argc=5
-M 512
file2=30_select_Case6.42_starter_16_
checking files mod 512 from 0 to 511
case_no=54 label=Case6.42 nb_sol=0 ticks=22853 tps=100 nb_sec=228
case_no=54 label=Case6.42 nb_sol=0 ticks=22428 tps=100 nb_sec=224
case_no=54 label=Case6.42 nb_sol=0 ticks=25895 tps=100 nb_sec=258
case_no=54 label=Case6.42 nb_sol=0 ticks=22251 tps=100 nb_sec=222
case_no=54 label=Case6.42 nb_sol=0 ticks=24010 tps=100 nb_sec=240
case_no=54 label=Case6.42 nb_sol=0 ticks=26861 tps=100 nb_sec=268
case_no=54 label=Case6.42 nb_sol=0 ticks=19948 tps=100 nb_sec=199
case_no=54 label=Case6.42 nb_sol=0 ticks=25877 tps=100 nb_sec=258
case_no=54 label=Case6.42 nb_sol=0 ticks=21179 tps=100 nb_sec=211
case_no=54 label=Case6.42 nb_sol=0 ticks=28256 tps=100 nb_sec=282
case_no=54 label=Case6.42 nb_sol=0 ticks=20496 tps=100 nb_sec=204
case_no=54 label=Case6.42 nb_sol=0 ticks=25247 tps=100 nb_sec=252
case_no=54 label=Case6.42 nb_sol=0 ticks=19738 tps=100 nb_sec=197
case_no=54 label=Case6.42 nb_sol=0 ticks=20375 tps=100 nb_sec=203
case_no=54 label=Case6.42 nb_sol=0 ticks=28785 tps=100 nb_sec=287
case_no=54 label=Case6.42 nb_sol=0 ticks=22354 tps=100 nb_sec=223
case_no=54 label=Case6.42 nb_sol=0 ticks=26155 tps=100 nb_sec=261
case_no=54 label=Case6.42 nb_sol=0 ticks=22914 tps=100 nb_sec=229
case_no=54 label=Case6.42 nb_sol=0 ticks=25981 tps=100 nb_sec=259
case_no=54 label=Case6.42 nb_sol=0 ticks=22042 tps=100 nb_sec=220
case_no=54 label=Case6.42 nb_sol=0 ticks=21221 tps=100 nb_sec=212
case_no=54 label=Case6.42 nb_sol=0 ticks=22305 tps=100 nb_sec=223
case_no=54 label=Case6.42 nb_sol=0 ticks=26184 tps=100 nb_sec=261
case_no=54 label=Case6.42 nb_sol=0 ticks=23056 tps=100 nb_sec=230
case_no=54 label=Case6.42 nb_sol=0 ticks=26897 tps=100 nb_sec=268
case_no=54 label=Case6.42 nb_sol=0 ticks=23553 tps=100 nb_sec=235
case_no=54 label=Case6.42 nb_sol=0 ticks=26212 tps=100 nb_sec=262
case_no=54 label=Case6.42 nb_sol=0 ticks=23056 tps=100 nb_sec=230
case_no=54 label=Case6.42 nb_sol=0 ticks=23898 tps=100 nb_sec=238
case_no=54 label=Case6.42 nb_sol=0 ticks=32958 tps=100 nb_sec=329
case_no=54 label=Case6.42 nb_sol=0 ticks=25316 tps=100 nb_sec=253
case_no=54 label=Case6.42 nb_sol=0 ticks=23288 tps=100 nb_sec=232
case_no=54 label=Case6.42 nb_sol=0 ticks=25733 tps=100 nb_sec=257
case_no=54 label=Case6.42 nb_sol=0 ticks=21691 tps=100 nb_sec=216
case_no=54 label=Case6.42 nb_sol=0 ticks=24555 tps=100 nb_sec=245
case_no=54 label=Case6.42 nb_sol=0 ticks=29393 tps=100 nb_sec=293
case_no=54 label=Case6.42 nb_sol=0 ticks=21569 tps=100 nb_sec=215
case_no=54 label=Case6.42 nb_sol=0 ticks=24681 tps=100 nb_sec=246
case_no=54 label=Case6.42 nb_sol=0 ticks=23964 tps=100 nb_sec=239
case_no=54 label=Case6.42 nb_sol=0 ticks=21724 tps=100 nb_sec=217
case_no=54 label=Case6.42 nb_sol=0 ticks=23083 tps=100 nb_sec=230
case_no=54 label=Case6.42 nb_sol=0 ticks=22390 tps=100 nb_sec=223
case_no=54 label=Case6.42 nb_sol=0 ticks=25103 tps=100 nb_sec=251
case_no=54 label=Case6.42 nb_sol=0 ticks=23824 tps=100 nb_sec=238
case_no=54 label=Case6.42 nb_sol=0 ticks=20176 tps=100 nb_sec=201
case_no=54 label=Case6.42 nb_sol=0 ticks=19923 tps=100 nb_sec=199
case_no=54 label=Case6.42 nb_sol=0 ticks=29101 tps=100 nb_sec=291
case_no=54 label=Case6.42 nb_sol=0 ticks=21849 tps=100 nb_sec=218
case_no=54 label=Case6.42 nb_sol=0 ticks=24279 tps=100 nb_sec=242
case_no=54 label=Case6.42 nb_sol=0 ticks=23726 tps=100 nb_sec=237
case_no=54 label=Case6.42 nb_sol=0 ticks=25542 tps=100 nb_sec=255
case_no=54 label=Case6.42 nb_sol=0 ticks=24740 tps=100 nb_sec=247
case_no=54 label=Case6.42 nb_sol=0 ticks=23366 tps=100 nb_sec=233
case_no=54 label=Case6.42 nb_sol=0 ticks=21999 tps=100 nb_sec=219
case_no=54 label=Case6.42 nb_sol=0 ticks=25928 tps=100 nb_sec=259
case_no=54 label=Case6.42 nb_sol=0 ticks=25141 tps=100 nb_sec=251
case_no=54 label=Case6.42 nb_sol=0 ticks=25651 tps=100 nb_sec=256
case_no=54 label=Case6.42 nb_sol=0 ticks=26523 tps=100 nb_sec=265
case_no=54 label=Case6.42 nb_sol=0 ticks=25493 tps=100 nb_sec=254
case_no=54 label=Case6.42 nb_sol=0 ticks=27088 tps=100 nb_sec=270
case_no=54 label=Case6.42 nb_sol=0 ticks=25418 tps=100 nb_sec=254
case_no=54 label=Case6.42 nb_sol=0 ticks=26833 tps=100 nb_sec=268
case_no=54 label=Case6.42 nb_sol=0 ticks=33008 tps=100 nb_sec=330
case_no=54 label=Case6.42 nb_sol=0 ticks=23443 tps=100 nb_sec=234
case_no=54 label=Case6.42 nb_sol=0 ticks=36278 tps=100 nb_sec=362
case_no=54 label=Case6.42 nb_sol=0 ticks=22713 tps=100 nb_sec=227
case_no=54 label=Case6.42 nb_sol=0 ticks=31977 tps=100 nb_sec=319
case_no=54 label=Case6.42 nb_sol=0 ticks=26449 tps=100 nb_sec=264
case_no=54 label=Case6.42 nb_sol=0 ticks=33974 tps=100 nb_sec=339
case_no=54 label=Case6.42 nb_sol=0 ticks=20120 tps=100 nb_sec=201
case_no=54 label=Case6.42 nb_sol=0 ticks=40170 tps=100 nb_sec=401
case_no=54 label=Case6.42 nb_sol=0 ticks=14589 tps=100 nb_sec=145
case_no=54 label=Case6.42 nb_sol=0 ticks=27222 tps=100 nb_sec=272
case_no=54 label=Case6.42 nb_sol=0 ticks=36358 tps=100 nb_sec=363
case_no=54 label=Case6.42 nb_sol=0 ticks=24019 tps=100 nb_sec=240
case_no=54 label=Case6.42 nb_sol=0 ticks=20681 tps=100 nb_sec=206
case_no=54 label=Case6.42 nb_sol=0 ticks=37905 tps=100 nb_sec=379
case_no=54 label=Case6.42 nb_sol=0 ticks=18720 tps=100 nb_sec=187
case_no=54 label=Case6.42 nb_sol=0 ticks=22982 tps=100 nb_sec=229
case_no=54 label=Case6.42 nb_sol=0 ticks=40979 tps=100 nb_sec=409
case_no=54 label=Case6.42 nb_sol=0 ticks=13457 tps=100 nb_sec=134
case_no=54 label=Case6.42 nb_sol=0 ticks=20703 tps=100 nb_sec=207
case_no=54 label=Case6.42 nb_sol=0 ticks=33474 tps=100 nb_sec=334
case_no=54 label=Case6.42 nb_sol=0 ticks=33590 tps=100 nb_sec=335
case_no=54 label=Case6.42 nb_sol=0 ticks=23558 tps=100 nb_sec=235
case_no=54 label=Case6.42 nb_sol=0 ticks=35767 tps=100 nb_sec=357
case_no=54 label=Case6.42 nb_sol=0 ticks=31435 tps=100 nb_sec=314
case_no=54 label=Case6.42 nb_sol=0 ticks=36182 tps=100 nb_sec=361
case_no=54 label=Case6.42 nb_sol=0 ticks=36607 tps=100 nb_sec=366
case_no=54 label=Case6.42 nb_sol=0 ticks=35412 tps=100 nb_sec=354
case_no=54 label=Case6.42 nb_sol=0 ticks=20973 tps=100 nb_sec=209
case_no=54 label=Case6.42 nb_sol=0 ticks=40009 tps=100 nb_sec=400
case_no=54 label=Case6.42 nb_sol=0 ticks=17988 tps=100 nb_sec=179
case_no=54 label=Case6.42 nb_sol=0 ticks=35640 tps=100 nb_sec=356
case_no=54 label=Case6.42 nb_sol=0 ticks=39000 tps=100 nb_sec=390
case_no=54 label=Case6.42 nb_sol=0 ticks=20374 tps=100 nb_sec=203
case_no=54 label=Case6.42 nb_sol=0 ticks=30976 tps=100 nb_sec=309
case_no=54 label=Case6.42 nb_sol=0 ticks=29564 tps=100 nb_sec=295
case_no=54 label=Case6.42 nb_sol=0 ticks=20861 tps=100 nb_sec=208
case_no=54 label=Case6.42 nb_sol=0 ticks=24259 tps=100 nb_sec=242
case_no=54 label=Case6.42 nb_sol=0 ticks=24292 tps=100 nb_sec=242
case_no=54 label=Case6.42 nb_sol=0 ticks=21086 tps=100 nb_sec=210
case_no=54 label=Case6.42 nb_sol=0 ticks=20124 tps=100 nb_sec=201
case_no=54 label=Case6.42 nb_sol=0 ticks=30728 tps=100 nb_sec=307
case_no=54 label=Case6.42 nb_sol=0 ticks=18527 tps=100 nb_sec=185
case_no=54 label=Case6.42 nb_sol=0 ticks=12979 tps=100 nb_sec=129
case_no=54 label=Case6.42 nb_sol=0 ticks=29563 tps=100 nb_sec=295
case_no=54 label=Case6.42 nb_sol=0 ticks=23404 tps=100 nb_sec=234
case_no=54 label=Case6.42 nb_sol=0 ticks=37683 tps=100 nb_sec=376
case_no=54 label=Case6.42 nb_sol=0 ticks=17467 tps=100 nb_sec=174
case_no=54 label=Case6.42 nb_sol=0 ticks=16903 tps=100 nb_sec=169
case_no=54 label=Case6.42 nb_sol=0 ticks=35327 tps=100 nb_sec=353
case_no=54 label=Case6.42 nb_sol=0 ticks=30125 tps=100 nb_sec=301
case_no=54 label=Case6.42 nb_sol=0 ticks=17406 tps=100 nb_sec=174
case_no=54 label=Case6.42 nb_sol=0 ticks=15951 tps=100 nb_sec=159
case_no=54 label=Case6.42 nb_sol=0 ticks=36680 tps=100 nb_sec=366
case_no=54 label=Case6.42 nb_sol=0 ticks=34876 tps=100 nb_sec=348
case_no=54 label=Case6.42 nb_sol=0 ticks=22312 tps=100 nb_sec=223
case_no=54 label=Case6.42 nb_sol=0 ticks=33187 tps=100 nb_sec=331
case_no=54 label=Case6.42 nb_sol=0 ticks=14684 tps=100 nb_sec=146
case_no=54 label=Case6.42 nb_sol=0 ticks=20994 tps=100 nb_sec=209
case_no=54 label=Case6.42 nb_sol=0 ticks=32505 tps=100 nb_sec=325
case_no=54 label=Case6.42 nb_sol=0 ticks=19927 tps=100 nb_sec=199
case_no=54 label=Case6.42 nb_sol=0 ticks=22665 tps=100 nb_sec=226
case_no=54 label=Case6.42 nb_sol=0 ticks=36882 tps=100 nb_sec=368
case_no=54 label=Case6.42 nb_sol=0 ticks=34001 tps=100 nb_sec=340
case_no=54 label=Case6.42 nb_sol=0 ticks=18120 tps=100 nb_sec=181
case_no=54 label=Case6.42 nb_sol=0 ticks=38524 tps=100 nb_sec=385
case_no=54 label=Case6.42 nb_sol=0 ticks=17760 tps=100 nb_sec=177
case_no=54 label=Case6.42 nb_sol=0 ticks=13289 tps=100 nb_sec=132
case_no=54 label=Case6.42 nb_sol=0 ticks=17950 tps=100 nb_sec=179
case_no=54 label=Case6.42 nb_sol=0 ticks=14917 tps=100 nb_sec=149
case_no=54 label=Case6.42 nb_sol=0 ticks=26632 tps=100 nb_sec=266
case_no=54 label=Case6.42 nb_sol=0 ticks=29599 tps=100 nb_sec=295
case_no=54 label=Case6.42 nb_sol=0 ticks=14056 tps=100 nb_sec=140
case_no=54 label=Case6.42 nb_sol=0 ticks=16301 tps=100 nb_sec=163
case_no=54 label=Case6.42 nb_sol=0 ticks=15636 tps=100 nb_sec=156
case_no=54 label=Case6.42 nb_sol=0 ticks=40359 tps=100 nb_sec=403
case_no=54 label=Case6.42 nb_sol=0 ticks=15640 tps=100 nb_sec=156
case_no=54 label=Case6.42 nb_sol=0 ticks=35464 tps=100 nb_sec=354
case_no=54 label=Case6.42 nb_sol=0 ticks=35054 tps=100 nb_sec=350
case_no=54 label=Case6.42 nb_sol=0 ticks=24236 tps=100 nb_sec=242
case_no=54 label=Case6.42 nb_sol=0 ticks=33025 tps=100 nb_sec=330
case_no=54 label=Case6.42 nb_sol=0 ticks=32112 tps=100 nb_sec=321
case_no=54 label=Case6.42 nb_sol=0 ticks=17208 tps=100 nb_sec=172
case_no=54 label=Case6.42 nb_sol=0 ticks=13988 tps=100 nb_sec=139
case_no=54 label=Case6.42 nb_sol=0 ticks=31174 tps=100 nb_sec=311
case_no=54 label=Case6.42 nb_sol=0 ticks=21880 tps=100 nb_sec=218
case_no=54 label=Case6.42 nb_sol=0 ticks=37303 tps=100 nb_sec=373
case_no=54 label=Case6.42 nb_sol=0 ticks=20228 tps=100 nb_sec=202
case_no=54 label=Case6.42 nb_sol=0 ticks=33187 tps=100 nb_sec=331
case_no=54 label=Case6.42 nb_sol=0 ticks=22153 tps=100 nb_sec=221
case_no=54 label=Case6.42 nb_sol=0 ticks=36334 tps=100 nb_sec=363
case_no=54 label=Case6.42 nb_sol=0 ticks=21316 tps=100 nb_sec=213
case_no=54 label=Case6.42 nb_sol=0 ticks=26693 tps=100 nb_sec=266
case_no=54 label=Case6.42 nb_sol=0 ticks=20269 tps=100 nb_sec=202
case_no=54 label=Case6.42 nb_sol=0 ticks=23544 tps=100 nb_sec=235
case_no=54 label=Case6.42 nb_sol=0 ticks=24058 tps=100 nb_sec=240
case_no=54 label=Case6.42 nb_sol=0 ticks=16577 tps=100 nb_sec=165
case_no=54 label=Case6.42 nb_sol=0 ticks=19462 tps=100 nb_sec=194
case_no=54 label=Case6.42 nb_sol=0 ticks=24434 tps=100 nb_sec=244
case_no=54 label=Case6.42 nb_sol=0 ticks=28265 tps=100 nb_sec=282
case_no=54 label=Case6.42 nb_sol=0 ticks=20525 tps=100 nb_sec=205
case_no=54 label=Case6.42 nb_sol=0 ticks=19289 tps=100 nb_sec=192
case_no=54 label=Case6.42 nb_sol=0 ticks=18773 tps=100 nb_sec=187
case_no=54 label=Case6.42 nb_sol=0 ticks=26359 tps=100 nb_sec=263
case_no=54 label=Case6.42 nb_sol=0 ticks=26968 tps=100 nb_sec=269
case_no=54 label=Case6.42 nb_sol=0 ticks=20268 tps=100 nb_sec=202
case_no=54 label=Case6.42 nb_sol=0 ticks=25878 tps=100 nb_sec=258
case_no=54 label=Case6.42 nb_sol=0 ticks=16841 tps=100 nb_sec=168
case_no=54 label=Case6.42 nb_sol=0 ticks=21849 tps=100 nb_sec=218
case_no=54 label=Case6.42 nb_sol=0 ticks=17452 tps=100 nb_sec=174
case_no=54 label=Case6.42 nb_sol=0 ticks=16322 tps=100 nb_sec=163
case_no=54 label=Case6.42 nb_sol=0 ticks=24582 tps=100 nb_sec=245
case_no=54 label=Case6.42 nb_sol=0 ticks=23701 tps=100 nb_sec=237
case_no=54 label=Case6.42 nb_sol=0 ticks=23987 tps=100 nb_sec=239
case_no=54 label=Case6.42 nb_sol=0 ticks=27400 tps=100 nb_sec=274
case_no=54 label=Case6.42 nb_sol=0 ticks=27514 tps=100 nb_sec=275
case_no=54 label=Case6.42 nb_sol=0 ticks=18094 tps=100 nb_sec=180
case_no=54 label=Case6.42 nb_sol=0 ticks=22115 tps=100 nb_sec=221
case_no=54 label=Case6.42 nb_sol=0 ticks=20462 tps=100 nb_sec=204
case_no=54 label=Case6.42 nb_sol=0 ticks=22575 tps=100 nb_sec=225
case_no=54 label=Case6.42 nb_sol=0 ticks=24089 tps=100 nb_sec=240
case_no=54 label=Case6.42 nb_sol=0 ticks=19721 tps=100 nb_sec=197
case_no=54 label=Case6.42 nb_sol=0 ticks=22913 tps=100 nb_sec=229
case_no=54 label=Case6.42 nb_sol=0 ticks=21919 tps=100 nb_sec=219
case_no=54 label=Case6.42 nb_sol=0 ticks=24315 tps=100 nb_sec=243
case_no=54 label=Case6.42 nb_sol=0 ticks=22778 tps=100 nb_sec=227
case_no=54 label=Case6.42 nb_sol=0 ticks=29574 tps=100 nb_sec=295
case_no=54 label=Case6.42 nb_sol=0 ticks=26535 tps=100 nb_sec=265
case_no=54 label=Case6.42 nb_sol=0 ticks=24931 tps=100 nb_sec=249
case_no=54 label=Case6.42 nb_sol=0 ticks=26671 tps=100 nb_sec=266
case_no=54 label=Case6.42 nb_sol=0 ticks=28136 tps=100 nb_sec=281
case_no=54 label=Case6.42 nb_sol=0 ticks=19456 tps=100 nb_sec=194
case_no=54 label=Case6.42 nb_sol=0 ticks=22811 tps=100 nb_sec=228
case_no=54 label=Case6.42 nb_sol=0 ticks=27663 tps=100 nb_sec=276
case_no=54 label=Case6.42 nb_sol=0 ticks=27727 tps=100 nb_sec=277
case_no=54 label=Case6.42 nb_sol=0 ticks=27601 tps=100 nb_sec=276
case_no=54 label=Case6.42 nb_sol=0 ticks=25739 tps=100 nb_sec=257
case_no=54 label=Case6.42 nb_sol=0 ticks=22184 tps=100 nb_sec=221
case_no=54 label=Case6.42 nb_sol=0 ticks=31922 tps=100 nb_sec=319
case_no=54 label=Case6.42 nb_sol=0 ticks=13632 tps=100 nb_sec=136
case_no=54 label=Case6.42 nb_sol=0 ticks=15190 tps=100 nb_sec=151
case_no=54 label=Case6.42 nb_sol=0 ticks=33032 tps=100 nb_sec=330
case_no=54 label=Case6.42 nb_sol=0 ticks=41562 tps=100 nb_sec=415
case_no=54 label=Case6.42 nb_sol=0 ticks=14486 tps=100 nb_sec=144
case_no=54 label=Case6.42 nb_sol=0 ticks=32032 tps=100 nb_sec=320
case_no=54 label=Case6.42 nb_sol=0 ticks=14794 tps=100 nb_sec=147
case_no=54 label=Case6.42 nb_sol=0 ticks=35222 tps=100 nb_sec=352
case_no=54 label=Case6.42 nb_sol=0 ticks=14147 tps=100 nb_sec=141
case_no=54 label=Case6.42 nb_sol=0 ticks=23950 tps=100 nb_sec=239
case_no=54 label=Case6.42 nb_sol=0 ticks=13709 tps=100 nb_sec=137
case_no=54 label=Case6.42 nb_sol=0 ticks=33714 tps=100 nb_sec=337
case_no=54 label=Case6.42 nb_sol=0 ticks=24108 tps=100 nb_sec=241
case_no=54 label=Case6.42 nb_sol=0 ticks=16192 tps=100 nb_sec=161
case_no=54 label=Case6.42 nb_sol=0 ticks=37841 tps=100 nb_sec=378
case_no=54 label=Case6.42 nb_sol=0 ticks=34868 tps=100 nb_sec=348
case_no=54 label=Case6.42 nb_sol=0 ticks=16217 tps=100 nb_sec=162
case_no=54 label=Case6.42 nb_sol=0 ticks=25095 tps=100 nb_sec=250
case_no=54 label=Case6.42 nb_sol=0 ticks=37799 tps=100 nb_sec=377
case_no=54 label=Case6.42 nb_sol=0 ticks=14930 tps=100 nb_sec=149
case_no=54 label=Case6.42 nb_sol=0 ticks=25385 tps=100 nb_sec=253
case_no=54 label=Case6.42 nb_sol=0 ticks=40422 tps=100 nb_sec=404
case_no=54 label=Case6.42 nb_sol=0 ticks=15430 tps=100 nb_sec=154
case_no=54 label=Case6.42 nb_sol=0 ticks=34125 tps=100 nb_sec=341
case_no=54 label=Case6.42 nb_sol=0 ticks=36145 tps=100 nb_sec=361
case_no=54 label=Case6.42 nb_sol=0 ticks=15519 tps=100 nb_sec=155
case_no=54 label=Case6.42 nb_sol=0 ticks=32856 tps=100 nb_sec=328
case_no=54 label=Case6.42 nb_sol=0 ticks=31863 tps=100 nb_sec=318
case_no=54 label=Case6.42 nb_sol=0 ticks=13444 tps=100 nb_sec=134
case_no=54 label=Case6.42 nb_sol=0 ticks=25415 tps=100 nb_sec=254
case_no=54 label=Case6.42 nb_sol=0 ticks=35924 tps=100 nb_sec=359
case_no=54 label=Case6.42 nb_sol=0 ticks=25970 tps=100 nb_sec=259
case_no=54 label=Case6.42 nb_sol=0 ticks=35105 tps=100 nb_sec=351
case_no=54 label=Case6.42 nb_sol=0 ticks=14685 tps=100 nb_sec=146
case_no=54 label=Case6.42 nb_sol=0 ticks=24779 tps=100 nb_sec=247
case_no=54 label=Case6.42 nb_sol=0 ticks=21375 tps=100 nb_sec=213
case_no=54 label=Case6.42 nb_sol=0 ticks=19369 tps=100 nb_sec=193
case_no=54 label=Case6.42 nb_sol=0 ticks=34422 tps=100 nb_sec=344
case_no=54 label=Case6.42 nb_sol=0 ticks=33765 tps=100 nb_sec=337
case_no=54 label=Case6.42 nb_sol=0 ticks=27166 tps=100 nb_sec=271
case_no=54 label=Case6.42 nb_sol=0 ticks=14912 tps=100 nb_sec=149
case_no=54 label=Case6.42 nb_sol=0 ticks=20251 tps=100 nb_sec=202
case_no=54 label=Case6.42 nb_sol=0 ticks=16159 tps=100 nb_sec=161
case_no=54 label=Case6.42 nb_sol=0 ticks=27734 tps=100 nb_sec=277
case_no=54 label=Case6.42 nb_sol=0 ticks=33297 tps=100 nb_sec=332
case_no=54 label=Case6.42 nb_sol=0 ticks=22704 tps=100 nb_sec=227
case_no=54 label=Case6.42 nb_sol=0 ticks=29879 tps=100 nb_sec=298
case_no=54 label=Case6.42 nb_sol=0 ticks=23095 tps=100 nb_sec=230
case_no=54 label=Case6.42 nb_sol=0 ticks=18079 tps=100 nb_sec=180
case_no=54 label=Case6.42 nb_sol=0 ticks=12834 tps=100 nb_sec=128
case_no=54 label=Case6.42 nb_sol=0 ticks=23350 tps=100 nb_sec=233
case_no=54 label=Case6.42 nb_sol=0 ticks=13906 tps=100 nb_sec=139
case_no=54 label=Case6.42 nb_sol=0 ticks=17865 tps=100 nb_sec=178
case_no=54 label=Case6.42 nb_sol=0 ticks=13707 tps=100 nb_sec=137
case_no=54 label=Case6.42 nb_sol=0 ticks=19499 tps=100 nb_sec=194
case_no=54 label=Case6.42 nb_sol=0 ticks=23892 tps=100 nb_sec=238
case_no=54 label=Case6.42 nb_sol=0 ticks=15638 tps=100 nb_sec=156
case_no=54 label=Case6.42 nb_sol=0 ticks=13533 tps=100 nb_sec=135
case_no=54 label=Case6.42 nb_sol=0 ticks=13816 tps=100 nb_sec=138
case_no=54 label=Case6.42 nb_sol=0 ticks=21412 tps=100 nb_sec=214
case_no=54 label=Case6.42 nb_sol=0 ticks=16891 tps=100 nb_sec=168
case_no=54 label=Case6.42 nb_sol=0 ticks=13042 tps=100 nb_sec=130
case_no=54 label=Case6.42 nb_sol=0 ticks=20921 tps=100 nb_sec=209
case_no=54 label=Case6.42 nb_sol=0 ticks=12698 tps=100 nb_sec=126
case_no=54 label=Case6.42 nb_sol=0 ticks=14668 tps=100 nb_sec=146
case_no=54 label=Case6.42 nb_sol=0 ticks=13503 tps=100 nb_sec=135
case_no=54 label=Case6.42 nb_sol=0 ticks=11785 tps=100 nb_sec=117
case_no=54 label=Case6.42 nb_sol=0 ticks=12746 tps=100 nb_sec=127
case_no=54 label=Case6.42 nb_sol=0 ticks=12786 tps=100 nb_sec=127
case_no=54 label=Case6.42 nb_sol=0 ticks=12546 tps=100 nb_sec=125
case_no=54 label=Case6.42 nb_sol=0 ticks=13775 tps=100 nb_sec=137
case_no=54 label=Case6.42 nb_sol=0 ticks=13676 tps=100 nb_sec=136
case_no=54 label=Case6.42 nb_sol=0 ticks=14087 tps=100 nb_sec=140
case_no=54 label=Case6.42 nb_sol=0 ticks=17659 tps=100 nb_sec=176
case_no=54 label=Case6.42 nb_sol=0 ticks=14817 tps=100 nb_sec=148
case_no=54 label=Case6.42 nb_sol=0 ticks=28389 tps=100 nb_sec=283
case_no=54 label=Case6.42 nb_sol=0 ticks=25890 tps=100 nb_sec=258
case_no=54 label=Case6.42 nb_sol=0 ticks=19722 tps=100 nb_sec=197
case_no=54 label=Case6.42 nb_sol=0 ticks=31873 tps=100 nb_sec=318
case_no=54 label=Case6.42 nb_sol=0 ticks=14169 tps=100 nb_sec=141
case_no=54 label=Case6.42 nb_sol=0 ticks=19152 tps=100 nb_sec=191
case_no=54 label=Case6.42 nb_sol=0 ticks=18755 tps=100 nb_sec=187
case_no=54 label=Case6.42 nb_sol=0 ticks=27284 tps=100 nb_sec=272
case_no=54 label=Case6.42 nb_sol=0 ticks=28494 tps=100 nb_sec=284
case_no=54 label=Case6.42 nb_sol=0 ticks=18802 tps=100 nb_sec=188
case_no=54 label=Case6.42 nb_sol=0 ticks=24323 tps=100 nb_sec=243
case_no=54 label=Case6.42 nb_sol=0 ticks=19265 tps=100 nb_sec=192
case_no=54 label=Case6.42 nb_sol=0 ticks=14182 tps=100 nb_sec=141
case_no=54 label=Case6.42 nb_sol=0 ticks=18183 tps=100 nb_sec=181
case_no=54 label=Case6.42 nb_sol=0 ticks=13166 tps=100 nb_sec=131
case_no=54 label=Case6.42 nb_sol=0 ticks=31011 tps=100 nb_sec=310
case_no=54 label=Case6.42 nb_sol=0 ticks=33817 tps=100 nb_sec=338
case_no=54 label=Case6.42 nb_sol=0 ticks=19397 tps=100 nb_sec=193
case_no=54 label=Case6.42 nb_sol=0 ticks=33926 tps=100 nb_sec=339
case_no=54 label=Case6.42 nb_sol=0 ticks=41928 tps=100 nb_sec=419
case_no=54 label=Case6.42 nb_sol=0 ticks=30802 tps=100 nb_sec=308
case_no=54 label=Case6.42 nb_sol=0 ticks=30209 tps=100 nb_sec=302
case_no=54 label=Case6.42 nb_sol=0 ticks=34699 tps=100 nb_sec=346
case_no=54 label=Case6.42 nb_sol=0 ticks=42359 tps=100 nb_sec=423
case_no=54 label=Case6.42 nb_sol=0 ticks=34060 tps=100 nb_sec=340
case_no=54 label=Case6.42 nb_sol=0 ticks=29843 tps=100 nb_sec=298
case_no=54 label=Case6.42 nb_sol=0 ticks=14120 tps=100 nb_sec=141
case_no=54 label=Case6.42 nb_sol=0 ticks=39363 tps=100 nb_sec=393
case_no=54 label=Case6.42 nb_sol=0 ticks=18516 tps=100 nb_sec=185
case_no=54 label=Case6.42 nb_sol=0 ticks=17174 tps=100 nb_sec=171
case_no=54 label=Case6.42 nb_sol=0 ticks=29677 tps=100 nb_sec=296
case_no=54 label=Case6.42 nb_sol=0 ticks=13549 tps=100 nb_sec=135
case_no=54 label=Case6.42 nb_sol=0 ticks=36494 tps=100 nb_sec=364
case_no=54 label=Case6.42 nb_sol=0 ticks=34470 tps=100 nb_sec=344
case_no=54 label=Case6.42 nb_sol=0 ticks=14795 tps=100 nb_sec=147
case_no=54 label=Case6.42 nb_sol=0 ticks=16231 tps=100 nb_sec=162
case_no=54 label=Case6.42 nb_sol=0 ticks=18027 tps=100 nb_sec=180
case_no=54 label=Case6.42 nb_sol=0 ticks=29605 tps=100 nb_sec=296
case_no=54 label=Case6.42 nb_sol=0 ticks=13289 tps=100 nb_sec=132
case_no=54 label=Case6.42 nb_sol=0 ticks=25923 tps=100 nb_sec=259
case_no=54 label=Case6.42 nb_sol=0 ticks=14079 tps=100 nb_sec=140
case_no=54 label=Case6.42 nb_sol=0 ticks=26770 tps=100 nb_sec=267
case_no=54 label=Case6.42 nb_sol=0 ticks=20125 tps=100 nb_sec=201
case_no=54 label=Case6.42 nb_sol=0 ticks=29713 tps=100 nb_sec=297
case_no=54 label=Case6.42 nb_sol=0 ticks=27658 tps=100 nb_sec=276
case_no=54 label=Case6.42 nb_sol=0 ticks=19612 tps=100 nb_sec=196
case_no=54 label=Case6.42 nb_sol=0 ticks=21424 tps=100 nb_sec=214
case_no=54 label=Case6.42 nb_sol=0 ticks=29521 tps=100 nb_sec=295
case_no=54 label=Case6.42 nb_sol=0 ticks=14463 tps=100 nb_sec=144
case_no=54 label=Case6.42 nb_sol=0 ticks=13252 tps=100 nb_sec=132
case_no=54 label=Case6.42 nb_sol=0 ticks=36108 tps=100 nb_sec=361
case_no=54 label=Case6.42 nb_sol=0 ticks=12720 tps=100 nb_sec=127
case_no=54 label=Case6.42 nb_sol=0 ticks=18594 tps=100 nb_sec=185
case_no=54 label=Case6.42 nb_sol=0 ticks=14034 tps=100 nb_sec=140
case_no=54 label=Case6.42 nb_sol=0 ticks=21202 tps=100 nb_sec=212
case_no=54 label=Case6.42 nb_sol=0 ticks=21401 tps=100 nb_sec=214
case_no=54 label=Case6.42 nb_sol=0 ticks=16575 tps=100 nb_sec=165
case_no=54 label=Case6.42 nb_sol=0 ticks=27047 tps=100 nb_sec=270
case_no=54 label=Case6.42 nb_sol=0 ticks=30913 tps=100 nb_sec=309
case_no=54 label=Case6.42 nb_sol=0 ticks=17977 tps=100 nb_sec=179
case_no=54 label=Case6.42 nb_sol=0 ticks=27607 tps=100 nb_sec=276
case_no=54 label=Case6.42 nb_sol=0 ticks=20820 tps=100 nb_sec=208
case_no=54 label=Case6.42 nb_sol=0 ticks=19040 tps=100 nb_sec=190
case_no=54 label=Case6.42 nb_sol=0 ticks=37353 tps=100 nb_sec=373
case_no=54 label=Case6.42 nb_sol=0 ticks=30962 tps=100 nb_sec=309
case_no=54 label=Case6.42 nb_sol=0 ticks=13030 tps=100 nb_sec=130
case_no=54 label=Case6.42 nb_sol=0 ticks=24449 tps=100 nb_sec=244
case_no=54 label=Case6.42 nb_sol=0 ticks=20233 tps=100 nb_sec=202
case_no=54 label=Case6.42 nb_sol=0 ticks=36599 tps=100 nb_sec=365
case_no=54 label=Case6.42 nb_sol=0 ticks=20886 tps=100 nb_sec=208
case_no=54 label=Case6.42 nb_sol=0 ticks=16212 tps=100 nb_sec=162
case_no=54 label=Case6.42 nb_sol=0 ticks=19119 tps=100 nb_sec=191
case_no=54 label=Case6.42 nb_sol=0 ticks=13865 tps=100 nb_sec=138
case_no=54 label=Case6.42 nb_sol=0 ticks=19589 tps=100 nb_sec=195
case_no=54 label=Case6.42 nb_sol=0 ticks=27649 tps=100 nb_sec=276
case_no=54 label=Case6.42 nb_sol=0 ticks=33862 tps=100 nb_sec=338
case_no=54 label=Case6.42 nb_sol=0 ticks=16516 tps=100 nb_sec=165
case_no=54 label=Case6.42 nb_sol=0 ticks=17018 tps=100 nb_sec=170
case_no=54 label=Case6.42 nb_sol=0 ticks=22430 tps=100 nb_sec=224
case_no=54 label=Case6.42 nb_sol=0 ticks=20464 tps=100 nb_sec=204
case_no=54 label=Case6.42 nb_sol=0 ticks=32494 tps=100 nb_sec=324
case_no=54 label=Case6.42 nb_sol=0 ticks=12746 tps=100 nb_sec=127
case_no=54 label=Case6.42 nb_sol=0 ticks=21773 tps=100 nb_sec=217
case_no=54 label=Case6.42 nb_sol=0 ticks=35863 tps=100 nb_sec=358
case_no=54 label=Case6.42 nb_sol=0 ticks=30244 tps=100 nb_sec=302
case_no=54 label=Case6.42 nb_sol=0 ticks=17531 tps=100 nb_sec=175
case_no=54 label=Case6.42 nb_sol=0 ticks=14546 tps=100 nb_sec=145
case_no=54 label=Case6.42 nb_sol=0 ticks=35389 tps=100 nb_sec=353
case_no=54 label=Case6.42 nb_sol=0 ticks=16591 tps=100 nb_sec=165
case_no=54 label=Case6.42 nb_sol=0 ticks=34415 tps=100 nb_sec=344
case_no=54 label=Case6.42 nb_sol=0 ticks=19236 tps=100 nb_sec=192
case_no=54 label=Case6.42 nb_sol=0 ticks=13682 tps=100 nb_sec=136
case_no=54 label=Case6.42 nb_sol=0 ticks=32060 tps=100 nb_sec=320
case_no=54 label=Case6.42 nb_sol=0 ticks=30858 tps=100 nb_sec=308
case_no=54 label=Case6.42 nb_sol=0 ticks=15073 tps=100 nb_sec=150
case_no=54 label=Case6.42 nb_sol=0 ticks=34038 tps=100 nb_sec=340
case_no=54 label=Case6.42 nb_sol=0 ticks=15094 tps=100 nb_sec=150
case_no=54 label=Case6.42 nb_sol=0 ticks=33651 tps=100 nb_sec=336
case_no=54 label=Case6.42 nb_sol=0 ticks=29409 tps=100 nb_sec=294
case_no=54 label=Case6.42 nb_sol=0 ticks=13265 tps=100 nb_sec=132
case_no=54 label=Case6.42 nb_sol=0 ticks=16411 tps=100 nb_sec=164
case_no=54 label=Case6.42 nb_sol=0 ticks=39079 tps=100 nb_sec=390
case_no=54 label=Case6.42 nb_sol=0 ticks=16837 tps=100 nb_sec=168
case_no=54 label=Case6.42 nb_sol=0 ticks=22987 tps=100 nb_sec=229
case_no=54 label=Case6.42 nb_sol=0 ticks=18197 tps=100 nb_sec=181
case_no=54 label=Case6.42 nb_sol=0 ticks=25490 tps=100 nb_sec=254
case_no=54 label=Case6.42 nb_sol=0 ticks=16115 tps=100 nb_sec=161
case_no=54 label=Case6.42 nb_sol=0 ticks=23054 tps=100 nb_sec=230
case_no=54 label=Case6.42 nb_sol=0 ticks=18131 tps=100 nb_sec=181
case_no=54 label=Case6.42 nb_sol=0 ticks=23316 tps=100 nb_sec=233
case_no=54 label=Case6.42 nb_sol=0 ticks=14672 tps=100 nb_sec=146
case_no=54 label=Case6.42 nb_sol=0 ticks=25108 tps=100 nb_sec=251
case_no=54 label=Case6.42 nb_sol=0 ticks=17343 tps=100 nb_sec=173
case_no=54 label=Case6.42 nb_sol=0 ticks=22256 tps=100 nb_sec=222
case_no=54 label=Case6.42 nb_sol=0 ticks=13260 tps=100 nb_sec=132
case_no=54 label=Case6.42 nb_sol=0 ticks=28975 tps=100 nb_sec=289
case_no=54 label=Case6.42 nb_sol=0 ticks=16855 tps=100 nb_sec=168
case_no=54 label=Case6.42 nb_sol=0 ticks=27746 tps=100 nb_sec=277
case_no=54 label=Case6.42 nb_sol=0 ticks=32997 tps=100 nb_sec=329
case_no=54 label=Case6.42 nb_sol=0 ticks=35196 tps=100 nb_sec=351
case_no=54 label=Case6.42 nb_sol=0 ticks=15025 tps=100 nb_sec=150
case_no=54 label=Case6.42 nb_sol=0 ticks=22326 tps=100 nb_sec=223
case_no=54 label=Case6.42 nb_sol=0 ticks=31816 tps=100 nb_sec=318
case_no=54 label=Case6.42 nb_sol=0 ticks=11254 tps=100 nb_sec=112
case_no=54 label=Case6.42 nb_sol=0 ticks=40959 tps=100 nb_sec=409
case_no=54 label=Case6.42 nb_sol=0 ticks=21859 tps=100 nb_sec=218
case_no=54 label=Case6.42 nb_sol=0 ticks=33521 tps=100 nb_sec=335
case_no=54 label=Case6.42 nb_sol=0 ticks=16024 tps=100 nb_sec=160
case_no=54 label=Case6.42 nb_sol=0 ticks=19026 tps=100 nb_sec=190
case_no=54 label=Case6.42 nb_sol=0 ticks=14243 tps=100 nb_sec=142
case_no=54 label=Case6.42 nb_sol=0 ticks=34754 tps=100 nb_sec=347
case_no=54 label=Case6.42 nb_sol=0 ticks=44567 tps=100 nb_sec=445
case_no=54 label=Case6.42 nb_sol=0 ticks=21985 tps=100 nb_sec=219
case_no=54 label=Case6.42 nb_sol=0 ticks=35367 tps=100 nb_sec=353
case_no=54 label=Case6.42 nb_sol=0 ticks=17406 tps=100 nb_sec=174
case_no=54 label=Case6.42 nb_sol=0 ticks=27511 tps=100 nb_sec=275
case_no=54 label=Case6.42 nb_sol=0 ticks=30930 tps=100 nb_sec=309
case_no=54 label=Case6.42 nb_sol=0 ticks=17110 tps=100 nb_sec=171
case_no=54 label=Case6.42 nb_sol=0 ticks=17431 tps=100 nb_sec=174
case_no=54 label=Case6.42 nb_sol=0 ticks=12009 tps=100 nb_sec=120
case_no=54 label=Case6.42 nb_sol=0 ticks=22551 tps=100 nb_sec=225
case_no=54 label=Case6.42 nb_sol=0 ticks=35771 tps=100 nb_sec=357
case_no=54 label=Case6.42 nb_sol=0 ticks=32661 tps=100 nb_sec=326
case_no=54 label=Case6.42 nb_sol=0 ticks=19466 tps=100 nb_sec=194
case_no=54 label=Case6.42 nb_sol=0 ticks=18916 tps=100 nb_sec=189
case_no=54 label=Case6.42 nb_sol=0 ticks=42191 tps=100 nb_sec=421
case_no=54 label=Case6.42 nb_sol=0 ticks=21603 tps=100 nb_sec=216
case_no=54 label=Case6.42 nb_sol=0 ticks=25150 tps=100 nb_sec=251
case_no=54 label=Case6.42 nb_sol=0 ticks=24779 tps=100 nb_sec=247
case_no=54 label=Case6.42 nb_sol=0 ticks=34709 tps=100 nb_sec=347
case_no=54 label=Case6.42 nb_sol=0 ticks=14539 tps=100 nb_sec=145
case_no=54 label=Case6.42 nb_sol=0 ticks=17511 tps=100 nb_sec=175
case_no=54 label=Case6.42 nb_sol=0 ticks=31946 tps=100 nb_sec=319
case_no=54 label=Case6.42 nb_sol=0 ticks=36329 tps=100 nb_sec=363
case_no=54 label=Case6.42 nb_sol=0 ticks=25725 tps=100 nb_sec=257
case_no=54 label=Case6.42 nb_sol=0 ticks=19628 tps=100 nb_sec=196
case_no=54 label=Case6.42 nb_sol=0 ticks=22643 tps=100 nb_sec=226
case_no=54 label=Case6.42 nb_sol=0 ticks=19020 tps=100 nb_sec=190
case_no=54 label=Case6.42 nb_sol=0 ticks=15727 tps=100 nb_sec=157
case_no=54 label=Case6.42 nb_sol=0 ticks=22969 tps=100 nb_sec=229
case_no=54 label=Case6.42 nb_sol=0 ticks=12654 tps=100 nb_sec=126
case_no=54 label=Case6.42 nb_sol=0 ticks=35916 tps=100 nb_sec=359
case_no=54 label=Case6.42 nb_sol=0 ticks=17210 tps=100 nb_sec=172
case_no=54 label=Case6.42 nb_sol=0 ticks=20953 tps=100 nb_sec=209
case_no=54 label=Case6.42 nb_sol=0 ticks=19398 tps=100 nb_sec=193
case_no=54 label=Case6.42 nb_sol=0 ticks=27540 tps=100 nb_sec=275
case_no=54 label=Case6.42 nb_sol=0 ticks=19413 tps=100 nb_sec=194
case_no=54 label=Case6.42 nb_sol=0 ticks=15462 tps=100 nb_sec=154
case_no=54 label=Case6.42 nb_sol=0 ticks=21693 tps=100 nb_sec=216
case_no=54 label=Case6.42 nb_sol=0 ticks=14512 tps=100 nb_sec=145
case_no=54 label=Case6.42 nb_sol=0 ticks=14764 tps=100 nb_sec=147
case_no=54 label=Case6.42 nb_sol=0 ticks=18112 tps=100 nb_sec=181
case_no=54 label=Case6.42 nb_sol=0 ticks=21443 tps=100 nb_sec=214
case_no=54 label=Case6.42 nb_sol=0 ticks=17354 tps=100 nb_sec=173
case_no=54 label=Case6.42 nb_sol=0 ticks=32702 tps=100 nb_sec=327
case_no=54 label=Case6.42 nb_sol=0 ticks=20892 tps=100 nb_sec=208
case_no=54 label=Case6.42 nb_sol=0 ticks=28460 tps=100 nb_sec=284
case_no=54 label=Case6.42 nb_sol=0 ticks=34722 tps=100 nb_sec=347
case_no=54 label=Case6.42 nb_sol=0 ticks=19714 tps=100 nb_sec=197
case_no=54 label=Case6.42 nb_sol=0 ticks=25209 tps=100 nb_sec=252
case_no=54 label=Case6.42 nb_sol=0 ticks=16651 tps=100 nb_sec=166
case_no=54 label=Case6.42 nb_sol=0 ticks=36924 tps=100 nb_sec=369
case_no=54 label=Case6.42 nb_sol=0 ticks=16227 tps=100 nb_sec=162
case_no=54 label=Case6.42 nb_sol=0 ticks=24810 tps=100 nb_sec=248
case_no=54 label=Case6.42 nb_sol=0 ticks=35306 tps=100 nb_sec=353
case_no=54 label=Case6.42 nb_sol=0 ticks=18725 tps=100 nb_sec=187
case_no=54 label=Case6.42 nb_sol=0 ticks=24083 tps=100 nb_sec=240
case_no=54 label=Case6.42 nb_sol=0 ticks=14814 tps=100 nb_sec=148
case_no=54 label=Case6.42 nb_sol=0 ticks=14013 tps=100 nb_sec=140
case_no=54 label=Case6.42 nb_sol=0 ticks=22909 tps=100 nb_sec=229
case_no=54 label=Case6.42 nb_sol=0 ticks=25539 tps=100 nb_sec=255
case_no=54 label=Case6.42 nb_sol=0 ticks=27426 tps=100 nb_sec=274
case_no=54 label=Case6.42 nb_sol=0 ticks=33708 tps=100 nb_sec=337
case_no=54 label=Case6.42 nb_sol=0 ticks=24244 tps=100 nb_sec=242
case_no=54 label=Case6.42 nb_sol=0 ticks=17311 tps=100 nb_sec=173
case_no=54 label=Case6.42 nb_sol=0 ticks=15776 tps=100 nb_sec=157
case_no=54 label=Case6.42 nb_sol=0 ticks=21613 tps=100 nb_sec=216
case_no=54 label=Case6.42 nb_sol=0 ticks=24835 tps=100 nb_sec=248
case_no=54 label=Case6.42 nb_sol=0 ticks=32069 tps=100 nb_sec=320
case_no=54 label=Case6.42 nb_sol=0 ticks=16726 tps=100 nb_sec=167
case_no=54 label=Case6.42 nb_sol=0 ticks=13229 tps=100 nb_sec=132
case_no=54 label=Case6.42 nb_sol=0 ticks=15746 tps=100 nb_sec=157
case_no=54 label=Case6.42 nb_sol=0 ticks=35723 tps=100 nb_sec=357
case_no=54 label=Case6.42 nb_sol=0 ticks=15286 tps=100 nb_sec=152
case_no=54 label=Case6.42 nb_sol=0 ticks=17191 tps=100 nb_sec=171
case_no=54 label=Case6.42 nb_sol=0 ticks=16119 tps=100 nb_sec=161
case_no=54 label=Case6.42 nb_sol=0 ticks=36236 tps=100 nb_sec=362
case_no=54 label=Case6.42 nb_sol=0 ticks=23532 tps=100 nb_sec=235
case_no=54 label=Case6.42 nb_sol=0 ticks=27213 tps=100 nb_sec=272
case_no=54 label=Case6.42 nb_sol=0 ticks=16401 tps=100 nb_sec=164
case_no=54 label=Case6.42 nb_sol=0 ticks=30367 tps=100 nb_sec=303
case_no=54 label=Case6.42 nb_sol=0 ticks=35646 tps=100 nb_sec=356
case_no=54 label=Case6.42 nb_sol=0 ticks=13192 tps=100 nb_sec=131
case_no=54 label=Case6.42 nb_sol=0 ticks=35566 tps=100 nb_sec=355
case_no=54 label=Case6.42 nb_sol=0 ticks=35700 tps=100 nb_sec=357
case_no=54 label=Case6.42 nb_sol=0 ticks=21140 tps=100 nb_sec=211
case_no=54 label=Case6.42 nb_sol=0 ticks=23474 tps=100 nb_sec=234
case_no=54 label=Case6.42 nb_sol=0 ticks=21757 tps=100 nb_sec=217
case_no=54 label=Case6.42 nb_sol=0 ticks=22223 tps=100 nb_sec=222
case_no=54 label=Case6.42 nb_sol=0 ticks=39169 tps=100 nb_sec=391
case_no=54 label=Case6.42 nb_sol=0 ticks=35192 tps=100 nb_sec=351
case_no=54 label=Case6.42 nb_sol=0 ticks=14827 tps=100 nb_sec=148
case_no=54 label=Case6.42 nb_sol=0 ticks=18851 tps=100 nb_sec=188
case_no=54 label=Case6.42 nb_sol=0 ticks=27520 tps=100 nb_sec=275
case_no=54 label=Case6.42 nb_sol=0 ticks=20896 tps=100 nb_sec=208
case_no=54 label=Case6.42 nb_sol=0 ticks=27809 tps=100 nb_sec=278
case_no=54 label=Case6.42 nb_sol=0 ticks=20798 tps=100 nb_sec=207
case_no=54 label=Case6.42 nb_sol=0 ticks=15836 tps=100 nb_sec=158
case_no=54 label=Case6.42 nb_sol=0 ticks=20272 tps=100 nb_sec=202
case_no=54 label=Case6.42 nb_sol=0 ticks=33214 tps=100 nb_sec=332
case_no=54 label=Case6.42 nb_sol=0 ticks=20908 tps=100 nb_sec=209
case_no=54 label=Case6.42 nb_sol=0 ticks=34792 tps=100 nb_sec=347
case_no=54 label=Case6.42 nb_sol=0 ticks=22610 tps=100 nb_sec=226
case_no=54 label=Case6.42 nb_sol=0 ticks=20563 tps=100 nb_sec=205
case_no=54 label=Case6.42 nb_sol=0 ticks=16625 tps=100 nb_sec=166
case_no=54 label=Case6.42 nb_sol=0 ticks=36417 tps=100 nb_sec=364
Nb_sol=0
Nb_sec=122809
1-10:6:49 or 34 hours
missing cases:
none