argc=5
-M 256
file2=30_select_Case6.62_starter_16_
checking files mod 256 from 0 to 255
case_no=74 label=Case6.62 nb_sol=0 ticks=26527 tps=100 nb_sec=265
case_no=74 label=Case6.62 nb_sol=0 ticks=15377 tps=100 nb_sec=153
case_no=74 label=Case6.62 nb_sol=0 ticks=15644 tps=100 nb_sec=156
case_no=74 label=Case6.62 nb_sol=0 ticks=14275 tps=100 nb_sec=142
case_no=74 label=Case6.62 nb_sol=0 ticks=19553 tps=100 nb_sec=195
case_no=74 label=Case6.62 nb_sol=0 ticks=15011 tps=100 nb_sec=150
case_no=74 label=Case6.62 nb_sol=0 ticks=19425 tps=100 nb_sec=194
case_no=74 label=Case6.62 nb_sol=0 ticks=14599 tps=100 nb_sec=145
case_no=74 label=Case6.62 nb_sol=0 ticks=18513 tps=100 nb_sec=185
case_no=74 label=Case6.62 nb_sol=0 ticks=16796 tps=100 nb_sec=167
case_no=74 label=Case6.62 nb_sol=0 ticks=17112 tps=100 nb_sec=171
case_no=74 label=Case6.62 nb_sol=0 ticks=16346 tps=100 nb_sec=163
case_no=74 label=Case6.62 nb_sol=0 ticks=25987 tps=100 nb_sec=259
case_no=74 label=Case6.62 nb_sol=0 ticks=14559 tps=100 nb_sec=145
case_no=74 label=Case6.62 nb_sol=0 ticks=13238 tps=100 nb_sec=132
case_no=74 label=Case6.62 nb_sol=0 ticks=16489 tps=100 nb_sec=164
case_no=74 label=Case6.62 nb_sol=0 ticks=16177 tps=100 nb_sec=161
case_no=74 label=Case6.62 nb_sol=0 ticks=23975 tps=100 nb_sec=239
case_no=74 label=Case6.62 nb_sol=0 ticks=15025 tps=100 nb_sec=150
case_no=74 label=Case6.62 nb_sol=0 ticks=15831 tps=100 nb_sec=158
case_no=74 label=Case6.62 nb_sol=0 ticks=12749 tps=100 nb_sec=127
case_no=74 label=Case6.62 nb_sol=0 ticks=18726 tps=100 nb_sec=187
case_no=74 label=Case6.62 nb_sol=0 ticks=21269 tps=100 nb_sec=212
case_no=74 label=Case6.62 nb_sol=0 ticks=23490 tps=100 nb_sec=234
case_no=74 label=Case6.62 nb_sol=0 ticks=20157 tps=100 nb_sec=201
case_no=74 label=Case6.62 nb_sol=0 ticks=23959 tps=100 nb_sec=239
case_no=74 label=Case6.62 nb_sol=0 ticks=21800 tps=100 nb_sec=218
case_no=74 label=Case6.62 nb_sol=0 ticks=21846 tps=100 nb_sec=218
case_no=74 label=Case6.62 nb_sol=0 ticks=33689 tps=100 nb_sec=336
case_no=74 label=Case6.62 nb_sol=0 ticks=20335 tps=100 nb_sec=203
case_no=74 label=Case6.62 nb_sol=0 ticks=11245 tps=100 nb_sec=112
case_no=74 label=Case6.62 nb_sol=0 ticks=13140 tps=100 nb_sec=131
case_no=74 label=Case6.62 nb_sol=0 ticks=11477 tps=100 nb_sec=114
case_no=74 label=Case6.62 nb_sol=0 ticks=11152 tps=100 nb_sec=111
case_no=74 label=Case6.62 nb_sol=0 ticks=10781 tps=100 nb_sec=107
case_no=74 label=Case6.62 nb_sol=0 ticks=17532 tps=100 nb_sec=175
case_no=74 label=Case6.62 nb_sol=0 ticks=16132 tps=100 nb_sec=161
case_no=74 label=Case6.62 nb_sol=0 ticks=9138 tps=100 nb_sec=91
case_no=74 label=Case6.62 nb_sol=0 ticks=21095 tps=100 nb_sec=210
case_no=74 label=Case6.62 nb_sol=0 ticks=17755 tps=100 nb_sec=177
case_no=74 label=Case6.62 nb_sol=0 ticks=23136 tps=100 nb_sec=231
case_no=74 label=Case6.62 nb_sol=0 ticks=18076 tps=100 nb_sec=180
case_no=74 label=Case6.62 nb_sol=0 ticks=8119 tps=100 nb_sec=81
case_no=74 label=Case6.62 nb_sol=0 ticks=11966 tps=100 nb_sec=119
case_no=74 label=Case6.62 nb_sol=0 ticks=15460 tps=100 nb_sec=154
case_no=74 label=Case6.62 nb_sol=0 ticks=16834 tps=100 nb_sec=168
case_no=74 label=Case6.62 nb_sol=0 ticks=15024 tps=100 nb_sec=150
case_no=74 label=Case6.62 nb_sol=0 ticks=24342 tps=100 nb_sec=243
case_no=74 label=Case6.62 nb_sol=0 ticks=17341 tps=100 nb_sec=173
case_no=74 label=Case6.62 nb_sol=0 ticks=22902 tps=100 nb_sec=229
case_no=74 label=Case6.62 nb_sol=0 ticks=18703 tps=100 nb_sec=187
case_no=74 label=Case6.62 nb_sol=0 ticks=16478 tps=100 nb_sec=164
case_no=74 label=Case6.62 nb_sol=0 ticks=16211 tps=100 nb_sec=162
case_no=74 label=Case6.62 nb_sol=0 ticks=14826 tps=100 nb_sec=148
case_no=74 label=Case6.62 nb_sol=0 ticks=17298 tps=100 nb_sec=172
case_no=74 label=Case6.62 nb_sol=0 ticks=16717 tps=100 nb_sec=167
case_no=74 label=Case6.62 nb_sol=0 ticks=23650 tps=100 nb_sec=236
case_no=74 label=Case6.62 nb_sol=0 ticks=13829 tps=100 nb_sec=138
case_no=74 label=Case6.62 nb_sol=0 ticks=14113 tps=100 nb_sec=141
case_no=74 label=Case6.62 nb_sol=0 ticks=15374 tps=100 nb_sec=153
case_no=74 label=Case6.62 nb_sol=0 ticks=19231 tps=100 nb_sec=192
case_no=74 label=Case6.62 nb_sol=0 ticks=17907 tps=100 nb_sec=179
case_no=74 label=Case6.62 nb_sol=0 ticks=12509 tps=100 nb_sec=125
case_no=74 label=Case6.62 nb_sol=0 ticks=13906 tps=100 nb_sec=139
case_no=74 label=Case6.62 nb_sol=0 ticks=18503 tps=100 nb_sec=185
case_no=74 label=Case6.62 nb_sol=0 ticks=23735 tps=100 nb_sec=237
case_no=74 label=Case6.62 nb_sol=0 ticks=19266 tps=100 nb_sec=192
case_no=74 label=Case6.62 nb_sol=0 ticks=14368 tps=100 nb_sec=143
case_no=74 label=Case6.62 nb_sol=0 ticks=13515 tps=100 nb_sec=135
case_no=74 label=Case6.62 nb_sol=0 ticks=16691 tps=100 nb_sec=166
case_no=74 label=Case6.62 nb_sol=0 ticks=19006 tps=100 nb_sec=190
case_no=74 label=Case6.62 nb_sol=0 ticks=14611 tps=100 nb_sec=146
case_no=74 label=Case6.62 nb_sol=0 ticks=15931 tps=100 nb_sec=159
case_no=74 label=Case6.62 nb_sol=0 ticks=21821 tps=100 nb_sec=218
case_no=74 label=Case6.62 nb_sol=0 ticks=16872 tps=100 nb_sec=168
case_no=74 label=Case6.62 nb_sol=0 ticks=25569 tps=100 nb_sec=255
case_no=74 label=Case6.62 nb_sol=0 ticks=25024 tps=100 nb_sec=250
case_no=74 label=Case6.62 nb_sol=0 ticks=15972 tps=100 nb_sec=159
case_no=74 label=Case6.62 nb_sol=0 ticks=14376 tps=100 nb_sec=143
case_no=74 label=Case6.62 nb_sol=0 ticks=23438 tps=100 nb_sec=234
case_no=74 label=Case6.62 nb_sol=0 ticks=23367 tps=100 nb_sec=233
case_no=74 label=Case6.62 nb_sol=0 ticks=19220 tps=100 nb_sec=192
case_no=74 label=Case6.62 nb_sol=0 ticks=13167 tps=100 nb_sec=131
case_no=74 label=Case6.62 nb_sol=0 ticks=8812 tps=100 nb_sec=88
case_no=74 label=Case6.62 nb_sol=0 ticks=7797 tps=100 nb_sec=77
case_no=74 label=Case6.62 nb_sol=0 ticks=22155 tps=100 nb_sec=221
case_no=74 label=Case6.62 nb_sol=0 ticks=16413 tps=100 nb_sec=164
case_no=74 label=Case6.62 nb_sol=0 ticks=8855 tps=100 nb_sec=88
case_no=74 label=Case6.62 nb_sol=0 ticks=24309 tps=100 nb_sec=243
case_no=74 label=Case6.62 nb_sol=0 ticks=11083 tps=100 nb_sec=110
case_no=74 label=Case6.62 nb_sol=0 ticks=29806 tps=100 nb_sec=298
case_no=74 label=Case6.62 nb_sol=0 ticks=14659 tps=100 nb_sec=146
case_no=74 label=Case6.62 nb_sol=0 ticks=25239 tps=100 nb_sec=252
case_no=74 label=Case6.62 nb_sol=0 ticks=10220 tps=100 nb_sec=102
case_no=74 label=Case6.62 nb_sol=0 ticks=12334 tps=100 nb_sec=123
case_no=74 label=Case6.62 nb_sol=0 ticks=9644 tps=100 nb_sec=96
case_no=74 label=Case6.62 nb_sol=0 ticks=9883 tps=100 nb_sec=98
case_no=74 label=Case6.62 nb_sol=0 ticks=22421 tps=100 nb_sec=224
case_no=74 label=Case6.62 nb_sol=0 ticks=13357 tps=100 nb_sec=133
case_no=74 label=Case6.62 nb_sol=0 ticks=11391 tps=100 nb_sec=113
case_no=74 label=Case6.62 nb_sol=0 ticks=14894 tps=100 nb_sec=148
case_no=74 label=Case6.62 nb_sol=0 ticks=10386 tps=100 nb_sec=103
case_no=74 label=Case6.62 nb_sol=0 ticks=15570 tps=100 nb_sec=155
case_no=74 label=Case6.62 nb_sol=0 ticks=13976 tps=100 nb_sec=139
case_no=74 label=Case6.62 nb_sol=0 ticks=19095 tps=100 nb_sec=190
case_no=74 label=Case6.62 nb_sol=0 ticks=13992 tps=100 nb_sec=139
case_no=74 label=Case6.62 nb_sol=0 ticks=14744 tps=100 nb_sec=147
case_no=74 label=Case6.62 nb_sol=0 ticks=14244 tps=100 nb_sec=142
case_no=74 label=Case6.62 nb_sol=0 ticks=13955 tps=100 nb_sec=139
case_no=74 label=Case6.62 nb_sol=0 ticks=20443 tps=100 nb_sec=204
case_no=74 label=Case6.62 nb_sol=0 ticks=9155 tps=100 nb_sec=91
case_no=74 label=Case6.62 nb_sol=0 ticks=25270 tps=100 nb_sec=252
case_no=74 label=Case6.62 nb_sol=0 ticks=18801 tps=100 nb_sec=188
case_no=74 label=Case6.62 nb_sol=0 ticks=14787 tps=100 nb_sec=147
case_no=74 label=Case6.62 nb_sol=0 ticks=7774 tps=100 nb_sec=77
case_no=74 label=Case6.62 nb_sol=0 ticks=16024 tps=100 nb_sec=160
case_no=74 label=Case6.62 nb_sol=0 ticks=15488 tps=100 nb_sec=154
case_no=74 label=Case6.62 nb_sol=0 ticks=7669 tps=100 nb_sec=76
case_no=74 label=Case6.62 nb_sol=0 ticks=13186 tps=100 nb_sec=131
case_no=74 label=Case6.62 nb_sol=0 ticks=21665 tps=100 nb_sec=216
case_no=74 label=Case6.62 nb_sol=0 ticks=24501 tps=100 nb_sec=245
case_no=74 label=Case6.62 nb_sol=0 ticks=14855 tps=100 nb_sec=148
case_no=74 label=Case6.62 nb_sol=0 ticks=15164 tps=100 nb_sec=151
case_no=74 label=Case6.62 nb_sol=0 ticks=9191 tps=100 nb_sec=91
case_no=74 label=Case6.62 nb_sol=0 ticks=17567 tps=100 nb_sec=175
case_no=74 label=Case6.62 nb_sol=0 ticks=8225 tps=100 nb_sec=82
case_no=74 label=Case6.62 nb_sol=0 ticks=11814 tps=100 nb_sec=118
case_no=74 label=Case6.62 nb_sol=0 ticks=19974 tps=100 nb_sec=199
case_no=74 label=Case6.62 nb_sol=0 ticks=14595 tps=100 nb_sec=145
case_no=74 label=Case6.62 nb_sol=0 ticks=19794 tps=100 nb_sec=197
case_no=74 label=Case6.62 nb_sol=0 ticks=12905 tps=100 nb_sec=129
case_no=74 label=Case6.62 nb_sol=0 ticks=14168 tps=100 nb_sec=141
case_no=74 label=Case6.62 nb_sol=0 ticks=8509 tps=100 nb_sec=85
case_no=74 label=Case6.62 nb_sol=0 ticks=9799 tps=100 nb_sec=97
case_no=74 label=Case6.62 nb_sol=0 ticks=14399 tps=100 nb_sec=143
case_no=74 label=Case6.62 nb_sol=0 ticks=7791 tps=100 nb_sec=77
case_no=74 label=Case6.62 nb_sol=0 ticks=13072 tps=100 nb_sec=130
case_no=74 label=Case6.62 nb_sol=0 ticks=19562 tps=100 nb_sec=195
case_no=74 label=Case6.62 nb_sol=0 ticks=14697 tps=100 nb_sec=146
case_no=74 label=Case6.62 nb_sol=0 ticks=13912 tps=100 nb_sec=139
case_no=74 label=Case6.62 nb_sol=0 ticks=11135 tps=100 nb_sec=111
case_no=74 label=Case6.62 nb_sol=0 ticks=12494 tps=100 nb_sec=124
case_no=74 label=Case6.62 nb_sol=0 ticks=13878 tps=100 nb_sec=138
case_no=74 label=Case6.62 nb_sol=0 ticks=8158 tps=100 nb_sec=81
case_no=74 label=Case6.62 nb_sol=0 ticks=12066 tps=100 nb_sec=120
case_no=74 label=Case6.62 nb_sol=0 ticks=20084 tps=100 nb_sec=200
case_no=74 label=Case6.62 nb_sol=0 ticks=14679 tps=100 nb_sec=146
case_no=74 label=Case6.62 nb_sol=0 ticks=11085 tps=100 nb_sec=110
case_no=74 label=Case6.62 nb_sol=0 ticks=24324 tps=100 nb_sec=243
case_no=74 label=Case6.62 nb_sol=0 ticks=14032 tps=100 nb_sec=140
case_no=74 label=Case6.62 nb_sol=0 ticks=16186 tps=100 nb_sec=161
case_no=74 label=Case6.62 nb_sol=0 ticks=13054 tps=100 nb_sec=130
case_no=74 label=Case6.62 nb_sol=0 ticks=11266 tps=100 nb_sec=112
case_no=74 label=Case6.62 nb_sol=0 ticks=11800 tps=100 nb_sec=118
case_no=74 label=Case6.62 nb_sol=0 ticks=17350 tps=100 nb_sec=173
case_no=74 label=Case6.62 nb_sol=0 ticks=22258 tps=100 nb_sec=222
case_no=74 label=Case6.62 nb_sol=0 ticks=11531 tps=100 nb_sec=115
case_no=74 label=Case6.62 nb_sol=0 ticks=14025 tps=100 nb_sec=140
case_no=74 label=Case6.62 nb_sol=0 ticks=10402 tps=100 nb_sec=104
case_no=74 label=Case6.62 nb_sol=0 ticks=15055 tps=100 nb_sec=150
case_no=74 label=Case6.62 nb_sol=0 ticks=16087 tps=100 nb_sec=160
case_no=74 label=Case6.62 nb_sol=0 ticks=23623 tps=100 nb_sec=236
case_no=74 label=Case6.62 nb_sol=0 ticks=12980 tps=100 nb_sec=129
case_no=74 label=Case6.62 nb_sol=0 ticks=7608 tps=100 nb_sec=76
case_no=74 label=Case6.62 nb_sol=0 ticks=10372 tps=100 nb_sec=103
case_no=74 label=Case6.62 nb_sol=0 ticks=11775 tps=100 nb_sec=117
case_no=74 label=Case6.62 nb_sol=0 ticks=15835 tps=100 nb_sec=158
case_no=74 label=Case6.62 nb_sol=0 ticks=13608 tps=100 nb_sec=136
case_no=74 label=Case6.62 nb_sol=0 ticks=14203 tps=100 nb_sec=142
case_no=74 label=Case6.62 nb_sol=0 ticks=17253 tps=100 nb_sec=172
case_no=74 label=Case6.62 nb_sol=0 ticks=9769 tps=100 nb_sec=97
case_no=74 label=Case6.62 nb_sol=0 ticks=21520 tps=100 nb_sec=215
case_no=74 label=Case6.62 nb_sol=0 ticks=12535 tps=100 nb_sec=125
case_no=74 label=Case6.62 nb_sol=0 ticks=13693 tps=100 nb_sec=136
case_no=74 label=Case6.62 nb_sol=0 ticks=12931 tps=100 nb_sec=129
case_no=74 label=Case6.62 nb_sol=0 ticks=27344 tps=100 nb_sec=273
case_no=74 label=Case6.62 nb_sol=0 ticks=8992 tps=100 nb_sec=89
case_no=74 label=Case6.62 nb_sol=0 ticks=12155 tps=100 nb_sec=121
case_no=74 label=Case6.62 nb_sol=0 ticks=26652 tps=100 nb_sec=266
case_no=74 label=Case6.62 nb_sol=0 ticks=19290 tps=100 nb_sec=192
case_no=74 label=Case6.62 nb_sol=0 ticks=20794 tps=100 nb_sec=207
case_no=74 label=Case6.62 nb_sol=0 ticks=21870 tps=100 nb_sec=218
case_no=74 label=Case6.62 nb_sol=0 ticks=26598 tps=100 nb_sec=265
case_no=74 label=Case6.62 nb_sol=0 ticks=13070 tps=100 nb_sec=130
case_no=74 label=Case6.62 nb_sol=0 ticks=16067 tps=100 nb_sec=160
case_no=74 label=Case6.62 nb_sol=0 ticks=14034 tps=100 nb_sec=140
case_no=74 label=Case6.62 nb_sol=0 ticks=21563 tps=100 nb_sec=215
case_no=74 label=Case6.62 nb_sol=0 ticks=17626 tps=100 nb_sec=176
case_no=74 label=Case6.62 nb_sol=0 ticks=14811 tps=100 nb_sec=148
case_no=74 label=Case6.62 nb_sol=0 ticks=22950 tps=100 nb_sec=229
case_no=74 label=Case6.62 nb_sol=0 ticks=16640 tps=100 nb_sec=166
case_no=74 label=Case6.62 nb_sol=0 ticks=14742 tps=100 nb_sec=147
case_no=74 label=Case6.62 nb_sol=0 ticks=18791 tps=100 nb_sec=187
case_no=74 label=Case6.62 nb_sol=0 ticks=15727 tps=100 nb_sec=157
case_no=74 label=Case6.62 nb_sol=0 ticks=19072 tps=100 nb_sec=190
case_no=74 label=Case6.62 nb_sol=0 ticks=12797 tps=100 nb_sec=127
case_no=74 label=Case6.62 nb_sol=0 ticks=17679 tps=100 nb_sec=176
case_no=74 label=Case6.62 nb_sol=0 ticks=16636 tps=100 nb_sec=166
case_no=74 label=Case6.62 nb_sol=0 ticks=15727 tps=100 nb_sec=157
case_no=74 label=Case6.62 nb_sol=0 ticks=17961 tps=100 nb_sec=179
case_no=74 label=Case6.62 nb_sol=0 ticks=17298 tps=100 nb_sec=172
case_no=74 label=Case6.62 nb_sol=0 ticks=24142 tps=100 nb_sec=241
case_no=74 label=Case6.62 nb_sol=0 ticks=19923 tps=100 nb_sec=199
case_no=74 label=Case6.62 nb_sol=0 ticks=18402 tps=100 nb_sec=184
case_no=74 label=Case6.62 nb_sol=0 ticks=12744 tps=100 nb_sec=127
case_no=74 label=Case6.62 nb_sol=0 ticks=16543 tps=100 nb_sec=165
case_no=74 label=Case6.62 nb_sol=0 ticks=15964 tps=100 nb_sec=159
case_no=74 label=Case6.62 nb_sol=0 ticks=16368 tps=100 nb_sec=163
case_no=74 label=Case6.62 nb_sol=0 ticks=13621 tps=100 nb_sec=136
case_no=74 label=Case6.62 nb_sol=0 ticks=13351 tps=100 nb_sec=133
case_no=74 label=Case6.62 nb_sol=0 ticks=17541 tps=100 nb_sec=175
case_no=74 label=Case6.62 nb_sol=0 ticks=20362 tps=100 nb_sec=203
case_no=74 label=Case6.62 nb_sol=0 ticks=17788 tps=100 nb_sec=177
case_no=74 label=Case6.62 nb_sol=0 ticks=19517 tps=100 nb_sec=195
case_no=74 label=Case6.62 nb_sol=0 ticks=13240 tps=100 nb_sec=132
case_no=74 label=Case6.62 nb_sol=0 ticks=16019 tps=100 nb_sec=160
case_no=74 label=Case6.62 nb_sol=0 ticks=18821 tps=100 nb_sec=188
case_no=74 label=Case6.62 nb_sol=0 ticks=18597 tps=100 nb_sec=185
case_no=74 label=Case6.62 nb_sol=0 ticks=21502 tps=100 nb_sec=215
case_no=74 label=Case6.62 nb_sol=0 ticks=20921 tps=100 nb_sec=209
case_no=74 label=Case6.62 nb_sol=0 ticks=22441 tps=100 nb_sec=224
case_no=74 label=Case6.62 nb_sol=0 ticks=20433 tps=100 nb_sec=204
case_no=74 label=Case6.62 nb_sol=0 ticks=13033 tps=100 nb_sec=130
case_no=74 label=Case6.62 nb_sol=0 ticks=17020 tps=100 nb_sec=170
case_no=74 label=Case6.62 nb_sol=0 ticks=12483 tps=100 nb_sec=124
case_no=74 label=Case6.62 nb_sol=0 ticks=12022 tps=100 nb_sec=120
case_no=74 label=Case6.62 nb_sol=0 ticks=11049 tps=100 nb_sec=110
case_no=74 label=Case6.62 nb_sol=0 ticks=12986 tps=100 nb_sec=129
case_no=74 label=Case6.62 nb_sol=0 ticks=12075 tps=100 nb_sec=120
case_no=74 label=Case6.62 nb_sol=0 ticks=14995 tps=100 nb_sec=149
case_no=74 label=Case6.62 nb_sol=0 ticks=22410 tps=100 nb_sec=224
case_no=74 label=Case6.62 nb_sol=0 ticks=15123 tps=100 nb_sec=151
case_no=74 label=Case6.62 nb_sol=0 ticks=10146 tps=100 nb_sec=101
case_no=74 label=Case6.62 nb_sol=0 ticks=13628 tps=100 nb_sec=136
case_no=74 label=Case6.62 nb_sol=0 ticks=10548 tps=100 nb_sec=105
case_no=74 label=Case6.62 nb_sol=0 ticks=9259 tps=100 nb_sec=92
case_no=74 label=Case6.62 nb_sol=0 ticks=13358 tps=100 nb_sec=133
case_no=74 label=Case6.62 nb_sol=0 ticks=10421 tps=100 nb_sec=104
case_no=74 label=Case6.62 nb_sol=0 ticks=21644 tps=100 nb_sec=216
case_no=74 label=Case6.62 nb_sol=0 ticks=11739 tps=100 nb_sec=117
case_no=74 label=Case6.62 nb_sol=0 ticks=12636 tps=100 nb_sec=126
case_no=74 label=Case6.62 nb_sol=0 ticks=22246 tps=100 nb_sec=222
case_no=74 label=Case6.62 nb_sol=0 ticks=14210 tps=100 nb_sec=142
case_no=74 label=Case6.62 nb_sol=0 ticks=13277 tps=100 nb_sec=132
case_no=74 label=Case6.62 nb_sol=0 ticks=22409 tps=100 nb_sec=224
case_no=74 label=Case6.62 nb_sol=0 ticks=20312 tps=100 nb_sec=203
case_no=74 label=Case6.62 nb_sol=0 ticks=11445 tps=100 nb_sec=114
case_no=74 label=Case6.62 nb_sol=0 ticks=23441 tps=100 nb_sec=234
case_no=74 label=Case6.62 nb_sol=0 ticks=20713 tps=100 nb_sec=207
case_no=74 label=Case6.62 nb_sol=0 ticks=10197 tps=100 nb_sec=101
case_no=74 label=Case6.62 nb_sol=0 ticks=18355 tps=100 nb_sec=183
case_no=74 label=Case6.62 nb_sol=0 ticks=10407 tps=100 nb_sec=104
case_no=74 label=Case6.62 nb_sol=0 ticks=26297 tps=100 nb_sec=262
case_no=74 label=Case6.62 nb_sol=0 ticks=11118 tps=100 nb_sec=111
case_no=74 label=Case6.62 nb_sol=0 ticks=14867 tps=100 nb_sec=148
case_no=74 label=Case6.62 nb_sol=0 ticks=16497 tps=100 nb_sec=164
Nb_sol=0
Nb_sec=41536
0-11:32:16 or 11 hours
missing cases:
none