argc=5
-M 512
file2=30_select_Case6.70_starter_16_
checking files mod 512 from 0 to 511
case_no=82 label=Case6.70 nb_sol=0 ticks=37520 tps=100 nb_sec=375
case_no=82 label=Case6.70 nb_sol=0 ticks=55815 tps=100 nb_sec=558
case_no=82 label=Case6.70 nb_sol=0 ticks=42137 tps=100 nb_sec=421
case_no=82 label=Case6.70 nb_sol=0 ticks=68605 tps=100 nb_sec=686
case_no=82 label=Case6.70 nb_sol=0 ticks=63983 tps=100 nb_sec=639
case_no=82 label=Case6.70 nb_sol=0 ticks=68870 tps=100 nb_sec=688
case_no=82 label=Case6.70 nb_sol=0 ticks=41593 tps=100 nb_sec=415
case_no=82 label=Case6.70 nb_sol=0 ticks=41629 tps=100 nb_sec=416
case_no=82 label=Case6.70 nb_sol=0 ticks=67118 tps=100 nb_sec=671
case_no=82 label=Case6.70 nb_sol=0 ticks=59679 tps=100 nb_sec=596
case_no=82 label=Case6.70 nb_sol=0 ticks=61310 tps=100 nb_sec=613
case_no=82 label=Case6.70 nb_sol=0 ticks=62759 tps=100 nb_sec=627
case_no=82 label=Case6.70 nb_sol=0 ticks=43005 tps=100 nb_sec=430
case_no=82 label=Case6.70 nb_sol=0 ticks=39693 tps=100 nb_sec=396
case_no=82 label=Case6.70 nb_sol=0 ticks=56564 tps=100 nb_sec=565
case_no=82 label=Case6.70 nb_sol=0 ticks=41524 tps=100 nb_sec=415
case_no=82 label=Case6.70 nb_sol=0 ticks=30270 tps=100 nb_sec=302
case_no=82 label=Case6.70 nb_sol=0 ticks=30512 tps=100 nb_sec=305
case_no=82 label=Case6.70 nb_sol=0 ticks=32294 tps=100 nb_sec=322
case_no=82 label=Case6.70 nb_sol=0 ticks=68663 tps=100 nb_sec=686
case_no=82 label=Case6.70 nb_sol=0 ticks=28621 tps=100 nb_sec=286
case_no=82 label=Case6.70 nb_sol=0 ticks=74813 tps=100 nb_sec=748
case_no=82 label=Case6.70 nb_sol=0 ticks=50324 tps=100 nb_sec=503
case_no=82 label=Case6.70 nb_sol=0 ticks=69434 tps=100 nb_sec=694
case_no=82 label=Case6.70 nb_sol=0 ticks=43553 tps=100 nb_sec=435
case_no=82 label=Case6.70 nb_sol=0 ticks=32057 tps=100 nb_sec=320
case_no=82 label=Case6.70 nb_sol=0 ticks=68440 tps=100 nb_sec=684
case_no=82 label=Case6.70 nb_sol=0 ticks=37138 tps=100 nb_sec=371
case_no=82 label=Case6.70 nb_sol=0 ticks=24432 tps=100 nb_sec=244
case_no=82 label=Case6.70 nb_sol=0 ticks=60592 tps=100 nb_sec=605
case_no=82 label=Case6.70 nb_sol=0 ticks=46940 tps=100 nb_sec=469
case_no=82 label=Case6.70 nb_sol=0 ticks=61833 tps=100 nb_sec=618
case_no=82 label=Case6.70 nb_sol=0 ticks=46310 tps=100 nb_sec=463
case_no=82 label=Case6.70 nb_sol=0 ticks=28130 tps=100 nb_sec=281
case_no=82 label=Case6.70 nb_sol=0 ticks=48285 tps=100 nb_sec=482
case_no=82 label=Case6.70 nb_sol=0 ticks=49715 tps=100 nb_sec=497
case_no=82 label=Case6.70 nb_sol=0 ticks=62991 tps=100 nb_sec=629
case_no=82 label=Case6.70 nb_sol=0 ticks=40868 tps=100 nb_sec=408
case_no=82 label=Case6.70 nb_sol=0 ticks=41737 tps=100 nb_sec=417
case_no=82 label=Case6.70 nb_sol=0 ticks=41796 tps=100 nb_sec=417
case_no=82 label=Case6.70 nb_sol=0 ticks=38171 tps=100 nb_sec=381
case_no=82 label=Case6.70 nb_sol=0 ticks=66130 tps=100 nb_sec=661
case_no=82 label=Case6.70 nb_sol=0 ticks=43181 tps=100 nb_sec=431
case_no=82 label=Case6.70 nb_sol=0 ticks=43215 tps=100 nb_sec=432
case_no=82 label=Case6.70 nb_sol=0 ticks=37208 tps=100 nb_sec=372
case_no=82 label=Case6.70 nb_sol=0 ticks=63741 tps=100 nb_sec=637
case_no=82 label=Case6.70 nb_sol=0 ticks=41151 tps=100 nb_sec=411
case_no=82 label=Case6.70 nb_sol=0 ticks=36596 tps=100 nb_sec=365
case_no=82 label=Case6.70 nb_sol=0 ticks=40660 tps=100 nb_sec=406
case_no=82 label=Case6.70 nb_sol=0 ticks=57228 tps=100 nb_sec=572
case_no=82 label=Case6.70 nb_sol=0 ticks=41149 tps=100 nb_sec=411
case_no=82 label=Case6.70 nb_sol=0 ticks=41927 tps=100 nb_sec=419
case_no=82 label=Case6.70 nb_sol=0 ticks=38587 tps=100 nb_sec=385
case_no=82 label=Case6.70 nb_sol=0 ticks=39779 tps=100 nb_sec=397
case_no=82 label=Case6.70 nb_sol=0 ticks=58691 tps=100 nb_sec=586
case_no=82 label=Case6.70 nb_sol=0 ticks=56379 tps=100 nb_sec=563
case_no=82 label=Case6.70 nb_sol=0 ticks=46127 tps=100 nb_sec=461
case_no=82 label=Case6.70 nb_sol=0 ticks=39469 tps=100 nb_sec=394
case_no=82 label=Case6.70 nb_sol=0 ticks=39901 tps=100 nb_sec=399
case_no=82 label=Case6.70 nb_sol=0 ticks=63836 tps=100 nb_sec=638
case_no=82 label=Case6.70 nb_sol=0 ticks=45724 tps=100 nb_sec=457
case_no=82 label=Case6.70 nb_sol=0 ticks=57661 tps=100 nb_sec=576
case_no=82 label=Case6.70 nb_sol=0 ticks=58459 tps=100 nb_sec=584
case_no=82 label=Case6.70 nb_sol=0 ticks=49310 tps=100 nb_sec=493
case_no=82 label=Case6.70 nb_sol=0 ticks=36910 tps=100 nb_sec=369
case_no=82 label=Case6.70 nb_sol=0 ticks=41537 tps=100 nb_sec=415
case_no=82 label=Case6.70 nb_sol=0 ticks=65836 tps=100 nb_sec=658
case_no=82 label=Case6.70 nb_sol=0 ticks=44963 tps=100 nb_sec=449
case_no=82 label=Case6.70 nb_sol=0 ticks=29776 tps=100 nb_sec=297
case_no=82 label=Case6.70 nb_sol=0 ticks=39801 tps=100 nb_sec=398
case_no=82 label=Case6.70 nb_sol=0 ticks=58961 tps=100 nb_sec=589
case_no=82 label=Case6.70 nb_sol=0 ticks=57701 tps=100 nb_sec=577
case_no=82 label=Case6.70 nb_sol=0 ticks=44776 tps=100 nb_sec=447
case_no=82 label=Case6.70 nb_sol=0 ticks=43735 tps=100 nb_sec=437
case_no=82 label=Case6.70 nb_sol=0 ticks=41305 tps=100 nb_sec=413
case_no=82 label=Case6.70 nb_sol=0 ticks=61589 tps=100 nb_sec=615
case_no=82 label=Case6.70 nb_sol=0 ticks=42033 tps=100 nb_sec=420
case_no=82 label=Case6.70 nb_sol=0 ticks=40950 tps=100 nb_sec=409
case_no=82 label=Case6.70 nb_sol=0 ticks=58817 tps=100 nb_sec=588
case_no=82 label=Case6.70 nb_sol=0 ticks=38361 tps=100 nb_sec=383
case_no=82 label=Case6.70 nb_sol=0 ticks=60671 tps=100 nb_sec=606
case_no=82 label=Case6.70 nb_sol=0 ticks=41058 tps=100 nb_sec=410
case_no=82 label=Case6.70 nb_sol=0 ticks=29437 tps=100 nb_sec=294
case_no=82 label=Case6.70 nb_sol=0 ticks=42023 tps=100 nb_sec=420
case_no=82 label=Case6.70 nb_sol=0 ticks=59498 tps=100 nb_sec=594
case_no=82 label=Case6.70 nb_sol=0 ticks=25185 tps=100 nb_sec=251
case_no=82 label=Case6.70 nb_sol=0 ticks=39461 tps=100 nb_sec=394
case_no=82 label=Case6.70 nb_sol=0 ticks=41503 tps=100 nb_sec=415
case_no=82 label=Case6.70 nb_sol=0 ticks=28528 tps=100 nb_sec=285
case_no=82 label=Case6.70 nb_sol=0 ticks=60873 tps=100 nb_sec=608
case_no=82 label=Case6.70 nb_sol=0 ticks=62877 tps=100 nb_sec=628
case_no=82 label=Case6.70 nb_sol=0 ticks=40661 tps=100 nb_sec=406
case_no=82 label=Case6.70 nb_sol=0 ticks=61547 tps=100 nb_sec=615
case_no=82 label=Case6.70 nb_sol=0 ticks=44000 tps=100 nb_sec=440
case_no=82 label=Case6.70 nb_sol=0 ticks=32020 tps=100 nb_sec=320
case_no=82 label=Case6.70 nb_sol=0 ticks=42452 tps=100 nb_sec=424
case_no=82 label=Case6.70 nb_sol=0 ticks=40268 tps=100 nb_sec=402
case_no=82 label=Case6.70 nb_sol=0 ticks=52228 tps=100 nb_sec=522
case_no=82 label=Case6.70 nb_sol=0 ticks=59171 tps=100 nb_sec=591
case_no=82 label=Case6.70 nb_sol=0 ticks=41035 tps=100 nb_sec=410
case_no=82 label=Case6.70 nb_sol=0 ticks=42272 tps=100 nb_sec=422
case_no=82 label=Case6.70 nb_sol=0 ticks=38186 tps=100 nb_sec=381
case_no=82 label=Case6.70 nb_sol=0 ticks=46959 tps=100 nb_sec=469
case_no=82 label=Case6.70 nb_sol=0 ticks=42625 tps=100 nb_sec=426
case_no=82 label=Case6.70 nb_sol=0 ticks=21748 tps=100 nb_sec=217
case_no=82 label=Case6.70 nb_sol=0 ticks=38336 tps=100 nb_sec=383
case_no=82 label=Case6.70 nb_sol=0 ticks=62510 tps=100 nb_sec=625
case_no=82 label=Case6.70 nb_sol=0 ticks=43660 tps=100 nb_sec=436
case_no=82 label=Case6.70 nb_sol=0 ticks=38390 tps=100 nb_sec=383
case_no=82 label=Case6.70 nb_sol=0 ticks=33600 tps=100 nb_sec=336
case_no=82 label=Case6.70 nb_sol=0 ticks=43005 tps=100 nb_sec=430
case_no=82 label=Case6.70 nb_sol=0 ticks=36321 tps=100 nb_sec=363
case_no=82 label=Case6.70 nb_sol=0 ticks=57226 tps=100 nb_sec=572
case_no=82 label=Case6.70 nb_sol=0 ticks=44469 tps=100 nb_sec=444
case_no=82 label=Case6.70 nb_sol=0 ticks=44813 tps=100 nb_sec=448
case_no=82 label=Case6.70 nb_sol=0 ticks=40655 tps=100 nb_sec=406
case_no=82 label=Case6.70 nb_sol=0 ticks=58716 tps=100 nb_sec=587
case_no=82 label=Case6.70 nb_sol=0 ticks=38489 tps=100 nb_sec=384
case_no=82 label=Case6.70 nb_sol=0 ticks=37359 tps=100 nb_sec=373
case_no=82 label=Case6.70 nb_sol=0 ticks=62128 tps=100 nb_sec=621
case_no=82 label=Case6.70 nb_sol=0 ticks=37425 tps=100 nb_sec=374
case_no=82 label=Case6.70 nb_sol=0 ticks=54697 tps=100 nb_sec=546
case_no=82 label=Case6.70 nb_sol=0 ticks=44478 tps=100 nb_sec=444
case_no=82 label=Case6.70 nb_sol=0 ticks=33752 tps=100 nb_sec=337
case_no=82 label=Case6.70 nb_sol=0 ticks=41337 tps=100 nb_sec=413
case_no=82 label=Case6.70 nb_sol=0 ticks=31614 tps=100 nb_sec=316
case_no=82 label=Case6.70 nb_sol=0 ticks=40588 tps=100 nb_sec=405
case_no=82 label=Case6.70 nb_sol=0 ticks=36821 tps=100 nb_sec=368
case_no=82 label=Case6.70 nb_sol=0 ticks=40003 tps=100 nb_sec=400
case_no=82 label=Case6.70 nb_sol=0 ticks=43396 tps=100 nb_sec=433
case_no=82 label=Case6.70 nb_sol=0 ticks=53044 tps=100 nb_sec=530
case_no=82 label=Case6.70 nb_sol=0 ticks=24898 tps=100 nb_sec=248
case_no=82 label=Case6.70 nb_sol=0 ticks=38294 tps=100 nb_sec=382
case_no=82 label=Case6.70 nb_sol=0 ticks=40747 tps=100 nb_sec=407
case_no=82 label=Case6.70 nb_sol=0 ticks=40115 tps=100 nb_sec=401
case_no=82 label=Case6.70 nb_sol=0 ticks=60327 tps=100 nb_sec=603
case_no=82 label=Case6.70 nb_sol=0 ticks=45597 tps=100 nb_sec=455
case_no=82 label=Case6.70 nb_sol=0 ticks=38077 tps=100 nb_sec=380
case_no=82 label=Case6.70 nb_sol=0 ticks=36700 tps=100 nb_sec=367
case_no=82 label=Case6.70 nb_sol=0 ticks=49438 tps=100 nb_sec=494
case_no=82 label=Case6.70 nb_sol=0 ticks=29385 tps=100 nb_sec=293
case_no=82 label=Case6.70 nb_sol=0 ticks=63104 tps=100 nb_sec=631
case_no=82 label=Case6.70 nb_sol=0 ticks=45865 tps=100 nb_sec=458
case_no=82 label=Case6.70 nb_sol=0 ticks=47117 tps=100 nb_sec=471
case_no=82 label=Case6.70 nb_sol=0 ticks=56391 tps=100 nb_sec=563
case_no=82 label=Case6.70 nb_sol=0 ticks=60989 tps=100 nb_sec=609
case_no=82 label=Case6.70 nb_sol=0 ticks=47271 tps=100 nb_sec=472
case_no=82 label=Case6.70 nb_sol=0 ticks=37745 tps=100 nb_sec=377
case_no=82 label=Case6.70 nb_sol=0 ticks=68912 tps=100 nb_sec=689
case_no=82 label=Case6.70 nb_sol=0 ticks=44684 tps=100 nb_sec=446
case_no=82 label=Case6.70 nb_sol=0 ticks=40404 tps=100 nb_sec=404
case_no=82 label=Case6.70 nb_sol=0 ticks=43252 tps=100 nb_sec=432
case_no=82 label=Case6.70 nb_sol=0 ticks=43788 tps=100 nb_sec=437
case_no=82 label=Case6.70 nb_sol=0 ticks=41418 tps=100 nb_sec=414
case_no=82 label=Case6.70 nb_sol=0 ticks=42480 tps=100 nb_sec=424
case_no=82 label=Case6.70 nb_sol=0 ticks=46324 tps=100 nb_sec=463
case_no=82 label=Case6.70 nb_sol=0 ticks=59684 tps=100 nb_sec=596
case_no=82 label=Case6.70 nb_sol=0 ticks=57624 tps=100 nb_sec=576
case_no=82 label=Case6.70 nb_sol=0 ticks=41897 tps=100 nb_sec=418
case_no=82 label=Case6.70 nb_sol=0 ticks=42095 tps=100 nb_sec=420
case_no=82 label=Case6.70 nb_sol=0 ticks=45227 tps=100 nb_sec=452
case_no=82 label=Case6.70 nb_sol=0 ticks=64883 tps=100 nb_sec=648
case_no=82 label=Case6.70 nb_sol=0 ticks=50792 tps=100 nb_sec=507
case_no=82 label=Case6.70 nb_sol=0 ticks=31398 tps=100 nb_sec=313
case_no=82 label=Case6.70 nb_sol=0 ticks=42846 tps=100 nb_sec=428
case_no=82 label=Case6.70 nb_sol=0 ticks=68750 tps=100 nb_sec=687
case_no=82 label=Case6.70 nb_sol=0 ticks=40723 tps=100 nb_sec=407
case_no=82 label=Case6.70 nb_sol=0 ticks=34833 tps=100 nb_sec=348
case_no=82 label=Case6.70 nb_sol=0 ticks=50933 tps=100 nb_sec=509
case_no=82 label=Case6.70 nb_sol=0 ticks=46756 tps=100 nb_sec=467
case_no=82 label=Case6.70 nb_sol=0 ticks=43836 tps=100 nb_sec=438
case_no=82 label=Case6.70 nb_sol=0 ticks=62784 tps=100 nb_sec=627
case_no=82 label=Case6.70 nb_sol=0 ticks=67656 tps=100 nb_sec=676
case_no=82 label=Case6.70 nb_sol=0 ticks=41702 tps=100 nb_sec=417
case_no=82 label=Case6.70 nb_sol=0 ticks=42801 tps=100 nb_sec=428
case_no=82 label=Case6.70 nb_sol=0 ticks=39112 tps=100 nb_sec=391
case_no=82 label=Case6.70 nb_sol=0 ticks=57660 tps=100 nb_sec=576
case_no=82 label=Case6.70 nb_sol=0 ticks=43773 tps=100 nb_sec=437
case_no=82 label=Case6.70 nb_sol=0 ticks=53511 tps=100 nb_sec=535
case_no=82 label=Case6.70 nb_sol=0 ticks=34994 tps=100 nb_sec=349
case_no=82 label=Case6.70 nb_sol=0 ticks=53574 tps=100 nb_sec=535
case_no=82 label=Case6.70 nb_sol=0 ticks=46943 tps=100 nb_sec=469
case_no=82 label=Case6.70 nb_sol=0 ticks=38333 tps=100 nb_sec=383
case_no=82 label=Case6.70 nb_sol=0 ticks=56514 tps=100 nb_sec=565
case_no=82 label=Case6.70 nb_sol=0 ticks=46871 tps=100 nb_sec=468
case_no=82 label=Case6.70 nb_sol=0 ticks=65913 tps=100 nb_sec=659
case_no=82 label=Case6.70 nb_sol=0 ticks=43055 tps=100 nb_sec=430
case_no=82 label=Case6.70 nb_sol=0 ticks=41452 tps=100 nb_sec=414
case_no=82 label=Case6.70 nb_sol=0 ticks=47530 tps=100 nb_sec=475
case_no=82 label=Case6.70 nb_sol=0 ticks=65753 tps=100 nb_sec=657
case_no=82 label=Case6.70 nb_sol=0 ticks=40798 tps=100 nb_sec=407
case_no=82 label=Case6.70 nb_sol=0 ticks=40802 tps=100 nb_sec=408
case_no=82 label=Case6.70 nb_sol=0 ticks=57302 tps=100 nb_sec=573
case_no=82 label=Case6.70 nb_sol=0 ticks=43638 tps=100 nb_sec=436
case_no=82 label=Case6.70 nb_sol=0 ticks=61372 tps=100 nb_sec=613
case_no=82 label=Case6.70 nb_sol=0 ticks=41558 tps=100 nb_sec=415
case_no=82 label=Case6.70 nb_sol=0 ticks=37727 tps=100 nb_sec=377
case_no=82 label=Case6.70 nb_sol=0 ticks=56892 tps=100 nb_sec=568
case_no=82 label=Case6.70 nb_sol=0 ticks=62132 tps=100 nb_sec=621
case_no=82 label=Case6.70 nb_sol=0 ticks=47831 tps=100 nb_sec=478
case_no=82 label=Case6.70 nb_sol=0 ticks=41465 tps=100 nb_sec=414
case_no=82 label=Case6.70 nb_sol=0 ticks=47441 tps=100 nb_sec=474
case_no=82 label=Case6.70 nb_sol=0 ticks=60869 tps=100 nb_sec=608
case_no=82 label=Case6.70 nb_sol=0 ticks=56169 tps=100 nb_sec=561
case_no=82 label=Case6.70 nb_sol=0 ticks=38146 tps=100 nb_sec=381
case_no=82 label=Case6.70 nb_sol=0 ticks=65738 tps=100 nb_sec=657
case_no=82 label=Case6.70 nb_sol=0 ticks=60675 tps=100 nb_sec=606
case_no=82 label=Case6.70 nb_sol=0 ticks=41993 tps=100 nb_sec=419
case_no=82 label=Case6.70 nb_sol=0 ticks=41728 tps=100 nb_sec=417
case_no=82 label=Case6.70 nb_sol=0 ticks=57176 tps=100 nb_sec=571
case_no=82 label=Case6.70 nb_sol=0 ticks=66005 tps=100 nb_sec=660
case_no=82 label=Case6.70 nb_sol=0 ticks=43067 tps=100 nb_sec=430
case_no=82 label=Case6.70 nb_sol=0 ticks=40848 tps=100 nb_sec=408
case_no=82 label=Case6.70 nb_sol=0 ticks=65731 tps=100 nb_sec=657
case_no=82 label=Case6.70 nb_sol=0 ticks=62762 tps=100 nb_sec=627
case_no=82 label=Case6.70 nb_sol=0 ticks=45445 tps=100 nb_sec=454
case_no=82 label=Case6.70 nb_sol=0 ticks=35207 tps=100 nb_sec=352
case_no=82 label=Case6.70 nb_sol=0 ticks=37575 tps=100 nb_sec=375
case_no=82 label=Case6.70 nb_sol=0 ticks=63069 tps=100 nb_sec=630
case_no=82 label=Case6.70 nb_sol=0 ticks=44817 tps=100 nb_sec=448
case_no=82 label=Case6.70 nb_sol=0 ticks=30593 tps=100 nb_sec=305
case_no=82 label=Case6.70 nb_sol=0 ticks=48282 tps=100 nb_sec=482
case_no=82 label=Case6.70 nb_sol=0 ticks=57479 tps=100 nb_sec=574
case_no=82 label=Case6.70 nb_sol=0 ticks=33002 tps=100 nb_sec=330
case_no=82 label=Case6.70 nb_sol=0 ticks=59280 tps=100 nb_sec=592
case_no=82 label=Case6.70 nb_sol=0 ticks=43990 tps=100 nb_sec=439
case_no=82 label=Case6.70 nb_sol=0 ticks=60821 tps=100 nb_sec=608
case_no=82 label=Case6.70 nb_sol=0 ticks=46748 tps=100 nb_sec=467
case_no=82 label=Case6.70 nb_sol=0 ticks=43620 tps=100 nb_sec=436
case_no=82 label=Case6.70 nb_sol=0 ticks=38233 tps=100 nb_sec=382
case_no=82 label=Case6.70 nb_sol=0 ticks=67666 tps=100 nb_sec=676
case_no=82 label=Case6.70 nb_sol=0 ticks=59932 tps=100 nb_sec=599
case_no=82 label=Case6.70 nb_sol=0 ticks=56781 tps=100 nb_sec=567
case_no=82 label=Case6.70 nb_sol=0 ticks=41746 tps=100 nb_sec=417
case_no=82 label=Case6.70 nb_sol=0 ticks=28447 tps=100 nb_sec=284
case_no=82 label=Case6.70 nb_sol=0 ticks=29602 tps=100 nb_sec=296
case_no=82 label=Case6.70 nb_sol=0 ticks=41051 tps=100 nb_sec=410
case_no=82 label=Case6.70 nb_sol=0 ticks=31096 tps=100 nb_sec=310
case_no=82 label=Case6.70 nb_sol=0 ticks=39791 tps=100 nb_sec=397
case_no=82 label=Case6.70 nb_sol=0 ticks=65345 tps=100 nb_sec=653
case_no=82 label=Case6.70 nb_sol=0 ticks=69882 tps=100 nb_sec=698
case_no=82 label=Case6.70 nb_sol=0 ticks=49107 tps=100 nb_sec=491
case_no=82 label=Case6.70 nb_sol=0 ticks=59449 tps=100 nb_sec=594
case_no=82 label=Case6.70 nb_sol=0 ticks=25123 tps=100 nb_sec=251
case_no=82 label=Case6.70 nb_sol=0 ticks=44336 tps=100 nb_sec=443
case_no=82 label=Case6.70 nb_sol=0 ticks=62781 tps=100 nb_sec=627
case_no=82 label=Case6.70 nb_sol=0 ticks=57107 tps=100 nb_sec=571
case_no=82 label=Case6.70 nb_sol=0 ticks=42840 tps=100 nb_sec=428
case_no=82 label=Case6.70 nb_sol=0 ticks=67662 tps=100 nb_sec=676
case_no=82 label=Case6.70 nb_sol=0 ticks=68281 tps=100 nb_sec=682
case_no=82 label=Case6.70 nb_sol=0 ticks=41407 tps=100 nb_sec=414
case_no=82 label=Case6.70 nb_sol=0 ticks=41492 tps=100 nb_sec=414
case_no=82 label=Case6.70 nb_sol=0 ticks=29137 tps=100 nb_sec=291
case_no=82 label=Case6.70 nb_sol=0 ticks=42665 tps=100 nb_sec=426
case_no=82 label=Case6.70 nb_sol=0 ticks=51521 tps=100 nb_sec=515
case_no=82 label=Case6.70 nb_sol=0 ticks=64271 tps=100 nb_sec=642
case_no=82 label=Case6.70 nb_sol=0 ticks=55387 tps=100 nb_sec=553
case_no=82 label=Case6.70 nb_sol=0 ticks=68128 tps=100 nb_sec=681
case_no=82 label=Case6.70 nb_sol=0 ticks=55687 tps=100 nb_sec=556
case_no=82 label=Case6.70 nb_sol=0 ticks=64387 tps=100 nb_sec=643
case_no=82 label=Case6.70 nb_sol=0 ticks=41840 tps=100 nb_sec=418
case_no=82 label=Case6.70 nb_sol=0 ticks=59513 tps=100 nb_sec=595
case_no=82 label=Case6.70 nb_sol=0 ticks=61423 tps=100 nb_sec=614
case_no=82 label=Case6.70 nb_sol=0 ticks=45542 tps=100 nb_sec=455
case_no=82 label=Case6.70 nb_sol=0 ticks=65816 tps=100 nb_sec=658
case_no=82 label=Case6.70 nb_sol=0 ticks=42015 tps=100 nb_sec=420
case_no=82 label=Case6.70 nb_sol=0 ticks=39418 tps=100 nb_sec=394
case_no=82 label=Case6.70 nb_sol=0 ticks=42144 tps=100 nb_sec=421
case_no=82 label=Case6.70 nb_sol=0 ticks=63910 tps=100 nb_sec=639
case_no=82 label=Case6.70 nb_sol=0 ticks=42177 tps=100 nb_sec=421
case_no=82 label=Case6.70 nb_sol=0 ticks=41996 tps=100 nb_sec=419
case_no=82 label=Case6.70 nb_sol=0 ticks=44847 tps=100 nb_sec=448
case_no=82 label=Case6.70 nb_sol=0 ticks=30119 tps=100 nb_sec=301
case_no=82 label=Case6.70 nb_sol=0 ticks=44439 tps=100 nb_sec=444
case_no=82 label=Case6.70 nb_sol=0 ticks=40273 tps=100 nb_sec=402
case_no=82 label=Case6.70 nb_sol=0 ticks=40444 tps=100 nb_sec=404
case_no=82 label=Case6.70 nb_sol=0 ticks=42328 tps=100 nb_sec=423
case_no=82 label=Case6.70 nb_sol=0 ticks=57190 tps=100 nb_sec=571
case_no=82 label=Case6.70 nb_sol=0 ticks=38997 tps=100 nb_sec=389
case_no=82 label=Case6.70 nb_sol=0 ticks=41225 tps=100 nb_sec=412
case_no=82 label=Case6.70 nb_sol=0 ticks=61013 tps=100 nb_sec=610
case_no=82 label=Case6.70 nb_sol=0 ticks=39781 tps=100 nb_sec=397
case_no=82 label=Case6.70 nb_sol=0 ticks=45565 tps=100 nb_sec=455
case_no=82 label=Case6.70 nb_sol=0 ticks=60721 tps=100 nb_sec=607
case_no=82 label=Case6.70 nb_sol=0 ticks=26058 tps=100 nb_sec=260
case_no=82 label=Case6.70 nb_sol=0 ticks=32180 tps=100 nb_sec=321
case_no=82 label=Case6.70 nb_sol=0 ticks=59283 tps=100 nb_sec=592
case_no=82 label=Case6.70 nb_sol=0 ticks=40660 tps=100 nb_sec=406
case_no=82 label=Case6.70 nb_sol=0 ticks=43873 tps=100 nb_sec=438
case_no=82 label=Case6.70 nb_sol=0 ticks=41758 tps=100 nb_sec=417
case_no=82 label=Case6.70 nb_sol=0 ticks=66404 tps=100 nb_sec=664
case_no=82 label=Case6.70 nb_sol=0 ticks=49300 tps=100 nb_sec=493
case_no=82 label=Case6.70 nb_sol=0 ticks=31351 tps=100 nb_sec=313
case_no=82 label=Case6.70 nb_sol=0 ticks=28326 tps=100 nb_sec=283
case_no=82 label=Case6.70 nb_sol=0 ticks=55090 tps=100 nb_sec=550
case_no=82 label=Case6.70 nb_sol=0 ticks=46372 tps=100 nb_sec=463
case_no=82 label=Case6.70 nb_sol=0 ticks=43457 tps=100 nb_sec=434
case_no=82 label=Case6.70 nb_sol=0 ticks=40656 tps=100 nb_sec=406
case_no=82 label=Case6.70 nb_sol=0 ticks=57914 tps=100 nb_sec=579
case_no=82 label=Case6.70 nb_sol=0 ticks=62397 tps=100 nb_sec=623
case_no=82 label=Case6.70 nb_sol=0 ticks=46472 tps=100 nb_sec=464
case_no=82 label=Case6.70 nb_sol=0 ticks=62193 tps=100 nb_sec=621
case_no=82 label=Case6.70 nb_sol=0 ticks=60658 tps=100 nb_sec=606
case_no=82 label=Case6.70 nb_sol=0 ticks=65973 tps=100 nb_sec=659
case_no=82 label=Case6.70 nb_sol=0 ticks=42790 tps=100 nb_sec=427
case_no=82 label=Case6.70 nb_sol=0 ticks=47584 tps=100 nb_sec=475
case_no=82 label=Case6.70 nb_sol=0 ticks=65797 tps=100 nb_sec=657
case_no=82 label=Case6.70 nb_sol=0 ticks=65350 tps=100 nb_sec=653
case_no=82 label=Case6.70 nb_sol=0 ticks=43552 tps=100 nb_sec=435
case_no=82 label=Case6.70 nb_sol=0 ticks=66915 tps=100 nb_sec=669
case_no=82 label=Case6.70 nb_sol=0 ticks=48109 tps=100 nb_sec=481
case_no=82 label=Case6.70 nb_sol=0 ticks=43739 tps=100 nb_sec=437
case_no=82 label=Case6.70 nb_sol=0 ticks=58079 tps=100 nb_sec=580
case_no=82 label=Case6.70 nb_sol=0 ticks=58564 tps=100 nb_sec=585
case_no=82 label=Case6.70 nb_sol=0 ticks=27005 tps=100 nb_sec=270
case_no=82 label=Case6.70 nb_sol=0 ticks=41744 tps=100 nb_sec=417
case_no=82 label=Case6.70 nb_sol=0 ticks=59996 tps=100 nb_sec=599
case_no=82 label=Case6.70 nb_sol=0 ticks=27861 tps=100 nb_sec=278
case_no=82 label=Case6.70 nb_sol=0 ticks=43368 tps=100 nb_sec=433
case_no=82 label=Case6.70 nb_sol=0 ticks=64853 tps=100 nb_sec=648
case_no=82 label=Case6.70 nb_sol=0 ticks=60811 tps=100 nb_sec=608
case_no=82 label=Case6.70 nb_sol=0 ticks=34495 tps=100 nb_sec=344
case_no=82 label=Case6.70 nb_sol=0 ticks=58628 tps=100 nb_sec=586
case_no=82 label=Case6.70 nb_sol=0 ticks=58342 tps=100 nb_sec=583
case_no=82 label=Case6.70 nb_sol=0 ticks=55535 tps=100 nb_sec=555
case_no=82 label=Case6.70 nb_sol=0 ticks=45599 tps=100 nb_sec=455
case_no=82 label=Case6.70 nb_sol=0 ticks=28601 tps=100 nb_sec=286
case_no=82 label=Case6.70 nb_sol=0 ticks=41477 tps=100 nb_sec=414
case_no=82 label=Case6.70 nb_sol=0 ticks=58323 tps=100 nb_sec=583
case_no=82 label=Case6.70 nb_sol=0 ticks=60435 tps=100 nb_sec=604
case_no=82 label=Case6.70 nb_sol=0 ticks=39996 tps=100 nb_sec=399
case_no=82 label=Case6.70 nb_sol=0 ticks=45325 tps=100 nb_sec=453
case_no=82 label=Case6.70 nb_sol=0 ticks=59448 tps=100 nb_sec=594
case_no=82 label=Case6.70 nb_sol=0 ticks=54802 tps=100 nb_sec=548
case_no=82 label=Case6.70 nb_sol=0 ticks=43752 tps=100 nb_sec=437
case_no=82 label=Case6.70 nb_sol=0 ticks=60948 tps=100 nb_sec=609
case_no=82 label=Case6.70 nb_sol=0 ticks=50794 tps=100 nb_sec=507
case_no=82 label=Case6.70 nb_sol=0 ticks=56190 tps=100 nb_sec=561
case_no=82 label=Case6.70 nb_sol=0 ticks=42204 tps=100 nb_sec=422
case_no=82 label=Case6.70 nb_sol=0 ticks=60694 tps=100 nb_sec=606
case_no=82 label=Case6.70 nb_sol=0 ticks=46623 tps=100 nb_sec=466
case_no=82 label=Case6.70 nb_sol=0 ticks=46583 tps=100 nb_sec=465
case_no=82 label=Case6.70 nb_sol=0 ticks=43317 tps=100 nb_sec=433
case_no=82 label=Case6.70 nb_sol=0 ticks=45877 tps=100 nb_sec=458
case_no=82 label=Case6.70 nb_sol=0 ticks=40940 tps=100 nb_sec=409
case_no=82 label=Case6.70 nb_sol=0 ticks=43780 tps=100 nb_sec=437
case_no=82 label=Case6.70 nb_sol=0 ticks=63078 tps=100 nb_sec=630
case_no=82 label=Case6.70 nb_sol=0 ticks=58688 tps=100 nb_sec=586
case_no=82 label=Case6.70 nb_sol=0 ticks=33794 tps=100 nb_sec=337
case_no=82 label=Case6.70 nb_sol=0 ticks=38236 tps=100 nb_sec=382
case_no=82 label=Case6.70 nb_sol=0 ticks=57037 tps=100 nb_sec=570
case_no=82 label=Case6.70 nb_sol=0 ticks=62671 tps=100 nb_sec=626
case_no=82 label=Case6.70 nb_sol=0 ticks=24900 tps=100 nb_sec=249
case_no=82 label=Case6.70 nb_sol=0 ticks=42176 tps=100 nb_sec=421
case_no=82 label=Case6.70 nb_sol=0 ticks=63562 tps=100 nb_sec=635
case_no=82 label=Case6.70 nb_sol=0 ticks=47192 tps=100 nb_sec=471
case_no=82 label=Case6.70 nb_sol=0 ticks=41923 tps=100 nb_sec=419
case_no=82 label=Case6.70 nb_sol=0 ticks=39340 tps=100 nb_sec=393
case_no=82 label=Case6.70 nb_sol=0 ticks=61756 tps=100 nb_sec=617
case_no=82 label=Case6.70 nb_sol=0 ticks=60212 tps=100 nb_sec=602
case_no=82 label=Case6.70 nb_sol=0 ticks=56017 tps=100 nb_sec=560
case_no=82 label=Case6.70 nb_sol=0 ticks=53180 tps=100 nb_sec=531
case_no=82 label=Case6.70 nb_sol=0 ticks=56297 tps=100 nb_sec=562
case_no=82 label=Case6.70 nb_sol=0 ticks=66328 tps=100 nb_sec=663
case_no=82 label=Case6.70 nb_sol=0 ticks=60430 tps=100 nb_sec=604
case_no=82 label=Case6.70 nb_sol=0 ticks=37012 tps=100 nb_sec=370
case_no=82 label=Case6.70 nb_sol=0 ticks=35970 tps=100 nb_sec=359
case_no=82 label=Case6.70 nb_sol=0 ticks=31839 tps=100 nb_sec=318
case_no=82 label=Case6.70 nb_sol=0 ticks=40574 tps=100 nb_sec=405
case_no=82 label=Case6.70 nb_sol=0 ticks=37265 tps=100 nb_sec=372
case_no=82 label=Case6.70 nb_sol=0 ticks=37934 tps=100 nb_sec=379
case_no=82 label=Case6.70 nb_sol=0 ticks=37835 tps=100 nb_sec=378
case_no=82 label=Case6.70 nb_sol=0 ticks=36783 tps=100 nb_sec=367
case_no=82 label=Case6.70 nb_sol=0 ticks=25898 tps=100 nb_sec=258
case_no=82 label=Case6.70 nb_sol=0 ticks=25864 tps=100 nb_sec=258
case_no=82 label=Case6.70 nb_sol=0 ticks=29139 tps=100 nb_sec=291
case_no=82 label=Case6.70 nb_sol=0 ticks=40770 tps=100 nb_sec=407
case_no=82 label=Case6.70 nb_sol=0 ticks=38000 tps=100 nb_sec=380
case_no=82 label=Case6.70 nb_sol=0 ticks=38981 tps=100 nb_sec=389
case_no=82 label=Case6.70 nb_sol=0 ticks=42266 tps=100 nb_sec=422
case_no=82 label=Case6.70 nb_sol=0 ticks=33412 tps=100 nb_sec=334
case_no=82 label=Case6.70 nb_sol=0 ticks=24162 tps=100 nb_sec=241
case_no=82 label=Case6.70 nb_sol=0 ticks=36715 tps=100 nb_sec=367
case_no=82 label=Case6.70 nb_sol=0 ticks=39348 tps=100 nb_sec=393
case_no=82 label=Case6.70 nb_sol=0 ticks=40015 tps=100 nb_sec=400
case_no=82 label=Case6.70 nb_sol=0 ticks=34387 tps=100 nb_sec=343
case_no=82 label=Case6.70 nb_sol=0 ticks=53881 tps=100 nb_sec=538
case_no=82 label=Case6.70 nb_sol=0 ticks=25610 tps=100 nb_sec=256
case_no=82 label=Case6.70 nb_sol=0 ticks=29850 tps=100 nb_sec=298
case_no=82 label=Case6.70 nb_sol=0 ticks=26687 tps=100 nb_sec=266
case_no=82 label=Case6.70 nb_sol=0 ticks=41158 tps=100 nb_sec=411
case_no=82 label=Case6.70 nb_sol=0 ticks=39692 tps=100 nb_sec=396
case_no=82 label=Case6.70 nb_sol=0 ticks=34237 tps=100 nb_sec=342
case_no=82 label=Case6.70 nb_sol=0 ticks=57286 tps=100 nb_sec=572
case_no=82 label=Case6.70 nb_sol=0 ticks=48454 tps=100 nb_sec=484
case_no=82 label=Case6.70 nb_sol=0 ticks=37760 tps=100 nb_sec=377
case_no=82 label=Case6.70 nb_sol=0 ticks=61925 tps=100 nb_sec=619
case_no=82 label=Case6.70 nb_sol=0 ticks=33658 tps=100 nb_sec=336
case_no=82 label=Case6.70 nb_sol=0 ticks=47449 tps=100 nb_sec=474
case_no=82 label=Case6.70 nb_sol=0 ticks=39143 tps=100 nb_sec=391
case_no=82 label=Case6.70 nb_sol=0 ticks=64849 tps=100 nb_sec=648
case_no=82 label=Case6.70 nb_sol=0 ticks=45171 tps=100 nb_sec=451
case_no=82 label=Case6.70 nb_sol=0 ticks=36931 tps=100 nb_sec=369
case_no=82 label=Case6.70 nb_sol=0 ticks=33235 tps=100 nb_sec=332
case_no=82 label=Case6.70 nb_sol=0 ticks=42349 tps=100 nb_sec=423
case_no=82 label=Case6.70 nb_sol=0 ticks=38579 tps=100 nb_sec=385
case_no=82 label=Case6.70 nb_sol=0 ticks=44603 tps=100 nb_sec=446
case_no=82 label=Case6.70 nb_sol=0 ticks=55669 tps=100 nb_sec=556
case_no=82 label=Case6.70 nb_sol=0 ticks=25105 tps=100 nb_sec=251
case_no=82 label=Case6.70 nb_sol=0 ticks=37766 tps=100 nb_sec=377
case_no=82 label=Case6.70 nb_sol=0 ticks=24909 tps=100 nb_sec=249
case_no=82 label=Case6.70 nb_sol=0 ticks=37100 tps=100 nb_sec=371
case_no=82 label=Case6.70 nb_sol=0 ticks=38857 tps=100 nb_sec=388
case_no=82 label=Case6.70 nb_sol=0 ticks=33960 tps=100 nb_sec=339
case_no=82 label=Case6.70 nb_sol=0 ticks=33853 tps=100 nb_sec=338
case_no=82 label=Case6.70 nb_sol=0 ticks=26137 tps=100 nb_sec=261
case_no=82 label=Case6.70 nb_sol=0 ticks=37543 tps=100 nb_sec=375
case_no=82 label=Case6.70 nb_sol=0 ticks=37465 tps=100 nb_sec=374
case_no=82 label=Case6.70 nb_sol=0 ticks=35334 tps=100 nb_sec=353
case_no=82 label=Case6.70 nb_sol=0 ticks=33385 tps=100 nb_sec=333
case_no=82 label=Case6.70 nb_sol=0 ticks=39448 tps=100 nb_sec=394
case_no=82 label=Case6.70 nb_sol=0 ticks=56782 tps=100 nb_sec=567
case_no=82 label=Case6.70 nb_sol=0 ticks=25095 tps=100 nb_sec=250
case_no=82 label=Case6.70 nb_sol=0 ticks=47384 tps=100 nb_sec=473
case_no=82 label=Case6.70 nb_sol=0 ticks=41349 tps=100 nb_sec=413
case_no=82 label=Case6.70 nb_sol=0 ticks=40145 tps=100 nb_sec=401
case_no=82 label=Case6.70 nb_sol=0 ticks=42841 tps=100 nb_sec=428
case_no=82 label=Case6.70 nb_sol=0 ticks=38722 tps=100 nb_sec=387
case_no=82 label=Case6.70 nb_sol=0 ticks=39528 tps=100 nb_sec=395
case_no=82 label=Case6.70 nb_sol=0 ticks=60040 tps=100 nb_sec=600
case_no=82 label=Case6.70 nb_sol=0 ticks=39124 tps=100 nb_sec=391
case_no=82 label=Case6.70 nb_sol=0 ticks=39158 tps=100 nb_sec=391
case_no=82 label=Case6.70 nb_sol=0 ticks=40772 tps=100 nb_sec=407
case_no=82 label=Case6.70 nb_sol=0 ticks=57955 tps=100 nb_sec=579
case_no=82 label=Case6.70 nb_sol=0 ticks=43346 tps=100 nb_sec=433
case_no=82 label=Case6.70 nb_sol=0 ticks=36932 tps=100 nb_sec=369
case_no=82 label=Case6.70 nb_sol=0 ticks=41159 tps=100 nb_sec=411
case_no=82 label=Case6.70 nb_sol=0 ticks=54917 tps=100 nb_sec=549
case_no=82 label=Case6.70 nb_sol=0 ticks=37013 tps=100 nb_sec=370
case_no=82 label=Case6.70 nb_sol=0 ticks=38896 tps=100 nb_sec=388
case_no=82 label=Case6.70 nb_sol=0 ticks=54799 tps=100 nb_sec=547
case_no=82 label=Case6.70 nb_sol=0 ticks=35868 tps=100 nb_sec=358
case_no=82 label=Case6.70 nb_sol=0 ticks=37370 tps=100 nb_sec=373
case_no=82 label=Case6.70 nb_sol=0 ticks=56426 tps=100 nb_sec=564
case_no=82 label=Case6.70 nb_sol=0 ticks=52914 tps=100 nb_sec=529
case_no=82 label=Case6.70 nb_sol=0 ticks=36804 tps=100 nb_sec=368
case_no=82 label=Case6.70 nb_sol=0 ticks=37073 tps=100 nb_sec=370
case_no=82 label=Case6.70 nb_sol=0 ticks=40540 tps=100 nb_sec=405
case_no=82 label=Case6.70 nb_sol=0 ticks=43602 tps=100 nb_sec=436
case_no=82 label=Case6.70 nb_sol=0 ticks=37226 tps=100 nb_sec=372
case_no=82 label=Case6.70 nb_sol=0 ticks=38642 tps=100 nb_sec=386
case_no=82 label=Case6.70 nb_sol=0 ticks=39291 tps=100 nb_sec=392
case_no=82 label=Case6.70 nb_sol=0 ticks=40494 tps=100 nb_sec=404
case_no=82 label=Case6.70 nb_sol=0 ticks=55724 tps=100 nb_sec=557
case_no=82 label=Case6.70 nb_sol=0 ticks=28970 tps=100 nb_sec=289
case_no=82 label=Case6.70 nb_sol=0 ticks=39238 tps=100 nb_sec=392
case_no=82 label=Case6.70 nb_sol=0 ticks=42792 tps=100 nb_sec=427
case_no=82 label=Case6.70 nb_sol=0 ticks=45360 tps=100 nb_sec=453
case_no=82 label=Case6.70 nb_sol=0 ticks=36334 tps=100 nb_sec=363
case_no=82 label=Case6.70 nb_sol=0 ticks=61330 tps=100 nb_sec=613
case_no=82 label=Case6.70 nb_sol=0 ticks=56044 tps=100 nb_sec=560
case_no=82 label=Case6.70 nb_sol=0 ticks=74378 tps=100 nb_sec=743
case_no=82 label=Case6.70 nb_sol=0 ticks=47474 tps=100 nb_sec=474
case_no=82 label=Case6.70 nb_sol=0 ticks=66668 tps=100 nb_sec=666
case_no=82 label=Case6.70 nb_sol=0 ticks=67582 tps=100 nb_sec=675
case_no=82 label=Case6.70 nb_sol=0 ticks=58821 tps=100 nb_sec=588
case_no=82 label=Case6.70 nb_sol=0 ticks=40839 tps=100 nb_sec=408
case_no=82 label=Case6.70 nb_sol=0 ticks=55050 tps=100 nb_sec=550
case_no=82 label=Case6.70 nb_sol=0 ticks=61801 tps=100 nb_sec=618
case_no=82 label=Case6.70 nb_sol=0 ticks=56986 tps=100 nb_sec=569
case_no=82 label=Case6.70 nb_sol=0 ticks=60236 tps=100 nb_sec=602
case_no=82 label=Case6.70 nb_sol=0 ticks=55042 tps=100 nb_sec=550
case_no=82 label=Case6.70 nb_sol=0 ticks=52371 tps=100 nb_sec=523
case_no=82 label=Case6.70 nb_sol=0 ticks=58600 tps=100 nb_sec=586
case_no=82 label=Case6.70 nb_sol=0 ticks=40226 tps=100 nb_sec=402
case_no=82 label=Case6.70 nb_sol=0 ticks=40280 tps=100 nb_sec=402
case_no=82 label=Case6.70 nb_sol=0 ticks=38812 tps=100 nb_sec=388
case_no=82 label=Case6.70 nb_sol=0 ticks=54270 tps=100 nb_sec=542
case_no=82 label=Case6.70 nb_sol=0 ticks=33705 tps=100 nb_sec=337
case_no=82 label=Case6.70 nb_sol=0 ticks=45154 tps=100 nb_sec=451
case_no=82 label=Case6.70 nb_sol=0 ticks=59170 tps=100 nb_sec=591
case_no=82 label=Case6.70 nb_sol=0 ticks=36777 tps=100 nb_sec=367
case_no=82 label=Case6.70 nb_sol=0 ticks=44231 tps=100 nb_sec=442
case_no=82 label=Case6.70 nb_sol=0 ticks=35939 tps=100 nb_sec=359
case_no=82 label=Case6.70 nb_sol=0 ticks=57264 tps=100 nb_sec=572
case_no=82 label=Case6.70 nb_sol=0 ticks=39066 tps=100 nb_sec=390
case_no=82 label=Case6.70 nb_sol=0 ticks=44240 tps=100 nb_sec=442
case_no=82 label=Case6.70 nb_sol=0 ticks=41229 tps=100 nb_sec=412
case_no=82 label=Case6.70 nb_sol=0 ticks=35528 tps=100 nb_sec=355
case_no=82 label=Case6.70 nb_sol=0 ticks=70323 tps=100 nb_sec=703
case_no=82 label=Case6.70 nb_sol=0 ticks=45709 tps=100 nb_sec=457
case_no=82 label=Case6.70 nb_sol=0 ticks=42290 tps=100 nb_sec=422
case_no=82 label=Case6.70 nb_sol=0 ticks=59823 tps=100 nb_sec=598
case_no=82 label=Case6.70 nb_sol=0 ticks=39960 tps=100 nb_sec=399
case_no=82 label=Case6.70 nb_sol=0 ticks=36991 tps=100 nb_sec=369
case_no=82 label=Case6.70 nb_sol=0 ticks=64320 tps=100 nb_sec=643
case_no=82 label=Case6.70 nb_sol=0 ticks=50745 tps=100 nb_sec=507
case_no=82 label=Case6.70 nb_sol=0 ticks=24386 tps=100 nb_sec=243
case_no=82 label=Case6.70 nb_sol=0 ticks=61980 tps=100 nb_sec=619
case_no=82 label=Case6.70 nb_sol=0 ticks=32019 tps=100 nb_sec=320
case_no=82 label=Case6.70 nb_sol=0 ticks=43298 tps=100 nb_sec=432
case_no=82 label=Case6.70 nb_sol=0 ticks=42254 tps=100 nb_sec=422
case_no=82 label=Case6.70 nb_sol=0 ticks=55680 tps=100 nb_sec=556
case_no=82 label=Case6.70 nb_sol=0 ticks=60994 tps=100 nb_sec=609
case_no=82 label=Case6.70 nb_sol=0 ticks=38408 tps=100 nb_sec=384
case_no=82 label=Case6.70 nb_sol=0 ticks=41596 tps=100 nb_sec=415
case_no=82 label=Case6.70 nb_sol=0 ticks=26791 tps=100 nb_sec=267
case_no=82 label=Case6.70 nb_sol=0 ticks=43046 tps=100 nb_sec=430
case_no=82 label=Case6.70 nb_sol=0 ticks=75877 tps=100 nb_sec=758
case_no=82 label=Case6.70 nb_sol=0 ticks=57389 tps=100 nb_sec=573
case_no=82 label=Case6.70 nb_sol=0 ticks=63750 tps=100 nb_sec=637
case_no=82 label=Case6.70 nb_sol=0 ticks=45171 tps=100 nb_sec=451
Nb_sol=0
Nb_sec=239204
2-18:26:44 or 66 hours
missing cases:
none