argc=5
-M 512
file2=30_select_Case6.69_starter_16_
checking files mod 512 from 0 to 511
case_no=81 label=Case6.69 nb_sol=0 ticks=81113 tps=100 nb_sec=811
case_no=81 label=Case6.69 nb_sol=0 ticks=56517 tps=100 nb_sec=565
case_no=81 label=Case6.69 nb_sol=0 ticks=51121 tps=100 nb_sec=511
case_no=81 label=Case6.69 nb_sol=0 ticks=57925 tps=100 nb_sec=579
case_no=81 label=Case6.69 nb_sol=0 ticks=79559 tps=100 nb_sec=795
case_no=81 label=Case6.69 nb_sol=0 ticks=58455 tps=100 nb_sec=584
case_no=81 label=Case6.69 nb_sol=0 ticks=69020 tps=100 nb_sec=690
case_no=81 label=Case6.69 nb_sol=0 ticks=58838 tps=100 nb_sec=588
case_no=81 label=Case6.69 nb_sol=0 ticks=44026 tps=100 nb_sec=440
case_no=81 label=Case6.69 nb_sol=0 ticks=49996 tps=100 nb_sec=499
case_no=81 label=Case6.69 nb_sol=0 ticks=60006 tps=100 nb_sec=600
case_no=81 label=Case6.69 nb_sol=0 ticks=111698 tps=100 nb_sec=1116
case_no=81 label=Case6.69 nb_sol=0 ticks=57637 tps=100 nb_sec=576
case_no=81 label=Case6.69 nb_sol=0 ticks=53907 tps=100 nb_sec=539
case_no=81 label=Case6.69 nb_sol=0 ticks=50972 tps=100 nb_sec=509
case_no=81 label=Case6.69 nb_sol=0 ticks=45314 tps=100 nb_sec=453
case_no=81 label=Case6.69 nb_sol=0 ticks=44093 tps=100 nb_sec=440
case_no=81 label=Case6.69 nb_sol=0 ticks=36987 tps=100 nb_sec=369
case_no=81 label=Case6.69 nb_sol=0 ticks=67046 tps=100 nb_sec=670
case_no=81 label=Case6.69 nb_sol=0 ticks=48113 tps=100 nb_sec=481
case_no=81 label=Case6.69 nb_sol=0 ticks=60585 tps=100 nb_sec=605
case_no=81 label=Case6.69 nb_sol=0 ticks=61819 tps=100 nb_sec=618
case_no=81 label=Case6.69 nb_sol=0 ticks=69294 tps=100 nb_sec=692
case_no=81 label=Case6.69 nb_sol=0 ticks=60321 tps=100 nb_sec=603
case_no=81 label=Case6.69 nb_sol=0 ticks=59540 tps=100 nb_sec=595
case_no=81 label=Case6.69 nb_sol=0 ticks=58361 tps=100 nb_sec=583
case_no=81 label=Case6.69 nb_sol=0 ticks=63650 tps=100 nb_sec=636
case_no=81 label=Case6.69 nb_sol=0 ticks=92123 tps=100 nb_sec=921
case_no=81 label=Case6.69 nb_sol=0 ticks=51322 tps=100 nb_sec=513
case_no=81 label=Case6.69 nb_sol=0 ticks=62926 tps=100 nb_sec=629
case_no=81 label=Case6.69 nb_sol=0 ticks=62212 tps=100 nb_sec=622
case_no=81 label=Case6.69 nb_sol=0 ticks=55532 tps=100 nb_sec=555
case_no=81 label=Case6.69 nb_sol=0 ticks=65946 tps=100 nb_sec=659
case_no=81 label=Case6.69 nb_sol=0 ticks=66352 tps=100 nb_sec=663
case_no=81 label=Case6.69 nb_sol=0 ticks=54571 tps=100 nb_sec=545
case_no=81 label=Case6.69 nb_sol=0 ticks=65718 tps=100 nb_sec=657
case_no=81 label=Case6.69 nb_sol=0 ticks=66620 tps=100 nb_sec=666
case_no=81 label=Case6.69 nb_sol=0 ticks=56618 tps=100 nb_sec=566
case_no=81 label=Case6.69 nb_sol=0 ticks=67443 tps=100 nb_sec=674
case_no=81 label=Case6.69 nb_sol=0 ticks=63418 tps=100 nb_sec=634
case_no=81 label=Case6.69 nb_sol=0 ticks=70444 tps=100 nb_sec=704
case_no=81 label=Case6.69 nb_sol=0 ticks=65828 tps=100 nb_sec=658
case_no=81 label=Case6.69 nb_sol=0 ticks=87382 tps=100 nb_sec=873
case_no=81 label=Case6.69 nb_sol=0 ticks=43918 tps=100 nb_sec=439
case_no=81 label=Case6.69 nb_sol=0 ticks=65293 tps=100 nb_sec=652
case_no=81 label=Case6.69 nb_sol=0 ticks=49304 tps=100 nb_sec=493
case_no=81 label=Case6.69 nb_sol=0 ticks=70797 tps=100 nb_sec=707
case_no=81 label=Case6.69 nb_sol=0 ticks=49641 tps=100 nb_sec=496
case_no=81 label=Case6.69 nb_sol=0 ticks=71287 tps=100 nb_sec=712
case_no=81 label=Case6.69 nb_sol=0 ticks=73440 tps=100 nb_sec=734
case_no=81 label=Case6.69 nb_sol=0 ticks=85499 tps=100 nb_sec=854
case_no=81 label=Case6.69 nb_sol=0 ticks=40025 tps=100 nb_sec=400
case_no=81 label=Case6.69 nb_sol=0 ticks=105857 tps=100 nb_sec=1058
case_no=81 label=Case6.69 nb_sol=0 ticks=82232 tps=100 nb_sec=822
case_no=81 label=Case6.69 nb_sol=0 ticks=84799 tps=100 nb_sec=847
case_no=81 label=Case6.69 nb_sol=0 ticks=45469 tps=100 nb_sec=454
case_no=81 label=Case6.69 nb_sol=0 ticks=63507 tps=100 nb_sec=635
case_no=81 label=Case6.69 nb_sol=0 ticks=36602 tps=100 nb_sec=366
case_no=81 label=Case6.69 nb_sol=0 ticks=53430 tps=100 nb_sec=534
case_no=81 label=Case6.69 nb_sol=0 ticks=59459 tps=100 nb_sec=594
case_no=81 label=Case6.69 nb_sol=0 ticks=80095 tps=100 nb_sec=800
case_no=81 label=Case6.69 nb_sol=0 ticks=56181 tps=100 nb_sec=561
case_no=81 label=Case6.69 nb_sol=0 ticks=36999 tps=100 nb_sec=369
case_no=81 label=Case6.69 nb_sol=0 ticks=54894 tps=100 nb_sec=548
case_no=81 label=Case6.69 nb_sol=0 ticks=36981 tps=100 nb_sec=369
case_no=81 label=Case6.69 nb_sol=0 ticks=65031 tps=100 nb_sec=650
case_no=81 label=Case6.69 nb_sol=0 ticks=90217 tps=100 nb_sec=902
case_no=81 label=Case6.69 nb_sol=0 ticks=82898 tps=100 nb_sec=828
case_no=81 label=Case6.69 nb_sol=0 ticks=61896 tps=100 nb_sec=618
case_no=81 label=Case6.69 nb_sol=0 ticks=29018 tps=100 nb_sec=290
case_no=81 label=Case6.69 nb_sol=0 ticks=91276 tps=100 nb_sec=912
case_no=81 label=Case6.69 nb_sol=0 ticks=37442 tps=100 nb_sec=374
case_no=81 label=Case6.69 nb_sol=0 ticks=45752 tps=100 nb_sec=457
case_no=81 label=Case6.69 nb_sol=0 ticks=37608 tps=100 nb_sec=376
case_no=81 label=Case6.69 nb_sol=0 ticks=67427 tps=100 nb_sec=674
case_no=81 label=Case6.69 nb_sol=0 ticks=67445 tps=100 nb_sec=674
case_no=81 label=Case6.69 nb_sol=0 ticks=63322 tps=100 nb_sec=633
case_no=81 label=Case6.69 nb_sol=0 ticks=32308 tps=100 nb_sec=323
case_no=81 label=Case6.69 nb_sol=0 ticks=49714 tps=100 nb_sec=497
case_no=81 label=Case6.69 nb_sol=0 ticks=56881 tps=100 nb_sec=568
case_no=81 label=Case6.69 nb_sol=0 ticks=87348 tps=100 nb_sec=873
case_no=81 label=Case6.69 nb_sol=0 ticks=53077 tps=100 nb_sec=530
case_no=81 label=Case6.69 nb_sol=0 ticks=69640 tps=100 nb_sec=696
case_no=81 label=Case6.69 nb_sol=0 ticks=34099 tps=100 nb_sec=340
case_no=81 label=Case6.69 nb_sol=0 ticks=106562 tps=100 nb_sec=1065
case_no=81 label=Case6.69 nb_sol=0 ticks=35015 tps=100 nb_sec=350
case_no=81 label=Case6.69 nb_sol=0 ticks=34388 tps=100 nb_sec=343
case_no=81 label=Case6.69 nb_sol=0 ticks=27884 tps=100 nb_sec=278
case_no=81 label=Case6.69 nb_sol=0 ticks=58610 tps=100 nb_sec=586
case_no=81 label=Case6.69 nb_sol=0 ticks=64075 tps=100 nb_sec=640
case_no=81 label=Case6.69 nb_sol=0 ticks=107223 tps=100 nb_sec=1072
case_no=81 label=Case6.69 nb_sol=0 ticks=29663 tps=100 nb_sec=296
case_no=81 label=Case6.69 nb_sol=0 ticks=33420 tps=100 nb_sec=334
case_no=81 label=Case6.69 nb_sol=0 ticks=50312 tps=100 nb_sec=503
case_no=81 label=Case6.69 nb_sol=0 ticks=62288 tps=100 nb_sec=622
case_no=81 label=Case6.69 nb_sol=0 ticks=46708 tps=100 nb_sec=467
case_no=81 label=Case6.69 nb_sol=0 ticks=48509 tps=100 nb_sec=485
case_no=81 label=Case6.69 nb_sol=0 ticks=90777 tps=100 nb_sec=907
case_no=81 label=Case6.69 nb_sol=0 ticks=73255 tps=100 nb_sec=732
case_no=81 label=Case6.69 nb_sol=0 ticks=60834 tps=100 nb_sec=608
case_no=81 label=Case6.69 nb_sol=0 ticks=62516 tps=100 nb_sec=625
case_no=81 label=Case6.69 nb_sol=0 ticks=57727 tps=100 nb_sec=577
case_no=81 label=Case6.69 nb_sol=0 ticks=49961 tps=100 nb_sec=499
case_no=81 label=Case6.69 nb_sol=0 ticks=50001 tps=100 nb_sec=500
case_no=81 label=Case6.69 nb_sol=0 ticks=72249 tps=100 nb_sec=722
case_no=81 label=Case6.69 nb_sol=0 ticks=58069 tps=100 nb_sec=580
case_no=81 label=Case6.69 nb_sol=0 ticks=45700 tps=100 nb_sec=457
case_no=81 label=Case6.69 nb_sol=0 ticks=58199 tps=100 nb_sec=581
case_no=81 label=Case6.69 nb_sol=0 ticks=67832 tps=100 nb_sec=678
case_no=81 label=Case6.69 nb_sol=0 ticks=59737 tps=100 nb_sec=597
case_no=81 label=Case6.69 nb_sol=0 ticks=56148 tps=100 nb_sec=561
case_no=81 label=Case6.69 nb_sol=0 ticks=59203 tps=100 nb_sec=592
case_no=81 label=Case6.69 nb_sol=0 ticks=68328 tps=100 nb_sec=683
case_no=81 label=Case6.69 nb_sol=0 ticks=106733 tps=100 nb_sec=1067
case_no=81 label=Case6.69 nb_sol=0 ticks=61216 tps=100 nb_sec=612
case_no=81 label=Case6.69 nb_sol=0 ticks=59548 tps=100 nb_sec=595
case_no=81 label=Case6.69 nb_sol=0 ticks=67210 tps=100 nb_sec=672
case_no=81 label=Case6.69 nb_sol=0 ticks=73033 tps=100 nb_sec=730
case_no=81 label=Case6.69 nb_sol=0 ticks=56911 tps=100 nb_sec=569
case_no=81 label=Case6.69 nb_sol=0 ticks=56482 tps=100 nb_sec=564
case_no=81 label=Case6.69 nb_sol=0 ticks=60588 tps=100 nb_sec=605
case_no=81 label=Case6.69 nb_sol=0 ticks=62531 tps=100 nb_sec=625
case_no=81 label=Case6.69 nb_sol=0 ticks=62360 tps=100 nb_sec=623
case_no=81 label=Case6.69 nb_sol=0 ticks=57557 tps=100 nb_sec=575
case_no=81 label=Case6.69 nb_sol=0 ticks=59639 tps=100 nb_sec=596
case_no=81 label=Case6.69 nb_sol=0 ticks=60676 tps=100 nb_sec=606
case_no=81 label=Case6.69 nb_sol=0 ticks=57267 tps=100 nb_sec=572
case_no=81 label=Case6.69 nb_sol=0 ticks=30576 tps=100 nb_sec=305
case_no=81 label=Case6.69 nb_sol=0 ticks=41073 tps=100 nb_sec=410
case_no=81 label=Case6.69 nb_sol=0 ticks=58966 tps=100 nb_sec=589
case_no=81 label=Case6.69 nb_sol=0 ticks=58273 tps=100 nb_sec=582
case_no=81 label=Case6.69 nb_sol=0 ticks=59321 tps=100 nb_sec=593
case_no=81 label=Case6.69 nb_sol=0 ticks=41588 tps=100 nb_sec=415
case_no=81 label=Case6.69 nb_sol=0 ticks=53829 tps=100 nb_sec=538
case_no=81 label=Case6.69 nb_sol=0 ticks=62393 tps=100 nb_sec=623
case_no=81 label=Case6.69 nb_sol=0 ticks=61631 tps=100 nb_sec=616
case_no=81 label=Case6.69 nb_sol=0 ticks=58572 tps=100 nb_sec=585
case_no=81 label=Case6.69 nb_sol=0 ticks=43599 tps=100 nb_sec=435
case_no=81 label=Case6.69 nb_sol=0 ticks=60310 tps=100 nb_sec=603
case_no=81 label=Case6.69 nb_sol=0 ticks=61212 tps=100 nb_sec=612
case_no=81 label=Case6.69 nb_sol=0 ticks=57327 tps=100 nb_sec=573
case_no=81 label=Case6.69 nb_sol=0 ticks=39407 tps=100 nb_sec=394
case_no=81 label=Case6.69 nb_sol=0 ticks=59273 tps=100 nb_sec=592
case_no=81 label=Case6.69 nb_sol=0 ticks=90419 tps=100 nb_sec=904
case_no=81 label=Case6.69 nb_sol=0 ticks=49578 tps=100 nb_sec=495
case_no=81 label=Case6.69 nb_sol=0 ticks=61096 tps=100 nb_sec=610
case_no=81 label=Case6.69 nb_sol=0 ticks=101851 tps=100 nb_sec=1018
case_no=81 label=Case6.69 nb_sol=0 ticks=52450 tps=100 nb_sec=524
case_no=81 label=Case6.69 nb_sol=0 ticks=70684 tps=100 nb_sec=706
case_no=81 label=Case6.69 nb_sol=0 ticks=118141 tps=100 nb_sec=1181
case_no=81 label=Case6.69 nb_sol=0 ticks=31070 tps=100 nb_sec=310
case_no=81 label=Case6.69 nb_sol=0 ticks=61472 tps=100 nb_sec=614
case_no=81 label=Case6.69 nb_sol=0 ticks=90575 tps=100 nb_sec=905
case_no=81 label=Case6.69 nb_sol=0 ticks=37379 tps=100 nb_sec=373
case_no=81 label=Case6.69 nb_sol=0 ticks=44802 tps=100 nb_sec=448
case_no=81 label=Case6.69 nb_sol=0 ticks=95197 tps=100 nb_sec=951
case_no=81 label=Case6.69 nb_sol=0 ticks=31172 tps=100 nb_sec=311
case_no=81 label=Case6.69 nb_sol=0 ticks=64741 tps=100 nb_sec=647
case_no=81 label=Case6.69 nb_sol=0 ticks=50549 tps=100 nb_sec=505
case_no=81 label=Case6.69 nb_sol=0 ticks=55582 tps=100 nb_sec=555
case_no=81 label=Case6.69 nb_sol=0 ticks=29819 tps=100 nb_sec=298
case_no=81 label=Case6.69 nb_sol=0 ticks=47119 tps=100 nb_sec=471
case_no=81 label=Case6.69 nb_sol=0 ticks=70916 tps=100 nb_sec=709
case_no=81 label=Case6.69 nb_sol=0 ticks=56254 tps=100 nb_sec=562
case_no=81 label=Case6.69 nb_sol=0 ticks=62458 tps=100 nb_sec=624
case_no=81 label=Case6.69 nb_sol=0 ticks=59450 tps=100 nb_sec=594
case_no=81 label=Case6.69 nb_sol=0 ticks=57349 tps=100 nb_sec=573
case_no=81 label=Case6.69 nb_sol=0 ticks=65029 tps=100 nb_sec=650
case_no=81 label=Case6.69 nb_sol=0 ticks=43719 tps=100 nb_sec=437
case_no=81 label=Case6.69 nb_sol=0 ticks=28314 tps=100 nb_sec=283
case_no=81 label=Case6.69 nb_sol=0 ticks=50461 tps=100 nb_sec=504
case_no=81 label=Case6.69 nb_sol=0 ticks=67671 tps=100 nb_sec=676
case_no=81 label=Case6.69 nb_sol=0 ticks=31017 tps=100 nb_sec=310
case_no=81 label=Case6.69 nb_sol=0 ticks=33719 tps=100 nb_sec=337
case_no=81 label=Case6.69 nb_sol=0 ticks=63349 tps=100 nb_sec=633
case_no=81 label=Case6.69 nb_sol=0 ticks=50107 tps=100 nb_sec=501
case_no=81 label=Case6.69 nb_sol=0 ticks=57791 tps=100 nb_sec=577
case_no=81 label=Case6.69 nb_sol=0 ticks=64980 tps=100 nb_sec=649
case_no=81 label=Case6.69 nb_sol=0 ticks=59500 tps=100 nb_sec=595
case_no=81 label=Case6.69 nb_sol=0 ticks=65515 tps=100 nb_sec=655
case_no=81 label=Case6.69 nb_sol=0 ticks=60476 tps=100 nb_sec=604
case_no=81 label=Case6.69 nb_sol=0 ticks=61813 tps=100 nb_sec=618
case_no=81 label=Case6.69 nb_sol=0 ticks=53141 tps=100 nb_sec=531
case_no=81 label=Case6.69 nb_sol=0 ticks=67101 tps=100 nb_sec=671
case_no=81 label=Case6.69 nb_sol=0 ticks=31003 tps=100 nb_sec=310
case_no=81 label=Case6.69 nb_sol=0 ticks=57371 tps=100 nb_sec=573
case_no=81 label=Case6.69 nb_sol=0 ticks=59709 tps=100 nb_sec=597
case_no=81 label=Case6.69 nb_sol=0 ticks=69989 tps=100 nb_sec=699
case_no=81 label=Case6.69 nb_sol=0 ticks=53394 tps=100 nb_sec=533
case_no=81 label=Case6.69 nb_sol=0 ticks=50490 tps=100 nb_sec=504
case_no=81 label=Case6.69 nb_sol=0 ticks=56966 tps=100 nb_sec=569
case_no=81 label=Case6.69 nb_sol=0 ticks=60190 tps=100 nb_sec=601
case_no=81 label=Case6.69 nb_sol=0 ticks=58692 tps=100 nb_sec=586
case_no=81 label=Case6.69 nb_sol=0 ticks=62294 tps=100 nb_sec=622
case_no=81 label=Case6.69 nb_sol=0 ticks=65582 tps=100 nb_sec=655
case_no=81 label=Case6.69 nb_sol=0 ticks=65214 tps=100 nb_sec=652
case_no=81 label=Case6.69 nb_sol=0 ticks=73172 tps=100 nb_sec=731
case_no=81 label=Case6.69 nb_sol=0 ticks=64446 tps=100 nb_sec=644
case_no=81 label=Case6.69 nb_sol=0 ticks=60970 tps=100 nb_sec=609
case_no=81 label=Case6.69 nb_sol=0 ticks=49169 tps=100 nb_sec=491
case_no=81 label=Case6.69 nb_sol=0 ticks=62874 tps=100 nb_sec=628
case_no=81 label=Case6.69 nb_sol=0 ticks=64984 tps=100 nb_sec=649
case_no=81 label=Case6.69 nb_sol=0 ticks=52683 tps=100 nb_sec=526
case_no=81 label=Case6.69 nb_sol=0 ticks=37701 tps=100 nb_sec=377
case_no=81 label=Case6.69 nb_sol=0 ticks=60573 tps=100 nb_sec=605
case_no=81 label=Case6.69 nb_sol=0 ticks=44912 tps=100 nb_sec=449
case_no=81 label=Case6.69 nb_sol=0 ticks=73837 tps=100 nb_sec=738
case_no=81 label=Case6.69 nb_sol=0 ticks=61448 tps=100 nb_sec=614
case_no=81 label=Case6.69 nb_sol=0 ticks=42383 tps=100 nb_sec=423
case_no=81 label=Case6.69 nb_sol=0 ticks=56416 tps=100 nb_sec=564
case_no=81 label=Case6.69 nb_sol=0 ticks=71811 tps=100 nb_sec=718
case_no=81 label=Case6.69 nb_sol=0 ticks=57152 tps=100 nb_sec=571
case_no=81 label=Case6.69 nb_sol=0 ticks=58989 tps=100 nb_sec=589
case_no=81 label=Case6.69 nb_sol=0 ticks=61410 tps=100 nb_sec=614
case_no=81 label=Case6.69 nb_sol=0 ticks=52734 tps=100 nb_sec=527
case_no=81 label=Case6.69 nb_sol=0 ticks=70093 tps=100 nb_sec=700
case_no=81 label=Case6.69 nb_sol=0 ticks=42189 tps=100 nb_sec=421
case_no=81 label=Case6.69 nb_sol=0 ticks=65490 tps=100 nb_sec=654
case_no=81 label=Case6.69 nb_sol=0 ticks=62420 tps=100 nb_sec=624
case_no=81 label=Case6.69 nb_sol=0 ticks=56077 tps=100 nb_sec=560
case_no=81 label=Case6.69 nb_sol=0 ticks=65246 tps=100 nb_sec=652
case_no=81 label=Case6.69 nb_sol=0 ticks=62563 tps=100 nb_sec=625
case_no=81 label=Case6.69 nb_sol=0 ticks=53824 tps=100 nb_sec=538
case_no=81 label=Case6.69 nb_sol=0 ticks=62746 tps=100 nb_sec=627
case_no=81 label=Case6.69 nb_sol=0 ticks=67056 tps=100 nb_sec=670
case_no=81 label=Case6.69 nb_sol=0 ticks=62790 tps=100 nb_sec=627
case_no=81 label=Case6.69 nb_sol=0 ticks=67386 tps=100 nb_sec=673
case_no=81 label=Case6.69 nb_sol=0 ticks=60105 tps=100 nb_sec=601
case_no=81 label=Case6.69 nb_sol=0 ticks=62565 tps=100 nb_sec=625
case_no=81 label=Case6.69 nb_sol=0 ticks=70933 tps=100 nb_sec=709
case_no=81 label=Case6.69 nb_sol=0 ticks=60078 tps=100 nb_sec=600
case_no=81 label=Case6.69 nb_sol=0 ticks=60511 tps=100 nb_sec=605
case_no=81 label=Case6.69 nb_sol=0 ticks=55386 tps=100 nb_sec=553
case_no=81 label=Case6.69 nb_sol=0 ticks=61485 tps=100 nb_sec=614
case_no=81 label=Case6.69 nb_sol=0 ticks=54794 tps=100 nb_sec=547
case_no=81 label=Case6.69 nb_sol=0 ticks=61019 tps=100 nb_sec=610
case_no=81 label=Case6.69 nb_sol=0 ticks=68942 tps=100 nb_sec=689
case_no=81 label=Case6.69 nb_sol=0 ticks=71607 tps=100 nb_sec=716
case_no=81 label=Case6.69 nb_sol=0 ticks=58850 tps=100 nb_sec=588
case_no=81 label=Case6.69 nb_sol=0 ticks=70959 tps=100 nb_sec=709
case_no=81 label=Case6.69 nb_sol=0 ticks=54721 tps=100 nb_sec=547
case_no=81 label=Case6.69 nb_sol=0 ticks=67938 tps=100 nb_sec=679
case_no=81 label=Case6.69 nb_sol=0 ticks=68682 tps=100 nb_sec=686
case_no=81 label=Case6.69 nb_sol=0 ticks=53752 tps=100 nb_sec=537
case_no=81 label=Case6.69 nb_sol=0 ticks=59502 tps=100 nb_sec=595
case_no=81 label=Case6.69 nb_sol=0 ticks=62919 tps=100 nb_sec=629
case_no=81 label=Case6.69 nb_sol=0 ticks=69887 tps=100 nb_sec=698
case_no=81 label=Case6.69 nb_sol=0 ticks=56617 tps=100 nb_sec=566
case_no=81 label=Case6.69 nb_sol=0 ticks=52172 tps=100 nb_sec=521
case_no=81 label=Case6.69 nb_sol=0 ticks=64282 tps=100 nb_sec=642
case_no=81 label=Case6.69 nb_sol=0 ticks=67115 tps=100 nb_sec=671
case_no=81 label=Case6.69 nb_sol=0 ticks=67729 tps=100 nb_sec=677
case_no=81 label=Case6.69 nb_sol=0 ticks=59031 tps=100 nb_sec=590
case_no=81 label=Case6.69 nb_sol=0 ticks=59721 tps=100 nb_sec=597
case_no=81 label=Case6.69 nb_sol=0 ticks=59957 tps=100 nb_sec=599
case_no=81 label=Case6.69 nb_sol=0 ticks=66667 tps=100 nb_sec=666
case_no=81 label=Case6.69 nb_sol=0 ticks=57683 tps=100 nb_sec=576
case_no=81 label=Case6.69 nb_sol=0 ticks=60703 tps=100 nb_sec=607
case_no=81 label=Case6.69 nb_sol=0 ticks=42466 tps=100 nb_sec=424
case_no=81 label=Case6.69 nb_sol=0 ticks=66120 tps=100 nb_sec=661
case_no=81 label=Case6.69 nb_sol=0 ticks=66470 tps=100 nb_sec=664
case_no=81 label=Case6.69 nb_sol=0 ticks=71035 tps=100 nb_sec=710
case_no=81 label=Case6.69 nb_sol=0 ticks=40152 tps=100 nb_sec=401
case_no=81 label=Case6.69 nb_sol=0 ticks=29759 tps=100 nb_sec=297
case_no=81 label=Case6.69 nb_sol=0 ticks=64289 tps=100 nb_sec=642
case_no=81 label=Case6.69 nb_sol=0 ticks=42865 tps=100 nb_sec=428
case_no=81 label=Case6.69 nb_sol=0 ticks=58471 tps=100 nb_sec=584
case_no=81 label=Case6.69 nb_sol=0 ticks=72409 tps=100 nb_sec=724
case_no=81 label=Case6.69 nb_sol=0 ticks=39055 tps=100 nb_sec=390
case_no=81 label=Case6.69 nb_sol=0 ticks=41754 tps=100 nb_sec=417
case_no=81 label=Case6.69 nb_sol=0 ticks=68949 tps=100 nb_sec=689
case_no=81 label=Case6.69 nb_sol=0 ticks=40461 tps=100 nb_sec=404
case_no=81 label=Case6.69 nb_sol=0 ticks=29746 tps=100 nb_sec=297
case_no=81 label=Case6.69 nb_sol=0 ticks=94788 tps=100 nb_sec=947
case_no=81 label=Case6.69 nb_sol=0 ticks=37591 tps=100 nb_sec=375
case_no=81 label=Case6.69 nb_sol=0 ticks=37318 tps=100 nb_sec=373
case_no=81 label=Case6.69 nb_sol=0 ticks=71167 tps=100 nb_sec=711
case_no=81 label=Case6.69 nb_sol=0 ticks=63400 tps=100 nb_sec=634
case_no=81 label=Case6.69 nb_sol=0 ticks=43807 tps=100 nb_sec=438
case_no=81 label=Case6.69 nb_sol=0 ticks=89458 tps=100 nb_sec=894
case_no=81 label=Case6.69 nb_sol=0 ticks=69158 tps=100 nb_sec=691
case_no=81 label=Case6.69 nb_sol=0 ticks=39415 tps=100 nb_sec=394
case_no=81 label=Case6.69 nb_sol=0 ticks=95018 tps=100 nb_sec=950
case_no=81 label=Case6.69 nb_sol=0 ticks=59989 tps=100 nb_sec=599
case_no=81 label=Case6.69 nb_sol=0 ticks=62106 tps=100 nb_sec=621
case_no=81 label=Case6.69 nb_sol=0 ticks=67618 tps=100 nb_sec=676
case_no=81 label=Case6.69 nb_sol=0 ticks=39701 tps=100 nb_sec=397
case_no=81 label=Case6.69 nb_sol=0 ticks=85965 tps=100 nb_sec=859
case_no=81 label=Case6.69 nb_sol=0 ticks=64298 tps=100 nb_sec=642
case_no=81 label=Case6.69 nb_sol=0 ticks=62092 tps=100 nb_sec=620
case_no=81 label=Case6.69 nb_sol=0 ticks=55641 tps=100 nb_sec=556
case_no=81 label=Case6.69 nb_sol=0 ticks=82852 tps=100 nb_sec=828
case_no=81 label=Case6.69 nb_sol=0 ticks=43150 tps=100 nb_sec=431
case_no=81 label=Case6.69 nb_sol=0 ticks=102814 tps=100 nb_sec=1028
case_no=81 label=Case6.69 nb_sol=0 ticks=56910 tps=100 nb_sec=569
case_no=81 label=Case6.69 nb_sol=0 ticks=44280 tps=100 nb_sec=442
case_no=81 label=Case6.69 nb_sol=0 ticks=68701 tps=100 nb_sec=687
case_no=81 label=Case6.69 nb_sol=0 ticks=65984 tps=100 nb_sec=659
case_no=81 label=Case6.69 nb_sol=0 ticks=105312 tps=100 nb_sec=1053
case_no=81 label=Case6.69 nb_sol=0 ticks=66332 tps=100 nb_sec=663
case_no=81 label=Case6.69 nb_sol=0 ticks=91947 tps=100 nb_sec=919
case_no=81 label=Case6.69 nb_sol=0 ticks=69087 tps=100 nb_sec=690
case_no=81 label=Case6.69 nb_sol=0 ticks=54590 tps=100 nb_sec=545
case_no=81 label=Case6.69 nb_sol=0 ticks=84695 tps=100 nb_sec=846
case_no=81 label=Case6.69 nb_sol=0 ticks=66072 tps=100 nb_sec=660
case_no=81 label=Case6.69 nb_sol=0 ticks=58700 tps=100 nb_sec=587
case_no=81 label=Case6.69 nb_sol=0 ticks=60235 tps=100 nb_sec=602
case_no=81 label=Case6.69 nb_sol=0 ticks=82437 tps=100 nb_sec=824
case_no=81 label=Case6.69 nb_sol=0 ticks=88832 tps=100 nb_sec=888
case_no=81 label=Case6.69 nb_sol=0 ticks=67663 tps=100 nb_sec=676
case_no=81 label=Case6.69 nb_sol=0 ticks=92949 tps=100 nb_sec=929
case_no=81 label=Case6.69 nb_sol=0 ticks=63886 tps=100 nb_sec=638
case_no=81 label=Case6.69 nb_sol=0 ticks=58062 tps=100 nb_sec=580
case_no=81 label=Case6.69 nb_sol=0 ticks=79224 tps=100 nb_sec=792
case_no=81 label=Case6.69 nb_sol=0 ticks=57557 tps=100 nb_sec=575
case_no=81 label=Case6.69 nb_sol=0 ticks=59834 tps=100 nb_sec=598
case_no=81 label=Case6.69 nb_sol=0 ticks=52030 tps=100 nb_sec=520
case_no=81 label=Case6.69 nb_sol=0 ticks=65100 tps=100 nb_sec=651
case_no=81 label=Case6.69 nb_sol=0 ticks=41327 tps=100 nb_sec=413
case_no=81 label=Case6.69 nb_sol=0 ticks=62489 tps=100 nb_sec=624
case_no=81 label=Case6.69 nb_sol=0 ticks=51024 tps=100 nb_sec=510
case_no=81 label=Case6.69 nb_sol=0 ticks=54203 tps=100 nb_sec=542
case_no=81 label=Case6.69 nb_sol=0 ticks=50253 tps=100 nb_sec=502
case_no=81 label=Case6.69 nb_sol=0 ticks=35713 tps=100 nb_sec=357
case_no=81 label=Case6.69 nb_sol=0 ticks=37437 tps=100 nb_sec=374
case_no=81 label=Case6.69 nb_sol=0 ticks=61525 tps=100 nb_sec=615
case_no=81 label=Case6.69 nb_sol=0 ticks=27252 tps=100 nb_sec=272
case_no=81 label=Case6.69 nb_sol=0 ticks=56905 tps=100 nb_sec=569
case_no=81 label=Case6.69 nb_sol=0 ticks=32576 tps=100 nb_sec=325
case_no=81 label=Case6.69 nb_sol=0 ticks=58310 tps=100 nb_sec=583
case_no=81 label=Case6.69 nb_sol=0 ticks=30363 tps=100 nb_sec=303
case_no=81 label=Case6.69 nb_sol=0 ticks=63026 tps=100 nb_sec=630
case_no=81 label=Case6.69 nb_sol=0 ticks=41133 tps=100 nb_sec=411
case_no=81 label=Case6.69 nb_sol=0 ticks=48842 tps=100 nb_sec=488
case_no=81 label=Case6.69 nb_sol=0 ticks=61198 tps=100 nb_sec=611
case_no=81 label=Case6.69 nb_sol=0 ticks=67942 tps=100 nb_sec=679
case_no=81 label=Case6.69 nb_sol=0 ticks=55715 tps=100 nb_sec=557
case_no=81 label=Case6.69 nb_sol=0 ticks=62265 tps=100 nb_sec=622
case_no=81 label=Case6.69 nb_sol=0 ticks=62672 tps=100 nb_sec=626
case_no=81 label=Case6.69 nb_sol=0 ticks=36908 tps=100 nb_sec=369
case_no=81 label=Case6.69 nb_sol=0 ticks=63247 tps=100 nb_sec=632
case_no=81 label=Case6.69 nb_sol=0 ticks=46360 tps=100 nb_sec=463
case_no=81 label=Case6.69 nb_sol=0 ticks=69375 tps=100 nb_sec=693
case_no=81 label=Case6.69 nb_sol=0 ticks=73471 tps=100 nb_sec=734
case_no=81 label=Case6.69 nb_sol=0 ticks=48939 tps=100 nb_sec=489
case_no=81 label=Case6.69 nb_sol=0 ticks=62276 tps=100 nb_sec=622
case_no=81 label=Case6.69 nb_sol=0 ticks=60869 tps=100 nb_sec=608
case_no=81 label=Case6.69 nb_sol=0 ticks=55219 tps=100 nb_sec=552
case_no=81 label=Case6.69 nb_sol=0 ticks=63875 tps=100 nb_sec=638
case_no=81 label=Case6.69 nb_sol=0 ticks=64821 tps=100 nb_sec=648
case_no=81 label=Case6.69 nb_sol=0 ticks=61191 tps=100 nb_sec=611
case_no=81 label=Case6.69 nb_sol=0 ticks=64956 tps=100 nb_sec=649
case_no=81 label=Case6.69 nb_sol=0 ticks=30220 tps=100 nb_sec=302
case_no=81 label=Case6.69 nb_sol=0 ticks=68393 tps=100 nb_sec=683
case_no=81 label=Case6.69 nb_sol=0 ticks=50480 tps=100 nb_sec=504
case_no=81 label=Case6.69 nb_sol=0 ticks=69770 tps=100 nb_sec=697
case_no=81 label=Case6.69 nb_sol=0 ticks=64969 tps=100 nb_sec=649
case_no=81 label=Case6.69 nb_sol=0 ticks=51848 tps=100 nb_sec=518
case_no=81 label=Case6.69 nb_sol=0 ticks=58242 tps=100 nb_sec=582
case_no=81 label=Case6.69 nb_sol=0 ticks=51262 tps=100 nb_sec=512
case_no=81 label=Case6.69 nb_sol=0 ticks=52808 tps=100 nb_sec=528
case_no=81 label=Case6.69 nb_sol=0 ticks=43046 tps=100 nb_sec=430
case_no=81 label=Case6.69 nb_sol=0 ticks=39744 tps=100 nb_sec=397
case_no=81 label=Case6.69 nb_sol=0 ticks=72574 tps=100 nb_sec=725
case_no=81 label=Case6.69 nb_sol=0 ticks=69003 tps=100 nb_sec=690
case_no=81 label=Case6.69 nb_sol=0 ticks=59156 tps=100 nb_sec=591
case_no=81 label=Case6.69 nb_sol=0 ticks=36489 tps=100 nb_sec=364
case_no=81 label=Case6.69 nb_sol=0 ticks=65048 tps=100 nb_sec=650
case_no=81 label=Case6.69 nb_sol=0 ticks=40490 tps=100 nb_sec=404
case_no=81 label=Case6.69 nb_sol=0 ticks=65245 tps=100 nb_sec=652
case_no=81 label=Case6.69 nb_sol=0 ticks=58731 tps=100 nb_sec=587
case_no=81 label=Case6.69 nb_sol=0 ticks=70772 tps=100 nb_sec=707
case_no=81 label=Case6.69 nb_sol=0 ticks=28945 tps=100 nb_sec=289
case_no=81 label=Case6.69 nb_sol=0 ticks=69424 tps=100 nb_sec=694
case_no=81 label=Case6.69 nb_sol=0 ticks=70182 tps=100 nb_sec=701
case_no=81 label=Case6.69 nb_sol=0 ticks=63881 tps=100 nb_sec=638
case_no=81 label=Case6.69 nb_sol=0 ticks=46090 tps=100 nb_sec=460
case_no=81 label=Case6.69 nb_sol=0 ticks=36913 tps=100 nb_sec=369
case_no=81 label=Case6.69 nb_sol=0 ticks=54345 tps=100 nb_sec=543
case_no=81 label=Case6.69 nb_sol=0 ticks=79144 tps=100 nb_sec=791
case_no=81 label=Case6.69 nb_sol=0 ticks=38029 tps=100 nb_sec=380
case_no=81 label=Case6.69 nb_sol=0 ticks=75913 tps=100 nb_sec=759
case_no=81 label=Case6.69 nb_sol=0 ticks=74705 tps=100 nb_sec=747
case_no=81 label=Case6.69 nb_sol=0 ticks=55488 tps=100 nb_sec=554
case_no=81 label=Case6.69 nb_sol=0 ticks=55563 tps=100 nb_sec=555
case_no=81 label=Case6.69 nb_sol=0 ticks=57321 tps=100 nb_sec=573
case_no=81 label=Case6.69 nb_sol=0 ticks=61546 tps=100 nb_sec=615
case_no=81 label=Case6.69 nb_sol=0 ticks=63626 tps=100 nb_sec=636
case_no=81 label=Case6.69 nb_sol=0 ticks=45178 tps=100 nb_sec=451
case_no=81 label=Case6.69 nb_sol=0 ticks=43997 tps=100 nb_sec=439
case_no=81 label=Case6.69 nb_sol=0 ticks=47865 tps=100 nb_sec=478
case_no=81 label=Case6.69 nb_sol=0 ticks=49225 tps=100 nb_sec=492
case_no=81 label=Case6.69 nb_sol=0 ticks=52793 tps=100 nb_sec=527
case_no=81 label=Case6.69 nb_sol=0 ticks=43626 tps=100 nb_sec=436
case_no=81 label=Case6.69 nb_sol=0 ticks=51432 tps=100 nb_sec=514
case_no=81 label=Case6.69 nb_sol=0 ticks=59152 tps=100 nb_sec=591
case_no=81 label=Case6.69 nb_sol=0 ticks=27294 tps=100 nb_sec=272
case_no=81 label=Case6.69 nb_sol=0 ticks=60003 tps=100 nb_sec=600
case_no=81 label=Case6.69 nb_sol=0 ticks=58069 tps=100 nb_sec=580
case_no=81 label=Case6.69 nb_sol=0 ticks=55629 tps=100 nb_sec=556
case_no=81 label=Case6.69 nb_sol=0 ticks=46893 tps=100 nb_sec=468
case_no=81 label=Case6.69 nb_sol=0 ticks=54268 tps=100 nb_sec=542
case_no=81 label=Case6.69 nb_sol=0 ticks=68530 tps=100 nb_sec=685
case_no=81 label=Case6.69 nb_sol=0 ticks=52816 tps=100 nb_sec=528
case_no=81 label=Case6.69 nb_sol=0 ticks=70064 tps=100 nb_sec=700
case_no=81 label=Case6.69 nb_sol=0 ticks=48764 tps=100 nb_sec=487
case_no=81 label=Case6.69 nb_sol=0 ticks=62830 tps=100 nb_sec=628
case_no=81 label=Case6.69 nb_sol=0 ticks=51116 tps=100 nb_sec=511
case_no=81 label=Case6.69 nb_sol=0 ticks=38187 tps=100 nb_sec=381
case_no=81 label=Case6.69 nb_sol=0 ticks=66434 tps=100 nb_sec=664
case_no=81 label=Case6.69 nb_sol=0 ticks=64822 tps=100 nb_sec=648
case_no=81 label=Case6.69 nb_sol=0 ticks=56913 tps=100 nb_sec=569
case_no=81 label=Case6.69 nb_sol=0 ticks=64229 tps=100 nb_sec=642
case_no=81 label=Case6.69 nb_sol=0 ticks=58793 tps=100 nb_sec=587
case_no=81 label=Case6.69 nb_sol=0 ticks=41682 tps=100 nb_sec=416
case_no=81 label=Case6.69 nb_sol=0 ticks=52495 tps=100 nb_sec=524
case_no=81 label=Case6.69 nb_sol=0 ticks=57821 tps=100 nb_sec=578
case_no=81 label=Case6.69 nb_sol=0 ticks=58101 tps=100 nb_sec=581
case_no=81 label=Case6.69 nb_sol=0 ticks=57673 tps=100 nb_sec=576
case_no=81 label=Case6.69 nb_sol=0 ticks=59755 tps=100 nb_sec=597
case_no=81 label=Case6.69 nb_sol=0 ticks=59493 tps=100 nb_sec=594
case_no=81 label=Case6.69 nb_sol=0 ticks=64270 tps=100 nb_sec=642
case_no=81 label=Case6.69 nb_sol=0 ticks=62008 tps=100 nb_sec=620
case_no=81 label=Case6.69 nb_sol=0 ticks=44974 tps=100 nb_sec=449
case_no=81 label=Case6.69 nb_sol=0 ticks=60787 tps=100 nb_sec=607
case_no=81 label=Case6.69 nb_sol=0 ticks=65903 tps=100 nb_sec=659
case_no=81 label=Case6.69 nb_sol=0 ticks=58919 tps=100 nb_sec=589
case_no=81 label=Case6.69 nb_sol=0 ticks=73775 tps=100 nb_sec=737
case_no=81 label=Case6.69 nb_sol=0 ticks=49041 tps=100 nb_sec=490
case_no=81 label=Case6.69 nb_sol=0 ticks=39818 tps=100 nb_sec=398
case_no=81 label=Case6.69 nb_sol=0 ticks=56899 tps=100 nb_sec=568
case_no=81 label=Case6.69 nb_sol=0 ticks=66122 tps=100 nb_sec=661
case_no=81 label=Case6.69 nb_sol=0 ticks=52482 tps=100 nb_sec=524
case_no=81 label=Case6.69 nb_sol=0 ticks=64616 tps=100 nb_sec=646
case_no=81 label=Case6.69 nb_sol=0 ticks=59030 tps=100 nb_sec=590
case_no=81 label=Case6.69 nb_sol=0 ticks=58171 tps=100 nb_sec=581
case_no=81 label=Case6.69 nb_sol=0 ticks=55573 tps=100 nb_sec=555
case_no=81 label=Case6.69 nb_sol=0 ticks=47478 tps=100 nb_sec=474
case_no=81 label=Case6.69 nb_sol=0 ticks=60094 tps=100 nb_sec=600
case_no=81 label=Case6.69 nb_sol=0 ticks=49882 tps=100 nb_sec=498
case_no=81 label=Case6.69 nb_sol=0 ticks=46055 tps=100 nb_sec=460
case_no=81 label=Case6.69 nb_sol=0 ticks=36819 tps=100 nb_sec=368
case_no=81 label=Case6.69 nb_sol=0 ticks=58564 tps=100 nb_sec=585
case_no=81 label=Case6.69 nb_sol=0 ticks=47133 tps=100 nb_sec=471
case_no=81 label=Case6.69 nb_sol=0 ticks=55611 tps=100 nb_sec=556
case_no=81 label=Case6.69 nb_sol=0 ticks=46585 tps=100 nb_sec=465
case_no=81 label=Case6.69 nb_sol=0 ticks=61395 tps=100 nb_sec=613
case_no=81 label=Case6.69 nb_sol=0 ticks=69042 tps=100 nb_sec=690
case_no=81 label=Case6.69 nb_sol=0 ticks=50943 tps=100 nb_sec=509
case_no=81 label=Case6.69 nb_sol=0 ticks=82285 tps=100 nb_sec=822
case_no=81 label=Case6.69 nb_sol=0 ticks=58976 tps=100 nb_sec=589
case_no=81 label=Case6.69 nb_sol=0 ticks=58926 tps=100 nb_sec=589
case_no=81 label=Case6.69 nb_sol=0 ticks=52781 tps=100 nb_sec=527
case_no=81 label=Case6.69 nb_sol=0 ticks=65231 tps=100 nb_sec=652
case_no=81 label=Case6.69 nb_sol=0 ticks=49706 tps=100 nb_sec=497
case_no=81 label=Case6.69 nb_sol=0 ticks=62036 tps=100 nb_sec=620
case_no=81 label=Case6.69 nb_sol=0 ticks=64562 tps=100 nb_sec=645
case_no=81 label=Case6.69 nb_sol=0 ticks=43740 tps=100 nb_sec=437
case_no=81 label=Case6.69 nb_sol=0 ticks=65355 tps=100 nb_sec=653
case_no=81 label=Case6.69 nb_sol=0 ticks=45449 tps=100 nb_sec=454
case_no=81 label=Case6.69 nb_sol=0 ticks=52682 tps=100 nb_sec=526
case_no=81 label=Case6.69 nb_sol=0 ticks=75856 tps=100 nb_sec=758
case_no=81 label=Case6.69 nb_sol=0 ticks=53102 tps=100 nb_sec=531
case_no=81 label=Case6.69 nb_sol=0 ticks=47657 tps=100 nb_sec=476
case_no=81 label=Case6.69 nb_sol=0 ticks=61110 tps=100 nb_sec=611
case_no=81 label=Case6.69 nb_sol=0 ticks=50200 tps=100 nb_sec=502
case_no=81 label=Case6.69 nb_sol=0 ticks=94336 tps=100 nb_sec=943
case_no=81 label=Case6.69 nb_sol=0 ticks=51648 tps=100 nb_sec=516
case_no=81 label=Case6.69 nb_sol=0 ticks=56015 tps=100 nb_sec=560
case_no=81 label=Case6.69 nb_sol=0 ticks=48127 tps=100 nb_sec=481
case_no=81 label=Case6.69 nb_sol=0 ticks=52603 tps=100 nb_sec=526
case_no=81 label=Case6.69 nb_sol=0 ticks=61529 tps=100 nb_sec=615
case_no=81 label=Case6.69 nb_sol=0 ticks=44489 tps=100 nb_sec=444
case_no=81 label=Case6.69 nb_sol=0 ticks=57373 tps=100 nb_sec=573
case_no=81 label=Case6.69 nb_sol=0 ticks=81962 tps=100 nb_sec=819
case_no=81 label=Case6.69 nb_sol=0 ticks=57494 tps=100 nb_sec=574
case_no=81 label=Case6.69 nb_sol=0 ticks=45643 tps=100 nb_sec=456
case_no=81 label=Case6.69 nb_sol=0 ticks=64742 tps=100 nb_sec=647
case_no=81 label=Case6.69 nb_sol=0 ticks=78791 tps=100 nb_sec=787
case_no=81 label=Case6.69 nb_sol=0 ticks=63415 tps=100 nb_sec=634
case_no=81 label=Case6.69 nb_sol=0 ticks=47236 tps=100 nb_sec=472
case_no=81 label=Case6.69 nb_sol=0 ticks=62125 tps=100 nb_sec=621
case_no=81 label=Case6.69 nb_sol=0 ticks=54700 tps=100 nb_sec=547
case_no=81 label=Case6.69 nb_sol=0 ticks=58292 tps=100 nb_sec=582
case_no=81 label=Case6.69 nb_sol=0 ticks=93172 tps=100 nb_sec=931
case_no=81 label=Case6.69 nb_sol=0 ticks=63153 tps=100 nb_sec=631
case_no=81 label=Case6.69 nb_sol=0 ticks=60672 tps=100 nb_sec=606
case_no=81 label=Case6.69 nb_sol=0 ticks=103055 tps=100 nb_sec=1030
case_no=81 label=Case6.69 nb_sol=0 ticks=58372 tps=100 nb_sec=583
case_no=81 label=Case6.69 nb_sol=0 ticks=63756 tps=100 nb_sec=637
case_no=81 label=Case6.69 nb_sol=0 ticks=46798 tps=100 nb_sec=467
case_no=81 label=Case6.69 nb_sol=0 ticks=68019 tps=100 nb_sec=680
case_no=81 label=Case6.69 nb_sol=0 ticks=42065 tps=100 nb_sec=420
case_no=81 label=Case6.69 nb_sol=0 ticks=55834 tps=100 nb_sec=558
case_no=81 label=Case6.69 nb_sol=0 ticks=57068 tps=100 nb_sec=570
case_no=81 label=Case6.69 nb_sol=0 ticks=93153 tps=100 nb_sec=931
case_no=81 label=Case6.69 nb_sol=0 ticks=58536 tps=100 nb_sec=585
case_no=81 label=Case6.69 nb_sol=0 ticks=33641 tps=100 nb_sec=336
case_no=81 label=Case6.69 nb_sol=0 ticks=53460 tps=100 nb_sec=534
case_no=81 label=Case6.69 nb_sol=0 ticks=98725 tps=100 nb_sec=987
case_no=81 label=Case6.69 nb_sol=0 ticks=55722 tps=100 nb_sec=557
case_no=81 label=Case6.69 nb_sol=0 ticks=63683 tps=100 nb_sec=636
case_no=81 label=Case6.69 nb_sol=0 ticks=58253 tps=100 nb_sec=582
case_no=81 label=Case6.69 nb_sol=0 ticks=97499 tps=100 nb_sec=974
case_no=81 label=Case6.69 nb_sol=0 ticks=59842 tps=100 nb_sec=598
case_no=81 label=Case6.69 nb_sol=0 ticks=57971 tps=100 nb_sec=579
case_no=81 label=Case6.69 nb_sol=0 ticks=55155 tps=100 nb_sec=551
case_no=81 label=Case6.69 nb_sol=0 ticks=64327 tps=100 nb_sec=643
case_no=81 label=Case6.69 nb_sol=0 ticks=66721 tps=100 nb_sec=667
case_no=81 label=Case6.69 nb_sol=0 ticks=51975 tps=100 nb_sec=519
case_no=81 label=Case6.69 nb_sol=0 ticks=56956 tps=100 nb_sec=569
case_no=81 label=Case6.69 nb_sol=0 ticks=83009 tps=100 nb_sec=830
Nb_sol=0
Nb_sec=303578
3-12:19:38 or 84 hours
missing cases:
none