argc=5
-M 256
file2=30_select_Case6.61_starter_16_
checking files mod 256 from 0 to 255
case_no=73 label=Case6.61 nb_sol=0 ticks=8241 tps=100 nb_sec=82
case_no=73 label=Case6.61 nb_sol=0 ticks=6442 tps=100 nb_sec=64
case_no=73 label=Case6.61 nb_sol=0 ticks=12555 tps=100 nb_sec=125
case_no=73 label=Case6.61 nb_sol=0 ticks=5751 tps=100 nb_sec=57
case_no=73 label=Case6.61 nb_sol=0 ticks=8091 tps=100 nb_sec=80
case_no=73 label=Case6.61 nb_sol=0 ticks=7171 tps=100 nb_sec=71
case_no=73 label=Case6.61 nb_sol=0 ticks=11299 tps=100 nb_sec=112
case_no=73 label=Case6.61 nb_sol=0 ticks=4279 tps=100 nb_sec=42
case_no=73 label=Case6.61 nb_sol=0 ticks=16817 tps=100 nb_sec=168
case_no=73 label=Case6.61 nb_sol=0 ticks=5180 tps=100 nb_sec=51
case_no=73 label=Case6.61 nb_sol=0 ticks=9659 tps=100 nb_sec=96
case_no=73 label=Case6.61 nb_sol=0 ticks=6808 tps=100 nb_sec=68
case_no=73 label=Case6.61 nb_sol=0 ticks=6284 tps=100 nb_sec=62
case_no=73 label=Case6.61 nb_sol=0 ticks=6031 tps=100 nb_sec=60
case_no=73 label=Case6.61 nb_sol=0 ticks=5958 tps=100 nb_sec=59
case_no=73 label=Case6.61 nb_sol=0 ticks=7144 tps=100 nb_sec=71
case_no=73 label=Case6.61 nb_sol=0 ticks=10288 tps=100 nb_sec=102
case_no=73 label=Case6.61 nb_sol=0 ticks=7053 tps=100 nb_sec=70
case_no=73 label=Case6.61 nb_sol=0 ticks=7451 tps=100 nb_sec=74
case_no=73 label=Case6.61 nb_sol=0 ticks=6684 tps=100 nb_sec=66
case_no=73 label=Case6.61 nb_sol=0 ticks=11129 tps=100 nb_sec=111
case_no=73 label=Case6.61 nb_sol=0 ticks=10169 tps=100 nb_sec=101
case_no=73 label=Case6.61 nb_sol=0 ticks=16543 tps=100 nb_sec=165
case_no=73 label=Case6.61 nb_sol=0 ticks=9645 tps=100 nb_sec=96
case_no=73 label=Case6.61 nb_sol=0 ticks=9638 tps=100 nb_sec=96
case_no=73 label=Case6.61 nb_sol=0 ticks=9291 tps=100 nb_sec=92
case_no=73 label=Case6.61 nb_sol=0 ticks=13291 tps=100 nb_sec=132
case_no=73 label=Case6.61 nb_sol=0 ticks=13579 tps=100 nb_sec=135
case_no=73 label=Case6.61 nb_sol=0 ticks=10532 tps=100 nb_sec=105
case_no=73 label=Case6.61 nb_sol=0 ticks=8536 tps=100 nb_sec=85
case_no=73 label=Case6.61 nb_sol=0 ticks=8007 tps=100 nb_sec=80
case_no=73 label=Case6.61 nb_sol=0 ticks=11130 tps=100 nb_sec=111
case_no=73 label=Case6.61 nb_sol=0 ticks=12040 tps=100 nb_sec=120
case_no=73 label=Case6.61 nb_sol=0 ticks=6979 tps=100 nb_sec=69
case_no=73 label=Case6.61 nb_sol=0 ticks=7481 tps=100 nb_sec=74
case_no=73 label=Case6.61 nb_sol=0 ticks=10863 tps=100 nb_sec=108
case_no=73 label=Case6.61 nb_sol=0 ticks=10600 tps=100 nb_sec=106
case_no=73 label=Case6.61 nb_sol=0 ticks=10528 tps=100 nb_sec=105
case_no=73 label=Case6.61 nb_sol=0 ticks=8518 tps=100 nb_sec=85
case_no=73 label=Case6.61 nb_sol=0 ticks=7792 tps=100 nb_sec=77
case_no=73 label=Case6.61 nb_sol=0 ticks=7520 tps=100 nb_sec=75
case_no=73 label=Case6.61 nb_sol=0 ticks=11690 tps=100 nb_sec=116
case_no=73 label=Case6.61 nb_sol=0 ticks=6755 tps=100 nb_sec=67
case_no=73 label=Case6.61 nb_sol=0 ticks=8691 tps=100 nb_sec=86
case_no=73 label=Case6.61 nb_sol=0 ticks=6802 tps=100 nb_sec=68
case_no=73 label=Case6.61 nb_sol=0 ticks=9970 tps=100 nb_sec=99
case_no=73 label=Case6.61 nb_sol=0 ticks=8136 tps=100 nb_sec=81
case_no=73 label=Case6.61 nb_sol=0 ticks=13506 tps=100 nb_sec=135
case_no=73 label=Case6.61 nb_sol=0 ticks=10495 tps=100 nb_sec=104
case_no=73 label=Case6.61 nb_sol=0 ticks=8615 tps=100 nb_sec=86
case_no=73 label=Case6.61 nb_sol=0 ticks=10711 tps=100 nb_sec=107
case_no=73 label=Case6.61 nb_sol=0 ticks=8568 tps=100 nb_sec=85
case_no=73 label=Case6.61 nb_sol=0 ticks=7692 tps=100 nb_sec=76
case_no=73 label=Case6.61 nb_sol=0 ticks=7558 tps=100 nb_sec=75
case_no=73 label=Case6.61 nb_sol=0 ticks=8646 tps=100 nb_sec=86
case_no=73 label=Case6.61 nb_sol=0 ticks=7112 tps=100 nb_sec=71
case_no=73 label=Case6.61 nb_sol=0 ticks=6445 tps=100 nb_sec=64
case_no=73 label=Case6.61 nb_sol=0 ticks=9812 tps=100 nb_sec=98
case_no=73 label=Case6.61 nb_sol=0 ticks=4989 tps=100 nb_sec=49
case_no=73 label=Case6.61 nb_sol=0 ticks=6032 tps=100 nb_sec=60
case_no=73 label=Case6.61 nb_sol=0 ticks=7879 tps=100 nb_sec=78
case_no=73 label=Case6.61 nb_sol=0 ticks=5940 tps=100 nb_sec=59
case_no=73 label=Case6.61 nb_sol=0 ticks=8434 tps=100 nb_sec=84
case_no=73 label=Case6.61 nb_sol=0 ticks=5867 tps=100 nb_sec=58
case_no=73 label=Case6.61 nb_sol=0 ticks=8378 tps=100 nb_sec=83
case_no=73 label=Case6.61 nb_sol=0 ticks=6289 tps=100 nb_sec=62
case_no=73 label=Case6.61 nb_sol=0 ticks=8157 tps=100 nb_sec=81
case_no=73 label=Case6.61 nb_sol=0 ticks=9798 tps=100 nb_sec=97
case_no=73 label=Case6.61 nb_sol=0 ticks=7130 tps=100 nb_sec=71
case_no=73 label=Case6.61 nb_sol=0 ticks=5442 tps=100 nb_sec=54
case_no=73 label=Case6.61 nb_sol=0 ticks=9155 tps=100 nb_sec=91
case_no=73 label=Case6.61 nb_sol=0 ticks=5782 tps=100 nb_sec=57
case_no=73 label=Case6.61 nb_sol=0 ticks=7906 tps=100 nb_sec=79
case_no=73 label=Case6.61 nb_sol=0 ticks=7503 tps=100 nb_sec=75
case_no=73 label=Case6.61 nb_sol=0 ticks=6233 tps=100 nb_sec=62
case_no=73 label=Case6.61 nb_sol=0 ticks=8959 tps=100 nb_sec=89
case_no=73 label=Case6.61 nb_sol=0 ticks=7994 tps=100 nb_sec=79
case_no=73 label=Case6.61 nb_sol=0 ticks=6409 tps=100 nb_sec=64
case_no=73 label=Case6.61 nb_sol=0 ticks=5347 tps=100 nb_sec=53
case_no=73 label=Case6.61 nb_sol=0 ticks=6265 tps=100 nb_sec=62
case_no=73 label=Case6.61 nb_sol=0 ticks=8569 tps=100 nb_sec=85
case_no=73 label=Case6.61 nb_sol=0 ticks=5162 tps=100 nb_sec=51
case_no=73 label=Case6.61 nb_sol=0 ticks=5408 tps=100 nb_sec=54
case_no=73 label=Case6.61 nb_sol=0 ticks=7339 tps=100 nb_sec=73
case_no=73 label=Case6.61 nb_sol=0 ticks=4878 tps=100 nb_sec=48
case_no=73 label=Case6.61 nb_sol=0 ticks=7936 tps=100 nb_sec=79
case_no=73 label=Case6.61 nb_sol=0 ticks=6223 tps=100 nb_sec=62
case_no=73 label=Case6.61 nb_sol=0 ticks=4222 tps=100 nb_sec=42
case_no=73 label=Case6.61 nb_sol=0 ticks=5181 tps=100 nb_sec=51
case_no=73 label=Case6.61 nb_sol=0 ticks=5663 tps=100 nb_sec=56
case_no=73 label=Case6.61 nb_sol=0 ticks=6409 tps=100 nb_sec=64
case_no=73 label=Case6.61 nb_sol=0 ticks=8505 tps=100 nb_sec=85
case_no=73 label=Case6.61 nb_sol=0 ticks=10581 tps=100 nb_sec=105
case_no=73 label=Case6.61 nb_sol=0 ticks=4119 tps=100 nb_sec=41
case_no=73 label=Case6.61 nb_sol=0 ticks=7031 tps=100 nb_sec=70
case_no=73 label=Case6.61 nb_sol=0 ticks=7175 tps=100 nb_sec=71
case_no=73 label=Case6.61 nb_sol=0 ticks=11043 tps=100 nb_sec=110
case_no=73 label=Case6.61 nb_sol=0 ticks=7477 tps=100 nb_sec=74
case_no=73 label=Case6.61 nb_sol=0 ticks=6273 tps=100 nb_sec=62
case_no=73 label=Case6.61 nb_sol=0 ticks=8712 tps=100 nb_sec=87
case_no=73 label=Case6.61 nb_sol=0 ticks=6493 tps=100 nb_sec=64
case_no=73 label=Case6.61 nb_sol=0 ticks=8598 tps=100 nb_sec=85
case_no=73 label=Case6.61 nb_sol=0 ticks=10572 tps=100 nb_sec=105
case_no=73 label=Case6.61 nb_sol=0 ticks=5232 tps=100 nb_sec=52
case_no=73 label=Case6.61 nb_sol=0 ticks=11892 tps=100 nb_sec=118
case_no=73 label=Case6.61 nb_sol=0 ticks=6101 tps=100 nb_sec=61
case_no=73 label=Case6.61 nb_sol=0 ticks=4765 tps=100 nb_sec=47
case_no=73 label=Case6.61 nb_sol=0 ticks=6009 tps=100 nb_sec=60
case_no=73 label=Case6.61 nb_sol=0 ticks=7528 tps=100 nb_sec=75
case_no=73 label=Case6.61 nb_sol=0 ticks=5354 tps=100 nb_sec=53
case_no=73 label=Case6.61 nb_sol=0 ticks=5333 tps=100 nb_sec=53
case_no=73 label=Case6.61 nb_sol=0 ticks=10194 tps=100 nb_sec=101
case_no=73 label=Case6.61 nb_sol=0 ticks=6375 tps=100 nb_sec=63
case_no=73 label=Case6.61 nb_sol=0 ticks=9043 tps=100 nb_sec=90
case_no=73 label=Case6.61 nb_sol=0 ticks=6963 tps=100 nb_sec=69
case_no=73 label=Case6.61 nb_sol=0 ticks=7256 tps=100 nb_sec=72
case_no=73 label=Case6.61 nb_sol=0 ticks=8677 tps=100 nb_sec=86
case_no=73 label=Case6.61 nb_sol=0 ticks=6717 tps=100 nb_sec=67
case_no=73 label=Case6.61 nb_sol=0 ticks=5730 tps=100 nb_sec=57
case_no=73 label=Case6.61 nb_sol=0 ticks=13492 tps=100 nb_sec=134
case_no=73 label=Case6.61 nb_sol=0 ticks=9219 tps=100 nb_sec=92
case_no=73 label=Case6.61 nb_sol=0 ticks=9920 tps=100 nb_sec=99
case_no=73 label=Case6.61 nb_sol=0 ticks=6417 tps=100 nb_sec=64
case_no=73 label=Case6.61 nb_sol=0 ticks=12298 tps=100 nb_sec=122
case_no=73 label=Case6.61 nb_sol=0 ticks=7526 tps=100 nb_sec=75
case_no=73 label=Case6.61 nb_sol=0 ticks=8290 tps=100 nb_sec=82
case_no=73 label=Case6.61 nb_sol=0 ticks=7798 tps=100 nb_sec=77
case_no=73 label=Case6.61 nb_sol=0 ticks=4973 tps=100 nb_sec=49
case_no=73 label=Case6.61 nb_sol=0 ticks=4864 tps=100 nb_sec=48
case_no=73 label=Case6.61 nb_sol=0 ticks=4666 tps=100 nb_sec=46
case_no=73 label=Case6.61 nb_sol=0 ticks=8199 tps=100 nb_sec=81
case_no=73 label=Case6.61 nb_sol=0 ticks=7708 tps=100 nb_sec=77
case_no=73 label=Case6.61 nb_sol=0 ticks=10930 tps=100 nb_sec=109
case_no=73 label=Case6.61 nb_sol=0 ticks=7827 tps=100 nb_sec=78
case_no=73 label=Case6.61 nb_sol=0 ticks=7469 tps=100 nb_sec=74
case_no=73 label=Case6.61 nb_sol=0 ticks=9376 tps=100 nb_sec=93
case_no=73 label=Case6.61 nb_sol=0 ticks=6817 tps=100 nb_sec=68
case_no=73 label=Case6.61 nb_sol=0 ticks=7714 tps=100 nb_sec=77
case_no=73 label=Case6.61 nb_sol=0 ticks=11768 tps=100 nb_sec=117
case_no=73 label=Case6.61 nb_sol=0 ticks=6737 tps=100 nb_sec=67
case_no=73 label=Case6.61 nb_sol=0 ticks=7994 tps=100 nb_sec=79
case_no=73 label=Case6.61 nb_sol=0 ticks=7326 tps=100 nb_sec=73
case_no=73 label=Case6.61 nb_sol=0 ticks=6754 tps=100 nb_sec=67
case_no=73 label=Case6.61 nb_sol=0 ticks=6565 tps=100 nb_sec=65
case_no=73 label=Case6.61 nb_sol=0 ticks=5543 tps=100 nb_sec=55
case_no=73 label=Case6.61 nb_sol=0 ticks=11224 tps=100 nb_sec=112
case_no=73 label=Case6.61 nb_sol=0 ticks=7568 tps=100 nb_sec=75
case_no=73 label=Case6.61 nb_sol=0 ticks=12630 tps=100 nb_sec=126
case_no=73 label=Case6.61 nb_sol=0 ticks=9317 tps=100 nb_sec=93
case_no=73 label=Case6.61 nb_sol=0 ticks=6280 tps=100 nb_sec=62
case_no=73 label=Case6.61 nb_sol=0 ticks=5556 tps=100 nb_sec=55
case_no=73 label=Case6.61 nb_sol=0 ticks=4988 tps=100 nb_sec=49
case_no=73 label=Case6.61 nb_sol=0 ticks=8101 tps=100 nb_sec=81
case_no=73 label=Case6.61 nb_sol=0 ticks=6782 tps=100 nb_sec=67
case_no=73 label=Case6.61 nb_sol=0 ticks=7168 tps=100 nb_sec=71
case_no=73 label=Case6.61 nb_sol=0 ticks=8165 tps=100 nb_sec=81
case_no=73 label=Case6.61 nb_sol=0 ticks=9550 tps=100 nb_sec=95
case_no=73 label=Case6.61 nb_sol=0 ticks=5614 tps=100 nb_sec=56
case_no=73 label=Case6.61 nb_sol=0 ticks=5094 tps=100 nb_sec=50
case_no=73 label=Case6.61 nb_sol=0 ticks=7337 tps=100 nb_sec=73
case_no=73 label=Case6.61 nb_sol=0 ticks=9217 tps=100 nb_sec=92
case_no=73 label=Case6.61 nb_sol=0 ticks=5639 tps=100 nb_sec=56
case_no=73 label=Case6.61 nb_sol=0 ticks=9411 tps=100 nb_sec=94
case_no=73 label=Case6.61 nb_sol=0 ticks=6245 tps=100 nb_sec=62
case_no=73 label=Case6.61 nb_sol=0 ticks=7489 tps=100 nb_sec=74
case_no=73 label=Case6.61 nb_sol=0 ticks=4829 tps=100 nb_sec=48
case_no=73 label=Case6.61 nb_sol=0 ticks=10471 tps=100 nb_sec=104
case_no=73 label=Case6.61 nb_sol=0 ticks=10355 tps=100 nb_sec=103
case_no=73 label=Case6.61 nb_sol=0 ticks=8667 tps=100 nb_sec=86
case_no=73 label=Case6.61 nb_sol=0 ticks=5786 tps=100 nb_sec=57
case_no=73 label=Case6.61 nb_sol=0 ticks=10363 tps=100 nb_sec=103
case_no=73 label=Case6.61 nb_sol=0 ticks=5379 tps=100 nb_sec=53
case_no=73 label=Case6.61 nb_sol=0 ticks=8284 tps=100 nb_sec=82
case_no=73 label=Case6.61 nb_sol=0 ticks=8626 tps=100 nb_sec=86
case_no=73 label=Case6.61 nb_sol=0 ticks=9589 tps=100 nb_sec=95
case_no=73 label=Case6.61 nb_sol=0 ticks=6627 tps=100 nb_sec=66
case_no=73 label=Case6.61 nb_sol=0 ticks=5195 tps=100 nb_sec=51
case_no=73 label=Case6.61 nb_sol=0 ticks=5320 tps=100 nb_sec=53
case_no=73 label=Case6.61 nb_sol=0 ticks=11329 tps=100 nb_sec=113
case_no=73 label=Case6.61 nb_sol=0 ticks=9744 tps=100 nb_sec=97
case_no=73 label=Case6.61 nb_sol=0 ticks=5244 tps=100 nb_sec=52
case_no=73 label=Case6.61 nb_sol=0 ticks=5010 tps=100 nb_sec=50
case_no=73 label=Case6.61 nb_sol=0 ticks=7681 tps=100 nb_sec=76
case_no=73 label=Case6.61 nb_sol=0 ticks=10558 tps=100 nb_sec=105
case_no=73 label=Case6.61 nb_sol=0 ticks=4647 tps=100 nb_sec=46
case_no=73 label=Case6.61 nb_sol=0 ticks=9309 tps=100 nb_sec=93
case_no=73 label=Case6.61 nb_sol=0 ticks=5702 tps=100 nb_sec=57
case_no=73 label=Case6.61 nb_sol=0 ticks=11442 tps=100 nb_sec=114
case_no=73 label=Case6.61 nb_sol=0 ticks=7564 tps=100 nb_sec=75
case_no=73 label=Case6.61 nb_sol=0 ticks=8013 tps=100 nb_sec=80
case_no=73 label=Case6.61 nb_sol=0 ticks=9307 tps=100 nb_sec=93
case_no=73 label=Case6.61 nb_sol=0 ticks=8241 tps=100 nb_sec=82
case_no=73 label=Case6.61 nb_sol=0 ticks=7995 tps=100 nb_sec=79
case_no=73 label=Case6.61 nb_sol=0 ticks=9717 tps=100 nb_sec=97
case_no=73 label=Case6.61 nb_sol=0 ticks=17272 tps=100 nb_sec=172
case_no=73 label=Case6.61 nb_sol=0 ticks=5398 tps=100 nb_sec=53
case_no=73 label=Case6.61 nb_sol=0 ticks=7107 tps=100 nb_sec=71
case_no=73 label=Case6.61 nb_sol=0 ticks=7912 tps=100 nb_sec=79
case_no=73 label=Case6.61 nb_sol=0 ticks=3215 tps=100 nb_sec=32
case_no=73 label=Case6.61 nb_sol=0 ticks=8227 tps=100 nb_sec=82
case_no=73 label=Case6.61 nb_sol=0 ticks=7209 tps=100 nb_sec=72
case_no=73 label=Case6.61 nb_sol=0 ticks=9310 tps=100 nb_sec=93
case_no=73 label=Case6.61 nb_sol=0 ticks=7721 tps=100 nb_sec=77
case_no=73 label=Case6.61 nb_sol=0 ticks=12549 tps=100 nb_sec=125
case_no=73 label=Case6.61 nb_sol=0 ticks=9492 tps=100 nb_sec=94
case_no=73 label=Case6.61 nb_sol=0 ticks=8609 tps=100 nb_sec=86
case_no=73 label=Case6.61 nb_sol=0 ticks=7161 tps=100 nb_sec=71
case_no=73 label=Case6.61 nb_sol=0 ticks=8947 tps=100 nb_sec=89
case_no=73 label=Case6.61 nb_sol=0 ticks=8210 tps=100 nb_sec=82
case_no=73 label=Case6.61 nb_sol=0 ticks=7849 tps=100 nb_sec=78
case_no=73 label=Case6.61 nb_sol=0 ticks=14554 tps=100 nb_sec=145
case_no=73 label=Case6.61 nb_sol=0 ticks=6210 tps=100 nb_sec=62
case_no=73 label=Case6.61 nb_sol=0 ticks=8722 tps=100 nb_sec=87
case_no=73 label=Case6.61 nb_sol=0 ticks=15567 tps=100 nb_sec=155
case_no=73 label=Case6.61 nb_sol=0 ticks=8104 tps=100 nb_sec=81
case_no=73 label=Case6.61 nb_sol=0 ticks=5249 tps=100 nb_sec=52
case_no=73 label=Case6.61 nb_sol=0 ticks=14020 tps=100 nb_sec=140
case_no=73 label=Case6.61 nb_sol=0 ticks=8083 tps=100 nb_sec=80
case_no=73 label=Case6.61 nb_sol=0 ticks=12272 tps=100 nb_sec=122
case_no=73 label=Case6.61 nb_sol=0 ticks=9271 tps=100 nb_sec=92
case_no=73 label=Case6.61 nb_sol=0 ticks=4653 tps=100 nb_sec=46
case_no=73 label=Case6.61 nb_sol=0 ticks=5691 tps=100 nb_sec=56
case_no=73 label=Case6.61 nb_sol=0 ticks=7520 tps=100 nb_sec=75
case_no=73 label=Case6.61 nb_sol=0 ticks=8177 tps=100 nb_sec=81
case_no=73 label=Case6.61 nb_sol=0 ticks=6250 tps=100 nb_sec=62
case_no=73 label=Case6.61 nb_sol=0 ticks=9036 tps=100 nb_sec=90
case_no=73 label=Case6.61 nb_sol=0 ticks=12151 tps=100 nb_sec=121
case_no=73 label=Case6.61 nb_sol=0 ticks=4820 tps=100 nb_sec=48
case_no=73 label=Case6.61 nb_sol=0 ticks=6926 tps=100 nb_sec=69
case_no=73 label=Case6.61 nb_sol=0 ticks=11616 tps=100 nb_sec=116
case_no=73 label=Case6.61 nb_sol=0 ticks=6656 tps=100 nb_sec=66
case_no=73 label=Case6.61 nb_sol=0 ticks=6305 tps=100 nb_sec=63
case_no=73 label=Case6.61 nb_sol=0 ticks=5847 tps=100 nb_sec=58
case_no=73 label=Case6.61 nb_sol=0 ticks=8003 tps=100 nb_sec=80
case_no=73 label=Case6.61 nb_sol=0 ticks=6958 tps=100 nb_sec=69
case_no=73 label=Case6.61 nb_sol=0 ticks=9388 tps=100 nb_sec=93
case_no=73 label=Case6.61 nb_sol=0 ticks=12292 tps=100 nb_sec=122
case_no=73 label=Case6.61 nb_sol=0 ticks=8495 tps=100 nb_sec=84
case_no=73 label=Case6.61 nb_sol=0 ticks=9247 tps=100 nb_sec=92
case_no=73 label=Case6.61 nb_sol=0 ticks=9413 tps=100 nb_sec=94
case_no=73 label=Case6.61 nb_sol=0 ticks=14231 tps=100 nb_sec=142
case_no=73 label=Case6.61 nb_sol=0 ticks=13246 tps=100 nb_sec=132
case_no=73 label=Case6.61 nb_sol=0 ticks=9705 tps=100 nb_sec=97
case_no=73 label=Case6.61 nb_sol=0 ticks=6020 tps=100 nb_sec=60
case_no=73 label=Case6.61 nb_sol=0 ticks=7640 tps=100 nb_sec=76
case_no=73 label=Case6.61 nb_sol=0 ticks=8129 tps=100 nb_sec=81
case_no=73 label=Case6.61 nb_sol=0 ticks=17426 tps=100 nb_sec=174
case_no=73 label=Case6.61 nb_sol=0 ticks=11519 tps=100 nb_sec=115
case_no=73 label=Case6.61 nb_sol=0 ticks=13552 tps=100 nb_sec=135
case_no=73 label=Case6.61 nb_sol=0 ticks=6616 tps=100 nb_sec=66
case_no=73 label=Case6.61 nb_sol=0 ticks=16599 tps=100 nb_sec=165
case_no=73 label=Case6.61 nb_sol=0 ticks=5590 tps=100 nb_sec=55
case_no=73 label=Case6.61 nb_sol=0 ticks=8690 tps=100 nb_sec=86
case_no=73 label=Case6.61 nb_sol=0 ticks=10883 tps=100 nb_sec=108
case_no=73 label=Case6.61 nb_sol=0 ticks=11783 tps=100 nb_sec=117
case_no=73 label=Case6.61 nb_sol=0 ticks=10600 tps=100 nb_sec=106
Nb_sol=0
Nb_sec=21067
0-5:51:7 or 5 hours
missing cases:
none