argc=5
-M 256
file2=30_select_Case6.35_starter_16_
checking files mod 256 from 0 to 255
case_no=47 label=Case6.35 nb_sol=0 ticks=5887 tps=100 nb_sec=58
case_no=47 label=Case6.35 nb_sol=0 ticks=6523 tps=100 nb_sec=65
case_no=47 label=Case6.35 nb_sol=0 ticks=6005 tps=100 nb_sec=60
case_no=47 label=Case6.35 nb_sol=0 ticks=5662 tps=100 nb_sec=56
case_no=47 label=Case6.35 nb_sol=0 ticks=6458 tps=100 nb_sec=64
case_no=47 label=Case6.35 nb_sol=0 ticks=6062 tps=100 nb_sec=60
case_no=47 label=Case6.35 nb_sol=0 ticks=6364 tps=100 nb_sec=63
case_no=47 label=Case6.35 nb_sol=0 ticks=6972 tps=100 nb_sec=69
case_no=47 label=Case6.35 nb_sol=0 ticks=6125 tps=100 nb_sec=61
case_no=47 label=Case6.35 nb_sol=0 ticks=6469 tps=100 nb_sec=64
case_no=47 label=Case6.35 nb_sol=0 ticks=6061 tps=100 nb_sec=60
case_no=47 label=Case6.35 nb_sol=0 ticks=5373 tps=100 nb_sec=53
case_no=47 label=Case6.35 nb_sol=0 ticks=4713 tps=100 nb_sec=47
case_no=47 label=Case6.35 nb_sol=0 ticks=9135 tps=100 nb_sec=91
case_no=47 label=Case6.35 nb_sol=0 ticks=9379 tps=100 nb_sec=93
case_no=47 label=Case6.35 nb_sol=0 ticks=13452 tps=100 nb_sec=134
case_no=47 label=Case6.35 nb_sol=0 ticks=6954 tps=100 nb_sec=69
case_no=47 label=Case6.35 nb_sol=0 ticks=10484 tps=100 nb_sec=104
case_no=47 label=Case6.35 nb_sol=0 ticks=5957 tps=100 nb_sec=59
case_no=47 label=Case6.35 nb_sol=0 ticks=7812 tps=100 nb_sec=78
case_no=47 label=Case6.35 nb_sol=0 ticks=5796 tps=100 nb_sec=57
case_no=47 label=Case6.35 nb_sol=0 ticks=9215 tps=100 nb_sec=92
case_no=47 label=Case6.35 nb_sol=0 ticks=8535 tps=100 nb_sec=85
case_no=47 label=Case6.35 nb_sol=0 ticks=11675 tps=100 nb_sec=116
case_no=47 label=Case6.35 nb_sol=0 ticks=7469 tps=100 nb_sec=74
case_no=47 label=Case6.35 nb_sol=0 ticks=7166 tps=100 nb_sec=71
case_no=47 label=Case6.35 nb_sol=0 ticks=5890 tps=100 nb_sec=58
case_no=47 label=Case6.35 nb_sol=0 ticks=9786 tps=100 nb_sec=97
case_no=47 label=Case6.35 nb_sol=0 ticks=15333 tps=100 nb_sec=153
case_no=47 label=Case6.35 nb_sol=0 ticks=5383 tps=100 nb_sec=53
case_no=47 label=Case6.35 nb_sol=0 ticks=5791 tps=100 nb_sec=57
case_no=47 label=Case6.35 nb_sol=0 ticks=8385 tps=100 nb_sec=83
case_no=47 label=Case6.35 nb_sol=0 ticks=6028 tps=100 nb_sec=60
case_no=47 label=Case6.35 nb_sol=0 ticks=6306 tps=100 nb_sec=63
case_no=47 label=Case6.35 nb_sol=0 ticks=9900 tps=100 nb_sec=99
case_no=47 label=Case6.35 nb_sol=0 ticks=9460 tps=100 nb_sec=94
case_no=47 label=Case6.35 nb_sol=0 ticks=4891 tps=100 nb_sec=48
case_no=47 label=Case6.35 nb_sol=0 ticks=5748 tps=100 nb_sec=57
case_no=47 label=Case6.35 nb_sol=0 ticks=10489 tps=100 nb_sec=104
case_no=47 label=Case6.35 nb_sol=0 ticks=7549 tps=100 nb_sec=75
case_no=47 label=Case6.35 nb_sol=0 ticks=9278 tps=100 nb_sec=92
case_no=47 label=Case6.35 nb_sol=0 ticks=5090 tps=100 nb_sec=50
case_no=47 label=Case6.35 nb_sol=0 ticks=5744 tps=100 nb_sec=57
case_no=47 label=Case6.35 nb_sol=0 ticks=9230 tps=100 nb_sec=92
case_no=47 label=Case6.35 nb_sol=0 ticks=5883 tps=100 nb_sec=58
case_no=47 label=Case6.35 nb_sol=0 ticks=10525 tps=100 nb_sec=105
case_no=47 label=Case6.35 nb_sol=0 ticks=9012 tps=100 nb_sec=90
case_no=47 label=Case6.35 nb_sol=0 ticks=7428 tps=100 nb_sec=74
case_no=47 label=Case6.35 nb_sol=0 ticks=5256 tps=100 nb_sec=52
case_no=47 label=Case6.35 nb_sol=0 ticks=9478 tps=100 nb_sec=94
case_no=47 label=Case6.35 nb_sol=0 ticks=4916 tps=100 nb_sec=49
case_no=47 label=Case6.35 nb_sol=0 ticks=5001 tps=100 nb_sec=50
case_no=47 label=Case6.35 nb_sol=0 ticks=6711 tps=100 nb_sec=67
case_no=47 label=Case6.35 nb_sol=0 ticks=5492 tps=100 nb_sec=54
case_no=47 label=Case6.35 nb_sol=0 ticks=4906 tps=100 nb_sec=49
case_no=47 label=Case6.35 nb_sol=0 ticks=5082 tps=100 nb_sec=50
case_no=47 label=Case6.35 nb_sol=0 ticks=4876 tps=100 nb_sec=48
case_no=47 label=Case6.35 nb_sol=0 ticks=6863 tps=100 nb_sec=68
case_no=47 label=Case6.35 nb_sol=0 ticks=11757 tps=100 nb_sec=117
case_no=47 label=Case6.35 nb_sol=0 ticks=7335 tps=100 nb_sec=73
case_no=47 label=Case6.35 nb_sol=0 ticks=6712 tps=100 nb_sec=67
case_no=47 label=Case6.35 nb_sol=0 ticks=4952 tps=100 nb_sec=49
case_no=47 label=Case6.35 nb_sol=0 ticks=9588 tps=100 nb_sec=95
case_no=47 label=Case6.35 nb_sol=0 ticks=15385 tps=100 nb_sec=153
case_no=47 label=Case6.35 nb_sol=0 ticks=7713 tps=100 nb_sec=77
case_no=47 label=Case6.35 nb_sol=0 ticks=7484 tps=100 nb_sec=74
case_no=47 label=Case6.35 nb_sol=0 ticks=9279 tps=100 nb_sec=92
case_no=47 label=Case6.35 nb_sol=0 ticks=5116 tps=100 nb_sec=51
case_no=47 label=Case6.35 nb_sol=0 ticks=11653 tps=100 nb_sec=116
case_no=47 label=Case6.35 nb_sol=0 ticks=14500 tps=100 nb_sec=145
case_no=47 label=Case6.35 nb_sol=0 ticks=4183 tps=100 nb_sec=41
case_no=47 label=Case6.35 nb_sol=0 ticks=7711 tps=100 nb_sec=77
case_no=47 label=Case6.35 nb_sol=0 ticks=15486 tps=100 nb_sec=154
case_no=47 label=Case6.35 nb_sol=0 ticks=5853 tps=100 nb_sec=58
case_no=47 label=Case6.35 nb_sol=0 ticks=4950 tps=100 nb_sec=49
case_no=47 label=Case6.35 nb_sol=0 ticks=9382 tps=100 nb_sec=93
case_no=47 label=Case6.35 nb_sol=0 ticks=6631 tps=100 nb_sec=66
case_no=47 label=Case6.35 nb_sol=0 ticks=4235 tps=100 nb_sec=42
case_no=47 label=Case6.35 nb_sol=0 ticks=8580 tps=100 nb_sec=85
case_no=47 label=Case6.35 nb_sol=0 ticks=4814 tps=100 nb_sec=48
case_no=47 label=Case6.35 nb_sol=0 ticks=10043 tps=100 nb_sec=100
case_no=47 label=Case6.35 nb_sol=0 ticks=8081 tps=100 nb_sec=80
case_no=47 label=Case6.35 nb_sol=0 ticks=8749 tps=100 nb_sec=87
case_no=47 label=Case6.35 nb_sol=0 ticks=4843 tps=100 nb_sec=48
case_no=47 label=Case6.35 nb_sol=0 ticks=5726 tps=100 nb_sec=57
case_no=47 label=Case6.35 nb_sol=0 ticks=10312 tps=100 nb_sec=103
case_no=47 label=Case6.35 nb_sol=0 ticks=9371 tps=100 nb_sec=93
case_no=47 label=Case6.35 nb_sol=0 ticks=5599 tps=100 nb_sec=55
case_no=47 label=Case6.35 nb_sol=0 ticks=14631 tps=100 nb_sec=146
case_no=47 label=Case6.35 nb_sol=0 ticks=6127 tps=100 nb_sec=61
case_no=47 label=Case6.35 nb_sol=0 ticks=4002 tps=100 nb_sec=40
case_no=47 label=Case6.35 nb_sol=0 ticks=5418 tps=100 nb_sec=54
case_no=47 label=Case6.35 nb_sol=0 ticks=15403 tps=100 nb_sec=154
case_no=47 label=Case6.35 nb_sol=0 ticks=9880 tps=100 nb_sec=98
case_no=47 label=Case6.35 nb_sol=0 ticks=14163 tps=100 nb_sec=141
case_no=47 label=Case6.35 nb_sol=0 ticks=7667 tps=100 nb_sec=76
case_no=47 label=Case6.35 nb_sol=0 ticks=7175 tps=100 nb_sec=71
case_no=47 label=Case6.35 nb_sol=0 ticks=14157 tps=100 nb_sec=141
case_no=47 label=Case6.35 nb_sol=0 ticks=6956 tps=100 nb_sec=69
case_no=47 label=Case6.35 nb_sol=0 ticks=9673 tps=100 nb_sec=96
case_no=47 label=Case6.35 nb_sol=0 ticks=14981 tps=100 nb_sec=149
case_no=47 label=Case6.35 nb_sol=0 ticks=5790 tps=100 nb_sec=57
case_no=47 label=Case6.35 nb_sol=0 ticks=15777 tps=100 nb_sec=157
case_no=47 label=Case6.35 nb_sol=0 ticks=14328 tps=100 nb_sec=143
case_no=47 label=Case6.35 nb_sol=0 ticks=15282 tps=100 nb_sec=152
case_no=47 label=Case6.35 nb_sol=0 ticks=7103 tps=100 nb_sec=71
case_no=47 label=Case6.35 nb_sol=0 ticks=10255 tps=100 nb_sec=102
case_no=47 label=Case6.35 nb_sol=0 ticks=6310 tps=100 nb_sec=63
case_no=47 label=Case6.35 nb_sol=0 ticks=9737 tps=100 nb_sec=97
case_no=47 label=Case6.35 nb_sol=0 ticks=8509 tps=100 nb_sec=85
case_no=47 label=Case6.35 nb_sol=0 ticks=8619 tps=100 nb_sec=86
case_no=47 label=Case6.35 nb_sol=0 ticks=13672 tps=100 nb_sec=136
case_no=47 label=Case6.35 nb_sol=0 ticks=5190 tps=100 nb_sec=51
case_no=47 label=Case6.35 nb_sol=0 ticks=11691 tps=100 nb_sec=116
case_no=47 label=Case6.35 nb_sol=0 ticks=6873 tps=100 nb_sec=68
case_no=47 label=Case6.35 nb_sol=0 ticks=7787 tps=100 nb_sec=77
case_no=47 label=Case6.35 nb_sol=0 ticks=13114 tps=100 nb_sec=131
case_no=47 label=Case6.35 nb_sol=0 ticks=5756 tps=100 nb_sec=57
case_no=47 label=Case6.35 nb_sol=0 ticks=4438 tps=100 nb_sec=44
case_no=47 label=Case6.35 nb_sol=0 ticks=10160 tps=100 nb_sec=101
case_no=47 label=Case6.35 nb_sol=0 ticks=10502 tps=100 nb_sec=105
case_no=47 label=Case6.35 nb_sol=0 ticks=7834 tps=100 nb_sec=78
case_no=47 label=Case6.35 nb_sol=0 ticks=9759 tps=100 nb_sec=97
case_no=47 label=Case6.35 nb_sol=0 ticks=13667 tps=100 nb_sec=136
case_no=47 label=Case6.35 nb_sol=0 ticks=5550 tps=100 nb_sec=55
case_no=47 label=Case6.35 nb_sol=0 ticks=9922 tps=100 nb_sec=99
case_no=47 label=Case6.35 nb_sol=0 ticks=17590 tps=100 nb_sec=175
case_no=47 label=Case6.35 nb_sol=0 ticks=10589 tps=100 nb_sec=105
case_no=47 label=Case6.35 nb_sol=0 ticks=10001 tps=100 nb_sec=100
case_no=47 label=Case6.35 nb_sol=0 ticks=6220 tps=100 nb_sec=62
case_no=47 label=Case6.35 nb_sol=0 ticks=7599 tps=100 nb_sec=75
case_no=47 label=Case6.35 nb_sol=0 ticks=6373 tps=100 nb_sec=63
case_no=47 label=Case6.35 nb_sol=0 ticks=7647 tps=100 nb_sec=76
case_no=47 label=Case6.35 nb_sol=0 ticks=6707 tps=100 nb_sec=67
case_no=47 label=Case6.35 nb_sol=0 ticks=6747 tps=100 nb_sec=67
case_no=47 label=Case6.35 nb_sol=0 ticks=9153 tps=100 nb_sec=91
case_no=47 label=Case6.35 nb_sol=0 ticks=7737 tps=100 nb_sec=77
case_no=47 label=Case6.35 nb_sol=0 ticks=10067 tps=100 nb_sec=100
case_no=47 label=Case6.35 nb_sol=0 ticks=7262 tps=100 nb_sec=72
case_no=47 label=Case6.35 nb_sol=0 ticks=7529 tps=100 nb_sec=75
case_no=47 label=Case6.35 nb_sol=0 ticks=5856 tps=100 nb_sec=58
case_no=47 label=Case6.35 nb_sol=0 ticks=7601 tps=100 nb_sec=76
case_no=47 label=Case6.35 nb_sol=0 ticks=6723 tps=100 nb_sec=67
case_no=47 label=Case6.35 nb_sol=0 ticks=6444 tps=100 nb_sec=64
case_no=47 label=Case6.35 nb_sol=0 ticks=6673 tps=100 nb_sec=66
case_no=47 label=Case6.35 nb_sol=0 ticks=6572 tps=100 nb_sec=65
case_no=47 label=Case6.35 nb_sol=0 ticks=6330 tps=100 nb_sec=63
case_no=47 label=Case6.35 nb_sol=0 ticks=11965 tps=100 nb_sec=119
case_no=47 label=Case6.35 nb_sol=0 ticks=6199 tps=100 nb_sec=61
case_no=47 label=Case6.35 nb_sol=0 ticks=7529 tps=100 nb_sec=75
case_no=47 label=Case6.35 nb_sol=0 ticks=10772 tps=100 nb_sec=107
case_no=47 label=Case6.35 nb_sol=0 ticks=6623 tps=100 nb_sec=66
case_no=47 label=Case6.35 nb_sol=0 ticks=11451 tps=100 nb_sec=114
case_no=47 label=Case6.35 nb_sol=0 ticks=5130 tps=100 nb_sec=51
case_no=47 label=Case6.35 nb_sol=0 ticks=6483 tps=100 nb_sec=64
case_no=47 label=Case6.35 nb_sol=0 ticks=6786 tps=100 nb_sec=67
case_no=47 label=Case6.35 nb_sol=0 ticks=10108 tps=100 nb_sec=101
case_no=47 label=Case6.35 nb_sol=0 ticks=6642 tps=100 nb_sec=66
case_no=47 label=Case6.35 nb_sol=0 ticks=7722 tps=100 nb_sec=77
case_no=47 label=Case6.35 nb_sol=0 ticks=6600 tps=100 nb_sec=66
case_no=47 label=Case6.35 nb_sol=0 ticks=10153 tps=100 nb_sec=101
case_no=47 label=Case6.35 nb_sol=0 ticks=6772 tps=100 nb_sec=67
case_no=47 label=Case6.35 nb_sol=0 ticks=4834 tps=100 nb_sec=48
case_no=47 label=Case6.35 nb_sol=0 ticks=9205 tps=100 nb_sec=92
case_no=47 label=Case6.35 nb_sol=0 ticks=5460 tps=100 nb_sec=54
case_no=47 label=Case6.35 nb_sol=0 ticks=4830 tps=100 nb_sec=48
case_no=47 label=Case6.35 nb_sol=0 ticks=6912 tps=100 nb_sec=69
case_no=47 label=Case6.35 nb_sol=0 ticks=10354 tps=100 nb_sec=103
case_no=47 label=Case6.35 nb_sol=0 ticks=10594 tps=100 nb_sec=105
case_no=47 label=Case6.35 nb_sol=0 ticks=5575 tps=100 nb_sec=55
case_no=47 label=Case6.35 nb_sol=0 ticks=5770 tps=100 nb_sec=57
case_no=47 label=Case6.35 nb_sol=0 ticks=5968 tps=100 nb_sec=59
case_no=47 label=Case6.35 nb_sol=0 ticks=11617 tps=100 nb_sec=116
case_no=47 label=Case6.35 nb_sol=0 ticks=12571 tps=100 nb_sec=125
case_no=47 label=Case6.35 nb_sol=0 ticks=6735 tps=100 nb_sec=67
case_no=47 label=Case6.35 nb_sol=0 ticks=10768 tps=100 nb_sec=107
case_no=47 label=Case6.35 nb_sol=0 ticks=9093 tps=100 nb_sec=90
case_no=47 label=Case6.35 nb_sol=0 ticks=7809 tps=100 nb_sec=78
case_no=47 label=Case6.35 nb_sol=0 ticks=5997 tps=100 nb_sec=59
case_no=47 label=Case6.35 nb_sol=0 ticks=6685 tps=100 nb_sec=66
case_no=47 label=Case6.35 nb_sol=0 ticks=11902 tps=100 nb_sec=119
case_no=47 label=Case6.35 nb_sol=0 ticks=8808 tps=100 nb_sec=88
case_no=47 label=Case6.35 nb_sol=0 ticks=7732 tps=100 nb_sec=77
case_no=47 label=Case6.35 nb_sol=0 ticks=10071 tps=100 nb_sec=100
case_no=47 label=Case6.35 nb_sol=0 ticks=6971 tps=100 nb_sec=69
case_no=47 label=Case6.35 nb_sol=0 ticks=9263 tps=100 nb_sec=92
case_no=47 label=Case6.35 nb_sol=0 ticks=6819 tps=100 nb_sec=68
case_no=47 label=Case6.35 nb_sol=0 ticks=5289 tps=100 nb_sec=52
case_no=47 label=Case6.35 nb_sol=0 ticks=10699 tps=100 nb_sec=106
case_no=47 label=Case6.35 nb_sol=0 ticks=7380 tps=100 nb_sec=73
case_no=47 label=Case6.35 nb_sol=0 ticks=7152 tps=100 nb_sec=71
case_no=47 label=Case6.35 nb_sol=0 ticks=5938 tps=100 nb_sec=59
case_no=47 label=Case6.35 nb_sol=0 ticks=6486 tps=100 nb_sec=64
case_no=47 label=Case6.35 nb_sol=0 ticks=17407 tps=100 nb_sec=174
case_no=47 label=Case6.35 nb_sol=0 ticks=6562 tps=100 nb_sec=65
case_no=47 label=Case6.35 nb_sol=0 ticks=9362 tps=100 nb_sec=93
case_no=47 label=Case6.35 nb_sol=0 ticks=13217 tps=100 nb_sec=132
case_no=47 label=Case6.35 nb_sol=0 ticks=5131 tps=100 nb_sec=51
case_no=47 label=Case6.35 nb_sol=0 ticks=11449 tps=100 nb_sec=114
case_no=47 label=Case6.35 nb_sol=0 ticks=13430 tps=100 nb_sec=134
case_no=47 label=Case6.35 nb_sol=0 ticks=5217 tps=100 nb_sec=52
case_no=47 label=Case6.35 nb_sol=0 ticks=6072 tps=100 nb_sec=60
case_no=47 label=Case6.35 nb_sol=0 ticks=6601 tps=100 nb_sec=66
case_no=47 label=Case6.35 nb_sol=0 ticks=10291 tps=100 nb_sec=102
case_no=47 label=Case6.35 nb_sol=0 ticks=6001 tps=100 nb_sec=60
case_no=47 label=Case6.35 nb_sol=0 ticks=17323 tps=100 nb_sec=173
case_no=47 label=Case6.35 nb_sol=0 ticks=14648 tps=100 nb_sec=146
case_no=47 label=Case6.35 nb_sol=0 ticks=11490 tps=100 nb_sec=114
case_no=47 label=Case6.35 nb_sol=0 ticks=6017 tps=100 nb_sec=60
case_no=47 label=Case6.35 nb_sol=0 ticks=7537 tps=100 nb_sec=75
case_no=47 label=Case6.35 nb_sol=0 ticks=8666 tps=100 nb_sec=86
case_no=47 label=Case6.35 nb_sol=0 ticks=10912 tps=100 nb_sec=109
case_no=47 label=Case6.35 nb_sol=0 ticks=6468 tps=100 nb_sec=64
case_no=47 label=Case6.35 nb_sol=0 ticks=7310 tps=100 nb_sec=73
case_no=47 label=Case6.35 nb_sol=0 ticks=17417 tps=100 nb_sec=174
case_no=47 label=Case6.35 nb_sol=0 ticks=7622 tps=100 nb_sec=76
case_no=47 label=Case6.35 nb_sol=0 ticks=9203 tps=100 nb_sec=92
case_no=47 label=Case6.35 nb_sol=0 ticks=16615 tps=100 nb_sec=166
case_no=47 label=Case6.35 nb_sol=0 ticks=6763 tps=100 nb_sec=67
case_no=47 label=Case6.35 nb_sol=0 ticks=10285 tps=100 nb_sec=102
case_no=47 label=Case6.35 nb_sol=0 ticks=7746 tps=100 nb_sec=77
case_no=47 label=Case6.35 nb_sol=0 ticks=12863 tps=100 nb_sec=128
case_no=47 label=Case6.35 nb_sol=0 ticks=9552 tps=100 nb_sec=95
case_no=47 label=Case6.35 nb_sol=0 ticks=6659 tps=100 nb_sec=66
case_no=47 label=Case6.35 nb_sol=0 ticks=6575 tps=100 nb_sec=65
case_no=47 label=Case6.35 nb_sol=0 ticks=7226 tps=100 nb_sec=72
case_no=47 label=Case6.35 nb_sol=0 ticks=16228 tps=100 nb_sec=162
case_no=47 label=Case6.35 nb_sol=0 ticks=6010 tps=100 nb_sec=60
case_no=47 label=Case6.35 nb_sol=0 ticks=11912 tps=100 nb_sec=119
case_no=47 label=Case6.35 nb_sol=0 ticks=5712 tps=100 nb_sec=57
case_no=47 label=Case6.35 nb_sol=0 ticks=8888 tps=100 nb_sec=88
case_no=47 label=Case6.35 nb_sol=0 ticks=7458 tps=100 nb_sec=74
case_no=47 label=Case6.35 nb_sol=0 ticks=14120 tps=100 nb_sec=141
case_no=47 label=Case6.35 nb_sol=0 ticks=8233 tps=100 nb_sec=82
case_no=47 label=Case6.35 nb_sol=0 ticks=7842 tps=100 nb_sec=78
case_no=47 label=Case6.35 nb_sol=0 ticks=7173 tps=100 nb_sec=71
case_no=47 label=Case6.35 nb_sol=0 ticks=7879 tps=100 nb_sec=78
case_no=47 label=Case6.35 nb_sol=0 ticks=13744 tps=100 nb_sec=137
case_no=47 label=Case6.35 nb_sol=0 ticks=9335 tps=100 nb_sec=93
case_no=47 label=Case6.35 nb_sol=0 ticks=5977 tps=100 nb_sec=59
case_no=47 label=Case6.35 nb_sol=0 ticks=5800 tps=100 nb_sec=58
case_no=47 label=Case6.35 nb_sol=0 ticks=15405 tps=100 nb_sec=154
case_no=47 label=Case6.35 nb_sol=0 ticks=8401 tps=100 nb_sec=84
case_no=47 label=Case6.35 nb_sol=0 ticks=10454 tps=100 nb_sec=104
case_no=47 label=Case6.35 nb_sol=0 ticks=7504 tps=100 nb_sec=75
case_no=47 label=Case6.35 nb_sol=0 ticks=5795 tps=100 nb_sec=57
case_no=47 label=Case6.35 nb_sol=0 ticks=6218 tps=100 nb_sec=62
case_no=47 label=Case6.35 nb_sol=0 ticks=7609 tps=100 nb_sec=76
case_no=47 label=Case6.35 nb_sol=0 ticks=9641 tps=100 nb_sec=96
case_no=47 label=Case6.35 nb_sol=0 ticks=7350 tps=100 nb_sec=73
case_no=47 label=Case6.35 nb_sol=0 ticks=10892 tps=100 nb_sec=108
case_no=47 label=Case6.35 nb_sol=0 ticks=7227 tps=100 nb_sec=72
case_no=47 label=Case6.35 nb_sol=0 ticks=6792 tps=100 nb_sec=67
case_no=47 label=Case6.35 nb_sol=0 ticks=7347 tps=100 nb_sec=73
case_no=47 label=Case6.35 nb_sol=0 ticks=12748 tps=100 nb_sec=127
case_no=47 label=Case6.35 nb_sol=0 ticks=7174 tps=100 nb_sec=71
Nb_sol=0
Nb_sec=21449
0-5:57:29 or 5 hours
missing cases:
none