argc=5
-M 512
file2=30_select_Case6.37_starter_16_
checking files mod 512 from 0 to 511
case_no=49 label=Case6.37 nb_sol=0 ticks=34861 tps=100 nb_sec=348
case_no=49 label=Case6.37 nb_sol=0 ticks=26921 tps=100 nb_sec=269
case_no=49 label=Case6.37 nb_sol=0 ticks=26697 tps=100 nb_sec=266
case_no=49 label=Case6.37 nb_sol=0 ticks=37837 tps=100 nb_sec=378
case_no=49 label=Case6.37 nb_sol=0 ticks=39984 tps=100 nb_sec=399
case_no=49 label=Case6.37 nb_sol=0 ticks=27482 tps=100 nb_sec=274
case_no=49 label=Case6.37 nb_sol=0 ticks=28823 tps=100 nb_sec=288
case_no=49 label=Case6.37 nb_sol=0 ticks=23958 tps=100 nb_sec=239
case_no=49 label=Case6.37 nb_sol=0 ticks=28872 tps=100 nb_sec=288
case_no=49 label=Case6.37 nb_sol=0 ticks=38043 tps=100 nb_sec=380
case_no=49 label=Case6.37 nb_sol=0 ticks=42445 tps=100 nb_sec=424
case_no=49 label=Case6.37 nb_sol=0 ticks=18163 tps=100 nb_sec=181
case_no=49 label=Case6.37 nb_sol=0 ticks=27398 tps=100 nb_sec=273
case_no=49 label=Case6.37 nb_sol=0 ticks=34232 tps=100 nb_sec=342
case_no=49 label=Case6.37 nb_sol=0 ticks=17038 tps=100 nb_sec=170
case_no=49 label=Case6.37 nb_sol=0 ticks=31943 tps=100 nb_sec=319
case_no=49 label=Case6.37 nb_sol=0 ticks=40836 tps=100 nb_sec=408
case_no=49 label=Case6.37 nb_sol=0 ticks=45416 tps=100 nb_sec=454
case_no=49 label=Case6.37 nb_sol=0 ticks=26653 tps=100 nb_sec=266
case_no=49 label=Case6.37 nb_sol=0 ticks=27326 tps=100 nb_sec=273
case_no=49 label=Case6.37 nb_sol=0 ticks=33419 tps=100 nb_sec=334
case_no=49 label=Case6.37 nb_sol=0 ticks=20530 tps=100 nb_sec=205
case_no=49 label=Case6.37 nb_sol=0 ticks=27215 tps=100 nb_sec=272
case_no=49 label=Case6.37 nb_sol=0 ticks=37464 tps=100 nb_sec=374
case_no=49 label=Case6.37 nb_sol=0 ticks=42163 tps=100 nb_sec=421
case_no=49 label=Case6.37 nb_sol=0 ticks=20658 tps=100 nb_sec=206
case_no=49 label=Case6.37 nb_sol=0 ticks=16338 tps=100 nb_sec=163
case_no=49 label=Case6.37 nb_sol=0 ticks=23812 tps=100 nb_sec=238
case_no=49 label=Case6.37 nb_sol=0 ticks=15163 tps=100 nb_sec=151
case_no=49 label=Case6.37 nb_sol=0 ticks=16866 tps=100 nb_sec=168
case_no=49 label=Case6.37 nb_sol=0 ticks=15304 tps=100 nb_sec=153
case_no=49 label=Case6.37 nb_sol=0 ticks=17554 tps=100 nb_sec=175
case_no=49 label=Case6.37 nb_sol=0 ticks=15053 tps=100 nb_sec=150
case_no=49 label=Case6.37 nb_sol=0 ticks=13019 tps=100 nb_sec=130
case_no=49 label=Case6.37 nb_sol=0 ticks=18728 tps=100 nb_sec=187
case_no=49 label=Case6.37 nb_sol=0 ticks=20092 tps=100 nb_sec=200
case_no=49 label=Case6.37 nb_sol=0 ticks=20112 tps=100 nb_sec=201
case_no=49 label=Case6.37 nb_sol=0 ticks=17724 tps=100 nb_sec=177
case_no=49 label=Case6.37 nb_sol=0 ticks=21044 tps=100 nb_sec=210
case_no=49 label=Case6.37 nb_sol=0 ticks=19291 tps=100 nb_sec=192
case_no=49 label=Case6.37 nb_sol=0 ticks=23588 tps=100 nb_sec=235
case_no=49 label=Case6.37 nb_sol=0 ticks=25479 tps=100 nb_sec=254
case_no=49 label=Case6.37 nb_sol=0 ticks=15869 tps=100 nb_sec=158
case_no=49 label=Case6.37 nb_sol=0 ticks=24875 tps=100 nb_sec=248
case_no=49 label=Case6.37 nb_sol=0 ticks=18564 tps=100 nb_sec=185
case_no=49 label=Case6.37 nb_sol=0 ticks=21264 tps=100 nb_sec=212
case_no=49 label=Case6.37 nb_sol=0 ticks=23971 tps=100 nb_sec=239
case_no=49 label=Case6.37 nb_sol=0 ticks=15476 tps=100 nb_sec=154
case_no=49 label=Case6.37 nb_sol=0 ticks=23587 tps=100 nb_sec=235
case_no=49 label=Case6.37 nb_sol=0 ticks=17265 tps=100 nb_sec=172
case_no=49 label=Case6.37 nb_sol=0 ticks=19212 tps=100 nb_sec=192
case_no=49 label=Case6.37 nb_sol=0 ticks=26707 tps=100 nb_sec=267
case_no=49 label=Case6.37 nb_sol=0 ticks=16834 tps=100 nb_sec=168
case_no=49 label=Case6.37 nb_sol=0 ticks=16886 tps=100 nb_sec=168
case_no=49 label=Case6.37 nb_sol=0 ticks=21610 tps=100 nb_sec=216
case_no=49 label=Case6.37 nb_sol=0 ticks=25150 tps=100 nb_sec=251
case_no=49 label=Case6.37 nb_sol=0 ticks=26273 tps=100 nb_sec=262
case_no=49 label=Case6.37 nb_sol=0 ticks=18133 tps=100 nb_sec=181
case_no=49 label=Case6.37 nb_sol=0 ticks=27580 tps=100 nb_sec=275
case_no=49 label=Case6.37 nb_sol=0 ticks=28370 tps=100 nb_sec=283
case_no=49 label=Case6.37 nb_sol=0 ticks=15595 tps=100 nb_sec=155
case_no=49 label=Case6.37 nb_sol=0 ticks=23628 tps=100 nb_sec=236
case_no=49 label=Case6.37 nb_sol=0 ticks=24968 tps=100 nb_sec=249
case_no=49 label=Case6.37 nb_sol=0 ticks=17928 tps=100 nb_sec=179
case_no=49 label=Case6.37 nb_sol=0 ticks=17620 tps=100 nb_sec=176
case_no=49 label=Case6.37 nb_sol=0 ticks=25907 tps=100 nb_sec=259
case_no=49 label=Case6.37 nb_sol=0 ticks=21614 tps=100 nb_sec=216
case_no=49 label=Case6.37 nb_sol=0 ticks=15698 tps=100 nb_sec=156
case_no=49 label=Case6.37 nb_sol=0 ticks=20054 tps=100 nb_sec=200
case_no=49 label=Case6.37 nb_sol=0 ticks=16698 tps=100 nb_sec=166
case_no=49 label=Case6.37 nb_sol=0 ticks=17062 tps=100 nb_sec=170
case_no=49 label=Case6.37 nb_sol=0 ticks=17703 tps=100 nb_sec=177
case_no=49 label=Case6.37 nb_sol=0 ticks=17760 tps=100 nb_sec=177
case_no=49 label=Case6.37 nb_sol=0 ticks=22651 tps=100 nb_sec=226
case_no=49 label=Case6.37 nb_sol=0 ticks=34455 tps=100 nb_sec=344
case_no=49 label=Case6.37 nb_sol=0 ticks=39876 tps=100 nb_sec=398
case_no=49 label=Case6.37 nb_sol=0 ticks=38310 tps=100 nb_sec=383
case_no=49 label=Case6.37 nb_sol=0 ticks=38005 tps=100 nb_sec=380
case_no=49 label=Case6.37 nb_sol=0 ticks=18863 tps=100 nb_sec=188
case_no=49 label=Case6.37 nb_sol=0 ticks=28132 tps=100 nb_sec=281
case_no=49 label=Case6.37 nb_sol=0 ticks=18072 tps=100 nb_sec=180
case_no=49 label=Case6.37 nb_sol=0 ticks=37174 tps=100 nb_sec=371
case_no=49 label=Case6.37 nb_sol=0 ticks=48305 tps=100 nb_sec=483
case_no=49 label=Case6.37 nb_sol=0 ticks=20211 tps=100 nb_sec=202
case_no=49 label=Case6.37 nb_sol=0 ticks=38439 tps=100 nb_sec=384
case_no=49 label=Case6.37 nb_sol=0 ticks=23498 tps=100 nb_sec=234
case_no=49 label=Case6.37 nb_sol=0 ticks=25734 tps=100 nb_sec=257
case_no=49 label=Case6.37 nb_sol=0 ticks=20830 tps=100 nb_sec=208
case_no=49 label=Case6.37 nb_sol=0 ticks=35762 tps=100 nb_sec=357
case_no=49 label=Case6.37 nb_sol=0 ticks=23798 tps=100 nb_sec=237
case_no=49 label=Case6.37 nb_sol=0 ticks=16746 tps=100 nb_sec=167
case_no=49 label=Case6.37 nb_sol=0 ticks=40061 tps=100 nb_sec=400
case_no=49 label=Case6.37 nb_sol=0 ticks=28566 tps=100 nb_sec=285
case_no=49 label=Case6.37 nb_sol=0 ticks=15489 tps=100 nb_sec=154
case_no=49 label=Case6.37 nb_sol=0 ticks=16749 tps=100 nb_sec=167
case_no=49 label=Case6.37 nb_sol=0 ticks=24866 tps=100 nb_sec=248
case_no=49 label=Case6.37 nb_sol=0 ticks=17186 tps=100 nb_sec=171
case_no=49 label=Case6.37 nb_sol=0 ticks=25822 tps=100 nb_sec=258
case_no=49 label=Case6.37 nb_sol=0 ticks=20079 tps=100 nb_sec=200
case_no=49 label=Case6.37 nb_sol=0 ticks=16881 tps=100 nb_sec=168
case_no=49 label=Case6.37 nb_sol=0 ticks=26166 tps=100 nb_sec=261
case_no=49 label=Case6.37 nb_sol=0 ticks=16971 tps=100 nb_sec=169
case_no=49 label=Case6.37 nb_sol=0 ticks=17496 tps=100 nb_sec=174
case_no=49 label=Case6.37 nb_sol=0 ticks=15626 tps=100 nb_sec=156
case_no=49 label=Case6.37 nb_sol=0 ticks=19250 tps=100 nb_sec=192
case_no=49 label=Case6.37 nb_sol=0 ticks=15257 tps=100 nb_sec=152
case_no=49 label=Case6.37 nb_sol=0 ticks=26290 tps=100 nb_sec=262
case_no=49 label=Case6.37 nb_sol=0 ticks=16025 tps=100 nb_sec=160
case_no=49 label=Case6.37 nb_sol=0 ticks=16338 tps=100 nb_sec=163
case_no=49 label=Case6.37 nb_sol=0 ticks=34202 tps=100 nb_sec=342
case_no=49 label=Case6.37 nb_sol=0 ticks=17536 tps=100 nb_sec=175
case_no=49 label=Case6.37 nb_sol=0 ticks=17367 tps=100 nb_sec=173
case_no=49 label=Case6.37 nb_sol=0 ticks=15458 tps=100 nb_sec=154
case_no=49 label=Case6.37 nb_sol=0 ticks=15836 tps=100 nb_sec=158
case_no=49 label=Case6.37 nb_sol=0 ticks=26374 tps=100 nb_sec=263
case_no=49 label=Case6.37 nb_sol=0 ticks=19101 tps=100 nb_sec=191
case_no=49 label=Case6.37 nb_sol=0 ticks=38982 tps=100 nb_sec=389
case_no=49 label=Case6.37 nb_sol=0 ticks=19592 tps=100 nb_sec=195
case_no=49 label=Case6.37 nb_sol=0 ticks=35468 tps=100 nb_sec=354
case_no=49 label=Case6.37 nb_sol=0 ticks=23353 tps=100 nb_sec=233
case_no=49 label=Case6.37 nb_sol=0 ticks=42318 tps=100 nb_sec=423
case_no=49 label=Case6.37 nb_sol=0 ticks=18479 tps=100 nb_sec=184
case_no=49 label=Case6.37 nb_sol=0 ticks=37038 tps=100 nb_sec=370
case_no=49 label=Case6.37 nb_sol=0 ticks=34016 tps=100 nb_sec=340
case_no=49 label=Case6.37 nb_sol=0 ticks=19859 tps=100 nb_sec=198
case_no=49 label=Case6.37 nb_sol=0 ticks=20353 tps=100 nb_sec=203
case_no=49 label=Case6.37 nb_sol=0 ticks=34807 tps=100 nb_sec=348
case_no=49 label=Case6.37 nb_sol=0 ticks=15957 tps=100 nb_sec=159
case_no=49 label=Case6.37 nb_sol=0 ticks=40790 tps=100 nb_sec=407
case_no=49 label=Case6.37 nb_sol=0 ticks=22116 tps=100 nb_sec=221
case_no=49 label=Case6.37 nb_sol=0 ticks=31076 tps=100 nb_sec=310
case_no=49 label=Case6.37 nb_sol=0 ticks=18424 tps=100 nb_sec=184
case_no=49 label=Case6.37 nb_sol=0 ticks=29988 tps=100 nb_sec=299
case_no=49 label=Case6.37 nb_sol=0 ticks=16308 tps=100 nb_sec=163
case_no=49 label=Case6.37 nb_sol=0 ticks=15288 tps=100 nb_sec=152
case_no=49 label=Case6.37 nb_sol=0 ticks=18150 tps=100 nb_sec=181
case_no=49 label=Case6.37 nb_sol=0 ticks=33432 tps=100 nb_sec=334
case_no=49 label=Case6.37 nb_sol=0 ticks=17502 tps=100 nb_sec=175
case_no=49 label=Case6.37 nb_sol=0 ticks=38938 tps=100 nb_sec=389
case_no=49 label=Case6.37 nb_sol=0 ticks=17024 tps=100 nb_sec=170
case_no=49 label=Case6.37 nb_sol=0 ticks=18890 tps=100 nb_sec=188
case_no=49 label=Case6.37 nb_sol=0 ticks=16226 tps=100 nb_sec=162
case_no=49 label=Case6.37 nb_sol=0 ticks=17051 tps=100 nb_sec=170
case_no=49 label=Case6.37 nb_sol=0 ticks=17112 tps=100 nb_sec=171
case_no=49 label=Case6.37 nb_sol=0 ticks=31456 tps=100 nb_sec=314
case_no=49 label=Case6.37 nb_sol=0 ticks=15170 tps=100 nb_sec=151
case_no=49 label=Case6.37 nb_sol=0 ticks=23382 tps=100 nb_sec=233
case_no=49 label=Case6.37 nb_sol=0 ticks=15128 tps=100 nb_sec=151
case_no=49 label=Case6.37 nb_sol=0 ticks=37668 tps=100 nb_sec=376
case_no=49 label=Case6.37 nb_sol=0 ticks=38600 tps=100 nb_sec=386
case_no=49 label=Case6.37 nb_sol=0 ticks=35987 tps=100 nb_sec=359
case_no=49 label=Case6.37 nb_sol=0 ticks=42944 tps=100 nb_sec=429
case_no=49 label=Case6.37 nb_sol=0 ticks=38304 tps=100 nb_sec=383
case_no=49 label=Case6.37 nb_sol=0 ticks=18627 tps=100 nb_sec=186
case_no=49 label=Case6.37 nb_sol=0 ticks=35258 tps=100 nb_sec=352
case_no=49 label=Case6.37 nb_sol=0 ticks=35139 tps=100 nb_sec=351
case_no=49 label=Case6.37 nb_sol=0 ticks=32096 tps=100 nb_sec=320
case_no=49 label=Case6.37 nb_sol=0 ticks=36164 tps=100 nb_sec=361
case_no=49 label=Case6.37 nb_sol=0 ticks=36008 tps=100 nb_sec=360
case_no=49 label=Case6.37 nb_sol=0 ticks=19553 tps=100 nb_sec=195
case_no=49 label=Case6.37 nb_sol=0 ticks=20872 tps=100 nb_sec=208
case_no=49 label=Case6.37 nb_sol=0 ticks=19659 tps=100 nb_sec=196
case_no=49 label=Case6.37 nb_sol=0 ticks=16683 tps=100 nb_sec=166
case_no=49 label=Case6.37 nb_sol=0 ticks=21089 tps=100 nb_sec=210
case_no=49 label=Case6.37 nb_sol=0 ticks=23413 tps=100 nb_sec=234
case_no=49 label=Case6.37 nb_sol=0 ticks=25727 tps=100 nb_sec=257
case_no=49 label=Case6.37 nb_sol=0 ticks=18029 tps=100 nb_sec=180
case_no=49 label=Case6.37 nb_sol=0 ticks=16325 tps=100 nb_sec=163
case_no=49 label=Case6.37 nb_sol=0 ticks=23376 tps=100 nb_sec=233
case_no=49 label=Case6.37 nb_sol=0 ticks=16885 tps=100 nb_sec=168
case_no=49 label=Case6.37 nb_sol=0 ticks=19216 tps=100 nb_sec=192
case_no=49 label=Case6.37 nb_sol=0 ticks=18948 tps=100 nb_sec=189
case_no=49 label=Case6.37 nb_sol=0 ticks=19122 tps=100 nb_sec=191
case_no=49 label=Case6.37 nb_sol=0 ticks=21124 tps=100 nb_sec=211
case_no=49 label=Case6.37 nb_sol=0 ticks=21743 tps=100 nb_sec=217
case_no=49 label=Case6.37 nb_sol=0 ticks=17435 tps=100 nb_sec=174
case_no=49 label=Case6.37 nb_sol=0 ticks=17863 tps=100 nb_sec=178
case_no=49 label=Case6.37 nb_sol=0 ticks=21926 tps=100 nb_sec=219
case_no=49 label=Case6.37 nb_sol=0 ticks=21962 tps=100 nb_sec=219
case_no=49 label=Case6.37 nb_sol=0 ticks=17567 tps=100 nb_sec=175
case_no=49 label=Case6.37 nb_sol=0 ticks=20215 tps=100 nb_sec=202
case_no=49 label=Case6.37 nb_sol=0 ticks=21345 tps=100 nb_sec=213
case_no=49 label=Case6.37 nb_sol=0 ticks=17075 tps=100 nb_sec=170
case_no=49 label=Case6.37 nb_sol=0 ticks=28144 tps=100 nb_sec=281
case_no=49 label=Case6.37 nb_sol=0 ticks=21031 tps=100 nb_sec=210
case_no=49 label=Case6.37 nb_sol=0 ticks=14665 tps=100 nb_sec=146
case_no=49 label=Case6.37 nb_sol=0 ticks=24669 tps=100 nb_sec=246
case_no=49 label=Case6.37 nb_sol=0 ticks=23929 tps=100 nb_sec=239
case_no=49 label=Case6.37 nb_sol=0 ticks=16230 tps=100 nb_sec=162
case_no=49 label=Case6.37 nb_sol=0 ticks=16048 tps=100 nb_sec=160
case_no=49 label=Case6.37 nb_sol=0 ticks=18605 tps=100 nb_sec=186
case_no=49 label=Case6.37 nb_sol=0 ticks=20793 tps=100 nb_sec=207
case_no=49 label=Case6.37 nb_sol=0 ticks=38984 tps=100 nb_sec=389
case_no=49 label=Case6.37 nb_sol=0 ticks=23391 tps=100 nb_sec=233
case_no=49 label=Case6.37 nb_sol=0 ticks=33204 tps=100 nb_sec=332
case_no=49 label=Case6.37 nb_sol=0 ticks=20250 tps=100 nb_sec=202
case_no=49 label=Case6.37 nb_sol=0 ticks=42145 tps=100 nb_sec=421
case_no=49 label=Case6.37 nb_sol=0 ticks=34754 tps=100 nb_sec=347
case_no=49 label=Case6.37 nb_sol=0 ticks=39104 tps=100 nb_sec=391
case_no=49 label=Case6.37 nb_sol=0 ticks=39576 tps=100 nb_sec=395
case_no=49 label=Case6.37 nb_sol=0 ticks=39189 tps=100 nb_sec=391
case_no=49 label=Case6.37 nb_sol=0 ticks=42327 tps=100 nb_sec=423
case_no=49 label=Case6.37 nb_sol=0 ticks=22928 tps=100 nb_sec=229
case_no=49 label=Case6.37 nb_sol=0 ticks=24397 tps=100 nb_sec=243
case_no=49 label=Case6.37 nb_sol=0 ticks=44724 tps=100 nb_sec=447
case_no=49 label=Case6.37 nb_sol=0 ticks=39577 tps=100 nb_sec=395
case_no=49 label=Case6.37 nb_sol=0 ticks=42608 tps=100 nb_sec=426
case_no=49 label=Case6.37 nb_sol=0 ticks=34892 tps=100 nb_sec=348
case_no=49 label=Case6.37 nb_sol=0 ticks=42865 tps=100 nb_sec=428
case_no=49 label=Case6.37 nb_sol=0 ticks=22565 tps=100 nb_sec=225
case_no=49 label=Case6.37 nb_sol=0 ticks=25425 tps=100 nb_sec=254
case_no=49 label=Case6.37 nb_sol=0 ticks=19962 tps=100 nb_sec=199
case_no=49 label=Case6.37 nb_sol=0 ticks=38864 tps=100 nb_sec=388
case_no=49 label=Case6.37 nb_sol=0 ticks=22738 tps=100 nb_sec=227
case_no=49 label=Case6.37 nb_sol=0 ticks=23889 tps=100 nb_sec=238
case_no=49 label=Case6.37 nb_sol=0 ticks=18522 tps=100 nb_sec=185
case_no=49 label=Case6.37 nb_sol=0 ticks=20300 tps=100 nb_sec=203
case_no=49 label=Case6.37 nb_sol=0 ticks=15502 tps=100 nb_sec=155
case_no=49 label=Case6.37 nb_sol=0 ticks=18588 tps=100 nb_sec=185
case_no=49 label=Case6.37 nb_sol=0 ticks=19438 tps=100 nb_sec=194
case_no=49 label=Case6.37 nb_sol=0 ticks=21499 tps=100 nb_sec=214
case_no=49 label=Case6.37 nb_sol=0 ticks=16090 tps=100 nb_sec=160
case_no=49 label=Case6.37 nb_sol=0 ticks=21238 tps=100 nb_sec=212
case_no=49 label=Case6.37 nb_sol=0 ticks=19248 tps=100 nb_sec=192
case_no=49 label=Case6.37 nb_sol=0 ticks=19261 tps=100 nb_sec=192
case_no=49 label=Case6.37 nb_sol=0 ticks=18505 tps=100 nb_sec=185
case_no=49 label=Case6.37 nb_sol=0 ticks=21101 tps=100 nb_sec=211
case_no=49 label=Case6.37 nb_sol=0 ticks=27652 tps=100 nb_sec=276
case_no=49 label=Case6.37 nb_sol=0 ticks=18171 tps=100 nb_sec=181
case_no=49 label=Case6.37 nb_sol=0 ticks=20599 tps=100 nb_sec=205
case_no=49 label=Case6.37 nb_sol=0 ticks=17565 tps=100 nb_sec=175
case_no=49 label=Case6.37 nb_sol=0 ticks=35945 tps=100 nb_sec=359
case_no=49 label=Case6.37 nb_sol=0 ticks=22919 tps=100 nb_sec=229
case_no=49 label=Case6.37 nb_sol=0 ticks=22421 tps=100 nb_sec=224
case_no=49 label=Case6.37 nb_sol=0 ticks=18104 tps=100 nb_sec=181
case_no=49 label=Case6.37 nb_sol=0 ticks=44041 tps=100 nb_sec=440
case_no=49 label=Case6.37 nb_sol=0 ticks=34755 tps=100 nb_sec=347
case_no=49 label=Case6.37 nb_sol=0 ticks=27056 tps=100 nb_sec=270
case_no=49 label=Case6.37 nb_sol=0 ticks=27479 tps=100 nb_sec=274
case_no=49 label=Case6.37 nb_sol=0 ticks=15279 tps=100 nb_sec=152
case_no=49 label=Case6.37 nb_sol=0 ticks=23343 tps=100 nb_sec=233
case_no=49 label=Case6.37 nb_sol=0 ticks=22924 tps=100 nb_sec=229
case_no=49 label=Case6.37 nb_sol=0 ticks=14035 tps=100 nb_sec=140
case_no=49 label=Case6.37 nb_sol=0 ticks=33767 tps=100 nb_sec=337
case_no=49 label=Case6.37 nb_sol=0 ticks=43958 tps=100 nb_sec=439
case_no=49 label=Case6.37 nb_sol=0 ticks=17918 tps=100 nb_sec=179
case_no=49 label=Case6.37 nb_sol=0 ticks=30151 tps=100 nb_sec=301
case_no=49 label=Case6.37 nb_sol=0 ticks=35573 tps=100 nb_sec=355
case_no=49 label=Case6.37 nb_sol=0 ticks=18287 tps=100 nb_sec=182
case_no=49 label=Case6.37 nb_sol=0 ticks=18784 tps=100 nb_sec=187
case_no=49 label=Case6.37 nb_sol=0 ticks=27212 tps=100 nb_sec=272
case_no=49 label=Case6.37 nb_sol=0 ticks=13315 tps=100 nb_sec=133
case_no=49 label=Case6.37 nb_sol=0 ticks=18693 tps=100 nb_sec=186
case_no=49 label=Case6.37 nb_sol=0 ticks=25773 tps=100 nb_sec=257
case_no=49 label=Case6.37 nb_sol=0 ticks=22596 tps=100 nb_sec=225
case_no=49 label=Case6.37 nb_sol=0 ticks=49913 tps=100 nb_sec=499
case_no=49 label=Case6.37 nb_sol=0 ticks=41949 tps=100 nb_sec=419
case_no=49 label=Case6.37 nb_sol=0 ticks=26867 tps=100 nb_sec=268
case_no=49 label=Case6.37 nb_sol=0 ticks=24647 tps=100 nb_sec=246
case_no=49 label=Case6.37 nb_sol=0 ticks=19267 tps=100 nb_sec=192
case_no=49 label=Case6.37 nb_sol=0 ticks=14258 tps=100 nb_sec=142
case_no=49 label=Case6.37 nb_sol=0 ticks=26751 tps=100 nb_sec=267
case_no=49 label=Case6.37 nb_sol=0 ticks=18270 tps=100 nb_sec=182
case_no=49 label=Case6.37 nb_sol=0 ticks=15119 tps=100 nb_sec=151
case_no=49 label=Case6.37 nb_sol=0 ticks=23677 tps=100 nb_sec=236
case_no=49 label=Case6.37 nb_sol=0 ticks=17925 tps=100 nb_sec=179
case_no=49 label=Case6.37 nb_sol=0 ticks=32063 tps=100 nb_sec=320
case_no=49 label=Case6.37 nb_sol=0 ticks=24540 tps=100 nb_sec=245
case_no=49 label=Case6.37 nb_sol=0 ticks=38781 tps=100 nb_sec=387
case_no=49 label=Case6.37 nb_sol=0 ticks=29203 tps=100 nb_sec=292
case_no=49 label=Case6.37 nb_sol=0 ticks=28056 tps=100 nb_sec=280
case_no=49 label=Case6.37 nb_sol=0 ticks=20100 tps=100 nb_sec=201
case_no=49 label=Case6.37 nb_sol=0 ticks=30281 tps=100 nb_sec=302
case_no=49 label=Case6.37 nb_sol=0 ticks=29098 tps=100 nb_sec=290
case_no=49 label=Case6.37 nb_sol=0 ticks=21698 tps=100 nb_sec=216
case_no=49 label=Case6.37 nb_sol=0 ticks=19873 tps=100 nb_sec=198
case_no=49 label=Case6.37 nb_sol=0 ticks=32414 tps=100 nb_sec=324
case_no=49 label=Case6.37 nb_sol=0 ticks=26896 tps=100 nb_sec=268
case_no=49 label=Case6.37 nb_sol=0 ticks=20548 tps=100 nb_sec=205
case_no=49 label=Case6.37 nb_sol=0 ticks=28216 tps=100 nb_sec=282
case_no=49 label=Case6.37 nb_sol=0 ticks=26093 tps=100 nb_sec=260
case_no=49 label=Case6.37 nb_sol=0 ticks=26385 tps=100 nb_sec=263
case_no=49 label=Case6.37 nb_sol=0 ticks=27730 tps=100 nb_sec=277
case_no=49 label=Case6.37 nb_sol=0 ticks=25158 tps=100 nb_sec=251
case_no=49 label=Case6.37 nb_sol=0 ticks=20635 tps=100 nb_sec=206
case_no=49 label=Case6.37 nb_sol=0 ticks=27863 tps=100 nb_sec=278
case_no=49 label=Case6.37 nb_sol=0 ticks=27868 tps=100 nb_sec=278
case_no=49 label=Case6.37 nb_sol=0 ticks=15484 tps=100 nb_sec=154
case_no=49 label=Case6.37 nb_sol=0 ticks=21891 tps=100 nb_sec=218
case_no=49 label=Case6.37 nb_sol=0 ticks=20027 tps=100 nb_sec=200
case_no=49 label=Case6.37 nb_sol=0 ticks=28681 tps=100 nb_sec=286
case_no=49 label=Case6.37 nb_sol=0 ticks=26959 tps=100 nb_sec=269
case_no=49 label=Case6.37 nb_sol=0 ticks=30996 tps=100 nb_sec=309
case_no=49 label=Case6.37 nb_sol=0 ticks=31208 tps=100 nb_sec=312
case_no=49 label=Case6.37 nb_sol=0 ticks=31650 tps=100 nb_sec=316
case_no=49 label=Case6.37 nb_sol=0 ticks=26269 tps=100 nb_sec=262
case_no=49 label=Case6.37 nb_sol=0 ticks=33591 tps=100 nb_sec=335
case_no=49 label=Case6.37 nb_sol=0 ticks=30879 tps=100 nb_sec=308
case_no=49 label=Case6.37 nb_sol=0 ticks=44489 tps=100 nb_sec=444
case_no=49 label=Case6.37 nb_sol=0 ticks=38282 tps=100 nb_sec=382
case_no=49 label=Case6.37 nb_sol=0 ticks=21302 tps=100 nb_sec=213
case_no=49 label=Case6.37 nb_sol=0 ticks=22179 tps=100 nb_sec=221
case_no=49 label=Case6.37 nb_sol=0 ticks=43011 tps=100 nb_sec=430
case_no=49 label=Case6.37 nb_sol=0 ticks=24257 tps=100 nb_sec=242
case_no=49 label=Case6.37 nb_sol=0 ticks=25519 tps=100 nb_sec=255
case_no=49 label=Case6.37 nb_sol=0 ticks=35548 tps=100 nb_sec=355
case_no=49 label=Case6.37 nb_sol=0 ticks=18311 tps=100 nb_sec=183
case_no=49 label=Case6.37 nb_sol=0 ticks=13599 tps=100 nb_sec=135
case_no=49 label=Case6.37 nb_sol=0 ticks=25784 tps=100 nb_sec=257
case_no=49 label=Case6.37 nb_sol=0 ticks=23300 tps=100 nb_sec=233
case_no=49 label=Case6.37 nb_sol=0 ticks=19968 tps=100 nb_sec=199
case_no=49 label=Case6.37 nb_sol=0 ticks=16000 tps=100 nb_sec=160
case_no=49 label=Case6.37 nb_sol=0 ticks=24023 tps=100 nb_sec=240
case_no=49 label=Case6.37 nb_sol=0 ticks=35730 tps=100 nb_sec=357
case_no=49 label=Case6.37 nb_sol=0 ticks=28191 tps=100 nb_sec=281
case_no=49 label=Case6.37 nb_sol=0 ticks=16279 tps=100 nb_sec=162
case_no=49 label=Case6.37 nb_sol=0 ticks=38746 tps=100 nb_sec=387
case_no=49 label=Case6.37 nb_sol=0 ticks=24022 tps=100 nb_sec=240
case_no=49 label=Case6.37 nb_sol=0 ticks=32318 tps=100 nb_sec=323
case_no=49 label=Case6.37 nb_sol=0 ticks=26920 tps=100 nb_sec=269
case_no=49 label=Case6.37 nb_sol=0 ticks=42269 tps=100 nb_sec=422
case_no=49 label=Case6.37 nb_sol=0 ticks=19583 tps=100 nb_sec=195
case_no=49 label=Case6.37 nb_sol=0 ticks=23311 tps=100 nb_sec=233
case_no=49 label=Case6.37 nb_sol=0 ticks=16500 tps=100 nb_sec=165
case_no=49 label=Case6.37 nb_sol=0 ticks=41879 tps=100 nb_sec=418
case_no=49 label=Case6.37 nb_sol=0 ticks=18157 tps=100 nb_sec=181
case_no=49 label=Case6.37 nb_sol=0 ticks=30439 tps=100 nb_sec=304
case_no=49 label=Case6.37 nb_sol=0 ticks=44780 tps=100 nb_sec=447
case_no=49 label=Case6.37 nb_sol=0 ticks=25763 tps=100 nb_sec=257
case_no=49 label=Case6.37 nb_sol=0 ticks=30137 tps=100 nb_sec=301
case_no=49 label=Case6.37 nb_sol=0 ticks=14488 tps=100 nb_sec=144
case_no=49 label=Case6.37 nb_sol=0 ticks=20717 tps=100 nb_sec=207
case_no=49 label=Case6.37 nb_sol=0 ticks=20076 tps=100 nb_sec=200
case_no=49 label=Case6.37 nb_sol=0 ticks=16302 tps=100 nb_sec=163
case_no=49 label=Case6.37 nb_sol=0 ticks=20248 tps=100 nb_sec=202
case_no=49 label=Case6.37 nb_sol=0 ticks=21554 tps=100 nb_sec=215
case_no=49 label=Case6.37 nb_sol=0 ticks=30613 tps=100 nb_sec=306
case_no=49 label=Case6.37 nb_sol=0 ticks=15789 tps=100 nb_sec=157
case_no=49 label=Case6.37 nb_sol=0 ticks=23121 tps=100 nb_sec=231
case_no=49 label=Case6.37 nb_sol=0 ticks=15821 tps=100 nb_sec=158
case_no=49 label=Case6.37 nb_sol=0 ticks=23643 tps=100 nb_sec=236
case_no=49 label=Case6.37 nb_sol=0 ticks=14712 tps=100 nb_sec=147
case_no=49 label=Case6.37 nb_sol=0 ticks=18324 tps=100 nb_sec=183
case_no=49 label=Case6.37 nb_sol=0 ticks=30527 tps=100 nb_sec=305
case_no=49 label=Case6.37 nb_sol=0 ticks=13277 tps=100 nb_sec=132
case_no=49 label=Case6.37 nb_sol=0 ticks=27957 tps=100 nb_sec=279
case_no=49 label=Case6.37 nb_sol=0 ticks=17799 tps=100 nb_sec=177
case_no=49 label=Case6.37 nb_sol=0 ticks=14776 tps=100 nb_sec=147
case_no=49 label=Case6.37 nb_sol=0 ticks=24767 tps=100 nb_sec=247
case_no=49 label=Case6.37 nb_sol=0 ticks=13943 tps=100 nb_sec=139
case_no=49 label=Case6.37 nb_sol=0 ticks=31596 tps=100 nb_sec=315
case_no=49 label=Case6.37 nb_sol=0 ticks=24351 tps=100 nb_sec=243
case_no=49 label=Case6.37 nb_sol=0 ticks=14714 tps=100 nb_sec=147
case_no=49 label=Case6.37 nb_sol=0 ticks=31349 tps=100 nb_sec=313
case_no=49 label=Case6.37 nb_sol=0 ticks=17999 tps=100 nb_sec=179
case_no=49 label=Case6.37 nb_sol=0 ticks=24163 tps=100 nb_sec=241
case_no=49 label=Case6.37 nb_sol=0 ticks=19810 tps=100 nb_sec=198
case_no=49 label=Case6.37 nb_sol=0 ticks=28623 tps=100 nb_sec=286
case_no=49 label=Case6.37 nb_sol=0 ticks=28724 tps=100 nb_sec=287
case_no=49 label=Case6.37 nb_sol=0 ticks=21436 tps=100 nb_sec=214
case_no=49 label=Case6.37 nb_sol=0 ticks=28095 tps=100 nb_sec=280
case_no=49 label=Case6.37 nb_sol=0 ticks=25552 tps=100 nb_sec=255
case_no=49 label=Case6.37 nb_sol=0 ticks=16454 tps=100 nb_sec=164
case_no=49 label=Case6.37 nb_sol=0 ticks=25467 tps=100 nb_sec=254
case_no=49 label=Case6.37 nb_sol=0 ticks=27558 tps=100 nb_sec=275
case_no=49 label=Case6.37 nb_sol=0 ticks=23982 tps=100 nb_sec=239
case_no=49 label=Case6.37 nb_sol=0 ticks=16815 tps=100 nb_sec=168
case_no=49 label=Case6.37 nb_sol=0 ticks=19494 tps=100 nb_sec=194
case_no=49 label=Case6.37 nb_sol=0 ticks=16326 tps=100 nb_sec=163
case_no=49 label=Case6.37 nb_sol=0 ticks=22462 tps=100 nb_sec=224
case_no=49 label=Case6.37 nb_sol=0 ticks=20453 tps=100 nb_sec=204
case_no=49 label=Case6.37 nb_sol=0 ticks=28347 tps=100 nb_sec=283
case_no=49 label=Case6.37 nb_sol=0 ticks=17022 tps=100 nb_sec=170
case_no=49 label=Case6.37 nb_sol=0 ticks=27380 tps=100 nb_sec=273
case_no=49 label=Case6.37 nb_sol=0 ticks=17489 tps=100 nb_sec=174
case_no=49 label=Case6.37 nb_sol=0 ticks=25755 tps=100 nb_sec=257
case_no=49 label=Case6.37 nb_sol=0 ticks=19681 tps=100 nb_sec=196
case_no=49 label=Case6.37 nb_sol=0 ticks=26774 tps=100 nb_sec=267
case_no=49 label=Case6.37 nb_sol=0 ticks=18880 tps=100 nb_sec=188
case_no=49 label=Case6.37 nb_sol=0 ticks=26068 tps=100 nb_sec=260
case_no=49 label=Case6.37 nb_sol=0 ticks=16493 tps=100 nb_sec=164
case_no=49 label=Case6.37 nb_sol=0 ticks=42798 tps=100 nb_sec=427
case_no=49 label=Case6.37 nb_sol=0 ticks=20174 tps=100 nb_sec=201
case_no=49 label=Case6.37 nb_sol=0 ticks=32748 tps=100 nb_sec=327
case_no=49 label=Case6.37 nb_sol=0 ticks=39235 tps=100 nb_sec=392
case_no=49 label=Case6.37 nb_sol=0 ticks=27675 tps=100 nb_sec=276
case_no=49 label=Case6.37 nb_sol=0 ticks=17447 tps=100 nb_sec=174
case_no=49 label=Case6.37 nb_sol=0 ticks=18957 tps=100 nb_sec=189
case_no=49 label=Case6.37 nb_sol=0 ticks=43551 tps=100 nb_sec=435
case_no=49 label=Case6.37 nb_sol=0 ticks=16929 tps=100 nb_sec=169
case_no=49 label=Case6.37 nb_sol=0 ticks=15535 tps=100 nb_sec=155
case_no=49 label=Case6.37 nb_sol=0 ticks=21646 tps=100 nb_sec=216
case_no=49 label=Case6.37 nb_sol=0 ticks=17136 tps=100 nb_sec=171
case_no=49 label=Case6.37 nb_sol=0 ticks=41606 tps=100 nb_sec=416
case_no=49 label=Case6.37 nb_sol=0 ticks=18221 tps=100 nb_sec=182
case_no=49 label=Case6.37 nb_sol=0 ticks=34274 tps=100 nb_sec=342
case_no=49 label=Case6.37 nb_sol=0 ticks=15667 tps=100 nb_sec=156
case_no=49 label=Case6.37 nb_sol=0 ticks=18730 tps=100 nb_sec=187
case_no=49 label=Case6.37 nb_sol=0 ticks=37635 tps=100 nb_sec=376
case_no=49 label=Case6.37 nb_sol=0 ticks=20440 tps=100 nb_sec=204
case_no=49 label=Case6.37 nb_sol=0 ticks=18147 tps=100 nb_sec=181
case_no=49 label=Case6.37 nb_sol=0 ticks=24953 tps=100 nb_sec=249
case_no=49 label=Case6.37 nb_sol=0 ticks=28162 tps=100 nb_sec=281
case_no=49 label=Case6.37 nb_sol=0 ticks=19215 tps=100 nb_sec=192
case_no=49 label=Case6.37 nb_sol=0 ticks=28511 tps=100 nb_sec=285
case_no=49 label=Case6.37 nb_sol=0 ticks=21795 tps=100 nb_sec=217
case_no=49 label=Case6.37 nb_sol=0 ticks=23056 tps=100 nb_sec=230
case_no=49 label=Case6.37 nb_sol=0 ticks=23144 tps=100 nb_sec=231
case_no=49 label=Case6.37 nb_sol=0 ticks=23505 tps=100 nb_sec=235
case_no=49 label=Case6.37 nb_sol=0 ticks=20353 tps=100 nb_sec=203
case_no=49 label=Case6.37 nb_sol=0 ticks=16333 tps=100 nb_sec=163
case_no=49 label=Case6.37 nb_sol=0 ticks=17442 tps=100 nb_sec=174
case_no=49 label=Case6.37 nb_sol=0 ticks=28858 tps=100 nb_sec=288
case_no=49 label=Case6.37 nb_sol=0 ticks=21945 tps=100 nb_sec=219
case_no=49 label=Case6.37 nb_sol=0 ticks=21864 tps=100 nb_sec=218
case_no=49 label=Case6.37 nb_sol=0 ticks=29616 tps=100 nb_sec=296
case_no=49 label=Case6.37 nb_sol=0 ticks=18244 tps=100 nb_sec=182
case_no=49 label=Case6.37 nb_sol=0 ticks=26753 tps=100 nb_sec=267
case_no=49 label=Case6.37 nb_sol=0 ticks=17228 tps=100 nb_sec=172
case_no=49 label=Case6.37 nb_sol=0 ticks=24580 tps=100 nb_sec=245
case_no=49 label=Case6.37 nb_sol=0 ticks=25117 tps=100 nb_sec=251
case_no=49 label=Case6.37 nb_sol=0 ticks=24441 tps=100 nb_sec=244
case_no=49 label=Case6.37 nb_sol=0 ticks=12682 tps=100 nb_sec=126
case_no=49 label=Case6.37 nb_sol=0 ticks=23875 tps=100 nb_sec=238
case_no=49 label=Case6.37 nb_sol=0 ticks=15154 tps=100 nb_sec=151
case_no=49 label=Case6.37 nb_sol=0 ticks=13707 tps=100 nb_sec=137
case_no=49 label=Case6.37 nb_sol=0 ticks=22081 tps=100 nb_sec=220
case_no=49 label=Case6.37 nb_sol=0 ticks=12472 tps=100 nb_sec=124
case_no=49 label=Case6.37 nb_sol=0 ticks=26113 tps=100 nb_sec=261
case_no=49 label=Case6.37 nb_sol=0 ticks=19915 tps=100 nb_sec=199
case_no=49 label=Case6.37 nb_sol=0 ticks=13393 tps=100 nb_sec=133
case_no=49 label=Case6.37 nb_sol=0 ticks=16302 tps=100 nb_sec=163
case_no=49 label=Case6.37 nb_sol=0 ticks=27084 tps=100 nb_sec=270
case_no=49 label=Case6.37 nb_sol=0 ticks=22111 tps=100 nb_sec=221
case_no=49 label=Case6.37 nb_sol=0 ticks=15768 tps=100 nb_sec=157
case_no=49 label=Case6.37 nb_sol=0 ticks=26117 tps=100 nb_sec=261
case_no=49 label=Case6.37 nb_sol=0 ticks=26559 tps=100 nb_sec=265
case_no=49 label=Case6.37 nb_sol=0 ticks=17192 tps=100 nb_sec=171
case_no=49 label=Case6.37 nb_sol=0 ticks=28417 tps=100 nb_sec=284
case_no=49 label=Case6.37 nb_sol=0 ticks=14469 tps=100 nb_sec=144
case_no=49 label=Case6.37 nb_sol=0 ticks=15427 tps=100 nb_sec=154
case_no=49 label=Case6.37 nb_sol=0 ticks=19264 tps=100 nb_sec=192
case_no=49 label=Case6.37 nb_sol=0 ticks=15810 tps=100 nb_sec=158
case_no=49 label=Case6.37 nb_sol=0 ticks=30843 tps=100 nb_sec=308
case_no=49 label=Case6.37 nb_sol=0 ticks=29412 tps=100 nb_sec=294
case_no=49 label=Case6.37 nb_sol=0 ticks=13585 tps=100 nb_sec=135
case_no=49 label=Case6.37 nb_sol=0 ticks=27645 tps=100 nb_sec=276
case_no=49 label=Case6.37 nb_sol=0 ticks=24454 tps=100 nb_sec=244
case_no=49 label=Case6.37 nb_sol=0 ticks=24821 tps=100 nb_sec=248
case_no=49 label=Case6.37 nb_sol=0 ticks=28413 tps=100 nb_sec=284
case_no=49 label=Case6.37 nb_sol=0 ticks=33455 tps=100 nb_sec=334
case_no=49 label=Case6.37 nb_sol=0 ticks=28952 tps=100 nb_sec=289
case_no=49 label=Case6.37 nb_sol=0 ticks=28554 tps=100 nb_sec=285
case_no=49 label=Case6.37 nb_sol=0 ticks=28235 tps=100 nb_sec=282
case_no=49 label=Case6.37 nb_sol=0 ticks=21547 tps=100 nb_sec=215
case_no=49 label=Case6.37 nb_sol=0 ticks=25682 tps=100 nb_sec=256
case_no=49 label=Case6.37 nb_sol=0 ticks=15786 tps=100 nb_sec=157
case_no=49 label=Case6.37 nb_sol=0 ticks=19564 tps=100 nb_sec=195
case_no=49 label=Case6.37 nb_sol=0 ticks=39442 tps=100 nb_sec=394
case_no=49 label=Case6.37 nb_sol=0 ticks=36386 tps=100 nb_sec=363
case_no=49 label=Case6.37 nb_sol=0 ticks=18872 tps=100 nb_sec=188
case_no=49 label=Case6.37 nb_sol=0 ticks=28479 tps=100 nb_sec=284
case_no=49 label=Case6.37 nb_sol=0 ticks=16496 tps=100 nb_sec=164
case_no=49 label=Case6.37 nb_sol=0 ticks=16870 tps=100 nb_sec=168
case_no=49 label=Case6.37 nb_sol=0 ticks=26506 tps=100 nb_sec=265
case_no=49 label=Case6.37 nb_sol=0 ticks=20528 tps=100 nb_sec=205
case_no=49 label=Case6.37 nb_sol=0 ticks=27227 tps=100 nb_sec=272
case_no=49 label=Case6.37 nb_sol=0 ticks=35503 tps=100 nb_sec=355
case_no=49 label=Case6.37 nb_sol=0 ticks=17444 tps=100 nb_sec=174
case_no=49 label=Case6.37 nb_sol=0 ticks=22668 tps=100 nb_sec=226
case_no=49 label=Case6.37 nb_sol=0 ticks=44966 tps=100 nb_sec=449
case_no=49 label=Case6.37 nb_sol=0 ticks=27844 tps=100 nb_sec=278
case_no=49 label=Case6.37 nb_sol=0 ticks=15715 tps=100 nb_sec=157
case_no=49 label=Case6.37 nb_sol=0 ticks=39145 tps=100 nb_sec=391
case_no=49 label=Case6.37 nb_sol=0 ticks=24375 tps=100 nb_sec=243
case_no=49 label=Case6.37 nb_sol=0 ticks=38183 tps=100 nb_sec=381
case_no=49 label=Case6.37 nb_sol=0 ticks=17990 tps=100 nb_sec=179
case_no=49 label=Case6.37 nb_sol=0 ticks=18856 tps=100 nb_sec=188
case_no=49 label=Case6.37 nb_sol=0 ticks=20434 tps=100 nb_sec=204
case_no=49 label=Case6.37 nb_sol=0 ticks=18711 tps=100 nb_sec=187
case_no=49 label=Case6.37 nb_sol=0 ticks=17807 tps=100 nb_sec=178
case_no=49 label=Case6.37 nb_sol=0 ticks=35525 tps=100 nb_sec=355
case_no=49 label=Case6.37 nb_sol=0 ticks=14083 tps=100 nb_sec=140
case_no=49 label=Case6.37 nb_sol=0 ticks=32863 tps=100 nb_sec=328
case_no=49 label=Case6.37 nb_sol=0 ticks=18184 tps=100 nb_sec=181
case_no=49 label=Case6.37 nb_sol=0 ticks=27735 tps=100 nb_sec=277
case_no=49 label=Case6.37 nb_sol=0 ticks=37459 tps=100 nb_sec=374
case_no=49 label=Case6.37 nb_sol=0 ticks=17858 tps=100 nb_sec=178
case_no=49 label=Case6.37 nb_sol=0 ticks=15833 tps=100 nb_sec=158
case_no=49 label=Case6.37 nb_sol=0 ticks=38449 tps=100 nb_sec=384
case_no=49 label=Case6.37 nb_sol=0 ticks=19820 tps=100 nb_sec=198
case_no=49 label=Case6.37 nb_sol=0 ticks=23651 tps=100 nb_sec=236
case_no=49 label=Case6.37 nb_sol=0 ticks=16122 tps=100 nb_sec=161
case_no=49 label=Case6.37 nb_sol=0 ticks=22822 tps=100 nb_sec=228
case_no=49 label=Case6.37 nb_sol=0 ticks=29903 tps=100 nb_sec=299
case_no=49 label=Case6.37 nb_sol=0 ticks=17087 tps=100 nb_sec=170
case_no=49 label=Case6.37 nb_sol=0 ticks=24392 tps=100 nb_sec=243
case_no=49 label=Case6.37 nb_sol=0 ticks=26080 tps=100 nb_sec=260
case_no=49 label=Case6.37 nb_sol=0 ticks=17561 tps=100 nb_sec=175
case_no=49 label=Case6.37 nb_sol=0 ticks=22806 tps=100 nb_sec=228
case_no=49 label=Case6.37 nb_sol=0 ticks=23975 tps=100 nb_sec=239
case_no=49 label=Case6.37 nb_sol=0 ticks=25005 tps=100 nb_sec=250
case_no=49 label=Case6.37 nb_sol=0 ticks=24917 tps=100 nb_sec=249
case_no=49 label=Case6.37 nb_sol=0 ticks=22822 tps=100 nb_sec=228
case_no=49 label=Case6.37 nb_sol=0 ticks=26362 tps=100 nb_sec=263
case_no=49 label=Case6.37 nb_sol=0 ticks=24804 tps=100 nb_sec=248
case_no=49 label=Case6.37 nb_sol=0 ticks=20970 tps=100 nb_sec=209
case_no=49 label=Case6.37 nb_sol=0 ticks=16174 tps=100 nb_sec=161
case_no=49 label=Case6.37 nb_sol=0 ticks=23123 tps=100 nb_sec=231
case_no=49 label=Case6.37 nb_sol=0 ticks=22514 tps=100 nb_sec=225
case_no=49 label=Case6.37 nb_sol=0 ticks=18964 tps=100 nb_sec=189
case_no=49 label=Case6.37 nb_sol=0 ticks=16562 tps=100 nb_sec=165
Nb_sol=0
Nb_sec=125387
1-10:49:47 or 34 hours
missing cases:
none