argc=5
-M 512
file2=30_select_Case6.77_starter_16_
checking files mod 512 from 0 to 511
case_no=89 label=Case6.77 nb_sol=0 ticks=48386 tps=100 nb_sec=483
case_no=89 label=Case6.77 nb_sol=0 ticks=61514 tps=100 nb_sec=615
case_no=89 label=Case6.77 nb_sol=0 ticks=37051 tps=100 nb_sec=370
case_no=89 label=Case6.77 nb_sol=0 ticks=32438 tps=100 nb_sec=324
case_no=89 label=Case6.77 nb_sol=0 ticks=35515 tps=100 nb_sec=355
case_no=89 label=Case6.77 nb_sol=0 ticks=36535 tps=100 nb_sec=365
case_no=89 label=Case6.77 nb_sol=0 ticks=27055 tps=100 nb_sec=270
case_no=89 label=Case6.77 nb_sol=0 ticks=25934 tps=100 nb_sec=259
case_no=89 label=Case6.77 nb_sol=0 ticks=37264 tps=100 nb_sec=372
case_no=89 label=Case6.77 nb_sol=0 ticks=79234 tps=100 nb_sec=792
case_no=89 label=Case6.77 nb_sol=0 ticks=35701 tps=100 nb_sec=357
case_no=89 label=Case6.77 nb_sol=0 ticks=51212 tps=100 nb_sec=512
case_no=89 label=Case6.77 nb_sol=0 ticks=42070 tps=100 nb_sec=420
case_no=89 label=Case6.77 nb_sol=0 ticks=35452 tps=100 nb_sec=354
case_no=89 label=Case6.77 nb_sol=0 ticks=43283 tps=100 nb_sec=432
case_no=89 label=Case6.77 nb_sol=0 ticks=38816 tps=100 nb_sec=388
case_no=89 label=Case6.77 nb_sol=0 ticks=49440 tps=100 nb_sec=494
case_no=89 label=Case6.77 nb_sol=0 ticks=56011 tps=100 nb_sec=560
case_no=89 label=Case6.77 nb_sol=0 ticks=32016 tps=100 nb_sec=320
case_no=89 label=Case6.77 nb_sol=0 ticks=39954 tps=100 nb_sec=399
case_no=89 label=Case6.77 nb_sol=0 ticks=27363 tps=100 nb_sec=273
case_no=89 label=Case6.77 nb_sol=0 ticks=41795 tps=100 nb_sec=417
case_no=89 label=Case6.77 nb_sol=0 ticks=65015 tps=100 nb_sec=650
case_no=89 label=Case6.77 nb_sol=0 ticks=33956 tps=100 nb_sec=339
case_no=89 label=Case6.77 nb_sol=0 ticks=43326 tps=100 nb_sec=433
case_no=89 label=Case6.77 nb_sol=0 ticks=26419 tps=100 nb_sec=264
case_no=89 label=Case6.77 nb_sol=0 ticks=36277 tps=100 nb_sec=362
case_no=89 label=Case6.77 nb_sol=0 ticks=60717 tps=100 nb_sec=607
case_no=89 label=Case6.77 nb_sol=0 ticks=44249 tps=100 nb_sec=442
case_no=89 label=Case6.77 nb_sol=0 ticks=44794 tps=100 nb_sec=447
case_no=89 label=Case6.77 nb_sol=0 ticks=36756 tps=100 nb_sec=367
case_no=89 label=Case6.77 nb_sol=0 ticks=60613 tps=100 nb_sec=606
case_no=89 label=Case6.77 nb_sol=0 ticks=43476 tps=100 nb_sec=434
case_no=89 label=Case6.77 nb_sol=0 ticks=62275 tps=100 nb_sec=622
case_no=89 label=Case6.77 nb_sol=0 ticks=39668 tps=100 nb_sec=396
case_no=89 label=Case6.77 nb_sol=0 ticks=39069 tps=100 nb_sec=390
case_no=89 label=Case6.77 nb_sol=0 ticks=25705 tps=100 nb_sec=257
case_no=89 label=Case6.77 nb_sol=0 ticks=65917 tps=100 nb_sec=659
case_no=89 label=Case6.77 nb_sol=0 ticks=43903 tps=100 nb_sec=439
case_no=89 label=Case6.77 nb_sol=0 ticks=25962 tps=100 nb_sec=259
case_no=89 label=Case6.77 nb_sol=0 ticks=59243 tps=100 nb_sec=592
case_no=89 label=Case6.77 nb_sol=0 ticks=35087 tps=100 nb_sec=350
case_no=89 label=Case6.77 nb_sol=0 ticks=45608 tps=100 nb_sec=456
case_no=89 label=Case6.77 nb_sol=0 ticks=45266 tps=100 nb_sec=452
case_no=89 label=Case6.77 nb_sol=0 ticks=46762 tps=100 nb_sec=467
case_no=89 label=Case6.77 nb_sol=0 ticks=55109 tps=100 nb_sec=551
case_no=89 label=Case6.77 nb_sol=0 ticks=28778 tps=100 nb_sec=287
case_no=89 label=Case6.77 nb_sol=0 ticks=60264 tps=100 nb_sec=602
case_no=89 label=Case6.77 nb_sol=0 ticks=44443 tps=100 nb_sec=444
case_no=89 label=Case6.77 nb_sol=0 ticks=65732 tps=100 nb_sec=657
case_no=89 label=Case6.77 nb_sol=0 ticks=64393 tps=100 nb_sec=643
case_no=89 label=Case6.77 nb_sol=0 ticks=44708 tps=100 nb_sec=447
case_no=89 label=Case6.77 nb_sol=0 ticks=27204 tps=100 nb_sec=272
case_no=89 label=Case6.77 nb_sol=0 ticks=45932 tps=100 nb_sec=459
case_no=89 label=Case6.77 nb_sol=0 ticks=34795 tps=100 nb_sec=347
case_no=89 label=Case6.77 nb_sol=0 ticks=63619 tps=100 nb_sec=636
case_no=89 label=Case6.77 nb_sol=0 ticks=42686 tps=100 nb_sec=426
case_no=89 label=Case6.77 nb_sol=0 ticks=52370 tps=100 nb_sec=523
case_no=89 label=Case6.77 nb_sol=0 ticks=61097 tps=100 nb_sec=610
case_no=89 label=Case6.77 nb_sol=0 ticks=24708 tps=100 nb_sec=247
case_no=89 label=Case6.77 nb_sol=0 ticks=45072 tps=100 nb_sec=450
case_no=89 label=Case6.77 nb_sol=0 ticks=77228 tps=100 nb_sec=772
case_no=89 label=Case6.77 nb_sol=0 ticks=47719 tps=100 nb_sec=477
case_no=89 label=Case6.77 nb_sol=0 ticks=44989 tps=100 nb_sec=449
case_no=89 label=Case6.77 nb_sol=0 ticks=27007 tps=100 nb_sec=270
case_no=89 label=Case6.77 nb_sol=0 ticks=73197 tps=100 nb_sec=731
case_no=89 label=Case6.77 nb_sol=0 ticks=40989 tps=100 nb_sec=409
case_no=89 label=Case6.77 nb_sol=0 ticks=45960 tps=100 nb_sec=459
case_no=89 label=Case6.77 nb_sol=0 ticks=64240 tps=100 nb_sec=642
case_no=89 label=Case6.77 nb_sol=0 ticks=22969 tps=100 nb_sec=229
case_no=89 label=Case6.77 nb_sol=0 ticks=46738 tps=100 nb_sec=467
case_no=89 label=Case6.77 nb_sol=0 ticks=56392 tps=100 nb_sec=563
case_no=89 label=Case6.77 nb_sol=0 ticks=24745 tps=100 nb_sec=247
case_no=89 label=Case6.77 nb_sol=0 ticks=47352 tps=100 nb_sec=473
case_no=89 label=Case6.77 nb_sol=0 ticks=35052 tps=100 nb_sec=350
case_no=89 label=Case6.77 nb_sol=0 ticks=48284 tps=100 nb_sec=482
case_no=89 label=Case6.77 nb_sol=0 ticks=57360 tps=100 nb_sec=573
case_no=89 label=Case6.77 nb_sol=0 ticks=52551 tps=100 nb_sec=525
case_no=89 label=Case6.77 nb_sol=0 ticks=57292 tps=100 nb_sec=572
case_no=89 label=Case6.77 nb_sol=0 ticks=60114 tps=100 nb_sec=601
case_no=89 label=Case6.77 nb_sol=0 ticks=43593 tps=100 nb_sec=435
case_no=89 label=Case6.77 nb_sol=0 ticks=25034 tps=100 nb_sec=250
case_no=89 label=Case6.77 nb_sol=0 ticks=32162 tps=100 nb_sec=321
case_no=89 label=Case6.77 nb_sol=0 ticks=42589 tps=100 nb_sec=425
case_no=89 label=Case6.77 nb_sol=0 ticks=59624 tps=100 nb_sec=596
case_no=89 label=Case6.77 nb_sol=0 ticks=38890 tps=100 nb_sec=388
case_no=89 label=Case6.77 nb_sol=0 ticks=26580 tps=100 nb_sec=265
case_no=89 label=Case6.77 nb_sol=0 ticks=65688 tps=100 nb_sec=656
case_no=89 label=Case6.77 nb_sol=0 ticks=50865 tps=100 nb_sec=508
case_no=89 label=Case6.77 nb_sol=0 ticks=41666 tps=100 nb_sec=416
case_no=89 label=Case6.77 nb_sol=0 ticks=23784 tps=100 nb_sec=237
case_no=89 label=Case6.77 nb_sol=0 ticks=41893 tps=100 nb_sec=418
case_no=89 label=Case6.77 nb_sol=0 ticks=48114 tps=100 nb_sec=481
case_no=89 label=Case6.77 nb_sol=0 ticks=41552 tps=100 nb_sec=415
case_no=89 label=Case6.77 nb_sol=0 ticks=43442 tps=100 nb_sec=434
case_no=89 label=Case6.77 nb_sol=0 ticks=59669 tps=100 nb_sec=596
case_no=89 label=Case6.77 nb_sol=0 ticks=58981 tps=100 nb_sec=589
case_no=89 label=Case6.77 nb_sol=0 ticks=59514 tps=100 nb_sec=595
case_no=89 label=Case6.77 nb_sol=0 ticks=24694 tps=100 nb_sec=246
case_no=89 label=Case6.77 nb_sol=0 ticks=28205 tps=100 nb_sec=282
case_no=89 label=Case6.77 nb_sol=0 ticks=44891 tps=100 nb_sec=448
case_no=89 label=Case6.77 nb_sol=0 ticks=30445 tps=100 nb_sec=304
case_no=89 label=Case6.77 nb_sol=0 ticks=65748 tps=100 nb_sec=657
case_no=89 label=Case6.77 nb_sol=0 ticks=42227 tps=100 nb_sec=422
case_no=89 label=Case6.77 nb_sol=0 ticks=67575 tps=100 nb_sec=675
case_no=89 label=Case6.77 nb_sol=0 ticks=38418 tps=100 nb_sec=384
case_no=89 label=Case6.77 nb_sol=0 ticks=49510 tps=100 nb_sec=495
case_no=89 label=Case6.77 nb_sol=0 ticks=60404 tps=100 nb_sec=604
case_no=89 label=Case6.77 nb_sol=0 ticks=40494 tps=100 nb_sec=404
case_no=89 label=Case6.77 nb_sol=0 ticks=43759 tps=100 nb_sec=437
case_no=89 label=Case6.77 nb_sol=0 ticks=47121 tps=100 nb_sec=471
case_no=89 label=Case6.77 nb_sol=0 ticks=44875 tps=100 nb_sec=448
case_no=89 label=Case6.77 nb_sol=0 ticks=41307 tps=100 nb_sec=413
case_no=89 label=Case6.77 nb_sol=0 ticks=47568 tps=100 nb_sec=475
case_no=89 label=Case6.77 nb_sol=0 ticks=46261 tps=100 nb_sec=462
case_no=89 label=Case6.77 nb_sol=0 ticks=36247 tps=100 nb_sec=362
case_no=89 label=Case6.77 nb_sol=0 ticks=56557 tps=100 nb_sec=565
case_no=89 label=Case6.77 nb_sol=0 ticks=61407 tps=100 nb_sec=614
case_no=89 label=Case6.77 nb_sol=0 ticks=33376 tps=100 nb_sec=333
case_no=89 label=Case6.77 nb_sol=0 ticks=42137 tps=100 nb_sec=421
case_no=89 label=Case6.77 nb_sol=0 ticks=59454 tps=100 nb_sec=594
case_no=89 label=Case6.77 nb_sol=0 ticks=31868 tps=100 nb_sec=318
case_no=89 label=Case6.77 nb_sol=0 ticks=33379 tps=100 nb_sec=333
case_no=89 label=Case6.77 nb_sol=0 ticks=30419 tps=100 nb_sec=304
case_no=89 label=Case6.77 nb_sol=0 ticks=41758 tps=100 nb_sec=417
case_no=89 label=Case6.77 nb_sol=0 ticks=30385 tps=100 nb_sec=303
case_no=89 label=Case6.77 nb_sol=0 ticks=55847 tps=100 nb_sec=558
case_no=89 label=Case6.77 nb_sol=0 ticks=26416 tps=100 nb_sec=264
case_no=89 label=Case6.77 nb_sol=0 ticks=54800 tps=100 nb_sec=548
case_no=89 label=Case6.77 nb_sol=0 ticks=31092 tps=100 nb_sec=310
case_no=89 label=Case6.77 nb_sol=0 ticks=26962 tps=100 nb_sec=269
case_no=89 label=Case6.77 nb_sol=0 ticks=28711 tps=100 nb_sec=287
case_no=89 label=Case6.77 nb_sol=0 ticks=40547 tps=100 nb_sec=405
case_no=89 label=Case6.77 nb_sol=0 ticks=60115 tps=100 nb_sec=601
case_no=89 label=Case6.77 nb_sol=0 ticks=28967 tps=100 nb_sec=289
case_no=89 label=Case6.77 nb_sol=0 ticks=36918 tps=100 nb_sec=369
case_no=89 label=Case6.77 nb_sol=0 ticks=41885 tps=100 nb_sec=418
case_no=89 label=Case6.77 nb_sol=0 ticks=59625 tps=100 nb_sec=596
case_no=89 label=Case6.77 nb_sol=0 ticks=46564 tps=100 nb_sec=465
case_no=89 label=Case6.77 nb_sol=0 ticks=42899 tps=100 nb_sec=428
case_no=89 label=Case6.77 nb_sol=0 ticks=43079 tps=100 nb_sec=430
case_no=89 label=Case6.77 nb_sol=0 ticks=41220 tps=100 nb_sec=412
case_no=89 label=Case6.77 nb_sol=0 ticks=57377 tps=100 nb_sec=573
case_no=89 label=Case6.77 nb_sol=0 ticks=59974 tps=100 nb_sec=599
case_no=89 label=Case6.77 nb_sol=0 ticks=23817 tps=100 nb_sec=238
case_no=89 label=Case6.77 nb_sol=0 ticks=63736 tps=100 nb_sec=637
case_no=89 label=Case6.77 nb_sol=0 ticks=41438 tps=100 nb_sec=414
case_no=89 label=Case6.77 nb_sol=0 ticks=48510 tps=100 nb_sec=485
case_no=89 label=Case6.77 nb_sol=0 ticks=35987 tps=100 nb_sec=359
case_no=89 label=Case6.77 nb_sol=0 ticks=46057 tps=100 nb_sec=460
case_no=89 label=Case6.77 nb_sol=0 ticks=57204 tps=100 nb_sec=572
case_no=89 label=Case6.77 nb_sol=0 ticks=43917 tps=100 nb_sec=439
case_no=89 label=Case6.77 nb_sol=0 ticks=40681 tps=100 nb_sec=406
case_no=89 label=Case6.77 nb_sol=0 ticks=39710 tps=100 nb_sec=397
case_no=89 label=Case6.77 nb_sol=0 ticks=53211 tps=100 nb_sec=532
case_no=89 label=Case6.77 nb_sol=0 ticks=41614 tps=100 nb_sec=416
case_no=89 label=Case6.77 nb_sol=0 ticks=24387 tps=100 nb_sec=243
case_no=89 label=Case6.77 nb_sol=0 ticks=38916 tps=100 nb_sec=389
case_no=89 label=Case6.77 nb_sol=0 ticks=41174 tps=100 nb_sec=411
case_no=89 label=Case6.77 nb_sol=0 ticks=67588 tps=100 nb_sec=675
case_no=89 label=Case6.77 nb_sol=0 ticks=45453 tps=100 nb_sec=454
case_no=89 label=Case6.77 nb_sol=0 ticks=43434 tps=100 nb_sec=434
case_no=89 label=Case6.77 nb_sol=0 ticks=39076 tps=100 nb_sec=390
case_no=89 label=Case6.77 nb_sol=0 ticks=38294 tps=100 nb_sec=382
case_no=89 label=Case6.77 nb_sol=0 ticks=37538 tps=100 nb_sec=375
case_no=89 label=Case6.77 nb_sol=0 ticks=58589 tps=100 nb_sec=585
case_no=89 label=Case6.77 nb_sol=0 ticks=45828 tps=100 nb_sec=458
case_no=89 label=Case6.77 nb_sol=0 ticks=41917 tps=100 nb_sec=419
case_no=89 label=Case6.77 nb_sol=0 ticks=27102 tps=100 nb_sec=271
case_no=89 label=Case6.77 nb_sol=0 ticks=45442 tps=100 nb_sec=454
case_no=89 label=Case6.77 nb_sol=0 ticks=45255 tps=100 nb_sec=452
case_no=89 label=Case6.77 nb_sol=0 ticks=46386 tps=100 nb_sec=463
case_no=89 label=Case6.77 nb_sol=0 ticks=37577 tps=100 nb_sec=375
case_no=89 label=Case6.77 nb_sol=0 ticks=40020 tps=100 nb_sec=400
case_no=89 label=Case6.77 nb_sol=0 ticks=65436 tps=100 nb_sec=654
case_no=89 label=Case6.77 nb_sol=0 ticks=31169 tps=100 nb_sec=311
case_no=89 label=Case6.77 nb_sol=0 ticks=41330 tps=100 nb_sec=413
case_no=89 label=Case6.77 nb_sol=0 ticks=57346 tps=100 nb_sec=573
case_no=89 label=Case6.77 nb_sol=0 ticks=35144 tps=100 nb_sec=351
case_no=89 label=Case6.77 nb_sol=0 ticks=46214 tps=100 nb_sec=462
case_no=89 label=Case6.77 nb_sol=0 ticks=29901 tps=100 nb_sec=299
case_no=89 label=Case6.77 nb_sol=0 ticks=40885 tps=100 nb_sec=408
case_no=89 label=Case6.77 nb_sol=0 ticks=65368 tps=100 nb_sec=653
case_no=89 label=Case6.77 nb_sol=0 ticks=45184 tps=100 nb_sec=451
case_no=89 label=Case6.77 nb_sol=0 ticks=37781 tps=100 nb_sec=377
case_no=89 label=Case6.77 nb_sol=0 ticks=33159 tps=100 nb_sec=331
case_no=89 label=Case6.77 nb_sol=0 ticks=41024 tps=100 nb_sec=410
case_no=89 label=Case6.77 nb_sol=0 ticks=44872 tps=100 nb_sec=448
case_no=89 label=Case6.77 nb_sol=0 ticks=39581 tps=100 nb_sec=395
case_no=89 label=Case6.77 nb_sol=0 ticks=48696 tps=100 nb_sec=486
case_no=89 label=Case6.77 nb_sol=0 ticks=45061 tps=100 nb_sec=450
case_no=89 label=Case6.77 nb_sol=0 ticks=22379 tps=100 nb_sec=223
case_no=89 label=Case6.77 nb_sol=0 ticks=40878 tps=100 nb_sec=408
case_no=89 label=Case6.77 nb_sol=0 ticks=41054 tps=100 nb_sec=410
case_no=89 label=Case6.77 nb_sol=0 ticks=37507 tps=100 nb_sec=375
case_no=89 label=Case6.77 nb_sol=0 ticks=59996 tps=100 nb_sec=599
case_no=89 label=Case6.77 nb_sol=0 ticks=57522 tps=100 nb_sec=575
case_no=89 label=Case6.77 nb_sol=0 ticks=61264 tps=100 nb_sec=612
case_no=89 label=Case6.77 nb_sol=0 ticks=44516 tps=100 nb_sec=445
case_no=89 label=Case6.77 nb_sol=0 ticks=58942 tps=100 nb_sec=589
case_no=89 label=Case6.77 nb_sol=0 ticks=39103 tps=100 nb_sec=391
case_no=89 label=Case6.77 nb_sol=0 ticks=58603 tps=100 nb_sec=586
case_no=89 label=Case6.77 nb_sol=0 ticks=55577 tps=100 nb_sec=555
case_no=89 label=Case6.77 nb_sol=0 ticks=29461 tps=100 nb_sec=294
case_no=89 label=Case6.77 nb_sol=0 ticks=46045 tps=100 nb_sec=460
case_no=89 label=Case6.77 nb_sol=0 ticks=39256 tps=100 nb_sec=392
case_no=89 label=Case6.77 nb_sol=0 ticks=42835 tps=100 nb_sec=428
case_no=89 label=Case6.77 nb_sol=0 ticks=43348 tps=100 nb_sec=433
case_no=89 label=Case6.77 nb_sol=0 ticks=38044 tps=100 nb_sec=380
case_no=89 label=Case6.77 nb_sol=0 ticks=47776 tps=100 nb_sec=477
case_no=89 label=Case6.77 nb_sol=0 ticks=41838 tps=100 nb_sec=418
case_no=89 label=Case6.77 nb_sol=0 ticks=53558 tps=100 nb_sec=535
case_no=89 label=Case6.77 nb_sol=0 ticks=63349 tps=100 nb_sec=633
case_no=89 label=Case6.77 nb_sol=0 ticks=24090 tps=100 nb_sec=240
case_no=89 label=Case6.77 nb_sol=0 ticks=53160 tps=100 nb_sec=531
case_no=89 label=Case6.77 nb_sol=0 ticks=63901 tps=100 nb_sec=639
case_no=89 label=Case6.77 nb_sol=0 ticks=58620 tps=100 nb_sec=586
case_no=89 label=Case6.77 nb_sol=0 ticks=33597 tps=100 nb_sec=335
case_no=89 label=Case6.77 nb_sol=0 ticks=24758 tps=100 nb_sec=247
case_no=89 label=Case6.77 nb_sol=0 ticks=44154 tps=100 nb_sec=441
case_no=89 label=Case6.77 nb_sol=0 ticks=49994 tps=100 nb_sec=499
case_no=89 label=Case6.77 nb_sol=0 ticks=62802 tps=100 nb_sec=628
case_no=89 label=Case6.77 nb_sol=0 ticks=24361 tps=100 nb_sec=243
case_no=89 label=Case6.77 nb_sol=0 ticks=44643 tps=100 nb_sec=446
case_no=89 label=Case6.77 nb_sol=0 ticks=28235 tps=100 nb_sec=282
case_no=89 label=Case6.77 nb_sol=0 ticks=45907 tps=100 nb_sec=459
case_no=89 label=Case6.77 nb_sol=0 ticks=79245 tps=100 nb_sec=792
case_no=89 label=Case6.77 nb_sol=0 ticks=67398 tps=100 nb_sec=673
case_no=89 label=Case6.77 nb_sol=0 ticks=63066 tps=100 nb_sec=630
case_no=89 label=Case6.77 nb_sol=0 ticks=28884 tps=100 nb_sec=288
case_no=89 label=Case6.77 nb_sol=0 ticks=39248 tps=100 nb_sec=392
case_no=89 label=Case6.77 nb_sol=0 ticks=24698 tps=100 nb_sec=246
case_no=89 label=Case6.77 nb_sol=0 ticks=37787 tps=100 nb_sec=377
case_no=89 label=Case6.77 nb_sol=0 ticks=82819 tps=100 nb_sec=828
case_no=89 label=Case6.77 nb_sol=0 ticks=64175 tps=100 nb_sec=641
case_no=89 label=Case6.77 nb_sol=0 ticks=32799 tps=100 nb_sec=327
case_no=89 label=Case6.77 nb_sol=0 ticks=71945 tps=100 nb_sec=719
case_no=89 label=Case6.77 nb_sol=0 ticks=21937 tps=100 nb_sec=219
case_no=89 label=Case6.77 nb_sol=0 ticks=23826 tps=100 nb_sec=238
case_no=89 label=Case6.77 nb_sol=0 ticks=43370 tps=100 nb_sec=433
case_no=89 label=Case6.77 nb_sol=0 ticks=66752 tps=100 nb_sec=667
case_no=89 label=Case6.77 nb_sol=0 ticks=43874 tps=100 nb_sec=438
case_no=89 label=Case6.77 nb_sol=0 ticks=28591 tps=100 nb_sec=285
case_no=89 label=Case6.77 nb_sol=0 ticks=33988 tps=100 nb_sec=339
case_no=89 label=Case6.77 nb_sol=0 ticks=53255 tps=100 nb_sec=532
case_no=89 label=Case6.77 nb_sol=0 ticks=25725 tps=100 nb_sec=257
case_no=89 label=Case6.77 nb_sol=0 ticks=24897 tps=100 nb_sec=248
case_no=89 label=Case6.77 nb_sol=0 ticks=76251 tps=100 nb_sec=762
case_no=89 label=Case6.77 nb_sol=0 ticks=68513 tps=100 nb_sec=685
case_no=89 label=Case6.77 nb_sol=0 ticks=45679 tps=100 nb_sec=456
case_no=89 label=Case6.77 nb_sol=0 ticks=31787 tps=100 nb_sec=317
case_no=89 label=Case6.77 nb_sol=0 ticks=30758 tps=100 nb_sec=307
case_no=89 label=Case6.77 nb_sol=0 ticks=52173 tps=100 nb_sec=521
case_no=89 label=Case6.77 nb_sol=0 ticks=61189 tps=100 nb_sec=611
case_no=89 label=Case6.77 nb_sol=0 ticks=54242 tps=100 nb_sec=542
case_no=89 label=Case6.77 nb_sol=0 ticks=65569 tps=100 nb_sec=655
case_no=89 label=Case6.77 nb_sol=0 ticks=37123 tps=100 nb_sec=371
case_no=89 label=Case6.77 nb_sol=0 ticks=31178 tps=100 nb_sec=311
case_no=89 label=Case6.77 nb_sol=0 ticks=50843 tps=100 nb_sec=508
case_no=89 label=Case6.77 nb_sol=0 ticks=31862 tps=100 nb_sec=318
case_no=89 label=Case6.77 nb_sol=0 ticks=35218 tps=100 nb_sec=352
case_no=89 label=Case6.77 nb_sol=0 ticks=34591 tps=100 nb_sec=345
case_no=89 label=Case6.77 nb_sol=0 ticks=36703 tps=100 nb_sec=367
case_no=89 label=Case6.77 nb_sol=0 ticks=47757 tps=100 nb_sec=477
case_no=89 label=Case6.77 nb_sol=0 ticks=54568 tps=100 nb_sec=545
case_no=89 label=Case6.77 nb_sol=0 ticks=47701 tps=100 nb_sec=477
case_no=89 label=Case6.77 nb_sol=0 ticks=58376 tps=100 nb_sec=583
case_no=89 label=Case6.77 nb_sol=0 ticks=49996 tps=100 nb_sec=499
case_no=89 label=Case6.77 nb_sol=0 ticks=51206 tps=100 nb_sec=512
case_no=89 label=Case6.77 nb_sol=0 ticks=63248 tps=100 nb_sec=632
case_no=89 label=Case6.77 nb_sol=0 ticks=45008 tps=100 nb_sec=450
case_no=89 label=Case6.77 nb_sol=0 ticks=48178 tps=100 nb_sec=481
case_no=89 label=Case6.77 nb_sol=0 ticks=46910 tps=100 nb_sec=469
case_no=89 label=Case6.77 nb_sol=0 ticks=40674 tps=100 nb_sec=406
case_no=89 label=Case6.77 nb_sol=0 ticks=50039 tps=100 nb_sec=500
case_no=89 label=Case6.77 nb_sol=0 ticks=34724 tps=100 nb_sec=347
case_no=89 label=Case6.77 nb_sol=0 ticks=61701 tps=100 nb_sec=617
case_no=89 label=Case6.77 nb_sol=0 ticks=72358 tps=100 nb_sec=723
case_no=89 label=Case6.77 nb_sol=0 ticks=41496 tps=100 nb_sec=414
case_no=89 label=Case6.77 nb_sol=0 ticks=31370 tps=100 nb_sec=313
case_no=89 label=Case6.77 nb_sol=0 ticks=46877 tps=100 nb_sec=468
case_no=89 label=Case6.77 nb_sol=0 ticks=40321 tps=100 nb_sec=403
case_no=89 label=Case6.77 nb_sol=0 ticks=39626 tps=100 nb_sec=396
case_no=89 label=Case6.77 nb_sol=0 ticks=53957 tps=100 nb_sec=539
case_no=89 label=Case6.77 nb_sol=0 ticks=32140 tps=100 nb_sec=321
case_no=89 label=Case6.77 nb_sol=0 ticks=41767 tps=100 nb_sec=417
case_no=89 label=Case6.77 nb_sol=0 ticks=71678 tps=100 nb_sec=716
case_no=89 label=Case6.77 nb_sol=0 ticks=40576 tps=100 nb_sec=405
case_no=89 label=Case6.77 nb_sol=0 ticks=63323 tps=100 nb_sec=633
case_no=89 label=Case6.77 nb_sol=0 ticks=51799 tps=100 nb_sec=517
case_no=89 label=Case6.77 nb_sol=0 ticks=42188 tps=100 nb_sec=421
case_no=89 label=Case6.77 nb_sol=0 ticks=44022 tps=100 nb_sec=440
case_no=89 label=Case6.77 nb_sol=0 ticks=33215 tps=100 nb_sec=332
case_no=89 label=Case6.77 nb_sol=0 ticks=28640 tps=100 nb_sec=286
case_no=89 label=Case6.77 nb_sol=0 ticks=70511 tps=100 nb_sec=705
case_no=89 label=Case6.77 nb_sol=0 ticks=51012 tps=100 nb_sec=510
case_no=89 label=Case6.77 nb_sol=0 ticks=31012 tps=100 nb_sec=310
case_no=89 label=Case6.77 nb_sol=0 ticks=68961 tps=100 nb_sec=689
case_no=89 label=Case6.77 nb_sol=0 ticks=43558 tps=100 nb_sec=435
case_no=89 label=Case6.77 nb_sol=0 ticks=55972 tps=100 nb_sec=559
case_no=89 label=Case6.77 nb_sol=0 ticks=45723 tps=100 nb_sec=457
case_no=89 label=Case6.77 nb_sol=0 ticks=58474 tps=100 nb_sec=584
case_no=89 label=Case6.77 nb_sol=0 ticks=27000 tps=100 nb_sec=270
case_no=89 label=Case6.77 nb_sol=0 ticks=52627 tps=100 nb_sec=526
case_no=89 label=Case6.77 nb_sol=0 ticks=46456 tps=100 nb_sec=464
case_no=89 label=Case6.77 nb_sol=0 ticks=43811 tps=100 nb_sec=438
case_no=89 label=Case6.77 nb_sol=0 ticks=40318 tps=100 nb_sec=403
case_no=89 label=Case6.77 nb_sol=0 ticks=48163 tps=100 nb_sec=481
case_no=89 label=Case6.77 nb_sol=0 ticks=52966 tps=100 nb_sec=529
case_no=89 label=Case6.77 nb_sol=0 ticks=50635 tps=100 nb_sec=506
case_no=89 label=Case6.77 nb_sol=0 ticks=43557 tps=100 nb_sec=435
case_no=89 label=Case6.77 nb_sol=0 ticks=35577 tps=100 nb_sec=355
case_no=89 label=Case6.77 nb_sol=0 ticks=51331 tps=100 nb_sec=513
case_no=89 label=Case6.77 nb_sol=0 ticks=67928 tps=100 nb_sec=679
case_no=89 label=Case6.77 nb_sol=0 ticks=37243 tps=100 nb_sec=372
case_no=89 label=Case6.77 nb_sol=0 ticks=43727 tps=100 nb_sec=437
case_no=89 label=Case6.77 nb_sol=0 ticks=33085 tps=100 nb_sec=330
case_no=89 label=Case6.77 nb_sol=0 ticks=43375 tps=100 nb_sec=433
case_no=89 label=Case6.77 nb_sol=0 ticks=38060 tps=100 nb_sec=380
case_no=89 label=Case6.77 nb_sol=0 ticks=45522 tps=100 nb_sec=455
case_no=89 label=Case6.77 nb_sol=0 ticks=58970 tps=100 nb_sec=589
case_no=89 label=Case6.77 nb_sol=0 ticks=45246 tps=100 nb_sec=452
case_no=89 label=Case6.77 nb_sol=0 ticks=50094 tps=100 nb_sec=500
case_no=89 label=Case6.77 nb_sol=0 ticks=52506 tps=100 nb_sec=525
case_no=89 label=Case6.77 nb_sol=0 ticks=36120 tps=100 nb_sec=361
case_no=89 label=Case6.77 nb_sol=0 ticks=47678 tps=100 nb_sec=476
case_no=89 label=Case6.77 nb_sol=0 ticks=46867 tps=100 nb_sec=468
case_no=89 label=Case6.77 nb_sol=0 ticks=49356 tps=100 nb_sec=493
case_no=89 label=Case6.77 nb_sol=0 ticks=55360 tps=100 nb_sec=553
case_no=89 label=Case6.77 nb_sol=0 ticks=34820 tps=100 nb_sec=348
case_no=89 label=Case6.77 nb_sol=0 ticks=40653 tps=100 nb_sec=406
case_no=89 label=Case6.77 nb_sol=0 ticks=42889 tps=100 nb_sec=428
case_no=89 label=Case6.77 nb_sol=0 ticks=49485 tps=100 nb_sec=494
case_no=89 label=Case6.77 nb_sol=0 ticks=34883 tps=100 nb_sec=348
case_no=89 label=Case6.77 nb_sol=0 ticks=48195 tps=100 nb_sec=481
case_no=89 label=Case6.77 nb_sol=0 ticks=53745 tps=100 nb_sec=537
case_no=89 label=Case6.77 nb_sol=0 ticks=32236 tps=100 nb_sec=322
case_no=89 label=Case6.77 nb_sol=0 ticks=30792 tps=100 nb_sec=307
case_no=89 label=Case6.77 nb_sol=0 ticks=25307 tps=100 nb_sec=253
case_no=89 label=Case6.77 nb_sol=0 ticks=47191 tps=100 nb_sec=471
case_no=89 label=Case6.77 nb_sol=0 ticks=63628 tps=100 nb_sec=636
case_no=89 label=Case6.77 nb_sol=0 ticks=37759 tps=100 nb_sec=377
case_no=89 label=Case6.77 nb_sol=0 ticks=51704 tps=100 nb_sec=517
case_no=89 label=Case6.77 nb_sol=0 ticks=43465 tps=100 nb_sec=434
case_no=89 label=Case6.77 nb_sol=0 ticks=46717 tps=100 nb_sec=467
case_no=89 label=Case6.77 nb_sol=0 ticks=48936 tps=100 nb_sec=489
case_no=89 label=Case6.77 nb_sol=0 ticks=68429 tps=100 nb_sec=684
case_no=89 label=Case6.77 nb_sol=0 ticks=58153 tps=100 nb_sec=581
case_no=89 label=Case6.77 nb_sol=0 ticks=58653 tps=100 nb_sec=586
case_no=89 label=Case6.77 nb_sol=0 ticks=44721 tps=100 nb_sec=447
case_no=89 label=Case6.77 nb_sol=0 ticks=53326 tps=100 nb_sec=533
case_no=89 label=Case6.77 nb_sol=0 ticks=63344 tps=100 nb_sec=633
case_no=89 label=Case6.77 nb_sol=0 ticks=49004 tps=100 nb_sec=490
case_no=89 label=Case6.77 nb_sol=0 ticks=49790 tps=100 nb_sec=497
case_no=89 label=Case6.77 nb_sol=0 ticks=62796 tps=100 nb_sec=627
case_no=89 label=Case6.77 nb_sol=0 ticks=60552 tps=100 nb_sec=605
case_no=89 label=Case6.77 nb_sol=0 ticks=41801 tps=100 nb_sec=418
case_no=89 label=Case6.77 nb_sol=0 ticks=34340 tps=100 nb_sec=343
case_no=89 label=Case6.77 nb_sol=0 ticks=46260 tps=100 nb_sec=462
case_no=89 label=Case6.77 nb_sol=0 ticks=52679 tps=100 nb_sec=526
case_no=89 label=Case6.77 nb_sol=0 ticks=63088 tps=100 nb_sec=630
case_no=89 label=Case6.77 nb_sol=0 ticks=50044 tps=100 nb_sec=500
case_no=89 label=Case6.77 nb_sol=0 ticks=51374 tps=100 nb_sec=513
case_no=89 label=Case6.77 nb_sol=0 ticks=39009 tps=100 nb_sec=390
case_no=89 label=Case6.77 nb_sol=0 ticks=66449 tps=100 nb_sec=664
case_no=89 label=Case6.77 nb_sol=0 ticks=31960 tps=100 nb_sec=319
case_no=89 label=Case6.77 nb_sol=0 ticks=45571 tps=100 nb_sec=455
case_no=89 label=Case6.77 nb_sol=0 ticks=44954 tps=100 nb_sec=449
case_no=89 label=Case6.77 nb_sol=0 ticks=39760 tps=100 nb_sec=397
case_no=89 label=Case6.77 nb_sol=0 ticks=62359 tps=100 nb_sec=623
case_no=89 label=Case6.77 nb_sol=0 ticks=48004 tps=100 nb_sec=480
case_no=89 label=Case6.77 nb_sol=0 ticks=37115 tps=100 nb_sec=371
case_no=89 label=Case6.77 nb_sol=0 ticks=65418 tps=100 nb_sec=654
case_no=89 label=Case6.77 nb_sol=0 ticks=47317 tps=100 nb_sec=473
case_no=89 label=Case6.77 nb_sol=0 ticks=60518 tps=100 nb_sec=605
case_no=89 label=Case6.77 nb_sol=0 ticks=47140 tps=100 nb_sec=471
case_no=89 label=Case6.77 nb_sol=0 ticks=40947 tps=100 nb_sec=409
case_no=89 label=Case6.77 nb_sol=0 ticks=49366 tps=100 nb_sec=493
case_no=89 label=Case6.77 nb_sol=0 ticks=68573 tps=100 nb_sec=685
case_no=89 label=Case6.77 nb_sol=0 ticks=29701 tps=100 nb_sec=297
case_no=89 label=Case6.77 nb_sol=0 ticks=50380 tps=100 nb_sec=503
case_no=89 label=Case6.77 nb_sol=0 ticks=50934 tps=100 nb_sec=509
case_no=89 label=Case6.77 nb_sol=0 ticks=34809 tps=100 nb_sec=348
case_no=89 label=Case6.77 nb_sol=0 ticks=35632 tps=100 nb_sec=356
case_no=89 label=Case6.77 nb_sol=0 ticks=50717 tps=100 nb_sec=507
case_no=89 label=Case6.77 nb_sol=0 ticks=49428 tps=100 nb_sec=494
case_no=89 label=Case6.77 nb_sol=0 ticks=34815 tps=100 nb_sec=348
case_no=89 label=Case6.77 nb_sol=0 ticks=36723 tps=100 nb_sec=367
case_no=89 label=Case6.77 nb_sol=0 ticks=41986 tps=100 nb_sec=419
case_no=89 label=Case6.77 nb_sol=0 ticks=59013 tps=100 nb_sec=590
case_no=89 label=Case6.77 nb_sol=0 ticks=53748 tps=100 nb_sec=537
case_no=89 label=Case6.77 nb_sol=0 ticks=33430 tps=100 nb_sec=334
case_no=89 label=Case6.77 nb_sol=0 ticks=46321 tps=100 nb_sec=463
case_no=89 label=Case6.77 nb_sol=0 ticks=56038 tps=100 nb_sec=560
case_no=89 label=Case6.77 nb_sol=0 ticks=47070 tps=100 nb_sec=470
case_no=89 label=Case6.77 nb_sol=0 ticks=63561 tps=100 nb_sec=635
case_no=89 label=Case6.77 nb_sol=0 ticks=40086 tps=100 nb_sec=400
case_no=89 label=Case6.77 nb_sol=0 ticks=42145 tps=100 nb_sec=421
case_no=89 label=Case6.77 nb_sol=0 ticks=24802 tps=100 nb_sec=248
case_no=89 label=Case6.77 nb_sol=0 ticks=57871 tps=100 nb_sec=578
case_no=89 label=Case6.77 nb_sol=0 ticks=44661 tps=100 nb_sec=446
case_no=89 label=Case6.77 nb_sol=0 ticks=48101 tps=100 nb_sec=481
case_no=89 label=Case6.77 nb_sol=0 ticks=40947 tps=100 nb_sec=409
case_no=89 label=Case6.77 nb_sol=0 ticks=25578 tps=100 nb_sec=255
case_no=89 label=Case6.77 nb_sol=0 ticks=50160 tps=100 nb_sec=501
case_no=89 label=Case6.77 nb_sol=0 ticks=47736 tps=100 nb_sec=477
case_no=89 label=Case6.77 nb_sol=0 ticks=42602 tps=100 nb_sec=426
case_no=89 label=Case6.77 nb_sol=0 ticks=33018 tps=100 nb_sec=330
case_no=89 label=Case6.77 nb_sol=0 ticks=36862 tps=100 nb_sec=368
case_no=89 label=Case6.77 nb_sol=0 ticks=69077 tps=100 nb_sec=690
case_no=89 label=Case6.77 nb_sol=0 ticks=48874 tps=100 nb_sec=488
case_no=89 label=Case6.77 nb_sol=0 ticks=61783 tps=100 nb_sec=617
case_no=89 label=Case6.77 nb_sol=0 ticks=39189 tps=100 nb_sec=391
case_no=89 label=Case6.77 nb_sol=0 ticks=44745 tps=100 nb_sec=447
case_no=89 label=Case6.77 nb_sol=0 ticks=36659 tps=100 nb_sec=366
case_no=89 label=Case6.77 nb_sol=0 ticks=74166 tps=100 nb_sec=741
case_no=89 label=Case6.77 nb_sol=0 ticks=46150 tps=100 nb_sec=461
case_no=89 label=Case6.77 nb_sol=0 ticks=56030 tps=100 nb_sec=560
case_no=89 label=Case6.77 nb_sol=0 ticks=24821 tps=100 nb_sec=248
case_no=89 label=Case6.77 nb_sol=0 ticks=51003 tps=100 nb_sec=510
case_no=89 label=Case6.77 nb_sol=0 ticks=59403 tps=100 nb_sec=594
case_no=89 label=Case6.77 nb_sol=0 ticks=60829 tps=100 nb_sec=608
case_no=89 label=Case6.77 nb_sol=0 ticks=51675 tps=100 nb_sec=516
case_no=89 label=Case6.77 nb_sol=0 ticks=32165 tps=100 nb_sec=321
case_no=89 label=Case6.77 nb_sol=0 ticks=59733 tps=100 nb_sec=597
case_no=89 label=Case6.77 nb_sol=0 ticks=42831 tps=100 nb_sec=428
case_no=89 label=Case6.77 nb_sol=0 ticks=43688 tps=100 nb_sec=436
case_no=89 label=Case6.77 nb_sol=0 ticks=51741 tps=100 nb_sec=517
case_no=89 label=Case6.77 nb_sol=0 ticks=48869 tps=100 nb_sec=488
case_no=89 label=Case6.77 nb_sol=0 ticks=51316 tps=100 nb_sec=513
case_no=89 label=Case6.77 nb_sol=0 ticks=44778 tps=100 nb_sec=447
case_no=89 label=Case6.77 nb_sol=0 ticks=45418 tps=100 nb_sec=454
case_no=89 label=Case6.77 nb_sol=0 ticks=44079 tps=100 nb_sec=440
case_no=89 label=Case6.77 nb_sol=0 ticks=23463 tps=100 nb_sec=234
case_no=89 label=Case6.77 nb_sol=0 ticks=39919 tps=100 nb_sec=399
case_no=89 label=Case6.77 nb_sol=0 ticks=48613 tps=100 nb_sec=486
case_no=89 label=Case6.77 nb_sol=0 ticks=37546 tps=100 nb_sec=375
case_no=89 label=Case6.77 nb_sol=0 ticks=44400 tps=100 nb_sec=444
case_no=89 label=Case6.77 nb_sol=0 ticks=62500 tps=100 nb_sec=625
case_no=89 label=Case6.77 nb_sol=0 ticks=36039 tps=100 nb_sec=360
case_no=89 label=Case6.77 nb_sol=0 ticks=39663 tps=100 nb_sec=396
case_no=89 label=Case6.77 nb_sol=0 ticks=44831 tps=100 nb_sec=448
case_no=89 label=Case6.77 nb_sol=0 ticks=29978 tps=100 nb_sec=299
case_no=89 label=Case6.77 nb_sol=0 ticks=57293 tps=100 nb_sec=572
case_no=89 label=Case6.77 nb_sol=0 ticks=29758 tps=100 nb_sec=297
case_no=89 label=Case6.77 nb_sol=0 ticks=26196 tps=100 nb_sec=261
case_no=89 label=Case6.77 nb_sol=0 ticks=47134 tps=100 nb_sec=471
case_no=89 label=Case6.77 nb_sol=0 ticks=41793 tps=100 nb_sec=417
case_no=89 label=Case6.77 nb_sol=0 ticks=29067 tps=100 nb_sec=290
case_no=89 label=Case6.77 nb_sol=0 ticks=42539 tps=100 nb_sec=425
case_no=89 label=Case6.77 nb_sol=0 ticks=60029 tps=100 nb_sec=600
case_no=89 label=Case6.77 nb_sol=0 ticks=27484 tps=100 nb_sec=274
case_no=89 label=Case6.77 nb_sol=0 ticks=40130 tps=100 nb_sec=401
case_no=89 label=Case6.77 nb_sol=0 ticks=62295 tps=100 nb_sec=622
case_no=89 label=Case6.77 nb_sol=0 ticks=34609 tps=100 nb_sec=346
case_no=89 label=Case6.77 nb_sol=0 ticks=32329 tps=100 nb_sec=323
case_no=89 label=Case6.77 nb_sol=0 ticks=31932 tps=100 nb_sec=319
case_no=89 label=Case6.77 nb_sol=0 ticks=37571 tps=100 nb_sec=375
case_no=89 label=Case6.77 nb_sol=0 ticks=30969 tps=100 nb_sec=309
case_no=89 label=Case6.77 nb_sol=0 ticks=26421 tps=100 nb_sec=264
case_no=89 label=Case6.77 nb_sol=0 ticks=32733 tps=100 nb_sec=327
case_no=89 label=Case6.77 nb_sol=0 ticks=36546 tps=100 nb_sec=365
case_no=89 label=Case6.77 nb_sol=0 ticks=45094 tps=100 nb_sec=450
case_no=89 label=Case6.77 nb_sol=0 ticks=41465 tps=100 nb_sec=414
case_no=89 label=Case6.77 nb_sol=0 ticks=60470 tps=100 nb_sec=604
case_no=89 label=Case6.77 nb_sol=0 ticks=39180 tps=100 nb_sec=391
case_no=89 label=Case6.77 nb_sol=0 ticks=31392 tps=100 nb_sec=313
case_no=89 label=Case6.77 nb_sol=0 ticks=27157 tps=100 nb_sec=271
case_no=89 label=Case6.77 nb_sol=0 ticks=26404 tps=100 nb_sec=264
case_no=89 label=Case6.77 nb_sol=0 ticks=33658 tps=100 nb_sec=336
case_no=89 label=Case6.77 nb_sol=0 ticks=62488 tps=100 nb_sec=624
case_no=89 label=Case6.77 nb_sol=0 ticks=34124 tps=100 nb_sec=341
case_no=89 label=Case6.77 nb_sol=0 ticks=41664 tps=100 nb_sec=416
case_no=89 label=Case6.77 nb_sol=0 ticks=27136 tps=100 nb_sec=271
case_no=89 label=Case6.77 nb_sol=0 ticks=28744 tps=100 nb_sec=287
case_no=89 label=Case6.77 nb_sol=0 ticks=43811 tps=100 nb_sec=438
case_no=89 label=Case6.77 nb_sol=0 ticks=52664 tps=100 nb_sec=526
case_no=89 label=Case6.77 nb_sol=0 ticks=54218 tps=100 nb_sec=542
case_no=89 label=Case6.77 nb_sol=0 ticks=39494 tps=100 nb_sec=394
case_no=89 label=Case6.77 nb_sol=0 ticks=54849 tps=100 nb_sec=548
case_no=89 label=Case6.77 nb_sol=0 ticks=41274 tps=100 nb_sec=412
case_no=89 label=Case6.77 nb_sol=0 ticks=29863 tps=100 nb_sec=298
case_no=89 label=Case6.77 nb_sol=0 ticks=25866 tps=100 nb_sec=258
case_no=89 label=Case6.77 nb_sol=0 ticks=38338 tps=100 nb_sec=383
case_no=89 label=Case6.77 nb_sol=0 ticks=39071 tps=100 nb_sec=390
case_no=89 label=Case6.77 nb_sol=0 ticks=33226 tps=100 nb_sec=332
case_no=89 label=Case6.77 nb_sol=0 ticks=32140 tps=100 nb_sec=321
case_no=89 label=Case6.77 nb_sol=0 ticks=23487 tps=100 nb_sec=234
case_no=89 label=Case6.77 nb_sol=0 ticks=44314 tps=100 nb_sec=443
case_no=89 label=Case6.77 nb_sol=0 ticks=43815 tps=100 nb_sec=438
case_no=89 label=Case6.77 nb_sol=0 ticks=37381 tps=100 nb_sec=373
case_no=89 label=Case6.77 nb_sol=0 ticks=25646 tps=100 nb_sec=256
case_no=89 label=Case6.77 nb_sol=0 ticks=38200 tps=100 nb_sec=382
case_no=89 label=Case6.77 nb_sol=0 ticks=57464 tps=100 nb_sec=574
case_no=89 label=Case6.77 nb_sol=0 ticks=36863 tps=100 nb_sec=368
case_no=89 label=Case6.77 nb_sol=0 ticks=44806 tps=100 nb_sec=448
case_no=89 label=Case6.77 nb_sol=0 ticks=43724 tps=100 nb_sec=437
case_no=89 label=Case6.77 nb_sol=0 ticks=24986 tps=100 nb_sec=249
case_no=89 label=Case6.77 nb_sol=0 ticks=22057 tps=100 nb_sec=220
case_no=89 label=Case6.77 nb_sol=0 ticks=33408 tps=100 nb_sec=334
case_no=89 label=Case6.77 nb_sol=0 ticks=52270 tps=100 nb_sec=522
case_no=89 label=Case6.77 nb_sol=0 ticks=36715 tps=100 nb_sec=367
case_no=89 label=Case6.77 nb_sol=0 ticks=30647 tps=100 nb_sec=306
case_no=89 label=Case6.77 nb_sol=0 ticks=25973 tps=100 nb_sec=259
case_no=89 label=Case6.77 nb_sol=0 ticks=28084 tps=100 nb_sec=280
case_no=89 label=Case6.77 nb_sol=0 ticks=26827 tps=100 nb_sec=268
case_no=89 label=Case6.77 nb_sol=0 ticks=26054 tps=100 nb_sec=260
case_no=89 label=Case6.77 nb_sol=0 ticks=41630 tps=100 nb_sec=416
case_no=89 label=Case6.77 nb_sol=0 ticks=39020 tps=100 nb_sec=390
case_no=89 label=Case6.77 nb_sol=0 ticks=37509 tps=100 nb_sec=375
case_no=89 label=Case6.77 nb_sol=0 ticks=51090 tps=100 nb_sec=510
case_no=89 label=Case6.77 nb_sol=0 ticks=30852 tps=100 nb_sec=308
Nb_sol=0
Nb_sec=228457
2-15:27:37 or 63 hours
missing cases:
none