argc=5
-M 512
file2=30_select_Case6.40_starter_16_
checking files mod 512 from 0 to 511
case_no=52 label=Case6.40 nb_sol=0 ticks=57109 tps=100 nb_sec=571
case_no=52 label=Case6.40 nb_sol=0 ticks=53113 tps=100 nb_sec=531
case_no=52 label=Case6.40 nb_sol=0 ticks=47504 tps=100 nb_sec=475
case_no=52 label=Case6.40 nb_sol=0 ticks=56659 tps=100 nb_sec=566
case_no=52 label=Case6.40 nb_sol=0 ticks=51183 tps=100 nb_sec=511
case_no=52 label=Case6.40 nb_sol=0 ticks=50561 tps=100 nb_sec=505
case_no=52 label=Case6.40 nb_sol=0 ticks=48636 tps=100 nb_sec=486
case_no=52 label=Case6.40 nb_sol=0 ticks=33621 tps=100 nb_sec=336
case_no=52 label=Case6.40 nb_sol=0 ticks=33237 tps=100 nb_sec=332
case_no=52 label=Case6.40 nb_sol=0 ticks=55717 tps=100 nb_sec=557
case_no=52 label=Case6.40 nb_sol=0 ticks=51025 tps=100 nb_sec=510
case_no=52 label=Case6.40 nb_sol=0 ticks=29316 tps=100 nb_sec=293
case_no=52 label=Case6.40 nb_sol=0 ticks=54306 tps=100 nb_sec=543
case_no=52 label=Case6.40 nb_sol=0 ticks=27716 tps=100 nb_sec=277
case_no=52 label=Case6.40 nb_sol=0 ticks=48580 tps=100 nb_sec=485
case_no=52 label=Case6.40 nb_sol=0 ticks=62148 tps=100 nb_sec=621
case_no=52 label=Case6.40 nb_sol=0 ticks=36125 tps=100 nb_sec=361
case_no=52 label=Case6.40 nb_sol=0 ticks=50984 tps=100 nb_sec=509
case_no=52 label=Case6.40 nb_sol=0 ticks=29328 tps=100 nb_sec=293
case_no=52 label=Case6.40 nb_sol=0 ticks=41860 tps=100 nb_sec=418
case_no=52 label=Case6.40 nb_sol=0 ticks=46211 tps=100 nb_sec=462
case_no=52 label=Case6.40 nb_sol=0 ticks=50056 tps=100 nb_sec=500
case_no=52 label=Case6.40 nb_sol=0 ticks=34638 tps=100 nb_sec=346
case_no=52 label=Case6.40 nb_sol=0 ticks=47111 tps=100 nb_sec=471
case_no=52 label=Case6.40 nb_sol=0 ticks=54098 tps=100 nb_sec=540
case_no=52 label=Case6.40 nb_sol=0 ticks=57279 tps=100 nb_sec=572
case_no=52 label=Case6.40 nb_sol=0 ticks=40775 tps=100 nb_sec=407
case_no=52 label=Case6.40 nb_sol=0 ticks=43602 tps=100 nb_sec=436
case_no=52 label=Case6.40 nb_sol=0 ticks=30554 tps=100 nb_sec=305
case_no=52 label=Case6.40 nb_sol=0 ticks=25388 tps=100 nb_sec=253
case_no=52 label=Case6.40 nb_sol=0 ticks=45234 tps=100 nb_sec=452
case_no=52 label=Case6.40 nb_sol=0 ticks=34212 tps=100 nb_sec=342
case_no=52 label=Case6.40 nb_sol=0 ticks=28155 tps=100 nb_sec=281
case_no=52 label=Case6.40 nb_sol=0 ticks=27971 tps=100 nb_sec=279
case_no=52 label=Case6.40 nb_sol=0 ticks=35110 tps=100 nb_sec=351
case_no=52 label=Case6.40 nb_sol=0 ticks=51367 tps=100 nb_sec=513
case_no=52 label=Case6.40 nb_sol=0 ticks=42777 tps=100 nb_sec=427
case_no=52 label=Case6.40 nb_sol=0 ticks=52745 tps=100 nb_sec=527
case_no=52 label=Case6.40 nb_sol=0 ticks=50309 tps=100 nb_sec=503
case_no=52 label=Case6.40 nb_sol=0 ticks=26960 tps=100 nb_sec=269
case_no=52 label=Case6.40 nb_sol=0 ticks=33576 tps=100 nb_sec=335
case_no=52 label=Case6.40 nb_sol=0 ticks=28730 tps=100 nb_sec=287
case_no=52 label=Case6.40 nb_sol=0 ticks=61180 tps=100 nb_sec=611
case_no=52 label=Case6.40 nb_sol=0 ticks=51999 tps=100 nb_sec=519
case_no=52 label=Case6.40 nb_sol=0 ticks=33913 tps=100 nb_sec=339
case_no=52 label=Case6.40 nb_sol=0 ticks=33794 tps=100 nb_sec=337
case_no=52 label=Case6.40 nb_sol=0 ticks=56965 tps=100 nb_sec=569
case_no=52 label=Case6.40 nb_sol=0 ticks=31184 tps=100 nb_sec=311
case_no=52 label=Case6.40 nb_sol=0 ticks=54001 tps=100 nb_sec=540
case_no=52 label=Case6.40 nb_sol=0 ticks=54637 tps=100 nb_sec=546
case_no=52 label=Case6.40 nb_sol=0 ticks=48256 tps=100 nb_sec=482
case_no=52 label=Case6.40 nb_sol=0 ticks=35264 tps=100 nb_sec=352
case_no=52 label=Case6.40 nb_sol=0 ticks=52969 tps=100 nb_sec=529
case_no=52 label=Case6.40 nb_sol=0 ticks=53929 tps=100 nb_sec=539
case_no=52 label=Case6.40 nb_sol=0 ticks=62427 tps=100 nb_sec=624
case_no=52 label=Case6.40 nb_sol=0 ticks=42707 tps=100 nb_sec=427
case_no=52 label=Case6.40 nb_sol=0 ticks=39009 tps=100 nb_sec=390
case_no=52 label=Case6.40 nb_sol=0 ticks=29661 tps=100 nb_sec=296
case_no=52 label=Case6.40 nb_sol=0 ticks=28785 tps=100 nb_sec=287
case_no=52 label=Case6.40 nb_sol=0 ticks=27626 tps=100 nb_sec=276
case_no=52 label=Case6.40 nb_sol=0 ticks=25936 tps=100 nb_sec=259
case_no=52 label=Case6.40 nb_sol=0 ticks=35098 tps=100 nb_sec=350
case_no=52 label=Case6.40 nb_sol=0 ticks=34654 tps=100 nb_sec=346
case_no=52 label=Case6.40 nb_sol=0 ticks=26932 tps=100 nb_sec=269
case_no=52 label=Case6.40 nb_sol=0 ticks=52862 tps=100 nb_sec=528
case_no=52 label=Case6.40 nb_sol=0 ticks=36347 tps=100 nb_sec=363
case_no=52 label=Case6.40 nb_sol=0 ticks=54808 tps=100 nb_sec=548
case_no=52 label=Case6.40 nb_sol=0 ticks=55349 tps=100 nb_sec=553
case_no=52 label=Case6.40 nb_sol=0 ticks=27709 tps=100 nb_sec=277
case_no=52 label=Case6.40 nb_sol=0 ticks=44946 tps=100 nb_sec=449
case_no=52 label=Case6.40 nb_sol=0 ticks=39192 tps=100 nb_sec=391
case_no=52 label=Case6.40 nb_sol=0 ticks=62975 tps=100 nb_sec=629
case_no=52 label=Case6.40 nb_sol=0 ticks=44843 tps=100 nb_sec=448
case_no=52 label=Case6.40 nb_sol=0 ticks=33308 tps=100 nb_sec=333
case_no=52 label=Case6.40 nb_sol=0 ticks=24599 tps=100 nb_sec=245
case_no=52 label=Case6.40 nb_sol=0 ticks=56603 tps=100 nb_sec=566
case_no=52 label=Case6.40 nb_sol=0 ticks=46051 tps=100 nb_sec=460
case_no=52 label=Case6.40 nb_sol=0 ticks=24254 tps=100 nb_sec=242
case_no=52 label=Case6.40 nb_sol=0 ticks=36165 tps=100 nb_sec=361
case_no=52 label=Case6.40 nb_sol=0 ticks=67528 tps=100 nb_sec=675
case_no=52 label=Case6.40 nb_sol=0 ticks=58989 tps=100 nb_sec=589
case_no=52 label=Case6.40 nb_sol=0 ticks=41024 tps=100 nb_sec=410
case_no=52 label=Case6.40 nb_sol=0 ticks=67709 tps=100 nb_sec=677
case_no=52 label=Case6.40 nb_sol=0 ticks=30591 tps=100 nb_sec=305
case_no=52 label=Case6.40 nb_sol=0 ticks=50564 tps=100 nb_sec=505
case_no=52 label=Case6.40 nb_sol=0 ticks=36232 tps=100 nb_sec=362
case_no=52 label=Case6.40 nb_sol=0 ticks=53449 tps=100 nb_sec=534
case_no=52 label=Case6.40 nb_sol=0 ticks=35656 tps=100 nb_sec=356
case_no=52 label=Case6.40 nb_sol=0 ticks=61596 tps=100 nb_sec=615
case_no=52 label=Case6.40 nb_sol=0 ticks=63506 tps=100 nb_sec=635
case_no=52 label=Case6.40 nb_sol=0 ticks=39815 tps=100 nb_sec=398
case_no=52 label=Case6.40 nb_sol=0 ticks=28961 tps=100 nb_sec=289
case_no=52 label=Case6.40 nb_sol=0 ticks=30315 tps=100 nb_sec=303
case_no=52 label=Case6.40 nb_sol=0 ticks=58325 tps=100 nb_sec=583
case_no=52 label=Case6.40 nb_sol=0 ticks=31697 tps=100 nb_sec=316
case_no=52 label=Case6.40 nb_sol=0 ticks=33297 tps=100 nb_sec=332
case_no=52 label=Case6.40 nb_sol=0 ticks=26731 tps=100 nb_sec=267
case_no=52 label=Case6.40 nb_sol=0 ticks=63055 tps=100 nb_sec=630
case_no=52 label=Case6.40 nb_sol=0 ticks=25874 tps=100 nb_sec=258
case_no=52 label=Case6.40 nb_sol=0 ticks=26181 tps=100 nb_sec=261
case_no=52 label=Case6.40 nb_sol=0 ticks=23791 tps=100 nb_sec=237
case_no=52 label=Case6.40 nb_sol=0 ticks=36667 tps=100 nb_sec=366
case_no=52 label=Case6.40 nb_sol=0 ticks=29164 tps=100 nb_sec=291
case_no=52 label=Case6.40 nb_sol=0 ticks=63377 tps=100 nb_sec=633
case_no=52 label=Case6.40 nb_sol=0 ticks=67513 tps=100 nb_sec=675
case_no=52 label=Case6.40 nb_sol=0 ticks=22214 tps=100 nb_sec=222
case_no=52 label=Case6.40 nb_sol=0 ticks=42555 tps=100 nb_sec=425
case_no=52 label=Case6.40 nb_sol=0 ticks=31228 tps=100 nb_sec=312
case_no=52 label=Case6.40 nb_sol=0 ticks=22773 tps=100 nb_sec=227
case_no=52 label=Case6.40 nb_sol=0 ticks=26144 tps=100 nb_sec=261
case_no=52 label=Case6.40 nb_sol=0 ticks=32232 tps=100 nb_sec=322
case_no=52 label=Case6.40 nb_sol=0 ticks=71540 tps=100 nb_sec=715
case_no=52 label=Case6.40 nb_sol=0 ticks=57808 tps=100 nb_sec=578
case_no=52 label=Case6.40 nb_sol=0 ticks=48542 tps=100 nb_sec=485
case_no=52 label=Case6.40 nb_sol=0 ticks=26434 tps=100 nb_sec=264
case_no=52 label=Case6.40 nb_sol=0 ticks=21878 tps=100 nb_sec=218
case_no=52 label=Case6.40 nb_sol=0 ticks=28336 tps=100 nb_sec=283
case_no=52 label=Case6.40 nb_sol=0 ticks=43739 tps=100 nb_sec=437
case_no=52 label=Case6.40 nb_sol=0 ticks=61786 tps=100 nb_sec=617
case_no=52 label=Case6.40 nb_sol=0 ticks=64191 tps=100 nb_sec=641
case_no=52 label=Case6.40 nb_sol=0 ticks=60955 tps=100 nb_sec=609
case_no=52 label=Case6.40 nb_sol=0 ticks=25497 tps=100 nb_sec=254
case_no=52 label=Case6.40 nb_sol=0 ticks=31009 tps=100 nb_sec=310
case_no=52 label=Case6.40 nb_sol=0 ticks=61486 tps=100 nb_sec=614
case_no=52 label=Case6.40 nb_sol=0 ticks=63605 tps=100 nb_sec=636
case_no=52 label=Case6.40 nb_sol=0 ticks=25272 tps=100 nb_sec=252
case_no=52 label=Case6.40 nb_sol=0 ticks=43943 tps=100 nb_sec=439
case_no=52 label=Case6.40 nb_sol=0 ticks=37024 tps=100 nb_sec=370
case_no=52 label=Case6.40 nb_sol=0 ticks=32465 tps=100 nb_sec=324
case_no=52 label=Case6.40 nb_sol=0 ticks=47847 tps=100 nb_sec=478
case_no=52 label=Case6.40 nb_sol=0 ticks=61195 tps=100 nb_sec=611
case_no=52 label=Case6.40 nb_sol=0 ticks=52085 tps=100 nb_sec=520
case_no=52 label=Case6.40 nb_sol=0 ticks=92343 tps=100 nb_sec=923
case_no=52 label=Case6.40 nb_sol=0 ticks=23236 tps=100 nb_sec=232
case_no=52 label=Case6.40 nb_sol=0 ticks=26555 tps=100 nb_sec=265
case_no=52 label=Case6.40 nb_sol=0 ticks=50124 tps=100 nb_sec=501
case_no=52 label=Case6.40 nb_sol=0 ticks=31116 tps=100 nb_sec=311
case_no=52 label=Case6.40 nb_sol=0 ticks=36687 tps=100 nb_sec=366
case_no=52 label=Case6.40 nb_sol=0 ticks=53271 tps=100 nb_sec=532
case_no=52 label=Case6.40 nb_sol=0 ticks=22282 tps=100 nb_sec=222
case_no=52 label=Case6.40 nb_sol=0 ticks=23587 tps=100 nb_sec=235
case_no=52 label=Case6.40 nb_sol=0 ticks=49856 tps=100 nb_sec=498
case_no=52 label=Case6.40 nb_sol=0 ticks=32676 tps=100 nb_sec=326
case_no=52 label=Case6.40 nb_sol=0 ticks=39872 tps=100 nb_sec=398
case_no=52 label=Case6.40 nb_sol=0 ticks=56784 tps=100 nb_sec=567
case_no=52 label=Case6.40 nb_sol=0 ticks=39411 tps=100 nb_sec=394
case_no=52 label=Case6.40 nb_sol=0 ticks=34340 tps=100 nb_sec=343
case_no=52 label=Case6.40 nb_sol=0 ticks=24371 tps=100 nb_sec=243
case_no=52 label=Case6.40 nb_sol=0 ticks=25097 tps=100 nb_sec=250
case_no=52 label=Case6.40 nb_sol=0 ticks=38073 tps=100 nb_sec=380
case_no=52 label=Case6.40 nb_sol=0 ticks=107948 tps=100 nb_sec=1079
case_no=52 label=Case6.40 nb_sol=0 ticks=45886 tps=100 nb_sec=458
case_no=52 label=Case6.40 nb_sol=0 ticks=39098 tps=100 nb_sec=390
case_no=52 label=Case6.40 nb_sol=0 ticks=68101 tps=100 nb_sec=681
case_no=52 label=Case6.40 nb_sol=0 ticks=27666 tps=100 nb_sec=276
case_no=52 label=Case6.40 nb_sol=0 ticks=100771 tps=100 nb_sec=1007
case_no=52 label=Case6.40 nb_sol=0 ticks=26441 tps=100 nb_sec=264
case_no=52 label=Case6.40 nb_sol=0 ticks=46094 tps=100 nb_sec=460
case_no=52 label=Case6.40 nb_sol=0 ticks=22261 tps=100 nb_sec=222
case_no=52 label=Case6.40 nb_sol=0 ticks=39243 tps=100 nb_sec=392
case_no=52 label=Case6.40 nb_sol=0 ticks=59393 tps=100 nb_sec=593
case_no=52 label=Case6.40 nb_sol=0 ticks=108549 tps=100 nb_sec=1085
case_no=52 label=Case6.40 nb_sol=0 ticks=28133 tps=100 nb_sec=281
case_no=52 label=Case6.40 nb_sol=0 ticks=41828 tps=100 nb_sec=418
case_no=52 label=Case6.40 nb_sol=0 ticks=63855 tps=100 nb_sec=638
case_no=52 label=Case6.40 nb_sol=0 ticks=32093 tps=100 nb_sec=320
case_no=52 label=Case6.40 nb_sol=0 ticks=108277 tps=100 nb_sec=1082
case_no=52 label=Case6.40 nb_sol=0 ticks=35443 tps=100 nb_sec=354
case_no=52 label=Case6.40 nb_sol=0 ticks=102453 tps=100 nb_sec=1024
case_no=52 label=Case6.40 nb_sol=0 ticks=102443 tps=100 nb_sec=1024
case_no=52 label=Case6.40 nb_sol=0 ticks=38010 tps=100 nb_sec=380
case_no=52 label=Case6.40 nb_sol=0 ticks=48707 tps=100 nb_sec=487
case_no=52 label=Case6.40 nb_sol=0 ticks=28819 tps=100 nb_sec=288
case_no=52 label=Case6.40 nb_sol=0 ticks=27413 tps=100 nb_sec=274
case_no=52 label=Case6.40 nb_sol=0 ticks=107350 tps=100 nb_sec=1073
case_no=52 label=Case6.40 nb_sol=0 ticks=39745 tps=100 nb_sec=397
case_no=52 label=Case6.40 nb_sol=0 ticks=27205 tps=100 nb_sec=272
case_no=52 label=Case6.40 nb_sol=0 ticks=35021 tps=100 nb_sec=350
case_no=52 label=Case6.40 nb_sol=0 ticks=105408 tps=100 nb_sec=1054
case_no=52 label=Case6.40 nb_sol=0 ticks=29080 tps=100 nb_sec=290
case_no=52 label=Case6.40 nb_sol=0 ticks=49266 tps=100 nb_sec=492
case_no=52 label=Case6.40 nb_sol=0 ticks=25918 tps=100 nb_sec=259
case_no=52 label=Case6.40 nb_sol=0 ticks=29378 tps=100 nb_sec=293
case_no=52 label=Case6.40 nb_sol=0 ticks=31161 tps=100 nb_sec=311
case_no=52 label=Case6.40 nb_sol=0 ticks=56198 tps=100 nb_sec=561
case_no=52 label=Case6.40 nb_sol=0 ticks=43328 tps=100 nb_sec=433
case_no=52 label=Case6.40 nb_sol=0 ticks=61284 tps=100 nb_sec=612
case_no=52 label=Case6.40 nb_sol=0 ticks=68153 tps=100 nb_sec=681
case_no=52 label=Case6.40 nb_sol=0 ticks=58433 tps=100 nb_sec=584
case_no=52 label=Case6.40 nb_sol=0 ticks=44909 tps=100 nb_sec=449
case_no=52 label=Case6.40 nb_sol=0 ticks=48267 tps=100 nb_sec=482
case_no=52 label=Case6.40 nb_sol=0 ticks=51186 tps=100 nb_sec=511
case_no=52 label=Case6.40 nb_sol=0 ticks=56342 tps=100 nb_sec=563
case_no=52 label=Case6.40 nb_sol=0 ticks=46363 tps=100 nb_sec=463
case_no=52 label=Case6.40 nb_sol=0 ticks=49820 tps=100 nb_sec=498
case_no=52 label=Case6.40 nb_sol=0 ticks=70906 tps=100 nb_sec=709
case_no=52 label=Case6.40 nb_sol=0 ticks=70512 tps=100 nb_sec=705
case_no=52 label=Case6.40 nb_sol=0 ticks=58571 tps=100 nb_sec=585
case_no=52 label=Case6.40 nb_sol=0 ticks=46063 tps=100 nb_sec=460
case_no=52 label=Case6.40 nb_sol=0 ticks=44825 tps=100 nb_sec=448
case_no=52 label=Case6.40 nb_sol=0 ticks=42560 tps=100 nb_sec=425
case_no=52 label=Case6.40 nb_sol=0 ticks=48599 tps=100 nb_sec=485
case_no=52 label=Case6.40 nb_sol=0 ticks=40624 tps=100 nb_sec=406
case_no=52 label=Case6.40 nb_sol=0 ticks=51375 tps=100 nb_sec=513
case_no=52 label=Case6.40 nb_sol=0 ticks=31414 tps=100 nb_sec=314
case_no=52 label=Case6.40 nb_sol=0 ticks=33231 tps=100 nb_sec=332
case_no=52 label=Case6.40 nb_sol=0 ticks=49819 tps=100 nb_sec=498
case_no=52 label=Case6.40 nb_sol=0 ticks=31269 tps=100 nb_sec=312
case_no=52 label=Case6.40 nb_sol=0 ticks=51377 tps=100 nb_sec=513
case_no=52 label=Case6.40 nb_sol=0 ticks=44719 tps=100 nb_sec=447
case_no=52 label=Case6.40 nb_sol=0 ticks=30355 tps=100 nb_sec=303
case_no=52 label=Case6.40 nb_sol=0 ticks=26078 tps=100 nb_sec=260
case_no=52 label=Case6.40 nb_sol=0 ticks=49900 tps=100 nb_sec=499
case_no=52 label=Case6.40 nb_sol=0 ticks=73794 tps=100 nb_sec=737
case_no=52 label=Case6.40 nb_sol=0 ticks=60415 tps=100 nb_sec=604
case_no=52 label=Case6.40 nb_sol=0 ticks=24778 tps=100 nb_sec=247
case_no=52 label=Case6.40 nb_sol=0 ticks=49353 tps=100 nb_sec=493
case_no=52 label=Case6.40 nb_sol=0 ticks=47125 tps=100 nb_sec=471
case_no=52 label=Case6.40 nb_sol=0 ticks=48965 tps=100 nb_sec=489
case_no=52 label=Case6.40 nb_sol=0 ticks=28924 tps=100 nb_sec=289
case_no=52 label=Case6.40 nb_sol=0 ticks=24829 tps=100 nb_sec=248
case_no=52 label=Case6.40 nb_sol=0 ticks=21988 tps=100 nb_sec=219
case_no=52 label=Case6.40 nb_sol=0 ticks=50064 tps=100 nb_sec=500
case_no=52 label=Case6.40 nb_sol=0 ticks=29497 tps=100 nb_sec=294
case_no=52 label=Case6.40 nb_sol=0 ticks=58229 tps=100 nb_sec=582
case_no=52 label=Case6.40 nb_sol=0 ticks=28362 tps=100 nb_sec=283
case_no=52 label=Case6.40 nb_sol=0 ticks=24274 tps=100 nb_sec=242
case_no=52 label=Case6.40 nb_sol=0 ticks=46377 tps=100 nb_sec=463
case_no=52 label=Case6.40 nb_sol=0 ticks=29446 tps=100 nb_sec=294
case_no=52 label=Case6.40 nb_sol=0 ticks=50492 tps=100 nb_sec=504
case_no=52 label=Case6.40 nb_sol=0 ticks=29443 tps=100 nb_sec=294
case_no=52 label=Case6.40 nb_sol=0 ticks=65332 tps=100 nb_sec=653
case_no=52 label=Case6.40 nb_sol=0 ticks=22752 tps=100 nb_sec=227
case_no=52 label=Case6.40 nb_sol=0 ticks=27610 tps=100 nb_sec=276
case_no=52 label=Case6.40 nb_sol=0 ticks=66668 tps=100 nb_sec=666
case_no=52 label=Case6.40 nb_sol=0 ticks=69363 tps=100 nb_sec=693
case_no=52 label=Case6.40 nb_sol=0 ticks=49223 tps=100 nb_sec=492
case_no=52 label=Case6.40 nb_sol=0 ticks=40281 tps=100 nb_sec=402
case_no=52 label=Case6.40 nb_sol=0 ticks=30160 tps=100 nb_sec=301
case_no=52 label=Case6.40 nb_sol=0 ticks=54587 tps=100 nb_sec=545
case_no=52 label=Case6.40 nb_sol=0 ticks=24056 tps=100 nb_sec=240
case_no=52 label=Case6.40 nb_sol=0 ticks=29583 tps=100 nb_sec=295
case_no=52 label=Case6.40 nb_sol=0 ticks=25224 tps=100 nb_sec=252
case_no=52 label=Case6.40 nb_sol=0 ticks=23044 tps=100 nb_sec=230
case_no=52 label=Case6.40 nb_sol=0 ticks=32889 tps=100 nb_sec=328
case_no=52 label=Case6.40 nb_sol=0 ticks=59045 tps=100 nb_sec=590
case_no=52 label=Case6.40 nb_sol=0 ticks=32365 tps=100 nb_sec=323
case_no=52 label=Case6.40 nb_sol=0 ticks=25925 tps=100 nb_sec=259
case_no=52 label=Case6.40 nb_sol=0 ticks=42423 tps=100 nb_sec=424
case_no=52 label=Case6.40 nb_sol=0 ticks=23880 tps=100 nb_sec=238
case_no=52 label=Case6.40 nb_sol=0 ticks=37869 tps=100 nb_sec=378
case_no=52 label=Case6.40 nb_sol=0 ticks=64331 tps=100 nb_sec=643
case_no=52 label=Case6.40 nb_sol=0 ticks=22674 tps=100 nb_sec=226
case_no=52 label=Case6.40 nb_sol=0 ticks=40752 tps=100 nb_sec=407
case_no=52 label=Case6.40 nb_sol=0 ticks=34647 tps=100 nb_sec=346
case_no=52 label=Case6.40 nb_sol=0 ticks=42377 tps=100 nb_sec=423
case_no=52 label=Case6.40 nb_sol=0 ticks=34606 tps=100 nb_sec=346
case_no=52 label=Case6.40 nb_sol=0 ticks=44073 tps=100 nb_sec=440
case_no=52 label=Case6.40 nb_sol=0 ticks=61440 tps=100 nb_sec=614
case_no=52 label=Case6.40 nb_sol=0 ticks=22642 tps=100 nb_sec=226
case_no=52 label=Case6.40 nb_sol=0 ticks=32312 tps=100 nb_sec=323
case_no=52 label=Case6.40 nb_sol=0 ticks=65665 tps=100 nb_sec=656
case_no=52 label=Case6.40 nb_sol=0 ticks=28706 tps=100 nb_sec=287
case_no=52 label=Case6.40 nb_sol=0 ticks=36248 tps=100 nb_sec=362
case_no=52 label=Case6.40 nb_sol=0 ticks=22239 tps=100 nb_sec=222
case_no=52 label=Case6.40 nb_sol=0 ticks=27920 tps=100 nb_sec=279
case_no=52 label=Case6.40 nb_sol=0 ticks=38828 tps=100 nb_sec=388
case_no=52 label=Case6.40 nb_sol=0 ticks=35026 tps=100 nb_sec=350
case_no=52 label=Case6.40 nb_sol=0 ticks=66157 tps=100 nb_sec=661
case_no=52 label=Case6.40 nb_sol=0 ticks=48487 tps=100 nb_sec=484
case_no=52 label=Case6.40 nb_sol=0 ticks=24044 tps=100 nb_sec=240
case_no=52 label=Case6.40 nb_sol=0 ticks=39535 tps=100 nb_sec=395
case_no=52 label=Case6.40 nb_sol=0 ticks=68413 tps=100 nb_sec=684
case_no=52 label=Case6.40 nb_sol=0 ticks=30030 tps=100 nb_sec=300
case_no=52 label=Case6.40 nb_sol=0 ticks=53070 tps=100 nb_sec=530
case_no=52 label=Case6.40 nb_sol=0 ticks=66272 tps=100 nb_sec=662
case_no=52 label=Case6.40 nb_sol=0 ticks=33577 tps=100 nb_sec=335
case_no=52 label=Case6.40 nb_sol=0 ticks=57638 tps=100 nb_sec=576
case_no=52 label=Case6.40 nb_sol=0 ticks=25523 tps=100 nb_sec=255
case_no=52 label=Case6.40 nb_sol=0 ticks=36768 tps=100 nb_sec=367
case_no=52 label=Case6.40 nb_sol=0 ticks=29006 tps=100 nb_sec=290
case_no=52 label=Case6.40 nb_sol=0 ticks=36156 tps=100 nb_sec=361
case_no=52 label=Case6.40 nb_sol=0 ticks=65367 tps=100 nb_sec=653
case_no=52 label=Case6.40 nb_sol=0 ticks=21877 tps=100 nb_sec=218
case_no=52 label=Case6.40 nb_sol=0 ticks=54478 tps=100 nb_sec=544
case_no=52 label=Case6.40 nb_sol=0 ticks=27355 tps=100 nb_sec=273
case_no=52 label=Case6.40 nb_sol=0 ticks=29872 tps=100 nb_sec=298
case_no=52 label=Case6.40 nb_sol=0 ticks=43018 tps=100 nb_sec=430
case_no=52 label=Case6.40 nb_sol=0 ticks=63879 tps=100 nb_sec=638
case_no=52 label=Case6.40 nb_sol=0 ticks=54175 tps=100 nb_sec=541
case_no=52 label=Case6.40 nb_sol=0 ticks=36439 tps=100 nb_sec=364
case_no=52 label=Case6.40 nb_sol=0 ticks=45939 tps=100 nb_sec=459
case_no=52 label=Case6.40 nb_sol=0 ticks=40952 tps=100 nb_sec=409
case_no=52 label=Case6.40 nb_sol=0 ticks=36407 tps=100 nb_sec=364
case_no=52 label=Case6.40 nb_sol=0 ticks=76678 tps=100 nb_sec=766
case_no=52 label=Case6.40 nb_sol=0 ticks=29819 tps=100 nb_sec=298
case_no=52 label=Case6.40 nb_sol=0 ticks=54528 tps=100 nb_sec=545
case_no=52 label=Case6.40 nb_sol=0 ticks=58958 tps=100 nb_sec=589
case_no=52 label=Case6.40 nb_sol=0 ticks=23401 tps=100 nb_sec=234
case_no=52 label=Case6.40 nb_sol=0 ticks=27433 tps=100 nb_sec=274
case_no=52 label=Case6.40 nb_sol=0 ticks=66959 tps=100 nb_sec=669
case_no=52 label=Case6.40 nb_sol=0 ticks=58916 tps=100 nb_sec=589
case_no=52 label=Case6.40 nb_sol=0 ticks=33150 tps=100 nb_sec=331
case_no=52 label=Case6.40 nb_sol=0 ticks=46332 tps=100 nb_sec=463
case_no=52 label=Case6.40 nb_sol=0 ticks=47572 tps=100 nb_sec=475
case_no=52 label=Case6.40 nb_sol=0 ticks=29773 tps=100 nb_sec=297
case_no=52 label=Case6.40 nb_sol=0 ticks=69229 tps=100 nb_sec=692
case_no=52 label=Case6.40 nb_sol=0 ticks=64447 tps=100 nb_sec=644
case_no=52 label=Case6.40 nb_sol=0 ticks=59766 tps=100 nb_sec=597
case_no=52 label=Case6.40 nb_sol=0 ticks=27823 tps=100 nb_sec=278
case_no=52 label=Case6.40 nb_sol=0 ticks=46394 tps=100 nb_sec=463
case_no=52 label=Case6.40 nb_sol=0 ticks=36066 tps=100 nb_sec=360
case_no=52 label=Case6.40 nb_sol=0 ticks=77754 tps=100 nb_sec=777
case_no=52 label=Case6.40 nb_sol=0 ticks=33081 tps=100 nb_sec=330
case_no=52 label=Case6.40 nb_sol=0 ticks=47862 tps=100 nb_sec=478
case_no=52 label=Case6.40 nb_sol=0 ticks=23301 tps=100 nb_sec=233
case_no=52 label=Case6.40 nb_sol=0 ticks=33335 tps=100 nb_sec=333
case_no=52 label=Case6.40 nb_sol=0 ticks=63274 tps=100 nb_sec=632
case_no=52 label=Case6.40 nb_sol=0 ticks=32092 tps=100 nb_sec=320
case_no=52 label=Case6.40 nb_sol=0 ticks=34110 tps=100 nb_sec=341
case_no=52 label=Case6.40 nb_sol=0 ticks=47688 tps=100 nb_sec=476
case_no=52 label=Case6.40 nb_sol=0 ticks=41734 tps=100 nb_sec=417
case_no=52 label=Case6.40 nb_sol=0 ticks=24173 tps=100 nb_sec=241
case_no=52 label=Case6.40 nb_sol=0 ticks=37077 tps=100 nb_sec=370
case_no=52 label=Case6.40 nb_sol=0 ticks=34042 tps=100 nb_sec=340
case_no=52 label=Case6.40 nb_sol=0 ticks=32962 tps=100 nb_sec=329
case_no=52 label=Case6.40 nb_sol=0 ticks=63844 tps=100 nb_sec=638
case_no=52 label=Case6.40 nb_sol=0 ticks=35480 tps=100 nb_sec=354
case_no=52 label=Case6.40 nb_sol=0 ticks=37950 tps=100 nb_sec=379
case_no=52 label=Case6.40 nb_sol=0 ticks=33225 tps=100 nb_sec=332
case_no=52 label=Case6.40 nb_sol=0 ticks=24322 tps=100 nb_sec=243
case_no=52 label=Case6.40 nb_sol=0 ticks=25635 tps=100 nb_sec=256
case_no=52 label=Case6.40 nb_sol=0 ticks=39290 tps=100 nb_sec=392
case_no=52 label=Case6.40 nb_sol=0 ticks=30098 tps=100 nb_sec=300
case_no=52 label=Case6.40 nb_sol=0 ticks=34439 tps=100 nb_sec=344
case_no=52 label=Case6.40 nb_sol=0 ticks=26120 tps=100 nb_sec=261
case_no=52 label=Case6.40 nb_sol=0 ticks=27342 tps=100 nb_sec=273
case_no=52 label=Case6.40 nb_sol=0 ticks=47021 tps=100 nb_sec=470
case_no=52 label=Case6.40 nb_sol=0 ticks=49982 tps=100 nb_sec=499
case_no=52 label=Case6.40 nb_sol=0 ticks=23254 tps=100 nb_sec=232
case_no=52 label=Case6.40 nb_sol=0 ticks=32519 tps=100 nb_sec=325
case_no=52 label=Case6.40 nb_sol=0 ticks=33174 tps=100 nb_sec=331
case_no=52 label=Case6.40 nb_sol=0 ticks=47997 tps=100 nb_sec=479
case_no=52 label=Case6.40 nb_sol=0 ticks=24666 tps=100 nb_sec=246
case_no=52 label=Case6.40 nb_sol=0 ticks=60489 tps=100 nb_sec=604
case_no=52 label=Case6.40 nb_sol=0 ticks=23555 tps=100 nb_sec=235
case_no=52 label=Case6.40 nb_sol=0 ticks=42382 tps=100 nb_sec=423
case_no=52 label=Case6.40 nb_sol=0 ticks=48174 tps=100 nb_sec=481
case_no=52 label=Case6.40 nb_sol=0 ticks=61007 tps=100 nb_sec=610
case_no=52 label=Case6.40 nb_sol=0 ticks=34232 tps=100 nb_sec=342
case_no=52 label=Case6.40 nb_sol=0 ticks=40036 tps=100 nb_sec=400
case_no=52 label=Case6.40 nb_sol=0 ticks=32746 tps=100 nb_sec=327
case_no=52 label=Case6.40 nb_sol=0 ticks=54207 tps=100 nb_sec=542
case_no=52 label=Case6.40 nb_sol=0 ticks=24857 tps=100 nb_sec=248
case_no=52 label=Case6.40 nb_sol=0 ticks=34857 tps=100 nb_sec=348
case_no=52 label=Case6.40 nb_sol=0 ticks=66720 tps=100 nb_sec=667
case_no=52 label=Case6.40 nb_sol=0 ticks=37559 tps=100 nb_sec=375
case_no=52 label=Case6.40 nb_sol=0 ticks=35882 tps=100 nb_sec=358
case_no=52 label=Case6.40 nb_sol=0 ticks=66230 tps=100 nb_sec=662
case_no=52 label=Case6.40 nb_sol=0 ticks=41796 tps=100 nb_sec=417
case_no=52 label=Case6.40 nb_sol=0 ticks=66578 tps=100 nb_sec=665
case_no=52 label=Case6.40 nb_sol=0 ticks=41628 tps=100 nb_sec=416
case_no=52 label=Case6.40 nb_sol=0 ticks=62842 tps=100 nb_sec=628
case_no=52 label=Case6.40 nb_sol=0 ticks=42132 tps=100 nb_sec=421
case_no=52 label=Case6.40 nb_sol=0 ticks=24553 tps=100 nb_sec=245
case_no=52 label=Case6.40 nb_sol=0 ticks=48867 tps=100 nb_sec=488
case_no=52 label=Case6.40 nb_sol=0 ticks=42119 tps=100 nb_sec=421
case_no=52 label=Case6.40 nb_sol=0 ticks=70175 tps=100 nb_sec=701
case_no=52 label=Case6.40 nb_sol=0 ticks=43446 tps=100 nb_sec=434
case_no=52 label=Case6.40 nb_sol=0 ticks=63825 tps=100 nb_sec=638
case_no=52 label=Case6.40 nb_sol=0 ticks=39937 tps=100 nb_sec=399
case_no=52 label=Case6.40 nb_sol=0 ticks=70816 tps=100 nb_sec=708
case_no=52 label=Case6.40 nb_sol=0 ticks=29585 tps=100 nb_sec=295
case_no=52 label=Case6.40 nb_sol=0 ticks=56607 tps=100 nb_sec=566
case_no=52 label=Case6.40 nb_sol=0 ticks=40450 tps=100 nb_sec=404
case_no=52 label=Case6.40 nb_sol=0 ticks=52589 tps=100 nb_sec=525
case_no=52 label=Case6.40 nb_sol=0 ticks=48614 tps=100 nb_sec=486
case_no=52 label=Case6.40 nb_sol=0 ticks=64558 tps=100 nb_sec=645
case_no=52 label=Case6.40 nb_sol=0 ticks=26218 tps=100 nb_sec=262
case_no=52 label=Case6.40 nb_sol=0 ticks=42672 tps=100 nb_sec=426
case_no=52 label=Case6.40 nb_sol=0 ticks=32230 tps=100 nb_sec=322
case_no=52 label=Case6.40 nb_sol=0 ticks=37779 tps=100 nb_sec=377
case_no=52 label=Case6.40 nb_sol=0 ticks=67909 tps=100 nb_sec=679
case_no=52 label=Case6.40 nb_sol=0 ticks=37307 tps=100 nb_sec=373
case_no=52 label=Case6.40 nb_sol=0 ticks=44525 tps=100 nb_sec=445
case_no=52 label=Case6.40 nb_sol=0 ticks=50919 tps=100 nb_sec=509
case_no=52 label=Case6.40 nb_sol=0 ticks=45027 tps=100 nb_sec=450
case_no=52 label=Case6.40 nb_sol=0 ticks=54206 tps=100 nb_sec=542
case_no=52 label=Case6.40 nb_sol=0 ticks=37581 tps=100 nb_sec=375
case_no=52 label=Case6.40 nb_sol=0 ticks=49855 tps=100 nb_sec=498
case_no=52 label=Case6.40 nb_sol=0 ticks=45837 tps=100 nb_sec=458
case_no=52 label=Case6.40 nb_sol=0 ticks=43691 tps=100 nb_sec=436
case_no=52 label=Case6.40 nb_sol=0 ticks=35507 tps=100 nb_sec=355
case_no=52 label=Case6.40 nb_sol=0 ticks=61428 tps=100 nb_sec=614
case_no=52 label=Case6.40 nb_sol=0 ticks=38080 tps=100 nb_sec=380
case_no=52 label=Case6.40 nb_sol=0 ticks=51177 tps=100 nb_sec=511
case_no=52 label=Case6.40 nb_sol=0 ticks=39368 tps=100 nb_sec=393
case_no=52 label=Case6.40 nb_sol=0 ticks=65984 tps=100 nb_sec=659
case_no=52 label=Case6.40 nb_sol=0 ticks=53631 tps=100 nb_sec=536
case_no=52 label=Case6.40 nb_sol=0 ticks=31133 tps=100 nb_sec=311
case_no=52 label=Case6.40 nb_sol=0 ticks=67554 tps=100 nb_sec=675
case_no=52 label=Case6.40 nb_sol=0 ticks=37298 tps=100 nb_sec=372
case_no=52 label=Case6.40 nb_sol=0 ticks=68606 tps=100 nb_sec=686
case_no=52 label=Case6.40 nb_sol=0 ticks=32333 tps=100 nb_sec=323
case_no=52 label=Case6.40 nb_sol=0 ticks=41697 tps=100 nb_sec=416
case_no=52 label=Case6.40 nb_sol=0 ticks=46443 tps=100 nb_sec=464
case_no=52 label=Case6.40 nb_sol=0 ticks=62131 tps=100 nb_sec=621
case_no=52 label=Case6.40 nb_sol=0 ticks=43050 tps=100 nb_sec=430
case_no=52 label=Case6.40 nb_sol=0 ticks=31250 tps=100 nb_sec=312
case_no=52 label=Case6.40 nb_sol=0 ticks=66372 tps=100 nb_sec=663
case_no=52 label=Case6.40 nb_sol=0 ticks=33310 tps=100 nb_sec=333
case_no=52 label=Case6.40 nb_sol=0 ticks=30247 tps=100 nb_sec=302
case_no=52 label=Case6.40 nb_sol=0 ticks=49865 tps=100 nb_sec=498
case_no=52 label=Case6.40 nb_sol=0 ticks=38843 tps=100 nb_sec=388
case_no=52 label=Case6.40 nb_sol=0 ticks=62828 tps=100 nb_sec=628
case_no=52 label=Case6.40 nb_sol=0 ticks=48159 tps=100 nb_sec=481
case_no=52 label=Case6.40 nb_sol=0 ticks=42173 tps=100 nb_sec=421
case_no=52 label=Case6.40 nb_sol=0 ticks=47007 tps=100 nb_sec=470
case_no=52 label=Case6.40 nb_sol=0 ticks=47460 tps=100 nb_sec=474
case_no=52 label=Case6.40 nb_sol=0 ticks=41893 tps=100 nb_sec=418
case_no=52 label=Case6.40 nb_sol=0 ticks=42607 tps=100 nb_sec=426
case_no=52 label=Case6.40 nb_sol=0 ticks=38854 tps=100 nb_sec=388
case_no=52 label=Case6.40 nb_sol=0 ticks=40581 tps=100 nb_sec=405
case_no=52 label=Case6.40 nb_sol=0 ticks=42163 tps=100 nb_sec=421
case_no=52 label=Case6.40 nb_sol=0 ticks=41923 tps=100 nb_sec=419
case_no=52 label=Case6.40 nb_sol=0 ticks=46084 tps=100 nb_sec=460
case_no=52 label=Case6.40 nb_sol=0 ticks=36668 tps=100 nb_sec=366
case_no=52 label=Case6.40 nb_sol=0 ticks=33093 tps=100 nb_sec=330
case_no=52 label=Case6.40 nb_sol=0 ticks=45637 tps=100 nb_sec=456
case_no=52 label=Case6.40 nb_sol=0 ticks=30278 tps=100 nb_sec=302
case_no=52 label=Case6.40 nb_sol=0 ticks=27806 tps=100 nb_sec=278
case_no=52 label=Case6.40 nb_sol=0 ticks=43313 tps=100 nb_sec=433
case_no=52 label=Case6.40 nb_sol=0 ticks=34199 tps=100 nb_sec=341
case_no=52 label=Case6.40 nb_sol=0 ticks=28745 tps=100 nb_sec=287
case_no=52 label=Case6.40 nb_sol=0 ticks=33077 tps=100 nb_sec=330
case_no=52 label=Case6.40 nb_sol=0 ticks=35699 tps=100 nb_sec=356
case_no=52 label=Case6.40 nb_sol=0 ticks=33854 tps=100 nb_sec=338
case_no=52 label=Case6.40 nb_sol=0 ticks=45039 tps=100 nb_sec=450
case_no=52 label=Case6.40 nb_sol=0 ticks=59322 tps=100 nb_sec=593
case_no=52 label=Case6.40 nb_sol=0 ticks=34242 tps=100 nb_sec=342
case_no=52 label=Case6.40 nb_sol=0 ticks=62229 tps=100 nb_sec=622
case_no=52 label=Case6.40 nb_sol=0 ticks=32244 tps=100 nb_sec=322
case_no=52 label=Case6.40 nb_sol=0 ticks=35417 tps=100 nb_sec=354
case_no=52 label=Case6.40 nb_sol=0 ticks=42125 tps=100 nb_sec=421
case_no=52 label=Case6.40 nb_sol=0 ticks=63554 tps=100 nb_sec=635
case_no=52 label=Case6.40 nb_sol=0 ticks=29803 tps=100 nb_sec=298
case_no=52 label=Case6.40 nb_sol=0 ticks=51592 tps=100 nb_sec=515
case_no=52 label=Case6.40 nb_sol=0 ticks=36092 tps=100 nb_sec=360
case_no=52 label=Case6.40 nb_sol=0 ticks=50138 tps=100 nb_sec=501
case_no=52 label=Case6.40 nb_sol=0 ticks=72697 tps=100 nb_sec=726
case_no=52 label=Case6.40 nb_sol=0 ticks=66199 tps=100 nb_sec=661
case_no=52 label=Case6.40 nb_sol=0 ticks=42100 tps=100 nb_sec=421
case_no=52 label=Case6.40 nb_sol=0 ticks=68995 tps=100 nb_sec=689
case_no=52 label=Case6.40 nb_sol=0 ticks=71444 tps=100 nb_sec=714
case_no=52 label=Case6.40 nb_sol=0 ticks=30576 tps=100 nb_sec=305
case_no=52 label=Case6.40 nb_sol=0 ticks=72034 tps=100 nb_sec=720
case_no=52 label=Case6.40 nb_sol=0 ticks=41987 tps=100 nb_sec=419
case_no=52 label=Case6.40 nb_sol=0 ticks=51395 tps=100 nb_sec=513
case_no=52 label=Case6.40 nb_sol=0 ticks=27871 tps=100 nb_sec=278
case_no=52 label=Case6.40 nb_sol=0 ticks=79102 tps=100 nb_sec=791
case_no=52 label=Case6.40 nb_sol=0 ticks=69431 tps=100 nb_sec=694
case_no=52 label=Case6.40 nb_sol=0 ticks=64969 tps=100 nb_sec=649
case_no=52 label=Case6.40 nb_sol=0 ticks=61992 tps=100 nb_sec=619
case_no=52 label=Case6.40 nb_sol=0 ticks=67690 tps=100 nb_sec=676
case_no=52 label=Case6.40 nb_sol=0 ticks=63202 tps=100 nb_sec=632
case_no=52 label=Case6.40 nb_sol=0 ticks=56501 tps=100 nb_sec=565
case_no=52 label=Case6.40 nb_sol=0 ticks=71331 tps=100 nb_sec=713
case_no=52 label=Case6.40 nb_sol=0 ticks=48796 tps=100 nb_sec=487
case_no=52 label=Case6.40 nb_sol=0 ticks=41243 tps=100 nb_sec=412
case_no=52 label=Case6.40 nb_sol=0 ticks=41765 tps=100 nb_sec=417
case_no=52 label=Case6.40 nb_sol=0 ticks=35650 tps=100 nb_sec=356
case_no=52 label=Case6.40 nb_sol=0 ticks=72021 tps=100 nb_sec=720
case_no=52 label=Case6.40 nb_sol=0 ticks=28439 tps=100 nb_sec=284
case_no=52 label=Case6.40 nb_sol=0 ticks=34662 tps=100 nb_sec=346
case_no=52 label=Case6.40 nb_sol=0 ticks=37540 tps=100 nb_sec=375
case_no=52 label=Case6.40 nb_sol=0 ticks=55560 tps=100 nb_sec=555
case_no=52 label=Case6.40 nb_sol=0 ticks=80897 tps=100 nb_sec=808
case_no=52 label=Case6.40 nb_sol=0 ticks=23693 tps=100 nb_sec=236
case_no=52 label=Case6.40 nb_sol=0 ticks=41183 tps=100 nb_sec=411
case_no=52 label=Case6.40 nb_sol=0 ticks=65517 tps=100 nb_sec=655
case_no=52 label=Case6.40 nb_sol=0 ticks=58501 tps=100 nb_sec=585
case_no=52 label=Case6.40 nb_sol=0 ticks=49724 tps=100 nb_sec=497
case_no=52 label=Case6.40 nb_sol=0 ticks=53599 tps=100 nb_sec=535
case_no=52 label=Case6.40 nb_sol=0 ticks=64018 tps=100 nb_sec=640
case_no=52 label=Case6.40 nb_sol=0 ticks=39991 tps=100 nb_sec=399
case_no=52 label=Case6.40 nb_sol=0 ticks=56747 tps=100 nb_sec=567
case_no=52 label=Case6.40 nb_sol=0 ticks=40000 tps=100 nb_sec=400
case_no=52 label=Case6.40 nb_sol=0 ticks=48394 tps=100 nb_sec=483
case_no=52 label=Case6.40 nb_sol=0 ticks=40332 tps=100 nb_sec=403
case_no=52 label=Case6.40 nb_sol=0 ticks=29622 tps=100 nb_sec=296
case_no=52 label=Case6.40 nb_sol=0 ticks=67014 tps=100 nb_sec=670
case_no=52 label=Case6.40 nb_sol=0 ticks=61912 tps=100 nb_sec=619
case_no=52 label=Case6.40 nb_sol=0 ticks=61886 tps=100 nb_sec=618
case_no=52 label=Case6.40 nb_sol=0 ticks=46276 tps=100 nb_sec=462
case_no=52 label=Case6.40 nb_sol=0 ticks=33644 tps=100 nb_sec=336
case_no=52 label=Case6.40 nb_sol=0 ticks=47069 tps=100 nb_sec=470
case_no=52 label=Case6.40 nb_sol=0 ticks=44313 tps=100 nb_sec=443
case_no=52 label=Case6.40 nb_sol=0 ticks=63946 tps=100 nb_sec=639
case_no=52 label=Case6.40 nb_sol=0 ticks=37826 tps=100 nb_sec=378
case_no=52 label=Case6.40 nb_sol=0 ticks=41224 tps=100 nb_sec=412
case_no=52 label=Case6.40 nb_sol=0 ticks=68346 tps=100 nb_sec=683
case_no=52 label=Case6.40 nb_sol=0 ticks=37778 tps=100 nb_sec=377
case_no=52 label=Case6.40 nb_sol=0 ticks=31930 tps=100 nb_sec=319
case_no=52 label=Case6.40 nb_sol=0 ticks=25001 tps=100 nb_sec=250
case_no=52 label=Case6.40 nb_sol=0 ticks=30570 tps=100 nb_sec=305
case_no=52 label=Case6.40 nb_sol=0 ticks=33024 tps=100 nb_sec=330
case_no=52 label=Case6.40 nb_sol=0 ticks=32259 tps=100 nb_sec=322
case_no=52 label=Case6.40 nb_sol=0 ticks=27265 tps=100 nb_sec=272
case_no=52 label=Case6.40 nb_sol=0 ticks=65679 tps=100 nb_sec=656
case_no=52 label=Case6.40 nb_sol=0 ticks=28489 tps=100 nb_sec=284
case_no=52 label=Case6.40 nb_sol=0 ticks=36017 tps=100 nb_sec=360
case_no=52 label=Case6.40 nb_sol=0 ticks=27062 tps=100 nb_sec=270
Nb_sol=0
Nb_sec=227615
2-15:13:35 or 63 hours
missing cases:
none