argc=5
-M 256
file2=30_select_Case6.63_starter_16_
checking files mod 256 from 0 to 255
case_no=75 label=Case6.63 nb_sol=0 ticks=21998 tps=100 nb_sec=219
case_no=75 label=Case6.63 nb_sol=0 ticks=13621 tps=100 nb_sec=136
case_no=75 label=Case6.63 nb_sol=0 ticks=16445 tps=100 nb_sec=164
case_no=75 label=Case6.63 nb_sol=0 ticks=19748 tps=100 nb_sec=197
case_no=75 label=Case6.63 nb_sol=0 ticks=17209 tps=100 nb_sec=172
case_no=75 label=Case6.63 nb_sol=0 ticks=17920 tps=100 nb_sec=179
case_no=75 label=Case6.63 nb_sol=0 ticks=26628 tps=100 nb_sec=266
case_no=75 label=Case6.63 nb_sol=0 ticks=23084 tps=100 nb_sec=230
case_no=75 label=Case6.63 nb_sol=0 ticks=16854 tps=100 nb_sec=168
case_no=75 label=Case6.63 nb_sol=0 ticks=39393 tps=100 nb_sec=393
case_no=75 label=Case6.63 nb_sol=0 ticks=12212 tps=100 nb_sec=122
case_no=75 label=Case6.63 nb_sol=0 ticks=21230 tps=100 nb_sec=212
case_no=75 label=Case6.63 nb_sol=0 ticks=21562 tps=100 nb_sec=215
case_no=75 label=Case6.63 nb_sol=0 ticks=22557 tps=100 nb_sec=225
case_no=75 label=Case6.63 nb_sol=0 ticks=15948 tps=100 nb_sec=159
case_no=75 label=Case6.63 nb_sol=0 ticks=29410 tps=100 nb_sec=294
case_no=75 label=Case6.63 nb_sol=0 ticks=22790 tps=100 nb_sec=227
case_no=75 label=Case6.63 nb_sol=0 ticks=26586 tps=100 nb_sec=265
case_no=75 label=Case6.63 nb_sol=0 ticks=14246 tps=100 nb_sec=142
case_no=75 label=Case6.63 nb_sol=0 ticks=21635 tps=100 nb_sec=216
case_no=75 label=Case6.63 nb_sol=0 ticks=23467 tps=100 nb_sec=234
case_no=75 label=Case6.63 nb_sol=0 ticks=25708 tps=100 nb_sec=257
case_no=75 label=Case6.63 nb_sol=0 ticks=31852 tps=100 nb_sec=318
case_no=75 label=Case6.63 nb_sol=0 ticks=12955 tps=100 nb_sec=129
case_no=75 label=Case6.63 nb_sol=0 ticks=22153 tps=100 nb_sec=221
case_no=75 label=Case6.63 nb_sol=0 ticks=21706 tps=100 nb_sec=217
case_no=75 label=Case6.63 nb_sol=0 ticks=33916 tps=100 nb_sec=339
case_no=75 label=Case6.63 nb_sol=0 ticks=25106 tps=100 nb_sec=251
case_no=75 label=Case6.63 nb_sol=0 ticks=12265 tps=100 nb_sec=122
case_no=75 label=Case6.63 nb_sol=0 ticks=22705 tps=100 nb_sec=227
case_no=75 label=Case6.63 nb_sol=0 ticks=25657 tps=100 nb_sec=256
case_no=75 label=Case6.63 nb_sol=0 ticks=21983 tps=100 nb_sec=219
case_no=75 label=Case6.63 nb_sol=0 ticks=12764 tps=100 nb_sec=127
case_no=75 label=Case6.63 nb_sol=0 ticks=28623 tps=100 nb_sec=286
case_no=75 label=Case6.63 nb_sol=0 ticks=15044 tps=100 nb_sec=150
case_no=75 label=Case6.63 nb_sol=0 ticks=24540 tps=100 nb_sec=245
case_no=75 label=Case6.63 nb_sol=0 ticks=19852 tps=100 nb_sec=198
case_no=75 label=Case6.63 nb_sol=0 ticks=27362 tps=100 nb_sec=273
case_no=75 label=Case6.63 nb_sol=0 ticks=10384 tps=100 nb_sec=103
case_no=75 label=Case6.63 nb_sol=0 ticks=31163 tps=100 nb_sec=311
case_no=75 label=Case6.63 nb_sol=0 ticks=20543 tps=100 nb_sec=205
case_no=75 label=Case6.63 nb_sol=0 ticks=21507 tps=100 nb_sec=215
case_no=75 label=Case6.63 nb_sol=0 ticks=18928 tps=100 nb_sec=189
case_no=75 label=Case6.63 nb_sol=0 ticks=23491 tps=100 nb_sec=234
case_no=75 label=Case6.63 nb_sol=0 ticks=15776 tps=100 nb_sec=157
case_no=75 label=Case6.63 nb_sol=0 ticks=22554 tps=100 nb_sec=225
case_no=75 label=Case6.63 nb_sol=0 ticks=22040 tps=100 nb_sec=220
case_no=75 label=Case6.63 nb_sol=0 ticks=31915 tps=100 nb_sec=319
case_no=75 label=Case6.63 nb_sol=0 ticks=29027 tps=100 nb_sec=290
case_no=75 label=Case6.63 nb_sol=0 ticks=15562 tps=100 nb_sec=155
case_no=75 label=Case6.63 nb_sol=0 ticks=20442 tps=100 nb_sec=204
case_no=75 label=Case6.63 nb_sol=0 ticks=20035 tps=100 nb_sec=200
case_no=75 label=Case6.63 nb_sol=0 ticks=25054 tps=100 nb_sec=250
case_no=75 label=Case6.63 nb_sol=0 ticks=28415 tps=100 nb_sec=284
case_no=75 label=Case6.63 nb_sol=0 ticks=24137 tps=100 nb_sec=241
case_no=75 label=Case6.63 nb_sol=0 ticks=21747 tps=100 nb_sec=217
case_no=75 label=Case6.63 nb_sol=0 ticks=12182 tps=100 nb_sec=121
case_no=75 label=Case6.63 nb_sol=0 ticks=17515 tps=100 nb_sec=175
case_no=75 label=Case6.63 nb_sol=0 ticks=15142 tps=100 nb_sec=151
case_no=75 label=Case6.63 nb_sol=0 ticks=33088 tps=100 nb_sec=330
case_no=75 label=Case6.63 nb_sol=0 ticks=27294 tps=100 nb_sec=272
case_no=75 label=Case6.63 nb_sol=0 ticks=10130 tps=100 nb_sec=101
case_no=75 label=Case6.63 nb_sol=0 ticks=23568 tps=100 nb_sec=235
case_no=75 label=Case6.63 nb_sol=0 ticks=23544 tps=100 nb_sec=235
case_no=75 label=Case6.63 nb_sol=0 ticks=23094 tps=100 nb_sec=230
case_no=75 label=Case6.63 nb_sol=0 ticks=11030 tps=100 nb_sec=110
case_no=75 label=Case6.63 nb_sol=0 ticks=20344 tps=100 nb_sec=203
case_no=75 label=Case6.63 nb_sol=0 ticks=23462 tps=100 nb_sec=234
case_no=75 label=Case6.63 nb_sol=0 ticks=25779 tps=100 nb_sec=257
case_no=75 label=Case6.63 nb_sol=0 ticks=32616 tps=100 nb_sec=326
case_no=75 label=Case6.63 nb_sol=0 ticks=29684 tps=100 nb_sec=296
case_no=75 label=Case6.63 nb_sol=0 ticks=13257 tps=100 nb_sec=132
case_no=75 label=Case6.63 nb_sol=0 ticks=17073 tps=100 nb_sec=170
case_no=75 label=Case6.63 nb_sol=0 ticks=30967 tps=100 nb_sec=309
case_no=75 label=Case6.63 nb_sol=0 ticks=11678 tps=100 nb_sec=116
case_no=75 label=Case6.63 nb_sol=0 ticks=28103 tps=100 nb_sec=281
case_no=75 label=Case6.63 nb_sol=0 ticks=29266 tps=100 nb_sec=292
case_no=75 label=Case6.63 nb_sol=0 ticks=21519 tps=100 nb_sec=215
case_no=75 label=Case6.63 nb_sol=0 ticks=20447 tps=100 nb_sec=204
case_no=75 label=Case6.63 nb_sol=0 ticks=19843 tps=100 nb_sec=198
case_no=75 label=Case6.63 nb_sol=0 ticks=21005 tps=100 nb_sec=210
case_no=75 label=Case6.63 nb_sol=0 ticks=34110 tps=100 nb_sec=341
case_no=75 label=Case6.63 nb_sol=0 ticks=12020 tps=100 nb_sec=120
case_no=75 label=Case6.63 nb_sol=0 ticks=18642 tps=100 nb_sec=186
case_no=75 label=Case6.63 nb_sol=0 ticks=29438 tps=100 nb_sec=294
case_no=75 label=Case6.63 nb_sol=0 ticks=21064 tps=100 nb_sec=210
case_no=75 label=Case6.63 nb_sol=0 ticks=23568 tps=100 nb_sec=235
case_no=75 label=Case6.63 nb_sol=0 ticks=30916 tps=100 nb_sec=309
case_no=75 label=Case6.63 nb_sol=0 ticks=19727 tps=100 nb_sec=197
case_no=75 label=Case6.63 nb_sol=0 ticks=29210 tps=100 nb_sec=292
case_no=75 label=Case6.63 nb_sol=0 ticks=12308 tps=100 nb_sec=123
case_no=75 label=Case6.63 nb_sol=0 ticks=11029 tps=100 nb_sec=110
case_no=75 label=Case6.63 nb_sol=0 ticks=23750 tps=100 nb_sec=237
case_no=75 label=Case6.63 nb_sol=0 ticks=26522 tps=100 nb_sec=265
case_no=75 label=Case6.63 nb_sol=0 ticks=21440 tps=100 nb_sec=214
case_no=75 label=Case6.63 nb_sol=0 ticks=14274 tps=100 nb_sec=142
case_no=75 label=Case6.63 nb_sol=0 ticks=24913 tps=100 nb_sec=249
case_no=75 label=Case6.63 nb_sol=0 ticks=13126 tps=100 nb_sec=131
case_no=75 label=Case6.63 nb_sol=0 ticks=20930 tps=100 nb_sec=209
case_no=75 label=Case6.63 nb_sol=0 ticks=20007 tps=100 nb_sec=200
case_no=75 label=Case6.63 nb_sol=0 ticks=11329 tps=100 nb_sec=113
case_no=75 label=Case6.63 nb_sol=0 ticks=14501 tps=100 nb_sec=145
case_no=75 label=Case6.63 nb_sol=0 ticks=17834 tps=100 nb_sec=178
case_no=75 label=Case6.63 nb_sol=0 ticks=33786 tps=100 nb_sec=337
case_no=75 label=Case6.63 nb_sol=0 ticks=11250 tps=100 nb_sec=112
case_no=75 label=Case6.63 nb_sol=0 ticks=20687 tps=100 nb_sec=206
case_no=75 label=Case6.63 nb_sol=0 ticks=24911 tps=100 nb_sec=249
case_no=75 label=Case6.63 nb_sol=0 ticks=24282 tps=100 nb_sec=242
case_no=75 label=Case6.63 nb_sol=0 ticks=22035 tps=100 nb_sec=220
case_no=75 label=Case6.63 nb_sol=0 ticks=10714 tps=100 nb_sec=107
case_no=75 label=Case6.63 nb_sol=0 ticks=25968 tps=100 nb_sec=259
case_no=75 label=Case6.63 nb_sol=0 ticks=21448 tps=100 nb_sec=214
case_no=75 label=Case6.63 nb_sol=0 ticks=12642 tps=100 nb_sec=126
case_no=75 label=Case6.63 nb_sol=0 ticks=13678 tps=100 nb_sec=136
case_no=75 label=Case6.63 nb_sol=0 ticks=19071 tps=100 nb_sec=190
case_no=75 label=Case6.63 nb_sol=0 ticks=20440 tps=100 nb_sec=204
case_no=75 label=Case6.63 nb_sol=0 ticks=13352 tps=100 nb_sec=133
case_no=75 label=Case6.63 nb_sol=0 ticks=15533 tps=100 nb_sec=155
case_no=75 label=Case6.63 nb_sol=0 ticks=20074 tps=100 nb_sec=200
case_no=75 label=Case6.63 nb_sol=0 ticks=27121 tps=100 nb_sec=271
case_no=75 label=Case6.63 nb_sol=0 ticks=27818 tps=100 nb_sec=278
case_no=75 label=Case6.63 nb_sol=0 ticks=24478 tps=100 nb_sec=244
case_no=75 label=Case6.63 nb_sol=0 ticks=11599 tps=100 nb_sec=115
case_no=75 label=Case6.63 nb_sol=0 ticks=12267 tps=100 nb_sec=122
case_no=75 label=Case6.63 nb_sol=0 ticks=22563 tps=100 nb_sec=225
case_no=75 label=Case6.63 nb_sol=0 ticks=25135 tps=100 nb_sec=251
case_no=75 label=Case6.63 nb_sol=0 ticks=40983 tps=100 nb_sec=409
case_no=75 label=Case6.63 nb_sol=0 ticks=26732 tps=100 nb_sec=267
case_no=75 label=Case6.63 nb_sol=0 ticks=33145 tps=100 nb_sec=331
case_no=75 label=Case6.63 nb_sol=0 ticks=20457 tps=100 nb_sec=204
case_no=75 label=Case6.63 nb_sol=0 ticks=28228 tps=100 nb_sec=282
case_no=75 label=Case6.63 nb_sol=0 ticks=33553 tps=100 nb_sec=335
case_no=75 label=Case6.63 nb_sol=0 ticks=28566 tps=100 nb_sec=285
case_no=75 label=Case6.63 nb_sol=0 ticks=31095 tps=100 nb_sec=310
case_no=75 label=Case6.63 nb_sol=0 ticks=31004 tps=100 nb_sec=310
case_no=75 label=Case6.63 nb_sol=0 ticks=18627 tps=100 nb_sec=186
case_no=75 label=Case6.63 nb_sol=0 ticks=18271 tps=100 nb_sec=182
case_no=75 label=Case6.63 nb_sol=0 ticks=26972 tps=100 nb_sec=269
case_no=75 label=Case6.63 nb_sol=0 ticks=21140 tps=100 nb_sec=211
case_no=75 label=Case6.63 nb_sol=0 ticks=18982 tps=100 nb_sec=189
case_no=75 label=Case6.63 nb_sol=0 ticks=23537 tps=100 nb_sec=235
case_no=75 label=Case6.63 nb_sol=0 ticks=20102 tps=100 nb_sec=201
case_no=75 label=Case6.63 nb_sol=0 ticks=24549 tps=100 nb_sec=245
case_no=75 label=Case6.63 nb_sol=0 ticks=23861 tps=100 nb_sec=238
case_no=75 label=Case6.63 nb_sol=0 ticks=25405 tps=100 nb_sec=254
case_no=75 label=Case6.63 nb_sol=0 ticks=15334 tps=100 nb_sec=153
case_no=75 label=Case6.63 nb_sol=0 ticks=26824 tps=100 nb_sec=268
case_no=75 label=Case6.63 nb_sol=0 ticks=19082 tps=100 nb_sec=190
case_no=75 label=Case6.63 nb_sol=0 ticks=15435 tps=100 nb_sec=154
case_no=75 label=Case6.63 nb_sol=0 ticks=20445 tps=100 nb_sec=204
case_no=75 label=Case6.63 nb_sol=0 ticks=23616 tps=100 nb_sec=236
case_no=75 label=Case6.63 nb_sol=0 ticks=10475 tps=100 nb_sec=104
case_no=75 label=Case6.63 nb_sol=0 ticks=25977 tps=100 nb_sec=259
case_no=75 label=Case6.63 nb_sol=0 ticks=20438 tps=100 nb_sec=204
case_no=75 label=Case6.63 nb_sol=0 ticks=23387 tps=100 nb_sec=233
case_no=75 label=Case6.63 nb_sol=0 ticks=21733 tps=100 nb_sec=217
case_no=75 label=Case6.63 nb_sol=0 ticks=11184 tps=100 nb_sec=111
case_no=75 label=Case6.63 nb_sol=0 ticks=30427 tps=100 nb_sec=304
case_no=75 label=Case6.63 nb_sol=0 ticks=23714 tps=100 nb_sec=237
case_no=75 label=Case6.63 nb_sol=0 ticks=21750 tps=100 nb_sec=217
case_no=75 label=Case6.63 nb_sol=0 ticks=16858 tps=100 nb_sec=168
case_no=75 label=Case6.63 nb_sol=0 ticks=19854 tps=100 nb_sec=198
case_no=75 label=Case6.63 nb_sol=0 ticks=21231 tps=100 nb_sec=212
case_no=75 label=Case6.63 nb_sol=0 ticks=12482 tps=100 nb_sec=124
case_no=75 label=Case6.63 nb_sol=0 ticks=23073 tps=100 nb_sec=230
case_no=75 label=Case6.63 nb_sol=0 ticks=21837 tps=100 nb_sec=218
case_no=75 label=Case6.63 nb_sol=0 ticks=24280 tps=100 nb_sec=242
case_no=75 label=Case6.63 nb_sol=0 ticks=19635 tps=100 nb_sec=196
case_no=75 label=Case6.63 nb_sol=0 ticks=27925 tps=100 nb_sec=279
case_no=75 label=Case6.63 nb_sol=0 ticks=20427 tps=100 nb_sec=204
case_no=75 label=Case6.63 nb_sol=0 ticks=25746 tps=100 nb_sec=257
case_no=75 label=Case6.63 nb_sol=0 ticks=15694 tps=100 nb_sec=156
case_no=75 label=Case6.63 nb_sol=0 ticks=26457 tps=100 nb_sec=264
case_no=75 label=Case6.63 nb_sol=0 ticks=10458 tps=100 nb_sec=104
case_no=75 label=Case6.63 nb_sol=0 ticks=33806 tps=100 nb_sec=338
case_no=75 label=Case6.63 nb_sol=0 ticks=22008 tps=100 nb_sec=220
case_no=75 label=Case6.63 nb_sol=0 ticks=15288 tps=100 nb_sec=152
case_no=75 label=Case6.63 nb_sol=0 ticks=27222 tps=100 nb_sec=272
case_no=75 label=Case6.63 nb_sol=0 ticks=27102 tps=100 nb_sec=271
case_no=75 label=Case6.63 nb_sol=0 ticks=12039 tps=100 nb_sec=120
case_no=75 label=Case6.63 nb_sol=0 ticks=15325 tps=100 nb_sec=153
case_no=75 label=Case6.63 nb_sol=0 ticks=19764 tps=100 nb_sec=197
case_no=75 label=Case6.63 nb_sol=0 ticks=28042 tps=100 nb_sec=280
case_no=75 label=Case6.63 nb_sol=0 ticks=18237 tps=100 nb_sec=182
case_no=75 label=Case6.63 nb_sol=0 ticks=12354 tps=100 nb_sec=123
case_no=75 label=Case6.63 nb_sol=0 ticks=20261 tps=100 nb_sec=202
case_no=75 label=Case6.63 nb_sol=0 ticks=14467 tps=100 nb_sec=144
case_no=75 label=Case6.63 nb_sol=0 ticks=26657 tps=100 nb_sec=266
case_no=75 label=Case6.63 nb_sol=0 ticks=39374 tps=100 nb_sec=393
case_no=75 label=Case6.63 nb_sol=0 ticks=26904 tps=100 nb_sec=269
case_no=75 label=Case6.63 nb_sol=0 ticks=32170 tps=100 nb_sec=321
case_no=75 label=Case6.63 nb_sol=0 ticks=21257 tps=100 nb_sec=212
case_no=75 label=Case6.63 nb_sol=0 ticks=24122 tps=100 nb_sec=241
case_no=75 label=Case6.63 nb_sol=0 ticks=28031 tps=100 nb_sec=280
case_no=75 label=Case6.63 nb_sol=0 ticks=36649 tps=100 nb_sec=366
case_no=75 label=Case6.63 nb_sol=0 ticks=32090 tps=100 nb_sec=320
case_no=75 label=Case6.63 nb_sol=0 ticks=25989 tps=100 nb_sec=259
case_no=75 label=Case6.63 nb_sol=0 ticks=37072 tps=100 nb_sec=370
case_no=75 label=Case6.63 nb_sol=0 ticks=36304 tps=100 nb_sec=363
case_no=75 label=Case6.63 nb_sol=0 ticks=19826 tps=100 nb_sec=198
case_no=75 label=Case6.63 nb_sol=0 ticks=23694 tps=100 nb_sec=236
case_no=75 label=Case6.63 nb_sol=0 ticks=24325 tps=100 nb_sec=243
case_no=75 label=Case6.63 nb_sol=0 ticks=30159 tps=100 nb_sec=301
case_no=75 label=Case6.63 nb_sol=0 ticks=31569 tps=100 nb_sec=315
case_no=75 label=Case6.63 nb_sol=0 ticks=26481 tps=100 nb_sec=264
case_no=75 label=Case6.63 nb_sol=0 ticks=24684 tps=100 nb_sec=246
case_no=75 label=Case6.63 nb_sol=0 ticks=25546 tps=100 nb_sec=255
case_no=75 label=Case6.63 nb_sol=0 ticks=32046 tps=100 nb_sec=320
case_no=75 label=Case6.63 nb_sol=0 ticks=32194 tps=100 nb_sec=321
case_no=75 label=Case6.63 nb_sol=0 ticks=26053 tps=100 nb_sec=260
case_no=75 label=Case6.63 nb_sol=0 ticks=23827 tps=100 nb_sec=238
case_no=75 label=Case6.63 nb_sol=0 ticks=21580 tps=100 nb_sec=215
case_no=75 label=Case6.63 nb_sol=0 ticks=27038 tps=100 nb_sec=270
case_no=75 label=Case6.63 nb_sol=0 ticks=38872 tps=100 nb_sec=388
case_no=75 label=Case6.63 nb_sol=0 ticks=34353 tps=100 nb_sec=343
case_no=75 label=Case6.63 nb_sol=0 ticks=26036 tps=100 nb_sec=260
case_no=75 label=Case6.63 nb_sol=0 ticks=25003 tps=100 nb_sec=250
case_no=75 label=Case6.63 nb_sol=0 ticks=22557 tps=100 nb_sec=225
case_no=75 label=Case6.63 nb_sol=0 ticks=23058 tps=100 nb_sec=230
case_no=75 label=Case6.63 nb_sol=0 ticks=36214 tps=100 nb_sec=362
case_no=75 label=Case6.63 nb_sol=0 ticks=19366 tps=100 nb_sec=193
case_no=75 label=Case6.63 nb_sol=0 ticks=27960 tps=100 nb_sec=279
case_no=75 label=Case6.63 nb_sol=0 ticks=31317 tps=100 nb_sec=313
case_no=75 label=Case6.63 nb_sol=0 ticks=29109 tps=100 nb_sec=291
case_no=75 label=Case6.63 nb_sol=0 ticks=23752 tps=100 nb_sec=237
case_no=75 label=Case6.63 nb_sol=0 ticks=21954 tps=100 nb_sec=219
case_no=75 label=Case6.63 nb_sol=0 ticks=37534 tps=100 nb_sec=375
case_no=75 label=Case6.63 nb_sol=0 ticks=11848 tps=100 nb_sec=118
case_no=75 label=Case6.63 nb_sol=0 ticks=11061 tps=100 nb_sec=110
case_no=75 label=Case6.63 nb_sol=0 ticks=17337 tps=100 nb_sec=173
case_no=75 label=Case6.63 nb_sol=0 ticks=12466 tps=100 nb_sec=124
case_no=75 label=Case6.63 nb_sol=0 ticks=14891 tps=100 nb_sec=148
case_no=75 label=Case6.63 nb_sol=0 ticks=20898 tps=100 nb_sec=208
case_no=75 label=Case6.63 nb_sol=0 ticks=16956 tps=100 nb_sec=169
case_no=75 label=Case6.63 nb_sol=0 ticks=20559 tps=100 nb_sec=205
case_no=75 label=Case6.63 nb_sol=0 ticks=15323 tps=100 nb_sec=153
case_no=75 label=Case6.63 nb_sol=0 ticks=22893 tps=100 nb_sec=228
case_no=75 label=Case6.63 nb_sol=0 ticks=13746 tps=100 nb_sec=137
case_no=75 label=Case6.63 nb_sol=0 ticks=23397 tps=100 nb_sec=233
case_no=75 label=Case6.63 nb_sol=0 ticks=22794 tps=100 nb_sec=227
case_no=75 label=Case6.63 nb_sol=0 ticks=14435 tps=100 nb_sec=144
case_no=75 label=Case6.63 nb_sol=0 ticks=21423 tps=100 nb_sec=214
case_no=75 label=Case6.63 nb_sol=0 ticks=37457 tps=100 nb_sec=374
case_no=75 label=Case6.63 nb_sol=0 ticks=21997 tps=100 nb_sec=219
case_no=75 label=Case6.63 nb_sol=0 ticks=23450 tps=100 nb_sec=234
case_no=75 label=Case6.63 nb_sol=0 ticks=20749 tps=100 nb_sec=207
case_no=75 label=Case6.63 nb_sol=0 ticks=20635 tps=100 nb_sec=206
case_no=75 label=Case6.63 nb_sol=0 ticks=19829 tps=100 nb_sec=198
case_no=75 label=Case6.63 nb_sol=0 ticks=18291 tps=100 nb_sec=182
case_no=75 label=Case6.63 nb_sol=0 ticks=29044 tps=100 nb_sec=290
case_no=75 label=Case6.63 nb_sol=0 ticks=21265 tps=100 nb_sec=212
case_no=75 label=Case6.63 nb_sol=0 ticks=20311 tps=100 nb_sec=203
case_no=75 label=Case6.63 nb_sol=0 ticks=22044 tps=100 nb_sec=220
case_no=75 label=Case6.63 nb_sol=0 ticks=20278 tps=100 nb_sec=202
case_no=75 label=Case6.63 nb_sol=0 ticks=20491 tps=100 nb_sec=204
case_no=75 label=Case6.63 nb_sol=0 ticks=24267 tps=100 nb_sec=242
Nb_sol=0
Nb_sec=57419
0-15:56:59 or 15 hours
missing cases:
none