argc=5
-M 512
file2=30_select_Case6.81_starter_16_
checking files mod 512 from 0 to 511
case_no=93 label=Case6.81 nb_sol=0 ticks=50966 tps=100 nb_sec=509
case_no=93 label=Case6.81 nb_sol=0 ticks=54188 tps=100 nb_sec=541
case_no=93 label=Case6.81 nb_sol=0 ticks=80878 tps=100 nb_sec=808
case_no=93 label=Case6.81 nb_sol=0 ticks=53659 tps=100 nb_sec=536
case_no=93 label=Case6.81 nb_sol=0 ticks=38952 tps=100 nb_sec=389
case_no=93 label=Case6.81 nb_sol=0 ticks=71052 tps=100 nb_sec=710
case_no=93 label=Case6.81 nb_sol=0 ticks=85552 tps=100 nb_sec=855
case_no=93 label=Case6.81 nb_sol=0 ticks=54992 tps=100 nb_sec=549
case_no=93 label=Case6.81 nb_sol=0 ticks=82635 tps=100 nb_sec=826
case_no=93 label=Case6.81 nb_sol=0 ticks=60255 tps=100 nb_sec=602
case_no=93 label=Case6.81 nb_sol=0 ticks=54825 tps=100 nb_sec=548
case_no=93 label=Case6.81 nb_sol=0 ticks=86467 tps=100 nb_sec=864
case_no=93 label=Case6.81 nb_sol=0 ticks=54497 tps=100 nb_sec=544
case_no=93 label=Case6.81 nb_sol=0 ticks=56961 tps=100 nb_sec=569
case_no=93 label=Case6.81 nb_sol=0 ticks=55885 tps=100 nb_sec=558
case_no=93 label=Case6.81 nb_sol=0 ticks=41635 tps=100 nb_sec=416
case_no=93 label=Case6.81 nb_sol=0 ticks=58809 tps=100 nb_sec=588
case_no=93 label=Case6.81 nb_sol=0 ticks=71856 tps=100 nb_sec=718
case_no=93 label=Case6.81 nb_sol=0 ticks=73741 tps=100 nb_sec=737
case_no=93 label=Case6.81 nb_sol=0 ticks=61108 tps=100 nb_sec=611
case_no=93 label=Case6.81 nb_sol=0 ticks=75585 tps=100 nb_sec=755
case_no=93 label=Case6.81 nb_sol=0 ticks=80481 tps=100 nb_sec=804
case_no=93 label=Case6.81 nb_sol=0 ticks=58048 tps=100 nb_sec=580
case_no=93 label=Case6.81 nb_sol=0 ticks=143663 tps=100 nb_sec=1436
case_no=93 label=Case6.81 nb_sol=0 ticks=56574 tps=100 nb_sec=565
case_no=93 label=Case6.81 nb_sol=0 ticks=69604 tps=100 nb_sec=696
case_no=93 label=Case6.81 nb_sol=0 ticks=58156 tps=100 nb_sec=581
case_no=93 label=Case6.81 nb_sol=0 ticks=72187 tps=100 nb_sec=721
case_no=93 label=Case6.81 nb_sol=0 ticks=34719 tps=100 nb_sec=347
case_no=93 label=Case6.81 nb_sol=0 ticks=40087 tps=100 nb_sec=400
case_no=93 label=Case6.81 nb_sol=0 ticks=85532 tps=100 nb_sec=855
case_no=93 label=Case6.81 nb_sol=0 ticks=54465 tps=100 nb_sec=544
case_no=93 label=Case6.81 nb_sol=0 ticks=61914 tps=100 nb_sec=619
case_no=93 label=Case6.81 nb_sol=0 ticks=64896 tps=100 nb_sec=648
case_no=93 label=Case6.81 nb_sol=0 ticks=73045 tps=100 nb_sec=730
case_no=93 label=Case6.81 nb_sol=0 ticks=77424 tps=100 nb_sec=774
case_no=93 label=Case6.81 nb_sol=0 ticks=56728 tps=100 nb_sec=567
case_no=93 label=Case6.81 nb_sol=0 ticks=55790 tps=100 nb_sec=557
case_no=93 label=Case6.81 nb_sol=0 ticks=49377 tps=100 nb_sec=493
case_no=93 label=Case6.81 nb_sol=0 ticks=75959 tps=100 nb_sec=759
case_no=93 label=Case6.81 nb_sol=0 ticks=56406 tps=100 nb_sec=564
case_no=93 label=Case6.81 nb_sol=0 ticks=102869 tps=100 nb_sec=1028
case_no=93 label=Case6.81 nb_sol=0 ticks=43949 tps=100 nb_sec=439
case_no=93 label=Case6.81 nb_sol=0 ticks=81143 tps=100 nb_sec=811
case_no=93 label=Case6.81 nb_sol=0 ticks=54841 tps=100 nb_sec=548
case_no=93 label=Case6.81 nb_sol=0 ticks=62559 tps=100 nb_sec=625
case_no=93 label=Case6.81 nb_sol=0 ticks=150350 tps=100 nb_sec=1503
case_no=93 label=Case6.81 nb_sol=0 ticks=68575 tps=100 nb_sec=685
case_no=93 label=Case6.81 nb_sol=0 ticks=63544 tps=100 nb_sec=635
case_no=93 label=Case6.81 nb_sol=0 ticks=68262 tps=100 nb_sec=682
case_no=93 label=Case6.81 nb_sol=0 ticks=60251 tps=100 nb_sec=602
case_no=93 label=Case6.81 nb_sol=0 ticks=92801 tps=100 nb_sec=928
case_no=93 label=Case6.81 nb_sol=0 ticks=66207 tps=100 nb_sec=662
case_no=93 label=Case6.81 nb_sol=0 ticks=61483 tps=100 nb_sec=614
case_no=93 label=Case6.81 nb_sol=0 ticks=66666 tps=100 nb_sec=666
case_no=93 label=Case6.81 nb_sol=0 ticks=68917 tps=100 nb_sec=689
case_no=93 label=Case6.81 nb_sol=0 ticks=73808 tps=100 nb_sec=738
case_no=93 label=Case6.81 nb_sol=0 ticks=77822 tps=100 nb_sec=778
case_no=93 label=Case6.81 nb_sol=0 ticks=56204 tps=100 nb_sec=562
case_no=93 label=Case6.81 nb_sol=0 ticks=68468 tps=100 nb_sec=684
case_no=93 label=Case6.81 nb_sol=0 ticks=58179 tps=100 nb_sec=581
case_no=93 label=Case6.81 nb_sol=0 ticks=52200 tps=100 nb_sec=522
case_no=93 label=Case6.81 nb_sol=0 ticks=46698 tps=100 nb_sec=466
case_no=93 label=Case6.81 nb_sol=0 ticks=38245 tps=100 nb_sec=382
case_no=93 label=Case6.81 nb_sol=0 ticks=51304 tps=100 nb_sec=513
case_no=93 label=Case6.81 nb_sol=0 ticks=40126 tps=100 nb_sec=401
case_no=93 label=Case6.81 nb_sol=0 ticks=34764 tps=100 nb_sec=347
case_no=93 label=Case6.81 nb_sol=0 ticks=44333 tps=100 nb_sec=443
case_no=93 label=Case6.81 nb_sol=0 ticks=68031 tps=100 nb_sec=680
case_no=93 label=Case6.81 nb_sol=0 ticks=34552 tps=100 nb_sec=345
case_no=93 label=Case6.81 nb_sol=0 ticks=40353 tps=100 nb_sec=403
case_no=93 label=Case6.81 nb_sol=0 ticks=49409 tps=100 nb_sec=494
case_no=93 label=Case6.81 nb_sol=0 ticks=54523 tps=100 nb_sec=545
case_no=93 label=Case6.81 nb_sol=0 ticks=41786 tps=100 nb_sec=417
case_no=93 label=Case6.81 nb_sol=0 ticks=36391 tps=100 nb_sec=363
case_no=93 label=Case6.81 nb_sol=0 ticks=53360 tps=100 nb_sec=533
case_no=93 label=Case6.81 nb_sol=0 ticks=52520 tps=100 nb_sec=525
case_no=93 label=Case6.81 nb_sol=0 ticks=64532 tps=100 nb_sec=645
case_no=93 label=Case6.81 nb_sol=0 ticks=65726 tps=100 nb_sec=657
case_no=93 label=Case6.81 nb_sol=0 ticks=55479 tps=100 nb_sec=554
case_no=93 label=Case6.81 nb_sol=0 ticks=84799 tps=100 nb_sec=847
case_no=93 label=Case6.81 nb_sol=0 ticks=62332 tps=100 nb_sec=623
case_no=93 label=Case6.81 nb_sol=0 ticks=55140 tps=100 nb_sec=551
case_no=93 label=Case6.81 nb_sol=0 ticks=56394 tps=100 nb_sec=563
case_no=93 label=Case6.81 nb_sol=0 ticks=40446 tps=100 nb_sec=404
case_no=93 label=Case6.81 nb_sol=0 ticks=55329 tps=100 nb_sec=553
case_no=93 label=Case6.81 nb_sol=0 ticks=72412 tps=100 nb_sec=724
case_no=93 label=Case6.81 nb_sol=0 ticks=47572 tps=100 nb_sec=475
case_no=93 label=Case6.81 nb_sol=0 ticks=55531 tps=100 nb_sec=555
case_no=93 label=Case6.81 nb_sol=0 ticks=72134 tps=100 nb_sec=721
case_no=93 label=Case6.81 nb_sol=0 ticks=48516 tps=100 nb_sec=485
case_no=93 label=Case6.81 nb_sol=0 ticks=47508 tps=100 nb_sec=475
case_no=93 label=Case6.81 nb_sol=0 ticks=80563 tps=100 nb_sec=805
case_no=93 label=Case6.81 nb_sol=0 ticks=68325 tps=100 nb_sec=683
case_no=93 label=Case6.81 nb_sol=0 ticks=53397 tps=100 nb_sec=533
case_no=93 label=Case6.81 nb_sol=0 ticks=41709 tps=100 nb_sec=417
case_no=93 label=Case6.81 nb_sol=0 ticks=41539 tps=100 nb_sec=415
case_no=93 label=Case6.81 nb_sol=0 ticks=73259 tps=100 nb_sec=732
case_no=93 label=Case6.81 nb_sol=0 ticks=59953 tps=100 nb_sec=599
case_no=93 label=Case6.81 nb_sol=0 ticks=57649 tps=100 nb_sec=576
case_no=93 label=Case6.81 nb_sol=0 ticks=59120 tps=100 nb_sec=591
case_no=93 label=Case6.81 nb_sol=0 ticks=53863 tps=100 nb_sec=538
case_no=93 label=Case6.81 nb_sol=0 ticks=50985 tps=100 nb_sec=509
case_no=93 label=Case6.81 nb_sol=0 ticks=70030 tps=100 nb_sec=700
case_no=93 label=Case6.81 nb_sol=0 ticks=78971 tps=100 nb_sec=789
case_no=93 label=Case6.81 nb_sol=0 ticks=63783 tps=100 nb_sec=637
case_no=93 label=Case6.81 nb_sol=0 ticks=58598 tps=100 nb_sec=585
case_no=93 label=Case6.81 nb_sol=0 ticks=80649 tps=100 nb_sec=806
case_no=93 label=Case6.81 nb_sol=0 ticks=60530 tps=100 nb_sec=605
case_no=93 label=Case6.81 nb_sol=0 ticks=37570 tps=100 nb_sec=375
case_no=93 label=Case6.81 nb_sol=0 ticks=34571 tps=100 nb_sec=345
case_no=93 label=Case6.81 nb_sol=0 ticks=54183 tps=100 nb_sec=541
case_no=93 label=Case6.81 nb_sol=0 ticks=60202 tps=100 nb_sec=602
case_no=93 label=Case6.81 nb_sol=0 ticks=35641 tps=100 nb_sec=356
case_no=93 label=Case6.81 nb_sol=0 ticks=55476 tps=100 nb_sec=554
case_no=93 label=Case6.81 nb_sol=0 ticks=69789 tps=100 nb_sec=697
case_no=93 label=Case6.81 nb_sol=0 ticks=74123 tps=100 nb_sec=741
case_no=93 label=Case6.81 nb_sol=0 ticks=40727 tps=100 nb_sec=407
case_no=93 label=Case6.81 nb_sol=0 ticks=82065 tps=100 nb_sec=820
case_no=93 label=Case6.81 nb_sol=0 ticks=54497 tps=100 nb_sec=544
case_no=93 label=Case6.81 nb_sol=0 ticks=57766 tps=100 nb_sec=577
case_no=93 label=Case6.81 nb_sol=0 ticks=38902 tps=100 nb_sec=389
case_no=93 label=Case6.81 nb_sol=0 ticks=111921 tps=100 nb_sec=1119
case_no=93 label=Case6.81 nb_sol=0 ticks=81289 tps=100 nb_sec=812
case_no=93 label=Case6.81 nb_sol=0 ticks=38369 tps=100 nb_sec=383
case_no=93 label=Case6.81 nb_sol=0 ticks=59640 tps=100 nb_sec=596
case_no=93 label=Case6.81 nb_sol=0 ticks=66818 tps=100 nb_sec=668
case_no=93 label=Case6.81 nb_sol=0 ticks=47216 tps=100 nb_sec=472
case_no=93 label=Case6.81 nb_sol=0 ticks=66944 tps=100 nb_sec=669
case_no=93 label=Case6.81 nb_sol=0 ticks=60901 tps=100 nb_sec=609
case_no=93 label=Case6.81 nb_sol=0 ticks=54411 tps=100 nb_sec=544
case_no=93 label=Case6.81 nb_sol=0 ticks=51350 tps=100 nb_sec=513
case_no=93 label=Case6.81 nb_sol=0 ticks=44423 tps=100 nb_sec=444
case_no=93 label=Case6.81 nb_sol=0 ticks=47655 tps=100 nb_sec=476
case_no=93 label=Case6.81 nb_sol=0 ticks=50133 tps=100 nb_sec=501
case_no=93 label=Case6.81 nb_sol=0 ticks=54840 tps=100 nb_sec=548
case_no=93 label=Case6.81 nb_sol=0 ticks=54555 tps=100 nb_sec=545
case_no=93 label=Case6.81 nb_sol=0 ticks=58317 tps=100 nb_sec=583
case_no=93 label=Case6.81 nb_sol=0 ticks=69931 tps=100 nb_sec=699
case_no=93 label=Case6.81 nb_sol=0 ticks=40145 tps=100 nb_sec=401
case_no=93 label=Case6.81 nb_sol=0 ticks=72254 tps=100 nb_sec=722
case_no=93 label=Case6.81 nb_sol=0 ticks=60064 tps=100 nb_sec=600
case_no=93 label=Case6.81 nb_sol=0 ticks=52252 tps=100 nb_sec=522
case_no=93 label=Case6.81 nb_sol=0 ticks=54348 tps=100 nb_sec=543
case_no=93 label=Case6.81 nb_sol=0 ticks=69875 tps=100 nb_sec=698
case_no=93 label=Case6.81 nb_sol=0 ticks=64361 tps=100 nb_sec=643
case_no=93 label=Case6.81 nb_sol=0 ticks=43780 tps=100 nb_sec=437
case_no=93 label=Case6.81 nb_sol=0 ticks=47779 tps=100 nb_sec=477
case_no=93 label=Case6.81 nb_sol=0 ticks=72089 tps=100 nb_sec=720
case_no=93 label=Case6.81 nb_sol=0 ticks=52673 tps=100 nb_sec=526
case_no=93 label=Case6.81 nb_sol=0 ticks=67292 tps=100 nb_sec=672
case_no=93 label=Case6.81 nb_sol=0 ticks=56739 tps=100 nb_sec=567
case_no=93 label=Case6.81 nb_sol=0 ticks=103675 tps=100 nb_sec=1036
case_no=93 label=Case6.81 nb_sol=0 ticks=52544 tps=100 nb_sec=525
case_no=93 label=Case6.81 nb_sol=0 ticks=51818 tps=100 nb_sec=518
case_no=93 label=Case6.81 nb_sol=0 ticks=107126 tps=100 nb_sec=1071
case_no=93 label=Case6.81 nb_sol=0 ticks=66342 tps=100 nb_sec=663
case_no=93 label=Case6.81 nb_sol=0 ticks=36504 tps=100 nb_sec=365
case_no=93 label=Case6.81 nb_sol=0 ticks=55433 tps=100 nb_sec=554
case_no=93 label=Case6.81 nb_sol=0 ticks=42498 tps=100 nb_sec=424
case_no=93 label=Case6.81 nb_sol=0 ticks=53726 tps=100 nb_sec=537
case_no=93 label=Case6.81 nb_sol=0 ticks=131617 tps=100 nb_sec=1316
case_no=93 label=Case6.81 nb_sol=0 ticks=41693 tps=100 nb_sec=416
case_no=93 label=Case6.81 nb_sol=0 ticks=51321 tps=100 nb_sec=513
case_no=93 label=Case6.81 nb_sol=0 ticks=51338 tps=100 nb_sec=513
case_no=93 label=Case6.81 nb_sol=0 ticks=64707 tps=100 nb_sec=647
case_no=93 label=Case6.81 nb_sol=0 ticks=44022 tps=100 nb_sec=440
case_no=93 label=Case6.81 nb_sol=0 ticks=41726 tps=100 nb_sec=417
case_no=93 label=Case6.81 nb_sol=0 ticks=60672 tps=100 nb_sec=606
case_no=93 label=Case6.81 nb_sol=0 ticks=53241 tps=100 nb_sec=532
case_no=93 label=Case6.81 nb_sol=0 ticks=34608 tps=100 nb_sec=346
case_no=93 label=Case6.81 nb_sol=0 ticks=70725 tps=100 nb_sec=707
case_no=93 label=Case6.81 nb_sol=0 ticks=66726 tps=100 nb_sec=667
case_no=93 label=Case6.81 nb_sol=0 ticks=100164 tps=100 nb_sec=1001
case_no=93 label=Case6.81 nb_sol=0 ticks=62710 tps=100 nb_sec=627
case_no=93 label=Case6.81 nb_sol=0 ticks=38950 tps=100 nb_sec=389
case_no=93 label=Case6.81 nb_sol=0 ticks=69461 tps=100 nb_sec=694
case_no=93 label=Case6.81 nb_sol=0 ticks=66451 tps=100 nb_sec=664
case_no=93 label=Case6.81 nb_sol=0 ticks=51757 tps=100 nb_sec=517
case_no=93 label=Case6.81 nb_sol=0 ticks=37224 tps=100 nb_sec=372
case_no=93 label=Case6.81 nb_sol=0 ticks=46982 tps=100 nb_sec=469
case_no=93 label=Case6.81 nb_sol=0 ticks=80927 tps=100 nb_sec=809
case_no=93 label=Case6.81 nb_sol=0 ticks=75693 tps=100 nb_sec=756
case_no=93 label=Case6.81 nb_sol=0 ticks=47983 tps=100 nb_sec=479
case_no=93 label=Case6.81 nb_sol=0 ticks=58664 tps=100 nb_sec=586
case_no=93 label=Case6.81 nb_sol=0 ticks=72222 tps=100 nb_sec=722
case_no=93 label=Case6.81 nb_sol=0 ticks=67778 tps=100 nb_sec=677
case_no=93 label=Case6.81 nb_sol=0 ticks=50802 tps=100 nb_sec=508
case_no=93 label=Case6.81 nb_sol=0 ticks=64427 tps=100 nb_sec=644
case_no=93 label=Case6.81 nb_sol=0 ticks=67639 tps=100 nb_sec=676
case_no=93 label=Case6.81 nb_sol=0 ticks=64296 tps=100 nb_sec=642
case_no=93 label=Case6.81 nb_sol=0 ticks=58846 tps=100 nb_sec=588
case_no=93 label=Case6.81 nb_sol=0 ticks=84013 tps=100 nb_sec=840
case_no=93 label=Case6.81 nb_sol=0 ticks=40732 tps=100 nb_sec=407
case_no=93 label=Case6.81 nb_sol=0 ticks=69687 tps=100 nb_sec=696
case_no=93 label=Case6.81 nb_sol=0 ticks=56654 tps=100 nb_sec=566
case_no=93 label=Case6.81 nb_sol=0 ticks=70138 tps=100 nb_sec=701
case_no=93 label=Case6.81 nb_sol=0 ticks=52214 tps=100 nb_sec=522
case_no=93 label=Case6.81 nb_sol=0 ticks=71733 tps=100 nb_sec=717
case_no=93 label=Case6.81 nb_sol=0 ticks=55121 tps=100 nb_sec=551
case_no=93 label=Case6.81 nb_sol=0 ticks=106778 tps=100 nb_sec=1067
case_no=93 label=Case6.81 nb_sol=0 ticks=57686 tps=100 nb_sec=576
case_no=93 label=Case6.81 nb_sol=0 ticks=54450 tps=100 nb_sec=544
case_no=93 label=Case6.81 nb_sol=0 ticks=51516 tps=100 nb_sec=515
case_no=93 label=Case6.81 nb_sol=0 ticks=37694 tps=100 nb_sec=376
case_no=93 label=Case6.81 nb_sol=0 ticks=52166 tps=100 nb_sec=521
case_no=93 label=Case6.81 nb_sol=0 ticks=58908 tps=100 nb_sec=589
case_no=93 label=Case6.81 nb_sol=0 ticks=61106 tps=100 nb_sec=611
case_no=93 label=Case6.81 nb_sol=0 ticks=50010 tps=100 nb_sec=500
case_no=93 label=Case6.81 nb_sol=0 ticks=65855 tps=100 nb_sec=658
case_no=93 label=Case6.81 nb_sol=0 ticks=72458 tps=100 nb_sec=724
case_no=93 label=Case6.81 nb_sol=0 ticks=51763 tps=100 nb_sec=517
case_no=93 label=Case6.81 nb_sol=0 ticks=67743 tps=100 nb_sec=677
case_no=93 label=Case6.81 nb_sol=0 ticks=37236 tps=100 nb_sec=372
case_no=93 label=Case6.81 nb_sol=0 ticks=75995 tps=100 nb_sec=759
case_no=93 label=Case6.81 nb_sol=0 ticks=69586 tps=100 nb_sec=695
case_no=93 label=Case6.81 nb_sol=0 ticks=62209 tps=100 nb_sec=622
case_no=93 label=Case6.81 nb_sol=0 ticks=52554 tps=100 nb_sec=525
case_no=93 label=Case6.81 nb_sol=0 ticks=40654 tps=100 nb_sec=406
case_no=93 label=Case6.81 nb_sol=0 ticks=60344 tps=100 nb_sec=603
case_no=93 label=Case6.81 nb_sol=0 ticks=79424 tps=100 nb_sec=794
case_no=93 label=Case6.81 nb_sol=0 ticks=52971 tps=100 nb_sec=529
case_no=93 label=Case6.81 nb_sol=0 ticks=87901 tps=100 nb_sec=879
case_no=93 label=Case6.81 nb_sol=0 ticks=89587 tps=100 nb_sec=895
case_no=93 label=Case6.81 nb_sol=0 ticks=39533 tps=100 nb_sec=395
case_no=93 label=Case6.81 nb_sol=0 ticks=94601 tps=100 nb_sec=946
case_no=93 label=Case6.81 nb_sol=0 ticks=42509 tps=100 nb_sec=425
case_no=93 label=Case6.81 nb_sol=0 ticks=57490 tps=100 nb_sec=574
case_no=93 label=Case6.81 nb_sol=0 ticks=56138 tps=100 nb_sec=561
case_no=93 label=Case6.81 nb_sol=0 ticks=46784 tps=100 nb_sec=467
case_no=93 label=Case6.81 nb_sol=0 ticks=85063 tps=100 nb_sec=850
case_no=93 label=Case6.81 nb_sol=0 ticks=40126 tps=100 nb_sec=401
case_no=93 label=Case6.81 nb_sol=0 ticks=64613 tps=100 nb_sec=646
case_no=93 label=Case6.81 nb_sol=0 ticks=39920 tps=100 nb_sec=399
case_no=93 label=Case6.81 nb_sol=0 ticks=125761 tps=100 nb_sec=1257
case_no=93 label=Case6.81 nb_sol=0 ticks=61610 tps=100 nb_sec=616
case_no=93 label=Case6.81 nb_sol=0 ticks=33993 tps=100 nb_sec=339
case_no=93 label=Case6.81 nb_sol=0 ticks=79221 tps=100 nb_sec=792
case_no=93 label=Case6.81 nb_sol=0 ticks=55113 tps=100 nb_sec=551
case_no=93 label=Case6.81 nb_sol=0 ticks=45986 tps=100 nb_sec=459
case_no=93 label=Case6.81 nb_sol=0 ticks=68290 tps=100 nb_sec=682
case_no=93 label=Case6.81 nb_sol=0 ticks=51115 tps=100 nb_sec=511
case_no=93 label=Case6.81 nb_sol=0 ticks=81354 tps=100 nb_sec=813
case_no=93 label=Case6.81 nb_sol=0 ticks=73146 tps=100 nb_sec=731
case_no=93 label=Case6.81 nb_sol=0 ticks=62977 tps=100 nb_sec=629
case_no=93 label=Case6.81 nb_sol=0 ticks=68499 tps=100 nb_sec=684
case_no=93 label=Case6.81 nb_sol=0 ticks=52968 tps=100 nb_sec=529
case_no=93 label=Case6.81 nb_sol=0 ticks=41159 tps=100 nb_sec=411
case_no=93 label=Case6.81 nb_sol=0 ticks=67731 tps=100 nb_sec=677
case_no=93 label=Case6.81 nb_sol=0 ticks=40094 tps=100 nb_sec=400
case_no=93 label=Case6.81 nb_sol=0 ticks=75516 tps=100 nb_sec=755
case_no=93 label=Case6.81 nb_sol=0 ticks=49596 tps=100 nb_sec=495
case_no=93 label=Case6.81 nb_sol=0 ticks=62299 tps=100 nb_sec=622
case_no=93 label=Case6.81 nb_sol=0 ticks=63505 tps=100 nb_sec=635
case_no=93 label=Case6.81 nb_sol=0 ticks=39188 tps=100 nb_sec=391
case_no=93 label=Case6.81 nb_sol=0 ticks=47445 tps=100 nb_sec=474
case_no=93 label=Case6.81 nb_sol=0 ticks=39201 tps=100 nb_sec=392
case_no=93 label=Case6.81 nb_sol=0 ticks=60256 tps=100 nb_sec=602
case_no=93 label=Case6.81 nb_sol=0 ticks=37025 tps=100 nb_sec=370
case_no=93 label=Case6.81 nb_sol=0 ticks=34710 tps=100 nb_sec=347
case_no=93 label=Case6.81 nb_sol=0 ticks=60758 tps=100 nb_sec=607
case_no=93 label=Case6.81 nb_sol=0 ticks=65968 tps=100 nb_sec=659
case_no=93 label=Case6.81 nb_sol=0 ticks=59378 tps=100 nb_sec=593
case_no=93 label=Case6.81 nb_sol=0 ticks=53510 tps=100 nb_sec=535
case_no=93 label=Case6.81 nb_sol=0 ticks=58063 tps=100 nb_sec=580
case_no=93 label=Case6.81 nb_sol=0 ticks=56303 tps=100 nb_sec=563
case_no=93 label=Case6.81 nb_sol=0 ticks=69608 tps=100 nb_sec=696
case_no=93 label=Case6.81 nb_sol=0 ticks=51139 tps=100 nb_sec=511
case_no=93 label=Case6.81 nb_sol=0 ticks=55742 tps=100 nb_sec=557
case_no=93 label=Case6.81 nb_sol=0 ticks=36204 tps=100 nb_sec=362
case_no=93 label=Case6.81 nb_sol=0 ticks=53224 tps=100 nb_sec=532
case_no=93 label=Case6.81 nb_sol=0 ticks=68151 tps=100 nb_sec=681
case_no=93 label=Case6.81 nb_sol=0 ticks=68432 tps=100 nb_sec=684
case_no=93 label=Case6.81 nb_sol=0 ticks=67749 tps=100 nb_sec=677
case_no=93 label=Case6.81 nb_sol=0 ticks=71483 tps=100 nb_sec=714
case_no=93 label=Case6.81 nb_sol=0 ticks=58687 tps=100 nb_sec=586
case_no=93 label=Case6.81 nb_sol=0 ticks=80586 tps=100 nb_sec=805
case_no=93 label=Case6.81 nb_sol=0 ticks=75577 tps=100 nb_sec=755
case_no=93 label=Case6.81 nb_sol=0 ticks=76233 tps=100 nb_sec=762
case_no=93 label=Case6.81 nb_sol=0 ticks=62968 tps=100 nb_sec=629
case_no=93 label=Case6.81 nb_sol=0 ticks=78084 tps=100 nb_sec=780
case_no=93 label=Case6.81 nb_sol=0 ticks=81976 tps=100 nb_sec=819
case_no=93 label=Case6.81 nb_sol=0 ticks=63354 tps=100 nb_sec=633
case_no=93 label=Case6.81 nb_sol=0 ticks=40317 tps=100 nb_sec=403
case_no=93 label=Case6.81 nb_sol=0 ticks=76015 tps=100 nb_sec=760
case_no=93 label=Case6.81 nb_sol=0 ticks=74898 tps=100 nb_sec=748
case_no=93 label=Case6.81 nb_sol=0 ticks=108985 tps=100 nb_sec=1089
case_no=93 label=Case6.81 nb_sol=0 ticks=49097 tps=100 nb_sec=490
case_no=93 label=Case6.81 nb_sol=0 ticks=75764 tps=100 nb_sec=757
case_no=93 label=Case6.81 nb_sol=0 ticks=73627 tps=100 nb_sec=736
case_no=93 label=Case6.81 nb_sol=0 ticks=71020 tps=100 nb_sec=710
case_no=93 label=Case6.81 nb_sol=0 ticks=49325 tps=100 nb_sec=493
case_no=93 label=Case6.81 nb_sol=0 ticks=43312 tps=100 nb_sec=433
case_no=93 label=Case6.81 nb_sol=0 ticks=53629 tps=100 nb_sec=536
case_no=93 label=Case6.81 nb_sol=0 ticks=73176 tps=100 nb_sec=731
case_no=93 label=Case6.81 nb_sol=0 ticks=57951 tps=100 nb_sec=579
case_no=93 label=Case6.81 nb_sol=0 ticks=102865 tps=100 nb_sec=1028
case_no=93 label=Case6.81 nb_sol=0 ticks=68739 tps=100 nb_sec=687
case_no=93 label=Case6.81 nb_sol=0 ticks=82529 tps=100 nb_sec=825
case_no=93 label=Case6.81 nb_sol=0 ticks=58008 tps=100 nb_sec=580
case_no=93 label=Case6.81 nb_sol=0 ticks=58919 tps=100 nb_sec=589
case_no=93 label=Case6.81 nb_sol=0 ticks=58455 tps=100 nb_sec=584
case_no=93 label=Case6.81 nb_sol=0 ticks=75386 tps=100 nb_sec=753
case_no=93 label=Case6.81 nb_sol=0 ticks=63065 tps=100 nb_sec=630
case_no=93 label=Case6.81 nb_sol=0 ticks=59811 tps=100 nb_sec=598
case_no=93 label=Case6.81 nb_sol=0 ticks=81973 tps=100 nb_sec=819
case_no=93 label=Case6.81 nb_sol=0 ticks=52860 tps=100 nb_sec=528
case_no=93 label=Case6.81 nb_sol=0 ticks=38127 tps=100 nb_sec=381
case_no=93 label=Case6.81 nb_sol=0 ticks=61155 tps=100 nb_sec=611
case_no=93 label=Case6.81 nb_sol=0 ticks=41258 tps=100 nb_sec=412
case_no=93 label=Case6.81 nb_sol=0 ticks=61969 tps=100 nb_sec=619
case_no=93 label=Case6.81 nb_sol=0 ticks=67800 tps=100 nb_sec=678
case_no=93 label=Case6.81 nb_sol=0 ticks=37688 tps=100 nb_sec=376
case_no=93 label=Case6.81 nb_sol=0 ticks=65558 tps=100 nb_sec=655
case_no=93 label=Case6.81 nb_sol=0 ticks=81531 tps=100 nb_sec=815
case_no=93 label=Case6.81 nb_sol=0 ticks=37287 tps=100 nb_sec=372
case_no=93 label=Case6.81 nb_sol=0 ticks=41881 tps=100 nb_sec=418
case_no=93 label=Case6.81 nb_sol=0 ticks=45440 tps=100 nb_sec=454
case_no=93 label=Case6.81 nb_sol=0 ticks=84656 tps=100 nb_sec=846
case_no=93 label=Case6.81 nb_sol=0 ticks=54152 tps=100 nb_sec=541
case_no=93 label=Case6.81 nb_sol=0 ticks=80981 tps=100 nb_sec=809
case_no=93 label=Case6.81 nb_sol=0 ticks=42117 tps=100 nb_sec=421
case_no=93 label=Case6.81 nb_sol=0 ticks=37577 tps=100 nb_sec=375
case_no=93 label=Case6.81 nb_sol=0 ticks=71497 tps=100 nb_sec=714
case_no=93 label=Case6.81 nb_sol=0 ticks=45360 tps=100 nb_sec=453
case_no=93 label=Case6.81 nb_sol=0 ticks=58762 tps=100 nb_sec=587
case_no=93 label=Case6.81 nb_sol=0 ticks=42381 tps=100 nb_sec=423
case_no=93 label=Case6.81 nb_sol=0 ticks=71996 tps=100 nb_sec=719
case_no=93 label=Case6.81 nb_sol=0 ticks=83215 tps=100 nb_sec=832
case_no=93 label=Case6.81 nb_sol=0 ticks=45294 tps=100 nb_sec=452
case_no=93 label=Case6.81 nb_sol=0 ticks=74005 tps=100 nb_sec=740
case_no=93 label=Case6.81 nb_sol=0 ticks=85233 tps=100 nb_sec=852
case_no=93 label=Case6.81 nb_sol=0 ticks=75690 tps=100 nb_sec=756
case_no=93 label=Case6.81 nb_sol=0 ticks=64012 tps=100 nb_sec=640
case_no=93 label=Case6.81 nb_sol=0 ticks=43257 tps=100 nb_sec=432
case_no=93 label=Case6.81 nb_sol=0 ticks=41117 tps=100 nb_sec=411
case_no=93 label=Case6.81 nb_sol=0 ticks=53812 tps=100 nb_sec=538
case_no=93 label=Case6.81 nb_sol=0 ticks=51070 tps=100 nb_sec=510
case_no=93 label=Case6.81 nb_sol=0 ticks=65972 tps=100 nb_sec=659
case_no=93 label=Case6.81 nb_sol=0 ticks=36934 tps=100 nb_sec=369
case_no=93 label=Case6.81 nb_sol=0 ticks=56688 tps=100 nb_sec=566
case_no=93 label=Case6.81 nb_sol=0 ticks=54904 tps=100 nb_sec=549
case_no=93 label=Case6.81 nb_sol=0 ticks=57643 tps=100 nb_sec=576
case_no=93 label=Case6.81 nb_sol=0 ticks=59144 tps=100 nb_sec=591
case_no=93 label=Case6.81 nb_sol=0 ticks=41884 tps=100 nb_sec=418
case_no=93 label=Case6.81 nb_sol=0 ticks=70632 tps=100 nb_sec=706
case_no=93 label=Case6.81 nb_sol=0 ticks=68540 tps=100 nb_sec=685
case_no=93 label=Case6.81 nb_sol=0 ticks=76605 tps=100 nb_sec=766
case_no=93 label=Case6.81 nb_sol=0 ticks=66047 tps=100 nb_sec=660
case_no=93 label=Case6.81 nb_sol=0 ticks=53055 tps=100 nb_sec=530
case_no=93 label=Case6.81 nb_sol=0 ticks=54974 tps=100 nb_sec=549
case_no=93 label=Case6.81 nb_sol=0 ticks=41769 tps=100 nb_sec=417
case_no=93 label=Case6.81 nb_sol=0 ticks=63790 tps=100 nb_sec=637
case_no=93 label=Case6.81 nb_sol=0 ticks=54352 tps=100 nb_sec=543
case_no=93 label=Case6.81 nb_sol=0 ticks=39337 tps=100 nb_sec=393
case_no=93 label=Case6.81 nb_sol=0 ticks=63779 tps=100 nb_sec=637
case_no=93 label=Case6.81 nb_sol=0 ticks=64109 tps=100 nb_sec=641
case_no=93 label=Case6.81 nb_sol=0 ticks=47108 tps=100 nb_sec=471
case_no=93 label=Case6.81 nb_sol=0 ticks=72463 tps=100 nb_sec=724
case_no=93 label=Case6.81 nb_sol=0 ticks=40966 tps=100 nb_sec=409
case_no=93 label=Case6.81 nb_sol=0 ticks=57404 tps=100 nb_sec=574
case_no=93 label=Case6.81 nb_sol=0 ticks=54653 tps=100 nb_sec=546
case_no=93 label=Case6.81 nb_sol=0 ticks=69311 tps=100 nb_sec=693
case_no=93 label=Case6.81 nb_sol=0 ticks=76979 tps=100 nb_sec=769
case_no=93 label=Case6.81 nb_sol=0 ticks=56860 tps=100 nb_sec=568
case_no=93 label=Case6.81 nb_sol=0 ticks=58700 tps=100 nb_sec=587
case_no=93 label=Case6.81 nb_sol=0 ticks=90140 tps=100 nb_sec=901
case_no=93 label=Case6.81 nb_sol=0 ticks=72972 tps=100 nb_sec=729
case_no=93 label=Case6.81 nb_sol=0 ticks=52274 tps=100 nb_sec=522
case_no=93 label=Case6.81 nb_sol=0 ticks=62584 tps=100 nb_sec=625
case_no=93 label=Case6.81 nb_sol=0 ticks=72267 tps=100 nb_sec=722
case_no=93 label=Case6.81 nb_sol=0 ticks=37897 tps=100 nb_sec=378
case_no=93 label=Case6.81 nb_sol=0 ticks=59756 tps=100 nb_sec=597
case_no=93 label=Case6.81 nb_sol=0 ticks=41075 tps=100 nb_sec=410
case_no=93 label=Case6.81 nb_sol=0 ticks=81179 tps=100 nb_sec=811
case_no=93 label=Case6.81 nb_sol=0 ticks=55785 tps=100 nb_sec=557
case_no=93 label=Case6.81 nb_sol=0 ticks=86536 tps=100 nb_sec=865
case_no=93 label=Case6.81 nb_sol=0 ticks=59852 tps=100 nb_sec=598
case_no=93 label=Case6.81 nb_sol=0 ticks=69474 tps=100 nb_sec=694
case_no=93 label=Case6.81 nb_sol=0 ticks=73066 tps=100 nb_sec=730
case_no=93 label=Case6.81 nb_sol=0 ticks=76367 tps=100 nb_sec=763
case_no=93 label=Case6.81 nb_sol=0 ticks=79155 tps=100 nb_sec=791
case_no=93 label=Case6.81 nb_sol=0 ticks=88963 tps=100 nb_sec=889
case_no=93 label=Case6.81 nb_sol=0 ticks=48141 tps=100 nb_sec=481
case_no=93 label=Case6.81 nb_sol=0 ticks=66123 tps=100 nb_sec=661
case_no=93 label=Case6.81 nb_sol=0 ticks=85351 tps=100 nb_sec=853
case_no=93 label=Case6.81 nb_sol=0 ticks=68880 tps=100 nb_sec=688
case_no=93 label=Case6.81 nb_sol=0 ticks=61473 tps=100 nb_sec=614
case_no=93 label=Case6.81 nb_sol=0 ticks=117491 tps=100 nb_sec=1174
case_no=93 label=Case6.81 nb_sol=0 ticks=64022 tps=100 nb_sec=640
case_no=93 label=Case6.81 nb_sol=0 ticks=36374 tps=100 nb_sec=363
case_no=93 label=Case6.81 nb_sol=0 ticks=96687 tps=100 nb_sec=966
case_no=93 label=Case6.81 nb_sol=0 ticks=49441 tps=100 nb_sec=494
case_no=93 label=Case6.81 nb_sol=0 ticks=114478 tps=100 nb_sec=1144
case_no=93 label=Case6.81 nb_sol=0 ticks=42695 tps=100 nb_sec=426
case_no=93 label=Case6.81 nb_sol=0 ticks=40179 tps=100 nb_sec=401
case_no=93 label=Case6.81 nb_sol=0 ticks=95630 tps=100 nb_sec=956
case_no=93 label=Case6.81 nb_sol=0 ticks=68773 tps=100 nb_sec=687
case_no=93 label=Case6.81 nb_sol=0 ticks=40309 tps=100 nb_sec=403
case_no=93 label=Case6.81 nb_sol=0 ticks=50408 tps=100 nb_sec=504
case_no=93 label=Case6.81 nb_sol=0 ticks=143567 tps=100 nb_sec=1435
case_no=93 label=Case6.81 nb_sol=0 ticks=65151 tps=100 nb_sec=651
case_no=93 label=Case6.81 nb_sol=0 ticks=97286 tps=100 nb_sec=972
case_no=93 label=Case6.81 nb_sol=0 ticks=84655 tps=100 nb_sec=846
case_no=93 label=Case6.81 nb_sol=0 ticks=61737 tps=100 nb_sec=617
case_no=93 label=Case6.81 nb_sol=0 ticks=81455 tps=100 nb_sec=814
case_no=93 label=Case6.81 nb_sol=0 ticks=76299 tps=100 nb_sec=762
case_no=93 label=Case6.81 nb_sol=0 ticks=56619 tps=100 nb_sec=566
case_no=93 label=Case6.81 nb_sol=0 ticks=71989 tps=100 nb_sec=719
case_no=93 label=Case6.81 nb_sol=0 ticks=35733 tps=100 nb_sec=357
case_no=93 label=Case6.81 nb_sol=0 ticks=61115 tps=100 nb_sec=611
case_no=93 label=Case6.81 nb_sol=0 ticks=57057 tps=100 nb_sec=570
case_no=93 label=Case6.81 nb_sol=0 ticks=40148 tps=100 nb_sec=401
case_no=93 label=Case6.81 nb_sol=0 ticks=120515 tps=100 nb_sec=1205
case_no=93 label=Case6.81 nb_sol=0 ticks=43713 tps=100 nb_sec=437
case_no=93 label=Case6.81 nb_sol=0 ticks=42898 tps=100 nb_sec=428
case_no=93 label=Case6.81 nb_sol=0 ticks=120017 tps=100 nb_sec=1200
case_no=93 label=Case6.81 nb_sol=0 ticks=62687 tps=100 nb_sec=626
case_no=93 label=Case6.81 nb_sol=0 ticks=63759 tps=100 nb_sec=637
case_no=93 label=Case6.81 nb_sol=0 ticks=68268 tps=100 nb_sec=682
case_no=93 label=Case6.81 nb_sol=0 ticks=32672 tps=100 nb_sec=326
case_no=93 label=Case6.81 nb_sol=0 ticks=57478 tps=100 nb_sec=574
case_no=93 label=Case6.81 nb_sol=0 ticks=75945 tps=100 nb_sec=759
case_no=93 label=Case6.81 nb_sol=0 ticks=91202 tps=100 nb_sec=912
case_no=93 label=Case6.81 nb_sol=0 ticks=70748 tps=100 nb_sec=707
case_no=93 label=Case6.81 nb_sol=0 ticks=56378 tps=100 nb_sec=563
case_no=93 label=Case6.81 nb_sol=0 ticks=74587 tps=100 nb_sec=745
case_no=93 label=Case6.81 nb_sol=0 ticks=75921 tps=100 nb_sec=759
case_no=93 label=Case6.81 nb_sol=0 ticks=47912 tps=100 nb_sec=479
case_no=93 label=Case6.81 nb_sol=0 ticks=79750 tps=100 nb_sec=797
case_no=93 label=Case6.81 nb_sol=0 ticks=77808 tps=100 nb_sec=778
case_no=93 label=Case6.81 nb_sol=0 ticks=55367 tps=100 nb_sec=553
case_no=93 label=Case6.81 nb_sol=0 ticks=59694 tps=100 nb_sec=596
case_no=93 label=Case6.81 nb_sol=0 ticks=130170 tps=100 nb_sec=1301
case_no=93 label=Case6.81 nb_sol=0 ticks=51647 tps=100 nb_sec=516
case_no=93 label=Case6.81 nb_sol=0 ticks=71332 tps=100 nb_sec=713
case_no=93 label=Case6.81 nb_sol=0 ticks=84954 tps=100 nb_sec=849
case_no=93 label=Case6.81 nb_sol=0 ticks=62760 tps=100 nb_sec=627
case_no=93 label=Case6.81 nb_sol=0 ticks=60877 tps=100 nb_sec=608
case_no=93 label=Case6.81 nb_sol=0 ticks=65910 tps=100 nb_sec=659
case_no=93 label=Case6.81 nb_sol=0 ticks=64567 tps=100 nb_sec=645
case_no=93 label=Case6.81 nb_sol=0 ticks=60196 tps=100 nb_sec=601
case_no=93 label=Case6.81 nb_sol=0 ticks=54907 tps=100 nb_sec=549
case_no=93 label=Case6.81 nb_sol=0 ticks=58782 tps=100 nb_sec=587
case_no=93 label=Case6.81 nb_sol=0 ticks=69864 tps=100 nb_sec=698
case_no=93 label=Case6.81 nb_sol=0 ticks=65997 tps=100 nb_sec=659
case_no=93 label=Case6.81 nb_sol=0 ticks=55745 tps=100 nb_sec=557
case_no=93 label=Case6.81 nb_sol=0 ticks=63434 tps=100 nb_sec=634
case_no=93 label=Case6.81 nb_sol=0 ticks=65217 tps=100 nb_sec=652
case_no=93 label=Case6.81 nb_sol=0 ticks=58717 tps=100 nb_sec=587
case_no=93 label=Case6.81 nb_sol=0 ticks=52811 tps=100 nb_sec=528
case_no=93 label=Case6.81 nb_sol=0 ticks=68564 tps=100 nb_sec=685
case_no=93 label=Case6.81 nb_sol=0 ticks=76900 tps=100 nb_sec=769
case_no=93 label=Case6.81 nb_sol=0 ticks=69263 tps=100 nb_sec=692
case_no=93 label=Case6.81 nb_sol=0 ticks=99620 tps=100 nb_sec=996
case_no=93 label=Case6.81 nb_sol=0 ticks=58036 tps=100 nb_sec=580
case_no=93 label=Case6.81 nb_sol=0 ticks=39275 tps=100 nb_sec=392
case_no=93 label=Case6.81 nb_sol=0 ticks=101546 tps=100 nb_sec=1015
case_no=93 label=Case6.81 nb_sol=0 ticks=70185 tps=100 nb_sec=701
case_no=93 label=Case6.81 nb_sol=0 ticks=40654 tps=100 nb_sec=406
case_no=93 label=Case6.81 nb_sol=0 ticks=80948 tps=100 nb_sec=809
case_no=93 label=Case6.81 nb_sol=0 ticks=52740 tps=100 nb_sec=527
case_no=93 label=Case6.81 nb_sol=0 ticks=63554 tps=100 nb_sec=635
case_no=93 label=Case6.81 nb_sol=0 ticks=69542 tps=100 nb_sec=695
case_no=93 label=Case6.81 nb_sol=0 ticks=57734 tps=100 nb_sec=577
case_no=93 label=Case6.81 nb_sol=0 ticks=41297 tps=100 nb_sec=412
case_no=93 label=Case6.81 nb_sol=0 ticks=61135 tps=100 nb_sec=611
case_no=93 label=Case6.81 nb_sol=0 ticks=39190 tps=100 nb_sec=391
case_no=93 label=Case6.81 nb_sol=0 ticks=68037 tps=100 nb_sec=680
case_no=93 label=Case6.81 nb_sol=0 ticks=108845 tps=100 nb_sec=1088
case_no=93 label=Case6.81 nb_sol=0 ticks=72682 tps=100 nb_sec=726
case_no=93 label=Case6.81 nb_sol=0 ticks=37691 tps=100 nb_sec=376
case_no=93 label=Case6.81 nb_sol=0 ticks=60040 tps=100 nb_sec=600
case_no=93 label=Case6.81 nb_sol=0 ticks=75635 tps=100 nb_sec=756
case_no=93 label=Case6.81 nb_sol=0 ticks=59005 tps=100 nb_sec=590
case_no=93 label=Case6.81 nb_sol=0 ticks=37909 tps=100 nb_sec=379
case_no=93 label=Case6.81 nb_sol=0 ticks=49129 tps=100 nb_sec=491
case_no=93 label=Case6.81 nb_sol=0 ticks=83250 tps=100 nb_sec=832
case_no=93 label=Case6.81 nb_sol=0 ticks=52629 tps=100 nb_sec=526
case_no=93 label=Case6.81 nb_sol=0 ticks=102790 tps=100 nb_sec=1027
case_no=93 label=Case6.81 nb_sol=0 ticks=50114 tps=100 nb_sec=501
case_no=93 label=Case6.81 nb_sol=0 ticks=52361 tps=100 nb_sec=523
case_no=93 label=Case6.81 nb_sol=0 ticks=52578 tps=100 nb_sec=525
case_no=93 label=Case6.81 nb_sol=0 ticks=63653 tps=100 nb_sec=636
case_no=93 label=Case6.81 nb_sol=0 ticks=53313 tps=100 nb_sec=533
case_no=93 label=Case6.81 nb_sol=0 ticks=63413 tps=100 nb_sec=634
case_no=93 label=Case6.81 nb_sol=0 ticks=62574 tps=100 nb_sec=625
case_no=93 label=Case6.81 nb_sol=0 ticks=56477 tps=100 nb_sec=564
case_no=93 label=Case6.81 nb_sol=0 ticks=71778 tps=100 nb_sec=717
case_no=93 label=Case6.81 nb_sol=0 ticks=53986 tps=100 nb_sec=539
case_no=93 label=Case6.81 nb_sol=0 ticks=39082 tps=100 nb_sec=390
case_no=93 label=Case6.81 nb_sol=0 ticks=32565 tps=100 nb_sec=325
case_no=93 label=Case6.81 nb_sol=0 ticks=58774 tps=100 nb_sec=587
case_no=93 label=Case6.81 nb_sol=0 ticks=55502 tps=100 nb_sec=555
case_no=93 label=Case6.81 nb_sol=0 ticks=49474 tps=100 nb_sec=494
case_no=93 label=Case6.81 nb_sol=0 ticks=71203 tps=100 nb_sec=712
case_no=93 label=Case6.81 nb_sol=0 ticks=75469 tps=100 nb_sec=754
case_no=93 label=Case6.81 nb_sol=0 ticks=55220 tps=100 nb_sec=552
case_no=93 label=Case6.81 nb_sol=0 ticks=73211 tps=100 nb_sec=732
case_no=93 label=Case6.81 nb_sol=0 ticks=51954 tps=100 nb_sec=519
case_no=93 label=Case6.81 nb_sol=0 ticks=59264 tps=100 nb_sec=592
case_no=93 label=Case6.81 nb_sol=0 ticks=106209 tps=100 nb_sec=1062
case_no=93 label=Case6.81 nb_sol=0 ticks=58960 tps=100 nb_sec=589
case_no=93 label=Case6.81 nb_sol=0 ticks=54267 tps=100 nb_sec=542
case_no=93 label=Case6.81 nb_sol=0 ticks=41215 tps=100 nb_sec=412
case_no=93 label=Case6.81 nb_sol=0 ticks=70209 tps=100 nb_sec=702
case_no=93 label=Case6.81 nb_sol=0 ticks=83615 tps=100 nb_sec=836
case_no=93 label=Case6.81 nb_sol=0 ticks=56169 tps=100 nb_sec=561
case_no=93 label=Case6.81 nb_sol=0 ticks=49230 tps=100 nb_sec=492
case_no=93 label=Case6.81 nb_sol=0 ticks=37164 tps=100 nb_sec=371
case_no=93 label=Case6.81 nb_sol=0 ticks=92792 tps=100 nb_sec=927
case_no=93 label=Case6.81 nb_sol=0 ticks=37424 tps=100 nb_sec=374
Nb_sol=0
Nb_sec=318549
3-16:29:9 or 88 hours
missing cases:
none