11.3.2021, 9:00 - 11:00: Due to updates GitLab may be unavailable for some minutes between 09:00 and 11:00.

Commit 38e04c42 authored by Philipp Meyer's avatar Philipp Meyer

Reorganized cav benchmarks

parent d669ee33
vars
s0 s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 l0 l1 l2 l3 l4 l5 l6 l7 l8 l9 l10 l11 l12 l13 l14 l15 l16 l17 l18 l19 l20 l21 l22 l23 l24 l25 l26 l27 l28 l29 l30 l31 l32 l33 l34 l35 l36 l37 l38 l39 l40 l41 l42 l43 l44 l45 l46 l47 l48 l49 l50 l51 l52 l53 l54 l55 l56 l57 l58 l59 l60 l61 l62 l63 l64 l65 l66 l67 l68 l69 l70 l71 l72 l73 l74 l75 l76 l77 l78 l79 l80 l81 l82 l83 l84 l85 l86 l87 l88 l89 l90 l91 l92 l93 l94 l95 l96 l97 l98 l99 l100 l101 l102 l103 l104 l105 l106 l107 l108 l109 l110 l111 l112 l113 l114 l115 l116 l117 l118 l119 l120 l121 l122 l123 l124 l125 l126 l127 l128 l129 l130 l131 l132 l133 l134 l135 l136 l137 l138 l139 l140 l141 l142 l143 l144 l145 l146 l147 l148 l149 l150 l151 l152 l153 l154 l155 l156 l157 l158 l159 l160 l161 l162 l163 l164 l165 l166 l167 l168 l169 l170 l171 l172 l173 l174 l175 l176 l177 l178 l179 l180 l181 l182 l183 l184 l185 l186 l187 l188 l189 l190 l191 l192 l193 l194 l195 l196 l197 l198 l199 l200 l201 l202 l203 l204 l205 l206 l207 l208 l209 l210 l211 l212 l213 l214 l215 l216 l217 l218 l219 l220 l221 l222 l223 l224 l225 l226 l227 l228 l229 l230 l231 l232 l233 l234 l235 l236 l237 l238 l239 l240 l241 l242 l243 l244 l245 l246 l247 l248 l249 l250 l251 l252 l253 l254 l255 l256 l257 l258 l259 l260 l261 l262 l263 l264 l265 l266 l267 l268 l269
rules
l0 >= 1, s0 >= 1 ->
s0' = s0 - 1,
s1' = s1 + 1,
l0' = l0 - 1,
l1' = l1 + 1;
l0 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s2' = s2 + 1;
l1 >= 1, s1 >= 1 ->
l1' = l1 - 1,
l9' = l9 + 1;
l9 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s3' = s3 + 1,
l9' = l9 - 1,
l48' = l48 + 1;
l11 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s4' = s4 + 1,
l11' = l11 - 1,
l39' = l39 + 1;
l15 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s5' = s5 + 1,
l15' = l15 - 1,
l43' = l43 + 1;
l28 >= 1, s1 >= 1 ->
l28' = l28 - 1,
l29' = l29 + 1;
l29 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s6' = s6 + 1,
l29' = l29 - 1,
l0' = l0 + 1;
l30 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s7' = s7 + 1,
l30' = l30 - 1,
l31' = l31 + 1;
l38 >= 1, s1 >= 1 ->
l38' = l38 - 1,
l15' = l15 + 1;
l39 >= 1, s1 >= 1 ->
l39' = l39 - 1,
l176' = l176 + 1;
l42 >= 1, s1 >= 1 ->
l42' = l42 - 1,
l30' = l30 + 1;
l43 >= 1, s1 >= 1 ->
l43' = l43 - 1,
l105' = l105 + 1;
l47 >= 1, s1 >= 1 ->
l47' = l47 - 1,
l11' = l11 + 1;
l48 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s8' = s8 + 1,
l48' = l48 - 1,
l0' = l0 + 1;
l95 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s9' = s9 + 1,
l95' = l95 - 1,
l0' = l0 + 1;
l95 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s10' = s10 + 1,
l95' = l95 - 1,
l0' = l0 + 1;
l95 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s11' = s11 + 1,
l95' = l95 - 1,
l0' = l0 + 1;
l97 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s12' = s12 + 1,
l97' = l97 - 1,
l58' = l58 + 1;
l104 >= 1, s1 >= 1 ->
l104' = l104 - 1,
l95' = l95 + 1;
l105 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s13' = s13 + 1,
l105' = l105 - 1,
l106' = l106 + 1;
l120 >= 1, s1 >= 1 ->
l120' = l120 - 1,
l97' = l97 + 1;
l121 >= 1, s1 >= 1 ->
l121' = l121 - 1,
l95' = l95 + 1;
l121 >= 1, s1 >= 1 ->
l121' = l121 - 1,
l110' = l110 + 1;
l121 >= 1, s1 >= 1 ->
l121' = l121 - 1,
l112' = l112 + 1;
l121 >= 1, s1 >= 1 ->
l121' = l121 - 1,
l114' = l114 + 1;
l121 >= 1, s1 >= 1 ->
l121' = l121 - 1,
l116' = l116 + 1;
l121 >= 1, s1 >= 1 ->
l121' = l121 - 1,
l118' = l118 + 1;
l121 >= 1, s1 >= 1 ->
l121' = l121 - 1,
l120' = l120 + 1;
l166 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s14' = s14 + 1,
l166' = l166 - 1,
l0' = l0 + 1;
l168 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s15' = s15 + 1,
l168' = l168 - 1,
l58' = l58 + 1;
l175 >= 1, s1 >= 1 ->
l175' = l175 - 1,
l166' = l166 + 1;
l176 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s16' = s16 + 1,
l176' = l176 - 1,
l177' = l177 + 1;
l176 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s17' = s17 + 1,
l176' = l176 - 1,
l178' = l178 + 1;
l188 >= 1, s1 >= 1 ->
l188' = l188 - 1,
l168' = l168 + 1;
l189 >= 1, s1 >= 1 ->
l189' = l189 - 1,
l176' = l176 + 1;
l189 >= 1, s1 >= 1 ->
l189' = l189 - 1,
l182' = l182 + 1;
l189 >= 1, s1 >= 1 ->
l189' = l189 - 1,
l184' = l184 + 1;
l189 >= 1, s1 >= 1 ->
l189' = l189 - 1,
l186' = l186 + 1;
l189 >= 1, s1 >= 1 ->
l189' = l189 - 1,
l188' = l188 + 1;
l239 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s18' = s18 + 1,
l239' = l239 - 1,
l0' = l0 + 1;
l239 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s19' = s19 + 1,
l239' = l239 - 1,
l0' = l0 + 1;
l243 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s20' = s20 + 1,
l243' = l243 - 1,
l58' = l58 + 1;
l249 >= 1, s1 >= 1 ->
l249' = l249 - 1,
l254' = l254 + 1;
l253 >= 1, s1 >= 1 ->
l253' = l253 - 1,
l239' = l239 + 1;
l254 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s21' = s21 + 1,
l254' = l254 - 1,
l126' = l126 + 1;
l254 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s22' = s22 + 1,
l254' = l254 - 1,
l127' = l127 + 1;
l254 >= 1, s1 >= 1 ->
s1' = s1 - 1,
s23' = s23 + 1,
l254' = l254 - 1,
l128' = l128 + 1;
l266 >= 1, s1 >= 1 ->
l266' = l266 - 1,
l243' = l243 + 1;
l267 >= 1, s1 >= 1 ->
l267' = l267 - 1,
l239' = l239 + 1;
l267 >= 1, s1 >= 1 ->
l267' = l267 - 1,
l254' = l254 + 1;
l267 >= 1, s1 >= 1 ->
l267' = l267 - 1,
l258' = l258 + 1;
l267 >= 1, s1 >= 1 ->
l267' = l267 - 1,
l260' = l260 + 1;
l267 >= 1, s1 >= 1 ->
l267' = l267 - 1,
l262' = l262 + 1;
l267 >= 1, s1 >= 1 ->
l267' = l267 - 1,
l264' = l264 + 1;
l267 >= 1, s1 >= 1 ->
l267' = l267 - 1,
l266' = l266 + 1;
l120 >= 1, s2 >= 1 ->
l120' = l120 - 1,
l269' = l269 + 1;
l188 >= 1, s2 >= 1 ->
l188' = l188 - 1,
l269' = l269 + 1;
l266 >= 1, s2 >= 1 ->
l266' = l266 - 1,
l269' = l269 + 1;
l0 >= 1, s3 >= 1 ->
s3' = s3 - 1,
s1' = s1 + 1,
l0' = l0 - 1,
l47' = l47 + 1;
l0 >= 1, s4 >= 1 ->
s4' = s4 - 1,
s1' = s1 + 1,
l0' = l0 - 1,
l38' = l38 + 1;
l0 >= 1, s5 >= 1 ->
s5' = s5 - 1,
s1' = s1 + 1,
l0' = l0 - 1,
l42' = l42 + 1;
l58 >= 1, s6 >= 1 ->
s6' = s6 - 1,
s1' = s1 + 1,
l58' = l58 - 1,
l57' = l57 + 1;
l0 >= 1, s7 >= 1 ->
s7' = s7 - 1,
s1' = s1 + 1,
l0' = l0 - 1,
l28' = l28 + 1;
l31 >= 1, s8 >= 1 ->
s8' = s8 - 1,
s1' = s1 + 1,
l31' = l31 - 1,
l249' = l249 + 1;
l126 >= 1, s9 >= 1 ->
s9' = s9 - 1,
s1' = s1 + 1,
l126' = l126 - 1,
l121' = l121 + 1;
l127 >= 1, s10 >= 1 ->
s10' = s10 - 1,
s1' = s1 + 1,
l127' = l127 - 1,
l121' = l121 + 1;
l128 >= 1, s11 >= 1 ->
s11' = s11 - 1,
s1' = s1 + 1,
l128' = l128 - 1,
l121' = l121 + 1;
l0 >= 1, s12 >= 1 ->
s12' = s12 - 1,
s1' = s1 + 1,
l0' = l0 - 1,
l98' = l98 + 1;
l0 >= 1, s13 >= 1 ->
s13' = s13 - 1,
s1' = s1 + 1,
l0' = l0 - 1,
l104' = l104 + 1;
l106 >= 1, s14 >= 1 ->
s14' = s14 - 1,
s1' = s1 + 1,
l106' = l106 - 1,
l189' = l189 + 1;
l0 >= 1, s15 >= 1 ->
s15' = s15 - 1,
s1' = s1 + 1,
l0' = l0 - 1,
l169' = l169 + 1;
l0 >= 1, s16 >= 1 ->
s16' = s16 - 1,
s1' = s1 + 1,
l0' = l0 - 1,
l175' = l175 + 1;
l0 >= 1, s17 >= 1 ->
s17' = s17 - 1,
s1' = s1 + 1,
l0' = l0 - 1,
l175' = l175 + 1;
l177 >= 1, s18 >= 1 ->
s18' = s18 - 1,
s1' = s1 + 1,
l177' = l177 - 1,
l267' = l267 + 1;
l178 >= 1, s19 >= 1 ->
s19' = s19 - 1,
s1' = s1 + 1,
l178' = l178 - 1,
l267' = l267 + 1;
l0 >= 1, s20 >= 1 ->
s20' = s20 - 1,