argc=5
-M 256
file2=30_select_Case6.97_starter_15_
checking files mod 256 from 0 to 255
case_no=109 label=Case6.97 nb_sol=0 ticks=159080 tps=100 nb_sec=1590
case_no=109 label=Case6.97 nb_sol=0 ticks=141510 tps=100 nb_sec=1415
case_no=109 label=Case6.97 nb_sol=0 ticks=87266 tps=100 nb_sec=872
case_no=109 label=Case6.97 nb_sol=0 ticks=114491 tps=100 nb_sec=1144
case_no=109 label=Case6.97 nb_sol=0 ticks=104272 tps=100 nb_sec=1042
case_no=109 label=Case6.97 nb_sol=0 ticks=92164 tps=100 nb_sec=921
case_no=109 label=Case6.97 nb_sol=0 ticks=136398 tps=100 nb_sec=1363
case_no=109 label=Case6.97 nb_sol=0 ticks=80716 tps=100 nb_sec=807
case_no=109 label=Case6.97 nb_sol=0 ticks=181074 tps=100 nb_sec=1810
case_no=109 label=Case6.97 nb_sol=0 ticks=86432 tps=100 nb_sec=864
case_no=109 label=Case6.97 nb_sol=0 ticks=105460 tps=100 nb_sec=1054
case_no=109 label=Case6.97 nb_sol=0 ticks=94118 tps=100 nb_sec=941
case_no=109 label=Case6.97 nb_sol=0 ticks=159520 tps=100 nb_sec=1595
case_no=109 label=Case6.97 nb_sol=0 ticks=119496 tps=100 nb_sec=1194
case_no=109 label=Case6.97 nb_sol=0 ticks=128334 tps=100 nb_sec=1283
case_no=109 label=Case6.97 nb_sol=0 ticks=102137 tps=100 nb_sec=1021
case_no=109 label=Case6.97 nb_sol=0 ticks=142127 tps=100 nb_sec=1421
case_no=109 label=Case6.97 nb_sol=0 ticks=143428 tps=100 nb_sec=1434
case_no=109 label=Case6.97 nb_sol=0 ticks=150205 tps=100 nb_sec=1502
case_no=109 label=Case6.97 nb_sol=0 ticks=95212 tps=100 nb_sec=952
case_no=109 label=Case6.97 nb_sol=0 ticks=144045 tps=100 nb_sec=1440
case_no=109 label=Case6.97 nb_sol=0 ticks=117944 tps=100 nb_sec=1179
case_no=109 label=Case6.97 nb_sol=0 ticks=122695 tps=100 nb_sec=1226
case_no=109 label=Case6.97 nb_sol=0 ticks=96248 tps=100 nb_sec=962
case_no=109 label=Case6.97 nb_sol=0 ticks=190578 tps=100 nb_sec=1905
case_no=109 label=Case6.97 nb_sol=0 ticks=144970 tps=100 nb_sec=1449
case_no=109 label=Case6.97 nb_sol=0 ticks=146875 tps=100 nb_sec=1468
case_no=109 label=Case6.97 nb_sol=0 ticks=231598 tps=100 nb_sec=2315
case_no=109 label=Case6.97 nb_sol=0 ticks=175961 tps=100 nb_sec=1759
case_no=109 label=Case6.97 nb_sol=0 ticks=108527 tps=100 nb_sec=1085
case_no=109 label=Case6.97 nb_sol=0 ticks=160439 tps=100 nb_sec=1604
case_no=109 label=Case6.97 nb_sol=0 ticks=87110 tps=100 nb_sec=871
case_no=109 label=Case6.97 nb_sol=0 ticks=142884 tps=100 nb_sec=1428
case_no=109 label=Case6.97 nb_sol=0 ticks=124705 tps=100 nb_sec=1247
case_no=109 label=Case6.97 nb_sol=0 ticks=97128 tps=100 nb_sec=971
case_no=109 label=Case6.97 nb_sol=0 ticks=152069 tps=100 nb_sec=1520
case_no=109 label=Case6.97 nb_sol=0 ticks=167804 tps=100 nb_sec=1678
case_no=109 label=Case6.97 nb_sol=0 ticks=125871 tps=100 nb_sec=1258
case_no=109 label=Case6.97 nb_sol=0 ticks=139496 tps=100 nb_sec=1394
case_no=109 label=Case6.97 nb_sol=0 ticks=144813 tps=100 nb_sec=1448
case_no=109 label=Case6.97 nb_sol=0 ticks=289177 tps=100 nb_sec=2891
case_no=109 label=Case6.97 nb_sol=0 ticks=123899 tps=100 nb_sec=1238
case_no=109 label=Case6.97 nb_sol=0 ticks=177469 tps=100 nb_sec=1774
case_no=109 label=Case6.97 nb_sol=0 ticks=100256 tps=100 nb_sec=1002
case_no=109 label=Case6.97 nb_sol=0 ticks=91073 tps=100 nb_sec=910
case_no=109 label=Case6.97 nb_sol=0 ticks=106001 tps=100 nb_sec=1060
case_no=109 label=Case6.97 nb_sol=0 ticks=122275 tps=100 nb_sec=1222
case_no=109 label=Case6.97 nb_sol=0 ticks=107651 tps=100 nb_sec=1076
case_no=109 label=Case6.97 nb_sol=0 ticks=137495 tps=100 nb_sec=1374
case_no=109 label=Case6.97 nb_sol=0 ticks=147418 tps=100 nb_sec=1474
case_no=109 label=Case6.97 nb_sol=0 ticks=157104 tps=100 nb_sec=1571
case_no=109 label=Case6.97 nb_sol=0 ticks=199814 tps=100 nb_sec=1998
case_no=109 label=Case6.97 nb_sol=0 ticks=135086 tps=100 nb_sec=1350
case_no=109 label=Case6.97 nb_sol=0 ticks=139100 tps=100 nb_sec=1391
case_no=109 label=Case6.97 nb_sol=0 ticks=152346 tps=100 nb_sec=1523
case_no=109 label=Case6.97 nb_sol=0 ticks=157496 tps=100 nb_sec=1574
case_no=109 label=Case6.97 nb_sol=0 ticks=122605 tps=100 nb_sec=1226
case_no=109 label=Case6.97 nb_sol=0 ticks=81628 tps=100 nb_sec=816
case_no=109 label=Case6.97 nb_sol=0 ticks=138515 tps=100 nb_sec=1385
case_no=109 label=Case6.97 nb_sol=0 ticks=96326 tps=100 nb_sec=963
case_no=109 label=Case6.97 nb_sol=0 ticks=198203 tps=100 nb_sec=1982
case_no=109 label=Case6.97 nb_sol=0 ticks=147365 tps=100 nb_sec=1473
case_no=109 label=Case6.97 nb_sol=0 ticks=140357 tps=100 nb_sec=1403
case_no=109 label=Case6.97 nb_sol=0 ticks=128906 tps=100 nb_sec=1289
case_no=109 label=Case6.97 nb_sol=0 ticks=147136 tps=100 nb_sec=1471
case_no=109 label=Case6.97 nb_sol=0 ticks=111352 tps=100 nb_sec=1113
case_no=109 label=Case6.97 nb_sol=0 ticks=140471 tps=100 nb_sec=1404
case_no=109 label=Case6.97 nb_sol=0 ticks=130323 tps=100 nb_sec=1303
case_no=109 label=Case6.97 nb_sol=0 ticks=86900 tps=100 nb_sec=869
case_no=109 label=Case6.97 nb_sol=0 ticks=84208 tps=100 nb_sec=842
case_no=109 label=Case6.97 nb_sol=0 ticks=104201 tps=100 nb_sec=1042
case_no=109 label=Case6.97 nb_sol=0 ticks=134542 tps=100 nb_sec=1345
case_no=109 label=Case6.97 nb_sol=0 ticks=160413 tps=100 nb_sec=1604
case_no=109 label=Case6.97 nb_sol=0 ticks=71804 tps=100 nb_sec=718
case_no=109 label=Case6.97 nb_sol=0 ticks=148103 tps=100 nb_sec=1481
case_no=109 label=Case6.97 nb_sol=0 ticks=156253 tps=100 nb_sec=1562
case_no=109 label=Case6.97 nb_sol=0 ticks=117237 tps=100 nb_sec=1172
case_no=109 label=Case6.97 nb_sol=0 ticks=117253 tps=100 nb_sec=1172
case_no=109 label=Case6.97 nb_sol=0 ticks=154248 tps=100 nb_sec=1542
case_no=109 label=Case6.97 nb_sol=0 ticks=68701 tps=100 nb_sec=687
case_no=109 label=Case6.97 nb_sol=0 ticks=116217 tps=100 nb_sec=1162
case_no=109 label=Case6.97 nb_sol=0 ticks=124291 tps=100 nb_sec=1242
case_no=109 label=Case6.97 nb_sol=0 ticks=132380 tps=100 nb_sec=1323
case_no=109 label=Case6.97 nb_sol=0 ticks=81189 tps=100 nb_sec=811
case_no=109 label=Case6.97 nb_sol=0 ticks=141560 tps=100 nb_sec=1415
case_no=109 label=Case6.97 nb_sol=0 ticks=190186 tps=100 nb_sec=1901
case_no=109 label=Case6.97 nb_sol=0 ticks=191980 tps=100 nb_sec=1919
case_no=109 label=Case6.97 nb_sol=0 ticks=119861 tps=100 nb_sec=1198
case_no=109 label=Case6.97 nb_sol=0 ticks=157904 tps=100 nb_sec=1579
case_no=109 label=Case6.97 nb_sol=0 ticks=177291 tps=100 nb_sec=1772
case_no=109 label=Case6.97 nb_sol=0 ticks=143080 tps=100 nb_sec=1430
case_no=109 label=Case6.97 nb_sol=0 ticks=158131 tps=100 nb_sec=1581
case_no=109 label=Case6.97 nb_sol=0 ticks=171353 tps=100 nb_sec=1713
case_no=109 label=Case6.97 nb_sol=0 ticks=159953 tps=100 nb_sec=1599
case_no=109 label=Case6.97 nb_sol=0 ticks=231372 tps=100 nb_sec=2313
case_no=109 label=Case6.97 nb_sol=0 ticks=153380 tps=100 nb_sec=1533
case_no=109 label=Case6.97 nb_sol=0 ticks=110120 tps=100 nb_sec=1101
case_no=109 label=Case6.97 nb_sol=0 ticks=103586 tps=100 nb_sec=1035
case_no=109 label=Case6.97 nb_sol=0 ticks=138220 tps=100 nb_sec=1382
case_no=109 label=Case6.97 nb_sol=0 ticks=65880 tps=100 nb_sec=658
case_no=109 label=Case6.97 nb_sol=0 ticks=86532 tps=100 nb_sec=865
case_no=109 label=Case6.97 nb_sol=0 ticks=76817 tps=100 nb_sec=768
case_no=109 label=Case6.97 nb_sol=0 ticks=147411 tps=100 nb_sec=1474
case_no=109 label=Case6.97 nb_sol=0 ticks=87249 tps=100 nb_sec=872
case_no=109 label=Case6.97 nb_sol=0 ticks=144249 tps=100 nb_sec=1442
case_no=109 label=Case6.97 nb_sol=0 ticks=107506 tps=100 nb_sec=1075
case_no=109 label=Case6.97 nb_sol=0 ticks=99541 tps=100 nb_sec=995
case_no=109 label=Case6.97 nb_sol=0 ticks=110233 tps=100 nb_sec=1102
case_no=109 label=Case6.97 nb_sol=0 ticks=106590 tps=100 nb_sec=1065
case_no=109 label=Case6.97 nb_sol=0 ticks=88362 tps=100 nb_sec=883
case_no=109 label=Case6.97 nb_sol=0 ticks=133971 tps=100 nb_sec=1339
case_no=109 label=Case6.97 nb_sol=0 ticks=103462 tps=100 nb_sec=1034
case_no=109 label=Case6.97 nb_sol=0 ticks=155626 tps=100 nb_sec=1556
case_no=109 label=Case6.97 nb_sol=0 ticks=83741 tps=100 nb_sec=837
case_no=109 label=Case6.97 nb_sol=0 ticks=121142 tps=100 nb_sec=1211
case_no=109 label=Case6.97 nb_sol=0 ticks=79406 tps=100 nb_sec=794
case_no=109 label=Case6.97 nb_sol=0 ticks=92784 tps=100 nb_sec=927
case_no=109 label=Case6.97 nb_sol=0 ticks=49483 tps=100 nb_sec=494
case_no=109 label=Case6.97 nb_sol=0 ticks=139496 tps=100 nb_sec=1394
case_no=109 label=Case6.97 nb_sol=0 ticks=72777 tps=100 nb_sec=727
case_no=109 label=Case6.97 nb_sol=0 ticks=158194 tps=100 nb_sec=1581
case_no=109 label=Case6.97 nb_sol=0 ticks=124394 tps=100 nb_sec=1243
case_no=109 label=Case6.97 nb_sol=0 ticks=136490 tps=100 nb_sec=1364
case_no=109 label=Case6.97 nb_sol=0 ticks=145488 tps=100 nb_sec=1454
case_no=109 label=Case6.97 nb_sol=0 ticks=104154 tps=100 nb_sec=1041
case_no=109 label=Case6.97 nb_sol=0 ticks=112822 tps=100 nb_sec=1128
case_no=109 label=Case6.97 nb_sol=0 ticks=92649 tps=100 nb_sec=926
case_no=109 label=Case6.97 nb_sol=0 ticks=114663 tps=100 nb_sec=1146
case_no=109 label=Case6.97 nb_sol=0 ticks=83337 tps=100 nb_sec=833
case_no=109 label=Case6.97 nb_sol=0 ticks=112090 tps=100 nb_sec=1120
case_no=109 label=Case6.97 nb_sol=0 ticks=116759 tps=100 nb_sec=1167
case_no=109 label=Case6.97 nb_sol=0 ticks=65358 tps=100 nb_sec=653
case_no=109 label=Case6.97 nb_sol=0 ticks=150241 tps=100 nb_sec=1502
case_no=109 label=Case6.97 nb_sol=0 ticks=112615 tps=100 nb_sec=1126
case_no=109 label=Case6.97 nb_sol=0 ticks=142226 tps=100 nb_sec=1422
case_no=109 label=Case6.97 nb_sol=0 ticks=135357 tps=100 nb_sec=1353
case_no=109 label=Case6.97 nb_sol=0 ticks=117376 tps=100 nb_sec=1173
case_no=109 label=Case6.97 nb_sol=0 ticks=130510 tps=100 nb_sec=1305
case_no=109 label=Case6.97 nb_sol=0 ticks=87561 tps=100 nb_sec=875
case_no=109 label=Case6.97 nb_sol=0 ticks=140872 tps=100 nb_sec=1408
case_no=109 label=Case6.97 nb_sol=0 ticks=64334 tps=100 nb_sec=643
case_no=109 label=Case6.97 nb_sol=0 ticks=140283 tps=100 nb_sec=1402
case_no=109 label=Case6.97 nb_sol=0 ticks=86872 tps=100 nb_sec=868
case_no=109 label=Case6.97 nb_sol=0 ticks=200034 tps=100 nb_sec=2000
case_no=109 label=Case6.97 nb_sol=0 ticks=72883 tps=100 nb_sec=728
case_no=109 label=Case6.97 nb_sol=0 ticks=118601 tps=100 nb_sec=1186
case_no=109 label=Case6.97 nb_sol=0 ticks=73832 tps=100 nb_sec=738
case_no=109 label=Case6.97 nb_sol=0 ticks=157947 tps=100 nb_sec=1579
case_no=109 label=Case6.97 nb_sol=0 ticks=145430 tps=100 nb_sec=1454
case_no=109 label=Case6.97 nb_sol=0 ticks=158485 tps=100 nb_sec=1584
case_no=109 label=Case6.97 nb_sol=0 ticks=146854 tps=100 nb_sec=1468
case_no=109 label=Case6.97 nb_sol=0 ticks=147206 tps=100 nb_sec=1472
case_no=109 label=Case6.97 nb_sol=0 ticks=103173 tps=100 nb_sec=1031
case_no=109 label=Case6.97 nb_sol=0 ticks=59851 tps=100 nb_sec=598
case_no=109 label=Case6.97 nb_sol=0 ticks=109582 tps=100 nb_sec=1095
case_no=109 label=Case6.97 nb_sol=0 ticks=148369 tps=100 nb_sec=1483
case_no=109 label=Case6.97 nb_sol=0 ticks=115451 tps=100 nb_sec=1154
case_no=109 label=Case6.97 nb_sol=0 ticks=88673 tps=100 nb_sec=886
case_no=109 label=Case6.97 nb_sol=0 ticks=127716 tps=100 nb_sec=1277
case_no=109 label=Case6.97 nb_sol=0 ticks=112546 tps=100 nb_sec=1125
case_no=109 label=Case6.97 nb_sol=0 ticks=96929 tps=100 nb_sec=969
case_no=109 label=Case6.97 nb_sol=0 ticks=132150 tps=100 nb_sec=1321
case_no=109 label=Case6.97 nb_sol=0 ticks=114976 tps=100 nb_sec=1149
case_no=109 label=Case6.97 nb_sol=0 ticks=97776 tps=100 nb_sec=977
case_no=109 label=Case6.97 nb_sol=0 ticks=148807 tps=100 nb_sec=1488
case_no=109 label=Case6.97 nb_sol=0 ticks=80964 tps=100 nb_sec=809
case_no=109 label=Case6.97 nb_sol=0 ticks=124062 tps=100 nb_sec=1240
case_no=109 label=Case6.97 nb_sol=0 ticks=116952 tps=100 nb_sec=1169
case_no=109 label=Case6.97 nb_sol=0 ticks=126732 tps=100 nb_sec=1267
case_no=109 label=Case6.97 nb_sol=0 ticks=103793 tps=100 nb_sec=1037
case_no=109 label=Case6.97 nb_sol=0 ticks=121006 tps=100 nb_sec=1210
case_no=109 label=Case6.97 nb_sol=0 ticks=168225 tps=100 nb_sec=1682
case_no=109 label=Case6.97 nb_sol=0 ticks=157008 tps=100 nb_sec=1570
case_no=109 label=Case6.97 nb_sol=0 ticks=161071 tps=100 nb_sec=1610
case_no=109 label=Case6.97 nb_sol=0 ticks=120216 tps=100 nb_sec=1202
case_no=109 label=Case6.97 nb_sol=0 ticks=158022 tps=100 nb_sec=1580
case_no=109 label=Case6.97 nb_sol=0 ticks=114640 tps=100 nb_sec=1146
case_no=109 label=Case6.97 nb_sol=0 ticks=101813 tps=100 nb_sec=1018
case_no=109 label=Case6.97 nb_sol=0 ticks=67307 tps=100 nb_sec=673
case_no=109 label=Case6.97 nb_sol=0 ticks=87933 tps=100 nb_sec=879
case_no=109 label=Case6.97 nb_sol=0 ticks=160066 tps=100 nb_sec=1600
case_no=109 label=Case6.97 nb_sol=0 ticks=101413 tps=100 nb_sec=1014
case_no=109 label=Case6.97 nb_sol=0 ticks=92782 tps=100 nb_sec=927
case_no=109 label=Case6.97 nb_sol=0 ticks=69422 tps=100 nb_sec=694
case_no=109 label=Case6.97 nb_sol=0 ticks=122919 tps=100 nb_sec=1229
case_no=109 label=Case6.97 nb_sol=0 ticks=129777 tps=100 nb_sec=1297
case_no=109 label=Case6.97 nb_sol=0 ticks=85340 tps=100 nb_sec=853
case_no=109 label=Case6.97 nb_sol=0 ticks=165591 tps=100 nb_sec=1655
case_no=109 label=Case6.97 nb_sol=0 ticks=112168 tps=100 nb_sec=1121
case_no=109 label=Case6.97 nb_sol=0 ticks=114710 tps=100 nb_sec=1147
case_no=109 label=Case6.97 nb_sol=0 ticks=109228 tps=100 nb_sec=1092
case_no=109 label=Case6.97 nb_sol=0 ticks=103299 tps=100 nb_sec=1032
case_no=109 label=Case6.97 nb_sol=0 ticks=69430 tps=100 nb_sec=694
case_no=109 label=Case6.97 nb_sol=0 ticks=116190 tps=100 nb_sec=1161
case_no=109 label=Case6.97 nb_sol=0 ticks=107400 tps=100 nb_sec=1074
case_no=109 label=Case6.97 nb_sol=0 ticks=105140 tps=100 nb_sec=1051
case_no=109 label=Case6.97 nb_sol=0 ticks=106562 tps=100 nb_sec=1065
case_no=109 label=Case6.97 nb_sol=0 ticks=121460 tps=100 nb_sec=1214
case_no=109 label=Case6.97 nb_sol=0 ticks=86299 tps=100 nb_sec=862
case_no=109 label=Case6.97 nb_sol=0 ticks=98507 tps=100 nb_sec=985
case_no=109 label=Case6.97 nb_sol=0 ticks=89684 tps=100 nb_sec=896
case_no=109 label=Case6.97 nb_sol=0 ticks=111036 tps=100 nb_sec=1110
case_no=109 label=Case6.97 nb_sol=0 ticks=82157 tps=100 nb_sec=821
case_no=109 label=Case6.97 nb_sol=0 ticks=96385 tps=100 nb_sec=963
case_no=109 label=Case6.97 nb_sol=0 ticks=85521 tps=100 nb_sec=855
case_no=109 label=Case6.97 nb_sol=0 ticks=101543 tps=100 nb_sec=1015
case_no=109 label=Case6.97 nb_sol=0 ticks=104036 tps=100 nb_sec=1040
case_no=109 label=Case6.97 nb_sol=0 ticks=123339 tps=100 nb_sec=1233
case_no=109 label=Case6.97 nb_sol=0 ticks=169746 tps=100 nb_sec=1697
case_no=109 label=Case6.97 nb_sol=0 ticks=114201 tps=100 nb_sec=1142
case_no=109 label=Case6.97 nb_sol=0 ticks=99570 tps=100 nb_sec=995
case_no=109 label=Case6.97 nb_sol=0 ticks=176467 tps=100 nb_sec=1764
case_no=109 label=Case6.97 nb_sol=0 ticks=120123 tps=100 nb_sec=1201
case_no=109 label=Case6.97 nb_sol=0 ticks=128953 tps=100 nb_sec=1289
case_no=109 label=Case6.97 nb_sol=0 ticks=144584 tps=100 nb_sec=1445
case_no=109 label=Case6.97 nb_sol=0 ticks=106482 tps=100 nb_sec=1064
case_no=109 label=Case6.97 nb_sol=0 ticks=87976 tps=100 nb_sec=879
case_no=109 label=Case6.97 nb_sol=0 ticks=84464 tps=100 nb_sec=844
case_no=109 label=Case6.97 nb_sol=0 ticks=75734 tps=100 nb_sec=757
case_no=109 label=Case6.97 nb_sol=0 ticks=133135 tps=100 nb_sec=1331
case_no=109 label=Case6.97 nb_sol=0 ticks=93928 tps=100 nb_sec=939
case_no=109 label=Case6.97 nb_sol=0 ticks=113473 tps=100 nb_sec=1134
case_no=109 label=Case6.97 nb_sol=0 ticks=97804 tps=100 nb_sec=978
case_no=109 label=Case6.97 nb_sol=0 ticks=104616 tps=100 nb_sec=1046
case_no=109 label=Case6.97 nb_sol=0 ticks=121143 tps=100 nb_sec=1211
case_no=109 label=Case6.97 nb_sol=0 ticks=147043 tps=100 nb_sec=1470
case_no=109 label=Case6.97 nb_sol=0 ticks=134188 tps=100 nb_sec=1341
case_no=109 label=Case6.97 nb_sol=0 ticks=86091 tps=100 nb_sec=860
case_no=109 label=Case6.97 nb_sol=0 ticks=169750 tps=100 nb_sec=1697
case_no=109 label=Case6.97 nb_sol=0 ticks=79819 tps=100 nb_sec=798
case_no=109 label=Case6.97 nb_sol=0 ticks=122680 tps=100 nb_sec=1226
case_no=109 label=Case6.97 nb_sol=0 ticks=104147 tps=100 nb_sec=1041
case_no=109 label=Case6.97 nb_sol=0 ticks=116162 tps=100 nb_sec=1161
case_no=109 label=Case6.97 nb_sol=0 ticks=123016 tps=100 nb_sec=1230
case_no=109 label=Case6.97 nb_sol=0 ticks=53291 tps=100 nb_sec=532
case_no=109 label=Case6.97 nb_sol=0 ticks=112677 tps=100 nb_sec=1126
case_no=109 label=Case6.97 nb_sol=0 ticks=131080 tps=100 nb_sec=1310
case_no=109 label=Case6.97 nb_sol=0 ticks=99767 tps=100 nb_sec=997
case_no=109 label=Case6.97 nb_sol=0 ticks=103749 tps=100 nb_sec=1037
case_no=109 label=Case6.97 nb_sol=0 ticks=69656 tps=100 nb_sec=696
case_no=109 label=Case6.97 nb_sol=0 ticks=133989 tps=100 nb_sec=1339
case_no=109 label=Case6.97 nb_sol=0 ticks=140714 tps=100 nb_sec=1407
case_no=109 label=Case6.97 nb_sol=0 ticks=112338 tps=100 nb_sec=1123
case_no=109 label=Case6.97 nb_sol=0 ticks=117087 tps=100 nb_sec=1170
case_no=109 label=Case6.97 nb_sol=0 ticks=130778 tps=100 nb_sec=1307
case_no=109 label=Case6.97 nb_sol=0 ticks=139745 tps=100 nb_sec=1397
case_no=109 label=Case6.97 nb_sol=0 ticks=133048 tps=100 nb_sec=1330
case_no=109 label=Case6.97 nb_sol=0 ticks=96542 tps=100 nb_sec=965
case_no=109 label=Case6.97 nb_sol=0 ticks=156081 tps=100 nb_sec=1560
case_no=109 label=Case6.97 nb_sol=0 ticks=86316 tps=100 nb_sec=863
case_no=109 label=Case6.97 nb_sol=0 ticks=125123 tps=100 nb_sec=1251
case_no=109 label=Case6.97 nb_sol=0 ticks=77147 tps=100 nb_sec=771
case_no=109 label=Case6.97 nb_sol=0 ticks=159354 tps=100 nb_sec=1593
case_no=109 label=Case6.97 nb_sol=0 ticks=92001 tps=100 nb_sec=920
case_no=109 label=Case6.97 nb_sol=0 ticks=130781 tps=100 nb_sec=1307
case_no=109 label=Case6.97 nb_sol=0 ticks=115779 tps=100 nb_sec=1157
Nb_sol=0
Nb_sec=312230
3-14:43:50 or 86 hours
missing cases:
none