argc=5
-M 256
file2=30_select_Case6.60_starter_16_
checking files mod 256 from 0 to 255
case_no=72 label=Case6.60 nb_sol=0 ticks=4163 tps=100 nb_sec=41
case_no=72 label=Case6.60 nb_sol=0 ticks=7266 tps=100 nb_sec=72
case_no=72 label=Case6.60 nb_sol=0 ticks=10168 tps=100 nb_sec=101
case_no=72 label=Case6.60 nb_sol=0 ticks=8298 tps=100 nb_sec=82
case_no=72 label=Case6.60 nb_sol=0 ticks=9079 tps=100 nb_sec=90
case_no=72 label=Case6.60 nb_sol=0 ticks=4949 tps=100 nb_sec=49
case_no=72 label=Case6.60 nb_sol=0 ticks=7175 tps=100 nb_sec=71
case_no=72 label=Case6.60 nb_sol=0 ticks=6676 tps=100 nb_sec=66
case_no=72 label=Case6.60 nb_sol=0 ticks=11661 tps=100 nb_sec=116
case_no=72 label=Case6.60 nb_sol=0 ticks=6655 tps=100 nb_sec=66
case_no=72 label=Case6.60 nb_sol=0 ticks=8582 tps=100 nb_sec=85
case_no=72 label=Case6.60 nb_sol=0 ticks=12199 tps=100 nb_sec=121
case_no=72 label=Case6.60 nb_sol=0 ticks=5539 tps=100 nb_sec=55
case_no=72 label=Case6.60 nb_sol=0 ticks=4511 tps=100 nb_sec=45
case_no=72 label=Case6.60 nb_sol=0 ticks=5410 tps=100 nb_sec=54
case_no=72 label=Case6.60 nb_sol=0 ticks=7903 tps=100 nb_sec=79
case_no=72 label=Case6.60 nb_sol=0 ticks=6187 tps=100 nb_sec=61
case_no=72 label=Case6.60 nb_sol=0 ticks=7157 tps=100 nb_sec=71
case_no=72 label=Case6.60 nb_sol=0 ticks=6937 tps=100 nb_sec=69
case_no=72 label=Case6.60 nb_sol=0 ticks=6202 tps=100 nb_sec=62
case_no=72 label=Case6.60 nb_sol=0 ticks=10505 tps=100 nb_sec=105
case_no=72 label=Case6.60 nb_sol=0 ticks=8788 tps=100 nb_sec=87
case_no=72 label=Case6.60 nb_sol=0 ticks=14950 tps=100 nb_sec=149
case_no=72 label=Case6.60 nb_sol=0 ticks=13635 tps=100 nb_sec=136
case_no=72 label=Case6.60 nb_sol=0 ticks=6569 tps=100 nb_sec=65
case_no=72 label=Case6.60 nb_sol=0 ticks=8259 tps=100 nb_sec=82
case_no=72 label=Case6.60 nb_sol=0 ticks=9098 tps=100 nb_sec=90
case_no=72 label=Case6.60 nb_sol=0 ticks=9189 tps=100 nb_sec=91
case_no=72 label=Case6.60 nb_sol=0 ticks=9157 tps=100 nb_sec=91
case_no=72 label=Case6.60 nb_sol=0 ticks=6777 tps=100 nb_sec=67
case_no=72 label=Case6.60 nb_sol=0 ticks=6878 tps=100 nb_sec=68
case_no=72 label=Case6.60 nb_sol=0 ticks=8699 tps=100 nb_sec=86
case_no=72 label=Case6.60 nb_sol=0 ticks=9362 tps=100 nb_sec=93
case_no=72 label=Case6.60 nb_sol=0 ticks=6516 tps=100 nb_sec=65
case_no=72 label=Case6.60 nb_sol=0 ticks=5030 tps=100 nb_sec=50
case_no=72 label=Case6.60 nb_sol=0 ticks=6404 tps=100 nb_sec=64
case_no=72 label=Case6.60 nb_sol=0 ticks=4108 tps=100 nb_sec=41
case_no=72 label=Case6.60 nb_sol=0 ticks=8892 tps=100 nb_sec=88
case_no=72 label=Case6.60 nb_sol=0 ticks=6975 tps=100 nb_sec=69
case_no=72 label=Case6.60 nb_sol=0 ticks=9103 tps=100 nb_sec=91
case_no=72 label=Case6.60 nb_sol=0 ticks=5735 tps=100 nb_sec=57
case_no=72 label=Case6.60 nb_sol=0 ticks=7333 tps=100 nb_sec=73
case_no=72 label=Case6.60 nb_sol=0 ticks=5735 tps=100 nb_sec=57
case_no=72 label=Case6.60 nb_sol=0 ticks=7092 tps=100 nb_sec=70
case_no=72 label=Case6.60 nb_sol=0 ticks=6399 tps=100 nb_sec=63
case_no=72 label=Case6.60 nb_sol=0 ticks=8925 tps=100 nb_sec=89
case_no=72 label=Case6.60 nb_sol=0 ticks=6781 tps=100 nb_sec=67
case_no=72 label=Case6.60 nb_sol=0 ticks=7974 tps=100 nb_sec=79
case_no=72 label=Case6.60 nb_sol=0 ticks=6809 tps=100 nb_sec=68
case_no=72 label=Case6.60 nb_sol=0 ticks=4429 tps=100 nb_sec=44
case_no=72 label=Case6.60 nb_sol=0 ticks=9206 tps=100 nb_sec=92
case_no=72 label=Case6.60 nb_sol=0 ticks=6282 tps=100 nb_sec=62
case_no=72 label=Case6.60 nb_sol=0 ticks=6963 tps=100 nb_sec=69
case_no=72 label=Case6.60 nb_sol=0 ticks=6425 tps=100 nb_sec=64
case_no=72 label=Case6.60 nb_sol=0 ticks=6734 tps=100 nb_sec=67
case_no=72 label=Case6.60 nb_sol=0 ticks=4375 tps=100 nb_sec=43
case_no=72 label=Case6.60 nb_sol=0 ticks=6635 tps=100 nb_sec=66
case_no=72 label=Case6.60 nb_sol=0 ticks=6954 tps=100 nb_sec=69
case_no=72 label=Case6.60 nb_sol=0 ticks=3060 tps=100 nb_sec=30
case_no=72 label=Case6.60 nb_sol=0 ticks=5300 tps=100 nb_sec=53
case_no=72 label=Case6.60 nb_sol=0 ticks=5017 tps=100 nb_sec=50
case_no=72 label=Case6.60 nb_sol=0 ticks=7866 tps=100 nb_sec=78
case_no=72 label=Case6.60 nb_sol=0 ticks=6954 tps=100 nb_sec=69
case_no=72 label=Case6.60 nb_sol=0 ticks=4560 tps=100 nb_sec=45
case_no=72 label=Case6.60 nb_sol=0 ticks=7971 tps=100 nb_sec=79
case_no=72 label=Case6.60 nb_sol=0 ticks=7278 tps=100 nb_sec=72
case_no=72 label=Case6.60 nb_sol=0 ticks=8519 tps=100 nb_sec=85
case_no=72 label=Case6.60 nb_sol=0 ticks=10798 tps=100 nb_sec=107
case_no=72 label=Case6.60 nb_sol=0 ticks=6144 tps=100 nb_sec=61
case_no=72 label=Case6.60 nb_sol=0 ticks=6815 tps=100 nb_sec=68
case_no=72 label=Case6.60 nb_sol=0 ticks=6970 tps=100 nb_sec=69
case_no=72 label=Case6.60 nb_sol=0 ticks=9380 tps=100 nb_sec=93
case_no=72 label=Case6.60 nb_sol=0 ticks=12843 tps=100 nb_sec=128
case_no=72 label=Case6.60 nb_sol=0 ticks=9682 tps=100 nb_sec=96
case_no=72 label=Case6.60 nb_sol=0 ticks=10421 tps=100 nb_sec=104
case_no=72 label=Case6.60 nb_sol=0 ticks=9655 tps=100 nb_sec=96
case_no=72 label=Case6.60 nb_sol=0 ticks=10966 tps=100 nb_sec=109
case_no=72 label=Case6.60 nb_sol=0 ticks=12025 tps=100 nb_sec=120
case_no=72 label=Case6.60 nb_sol=0 ticks=5402 tps=100 nb_sec=54
case_no=72 label=Case6.60 nb_sol=0 ticks=6570 tps=100 nb_sec=65
case_no=72 label=Case6.60 nb_sol=0 ticks=12028 tps=100 nb_sec=120
case_no=72 label=Case6.60 nb_sol=0 ticks=9568 tps=100 nb_sec=95
case_no=72 label=Case6.60 nb_sol=0 ticks=7899 tps=100 nb_sec=78
case_no=72 label=Case6.60 nb_sol=0 ticks=6312 tps=100 nb_sec=63
case_no=72 label=Case6.60 nb_sol=0 ticks=6104 tps=100 nb_sec=61
case_no=72 label=Case6.60 nb_sol=0 ticks=4583 tps=100 nb_sec=45
case_no=72 label=Case6.60 nb_sol=0 ticks=5841 tps=100 nb_sec=58
case_no=72 label=Case6.60 nb_sol=0 ticks=4003 tps=100 nb_sec=40
case_no=72 label=Case6.60 nb_sol=0 ticks=6739 tps=100 nb_sec=67
case_no=72 label=Case6.60 nb_sol=0 ticks=8756 tps=100 nb_sec=87
case_no=72 label=Case6.60 nb_sol=0 ticks=6981 tps=100 nb_sec=69
case_no=72 label=Case6.60 nb_sol=0 ticks=8786 tps=100 nb_sec=87
case_no=72 label=Case6.60 nb_sol=0 ticks=7719 tps=100 nb_sec=77
case_no=72 label=Case6.60 nb_sol=0 ticks=5080 tps=100 nb_sec=50
case_no=72 label=Case6.60 nb_sol=0 ticks=6907 tps=100 nb_sec=69
case_no=72 label=Case6.60 nb_sol=0 ticks=5764 tps=100 nb_sec=57
case_no=72 label=Case6.60 nb_sol=0 ticks=5107 tps=100 nb_sec=51
case_no=72 label=Case6.60 nb_sol=0 ticks=7935 tps=100 nb_sec=79
case_no=72 label=Case6.60 nb_sol=0 ticks=3852 tps=100 nb_sec=38
case_no=72 label=Case6.60 nb_sol=0 ticks=5725 tps=100 nb_sec=57
case_no=72 label=Case6.60 nb_sol=0 ticks=5796 tps=100 nb_sec=57
case_no=72 label=Case6.60 nb_sol=0 ticks=5598 tps=100 nb_sec=55
case_no=72 label=Case6.60 nb_sol=0 ticks=5897 tps=100 nb_sec=58
case_no=72 label=Case6.60 nb_sol=0 ticks=4707 tps=100 nb_sec=47
case_no=72 label=Case6.60 nb_sol=0 ticks=7538 tps=100 nb_sec=75
case_no=72 label=Case6.60 nb_sol=0 ticks=6843 tps=100 nb_sec=68
case_no=72 label=Case6.60 nb_sol=0 ticks=4071 tps=100 nb_sec=40
case_no=72 label=Case6.60 nb_sol=0 ticks=3648 tps=100 nb_sec=36
case_no=72 label=Case6.60 nb_sol=0 ticks=5029 tps=100 nb_sec=50
case_no=72 label=Case6.60 nb_sol=0 ticks=7166 tps=100 nb_sec=71
case_no=72 label=Case6.60 nb_sol=0 ticks=4993 tps=100 nb_sec=49
case_no=72 label=Case6.60 nb_sol=0 ticks=8468 tps=100 nb_sec=84
case_no=72 label=Case6.60 nb_sol=0 ticks=6243 tps=100 nb_sec=62
case_no=72 label=Case6.60 nb_sol=0 ticks=5502 tps=100 nb_sec=55
case_no=72 label=Case6.60 nb_sol=0 ticks=6676 tps=100 nb_sec=66
case_no=72 label=Case6.60 nb_sol=0 ticks=7818 tps=100 nb_sec=78
case_no=72 label=Case6.60 nb_sol=0 ticks=6889 tps=100 nb_sec=68
case_no=72 label=Case6.60 nb_sol=0 ticks=5920 tps=100 nb_sec=59
case_no=72 label=Case6.60 nb_sol=0 ticks=4566 tps=100 nb_sec=45
case_no=72 label=Case6.60 nb_sol=0 ticks=7006 tps=100 nb_sec=70
case_no=72 label=Case6.60 nb_sol=0 ticks=6615 tps=100 nb_sec=66
case_no=72 label=Case6.60 nb_sol=0 ticks=6487 tps=100 nb_sec=64
case_no=72 label=Case6.60 nb_sol=0 ticks=5367 tps=100 nb_sec=53
case_no=72 label=Case6.60 nb_sol=0 ticks=7543 tps=100 nb_sec=75
case_no=72 label=Case6.60 nb_sol=0 ticks=7734 tps=100 nb_sec=77
case_no=72 label=Case6.60 nb_sol=0 ticks=7942 tps=100 nb_sec=79
case_no=72 label=Case6.60 nb_sol=0 ticks=4787 tps=100 nb_sec=47
case_no=72 label=Case6.60 nb_sol=0 ticks=5309 tps=100 nb_sec=53
case_no=72 label=Case6.60 nb_sol=0 ticks=10930 tps=100 nb_sec=109
case_no=72 label=Case6.60 nb_sol=0 ticks=10091 tps=100 nb_sec=100
case_no=72 label=Case6.60 nb_sol=0 ticks=7475 tps=100 nb_sec=74
case_no=72 label=Case6.60 nb_sol=0 ticks=10302 tps=100 nb_sec=103
case_no=72 label=Case6.60 nb_sol=0 ticks=9775 tps=100 nb_sec=97
case_no=72 label=Case6.60 nb_sol=0 ticks=12579 tps=100 nb_sec=125
case_no=72 label=Case6.60 nb_sol=0 ticks=10964 tps=100 nb_sec=109
case_no=72 label=Case6.60 nb_sol=0 ticks=9255 tps=100 nb_sec=92
case_no=72 label=Case6.60 nb_sol=0 ticks=12959 tps=100 nb_sec=129
case_no=72 label=Case6.60 nb_sol=0 ticks=8311 tps=100 nb_sec=83
case_no=72 label=Case6.60 nb_sol=0 ticks=10761 tps=100 nb_sec=107
case_no=72 label=Case6.60 nb_sol=0 ticks=12200 tps=100 nb_sec=122
case_no=72 label=Case6.60 nb_sol=0 ticks=9062 tps=100 nb_sec=90
case_no=72 label=Case6.60 nb_sol=0 ticks=8840 tps=100 nb_sec=88
case_no=72 label=Case6.60 nb_sol=0 ticks=5445 tps=100 nb_sec=54
case_no=72 label=Case6.60 nb_sol=0 ticks=5322 tps=100 nb_sec=53
case_no=72 label=Case6.60 nb_sol=0 ticks=11791 tps=100 nb_sec=117
case_no=72 label=Case6.60 nb_sol=0 ticks=9202 tps=100 nb_sec=92
case_no=72 label=Case6.60 nb_sol=0 ticks=14521 tps=100 nb_sec=145
case_no=72 label=Case6.60 nb_sol=0 ticks=6398 tps=100 nb_sec=63
case_no=72 label=Case6.60 nb_sol=0 ticks=9685 tps=100 nb_sec=96
case_no=72 label=Case6.60 nb_sol=0 ticks=8360 tps=100 nb_sec=83
case_no=72 label=Case6.60 nb_sol=0 ticks=7213 tps=100 nb_sec=72
case_no=72 label=Case6.60 nb_sol=0 ticks=8081 tps=100 nb_sec=80
case_no=72 label=Case6.60 nb_sol=0 ticks=7745 tps=100 nb_sec=77
case_no=72 label=Case6.60 nb_sol=0 ticks=6998 tps=100 nb_sec=69
case_no=72 label=Case6.60 nb_sol=0 ticks=7493 tps=100 nb_sec=74
case_no=72 label=Case6.60 nb_sol=0 ticks=9826 tps=100 nb_sec=98
case_no=72 label=Case6.60 nb_sol=0 ticks=7110 tps=100 nb_sec=71
case_no=72 label=Case6.60 nb_sol=0 ticks=5204 tps=100 nb_sec=52
case_no=72 label=Case6.60 nb_sol=0 ticks=12559 tps=100 nb_sec=125
case_no=72 label=Case6.60 nb_sol=0 ticks=4324 tps=100 nb_sec=43
case_no=72 label=Case6.60 nb_sol=0 ticks=7796 tps=100 nb_sec=77
case_no=72 label=Case6.60 nb_sol=0 ticks=5730 tps=100 nb_sec=57
case_no=72 label=Case6.60 nb_sol=0 ticks=7889 tps=100 nb_sec=78
case_no=72 label=Case6.60 nb_sol=0 ticks=9708 tps=100 nb_sec=97
case_no=72 label=Case6.60 nb_sol=0 ticks=14991 tps=100 nb_sec=149
case_no=72 label=Case6.60 nb_sol=0 ticks=5603 tps=100 nb_sec=56
case_no=72 label=Case6.60 nb_sol=0 ticks=10722 tps=100 nb_sec=107
case_no=72 label=Case6.60 nb_sol=0 ticks=6260 tps=100 nb_sec=62
case_no=72 label=Case6.60 nb_sol=0 ticks=12219 tps=100 nb_sec=122
case_no=72 label=Case6.60 nb_sol=0 ticks=4814 tps=100 nb_sec=48
case_no=72 label=Case6.60 nb_sol=0 ticks=6763 tps=100 nb_sec=67
case_no=72 label=Case6.60 nb_sol=0 ticks=5575 tps=100 nb_sec=55
case_no=72 label=Case6.60 nb_sol=0 ticks=6220 tps=100 nb_sec=62
case_no=72 label=Case6.60 nb_sol=0 ticks=10953 tps=100 nb_sec=109
case_no=72 label=Case6.60 nb_sol=0 ticks=7974 tps=100 nb_sec=79
case_no=72 label=Case6.60 nb_sol=0 ticks=7280 tps=100 nb_sec=72
case_no=72 label=Case6.60 nb_sol=0 ticks=10750 tps=100 nb_sec=107
case_no=72 label=Case6.60 nb_sol=0 ticks=5776 tps=100 nb_sec=57
case_no=72 label=Case6.60 nb_sol=0 ticks=7942 tps=100 nb_sec=79
case_no=72 label=Case6.60 nb_sol=0 ticks=8396 tps=100 nb_sec=83
case_no=72 label=Case6.60 nb_sol=0 ticks=5694 tps=100 nb_sec=56
case_no=72 label=Case6.60 nb_sol=0 ticks=6566 tps=100 nb_sec=65
case_no=72 label=Case6.60 nb_sol=0 ticks=11193 tps=100 nb_sec=111
case_no=72 label=Case6.60 nb_sol=0 ticks=7146 tps=100 nb_sec=71
case_no=72 label=Case6.60 nb_sol=0 ticks=7038 tps=100 nb_sec=70
case_no=72 label=Case6.60 nb_sol=0 ticks=5606 tps=100 nb_sec=56
case_no=72 label=Case6.60 nb_sol=0 ticks=5796 tps=100 nb_sec=57
case_no=72 label=Case6.60 nb_sol=0 ticks=10472 tps=100 nb_sec=104
case_no=72 label=Case6.60 nb_sol=0 ticks=6073 tps=100 nb_sec=60
case_no=72 label=Case6.60 nb_sol=0 ticks=6662 tps=100 nb_sec=66
case_no=72 label=Case6.60 nb_sol=0 ticks=8089 tps=100 nb_sec=80
case_no=72 label=Case6.60 nb_sol=0 ticks=9605 tps=100 nb_sec=96
case_no=72 label=Case6.60 nb_sol=0 ticks=7980 tps=100 nb_sec=79
case_no=72 label=Case6.60 nb_sol=0 ticks=7316 tps=100 nb_sec=73
case_no=72 label=Case6.60 nb_sol=0 ticks=11011 tps=100 nb_sec=110
case_no=72 label=Case6.60 nb_sol=0 ticks=5005 tps=100 nb_sec=50
case_no=72 label=Case6.60 nb_sol=0 ticks=4594 tps=100 nb_sec=45
case_no=72 label=Case6.60 nb_sol=0 ticks=6009 tps=100 nb_sec=60
case_no=72 label=Case6.60 nb_sol=0 ticks=3682 tps=100 nb_sec=36
case_no=72 label=Case6.60 nb_sol=0 ticks=5030 tps=100 nb_sec=50
case_no=72 label=Case6.60 nb_sol=0 ticks=7361 tps=100 nb_sec=73
case_no=72 label=Case6.60 nb_sol=0 ticks=7766 tps=100 nb_sec=77
case_no=72 label=Case6.60 nb_sol=0 ticks=9922 tps=100 nb_sec=99
case_no=72 label=Case6.60 nb_sol=0 ticks=7986 tps=100 nb_sec=79
case_no=72 label=Case6.60 nb_sol=0 ticks=4760 tps=100 nb_sec=47
case_no=72 label=Case6.60 nb_sol=0 ticks=6321 tps=100 nb_sec=63
case_no=72 label=Case6.60 nb_sol=0 ticks=7528 tps=100 nb_sec=75
case_no=72 label=Case6.60 nb_sol=0 ticks=6955 tps=100 nb_sec=69
case_no=72 label=Case6.60 nb_sol=0 ticks=7962 tps=100 nb_sec=79
case_no=72 label=Case6.60 nb_sol=0 ticks=11658 tps=100 nb_sec=116
case_no=72 label=Case6.60 nb_sol=0 ticks=8626 tps=100 nb_sec=86
case_no=72 label=Case6.60 nb_sol=0 ticks=5675 tps=100 nb_sec=56
case_no=72 label=Case6.60 nb_sol=0 ticks=9536 tps=100 nb_sec=95
case_no=72 label=Case6.60 nb_sol=0 ticks=12815 tps=100 nb_sec=128
case_no=72 label=Case6.60 nb_sol=0 ticks=13486 tps=100 nb_sec=134
case_no=72 label=Case6.60 nb_sol=0 ticks=7497 tps=100 nb_sec=74
case_no=72 label=Case6.60 nb_sol=0 ticks=5719 tps=100 nb_sec=57
case_no=72 label=Case6.60 nb_sol=0 ticks=5106 tps=100 nb_sec=51
case_no=72 label=Case6.60 nb_sol=0 ticks=10548 tps=100 nb_sec=105
case_no=72 label=Case6.60 nb_sol=0 ticks=9119 tps=100 nb_sec=91
case_no=72 label=Case6.60 nb_sol=0 ticks=6326 tps=100 nb_sec=63
case_no=72 label=Case6.60 nb_sol=0 ticks=3609 tps=100 nb_sec=36
case_no=72 label=Case6.60 nb_sol=0 ticks=5788 tps=100 nb_sec=57
case_no=72 label=Case6.60 nb_sol=0 ticks=6518 tps=100 nb_sec=65
case_no=72 label=Case6.60 nb_sol=0 ticks=5142 tps=100 nb_sec=51
case_no=72 label=Case6.60 nb_sol=0 ticks=4706 tps=100 nb_sec=47
case_no=72 label=Case6.60 nb_sol=0 ticks=8039 tps=100 nb_sec=80
case_no=72 label=Case6.60 nb_sol=0 ticks=3770 tps=100 nb_sec=37
case_no=72 label=Case6.60 nb_sol=0 ticks=5723 tps=100 nb_sec=57
case_no=72 label=Case6.60 nb_sol=0 ticks=9788 tps=100 nb_sec=97
case_no=72 label=Case6.60 nb_sol=0 ticks=5262 tps=100 nb_sec=52
case_no=72 label=Case6.60 nb_sol=0 ticks=4218 tps=100 nb_sec=42
case_no=72 label=Case6.60 nb_sol=0 ticks=6325 tps=100 nb_sec=63
case_no=72 label=Case6.60 nb_sol=0 ticks=4162 tps=100 nb_sec=41
case_no=72 label=Case6.60 nb_sol=0 ticks=8333 tps=100 nb_sec=83
case_no=72 label=Case6.60 nb_sol=0 ticks=4802 tps=100 nb_sec=48
case_no=72 label=Case6.60 nb_sol=0 ticks=6201 tps=100 nb_sec=62
case_no=72 label=Case6.60 nb_sol=0 ticks=8103 tps=100 nb_sec=81
case_no=72 label=Case6.60 nb_sol=0 ticks=7969 tps=100 nb_sec=79
case_no=72 label=Case6.60 nb_sol=0 ticks=5415 tps=100 nb_sec=54
case_no=72 label=Case6.60 nb_sol=0 ticks=8180 tps=100 nb_sec=81
case_no=72 label=Case6.60 nb_sol=0 ticks=5069 tps=100 nb_sec=50
case_no=72 label=Case6.60 nb_sol=0 ticks=10205 tps=100 nb_sec=102
case_no=72 label=Case6.60 nb_sol=0 ticks=3861 tps=100 nb_sec=38
case_no=72 label=Case6.60 nb_sol=0 ticks=8790 tps=100 nb_sec=87
case_no=72 label=Case6.60 nb_sol=0 ticks=6705 tps=100 nb_sec=67
case_no=72 label=Case6.60 nb_sol=0 ticks=10048 tps=100 nb_sec=100
case_no=72 label=Case6.60 nb_sol=0 ticks=16249 tps=100 nb_sec=162
case_no=72 label=Case6.60 nb_sol=0 ticks=13574 tps=100 nb_sec=135
case_no=72 label=Case6.60 nb_sol=0 ticks=6577 tps=100 nb_sec=65
case_no=72 label=Case6.60 nb_sol=0 ticks=8595 tps=100 nb_sec=85
case_no=72 label=Case6.60 nb_sol=0 ticks=5100 tps=100 nb_sec=51
case_no=72 label=Case6.60 nb_sol=0 ticks=11119 tps=100 nb_sec=111
case_no=72 label=Case6.60 nb_sol=0 ticks=6478 tps=100 nb_sec=64
case_no=72 label=Case6.60 nb_sol=0 ticks=6501 tps=100 nb_sec=65
case_no=72 label=Case6.60 nb_sol=0 ticks=9435 tps=100 nb_sec=94
Nb_sol=0
Nb_sec=19235
0-5:20:35 or 5 hours
missing cases:
none