argc=5
-M 512
file2=30_select_Case6.44_starter_16_
checking files mod 512 from 0 to 511
case_no=56 label=Case6.44 nb_sol=0 ticks=111126 tps=100 nb_sec=1111
case_no=56 label=Case6.44 nb_sol=0 ticks=96325 tps=100 nb_sec=963
case_no=56 label=Case6.44 nb_sol=0 ticks=56206 tps=100 nb_sec=562
case_no=56 label=Case6.44 nb_sol=0 ticks=99568 tps=100 nb_sec=995
case_no=56 label=Case6.44 nb_sol=0 ticks=92994 tps=100 nb_sec=929
case_no=56 label=Case6.44 nb_sol=0 ticks=65724 tps=100 nb_sec=657
case_no=56 label=Case6.44 nb_sol=0 ticks=99388 tps=100 nb_sec=993
case_no=56 label=Case6.44 nb_sol=0 ticks=57709 tps=100 nb_sec=577
case_no=56 label=Case6.44 nb_sol=0 ticks=109132 tps=100 nb_sec=1091
case_no=56 label=Case6.44 nb_sol=0 ticks=147101 tps=100 nb_sec=1471
case_no=56 label=Case6.44 nb_sol=0 ticks=60649 tps=100 nb_sec=606
case_no=56 label=Case6.44 nb_sol=0 ticks=61068 tps=100 nb_sec=610
case_no=56 label=Case6.44 nb_sol=0 ticks=95287 tps=100 nb_sec=952
case_no=56 label=Case6.44 nb_sol=0 ticks=73370 tps=100 nb_sec=733
case_no=56 label=Case6.44 nb_sol=0 ticks=140254 tps=100 nb_sec=1402
case_no=56 label=Case6.44 nb_sol=0 ticks=61134 tps=100 nb_sec=611
case_no=56 label=Case6.44 nb_sol=0 ticks=130137 tps=100 nb_sec=1301
case_no=56 label=Case6.44 nb_sol=0 ticks=58525 tps=100 nb_sec=585
case_no=56 label=Case6.44 nb_sol=0 ticks=56996 tps=100 nb_sec=569
case_no=56 label=Case6.44 nb_sol=0 ticks=137992 tps=100 nb_sec=1379
case_no=56 label=Case6.44 nb_sol=0 ticks=151386 tps=100 nb_sec=1513
case_no=56 label=Case6.44 nb_sol=0 ticks=55083 tps=100 nb_sec=550
case_no=56 label=Case6.44 nb_sol=0 ticks=177762 tps=100 nb_sec=1777
case_no=56 label=Case6.44 nb_sol=0 ticks=54755 tps=100 nb_sec=547
case_no=56 label=Case6.44 nb_sol=0 ticks=184880 tps=100 nb_sec=1848
case_no=56 label=Case6.44 nb_sol=0 ticks=59294 tps=100 nb_sec=592
case_no=56 label=Case6.44 nb_sol=0 ticks=154071 tps=100 nb_sec=1540
case_no=56 label=Case6.44 nb_sol=0 ticks=51463 tps=100 nb_sec=514
case_no=56 label=Case6.44 nb_sol=0 ticks=147022 tps=100 nb_sec=1470
case_no=56 label=Case6.44 nb_sol=0 ticks=109803 tps=100 nb_sec=1098
case_no=56 label=Case6.44 nb_sol=0 ticks=178040 tps=100 nb_sec=1780
case_no=56 label=Case6.44 nb_sol=0 ticks=61257 tps=100 nb_sec=612
case_no=56 label=Case6.44 nb_sol=0 ticks=119245 tps=100 nb_sec=1192
case_no=56 label=Case6.44 nb_sol=0 ticks=97749 tps=100 nb_sec=977
case_no=56 label=Case6.44 nb_sol=0 ticks=172987 tps=100 nb_sec=1729
case_no=56 label=Case6.44 nb_sol=0 ticks=48789 tps=100 nb_sec=487
case_no=56 label=Case6.44 nb_sol=0 ticks=111162 tps=100 nb_sec=1111
case_no=56 label=Case6.44 nb_sol=0 ticks=143463 tps=100 nb_sec=1434
case_no=56 label=Case6.44 nb_sol=0 ticks=174801 tps=100 nb_sec=1748
case_no=56 label=Case6.44 nb_sol=0 ticks=143120 tps=100 nb_sec=1431
case_no=56 label=Case6.44 nb_sol=0 ticks=105323 tps=100 nb_sec=1053
case_no=56 label=Case6.44 nb_sol=0 ticks=95851 tps=100 nb_sec=958
case_no=56 label=Case6.44 nb_sol=0 ticks=113547 tps=100 nb_sec=1135
case_no=56 label=Case6.44 nb_sol=0 ticks=97616 tps=100 nb_sec=976
case_no=56 label=Case6.44 nb_sol=0 ticks=183240 tps=100 nb_sec=1832
case_no=56 label=Case6.44 nb_sol=0 ticks=106598 tps=100 nb_sec=1065
case_no=56 label=Case6.44 nb_sol=0 ticks=89149 tps=100 nb_sec=891
case_no=56 label=Case6.44 nb_sol=0 ticks=58688 tps=100 nb_sec=586
case_no=56 label=Case6.44 nb_sol=0 ticks=100486 tps=100 nb_sec=1004
case_no=56 label=Case6.44 nb_sol=0 ticks=166981 tps=100 nb_sec=1669
case_no=56 label=Case6.44 nb_sol=0 ticks=133095 tps=100 nb_sec=1330
case_no=56 label=Case6.44 nb_sol=0 ticks=114481 tps=100 nb_sec=1144
case_no=56 label=Case6.44 nb_sol=0 ticks=69393 tps=100 nb_sec=693
case_no=56 label=Case6.44 nb_sol=0 ticks=108344 tps=100 nb_sec=1083
case_no=56 label=Case6.44 nb_sol=0 ticks=60405 tps=100 nb_sec=604
case_no=56 label=Case6.44 nb_sol=0 ticks=113571 tps=100 nb_sec=1135
case_no=56 label=Case6.44 nb_sol=0 ticks=63725 tps=100 nb_sec=637
case_no=56 label=Case6.44 nb_sol=0 ticks=85042 tps=100 nb_sec=850
case_no=56 label=Case6.44 nb_sol=0 ticks=89881 tps=100 nb_sec=898
case_no=56 label=Case6.44 nb_sol=0 ticks=63744 tps=100 nb_sec=637
case_no=56 label=Case6.44 nb_sol=0 ticks=60491 tps=100 nb_sec=604
case_no=56 label=Case6.44 nb_sol=0 ticks=75719 tps=100 nb_sec=757
case_no=56 label=Case6.44 nb_sol=0 ticks=57855 tps=100 nb_sec=578
case_no=56 label=Case6.44 nb_sol=0 ticks=55445 tps=100 nb_sec=554
case_no=56 label=Case6.44 nb_sol=0 ticks=45409 tps=100 nb_sec=454
case_no=56 label=Case6.44 nb_sol=0 ticks=104121 tps=100 nb_sec=1041
case_no=56 label=Case6.44 nb_sol=0 ticks=67530 tps=100 nb_sec=675
case_no=56 label=Case6.44 nb_sol=0 ticks=117964 tps=100 nb_sec=1179
case_no=56 label=Case6.44 nb_sol=0 ticks=68649 tps=100 nb_sec=686
case_no=56 label=Case6.44 nb_sol=0 ticks=187012 tps=100 nb_sec=1870
case_no=56 label=Case6.44 nb_sol=0 ticks=46215 tps=100 nb_sec=462
case_no=56 label=Case6.44 nb_sol=0 ticks=145461 tps=100 nb_sec=1454
case_no=56 label=Case6.44 nb_sol=0 ticks=47987 tps=100 nb_sec=479
case_no=56 label=Case6.44 nb_sol=0 ticks=169912 tps=100 nb_sec=1699
case_no=56 label=Case6.44 nb_sol=0 ticks=154152 tps=100 nb_sec=1541
case_no=56 label=Case6.44 nb_sol=0 ticks=48232 tps=100 nb_sec=482
case_no=56 label=Case6.44 nb_sol=0 ticks=186109 tps=100 nb_sec=1861
case_no=56 label=Case6.44 nb_sol=0 ticks=43115 tps=100 nb_sec=431
case_no=56 label=Case6.44 nb_sol=0 ticks=91900 tps=100 nb_sec=919
case_no=56 label=Case6.44 nb_sol=0 ticks=70420 tps=100 nb_sec=704
case_no=56 label=Case6.44 nb_sol=0 ticks=72265 tps=100 nb_sec=722
case_no=56 label=Case6.44 nb_sol=0 ticks=132835 tps=100 nb_sec=1328
case_no=56 label=Case6.44 nb_sol=0 ticks=46406 tps=100 nb_sec=464
case_no=56 label=Case6.44 nb_sol=0 ticks=154292 tps=100 nb_sec=1542
case_no=56 label=Case6.44 nb_sol=0 ticks=106322 tps=100 nb_sec=1063
case_no=56 label=Case6.44 nb_sol=0 ticks=44957 tps=100 nb_sec=449
case_no=56 label=Case6.44 nb_sol=0 ticks=141407 tps=100 nb_sec=1414
case_no=56 label=Case6.44 nb_sol=0 ticks=110166 tps=100 nb_sec=1101
case_no=56 label=Case6.44 nb_sol=0 ticks=48717 tps=100 nb_sec=487
case_no=56 label=Case6.44 nb_sol=0 ticks=113672 tps=100 nb_sec=1136
case_no=56 label=Case6.44 nb_sol=0 ticks=109292 tps=100 nb_sec=1092
case_no=56 label=Case6.44 nb_sol=0 ticks=72328 tps=100 nb_sec=723
case_no=56 label=Case6.44 nb_sol=0 ticks=152281 tps=100 nb_sec=1522
case_no=56 label=Case6.44 nb_sol=0 ticks=102729 tps=100 nb_sec=1027
case_no=56 label=Case6.44 nb_sol=0 ticks=42908 tps=100 nb_sec=429
case_no=56 label=Case6.44 nb_sol=0 ticks=156527 tps=100 nb_sec=1565
case_no=56 label=Case6.44 nb_sol=0 ticks=48907 tps=100 nb_sec=489
case_no=56 label=Case6.44 nb_sol=0 ticks=107989 tps=100 nb_sec=1079
case_no=56 label=Case6.44 nb_sol=0 ticks=63642 tps=100 nb_sec=636
case_no=56 label=Case6.44 nb_sol=0 ticks=112965 tps=100 nb_sec=1129
case_no=56 label=Case6.44 nb_sol=0 ticks=69398 tps=100 nb_sec=693
case_no=56 label=Case6.44 nb_sol=0 ticks=102149 tps=100 nb_sec=1021
case_no=56 label=Case6.44 nb_sol=0 ticks=59188 tps=100 nb_sec=591
case_no=56 label=Case6.44 nb_sol=0 ticks=104813 tps=100 nb_sec=1048
case_no=56 label=Case6.44 nb_sol=0 ticks=60020 tps=100 nb_sec=600
case_no=56 label=Case6.44 nb_sol=0 ticks=101271 tps=100 nb_sec=1012
case_no=56 label=Case6.44 nb_sol=0 ticks=107694 tps=100 nb_sec=1076
case_no=56 label=Case6.44 nb_sol=0 ticks=57167 tps=100 nb_sec=571
case_no=56 label=Case6.44 nb_sol=0 ticks=44568 tps=100 nb_sec=445
case_no=56 label=Case6.44 nb_sol=0 ticks=57580 tps=100 nb_sec=575
case_no=56 label=Case6.44 nb_sol=0 ticks=65372 tps=100 nb_sec=653
case_no=56 label=Case6.44 nb_sol=0 ticks=44033 tps=100 nb_sec=440
case_no=56 label=Case6.44 nb_sol=0 ticks=58697 tps=100 nb_sec=586
case_no=56 label=Case6.44 nb_sol=0 ticks=44645 tps=100 nb_sec=446
case_no=56 label=Case6.44 nb_sol=0 ticks=60901 tps=100 nb_sec=609
case_no=56 label=Case6.44 nb_sol=0 ticks=53428 tps=100 nb_sec=534
case_no=56 label=Case6.44 nb_sol=0 ticks=61998 tps=100 nb_sec=619
case_no=56 label=Case6.44 nb_sol=0 ticks=64299 tps=100 nb_sec=642
case_no=56 label=Case6.44 nb_sol=0 ticks=60278 tps=100 nb_sec=602
case_no=56 label=Case6.44 nb_sol=0 ticks=58919 tps=100 nb_sec=589
case_no=56 label=Case6.44 nb_sol=0 ticks=57099 tps=100 nb_sec=570
case_no=56 label=Case6.44 nb_sol=0 ticks=59346 tps=100 nb_sec=593
case_no=56 label=Case6.44 nb_sol=0 ticks=85135 tps=100 nb_sec=851
case_no=56 label=Case6.44 nb_sol=0 ticks=67601 tps=100 nb_sec=676
case_no=56 label=Case6.44 nb_sol=0 ticks=85382 tps=100 nb_sec=853
case_no=56 label=Case6.44 nb_sol=0 ticks=57072 tps=100 nb_sec=570
case_no=56 label=Case6.44 nb_sol=0 ticks=105314 tps=100 nb_sec=1053
case_no=56 label=Case6.44 nb_sol=0 ticks=104131 tps=100 nb_sec=1041
case_no=56 label=Case6.44 nb_sol=0 ticks=42779 tps=100 nb_sec=427
case_no=56 label=Case6.44 nb_sol=0 ticks=92657 tps=100 nb_sec=926
case_no=56 label=Case6.44 nb_sol=0 ticks=128609 tps=100 nb_sec=1286
case_no=56 label=Case6.44 nb_sol=0 ticks=96935 tps=100 nb_sec=969
case_no=56 label=Case6.44 nb_sol=0 ticks=87782 tps=100 nb_sec=877
case_no=56 label=Case6.44 nb_sol=0 ticks=136616 tps=100 nb_sec=1366
case_no=56 label=Case6.44 nb_sol=0 ticks=95042 tps=100 nb_sec=950
case_no=56 label=Case6.44 nb_sol=0 ticks=67673 tps=100 nb_sec=676
case_no=56 label=Case6.44 nb_sol=0 ticks=90624 tps=100 nb_sec=906
case_no=56 label=Case6.44 nb_sol=0 ticks=96342 tps=100 nb_sec=963
case_no=56 label=Case6.44 nb_sol=0 ticks=104457 tps=100 nb_sec=1044
case_no=56 label=Case6.44 nb_sol=0 ticks=93373 tps=100 nb_sec=933
case_no=56 label=Case6.44 nb_sol=0 ticks=100684 tps=100 nb_sec=1006
case_no=56 label=Case6.44 nb_sol=0 ticks=80914 tps=100 nb_sec=809
case_no=56 label=Case6.44 nb_sol=0 ticks=96361 tps=100 nb_sec=963
case_no=56 label=Case6.44 nb_sol=0 ticks=90116 tps=100 nb_sec=901
case_no=56 label=Case6.44 nb_sol=0 ticks=87139 tps=100 nb_sec=871
case_no=56 label=Case6.44 nb_sol=0 ticks=54763 tps=100 nb_sec=547
case_no=56 label=Case6.44 nb_sol=0 ticks=112689 tps=100 nb_sec=1126
case_no=56 label=Case6.44 nb_sol=0 ticks=124703 tps=100 nb_sec=1247
case_no=56 label=Case6.44 nb_sol=0 ticks=143745 tps=100 nb_sec=1437
case_no=56 label=Case6.44 nb_sol=0 ticks=126821 tps=100 nb_sec=1268
case_no=56 label=Case6.44 nb_sol=0 ticks=103619 tps=100 nb_sec=1036
case_no=56 label=Case6.44 nb_sol=0 ticks=97024 tps=100 nb_sec=970
case_no=56 label=Case6.44 nb_sol=0 ticks=105911 tps=100 nb_sec=1059
case_no=56 label=Case6.44 nb_sol=0 ticks=101384 tps=100 nb_sec=1013
case_no=56 label=Case6.44 nb_sol=0 ticks=143250 tps=100 nb_sec=1432
case_no=56 label=Case6.44 nb_sol=0 ticks=89694 tps=100 nb_sec=896
case_no=56 label=Case6.44 nb_sol=0 ticks=99694 tps=100 nb_sec=996
case_no=56 label=Case6.44 nb_sol=0 ticks=140846 tps=100 nb_sec=1408
case_no=56 label=Case6.44 nb_sol=0 ticks=129185 tps=100 nb_sec=1291
case_no=56 label=Case6.44 nb_sol=0 ticks=105824 tps=100 nb_sec=1058
case_no=56 label=Case6.44 nb_sol=0 ticks=142373 tps=100 nb_sec=1423
case_no=56 label=Case6.44 nb_sol=0 ticks=134928 tps=100 nb_sec=1349
case_no=56 label=Case6.44 nb_sol=0 ticks=184558 tps=100 nb_sec=1845
case_no=56 label=Case6.44 nb_sol=0 ticks=99251 tps=100 nb_sec=992
case_no=56 label=Case6.44 nb_sol=0 ticks=144910 tps=100 nb_sec=1449
case_no=56 label=Case6.44 nb_sol=0 ticks=103323 tps=100 nb_sec=1033
case_no=56 label=Case6.44 nb_sol=0 ticks=134908 tps=100 nb_sec=1349
case_no=56 label=Case6.44 nb_sol=0 ticks=145404 tps=100 nb_sec=1454
case_no=56 label=Case6.44 nb_sol=0 ticks=142688 tps=100 nb_sec=1426
case_no=56 label=Case6.44 nb_sol=0 ticks=174654 tps=100 nb_sec=1746
case_no=56 label=Case6.44 nb_sol=0 ticks=91645 tps=100 nb_sec=916
case_no=56 label=Case6.44 nb_sol=0 ticks=107305 tps=100 nb_sec=1073
case_no=56 label=Case6.44 nb_sol=0 ticks=104684 tps=100 nb_sec=1046
case_no=56 label=Case6.44 nb_sol=0 ticks=166573 tps=100 nb_sec=1665
case_no=56 label=Case6.44 nb_sol=0 ticks=104967 tps=100 nb_sec=1049
case_no=56 label=Case6.44 nb_sol=0 ticks=109118 tps=100 nb_sec=1091
case_no=56 label=Case6.44 nb_sol=0 ticks=95935 tps=100 nb_sec=959
case_no=56 label=Case6.44 nb_sol=0 ticks=139066 tps=100 nb_sec=1390
case_no=56 label=Case6.44 nb_sol=0 ticks=100200 tps=100 nb_sec=1002
case_no=56 label=Case6.44 nb_sol=0 ticks=97812 tps=100 nb_sec=978
case_no=56 label=Case6.44 nb_sol=0 ticks=150087 tps=100 nb_sec=1500
case_no=56 label=Case6.44 nb_sol=0 ticks=98761 tps=100 nb_sec=987
case_no=56 label=Case6.44 nb_sol=0 ticks=100027 tps=100 nb_sec=1000
case_no=56 label=Case6.44 nb_sol=0 ticks=95177 tps=100 nb_sec=951
case_no=56 label=Case6.44 nb_sol=0 ticks=146869 tps=100 nb_sec=1468
case_no=56 label=Case6.44 nb_sol=0 ticks=92910 tps=100 nb_sec=929
case_no=56 label=Case6.44 nb_sol=0 ticks=65675 tps=100 nb_sec=656
case_no=56 label=Case6.44 nb_sol=0 ticks=123142 tps=100 nb_sec=1231
case_no=56 label=Case6.44 nb_sol=0 ticks=180913 tps=100 nb_sec=1809
case_no=56 label=Case6.44 nb_sol=0 ticks=118166 tps=100 nb_sec=1181
case_no=56 label=Case6.44 nb_sol=0 ticks=115164 tps=100 nb_sec=1151
case_no=56 label=Case6.44 nb_sol=0 ticks=60076 tps=100 nb_sec=600
case_no=56 label=Case6.44 nb_sol=0 ticks=89613 tps=100 nb_sec=896
case_no=56 label=Case6.44 nb_sol=0 ticks=61141 tps=100 nb_sec=611
case_no=56 label=Case6.44 nb_sol=0 ticks=117360 tps=100 nb_sec=1173
case_no=56 label=Case6.44 nb_sol=0 ticks=113875 tps=100 nb_sec=1138
case_no=56 label=Case6.44 nb_sol=0 ticks=70273 tps=100 nb_sec=702
case_no=56 label=Case6.44 nb_sol=0 ticks=157975 tps=100 nb_sec=1579
case_no=56 label=Case6.44 nb_sol=0 ticks=68257 tps=100 nb_sec=682
case_no=56 label=Case6.44 nb_sol=0 ticks=76397 tps=100 nb_sec=763
case_no=56 label=Case6.44 nb_sol=0 ticks=65395 tps=100 nb_sec=653
case_no=56 label=Case6.44 nb_sol=0 ticks=150425 tps=100 nb_sec=1504
case_no=56 label=Case6.44 nb_sol=0 ticks=67178 tps=100 nb_sec=671
case_no=56 label=Case6.44 nb_sol=0 ticks=153616 tps=100 nb_sec=1536
case_no=56 label=Case6.44 nb_sol=0 ticks=67684 tps=100 nb_sec=676
case_no=56 label=Case6.44 nb_sol=0 ticks=60127 tps=100 nb_sec=601
case_no=56 label=Case6.44 nb_sol=0 ticks=62213 tps=100 nb_sec=622
case_no=56 label=Case6.44 nb_sol=0 ticks=67720 tps=100 nb_sec=677
case_no=56 label=Case6.44 nb_sol=0 ticks=136710 tps=100 nb_sec=1367
case_no=56 label=Case6.44 nb_sol=0 ticks=63178 tps=100 nb_sec=631
case_no=56 label=Case6.44 nb_sol=0 ticks=122551 tps=100 nb_sec=1225
case_no=56 label=Case6.44 nb_sol=0 ticks=60805 tps=100 nb_sec=608
case_no=56 label=Case6.44 nb_sol=0 ticks=66562 tps=100 nb_sec=665
case_no=56 label=Case6.44 nb_sol=0 ticks=43726 tps=100 nb_sec=437
case_no=56 label=Case6.44 nb_sol=0 ticks=95134 tps=100 nb_sec=951
case_no=56 label=Case6.44 nb_sol=0 ticks=68623 tps=100 nb_sec=686
case_no=56 label=Case6.44 nb_sol=0 ticks=124900 tps=100 nb_sec=1249
case_no=56 label=Case6.44 nb_sol=0 ticks=66209 tps=100 nb_sec=662
case_no=56 label=Case6.44 nb_sol=0 ticks=119964 tps=100 nb_sec=1199
case_no=56 label=Case6.44 nb_sol=0 ticks=42391 tps=100 nb_sec=423
case_no=56 label=Case6.44 nb_sol=0 ticks=142681 tps=100 nb_sec=1426
case_no=56 label=Case6.44 nb_sol=0 ticks=109124 tps=100 nb_sec=1091
case_no=56 label=Case6.44 nb_sol=0 ticks=48746 tps=100 nb_sec=487
case_no=56 label=Case6.44 nb_sol=0 ticks=94000 tps=100 nb_sec=940
case_no=56 label=Case6.44 nb_sol=0 ticks=61789 tps=100 nb_sec=617
case_no=56 label=Case6.44 nb_sol=0 ticks=112019 tps=100 nb_sec=1120
case_no=56 label=Case6.44 nb_sol=0 ticks=65338 tps=100 nb_sec=653
case_no=56 label=Case6.44 nb_sol=0 ticks=154813 tps=100 nb_sec=1548
case_no=56 label=Case6.44 nb_sol=0 ticks=68749 tps=100 nb_sec=687
case_no=56 label=Case6.44 nb_sol=0 ticks=90434 tps=100 nb_sec=904
case_no=56 label=Case6.44 nb_sol=0 ticks=57699 tps=100 nb_sec=576
case_no=56 label=Case6.44 nb_sol=0 ticks=89273 tps=100 nb_sec=892
case_no=56 label=Case6.44 nb_sol=0 ticks=66977 tps=100 nb_sec=669
case_no=56 label=Case6.44 nb_sol=0 ticks=100510 tps=100 nb_sec=1005
case_no=56 label=Case6.44 nb_sol=0 ticks=50026 tps=100 nb_sec=500
case_no=56 label=Case6.44 nb_sol=0 ticks=105857 tps=100 nb_sec=1058
case_no=56 label=Case6.44 nb_sol=0 ticks=69854 tps=100 nb_sec=698
case_no=56 label=Case6.44 nb_sol=0 ticks=90218 tps=100 nb_sec=902
case_no=56 label=Case6.44 nb_sol=0 ticks=72860 tps=100 nb_sec=728
case_no=56 label=Case6.44 nb_sol=0 ticks=88934 tps=100 nb_sec=889
case_no=56 label=Case6.44 nb_sol=0 ticks=54693 tps=100 nb_sec=546
case_no=56 label=Case6.44 nb_sol=0 ticks=84394 tps=100 nb_sec=843
case_no=56 label=Case6.44 nb_sol=0 ticks=73914 tps=100 nb_sec=739
case_no=56 label=Case6.44 nb_sol=0 ticks=102774 tps=100 nb_sec=1027
case_no=56 label=Case6.44 nb_sol=0 ticks=106433 tps=100 nb_sec=1064
case_no=56 label=Case6.44 nb_sol=0 ticks=44531 tps=100 nb_sec=445
case_no=56 label=Case6.44 nb_sol=0 ticks=88702 tps=100 nb_sec=887
case_no=56 label=Case6.44 nb_sol=0 ticks=65914 tps=100 nb_sec=659
case_no=56 label=Case6.44 nb_sol=0 ticks=45875 tps=100 nb_sec=458
case_no=56 label=Case6.44 nb_sol=0 ticks=90902 tps=100 nb_sec=909
case_no=56 label=Case6.44 nb_sol=0 ticks=64500 tps=100 nb_sec=645
case_no=56 label=Case6.44 nb_sol=0 ticks=88674 tps=100 nb_sec=886
case_no=56 label=Case6.44 nb_sol=0 ticks=62669 tps=100 nb_sec=626
case_no=56 label=Case6.44 nb_sol=0 ticks=85632 tps=100 nb_sec=856
case_no=56 label=Case6.44 nb_sol=0 ticks=71886 tps=100 nb_sec=718
case_no=56 label=Case6.44 nb_sol=0 ticks=65579 tps=100 nb_sec=655
case_no=56 label=Case6.44 nb_sol=0 ticks=62964 tps=100 nb_sec=629
case_no=56 label=Case6.44 nb_sol=0 ticks=136165 tps=100 nb_sec=1361
case_no=56 label=Case6.44 nb_sol=0 ticks=43427 tps=100 nb_sec=434
case_no=56 label=Case6.44 nb_sol=0 ticks=67515 tps=100 nb_sec=675
case_no=56 label=Case6.44 nb_sol=0 ticks=43157 tps=100 nb_sec=431
case_no=56 label=Case6.44 nb_sol=0 ticks=67357 tps=100 nb_sec=673
case_no=56 label=Case6.44 nb_sol=0 ticks=53691 tps=100 nb_sec=536
case_no=56 label=Case6.44 nb_sol=0 ticks=64553 tps=100 nb_sec=645
case_no=56 label=Case6.44 nb_sol=0 ticks=64542 tps=100 nb_sec=645
case_no=56 label=Case6.44 nb_sol=0 ticks=68802 tps=100 nb_sec=688
case_no=56 label=Case6.44 nb_sol=0 ticks=46042 tps=100 nb_sec=460
case_no=56 label=Case6.44 nb_sol=0 ticks=62592 tps=100 nb_sec=625
case_no=56 label=Case6.44 nb_sol=0 ticks=69167 tps=100 nb_sec=691
case_no=56 label=Case6.44 nb_sol=0 ticks=64190 tps=100 nb_sec=641
case_no=56 label=Case6.44 nb_sol=0 ticks=60609 tps=100 nb_sec=606
case_no=56 label=Case6.44 nb_sol=0 ticks=66268 tps=100 nb_sec=662
case_no=56 label=Case6.44 nb_sol=0 ticks=67240 tps=100 nb_sec=672
case_no=56 label=Case6.44 nb_sol=0 ticks=48858 tps=100 nb_sec=488
case_no=56 label=Case6.44 nb_sol=0 ticks=67290 tps=100 nb_sec=672
case_no=56 label=Case6.44 nb_sol=0 ticks=181442 tps=100 nb_sec=1814
case_no=56 label=Case6.44 nb_sol=0 ticks=133671 tps=100 nb_sec=1336
case_no=56 label=Case6.44 nb_sol=0 ticks=61870 tps=100 nb_sec=618
case_no=56 label=Case6.44 nb_sol=0 ticks=117877 tps=100 nb_sec=1178
case_no=56 label=Case6.44 nb_sol=0 ticks=67061 tps=100 nb_sec=670
case_no=56 label=Case6.44 nb_sol=0 ticks=58310 tps=100 nb_sec=583
case_no=56 label=Case6.44 nb_sol=0 ticks=132094 tps=100 nb_sec=1320
case_no=56 label=Case6.44 nb_sol=0 ticks=136094 tps=100 nb_sec=1360
case_no=56 label=Case6.44 nb_sol=0 ticks=65036 tps=100 nb_sec=650
case_no=56 label=Case6.44 nb_sol=0 ticks=48117 tps=100 nb_sec=481
case_no=56 label=Case6.44 nb_sol=0 ticks=133075 tps=100 nb_sec=1330
case_no=56 label=Case6.44 nb_sol=0 ticks=44922 tps=100 nb_sec=449
case_no=56 label=Case6.44 nb_sol=0 ticks=118620 tps=100 nb_sec=1186
case_no=56 label=Case6.44 nb_sol=0 ticks=65548 tps=100 nb_sec=655
case_no=56 label=Case6.44 nb_sol=0 ticks=84497 tps=100 nb_sec=844
case_no=56 label=Case6.44 nb_sol=0 ticks=39722 tps=100 nb_sec=397
case_no=56 label=Case6.44 nb_sol=0 ticks=135559 tps=100 nb_sec=1355
case_no=56 label=Case6.44 nb_sol=0 ticks=63725 tps=100 nb_sec=637
case_no=56 label=Case6.44 nb_sol=0 ticks=162996 tps=100 nb_sec=1629
case_no=56 label=Case6.44 nb_sol=0 ticks=48372 tps=100 nb_sec=483
case_no=56 label=Case6.44 nb_sol=0 ticks=43971 tps=100 nb_sec=439
case_no=56 label=Case6.44 nb_sol=0 ticks=139899 tps=100 nb_sec=1398
case_no=56 label=Case6.44 nb_sol=0 ticks=64083 tps=100 nb_sec=640
case_no=56 label=Case6.44 nb_sol=0 ticks=153116 tps=100 nb_sec=1531
case_no=56 label=Case6.44 nb_sol=0 ticks=74080 tps=100 nb_sec=740
case_no=56 label=Case6.44 nb_sol=0 ticks=151685 tps=100 nb_sec=1516
case_no=56 label=Case6.44 nb_sol=0 ticks=66965 tps=100 nb_sec=669
case_no=56 label=Case6.44 nb_sol=0 ticks=131374 tps=100 nb_sec=1313
case_no=56 label=Case6.44 nb_sol=0 ticks=68423 tps=100 nb_sec=684
case_no=56 label=Case6.44 nb_sol=0 ticks=42614 tps=100 nb_sec=426
case_no=56 label=Case6.44 nb_sol=0 ticks=137712 tps=100 nb_sec=1377
case_no=56 label=Case6.44 nb_sol=0 ticks=43351 tps=100 nb_sec=433
case_no=56 label=Case6.44 nb_sol=0 ticks=85503 tps=100 nb_sec=855
case_no=56 label=Case6.44 nb_sol=0 ticks=140588 tps=100 nb_sec=1405
case_no=56 label=Case6.44 nb_sol=0 ticks=58517 tps=100 nb_sec=585
case_no=56 label=Case6.44 nb_sol=0 ticks=163727 tps=100 nb_sec=1637
case_no=56 label=Case6.44 nb_sol=0 ticks=58188 tps=100 nb_sec=581
case_no=56 label=Case6.44 nb_sol=0 ticks=86316 tps=100 nb_sec=863
case_no=56 label=Case6.44 nb_sol=0 ticks=182269 tps=100 nb_sec=1822
case_no=56 label=Case6.44 nb_sol=0 ticks=62404 tps=100 nb_sec=624
case_no=56 label=Case6.44 nb_sol=0 ticks=82768 tps=100 nb_sec=827
case_no=56 label=Case6.44 nb_sol=0 ticks=142205 tps=100 nb_sec=1422
case_no=56 label=Case6.44 nb_sol=0 ticks=68102 tps=100 nb_sec=681
case_no=56 label=Case6.44 nb_sol=0 ticks=82438 tps=100 nb_sec=824
case_no=56 label=Case6.44 nb_sol=0 ticks=142072 tps=100 nb_sec=1420
case_no=56 label=Case6.44 nb_sol=0 ticks=59905 tps=100 nb_sec=599
case_no=56 label=Case6.44 nb_sol=0 ticks=120855 tps=100 nb_sec=1208
case_no=56 label=Case6.44 nb_sol=0 ticks=163472 tps=100 nb_sec=1634
case_no=56 label=Case6.44 nb_sol=0 ticks=63964 tps=100 nb_sec=639
case_no=56 label=Case6.44 nb_sol=0 ticks=86729 tps=100 nb_sec=867
case_no=56 label=Case6.44 nb_sol=0 ticks=42908 tps=100 nb_sec=429
case_no=56 label=Case6.44 nb_sol=0 ticks=110553 tps=100 nb_sec=1105
case_no=56 label=Case6.44 nb_sol=0 ticks=43045 tps=100 nb_sec=430
case_no=56 label=Case6.44 nb_sol=0 ticks=68745 tps=100 nb_sec=687
case_no=56 label=Case6.44 nb_sol=0 ticks=149511 tps=100 nb_sec=1495
case_no=56 label=Case6.44 nb_sol=0 ticks=68083 tps=100 nb_sec=680
case_no=56 label=Case6.44 nb_sol=0 ticks=98644 tps=100 nb_sec=986
case_no=56 label=Case6.44 nb_sol=0 ticks=63389 tps=100 nb_sec=633
case_no=56 label=Case6.44 nb_sol=0 ticks=112205 tps=100 nb_sec=1122
case_no=56 label=Case6.44 nb_sol=0 ticks=61251 tps=100 nb_sec=612
case_no=56 label=Case6.44 nb_sol=0 ticks=148629 tps=100 nb_sec=1486
case_no=56 label=Case6.44 nb_sol=0 ticks=137314 tps=100 nb_sec=1373
case_no=56 label=Case6.44 nb_sol=0 ticks=65348 tps=100 nb_sec=653
case_no=56 label=Case6.44 nb_sol=0 ticks=134083 tps=100 nb_sec=1340
case_no=56 label=Case6.44 nb_sol=0 ticks=113153 tps=100 nb_sec=1131
case_no=56 label=Case6.44 nb_sol=0 ticks=94212 tps=100 nb_sec=942
case_no=56 label=Case6.44 nb_sol=0 ticks=135069 tps=100 nb_sec=1350
case_no=56 label=Case6.44 nb_sol=0 ticks=66577 tps=100 nb_sec=665
case_no=56 label=Case6.44 nb_sol=0 ticks=45990 tps=100 nb_sec=459
case_no=56 label=Case6.44 nb_sol=0 ticks=108519 tps=100 nb_sec=1085
case_no=56 label=Case6.44 nb_sol=0 ticks=157207 tps=100 nb_sec=1572
case_no=56 label=Case6.44 nb_sol=0 ticks=86913 tps=100 nb_sec=869
case_no=56 label=Case6.44 nb_sol=0 ticks=133711 tps=100 nb_sec=1337
case_no=56 label=Case6.44 nb_sol=0 ticks=127208 tps=100 nb_sec=1272
case_no=56 label=Case6.44 nb_sol=0 ticks=43586 tps=100 nb_sec=435
case_no=56 label=Case6.44 nb_sol=0 ticks=44600 tps=100 nb_sec=446
case_no=56 label=Case6.44 nb_sol=0 ticks=62191 tps=100 nb_sec=621
case_no=56 label=Case6.44 nb_sol=0 ticks=67099 tps=100 nb_sec=670
case_no=56 label=Case6.44 nb_sol=0 ticks=63656 tps=100 nb_sec=636
case_no=56 label=Case6.44 nb_sol=0 ticks=61940 tps=100 nb_sec=619
case_no=56 label=Case6.44 nb_sol=0 ticks=62937 tps=100 nb_sec=629
case_no=56 label=Case6.44 nb_sol=0 ticks=56437 tps=100 nb_sec=564
case_no=56 label=Case6.44 nb_sol=0 ticks=65603 tps=100 nb_sec=656
case_no=56 label=Case6.44 nb_sol=0 ticks=42824 tps=100 nb_sec=428
case_no=56 label=Case6.44 nb_sol=0 ticks=41425 tps=100 nb_sec=414
case_no=56 label=Case6.44 nb_sol=0 ticks=59116 tps=100 nb_sec=591
case_no=56 label=Case6.44 nb_sol=0 ticks=46072 tps=100 nb_sec=460
case_no=56 label=Case6.44 nb_sol=0 ticks=61963 tps=100 nb_sec=619
case_no=56 label=Case6.44 nb_sol=0 ticks=57489 tps=100 nb_sec=574
case_no=56 label=Case6.44 nb_sol=0 ticks=127370 tps=100 nb_sec=1273
case_no=56 label=Case6.44 nb_sol=0 ticks=98333 tps=100 nb_sec=983
case_no=56 label=Case6.44 nb_sol=0 ticks=98356 tps=100 nb_sec=983
case_no=56 label=Case6.44 nb_sol=0 ticks=86832 tps=100 nb_sec=868
case_no=56 label=Case6.44 nb_sol=0 ticks=105978 tps=100 nb_sec=1059
case_no=56 label=Case6.44 nb_sol=0 ticks=89281 tps=100 nb_sec=892
case_no=56 label=Case6.44 nb_sol=0 ticks=95726 tps=100 nb_sec=957
case_no=56 label=Case6.44 nb_sol=0 ticks=92022 tps=100 nb_sec=920
case_no=56 label=Case6.44 nb_sol=0 ticks=99247 tps=100 nb_sec=992
case_no=56 label=Case6.44 nb_sol=0 ticks=143269 tps=100 nb_sec=1432
case_no=56 label=Case6.44 nb_sol=0 ticks=93188 tps=100 nb_sec=931
case_no=56 label=Case6.44 nb_sol=0 ticks=83730 tps=100 nb_sec=837
case_no=56 label=Case6.44 nb_sol=0 ticks=79267 tps=100 nb_sec=792
case_no=56 label=Case6.44 nb_sol=0 ticks=163171 tps=100 nb_sec=1631
case_no=56 label=Case6.44 nb_sol=0 ticks=103634 tps=100 nb_sec=1036
case_no=56 label=Case6.44 nb_sol=0 ticks=87521 tps=100 nb_sec=875
case_no=56 label=Case6.44 nb_sol=0 ticks=145163 tps=100 nb_sec=1451
case_no=56 label=Case6.44 nb_sol=0 ticks=125285 tps=100 nb_sec=1252
case_no=56 label=Case6.44 nb_sol=0 ticks=122850 tps=100 nb_sec=1228
case_no=56 label=Case6.44 nb_sol=0 ticks=140322 tps=100 nb_sec=1403
case_no=56 label=Case6.44 nb_sol=0 ticks=122420 tps=100 nb_sec=1224
case_no=56 label=Case6.44 nb_sol=0 ticks=121039 tps=100 nb_sec=1210
case_no=56 label=Case6.44 nb_sol=0 ticks=120191 tps=100 nb_sec=1201
case_no=56 label=Case6.44 nb_sol=0 ticks=182651 tps=100 nb_sec=1826
case_no=56 label=Case6.44 nb_sol=0 ticks=91225 tps=100 nb_sec=912
case_no=56 label=Case6.44 nb_sol=0 ticks=88652 tps=100 nb_sec=886
case_no=56 label=Case6.44 nb_sol=0 ticks=134592 tps=100 nb_sec=1345
case_no=56 label=Case6.44 nb_sol=0 ticks=136294 tps=100 nb_sec=1362
case_no=56 label=Case6.44 nb_sol=0 ticks=184185 tps=100 nb_sec=1841
case_no=56 label=Case6.44 nb_sol=0 ticks=134863 tps=100 nb_sec=1348
case_no=56 label=Case6.44 nb_sol=0 ticks=113804 tps=100 nb_sec=1138
case_no=56 label=Case6.44 nb_sol=0 ticks=147994 tps=100 nb_sec=1479
case_no=56 label=Case6.44 nb_sol=0 ticks=137737 tps=100 nb_sec=1377
case_no=56 label=Case6.44 nb_sol=0 ticks=153023 tps=100 nb_sec=1530
case_no=56 label=Case6.44 nb_sol=0 ticks=133742 tps=100 nb_sec=1337
case_no=56 label=Case6.44 nb_sol=0 ticks=163281 tps=100 nb_sec=1632
case_no=56 label=Case6.44 nb_sol=0 ticks=142209 tps=100 nb_sec=1422
case_no=56 label=Case6.44 nb_sol=0 ticks=157643 tps=100 nb_sec=1576
case_no=56 label=Case6.44 nb_sol=0 ticks=149019 tps=100 nb_sec=1490
case_no=56 label=Case6.44 nb_sol=0 ticks=140351 tps=100 nb_sec=1403
case_no=56 label=Case6.44 nb_sol=0 ticks=142008 tps=100 nb_sec=1420
case_no=56 label=Case6.44 nb_sol=0 ticks=143920 tps=100 nb_sec=1439
case_no=56 label=Case6.44 nb_sol=0 ticks=146554 tps=100 nb_sec=1465
case_no=56 label=Case6.44 nb_sol=0 ticks=166155 tps=100 nb_sec=1661
case_no=56 label=Case6.44 nb_sol=0 ticks=145396 tps=100 nb_sec=1453
case_no=56 label=Case6.44 nb_sol=0 ticks=158174 tps=100 nb_sec=1581
case_no=56 label=Case6.44 nb_sol=0 ticks=147598 tps=100 nb_sec=1475
case_no=56 label=Case6.44 nb_sol=0 ticks=157163 tps=100 nb_sec=1571
case_no=56 label=Case6.44 nb_sol=0 ticks=79984 tps=100 nb_sec=799
case_no=56 label=Case6.44 nb_sol=0 ticks=74370 tps=100 nb_sec=743
case_no=56 label=Case6.44 nb_sol=0 ticks=69153 tps=100 nb_sec=691
case_no=56 label=Case6.44 nb_sol=0 ticks=63476 tps=100 nb_sec=634
case_no=56 label=Case6.44 nb_sol=0 ticks=68470 tps=100 nb_sec=684
case_no=56 label=Case6.44 nb_sol=0 ticks=43794 tps=100 nb_sec=437
case_no=56 label=Case6.44 nb_sol=0 ticks=61372 tps=100 nb_sec=613
case_no=56 label=Case6.44 nb_sol=0 ticks=68672 tps=100 nb_sec=686
case_no=56 label=Case6.44 nb_sol=0 ticks=68877 tps=100 nb_sec=688
case_no=56 label=Case6.44 nb_sol=0 ticks=61529 tps=100 nb_sec=615
case_no=56 label=Case6.44 nb_sol=0 ticks=118661 tps=100 nb_sec=1186
case_no=56 label=Case6.44 nb_sol=0 ticks=72842 tps=100 nb_sec=728
case_no=56 label=Case6.44 nb_sol=0 ticks=73254 tps=100 nb_sec=732
case_no=56 label=Case6.44 nb_sol=0 ticks=131291 tps=100 nb_sec=1312
case_no=56 label=Case6.44 nb_sol=0 ticks=60470 tps=100 nb_sec=604
case_no=56 label=Case6.44 nb_sol=0 ticks=69331 tps=100 nb_sec=693
case_no=56 label=Case6.44 nb_sol=0 ticks=163910 tps=100 nb_sec=1639
case_no=56 label=Case6.44 nb_sol=0 ticks=44473 tps=100 nb_sec=444
case_no=56 label=Case6.44 nb_sol=0 ticks=146345 tps=100 nb_sec=1463
case_no=56 label=Case6.44 nb_sol=0 ticks=71908 tps=100 nb_sec=719
case_no=56 label=Case6.44 nb_sol=0 ticks=64149 tps=100 nb_sec=641
case_no=56 label=Case6.44 nb_sol=0 ticks=141541 tps=100 nb_sec=1415
case_no=56 label=Case6.44 nb_sol=0 ticks=64362 tps=100 nb_sec=643
case_no=56 label=Case6.44 nb_sol=0 ticks=152031 tps=100 nb_sec=1520
case_no=56 label=Case6.44 nb_sol=0 ticks=47617 tps=100 nb_sec=476
case_no=56 label=Case6.44 nb_sol=0 ticks=92533 tps=100 nb_sec=925
case_no=56 label=Case6.44 nb_sol=0 ticks=49479 tps=100 nb_sec=494
case_no=56 label=Case6.44 nb_sol=0 ticks=116350 tps=100 nb_sec=1163
case_no=56 label=Case6.44 nb_sol=0 ticks=97757 tps=100 nb_sec=977
case_no=56 label=Case6.44 nb_sol=0 ticks=74666 tps=100 nb_sec=746
case_no=56 label=Case6.44 nb_sol=0 ticks=154753 tps=100 nb_sec=1547
case_no=56 label=Case6.44 nb_sol=0 ticks=100328 tps=100 nb_sec=1003
case_no=56 label=Case6.44 nb_sol=0 ticks=151346 tps=100 nb_sec=1513
case_no=56 label=Case6.44 nb_sol=0 ticks=116337 tps=100 nb_sec=1163
case_no=56 label=Case6.44 nb_sol=0 ticks=110462 tps=100 nb_sec=1104
case_no=56 label=Case6.44 nb_sol=0 ticks=119656 tps=100 nb_sec=1196
case_no=56 label=Case6.44 nb_sol=0 ticks=111733 tps=100 nb_sec=1117
case_no=56 label=Case6.44 nb_sol=0 ticks=92042 tps=100 nb_sec=920
case_no=56 label=Case6.44 nb_sol=0 ticks=147749 tps=100 nb_sec=1477
case_no=56 label=Case6.44 nb_sol=0 ticks=157105 tps=100 nb_sec=1571
case_no=56 label=Case6.44 nb_sol=0 ticks=158138 tps=100 nb_sec=1581
case_no=56 label=Case6.44 nb_sol=0 ticks=157334 tps=100 nb_sec=1573
case_no=56 label=Case6.44 nb_sol=0 ticks=143211 tps=100 nb_sec=1432
case_no=56 label=Case6.44 nb_sol=0 ticks=99365 tps=100 nb_sec=993
case_no=56 label=Case6.44 nb_sol=0 ticks=144506 tps=100 nb_sec=1445
case_no=56 label=Case6.44 nb_sol=0 ticks=169756 tps=100 nb_sec=1697
case_no=56 label=Case6.44 nb_sol=0 ticks=151863 tps=100 nb_sec=1518
case_no=56 label=Case6.44 nb_sol=0 ticks=174968 tps=100 nb_sec=1749
case_no=56 label=Case6.44 nb_sol=0 ticks=125290 tps=100 nb_sec=1252
case_no=56 label=Case6.44 nb_sol=0 ticks=121003 tps=100 nb_sec=1210
case_no=56 label=Case6.44 nb_sol=0 ticks=158403 tps=100 nb_sec=1584
case_no=56 label=Case6.44 nb_sol=0 ticks=130467 tps=100 nb_sec=1304
case_no=56 label=Case6.44 nb_sol=0 ticks=94304 tps=100 nb_sec=943
case_no=56 label=Case6.44 nb_sol=0 ticks=162564 tps=100 nb_sec=1625
case_no=56 label=Case6.44 nb_sol=0 ticks=106541 tps=100 nb_sec=1065
case_no=56 label=Case6.44 nb_sol=0 ticks=97573 tps=100 nb_sec=975
case_no=56 label=Case6.44 nb_sol=0 ticks=145841 tps=100 nb_sec=1458
case_no=56 label=Case6.44 nb_sol=0 ticks=100363 tps=100 nb_sec=1003
case_no=56 label=Case6.44 nb_sol=0 ticks=165368 tps=100 nb_sec=1653
case_no=56 label=Case6.44 nb_sol=0 ticks=132280 tps=100 nb_sec=1322
case_no=56 label=Case6.44 nb_sol=0 ticks=98741 tps=100 nb_sec=987
case_no=56 label=Case6.44 nb_sol=0 ticks=136953 tps=100 nb_sec=1369
case_no=56 label=Case6.44 nb_sol=0 ticks=121148 tps=100 nb_sec=1211
case_no=56 label=Case6.44 nb_sol=0 ticks=109079 tps=100 nb_sec=1090
case_no=56 label=Case6.44 nb_sol=0 ticks=133005 tps=100 nb_sec=1330
case_no=56 label=Case6.44 nb_sol=0 ticks=131218 tps=100 nb_sec=1312
case_no=56 label=Case6.44 nb_sol=0 ticks=136407 tps=100 nb_sec=1364
case_no=56 label=Case6.44 nb_sol=0 ticks=117396 tps=100 nb_sec=1173
case_no=56 label=Case6.44 nb_sol=0 ticks=107253 tps=100 nb_sec=1072
case_no=56 label=Case6.44 nb_sol=0 ticks=118899 tps=100 nb_sec=1188
case_no=56 label=Case6.44 nb_sol=0 ticks=48379 tps=100 nb_sec=483
case_no=56 label=Case6.44 nb_sol=0 ticks=124972 tps=100 nb_sec=1249
case_no=56 label=Case6.44 nb_sol=0 ticks=47823 tps=100 nb_sec=478
case_no=56 label=Case6.44 nb_sol=0 ticks=99903 tps=100 nb_sec=999
case_no=56 label=Case6.44 nb_sol=0 ticks=52025 tps=100 nb_sec=520
case_no=56 label=Case6.44 nb_sol=0 ticks=151532 tps=100 nb_sec=1515
case_no=56 label=Case6.44 nb_sol=0 ticks=96840 tps=100 nb_sec=968
case_no=56 label=Case6.44 nb_sol=0 ticks=162440 tps=100 nb_sec=1624
case_no=56 label=Case6.44 nb_sol=0 ticks=83780 tps=100 nb_sec=837
case_no=56 label=Case6.44 nb_sol=0 ticks=142611 tps=100 nb_sec=1426
case_no=56 label=Case6.44 nb_sol=0 ticks=118228 tps=100 nb_sec=1182
case_no=56 label=Case6.44 nb_sol=0 ticks=96924 tps=100 nb_sec=969
case_no=56 label=Case6.44 nb_sol=0 ticks=138376 tps=100 nb_sec=1383
case_no=56 label=Case6.44 nb_sol=0 ticks=124335 tps=100 nb_sec=1243
case_no=56 label=Case6.44 nb_sol=0 ticks=48029 tps=100 nb_sec=480
case_no=56 label=Case6.44 nb_sol=0 ticks=139155 tps=100 nb_sec=1391
case_no=56 label=Case6.44 nb_sol=0 ticks=98367 tps=100 nb_sec=983
case_no=56 label=Case6.44 nb_sol=0 ticks=44555 tps=100 nb_sec=445
case_no=56 label=Case6.44 nb_sol=0 ticks=133599 tps=100 nb_sec=1335
case_no=56 label=Case6.44 nb_sol=0 ticks=89003 tps=100 nb_sec=890
case_no=56 label=Case6.44 nb_sol=0 ticks=97308 tps=100 nb_sec=973
case_no=56 label=Case6.44 nb_sol=0 ticks=149887 tps=100 nb_sec=1498
case_no=56 label=Case6.44 nb_sol=0 ticks=119838 tps=100 nb_sec=1198
case_no=56 label=Case6.44 nb_sol=0 ticks=70333 tps=100 nb_sec=703
case_no=56 label=Case6.44 nb_sol=0 ticks=144122 tps=100 nb_sec=1441
case_no=56 label=Case6.44 nb_sol=0 ticks=127927 tps=100 nb_sec=1279
case_no=56 label=Case6.44 nb_sol=0 ticks=96683 tps=100 nb_sec=966
case_no=56 label=Case6.44 nb_sol=0 ticks=144176 tps=100 nb_sec=1441
case_no=56 label=Case6.44 nb_sol=0 ticks=73379 tps=100 nb_sec=733
case_no=56 label=Case6.44 nb_sol=0 ticks=95365 tps=100 nb_sec=953
Nb_sol=0
Nb_sec=508034
5-21:7:14 or 141 hours
missing cases:
none