argc=5
-M 512
file2=30_select_Case6.128_starter_15_
checking files mod 512 from 0 to 511
case_no=140 label=Case6.128 nb_sol=0 ticks=1168962 tps=100 nb_sec=11689
case_no=140 label=Case6.128 nb_sol=0 ticks=1656716 tps=100 nb_sec=16567
case_no=140 label=Case6.128 nb_sol=0 ticks=1643972 tps=100 nb_sec=16439
case_no=140 label=Case6.128 nb_sol=0 ticks=1116232 tps=100 nb_sec=11162
case_no=140 label=Case6.128 nb_sol=0 ticks=1889551 tps=100 nb_sec=18895
case_no=140 label=Case6.128 nb_sol=0 ticks=816540 tps=100 nb_sec=8165
case_no=140 label=Case6.128 nb_sol=0 ticks=984795 tps=100 nb_sec=9847
case_no=140 label=Case6.128 nb_sol=0 ticks=1144674 tps=100 nb_sec=11446
case_no=140 label=Case6.128 nb_sol=0 ticks=1210278 tps=100 nb_sec=12102
case_no=140 label=Case6.128 nb_sol=0 ticks=954401 tps=100 nb_sec=9544
case_no=140 label=Case6.128 nb_sol=0 ticks=1179614 tps=100 nb_sec=11796
case_no=140 label=Case6.128 nb_sol=0 ticks=1350754 tps=100 nb_sec=13507
case_no=140 label=Case6.128 nb_sol=0 ticks=1488437 tps=100 nb_sec=14884
case_no=140 label=Case6.128 nb_sol=0 ticks=1100183 tps=100 nb_sec=11001
case_no=140 label=Case6.128 nb_sol=0 ticks=1224380 tps=100 nb_sec=12243
case_no=140 label=Case6.128 nb_sol=0 ticks=1148132 tps=100 nb_sec=11481
case_no=140 label=Case6.128 nb_sol=0 ticks=1663517 tps=100 nb_sec=16635
case_no=140 label=Case6.128 nb_sol=0 ticks=745538 tps=100 nb_sec=7455
case_no=140 label=Case6.128 nb_sol=0 ticks=1103639 tps=100 nb_sec=11036
case_no=140 label=Case6.128 nb_sol=0 ticks=1007145 tps=100 nb_sec=10071
case_no=140 label=Case6.128 nb_sol=0 ticks=1026174 tps=100 nb_sec=10261
case_no=140 label=Case6.128 nb_sol=0 ticks=540862 tps=100 nb_sec=5408
case_no=140 label=Case6.128 nb_sol=0 ticks=1086243 tps=100 nb_sec=10862
case_no=140 label=Case6.128 nb_sol=0 ticks=1840640 tps=100 nb_sec=18406
case_no=140 label=Case6.128 nb_sol=0 ticks=882760 tps=100 nb_sec=8827
case_no=140 label=Case6.128 nb_sol=0 ticks=956269 tps=100 nb_sec=9562
case_no=140 label=Case6.128 nb_sol=0 ticks=1181013 tps=100 nb_sec=11810
case_no=140 label=Case6.128 nb_sol=0 ticks=596656 tps=100 nb_sec=5966
case_no=140 label=Case6.128 nb_sol=0 ticks=1446864 tps=100 nb_sec=14468
case_no=140 label=Case6.128 nb_sol=0 ticks=1928144 tps=100 nb_sec=19281
case_no=140 label=Case6.128 nb_sol=0 ticks=1228959 tps=100 nb_sec=12289
case_no=140 label=Case6.128 nb_sol=0 ticks=1801173 tps=100 nb_sec=18011
case_no=140 label=Case6.128 nb_sol=0 ticks=1250094 tps=100 nb_sec=12500
case_no=140 label=Case6.128 nb_sol=0 ticks=1031636 tps=100 nb_sec=10316
case_no=140 label=Case6.128 nb_sol=0 ticks=1105062 tps=100 nb_sec=11050
case_no=140 label=Case6.128 nb_sol=0 ticks=510763 tps=100 nb_sec=5107
case_no=140 label=Case6.128 nb_sol=0 ticks=592834 tps=100 nb_sec=5928
case_no=140 label=Case6.128 nb_sol=0 ticks=1873127 tps=100 nb_sec=18731
case_no=140 label=Case6.128 nb_sol=0 ticks=1222009 tps=100 nb_sec=12220
case_no=140 label=Case6.128 nb_sol=0 ticks=657187 tps=100 nb_sec=6571
case_no=140 label=Case6.128 nb_sol=0 ticks=1316154 tps=100 nb_sec=13161
case_no=140 label=Case6.128 nb_sol=0 ticks=1330571 tps=100 nb_sec=13305
case_no=140 label=Case6.128 nb_sol=0 ticks=983192 tps=100 nb_sec=9831
case_no=140 label=Case6.128 nb_sol=0 ticks=811102 tps=100 nb_sec=8111
case_no=140 label=Case6.128 nb_sol=0 ticks=683313 tps=100 nb_sec=6833
case_no=140 label=Case6.128 nb_sol=0 ticks=2148219 tps=100 nb_sec=21482
case_no=140 label=Case6.128 nb_sol=0 ticks=1417879 tps=100 nb_sec=14178
case_no=140 label=Case6.128 nb_sol=0 ticks=1208567 tps=100 nb_sec=12085
case_no=140 label=Case6.128 nb_sol=0 ticks=590984 tps=100 nb_sec=5909
case_no=140 label=Case6.128 nb_sol=0 ticks=1089989 tps=100 nb_sec=10899
case_no=140 label=Case6.128 nb_sol=0 ticks=1250130 tps=100 nb_sec=12501
case_no=140 label=Case6.128 nb_sol=0 ticks=1675147 tps=100 nb_sec=16751
case_no=140 label=Case6.128 nb_sol=0 ticks=1294226 tps=100 nb_sec=12942
case_no=140 label=Case6.128 nb_sol=0 ticks=493943 tps=100 nb_sec=4939
case_no=140 label=Case6.128 nb_sol=0 ticks=1220098 tps=100 nb_sec=12200
case_no=140 label=Case6.128 nb_sol=0 ticks=512959 tps=100 nb_sec=5129
case_no=140 label=Case6.128 nb_sol=0 ticks=819856 tps=100 nb_sec=8198
case_no=140 label=Case6.128 nb_sol=0 ticks=1201584 tps=100 nb_sec=12015
case_no=140 label=Case6.128 nb_sol=0 ticks=971400 tps=100 nb_sec=9714
case_no=140 label=Case6.128 nb_sol=0 ticks=1224336 tps=100 nb_sec=12243
case_no=140 label=Case6.128 nb_sol=0 ticks=835370 tps=100 nb_sec=8353
case_no=140 label=Case6.128 nb_sol=0 ticks=771714 tps=100 nb_sec=7717
case_no=140 label=Case6.128 nb_sol=0 ticks=1237049 tps=100 nb_sec=12370
case_no=140 label=Case6.128 nb_sol=0 ticks=1485294 tps=100 nb_sec=14852
case_no=140 label=Case6.128 nb_sol=0 ticks=1104482 tps=100 nb_sec=11044
case_no=140 label=Case6.128 nb_sol=0 ticks=1689518 tps=100 nb_sec=16895
case_no=140 label=Case6.128 nb_sol=0 ticks=1058956 tps=100 nb_sec=10589
case_no=140 label=Case6.128 nb_sol=0 ticks=1229364 tps=100 nb_sec=12293
case_no=140 label=Case6.128 nb_sol=0 ticks=1486533 tps=100 nb_sec=14865
case_no=140 label=Case6.128 nb_sol=0 ticks=1104851 tps=100 nb_sec=11048
case_no=140 label=Case6.128 nb_sol=0 ticks=1040612 tps=100 nb_sec=10406
case_no=140 label=Case6.128 nb_sol=0 ticks=1070981 tps=100 nb_sec=10709
case_no=140 label=Case6.128 nb_sol=0 ticks=1410599 tps=100 nb_sec=14105
case_no=140 label=Case6.128 nb_sol=0 ticks=1292718 tps=100 nb_sec=12927
case_no=140 label=Case6.128 nb_sol=0 ticks=975964 tps=100 nb_sec=9759
case_no=140 label=Case6.128 nb_sol=0 ticks=1348772 tps=100 nb_sec=13487
case_no=140 label=Case6.128 nb_sol=0 ticks=1145456 tps=100 nb_sec=11454
case_no=140 label=Case6.128 nb_sol=0 ticks=1623471 tps=100 nb_sec=16234
case_no=140 label=Case6.128 nb_sol=0 ticks=1218675 tps=100 nb_sec=12186
case_no=140 label=Case6.128 nb_sol=0 ticks=1390520 tps=100 nb_sec=13905
case_no=140 label=Case6.128 nb_sol=0 ticks=1336560 tps=100 nb_sec=13365
case_no=140 label=Case6.128 nb_sol=0 ticks=1298592 tps=100 nb_sec=12985
case_no=140 label=Case6.128 nb_sol=0 ticks=1060743 tps=100 nb_sec=10607
case_no=140 label=Case6.128 nb_sol=0 ticks=1173430 tps=100 nb_sec=11734
case_no=140 label=Case6.128 nb_sol=0 ticks=923917 tps=100 nb_sec=9239
case_no=140 label=Case6.128 nb_sol=0 ticks=1366631 tps=100 nb_sec=13666
case_no=140 label=Case6.128 nb_sol=0 ticks=1229143 tps=100 nb_sec=12291
case_no=140 label=Case6.128 nb_sol=0 ticks=2024107 tps=100 nb_sec=20241
case_no=140 label=Case6.128 nb_sol=0 ticks=1211420 tps=100 nb_sec=12114
case_no=140 label=Case6.128 nb_sol=0 ticks=1381108 tps=100 nb_sec=13811
case_no=140 label=Case6.128 nb_sol=0 ticks=1005341 tps=100 nb_sec=10053
case_no=140 label=Case6.128 nb_sol=0 ticks=1280391 tps=100 nb_sec=12803
case_no=140 label=Case6.128 nb_sol=0 ticks=1282995 tps=100 nb_sec=12829
case_no=140 label=Case6.128 nb_sol=0 ticks=1281579 tps=100 nb_sec=12815
case_no=140 label=Case6.128 nb_sol=0 ticks=1108759 tps=100 nb_sec=11087
case_no=140 label=Case6.128 nb_sol=0 ticks=563904 tps=100 nb_sec=5639
case_no=140 label=Case6.128 nb_sol=0 ticks=1216134 tps=100 nb_sec=12161
case_no=140 label=Case6.128 nb_sol=0 ticks=1115396 tps=100 nb_sec=11153
case_no=140 label=Case6.128 nb_sol=0 ticks=1349998 tps=100 nb_sec=13499
case_no=140 label=Case6.128 nb_sol=0 ticks=544762 tps=100 nb_sec=5447
case_no=140 label=Case6.128 nb_sol=0 ticks=1318959 tps=100 nb_sec=13189
case_no=140 label=Case6.128 nb_sol=0 ticks=1222505 tps=100 nb_sec=12225
case_no=140 label=Case6.128 nb_sol=0 ticks=1227580 tps=100 nb_sec=12275
case_no=140 label=Case6.128 nb_sol=0 ticks=1085869 tps=100 nb_sec=10858
case_no=140 label=Case6.128 nb_sol=0 ticks=1007066 tps=100 nb_sec=10070
case_no=140 label=Case6.128 nb_sol=0 ticks=1153439 tps=100 nb_sec=11534
case_no=140 label=Case6.128 nb_sol=0 ticks=1646343 tps=100 nb_sec=16463
case_no=140 label=Case6.128 nb_sol=0 ticks=1538405 tps=100 nb_sec=15384
case_no=140 label=Case6.128 nb_sol=0 ticks=1279306 tps=100 nb_sec=12793
case_no=140 label=Case6.128 nb_sol=0 ticks=1434016 tps=100 nb_sec=14340
case_no=140 label=Case6.128 nb_sol=0 ticks=1232562 tps=100 nb_sec=12325
case_no=140 label=Case6.128 nb_sol=0 ticks=2217980 tps=100 nb_sec=22179
case_no=140 label=Case6.128 nb_sol=0 ticks=1335361 tps=100 nb_sec=13353
case_no=140 label=Case6.128 nb_sol=0 ticks=1204095 tps=100 nb_sec=12040
case_no=140 label=Case6.128 nb_sol=0 ticks=1137290 tps=100 nb_sec=11372
case_no=140 label=Case6.128 nb_sol=0 ticks=926401 tps=100 nb_sec=9264
case_no=140 label=Case6.128 nb_sol=0 ticks=1095698 tps=100 nb_sec=10956
case_no=140 label=Case6.128 nb_sol=0 ticks=1023229 tps=100 nb_sec=10232
case_no=140 label=Case6.128 nb_sol=0 ticks=1028198 tps=100 nb_sec=10281
case_no=140 label=Case6.128 nb_sol=0 ticks=1154763 tps=100 nb_sec=11547
case_no=140 label=Case6.128 nb_sol=0 ticks=1981923 tps=100 nb_sec=19819
case_no=140 label=Case6.128 nb_sol=0 ticks=1186525 tps=100 nb_sec=11865
case_no=140 label=Case6.128 nb_sol=0 ticks=1110942 tps=100 nb_sec=11109
case_no=140 label=Case6.128 nb_sol=0 ticks=1333169 tps=100 nb_sec=13331
case_no=140 label=Case6.128 nb_sol=0 ticks=1141589 tps=100 nb_sec=11415
case_no=140 label=Case6.128 nb_sol=0 ticks=1356044 tps=100 nb_sec=13560
case_no=140 label=Case6.128 nb_sol=0 ticks=1059349 tps=100 nb_sec=10593
case_no=140 label=Case6.128 nb_sol=0 ticks=1194072 tps=100 nb_sec=11940
case_no=140 label=Case6.128 nb_sol=0 ticks=1178575 tps=100 nb_sec=11785
case_no=140 label=Case6.128 nb_sol=0 ticks=1086241 tps=100 nb_sec=10862
case_no=140 label=Case6.128 nb_sol=0 ticks=1100386 tps=100 nb_sec=11003
case_no=140 label=Case6.128 nb_sol=0 ticks=1500042 tps=100 nb_sec=15000
case_no=140 label=Case6.128 nb_sol=0 ticks=1284317 tps=100 nb_sec=12843
case_no=140 label=Case6.128 nb_sol=0 ticks=1299099 tps=100 nb_sec=12990
case_no=140 label=Case6.128 nb_sol=0 ticks=1339429 tps=100 nb_sec=13394
case_no=140 label=Case6.128 nb_sol=0 ticks=1481009 tps=100 nb_sec=14810
case_no=140 label=Case6.128 nb_sol=0 ticks=1315014 tps=100 nb_sec=13150
case_no=140 label=Case6.128 nb_sol=0 ticks=926791 tps=100 nb_sec=9267
case_no=140 label=Case6.128 nb_sol=0 ticks=1028200 tps=100 nb_sec=10282
case_no=140 label=Case6.128 nb_sol=0 ticks=1418516 tps=100 nb_sec=14185
case_no=140 label=Case6.128 nb_sol=0 ticks=1190584 tps=100 nb_sec=11905
case_no=140 label=Case6.128 nb_sol=0 ticks=1136507 tps=100 nb_sec=11365
case_no=140 label=Case6.128 nb_sol=0 ticks=1221985 tps=100 nb_sec=12219
case_no=140 label=Case6.128 nb_sol=0 ticks=1411635 tps=100 nb_sec=14116
case_no=140 label=Case6.128 nb_sol=0 ticks=1107035 tps=100 nb_sec=11070
case_no=140 label=Case6.128 nb_sol=0 ticks=960207 tps=100 nb_sec=9602
case_no=140 label=Case6.128 nb_sol=0 ticks=992652 tps=100 nb_sec=9926
case_no=140 label=Case6.128 nb_sol=0 ticks=1114601 tps=100 nb_sec=11146
case_no=140 label=Case6.128 nb_sol=0 ticks=929776 tps=100 nb_sec=9297
case_no=140 label=Case6.128 nb_sol=0 ticks=1197501 tps=100 nb_sec=11975
case_no=140 label=Case6.128 nb_sol=0 ticks=1224515 tps=100 nb_sec=12245
case_no=140 label=Case6.128 nb_sol=0 ticks=1370876 tps=100 nb_sec=13708
case_no=140 label=Case6.128 nb_sol=0 ticks=809550 tps=100 nb_sec=8095
case_no=140 label=Case6.128 nb_sol=0 ticks=1027789 tps=100 nb_sec=10277
case_no=140 label=Case6.128 nb_sol=0 ticks=891788 tps=100 nb_sec=8917
case_no=140 label=Case6.128 nb_sol=0 ticks=841473 tps=100 nb_sec=8414
case_no=140 label=Case6.128 nb_sol=0 ticks=1119863 tps=100 nb_sec=11198
case_no=140 label=Case6.128 nb_sol=0 ticks=1019586 tps=100 nb_sec=10195
case_no=140 label=Case6.128 nb_sol=0 ticks=952463 tps=100 nb_sec=9524
case_no=140 label=Case6.128 nb_sol=0 ticks=1229290 tps=100 nb_sec=12292
case_no=140 label=Case6.128 nb_sol=0 ticks=1196296 tps=100 nb_sec=11962
case_no=140 label=Case6.128 nb_sol=0 ticks=670070 tps=100 nb_sec=6700
case_no=140 label=Case6.128 nb_sol=0 ticks=846403 tps=100 nb_sec=8464
case_no=140 label=Case6.128 nb_sol=0 ticks=1281083 tps=100 nb_sec=12810
case_no=140 label=Case6.128 nb_sol=0 ticks=1015567 tps=100 nb_sec=10155
case_no=140 label=Case6.128 nb_sol=0 ticks=1159894 tps=100 nb_sec=11598
case_no=140 label=Case6.128 nb_sol=0 ticks=1116119 tps=100 nb_sec=11161
case_no=140 label=Case6.128 nb_sol=0 ticks=557418 tps=100 nb_sec=5574
case_no=140 label=Case6.128 nb_sol=0 ticks=1420514 tps=100 nb_sec=14205
case_no=140 label=Case6.128 nb_sol=0 ticks=1528438 tps=100 nb_sec=15284
case_no=140 label=Case6.128 nb_sol=0 ticks=1139668 tps=100 nb_sec=11396
case_no=140 label=Case6.128 nb_sol=0 ticks=1340756 tps=100 nb_sec=13407
case_no=140 label=Case6.128 nb_sol=0 ticks=1414728 tps=100 nb_sec=14147
case_no=140 label=Case6.128 nb_sol=0 ticks=1223051 tps=100 nb_sec=12230
case_no=140 label=Case6.128 nb_sol=0 ticks=1290624 tps=100 nb_sec=12906
case_no=140 label=Case6.128 nb_sol=0 ticks=1290322 tps=100 nb_sec=12903
case_no=140 label=Case6.128 nb_sol=0 ticks=498611 tps=100 nb_sec=4986
case_no=140 label=Case6.128 nb_sol=0 ticks=916547 tps=100 nb_sec=9165
case_no=140 label=Case6.128 nb_sol=0 ticks=761912 tps=100 nb_sec=7619
case_no=140 label=Case6.128 nb_sol=0 ticks=852784 tps=100 nb_sec=8527
case_no=140 label=Case6.128 nb_sol=0 ticks=1394714 tps=100 nb_sec=13947
case_no=140 label=Case6.128 nb_sol=0 ticks=866954 tps=100 nb_sec=8669
case_no=140 label=Case6.128 nb_sol=0 ticks=763448 tps=100 nb_sec=7634
case_no=140 label=Case6.128 nb_sol=0 ticks=1313440 tps=100 nb_sec=13134
case_no=140 label=Case6.128 nb_sol=0 ticks=896258 tps=100 nb_sec=8962
case_no=140 label=Case6.128 nb_sol=0 ticks=1217698 tps=100 nb_sec=12176
case_no=140 label=Case6.128 nb_sol=0 ticks=957044 tps=100 nb_sec=9570
case_no=140 label=Case6.128 nb_sol=0 ticks=495420 tps=100 nb_sec=4954
case_no=140 label=Case6.128 nb_sol=0 ticks=1236579 tps=100 nb_sec=12365
case_no=140 label=Case6.128 nb_sol=0 ticks=1332943 tps=100 nb_sec=13329
case_no=140 label=Case6.128 nb_sol=0 ticks=1295915 tps=100 nb_sec=12959
case_no=140 label=Case6.128 nb_sol=0 ticks=680401 tps=100 nb_sec=6804
case_no=140 label=Case6.128 nb_sol=0 ticks=561309 tps=100 nb_sec=5613
case_no=140 label=Case6.128 nb_sol=0 ticks=1265365 tps=100 nb_sec=12653
case_no=140 label=Case6.128 nb_sol=0 ticks=1372050 tps=100 nb_sec=13720
case_no=140 label=Case6.128 nb_sol=0 ticks=1431725 tps=100 nb_sec=14317
case_no=140 label=Case6.128 nb_sol=0 ticks=1208095 tps=100 nb_sec=12080
case_no=140 label=Case6.128 nb_sol=0 ticks=1318367 tps=100 nb_sec=13183
case_no=140 label=Case6.128 nb_sol=0 ticks=613456 tps=100 nb_sec=6134
case_no=140 label=Case6.128 nb_sol=0 ticks=1268007 tps=100 nb_sec=12680
case_no=140 label=Case6.128 nb_sol=0 ticks=1359429 tps=100 nb_sec=13594
case_no=140 label=Case6.128 nb_sol=0 ticks=1328372 tps=100 nb_sec=13283
case_no=140 label=Case6.128 nb_sol=0 ticks=1077756 tps=100 nb_sec=10777
case_no=140 label=Case6.128 nb_sol=0 ticks=1116393 tps=100 nb_sec=11163
case_no=140 label=Case6.128 nb_sol=0 ticks=1111243 tps=100 nb_sec=11112
case_no=140 label=Case6.128 nb_sol=0 ticks=541763 tps=100 nb_sec=5417
case_no=140 label=Case6.128 nb_sol=0 ticks=799772 tps=100 nb_sec=7997
case_no=140 label=Case6.128 nb_sol=0 ticks=1325379 tps=100 nb_sec=13253
case_no=140 label=Case6.128 nb_sol=0 ticks=1284989 tps=100 nb_sec=12849
case_no=140 label=Case6.128 nb_sol=0 ticks=1158257 tps=100 nb_sec=11582
case_no=140 label=Case6.128 nb_sol=0 ticks=1309308 tps=100 nb_sec=13093
case_no=140 label=Case6.128 nb_sol=0 ticks=1464231 tps=100 nb_sec=14642
case_no=140 label=Case6.128 nb_sol=0 ticks=1361051 tps=100 nb_sec=13610
case_no=140 label=Case6.128 nb_sol=0 ticks=1201344 tps=100 nb_sec=12013
case_no=140 label=Case6.128 nb_sol=0 ticks=1230413 tps=100 nb_sec=12304
case_no=140 label=Case6.128 nb_sol=0 ticks=1248636 tps=100 nb_sec=12486
case_no=140 label=Case6.128 nb_sol=0 ticks=625715 tps=100 nb_sec=6257
case_no=140 label=Case6.128 nb_sol=0 ticks=921035 tps=100 nb_sec=9210
case_no=140 label=Case6.128 nb_sol=0 ticks=1116423 tps=100 nb_sec=11164
case_no=140 label=Case6.128 nb_sol=0 ticks=991872 tps=100 nb_sec=9918
case_no=140 label=Case6.128 nb_sol=0 ticks=1178695 tps=100 nb_sec=11786
case_no=140 label=Case6.128 nb_sol=0 ticks=1308015 tps=100 nb_sec=13080
case_no=140 label=Case6.128 nb_sol=0 ticks=1162599 tps=100 nb_sec=11625
case_no=140 label=Case6.128 nb_sol=0 ticks=1220610 tps=100 nb_sec=12206
case_no=140 label=Case6.128 nb_sol=0 ticks=1173917 tps=100 nb_sec=11739
case_no=140 label=Case6.128 nb_sol=0 ticks=1136509 tps=100 nb_sec=11365
case_no=140 label=Case6.128 nb_sol=0 ticks=1013980 tps=100 nb_sec=10139
case_no=140 label=Case6.128 nb_sol=0 ticks=1285592 tps=100 nb_sec=12855
case_no=140 label=Case6.128 nb_sol=0 ticks=1117416 tps=100 nb_sec=11174
case_no=140 label=Case6.128 nb_sol=0 ticks=1153262 tps=100 nb_sec=11532
case_no=140 label=Case6.128 nb_sol=0 ticks=1123575 tps=100 nb_sec=11235
case_no=140 label=Case6.128 nb_sol=0 ticks=1126996 tps=100 nb_sec=11269
case_no=140 label=Case6.128 nb_sol=0 ticks=1161050 tps=100 nb_sec=11610
case_no=140 label=Case6.128 nb_sol=0 ticks=1169559 tps=100 nb_sec=11695
case_no=140 label=Case6.128 nb_sol=0 ticks=1090320 tps=100 nb_sec=10903
case_no=140 label=Case6.128 nb_sol=0 ticks=837856 tps=100 nb_sec=8378
case_no=140 label=Case6.128 nb_sol=0 ticks=1130386 tps=100 nb_sec=11303
case_no=140 label=Case6.128 nb_sol=0 ticks=1161670 tps=100 nb_sec=11616
case_no=140 label=Case6.128 nb_sol=0 ticks=589646 tps=100 nb_sec=5896
case_no=140 label=Case6.128 nb_sol=0 ticks=1013001 tps=100 nb_sec=10130
case_no=140 label=Case6.128 nb_sol=0 ticks=1669766 tps=100 nb_sec=16697
case_no=140 label=Case6.128 nb_sol=0 ticks=557016 tps=100 nb_sec=5570
case_no=140 label=Case6.128 nb_sol=0 ticks=798493 tps=100 nb_sec=7984
case_no=140 label=Case6.128 nb_sol=0 ticks=1580868 tps=100 nb_sec=15808
case_no=140 label=Case6.128 nb_sol=0 ticks=998085 tps=100 nb_sec=9980
case_no=140 label=Case6.128 nb_sol=0 ticks=570370 tps=100 nb_sec=5703
case_no=140 label=Case6.128 nb_sol=0 ticks=810758 tps=100 nb_sec=8107
case_no=140 label=Case6.128 nb_sol=0 ticks=1179543 tps=100 nb_sec=11795
case_no=140 label=Case6.128 nb_sol=0 ticks=509163 tps=100 nb_sec=5091
case_no=140 label=Case6.128 nb_sol=0 ticks=844824 tps=100 nb_sec=8448
case_no=140 label=Case6.128 nb_sol=0 ticks=682160 tps=100 nb_sec=6821
case_no=140 label=Case6.128 nb_sol=0 ticks=908835 tps=100 nb_sec=9088
case_no=140 label=Case6.128 nb_sol=0 ticks=1187388 tps=100 nb_sec=11873
case_no=140 label=Case6.128 nb_sol=0 ticks=667750 tps=100 nb_sec=6677
case_no=140 label=Case6.128 nb_sol=0 ticks=551211 tps=100 nb_sec=5512
case_no=140 label=Case6.128 nb_sol=0 ticks=663096 tps=100 nb_sec=6630
case_no=140 label=Case6.128 nb_sol=0 ticks=617380 tps=100 nb_sec=6173
case_no=140 label=Case6.128 nb_sol=0 ticks=1026102 tps=100 nb_sec=10261
case_no=140 label=Case6.128 nb_sol=0 ticks=661471 tps=100 nb_sec=6614
case_no=140 label=Case6.128 nb_sol=0 ticks=651119 tps=100 nb_sec=6511
case_no=140 label=Case6.128 nb_sol=0 ticks=1243717 tps=100 nb_sec=12437
case_no=140 label=Case6.128 nb_sol=0 ticks=689025 tps=100 nb_sec=6890
case_no=140 label=Case6.128 nb_sol=0 ticks=597406 tps=100 nb_sec=5974
case_no=140 label=Case6.128 nb_sol=0 ticks=1265785 tps=100 nb_sec=12657
case_no=140 label=Case6.128 nb_sol=0 ticks=514374 tps=100 nb_sec=5143
case_no=140 label=Case6.128 nb_sol=0 ticks=694227 tps=100 nb_sec=6942
case_no=140 label=Case6.128 nb_sol=0 ticks=732272 tps=100 nb_sec=7322
case_no=140 label=Case6.128 nb_sol=0 ticks=1283429 tps=100 nb_sec=12834
case_no=140 label=Case6.128 nb_sol=0 ticks=686419 tps=100 nb_sec=6864
case_no=140 label=Case6.128 nb_sol=0 ticks=998817 tps=100 nb_sec=9988
case_no=140 label=Case6.128 nb_sol=0 ticks=529390 tps=100 nb_sec=5293
case_no=140 label=Case6.128 nb_sol=0 ticks=577192 tps=100 nb_sec=5771
case_no=140 label=Case6.128 nb_sol=0 ticks=1068752 tps=100 nb_sec=10687
case_no=140 label=Case6.128 nb_sol=0 ticks=955771 tps=100 nb_sec=9557
case_no=140 label=Case6.128 nb_sol=0 ticks=1227687 tps=100 nb_sec=12276
case_no=140 label=Case6.128 nb_sol=0 ticks=1188442 tps=100 nb_sec=11884
case_no=140 label=Case6.128 nb_sol=0 ticks=937465 tps=100 nb_sec=9374
case_no=140 label=Case6.128 nb_sol=0 ticks=1552527 tps=100 nb_sec=15525
case_no=140 label=Case6.128 nb_sol=0 ticks=1217880 tps=100 nb_sec=12178
case_no=140 label=Case6.128 nb_sol=0 ticks=1459952 tps=100 nb_sec=14599
case_no=140 label=Case6.128 nb_sol=0 ticks=1501663 tps=100 nb_sec=15016
case_no=140 label=Case6.128 nb_sol=0 ticks=1359929 tps=100 nb_sec=13599
case_no=140 label=Case6.128 nb_sol=0 ticks=1262616 tps=100 nb_sec=12626
case_no=140 label=Case6.128 nb_sol=0 ticks=1664219 tps=100 nb_sec=16642
case_no=140 label=Case6.128 nb_sol=0 ticks=1118165 tps=100 nb_sec=11181
case_no=140 label=Case6.128 nb_sol=0 ticks=1409021 tps=100 nb_sec=14090
case_no=140 label=Case6.128 nb_sol=0 ticks=534170 tps=100 nb_sec=5341
case_no=140 label=Case6.128 nb_sol=0 ticks=1271429 tps=100 nb_sec=12714
case_no=140 label=Case6.128 nb_sol=0 ticks=772750 tps=100 nb_sec=7727
case_no=140 label=Case6.128 nb_sol=0 ticks=549993 tps=100 nb_sec=5499
case_no=140 label=Case6.128 nb_sol=0 ticks=743174 tps=100 nb_sec=7431
case_no=140 label=Case6.128 nb_sol=0 ticks=664698 tps=100 nb_sec=6646
case_no=140 label=Case6.128 nb_sol=0 ticks=894857 tps=100 nb_sec=8948
case_no=140 label=Case6.128 nb_sol=0 ticks=1382468 tps=100 nb_sec=13824
case_no=140 label=Case6.128 nb_sol=0 ticks=958695 tps=100 nb_sec=9586
case_no=140 label=Case6.128 nb_sol=0 ticks=745032 tps=100 nb_sec=7450
case_no=140 label=Case6.128 nb_sol=0 ticks=613289 tps=100 nb_sec=6132
case_no=140 label=Case6.128 nb_sol=0 ticks=1784488 tps=100 nb_sec=17844
case_no=140 label=Case6.128 nb_sol=0 ticks=916709 tps=100 nb_sec=9167
case_no=140 label=Case6.128 nb_sol=0 ticks=816115 tps=100 nb_sec=8161
case_no=140 label=Case6.128 nb_sol=0 ticks=1082500 tps=100 nb_sec=10825
case_no=140 label=Case6.128 nb_sol=0 ticks=1365451 tps=100 nb_sec=13654
case_no=140 label=Case6.128 nb_sol=0 ticks=725357 tps=100 nb_sec=7253
case_no=140 label=Case6.128 nb_sol=0 ticks=866017 tps=100 nb_sec=8660
case_no=140 label=Case6.128 nb_sol=0 ticks=781183 tps=100 nb_sec=7811
case_no=140 label=Case6.128 nb_sol=0 ticks=1223801 tps=100 nb_sec=12238
case_no=140 label=Case6.128 nb_sol=0 ticks=574942 tps=100 nb_sec=5749
case_no=140 label=Case6.128 nb_sol=0 ticks=552661 tps=100 nb_sec=5526
case_no=140 label=Case6.128 nb_sol=0 ticks=990909 tps=100 nb_sec=9909
case_no=140 label=Case6.128 nb_sol=0 ticks=1184234 tps=100 nb_sec=11842
case_no=140 label=Case6.128 nb_sol=0 ticks=940991 tps=100 nb_sec=9409
case_no=140 label=Case6.128 nb_sol=0 ticks=674601 tps=100 nb_sec=6746
case_no=140 label=Case6.128 nb_sol=0 ticks=844357 tps=100 nb_sec=8443
case_no=140 label=Case6.128 nb_sol=0 ticks=1239409 tps=100 nb_sec=12394
case_no=140 label=Case6.128 nb_sol=0 ticks=385322 tps=100 nb_sec=3853
case_no=140 label=Case6.128 nb_sol=0 ticks=1211964 tps=100 nb_sec=12119
case_no=140 label=Case6.128 nb_sol=0 ticks=631370 tps=100 nb_sec=6313
case_no=140 label=Case6.128 nb_sol=0 ticks=1384684 tps=100 nb_sec=13846
case_no=140 label=Case6.128 nb_sol=0 ticks=1002476 tps=100 nb_sec=10024
case_no=140 label=Case6.128 nb_sol=0 ticks=1200700 tps=100 nb_sec=12007
case_no=140 label=Case6.128 nb_sol=0 ticks=1300762 tps=100 nb_sec=13007
case_no=140 label=Case6.128 nb_sol=0 ticks=1042369 tps=100 nb_sec=10423
case_no=140 label=Case6.128 nb_sol=0 ticks=1329389 tps=100 nb_sec=13293
case_no=140 label=Case6.128 nb_sol=0 ticks=550224 tps=100 nb_sec=5502
case_no=140 label=Case6.128 nb_sol=0 ticks=807312 tps=100 nb_sec=8073
case_no=140 label=Case6.128 nb_sol=0 ticks=1451380 tps=100 nb_sec=14513
case_no=140 label=Case6.128 nb_sol=0 ticks=721680 tps=100 nb_sec=7216
case_no=140 label=Case6.128 nb_sol=0 ticks=928536 tps=100 nb_sec=9285
case_no=140 label=Case6.128 nb_sol=0 ticks=523070 tps=100 nb_sec=5230
case_no=140 label=Case6.128 nb_sol=0 ticks=822072 tps=100 nb_sec=8220
case_no=140 label=Case6.128 nb_sol=0 ticks=588710 tps=100 nb_sec=5887
case_no=140 label=Case6.128 nb_sol=0 ticks=452658 tps=100 nb_sec=4526
case_no=140 label=Case6.128 nb_sol=0 ticks=836569 tps=100 nb_sec=8365
case_no=140 label=Case6.128 nb_sol=0 ticks=957107 tps=100 nb_sec=9571
case_no=140 label=Case6.128 nb_sol=0 ticks=1079674 tps=100 nb_sec=10796
case_no=140 label=Case6.128 nb_sol=0 ticks=1155308 tps=100 nb_sec=11553
case_no=140 label=Case6.128 nb_sol=0 ticks=969720 tps=100 nb_sec=9697
case_no=140 label=Case6.128 nb_sol=0 ticks=1142922 tps=100 nb_sec=11429
case_no=140 label=Case6.128 nb_sol=0 ticks=935223 tps=100 nb_sec=9352
case_no=140 label=Case6.128 nb_sol=0 ticks=1153513 tps=100 nb_sec=11535
case_no=140 label=Case6.128 nb_sol=0 ticks=937574 tps=100 nb_sec=9375
case_no=140 label=Case6.128 nb_sol=0 ticks=447444 tps=100 nb_sec=4474
case_no=140 label=Case6.128 nb_sol=0 ticks=1065485 tps=100 nb_sec=10654
case_no=140 label=Case6.128 nb_sol=0 ticks=522117 tps=100 nb_sec=5221
case_no=140 label=Case6.128 nb_sol=0 ticks=1130476 tps=100 nb_sec=11304
case_no=140 label=Case6.128 nb_sol=0 ticks=463099 tps=100 nb_sec=4630
case_no=140 label=Case6.128 nb_sol=0 ticks=938570 tps=100 nb_sec=9385
case_no=140 label=Case6.128 nb_sol=0 ticks=602017 tps=100 nb_sec=6020
case_no=140 label=Case6.128 nb_sol=0 ticks=1021967 tps=100 nb_sec=10219
case_no=140 label=Case6.128 nb_sol=0 ticks=1200470 tps=100 nb_sec=12004
case_no=140 label=Case6.128 nb_sol=0 ticks=527504 tps=100 nb_sec=5275
case_no=140 label=Case6.128 nb_sol=0 ticks=600970 tps=100 nb_sec=6009
case_no=140 label=Case6.128 nb_sol=0 ticks=1031921 tps=100 nb_sec=10319
case_no=140 label=Case6.128 nb_sol=0 ticks=1025803 tps=100 nb_sec=10258
case_no=140 label=Case6.128 nb_sol=0 ticks=1042623 tps=100 nb_sec=10426
case_no=140 label=Case6.128 nb_sol=0 ticks=783020 tps=100 nb_sec=7830
case_no=140 label=Case6.128 nb_sol=0 ticks=919050 tps=100 nb_sec=9190
case_no=140 label=Case6.128 nb_sol=0 ticks=930572 tps=100 nb_sec=9305
case_no=140 label=Case6.128 nb_sol=0 ticks=1103800 tps=100 nb_sec=11038
case_no=140 label=Case6.128 nb_sol=0 ticks=997127 tps=100 nb_sec=9971
case_no=140 label=Case6.128 nb_sol=0 ticks=891100 tps=100 nb_sec=8911
case_no=140 label=Case6.128 nb_sol=0 ticks=947397 tps=100 nb_sec=9473
case_no=140 label=Case6.128 nb_sol=0 ticks=822944 tps=100 nb_sec=8229
case_no=140 label=Case6.128 nb_sol=0 ticks=827392 tps=100 nb_sec=8273
case_no=140 label=Case6.128 nb_sol=0 ticks=1113270 tps=100 nb_sec=11132
case_no=140 label=Case6.128 nb_sol=0 ticks=1005023 tps=100 nb_sec=10050
case_no=140 label=Case6.128 nb_sol=0 ticks=1230344 tps=100 nb_sec=12303
case_no=140 label=Case6.128 nb_sol=0 ticks=617479 tps=100 nb_sec=6174
case_no=140 label=Case6.128 nb_sol=0 ticks=804186 tps=100 nb_sec=8041
case_no=140 label=Case6.128 nb_sol=0 ticks=1018603 tps=100 nb_sec=10186
case_no=140 label=Case6.128 nb_sol=0 ticks=573378 tps=100 nb_sec=5733
case_no=140 label=Case6.128 nb_sol=0 ticks=1140964 tps=100 nb_sec=11409
case_no=140 label=Case6.128 nb_sol=0 ticks=486788 tps=100 nb_sec=4867
case_no=140 label=Case6.128 nb_sol=0 ticks=1208098 tps=100 nb_sec=12080
case_no=140 label=Case6.128 nb_sol=0 ticks=935815 tps=100 nb_sec=9358
case_no=140 label=Case6.128 nb_sol=0 ticks=1186663 tps=100 nb_sec=11866
case_no=140 label=Case6.128 nb_sol=0 ticks=963808 tps=100 nb_sec=9638
case_no=140 label=Case6.128 nb_sol=0 ticks=1143336 tps=100 nb_sec=11433
case_no=140 label=Case6.128 nb_sol=0 ticks=990373 tps=100 nb_sec=9903
case_no=140 label=Case6.128 nb_sol=0 ticks=883470 tps=100 nb_sec=8834
case_no=140 label=Case6.128 nb_sol=0 ticks=1097514 tps=100 nb_sec=10975
case_no=140 label=Case6.128 nb_sol=0 ticks=1141552 tps=100 nb_sec=11415
case_no=140 label=Case6.128 nb_sol=0 ticks=573848 tps=100 nb_sec=5738
case_no=140 label=Case6.128 nb_sol=0 ticks=1331125 tps=100 nb_sec=13311
case_no=140 label=Case6.128 nb_sol=0 ticks=990515 tps=100 nb_sec=9905
case_no=140 label=Case6.128 nb_sol=0 ticks=485518 tps=100 nb_sec=4855
case_no=140 label=Case6.128 nb_sol=0 ticks=901800 tps=100 nb_sec=9018
case_no=140 label=Case6.128 nb_sol=0 ticks=411208 tps=100 nb_sec=4112
case_no=140 label=Case6.128 nb_sol=0 ticks=591707 tps=100 nb_sec=5917
case_no=140 label=Case6.128 nb_sol=0 ticks=1120346 tps=100 nb_sec=11203
case_no=140 label=Case6.128 nb_sol=0 ticks=460551 tps=100 nb_sec=4605
case_no=140 label=Case6.128 nb_sol=0 ticks=572343 tps=100 nb_sec=5723
case_no=140 label=Case6.128 nb_sol=0 ticks=997244 tps=100 nb_sec=9972
case_no=140 label=Case6.128 nb_sol=0 ticks=962519 tps=100 nb_sec=9625
case_no=140 label=Case6.128 nb_sol=0 ticks=454506 tps=100 nb_sec=4545
case_no=140 label=Case6.128 nb_sol=0 ticks=925550 tps=100 nb_sec=9255
case_no=140 label=Case6.128 nb_sol=0 ticks=992882 tps=100 nb_sec=9928
case_no=140 label=Case6.128 nb_sol=0 ticks=494444 tps=100 nb_sec=4944
case_no=140 label=Case6.128 nb_sol=0 ticks=526853 tps=100 nb_sec=5268
case_no=140 label=Case6.128 nb_sol=0 ticks=962828 tps=100 nb_sec=9628
case_no=140 label=Case6.128 nb_sol=0 ticks=778255 tps=100 nb_sec=7782
case_no=140 label=Case6.128 nb_sol=0 ticks=1047063 tps=100 nb_sec=10470
case_no=140 label=Case6.128 nb_sol=0 ticks=700445 tps=100 nb_sec=7004
case_no=140 label=Case6.128 nb_sol=0 ticks=1168466 tps=100 nb_sec=11684
case_no=140 label=Case6.128 nb_sol=0 ticks=1329478 tps=100 nb_sec=13294
case_no=140 label=Case6.128 nb_sol=0 ticks=1350465 tps=100 nb_sec=13504
case_no=140 label=Case6.128 nb_sol=0 ticks=605552 tps=100 nb_sec=6055
case_no=140 label=Case6.128 nb_sol=0 ticks=559951 tps=100 nb_sec=5599
case_no=140 label=Case6.128 nb_sol=0 ticks=1117936 tps=100 nb_sec=11179
case_no=140 label=Case6.128 nb_sol=0 ticks=493848 tps=100 nb_sec=4938
case_no=140 label=Case6.128 nb_sol=0 ticks=1026132 tps=100 nb_sec=10261
case_no=140 label=Case6.128 nb_sol=0 ticks=993951 tps=100 nb_sec=9939
case_no=140 label=Case6.128 nb_sol=0 ticks=860314 tps=100 nb_sec=8603
case_no=140 label=Case6.128 nb_sol=0 ticks=853554 tps=100 nb_sec=8535
case_no=140 label=Case6.128 nb_sol=0 ticks=449256 tps=100 nb_sec=4492
case_no=140 label=Case6.128 nb_sol=0 ticks=574628 tps=100 nb_sec=5746
case_no=140 label=Case6.128 nb_sol=0 ticks=1273241 tps=100 nb_sec=12732
case_no=140 label=Case6.128 nb_sol=0 ticks=1178342 tps=100 nb_sec=11783
case_no=140 label=Case6.128 nb_sol=0 ticks=1004817 tps=100 nb_sec=10048
case_no=140 label=Case6.128 nb_sol=0 ticks=562676 tps=100 nb_sec=5626
case_no=140 label=Case6.128 nb_sol=0 ticks=811835 tps=100 nb_sec=8118
case_no=140 label=Case6.128 nb_sol=0 ticks=990309 tps=100 nb_sec=9903
case_no=140 label=Case6.128 nb_sol=0 ticks=827126 tps=100 nb_sec=8271
case_no=140 label=Case6.128 nb_sol=0 ticks=1124755 tps=100 nb_sec=11247
case_no=140 label=Case6.128 nb_sol=0 ticks=1001464 tps=100 nb_sec=10014
case_no=140 label=Case6.128 nb_sol=0 ticks=1305699 tps=100 nb_sec=13056
case_no=140 label=Case6.128 nb_sol=0 ticks=1323302 tps=100 nb_sec=13233
case_no=140 label=Case6.128 nb_sol=0 ticks=1464756 tps=100 nb_sec=14647
case_no=140 label=Case6.128 nb_sol=0 ticks=1376098 tps=100 nb_sec=13760
case_no=140 label=Case6.128 nb_sol=0 ticks=1246593 tps=100 nb_sec=12465
case_no=140 label=Case6.128 nb_sol=0 ticks=1315949 tps=100 nb_sec=13159
case_no=140 label=Case6.128 nb_sol=0 ticks=1276983 tps=100 nb_sec=12769
case_no=140 label=Case6.128 nb_sol=0 ticks=1223276 tps=100 nb_sec=12232
case_no=140 label=Case6.128 nb_sol=0 ticks=1237130 tps=100 nb_sec=12371
case_no=140 label=Case6.128 nb_sol=0 ticks=1138630 tps=100 nb_sec=11386
case_no=140 label=Case6.128 nb_sol=0 ticks=1210826 tps=100 nb_sec=12108
case_no=140 label=Case6.128 nb_sol=0 ticks=1208629 tps=100 nb_sec=12086
case_no=140 label=Case6.128 nb_sol=0 ticks=1259656 tps=100 nb_sec=12596
case_no=140 label=Case6.128 nb_sol=0 ticks=1183281 tps=100 nb_sec=11832
case_no=140 label=Case6.128 nb_sol=0 ticks=1236452 tps=100 nb_sec=12364
case_no=140 label=Case6.128 nb_sol=0 ticks=937457 tps=100 nb_sec=9374
case_no=140 label=Case6.128 nb_sol=0 ticks=1367814 tps=100 nb_sec=13678
case_no=140 label=Case6.128 nb_sol=0 ticks=1073637 tps=100 nb_sec=10736
case_no=140 label=Case6.128 nb_sol=0 ticks=839126 tps=100 nb_sec=8391
case_no=140 label=Case6.128 nb_sol=0 ticks=1780800 tps=100 nb_sec=17808
case_no=140 label=Case6.128 nb_sol=0 ticks=883330 tps=100 nb_sec=8833
case_no=140 label=Case6.128 nb_sol=0 ticks=1131644 tps=100 nb_sec=11316
case_no=140 label=Case6.128 nb_sol=0 ticks=1075090 tps=100 nb_sec=10750
case_no=140 label=Case6.128 nb_sol=0 ticks=1202712 tps=100 nb_sec=12027
case_no=140 label=Case6.128 nb_sol=0 ticks=1617483 tps=100 nb_sec=16174
case_no=140 label=Case6.128 nb_sol=0 ticks=1541713 tps=100 nb_sec=15417
case_no=140 label=Case6.128 nb_sol=0 ticks=569200 tps=100 nb_sec=5692
case_no=140 label=Case6.128 nb_sol=0 ticks=1027479 tps=100 nb_sec=10274
case_no=140 label=Case6.128 nb_sol=0 ticks=1667413 tps=100 nb_sec=16674
case_no=140 label=Case6.128 nb_sol=0 ticks=1526051 tps=100 nb_sec=15260
case_no=140 label=Case6.128 nb_sol=0 ticks=623549 tps=100 nb_sec=6235
case_no=140 label=Case6.128 nb_sol=0 ticks=1102648 tps=100 nb_sec=11026
case_no=140 label=Case6.128 nb_sol=0 ticks=1303677 tps=100 nb_sec=13036
case_no=140 label=Case6.128 nb_sol=0 ticks=511863 tps=100 nb_sec=5118
case_no=140 label=Case6.128 nb_sol=0 ticks=1292832 tps=100 nb_sec=12928
case_no=140 label=Case6.128 nb_sol=0 ticks=859598 tps=100 nb_sec=8595
case_no=140 label=Case6.128 nb_sol=0 ticks=1078094 tps=100 nb_sec=10780
case_no=140 label=Case6.128 nb_sol=0 ticks=1070659 tps=100 nb_sec=10706
case_no=140 label=Case6.128 nb_sol=0 ticks=1126648 tps=100 nb_sec=11266
case_no=140 label=Case6.128 nb_sol=0 ticks=1102356 tps=100 nb_sec=11023
case_no=140 label=Case6.128 nb_sol=0 ticks=1038235 tps=100 nb_sec=10382
case_no=140 label=Case6.128 nb_sol=0 ticks=1026152 tps=100 nb_sec=10261
case_no=140 label=Case6.128 nb_sol=0 ticks=1087822 tps=100 nb_sec=10878
case_no=140 label=Case6.128 nb_sol=0 ticks=1083510 tps=100 nb_sec=10835
case_no=140 label=Case6.128 nb_sol=0 ticks=1188621 tps=100 nb_sec=11886
case_no=140 label=Case6.128 nb_sol=0 ticks=639931 tps=100 nb_sec=6399
case_no=140 label=Case6.128 nb_sol=0 ticks=1098471 tps=100 nb_sec=10984
case_no=140 label=Case6.128 nb_sol=0 ticks=1017475 tps=100 nb_sec=10174
case_no=140 label=Case6.128 nb_sol=0 ticks=1261866 tps=100 nb_sec=12618
case_no=140 label=Case6.128 nb_sol=0 ticks=499534 tps=100 nb_sec=4995
case_no=140 label=Case6.128 nb_sol=0 ticks=954794 tps=100 nb_sec=9547
case_no=140 label=Case6.128 nb_sol=0 ticks=1013161 tps=100 nb_sec=10131
case_no=140 label=Case6.128 nb_sol=0 ticks=1073934 tps=100 nb_sec=10739
case_no=140 label=Case6.128 nb_sol=0 ticks=682464 tps=100 nb_sec=6824
case_no=140 label=Case6.128 nb_sol=0 ticks=1101552 tps=100 nb_sec=11015
case_no=140 label=Case6.128 nb_sol=0 ticks=1100205 tps=100 nb_sec=11002
case_no=140 label=Case6.128 nb_sol=0 ticks=1263630 tps=100 nb_sec=12636
case_no=140 label=Case6.128 nb_sol=0 ticks=1068598 tps=100 nb_sec=10685
case_no=140 label=Case6.128 nb_sol=0 ticks=1228219 tps=100 nb_sec=12282
case_no=140 label=Case6.128 nb_sol=0 ticks=952714 tps=100 nb_sec=9527
case_no=140 label=Case6.128 nb_sol=0 ticks=622955 tps=100 nb_sec=6229
case_no=140 label=Case6.128 nb_sol=0 ticks=1200871 tps=100 nb_sec=12008
case_no=140 label=Case6.128 nb_sol=0 ticks=1309682 tps=100 nb_sec=13096
case_no=140 label=Case6.128 nb_sol=0 ticks=944036 tps=100 nb_sec=9440
case_no=140 label=Case6.128 nb_sol=0 ticks=1373379 tps=100 nb_sec=13733
case_no=140 label=Case6.128 nb_sol=0 ticks=957504 tps=100 nb_sec=9575
case_no=140 label=Case6.128 nb_sol=0 ticks=851658 tps=100 nb_sec=8516
case_no=140 label=Case6.128 nb_sol=0 ticks=787738 tps=100 nb_sec=7877
case_no=140 label=Case6.128 nb_sol=0 ticks=977945 tps=100 nb_sec=9779
case_no=140 label=Case6.128 nb_sol=0 ticks=637898 tps=100 nb_sec=6378
case_no=140 label=Case6.128 nb_sol=0 ticks=1053404 tps=100 nb_sec=10534
case_no=140 label=Case6.128 nb_sol=0 ticks=502645 tps=100 nb_sec=5026
case_no=140 label=Case6.128 nb_sol=0 ticks=1061261 tps=100 nb_sec=10612
case_no=140 label=Case6.128 nb_sol=0 ticks=1259010 tps=100 nb_sec=12590
case_no=140 label=Case6.128 nb_sol=0 ticks=1306492 tps=100 nb_sec=13064
case_no=140 label=Case6.128 nb_sol=0 ticks=1157754 tps=100 nb_sec=11577
case_no=140 label=Case6.128 nb_sol=0 ticks=1305576 tps=100 nb_sec=13055
case_no=140 label=Case6.128 nb_sol=0 ticks=891020 tps=100 nb_sec=8910
case_no=140 label=Case6.128 nb_sol=0 ticks=513580 tps=100 nb_sec=5135
case_no=140 label=Case6.128 nb_sol=0 ticks=1607093 tps=100 nb_sec=16070
case_no=140 label=Case6.128 nb_sol=0 ticks=525452 tps=100 nb_sec=5254
case_no=140 label=Case6.128 nb_sol=0 ticks=1007360 tps=100 nb_sec=10073
case_no=140 label=Case6.128 nb_sol=0 ticks=998408 tps=100 nb_sec=9984
case_no=140 label=Case6.128 nb_sol=0 ticks=936789 tps=100 nb_sec=9367
case_no=140 label=Case6.128 nb_sol=0 ticks=850217 tps=100 nb_sec=8502
case_no=140 label=Case6.128 nb_sol=0 ticks=408511 tps=100 nb_sec=4085
case_no=140 label=Case6.128 nb_sol=0 ticks=504403 tps=100 nb_sec=5044
Nb_sol=0
Nb_sec=5410732
62-14:58:52 or 1502 hours
missing cases:
none