argc=5
-M 512
file2=30_select_Case6.67_starter_16_
checking files mod 512 from 0 to 511
case_no=79 label=Case6.67 nb_sol=0 ticks=40131 tps=100 nb_sec=401
case_no=79 label=Case6.67 nb_sol=0 ticks=98013 tps=100 nb_sec=980
case_no=79 label=Case6.67 nb_sol=0 ticks=118565 tps=100 nb_sec=1185
case_no=79 label=Case6.67 nb_sol=0 ticks=74556 tps=100 nb_sec=745
case_no=79 label=Case6.67 nb_sol=0 ticks=84924 tps=100 nb_sec=849
case_no=79 label=Case6.67 nb_sol=0 ticks=65536 tps=100 nb_sec=655
case_no=79 label=Case6.67 nb_sol=0 ticks=82061 tps=100 nb_sec=820
case_no=79 label=Case6.67 nb_sol=0 ticks=65639 tps=100 nb_sec=656
case_no=79 label=Case6.67 nb_sol=0 ticks=89797 tps=100 nb_sec=897
case_no=79 label=Case6.67 nb_sol=0 ticks=92209 tps=100 nb_sec=922
case_no=79 label=Case6.67 nb_sol=0 ticks=96753 tps=100 nb_sec=967
case_no=79 label=Case6.67 nb_sol=0 ticks=87313 tps=100 nb_sec=873
case_no=79 label=Case6.67 nb_sol=0 ticks=101674 tps=100 nb_sec=1016
case_no=79 label=Case6.67 nb_sol=0 ticks=134419 tps=100 nb_sec=1344
case_no=79 label=Case6.67 nb_sol=0 ticks=63244 tps=100 nb_sec=632
case_no=79 label=Case6.67 nb_sol=0 ticks=81351 tps=100 nb_sec=813
case_no=79 label=Case6.67 nb_sol=0 ticks=80636 tps=100 nb_sec=806
case_no=79 label=Case6.67 nb_sol=0 ticks=50781 tps=100 nb_sec=507
case_no=79 label=Case6.67 nb_sol=0 ticks=56337 tps=100 nb_sec=563
case_no=79 label=Case6.67 nb_sol=0 ticks=72211 tps=100 nb_sec=722
case_no=79 label=Case6.67 nb_sol=0 ticks=74342 tps=100 nb_sec=743
case_no=79 label=Case6.67 nb_sol=0 ticks=87332 tps=100 nb_sec=873
case_no=79 label=Case6.67 nb_sol=0 ticks=43216 tps=100 nb_sec=432
case_no=79 label=Case6.67 nb_sol=0 ticks=53868 tps=100 nb_sec=538
case_no=79 label=Case6.67 nb_sol=0 ticks=45006 tps=100 nb_sec=450
case_no=79 label=Case6.67 nb_sol=0 ticks=88690 tps=100 nb_sec=886
case_no=79 label=Case6.67 nb_sol=0 ticks=119609 tps=100 nb_sec=1196
case_no=79 label=Case6.67 nb_sol=0 ticks=85276 tps=100 nb_sec=852
case_no=79 label=Case6.67 nb_sol=0 ticks=70441 tps=100 nb_sec=704
case_no=79 label=Case6.67 nb_sol=0 ticks=40093 tps=100 nb_sec=400
case_no=79 label=Case6.67 nb_sol=0 ticks=85995 tps=100 nb_sec=859
case_no=79 label=Case6.67 nb_sol=0 ticks=80209 tps=100 nb_sec=802
case_no=79 label=Case6.67 nb_sol=0 ticks=92922 tps=100 nb_sec=929
case_no=79 label=Case6.67 nb_sol=0 ticks=56408 tps=100 nb_sec=564
case_no=79 label=Case6.67 nb_sol=0 ticks=78639 tps=100 nb_sec=786
case_no=79 label=Case6.67 nb_sol=0 ticks=86956 tps=100 nb_sec=869
case_no=79 label=Case6.67 nb_sol=0 ticks=101475 tps=100 nb_sec=1014
case_no=79 label=Case6.67 nb_sol=0 ticks=95048 tps=100 nb_sec=950
case_no=79 label=Case6.67 nb_sol=0 ticks=91060 tps=100 nb_sec=910
case_no=79 label=Case6.67 nb_sol=0 ticks=75781 tps=100 nb_sec=757
case_no=79 label=Case6.67 nb_sol=0 ticks=67009 tps=100 nb_sec=670
case_no=79 label=Case6.67 nb_sol=0 ticks=46722 tps=100 nb_sec=467
case_no=79 label=Case6.67 nb_sol=0 ticks=52661 tps=100 nb_sec=526
case_no=79 label=Case6.67 nb_sol=0 ticks=92133 tps=100 nb_sec=921
case_no=79 label=Case6.67 nb_sol=0 ticks=41911 tps=100 nb_sec=419
case_no=79 label=Case6.67 nb_sol=0 ticks=90226 tps=100 nb_sec=902
case_no=79 label=Case6.67 nb_sol=0 ticks=46629 tps=100 nb_sec=466
case_no=79 label=Case6.67 nb_sol=0 ticks=91101 tps=100 nb_sec=911
case_no=79 label=Case6.67 nb_sol=0 ticks=52874 tps=100 nb_sec=528
case_no=79 label=Case6.67 nb_sol=0 ticks=91604 tps=100 nb_sec=916
case_no=79 label=Case6.67 nb_sol=0 ticks=95625 tps=100 nb_sec=956
case_no=79 label=Case6.67 nb_sol=0 ticks=38248 tps=100 nb_sec=382
case_no=79 label=Case6.67 nb_sol=0 ticks=84432 tps=100 nb_sec=844
case_no=79 label=Case6.67 nb_sol=0 ticks=44393 tps=100 nb_sec=443
case_no=79 label=Case6.67 nb_sol=0 ticks=73263 tps=100 nb_sec=732
case_no=79 label=Case6.67 nb_sol=0 ticks=91428 tps=100 nb_sec=914
case_no=79 label=Case6.67 nb_sol=0 ticks=40698 tps=100 nb_sec=406
case_no=79 label=Case6.67 nb_sol=0 ticks=85520 tps=100 nb_sec=855
case_no=79 label=Case6.67 nb_sol=0 ticks=45714 tps=100 nb_sec=457
case_no=79 label=Case6.67 nb_sol=0 ticks=106140 tps=100 nb_sec=1061
case_no=79 label=Case6.67 nb_sol=0 ticks=45255 tps=100 nb_sec=452
case_no=79 label=Case6.67 nb_sol=0 ticks=48216 tps=100 nb_sec=482
case_no=79 label=Case6.67 nb_sol=0 ticks=93121 tps=100 nb_sec=931
case_no=79 label=Case6.67 nb_sol=0 ticks=99253 tps=100 nb_sec=992
case_no=79 label=Case6.67 nb_sol=0 ticks=91318 tps=100 nb_sec=913
case_no=79 label=Case6.67 nb_sol=0 ticks=77472 tps=100 nb_sec=774
case_no=79 label=Case6.67 nb_sol=0 ticks=57823 tps=100 nb_sec=578
case_no=79 label=Case6.67 nb_sol=0 ticks=41059 tps=100 nb_sec=410
case_no=79 label=Case6.67 nb_sol=0 ticks=58557 tps=100 nb_sec=585
case_no=79 label=Case6.67 nb_sol=0 ticks=68749 tps=100 nb_sec=687
case_no=79 label=Case6.67 nb_sol=0 ticks=72744 tps=100 nb_sec=727
case_no=79 label=Case6.67 nb_sol=0 ticks=85165 tps=100 nb_sec=851
case_no=79 label=Case6.67 nb_sol=0 ticks=55979 tps=100 nb_sec=559
case_no=79 label=Case6.67 nb_sol=0 ticks=70970 tps=100 nb_sec=709
case_no=79 label=Case6.67 nb_sol=0 ticks=47578 tps=100 nb_sec=475
case_no=79 label=Case6.67 nb_sol=0 ticks=100902 tps=100 nb_sec=1009
case_no=79 label=Case6.67 nb_sol=0 ticks=91829 tps=100 nb_sec=918
case_no=79 label=Case6.67 nb_sol=0 ticks=76972 tps=100 nb_sec=769
case_no=79 label=Case6.67 nb_sol=0 ticks=92279 tps=100 nb_sec=922
case_no=79 label=Case6.67 nb_sol=0 ticks=48125 tps=100 nb_sec=481
case_no=79 label=Case6.67 nb_sol=0 ticks=106688 tps=100 nb_sec=1066
case_no=79 label=Case6.67 nb_sol=0 ticks=80895 tps=100 nb_sec=808
case_no=79 label=Case6.67 nb_sol=0 ticks=60748 tps=100 nb_sec=607
case_no=79 label=Case6.67 nb_sol=0 ticks=89189 tps=100 nb_sec=891
case_no=79 label=Case6.67 nb_sol=0 ticks=108121 tps=100 nb_sec=1081
case_no=79 label=Case6.67 nb_sol=0 ticks=85207 tps=100 nb_sec=852
case_no=79 label=Case6.67 nb_sol=0 ticks=57285 tps=100 nb_sec=572
case_no=79 label=Case6.67 nb_sol=0 ticks=92898 tps=100 nb_sec=928
case_no=79 label=Case6.67 nb_sol=0 ticks=80656 tps=100 nb_sec=806
case_no=79 label=Case6.67 nb_sol=0 ticks=86077 tps=100 nb_sec=860
case_no=79 label=Case6.67 nb_sol=0 ticks=136776 tps=100 nb_sec=1367
case_no=79 label=Case6.67 nb_sol=0 ticks=81738 tps=100 nb_sec=817
case_no=79 label=Case6.67 nb_sol=0 ticks=99783 tps=100 nb_sec=997
case_no=79 label=Case6.67 nb_sol=0 ticks=90339 tps=100 nb_sec=903
case_no=79 label=Case6.67 nb_sol=0 ticks=63707 tps=100 nb_sec=637
case_no=79 label=Case6.67 nb_sol=0 ticks=53258 tps=100 nb_sec=532
case_no=79 label=Case6.67 nb_sol=0 ticks=80107 tps=100 nb_sec=801
case_no=79 label=Case6.67 nb_sol=0 ticks=77880 tps=100 nb_sec=778
case_no=79 label=Case6.67 nb_sol=0 ticks=59115 tps=100 nb_sec=591
case_no=79 label=Case6.67 nb_sol=0 ticks=68234 tps=100 nb_sec=682
case_no=79 label=Case6.67 nb_sol=0 ticks=44571 tps=100 nb_sec=445
case_no=79 label=Case6.67 nb_sol=0 ticks=91131 tps=100 nb_sec=911
case_no=79 label=Case6.67 nb_sol=0 ticks=127894 tps=100 nb_sec=1278
case_no=79 label=Case6.67 nb_sol=0 ticks=105513 tps=100 nb_sec=1055
case_no=79 label=Case6.67 nb_sol=0 ticks=55724 tps=100 nb_sec=557
case_no=79 label=Case6.67 nb_sol=0 ticks=43609 tps=100 nb_sec=436
case_no=79 label=Case6.67 nb_sol=0 ticks=74372 tps=100 nb_sec=743
case_no=79 label=Case6.67 nb_sol=0 ticks=84820 tps=100 nb_sec=848
case_no=79 label=Case6.67 nb_sol=0 ticks=63698 tps=100 nb_sec=636
case_no=79 label=Case6.67 nb_sol=0 ticks=90853 tps=100 nb_sec=908
case_no=79 label=Case6.67 nb_sol=0 ticks=70179 tps=100 nb_sec=701
case_no=79 label=Case6.67 nb_sol=0 ticks=103030 tps=100 nb_sec=1030
case_no=79 label=Case6.67 nb_sol=0 ticks=143733 tps=100 nb_sec=1437
case_no=79 label=Case6.67 nb_sol=0 ticks=96946 tps=100 nb_sec=969
case_no=79 label=Case6.67 nb_sol=0 ticks=86154 tps=100 nb_sec=861
case_no=79 label=Case6.67 nb_sol=0 ticks=41987 tps=100 nb_sec=419
case_no=79 label=Case6.67 nb_sol=0 ticks=77907 tps=100 nb_sec=779
case_no=79 label=Case6.67 nb_sol=0 ticks=83692 tps=100 nb_sec=836
case_no=79 label=Case6.67 nb_sol=0 ticks=40955 tps=100 nb_sec=409
case_no=79 label=Case6.67 nb_sol=0 ticks=62406 tps=100 nb_sec=624
case_no=79 label=Case6.67 nb_sol=0 ticks=92997 tps=100 nb_sec=929
case_no=79 label=Case6.67 nb_sol=0 ticks=101373 tps=100 nb_sec=1013
case_no=79 label=Case6.67 nb_sol=0 ticks=124215 tps=100 nb_sec=1242
case_no=79 label=Case6.67 nb_sol=0 ticks=95821 tps=100 nb_sec=958
case_no=79 label=Case6.67 nb_sol=0 ticks=86593 tps=100 nb_sec=865
case_no=79 label=Case6.67 nb_sol=0 ticks=48303 tps=100 nb_sec=483
case_no=79 label=Case6.67 nb_sol=0 ticks=77078 tps=100 nb_sec=770
case_no=79 label=Case6.67 nb_sol=0 ticks=89848 tps=100 nb_sec=898
case_no=79 label=Case6.67 nb_sol=0 ticks=62818 tps=100 nb_sec=628
case_no=79 label=Case6.67 nb_sol=0 ticks=76751 tps=100 nb_sec=767
case_no=79 label=Case6.67 nb_sol=0 ticks=81977 tps=100 nb_sec=819
case_no=79 label=Case6.67 nb_sol=0 ticks=96996 tps=100 nb_sec=969
case_no=79 label=Case6.67 nb_sol=0 ticks=152951 tps=100 nb_sec=1529
case_no=79 label=Case6.67 nb_sol=0 ticks=44101 tps=100 nb_sec=441
case_no=79 label=Case6.67 nb_sol=0 ticks=80085 tps=100 nb_sec=800
case_no=79 label=Case6.67 nb_sol=0 ticks=82979 tps=100 nb_sec=829
case_no=79 label=Case6.67 nb_sol=0 ticks=64997 tps=100 nb_sec=649
case_no=79 label=Case6.67 nb_sol=0 ticks=60172 tps=100 nb_sec=601
case_no=79 label=Case6.67 nb_sol=0 ticks=70808 tps=100 nb_sec=708
case_no=79 label=Case6.67 nb_sol=0 ticks=136110 tps=100 nb_sec=1361
case_no=79 label=Case6.67 nb_sol=0 ticks=85097 tps=100 nb_sec=850
case_no=79 label=Case6.67 nb_sol=0 ticks=93731 tps=100 nb_sec=937
case_no=79 label=Case6.67 nb_sol=0 ticks=68006 tps=100 nb_sec=680
case_no=79 label=Case6.67 nb_sol=0 ticks=84632 tps=100 nb_sec=846
case_no=79 label=Case6.67 nb_sol=0 ticks=64890 tps=100 nb_sec=648
case_no=79 label=Case6.67 nb_sol=0 ticks=64294 tps=100 nb_sec=642
case_no=79 label=Case6.67 nb_sol=0 ticks=91261 tps=100 nb_sec=912
case_no=79 label=Case6.67 nb_sol=0 ticks=49483 tps=100 nb_sec=494
case_no=79 label=Case6.67 nb_sol=0 ticks=84121 tps=100 nb_sec=841
case_no=79 label=Case6.67 nb_sol=0 ticks=79577 tps=100 nb_sec=795
case_no=79 label=Case6.67 nb_sol=0 ticks=38835 tps=100 nb_sec=388
case_no=79 label=Case6.67 nb_sol=0 ticks=94557 tps=100 nb_sec=945
case_no=79 label=Case6.67 nb_sol=0 ticks=75105 tps=100 nb_sec=751
case_no=79 label=Case6.67 nb_sol=0 ticks=85589 tps=100 nb_sec=855
case_no=79 label=Case6.67 nb_sol=0 ticks=132916 tps=100 nb_sec=1329
case_no=79 label=Case6.67 nb_sol=0 ticks=76785 tps=100 nb_sec=767
case_no=79 label=Case6.67 nb_sol=0 ticks=40216 tps=100 nb_sec=402
case_no=79 label=Case6.67 nb_sol=0 ticks=46075 tps=100 nb_sec=460
case_no=79 label=Case6.67 nb_sol=0 ticks=70344 tps=100 nb_sec=703
case_no=79 label=Case6.67 nb_sol=0 ticks=95140 tps=100 nb_sec=951
case_no=79 label=Case6.67 nb_sol=0 ticks=62147 tps=100 nb_sec=621
case_no=79 label=Case6.67 nb_sol=0 ticks=95055 tps=100 nb_sec=950
case_no=79 label=Case6.67 nb_sol=0 ticks=128387 tps=100 nb_sec=1283
case_no=79 label=Case6.67 nb_sol=0 ticks=49787 tps=100 nb_sec=497
case_no=79 label=Case6.67 nb_sol=0 ticks=86526 tps=100 nb_sec=865
case_no=79 label=Case6.67 nb_sol=0 ticks=93556 tps=100 nb_sec=935
case_no=79 label=Case6.67 nb_sol=0 ticks=39384 tps=100 nb_sec=393
case_no=79 label=Case6.67 nb_sol=0 ticks=47122 tps=100 nb_sec=471
case_no=79 label=Case6.67 nb_sol=0 ticks=70349 tps=100 nb_sec=703
case_no=79 label=Case6.67 nb_sol=0 ticks=94571 tps=100 nb_sec=945
case_no=79 label=Case6.67 nb_sol=0 ticks=69294 tps=100 nb_sec=692
case_no=79 label=Case6.67 nb_sol=0 ticks=107298 tps=100 nb_sec=1072
case_no=79 label=Case6.67 nb_sol=0 ticks=137093 tps=100 nb_sec=1370
case_no=79 label=Case6.67 nb_sol=0 ticks=65657 tps=100 nb_sec=656
case_no=79 label=Case6.67 nb_sol=0 ticks=113213 tps=100 nb_sec=1132
case_no=79 label=Case6.67 nb_sol=0 ticks=89272 tps=100 nb_sec=892
case_no=79 label=Case6.67 nb_sol=0 ticks=55548 tps=100 nb_sec=555
case_no=79 label=Case6.67 nb_sol=0 ticks=93756 tps=100 nb_sec=937
case_no=79 label=Case6.67 nb_sol=0 ticks=62759 tps=100 nb_sec=627
case_no=79 label=Case6.67 nb_sol=0 ticks=120117 tps=100 nb_sec=1201
case_no=79 label=Case6.67 nb_sol=0 ticks=63477 tps=100 nb_sec=634
case_no=79 label=Case6.67 nb_sol=0 ticks=94287 tps=100 nb_sec=942
case_no=79 label=Case6.67 nb_sol=0 ticks=59290 tps=100 nb_sec=592
case_no=79 label=Case6.67 nb_sol=0 ticks=123262 tps=100 nb_sec=1232
case_no=79 label=Case6.67 nb_sol=0 ticks=51537 tps=100 nb_sec=515
case_no=79 label=Case6.67 nb_sol=0 ticks=101951 tps=100 nb_sec=1019
case_no=79 label=Case6.67 nb_sol=0 ticks=48848 tps=100 nb_sec=488
case_no=79 label=Case6.67 nb_sol=0 ticks=100722 tps=100 nb_sec=1007
case_no=79 label=Case6.67 nb_sol=0 ticks=49653 tps=100 nb_sec=496
case_no=79 label=Case6.67 nb_sol=0 ticks=124369 tps=100 nb_sec=1243
case_no=79 label=Case6.67 nb_sol=0 ticks=60077 tps=100 nb_sec=600
case_no=79 label=Case6.67 nb_sol=0 ticks=62762 tps=100 nb_sec=627
case_no=79 label=Case6.67 nb_sol=0 ticks=45549 tps=100 nb_sec=455
case_no=79 label=Case6.67 nb_sol=0 ticks=118160 tps=100 nb_sec=1181
case_no=79 label=Case6.67 nb_sol=0 ticks=58824 tps=100 nb_sec=588
case_no=79 label=Case6.67 nb_sol=0 ticks=54456 tps=100 nb_sec=544
case_no=79 label=Case6.67 nb_sol=0 ticks=93492 tps=100 nb_sec=934
case_no=79 label=Case6.67 nb_sol=0 ticks=77175 tps=100 nb_sec=771
case_no=79 label=Case6.67 nb_sol=0 ticks=44786 tps=100 nb_sec=447
case_no=79 label=Case6.67 nb_sol=0 ticks=114163 tps=100 nb_sec=1141
case_no=79 label=Case6.67 nb_sol=0 ticks=66632 tps=100 nb_sec=666
case_no=79 label=Case6.67 nb_sol=0 ticks=58926 tps=100 nb_sec=589
case_no=79 label=Case6.67 nb_sol=0 ticks=75195 tps=100 nb_sec=751
case_no=79 label=Case6.67 nb_sol=0 ticks=94141 tps=100 nb_sec=941
case_no=79 label=Case6.67 nb_sol=0 ticks=62045 tps=100 nb_sec=620
case_no=79 label=Case6.67 nb_sol=0 ticks=68788 tps=100 nb_sec=687
case_no=79 label=Case6.67 nb_sol=0 ticks=55285 tps=100 nb_sec=552
case_no=79 label=Case6.67 nb_sol=0 ticks=71325 tps=100 nb_sec=713
case_no=79 label=Case6.67 nb_sol=0 ticks=42994 tps=100 nb_sec=429
case_no=79 label=Case6.67 nb_sol=0 ticks=134055 tps=100 nb_sec=1340
case_no=79 label=Case6.67 nb_sol=0 ticks=80674 tps=100 nb_sec=806
case_no=79 label=Case6.67 nb_sol=0 ticks=60462 tps=100 nb_sec=604
case_no=79 label=Case6.67 nb_sol=0 ticks=140776 tps=100 nb_sec=1407
case_no=79 label=Case6.67 nb_sol=0 ticks=45430 tps=100 nb_sec=454
case_no=79 label=Case6.67 nb_sol=0 ticks=89186 tps=100 nb_sec=891
case_no=79 label=Case6.67 nb_sol=0 ticks=58240 tps=100 nb_sec=582
case_no=79 label=Case6.67 nb_sol=0 ticks=48279 tps=100 nb_sec=482
case_no=79 label=Case6.67 nb_sol=0 ticks=97109 tps=100 nb_sec=971
case_no=79 label=Case6.67 nb_sol=0 ticks=120922 tps=100 nb_sec=1209
case_no=79 label=Case6.67 nb_sol=0 ticks=50525 tps=100 nb_sec=505
case_no=79 label=Case6.67 nb_sol=0 ticks=72404 tps=100 nb_sec=724
case_no=79 label=Case6.67 nb_sol=0 ticks=80926 tps=100 nb_sec=809
case_no=79 label=Case6.67 nb_sol=0 ticks=92413 tps=100 nb_sec=924
case_no=79 label=Case6.67 nb_sol=0 ticks=120536 tps=100 nb_sec=1205
case_no=79 label=Case6.67 nb_sol=0 ticks=92054 tps=100 nb_sec=920
case_no=79 label=Case6.67 nb_sol=0 ticks=89912 tps=100 nb_sec=899
case_no=79 label=Case6.67 nb_sol=0 ticks=39420 tps=100 nb_sec=394
case_no=79 label=Case6.67 nb_sol=0 ticks=64843 tps=100 nb_sec=648
case_no=79 label=Case6.67 nb_sol=0 ticks=46604 tps=100 nb_sec=466
case_no=79 label=Case6.67 nb_sol=0 ticks=88946 tps=100 nb_sec=889
case_no=79 label=Case6.67 nb_sol=0 ticks=106379 tps=100 nb_sec=1063
case_no=79 label=Case6.67 nb_sol=0 ticks=58780 tps=100 nb_sec=587
case_no=79 label=Case6.67 nb_sol=0 ticks=53604 tps=100 nb_sec=536
case_no=79 label=Case6.67 nb_sol=0 ticks=82050 tps=100 nb_sec=820
case_no=79 label=Case6.67 nb_sol=0 ticks=99680 tps=100 nb_sec=996
case_no=79 label=Case6.67 nb_sol=0 ticks=79330 tps=100 nb_sec=793
case_no=79 label=Case6.67 nb_sol=0 ticks=65738 tps=100 nb_sec=657
case_no=79 label=Case6.67 nb_sol=0 ticks=93472 tps=100 nb_sec=934
case_no=79 label=Case6.67 nb_sol=0 ticks=104993 tps=100 nb_sec=1049
case_no=79 label=Case6.67 nb_sol=0 ticks=94331 tps=100 nb_sec=943
case_no=79 label=Case6.67 nb_sol=0 ticks=42862 tps=100 nb_sec=428
case_no=79 label=Case6.67 nb_sol=0 ticks=59742 tps=100 nb_sec=597
case_no=79 label=Case6.67 nb_sol=0 ticks=47414 tps=100 nb_sec=474
case_no=79 label=Case6.67 nb_sol=0 ticks=53877 tps=100 nb_sec=538
case_no=79 label=Case6.67 nb_sol=0 ticks=64579 tps=100 nb_sec=645
case_no=79 label=Case6.67 nb_sol=0 ticks=52459 tps=100 nb_sec=524
case_no=79 label=Case6.67 nb_sol=0 ticks=90405 tps=100 nb_sec=904
case_no=79 label=Case6.67 nb_sol=0 ticks=114106 tps=100 nb_sec=1141
case_no=79 label=Case6.67 nb_sol=0 ticks=65482 tps=100 nb_sec=654
case_no=79 label=Case6.67 nb_sol=0 ticks=38602 tps=100 nb_sec=386
case_no=79 label=Case6.67 nb_sol=0 ticks=59390 tps=100 nb_sec=593
case_no=79 label=Case6.67 nb_sol=0 ticks=82641 tps=100 nb_sec=826
case_no=79 label=Case6.67 nb_sol=0 ticks=45436 tps=100 nb_sec=454
case_no=79 label=Case6.67 nb_sol=0 ticks=49940 tps=100 nb_sec=499
case_no=79 label=Case6.67 nb_sol=0 ticks=97719 tps=100 nb_sec=977
case_no=79 label=Case6.67 nb_sol=0 ticks=89902 tps=100 nb_sec=899
case_no=79 label=Case6.67 nb_sol=0 ticks=43662 tps=100 nb_sec=436
case_no=79 label=Case6.67 nb_sol=0 ticks=59694 tps=100 nb_sec=596
case_no=79 label=Case6.67 nb_sol=0 ticks=47129 tps=100 nb_sec=471
case_no=79 label=Case6.67 nb_sol=0 ticks=114811 tps=100 nb_sec=1148
case_no=79 label=Case6.67 nb_sol=0 ticks=102283 tps=100 nb_sec=1022
case_no=79 label=Case6.67 nb_sol=0 ticks=42865 tps=100 nb_sec=428
case_no=79 label=Case6.67 nb_sol=0 ticks=86770 tps=100 nb_sec=867
case_no=79 label=Case6.67 nb_sol=0 ticks=47992 tps=100 nb_sec=479
case_no=79 label=Case6.67 nb_sol=0 ticks=79302 tps=100 nb_sec=793
case_no=79 label=Case6.67 nb_sol=0 ticks=133251 tps=100 nb_sec=1332
case_no=79 label=Case6.67 nb_sol=0 ticks=33840 tps=100 nb_sec=338
case_no=79 label=Case6.67 nb_sol=0 ticks=84551 tps=100 nb_sec=845
case_no=79 label=Case6.67 nb_sol=0 ticks=63375 tps=100 nb_sec=633
case_no=79 label=Case6.67 nb_sol=0 ticks=79309 tps=100 nb_sec=793
case_no=79 label=Case6.67 nb_sol=0 ticks=108883 tps=100 nb_sec=1088
case_no=79 label=Case6.67 nb_sol=0 ticks=38815 tps=100 nb_sec=388
case_no=79 label=Case6.67 nb_sol=0 ticks=51682 tps=100 nb_sec=516
case_no=79 label=Case6.67 nb_sol=0 ticks=100071 tps=100 nb_sec=1000
case_no=79 label=Case6.67 nb_sol=0 ticks=56852 tps=100 nb_sec=568
case_no=79 label=Case6.67 nb_sol=0 ticks=88183 tps=100 nb_sec=881
case_no=79 label=Case6.67 nb_sol=0 ticks=89287 tps=100 nb_sec=892
case_no=79 label=Case6.67 nb_sol=0 ticks=82922 tps=100 nb_sec=829
case_no=79 label=Case6.67 nb_sol=0 ticks=71892 tps=100 nb_sec=718
case_no=79 label=Case6.67 nb_sol=0 ticks=100288 tps=100 nb_sec=1002
case_no=79 label=Case6.67 nb_sol=0 ticks=135220 tps=100 nb_sec=1352
case_no=79 label=Case6.67 nb_sol=0 ticks=81429 tps=100 nb_sec=814
case_no=79 label=Case6.67 nb_sol=0 ticks=100469 tps=100 nb_sec=1004
case_no=79 label=Case6.67 nb_sol=0 ticks=92249 tps=100 nb_sec=922
case_no=79 label=Case6.67 nb_sol=0 ticks=44228 tps=100 nb_sec=442
case_no=79 label=Case6.67 nb_sol=0 ticks=97001 tps=100 nb_sec=970
case_no=79 label=Case6.67 nb_sol=0 ticks=86832 tps=100 nb_sec=868
case_no=79 label=Case6.67 nb_sol=0 ticks=87669 tps=100 nb_sec=876
case_no=79 label=Case6.67 nb_sol=0 ticks=79921 tps=100 nb_sec=799
case_no=79 label=Case6.67 nb_sol=0 ticks=91443 tps=100 nb_sec=914
case_no=79 label=Case6.67 nb_sol=0 ticks=86247 tps=100 nb_sec=862
case_no=79 label=Case6.67 nb_sol=0 ticks=76139 tps=100 nb_sec=761
case_no=79 label=Case6.67 nb_sol=0 ticks=90308 tps=100 nb_sec=903
case_no=79 label=Case6.67 nb_sol=0 ticks=86690 tps=100 nb_sec=866
case_no=79 label=Case6.67 nb_sol=0 ticks=60140 tps=100 nb_sec=601
case_no=79 label=Case6.67 nb_sol=0 ticks=91432 tps=100 nb_sec=914
case_no=79 label=Case6.67 nb_sol=0 ticks=124294 tps=100 nb_sec=1242
case_no=79 label=Case6.67 nb_sol=0 ticks=96999 tps=100 nb_sec=969
case_no=79 label=Case6.67 nb_sol=0 ticks=69469 tps=100 nb_sec=694
case_no=79 label=Case6.67 nb_sol=0 ticks=84651 tps=100 nb_sec=846
case_no=79 label=Case6.67 nb_sol=0 ticks=95198 tps=100 nb_sec=951
case_no=79 label=Case6.67 nb_sol=0 ticks=83144 tps=100 nb_sec=831
case_no=79 label=Case6.67 nb_sol=0 ticks=74627 tps=100 nb_sec=746
case_no=79 label=Case6.67 nb_sol=0 ticks=73770 tps=100 nb_sec=737
case_no=79 label=Case6.67 nb_sol=0 ticks=81831 tps=100 nb_sec=818
case_no=79 label=Case6.67 nb_sol=0 ticks=76909 tps=100 nb_sec=769
case_no=79 label=Case6.67 nb_sol=0 ticks=61923 tps=100 nb_sec=619
case_no=79 label=Case6.67 nb_sol=0 ticks=77529 tps=100 nb_sec=775
case_no=79 label=Case6.67 nb_sol=0 ticks=94372 tps=100 nb_sec=943
case_no=79 label=Case6.67 nb_sol=0 ticks=66570 tps=100 nb_sec=665
case_no=79 label=Case6.67 nb_sol=0 ticks=68015 tps=100 nb_sec=680
case_no=79 label=Case6.67 nb_sol=0 ticks=75647 tps=100 nb_sec=756
case_no=79 label=Case6.67 nb_sol=0 ticks=86958 tps=100 nb_sec=869
case_no=79 label=Case6.67 nb_sol=0 ticks=70345 tps=100 nb_sec=703
case_no=79 label=Case6.67 nb_sol=0 ticks=79517 tps=100 nb_sec=795
case_no=79 label=Case6.67 nb_sol=0 ticks=85976 tps=100 nb_sec=859
case_no=79 label=Case6.67 nb_sol=0 ticks=42611 tps=100 nb_sec=426
case_no=79 label=Case6.67 nb_sol=0 ticks=79905 tps=100 nb_sec=799
case_no=79 label=Case6.67 nb_sol=0 ticks=97927 tps=100 nb_sec=979
case_no=79 label=Case6.67 nb_sol=0 ticks=36392 tps=100 nb_sec=363
case_no=79 label=Case6.67 nb_sol=0 ticks=81435 tps=100 nb_sec=814
case_no=79 label=Case6.67 nb_sol=0 ticks=60575 tps=100 nb_sec=605
case_no=79 label=Case6.67 nb_sol=0 ticks=84058 tps=100 nb_sec=840
case_no=79 label=Case6.67 nb_sol=0 ticks=41368 tps=100 nb_sec=413
case_no=79 label=Case6.67 nb_sol=0 ticks=75376 tps=100 nb_sec=753
case_no=79 label=Case6.67 nb_sol=0 ticks=92454 tps=100 nb_sec=924
case_no=79 label=Case6.67 nb_sol=0 ticks=53783 tps=100 nb_sec=537
case_no=79 label=Case6.67 nb_sol=0 ticks=83426 tps=100 nb_sec=834
case_no=79 label=Case6.67 nb_sol=0 ticks=86508 tps=100 nb_sec=865
case_no=79 label=Case6.67 nb_sol=0 ticks=78153 tps=100 nb_sec=781
case_no=79 label=Case6.67 nb_sol=0 ticks=51889 tps=100 nb_sec=518
case_no=79 label=Case6.67 nb_sol=0 ticks=43478 tps=100 nb_sec=434
case_no=79 label=Case6.67 nb_sol=0 ticks=81041 tps=100 nb_sec=810
case_no=79 label=Case6.67 nb_sol=0 ticks=90972 tps=100 nb_sec=909
case_no=79 label=Case6.67 nb_sol=0 ticks=87955 tps=100 nb_sec=879
case_no=79 label=Case6.67 nb_sol=0 ticks=62043 tps=100 nb_sec=620
case_no=79 label=Case6.67 nb_sol=0 ticks=58129 tps=100 nb_sec=581
case_no=79 label=Case6.67 nb_sol=0 ticks=47049 tps=100 nb_sec=470
case_no=79 label=Case6.67 nb_sol=0 ticks=84034 tps=100 nb_sec=840
case_no=79 label=Case6.67 nb_sol=0 ticks=82257 tps=100 nb_sec=822
case_no=79 label=Case6.67 nb_sol=0 ticks=83501 tps=100 nb_sec=835
case_no=79 label=Case6.67 nb_sol=0 ticks=57703 tps=100 nb_sec=577
case_no=79 label=Case6.67 nb_sol=0 ticks=100758 tps=100 nb_sec=1007
case_no=79 label=Case6.67 nb_sol=0 ticks=89685 tps=100 nb_sec=896
case_no=79 label=Case6.67 nb_sol=0 ticks=67989 tps=100 nb_sec=679
case_no=79 label=Case6.67 nb_sol=0 ticks=80839 tps=100 nb_sec=808
case_no=79 label=Case6.67 nb_sol=0 ticks=81454 tps=100 nb_sec=814
case_no=79 label=Case6.67 nb_sol=0 ticks=56032 tps=100 nb_sec=560
case_no=79 label=Case6.67 nb_sol=0 ticks=63884 tps=100 nb_sec=638
case_no=79 label=Case6.67 nb_sol=0 ticks=83711 tps=100 nb_sec=837
case_no=79 label=Case6.67 nb_sol=0 ticks=78033 tps=100 nb_sec=780
case_no=79 label=Case6.67 nb_sol=0 ticks=97544 tps=100 nb_sec=975
case_no=79 label=Case6.67 nb_sol=0 ticks=65483 tps=100 nb_sec=654
case_no=79 label=Case6.67 nb_sol=0 ticks=46802 tps=100 nb_sec=468
case_no=79 label=Case6.67 nb_sol=0 ticks=69453 tps=100 nb_sec=694
case_no=79 label=Case6.67 nb_sol=0 ticks=58897 tps=100 nb_sec=588
case_no=79 label=Case6.67 nb_sol=0 ticks=67954 tps=100 nb_sec=679
case_no=79 label=Case6.67 nb_sol=0 ticks=101940 tps=100 nb_sec=1019
case_no=79 label=Case6.67 nb_sol=0 ticks=61961 tps=100 nb_sec=619
case_no=79 label=Case6.67 nb_sol=0 ticks=72954 tps=100 nb_sec=729
case_no=79 label=Case6.67 nb_sol=0 ticks=72722 tps=100 nb_sec=727
case_no=79 label=Case6.67 nb_sol=0 ticks=82074 tps=100 nb_sec=820
case_no=79 label=Case6.67 nb_sol=0 ticks=71757 tps=100 nb_sec=717
case_no=79 label=Case6.67 nb_sol=0 ticks=45765 tps=100 nb_sec=457
case_no=79 label=Case6.67 nb_sol=0 ticks=88589 tps=100 nb_sec=885
case_no=79 label=Case6.67 nb_sol=0 ticks=131849 tps=100 nb_sec=1318
case_no=79 label=Case6.67 nb_sol=0 ticks=59076 tps=100 nb_sec=590
case_no=79 label=Case6.67 nb_sol=0 ticks=56681 tps=100 nb_sec=566
case_no=79 label=Case6.67 nb_sol=0 ticks=43235 tps=100 nb_sec=432
case_no=79 label=Case6.67 nb_sol=0 ticks=90614 tps=100 nb_sec=906
case_no=79 label=Case6.67 nb_sol=0 ticks=45711 tps=100 nb_sec=457
case_no=79 label=Case6.67 nb_sol=0 ticks=59905 tps=100 nb_sec=599
case_no=79 label=Case6.67 nb_sol=0 ticks=62600 tps=100 nb_sec=626
case_no=79 label=Case6.67 nb_sol=0 ticks=83918 tps=100 nb_sec=839
case_no=79 label=Case6.67 nb_sol=0 ticks=90624 tps=100 nb_sec=906
case_no=79 label=Case6.67 nb_sol=0 ticks=72687 tps=100 nb_sec=726
case_no=79 label=Case6.67 nb_sol=0 ticks=108241 tps=100 nb_sec=1082
case_no=79 label=Case6.67 nb_sol=0 ticks=47741 tps=100 nb_sec=477
case_no=79 label=Case6.67 nb_sol=0 ticks=77916 tps=100 nb_sec=779
case_no=79 label=Case6.67 nb_sol=0 ticks=43203 tps=100 nb_sec=432
case_no=79 label=Case6.67 nb_sol=0 ticks=108764 tps=100 nb_sec=1087
case_no=79 label=Case6.67 nb_sol=0 ticks=46232 tps=100 nb_sec=462
case_no=79 label=Case6.67 nb_sol=0 ticks=101397 tps=100 nb_sec=1013
case_no=79 label=Case6.67 nb_sol=0 ticks=64466 tps=100 nb_sec=644
case_no=79 label=Case6.67 nb_sol=0 ticks=98933 tps=100 nb_sec=989
case_no=79 label=Case6.67 nb_sol=0 ticks=71729 tps=100 nb_sec=717
case_no=79 label=Case6.67 nb_sol=0 ticks=88564 tps=100 nb_sec=885
case_no=79 label=Case6.67 nb_sol=0 ticks=76692 tps=100 nb_sec=766
case_no=79 label=Case6.67 nb_sol=0 ticks=106144 tps=100 nb_sec=1061
case_no=79 label=Case6.67 nb_sol=0 ticks=82880 tps=100 nb_sec=828
case_no=79 label=Case6.67 nb_sol=0 ticks=59211 tps=100 nb_sec=592
case_no=79 label=Case6.67 nb_sol=0 ticks=69468 tps=100 nb_sec=694
case_no=79 label=Case6.67 nb_sol=0 ticks=38930 tps=100 nb_sec=389
case_no=79 label=Case6.67 nb_sol=0 ticks=74795 tps=100 nb_sec=747
case_no=79 label=Case6.67 nb_sol=0 ticks=77913 tps=100 nb_sec=779
case_no=79 label=Case6.67 nb_sol=0 ticks=85223 tps=100 nb_sec=852
case_no=79 label=Case6.67 nb_sol=0 ticks=40199 tps=100 nb_sec=401
case_no=79 label=Case6.67 nb_sol=0 ticks=86523 tps=100 nb_sec=865
case_no=79 label=Case6.67 nb_sol=0 ticks=92715 tps=100 nb_sec=927
case_no=79 label=Case6.67 nb_sol=0 ticks=80145 tps=100 nb_sec=801
case_no=79 label=Case6.67 nb_sol=0 ticks=90538 tps=100 nb_sec=905
case_no=79 label=Case6.67 nb_sol=0 ticks=51284 tps=100 nb_sec=512
case_no=79 label=Case6.67 nb_sol=0 ticks=78994 tps=100 nb_sec=789
case_no=79 label=Case6.67 nb_sol=0 ticks=84892 tps=100 nb_sec=848
case_no=79 label=Case6.67 nb_sol=0 ticks=95266 tps=100 nb_sec=952
case_no=79 label=Case6.67 nb_sol=0 ticks=50609 tps=100 nb_sec=506
case_no=79 label=Case6.67 nb_sol=0 ticks=94813 tps=100 nb_sec=948
case_no=79 label=Case6.67 nb_sol=0 ticks=76058 tps=100 nb_sec=760
case_no=79 label=Case6.67 nb_sol=0 ticks=93220 tps=100 nb_sec=932
case_no=79 label=Case6.67 nb_sol=0 ticks=36126 tps=100 nb_sec=361
case_no=79 label=Case6.67 nb_sol=0 ticks=88493 tps=100 nb_sec=884
case_no=79 label=Case6.67 nb_sol=0 ticks=82605 tps=100 nb_sec=826
case_no=79 label=Case6.67 nb_sol=0 ticks=80737 tps=100 nb_sec=807
case_no=79 label=Case6.67 nb_sol=0 ticks=54726 tps=100 nb_sec=547
case_no=79 label=Case6.67 nb_sol=0 ticks=35139 tps=100 nb_sec=351
case_no=79 label=Case6.67 nb_sol=0 ticks=82139 tps=100 nb_sec=821
case_no=79 label=Case6.67 nb_sol=0 ticks=90509 tps=100 nb_sec=905
case_no=79 label=Case6.67 nb_sol=0 ticks=39640 tps=100 nb_sec=396
case_no=79 label=Case6.67 nb_sol=0 ticks=82476 tps=100 nb_sec=824
case_no=79 label=Case6.67 nb_sol=0 ticks=82148 tps=100 nb_sec=821
case_no=79 label=Case6.67 nb_sol=0 ticks=91530 tps=100 nb_sec=915
case_no=79 label=Case6.67 nb_sol=0 ticks=38406 tps=100 nb_sec=384
case_no=79 label=Case6.67 nb_sol=0 ticks=82235 tps=100 nb_sec=822
case_no=79 label=Case6.67 nb_sol=0 ticks=96416 tps=100 nb_sec=964
case_no=79 label=Case6.67 nb_sol=0 ticks=59070 tps=100 nb_sec=590
case_no=79 label=Case6.67 nb_sol=0 ticks=85971 tps=100 nb_sec=859
case_no=79 label=Case6.67 nb_sol=0 ticks=98681 tps=100 nb_sec=986
case_no=79 label=Case6.67 nb_sol=0 ticks=104643 tps=100 nb_sec=1046
case_no=79 label=Case6.67 nb_sol=0 ticks=86094 tps=100 nb_sec=860
case_no=79 label=Case6.67 nb_sol=0 ticks=52710 tps=100 nb_sec=527
case_no=79 label=Case6.67 nb_sol=0 ticks=86164 tps=100 nb_sec=861
case_no=79 label=Case6.67 nb_sol=0 ticks=84759 tps=100 nb_sec=847
case_no=79 label=Case6.67 nb_sol=0 ticks=94360 tps=100 nb_sec=943
case_no=79 label=Case6.67 nb_sol=0 ticks=55419 tps=100 nb_sec=554
case_no=79 label=Case6.67 nb_sol=0 ticks=88434 tps=100 nb_sec=884
case_no=79 label=Case6.67 nb_sol=0 ticks=90762 tps=100 nb_sec=907
case_no=79 label=Case6.67 nb_sol=0 ticks=98129 tps=100 nb_sec=981
case_no=79 label=Case6.67 nb_sol=0 ticks=69497 tps=100 nb_sec=694
case_no=79 label=Case6.67 nb_sol=0 ticks=85015 tps=100 nb_sec=850
case_no=79 label=Case6.67 nb_sol=0 ticks=78036 tps=100 nb_sec=780
case_no=79 label=Case6.67 nb_sol=0 ticks=87862 tps=100 nb_sec=878
case_no=79 label=Case6.67 nb_sol=0 ticks=36912 tps=100 nb_sec=369
case_no=79 label=Case6.67 nb_sol=0 ticks=78796 tps=100 nb_sec=787
case_no=79 label=Case6.67 nb_sol=0 ticks=59383 tps=100 nb_sec=593
case_no=79 label=Case6.67 nb_sol=0 ticks=86043 tps=100 nb_sec=860
case_no=79 label=Case6.67 nb_sol=0 ticks=58749 tps=100 nb_sec=587
case_no=79 label=Case6.67 nb_sol=0 ticks=83189 tps=100 nb_sec=831
case_no=79 label=Case6.67 nb_sol=0 ticks=122219 tps=100 nb_sec=1222
case_no=79 label=Case6.67 nb_sol=0 ticks=155305 tps=100 nb_sec=1553
case_no=79 label=Case6.67 nb_sol=0 ticks=102679 tps=100 nb_sec=1026
case_no=79 label=Case6.67 nb_sol=0 ticks=60750 tps=100 nb_sec=607
case_no=79 label=Case6.67 nb_sol=0 ticks=114607 tps=100 nb_sec=1146
case_no=79 label=Case6.67 nb_sol=0 ticks=118096 tps=100 nb_sec=1180
case_no=79 label=Case6.67 nb_sol=0 ticks=108461 tps=100 nb_sec=1084
case_no=79 label=Case6.67 nb_sol=0 ticks=137903 tps=100 nb_sec=1379
case_no=79 label=Case6.67 nb_sol=0 ticks=66879 tps=100 nb_sec=668
case_no=79 label=Case6.67 nb_sol=0 ticks=89772 tps=100 nb_sec=897
case_no=79 label=Case6.67 nb_sol=0 ticks=133710 tps=100 nb_sec=1337
case_no=79 label=Case6.67 nb_sol=0 ticks=79818 tps=100 nb_sec=798
case_no=79 label=Case6.67 nb_sol=0 ticks=75224 tps=100 nb_sec=752
case_no=79 label=Case6.67 nb_sol=0 ticks=121947 tps=100 nb_sec=1219
case_no=79 label=Case6.67 nb_sol=0 ticks=81650 tps=100 nb_sec=816
case_no=79 label=Case6.67 nb_sol=0 ticks=40272 tps=100 nb_sec=402
case_no=79 label=Case6.67 nb_sol=0 ticks=144106 tps=100 nb_sec=1441
case_no=79 label=Case6.67 nb_sol=0 ticks=82767 tps=100 nb_sec=827
case_no=79 label=Case6.67 nb_sol=0 ticks=100887 tps=100 nb_sec=1008
case_no=79 label=Case6.67 nb_sol=0 ticks=77176 tps=100 nb_sec=771
case_no=79 label=Case6.67 nb_sol=0 ticks=93606 tps=100 nb_sec=936
case_no=79 label=Case6.67 nb_sol=0 ticks=135790 tps=100 nb_sec=1357
case_no=79 label=Case6.67 nb_sol=0 ticks=68695 tps=100 nb_sec=686
case_no=79 label=Case6.67 nb_sol=0 ticks=63251 tps=100 nb_sec=632
case_no=79 label=Case6.67 nb_sol=0 ticks=53501 tps=100 nb_sec=535
case_no=79 label=Case6.67 nb_sol=0 ticks=66095 tps=100 nb_sec=660
case_no=79 label=Case6.67 nb_sol=0 ticks=72182 tps=100 nb_sec=721
case_no=79 label=Case6.67 nb_sol=0 ticks=73014 tps=100 nb_sec=730
case_no=79 label=Case6.67 nb_sol=0 ticks=60633 tps=100 nb_sec=606
case_no=79 label=Case6.67 nb_sol=0 ticks=70702 tps=100 nb_sec=707
case_no=79 label=Case6.67 nb_sol=0 ticks=84313 tps=100 nb_sec=843
case_no=79 label=Case6.67 nb_sol=0 ticks=77276 tps=100 nb_sec=772
case_no=79 label=Case6.67 nb_sol=0 ticks=77229 tps=100 nb_sec=772
case_no=79 label=Case6.67 nb_sol=0 ticks=54100 tps=100 nb_sec=541
case_no=79 label=Case6.67 nb_sol=0 ticks=94904 tps=100 nb_sec=949
case_no=79 label=Case6.67 nb_sol=0 ticks=43140 tps=100 nb_sec=431
case_no=79 label=Case6.67 nb_sol=0 ticks=75819 tps=100 nb_sec=758
case_no=79 label=Case6.67 nb_sol=0 ticks=81056 tps=100 nb_sec=810
case_no=79 label=Case6.67 nb_sol=0 ticks=68528 tps=100 nb_sec=685
case_no=79 label=Case6.67 nb_sol=0 ticks=86252 tps=100 nb_sec=862
case_no=79 label=Case6.67 nb_sol=0 ticks=87697 tps=100 nb_sec=876
case_no=79 label=Case6.67 nb_sol=0 ticks=54673 tps=100 nb_sec=546
case_no=79 label=Case6.67 nb_sol=0 ticks=48525 tps=100 nb_sec=485
case_no=79 label=Case6.67 nb_sol=0 ticks=69748 tps=100 nb_sec=697
case_no=79 label=Case6.67 nb_sol=0 ticks=68130 tps=100 nb_sec=681
case_no=79 label=Case6.67 nb_sol=0 ticks=78320 tps=100 nb_sec=783
case_no=79 label=Case6.67 nb_sol=0 ticks=69504 tps=100 nb_sec=695
case_no=79 label=Case6.67 nb_sol=0 ticks=71474 tps=100 nb_sec=714
case_no=79 label=Case6.67 nb_sol=0 ticks=64396 tps=100 nb_sec=643
case_no=79 label=Case6.67 nb_sol=0 ticks=99514 tps=100 nb_sec=995
case_no=79 label=Case6.67 nb_sol=0 ticks=38631 tps=100 nb_sec=386
case_no=79 label=Case6.67 nb_sol=0 ticks=87807 tps=100 nb_sec=878
case_no=79 label=Case6.67 nb_sol=0 ticks=66253 tps=100 nb_sec=662
case_no=79 label=Case6.67 nb_sol=0 ticks=95268 tps=100 nb_sec=952
case_no=79 label=Case6.67 nb_sol=0 ticks=44222 tps=100 nb_sec=442
case_no=79 label=Case6.67 nb_sol=0 ticks=83559 tps=100 nb_sec=835
case_no=79 label=Case6.67 nb_sol=0 ticks=56699 tps=100 nb_sec=566
case_no=79 label=Case6.67 nb_sol=0 ticks=66958 tps=100 nb_sec=669
case_no=79 label=Case6.67 nb_sol=0 ticks=111342 tps=100 nb_sec=1113
case_no=79 label=Case6.67 nb_sol=0 ticks=82717 tps=100 nb_sec=827
case_no=79 label=Case6.67 nb_sol=0 ticks=44514 tps=100 nb_sec=445
case_no=79 label=Case6.67 nb_sol=0 ticks=67166 tps=100 nb_sec=671
case_no=79 label=Case6.67 nb_sol=0 ticks=79674 tps=100 nb_sec=796
case_no=79 label=Case6.67 nb_sol=0 ticks=56327 tps=100 nb_sec=563
case_no=79 label=Case6.67 nb_sol=0 ticks=84388 tps=100 nb_sec=843
Nb_sol=0
Nb_sec=397480
4-14:24:40 or 110 hours
missing cases:
none