argc=5
-M 1024
file2=30_select_Case6.129_starter_15_
checking files mod 1024 from 0 to 1023
case_no=141 label=Case6.129 nb_sol=0 ticks=303339 tps=100 nb_sec=3033
case_no=141 label=Case6.129 nb_sol=0 ticks=465509 tps=100 nb_sec=4655
case_no=141 label=Case6.129 nb_sol=0 ticks=617840 tps=100 nb_sec=6178
case_no=141 label=Case6.129 nb_sol=0 ticks=271472 tps=100 nb_sec=2714
case_no=141 label=Case6.129 nb_sol=0 ticks=317655 tps=100 nb_sec=3176
case_no=141 label=Case6.129 nb_sol=0 ticks=223161 tps=100 nb_sec=2231
case_no=141 label=Case6.129 nb_sol=0 ticks=682334 tps=100 nb_sec=6823
case_no=141 label=Case6.129 nb_sol=0 ticks=449558 tps=100 nb_sec=4495
case_no=141 label=Case6.129 nb_sol=0 ticks=559179 tps=100 nb_sec=5591
case_no=141 label=Case6.129 nb_sol=0 ticks=488103 tps=100 nb_sec=4881
case_no=141 label=Case6.129 nb_sol=0 ticks=315002 tps=100 nb_sec=3150
case_no=141 label=Case6.129 nb_sol=0 ticks=534550 tps=100 nb_sec=5345
case_no=141 label=Case6.129 nb_sol=0 ticks=975045 tps=100 nb_sec=9750
case_no=141 label=Case6.129 nb_sol=0 ticks=435251 tps=100 nb_sec=4352
case_no=141 label=Case6.129 nb_sol=0 ticks=309588 tps=100 nb_sec=3095
case_no=141 label=Case6.129 nb_sol=0 ticks=717036 tps=100 nb_sec=7170
case_no=141 label=Case6.129 nb_sol=0 ticks=577871 tps=100 nb_sec=5778
case_no=141 label=Case6.129 nb_sol=0 ticks=553304 tps=100 nb_sec=5533
case_no=141 label=Case6.129 nb_sol=0 ticks=647028 tps=100 nb_sec=6470
case_no=141 label=Case6.129 nb_sol=0 ticks=276247 tps=100 nb_sec=2762
case_no=141 label=Case6.129 nb_sol=0 ticks=497595 tps=100 nb_sec=4975
case_no=141 label=Case6.129 nb_sol=0 ticks=601131 tps=100 nb_sec=6011
case_no=141 label=Case6.129 nb_sol=0 ticks=440933 tps=100 nb_sec=4409
case_no=141 label=Case6.129 nb_sol=0 ticks=835797 tps=100 nb_sec=8357
case_no=141 label=Case6.129 nb_sol=0 ticks=517294 tps=100 nb_sec=5172
case_no=141 label=Case6.129 nb_sol=0 ticks=314389 tps=100 nb_sec=3143
case_no=141 label=Case6.129 nb_sol=0 ticks=662470 tps=100 nb_sec=6624
case_no=141 label=Case6.129 nb_sol=0 ticks=747843 tps=100 nb_sec=7478
case_no=141 label=Case6.129 nb_sol=0 ticks=855593 tps=100 nb_sec=8555
case_no=141 label=Case6.129 nb_sol=0 ticks=773218 tps=100 nb_sec=7732
case_no=141 label=Case6.129 nb_sol=0 ticks=491870 tps=100 nb_sec=4918
case_no=141 label=Case6.129 nb_sol=0 ticks=588501 tps=100 nb_sec=5885
case_no=141 label=Case6.129 nb_sol=0 ticks=657802 tps=100 nb_sec=6578
case_no=141 label=Case6.129 nb_sol=0 ticks=475701 tps=100 nb_sec=4757
case_no=141 label=Case6.129 nb_sol=0 ticks=517283 tps=100 nb_sec=5172
case_no=141 label=Case6.129 nb_sol=0 ticks=761413 tps=100 nb_sec=7614
case_no=141 label=Case6.129 nb_sol=0 ticks=524182 tps=100 nb_sec=5241
case_no=141 label=Case6.129 nb_sol=0 ticks=834592 tps=100 nb_sec=8345
case_no=141 label=Case6.129 nb_sol=0 ticks=741189 tps=100 nb_sec=7411
case_no=141 label=Case6.129 nb_sol=0 ticks=611834 tps=100 nb_sec=6118
case_no=141 label=Case6.129 nb_sol=0 ticks=501171 tps=100 nb_sec=5011
case_no=141 label=Case6.129 nb_sol=0 ticks=849073 tps=100 nb_sec=8490
case_no=141 label=Case6.129 nb_sol=0 ticks=533992 tps=100 nb_sec=5339
case_no=141 label=Case6.129 nb_sol=0 ticks=686878 tps=100 nb_sec=6868
case_no=141 label=Case6.129 nb_sol=0 ticks=467358 tps=100 nb_sec=4673
case_no=141 label=Case6.129 nb_sol=0 ticks=1109560 tps=100 nb_sec=11095
case_no=141 label=Case6.129 nb_sol=0 ticks=535848 tps=100 nb_sec=5358
case_no=141 label=Case6.129 nb_sol=0 ticks=611961 tps=100 nb_sec=6119
case_no=141 label=Case6.129 nb_sol=0 ticks=582893 tps=100 nb_sec=5828
case_no=141 label=Case6.129 nb_sol=0 ticks=411226 tps=100 nb_sec=4112
case_no=141 label=Case6.129 nb_sol=0 ticks=380802 tps=100 nb_sec=3808
case_no=141 label=Case6.129 nb_sol=0 ticks=441792 tps=100 nb_sec=4417
case_no=141 label=Case6.129 nb_sol=0 ticks=576343 tps=100 nb_sec=5763
case_no=141 label=Case6.129 nb_sol=0 ticks=486076 tps=100 nb_sec=4860
case_no=141 label=Case6.129 nb_sol=0 ticks=393537 tps=100 nb_sec=3935
case_no=141 label=Case6.129 nb_sol=0 ticks=583733 tps=100 nb_sec=5837
case_no=141 label=Case6.129 nb_sol=0 ticks=416715 tps=100 nb_sec=4167
case_no=141 label=Case6.129 nb_sol=0 ticks=601741 tps=100 nb_sec=6017
case_no=141 label=Case6.129 nb_sol=0 ticks=468612 tps=100 nb_sec=4686
case_no=141 label=Case6.129 nb_sol=0 ticks=1020829 tps=100 nb_sec=10208
case_no=141 label=Case6.129 nb_sol=0 ticks=579120 tps=100 nb_sec=5791
case_no=141 label=Case6.129 nb_sol=0 ticks=659649 tps=100 nb_sec=6596
case_no=141 label=Case6.129 nb_sol=0 ticks=570814 tps=100 nb_sec=5708
case_no=141 label=Case6.129 nb_sol=0 ticks=546667 tps=100 nb_sec=5466
case_no=141 label=Case6.129 nb_sol=0 ticks=542395 tps=100 nb_sec=5423
case_no=141 label=Case6.129 nb_sol=0 ticks=288109 tps=100 nb_sec=2881
case_no=141 label=Case6.129 nb_sol=0 ticks=409145 tps=100 nb_sec=4091
case_no=141 label=Case6.129 nb_sol=0 ticks=551667 tps=100 nb_sec=5516
case_no=141 label=Case6.129 nb_sol=0 ticks=413162 tps=100 nb_sec=4131
case_no=141 label=Case6.129 nb_sol=0 ticks=482025 tps=100 nb_sec=4820
case_no=141 label=Case6.129 nb_sol=0 ticks=239208 tps=100 nb_sec=2392
case_no=141 label=Case6.129 nb_sol=0 ticks=563310 tps=100 nb_sec=5633
case_no=141 label=Case6.129 nb_sol=0 ticks=511099 tps=100 nb_sec=5110
case_no=141 label=Case6.129 nb_sol=0 ticks=493388 tps=100 nb_sec=4933
case_no=141 label=Case6.129 nb_sol=0 ticks=176980 tps=100 nb_sec=1769
case_no=141 label=Case6.129 nb_sol=0 ticks=902773 tps=100 nb_sec=9027
case_no=141 label=Case6.129 nb_sol=0 ticks=540399 tps=100 nb_sec=5403
case_no=141 label=Case6.129 nb_sol=0 ticks=763037 tps=100 nb_sec=7630
case_no=141 label=Case6.129 nb_sol=0 ticks=780592 tps=100 nb_sec=7805
case_no=141 label=Case6.129 nb_sol=0 ticks=516614 tps=100 nb_sec=5166
case_no=141 label=Case6.129 nb_sol=0 ticks=654627 tps=100 nb_sec=6546
case_no=141 label=Case6.129 nb_sol=0 ticks=311675 tps=100 nb_sec=3116
case_no=141 label=Case6.129 nb_sol=0 ticks=457489 tps=100 nb_sec=4574
case_no=141 label=Case6.129 nb_sol=0 ticks=496183 tps=100 nb_sec=4961
case_no=141 label=Case6.129 nb_sol=0 ticks=597961 tps=100 nb_sec=5979
case_no=141 label=Case6.129 nb_sol=0 ticks=604040 tps=100 nb_sec=6040
case_no=141 label=Case6.129 nb_sol=0 ticks=568699 tps=100 nb_sec=5686
case_no=141 label=Case6.129 nb_sol=0 ticks=720900 tps=100 nb_sec=7209
case_no=141 label=Case6.129 nb_sol=0 ticks=582416 tps=100 nb_sec=5824
case_no=141 label=Case6.129 nb_sol=0 ticks=621685 tps=100 nb_sec=6216
case_no=141 label=Case6.129 nb_sol=0 ticks=513337 tps=100 nb_sec=5133
case_no=141 label=Case6.129 nb_sol=0 ticks=739187 tps=100 nb_sec=7391
case_no=141 label=Case6.129 nb_sol=0 ticks=551646 tps=100 nb_sec=5516
case_no=141 label=Case6.129 nb_sol=0 ticks=588288 tps=100 nb_sec=5882
case_no=141 label=Case6.129 nb_sol=0 ticks=583425 tps=100 nb_sec=5834
case_no=141 label=Case6.129 nb_sol=0 ticks=954129 tps=100 nb_sec=9541
case_no=141 label=Case6.129 nb_sol=0 ticks=533246 tps=100 nb_sec=5332
case_no=141 label=Case6.129 nb_sol=0 ticks=518843 tps=100 nb_sec=5188
case_no=141 label=Case6.129 nb_sol=0 ticks=423907 tps=100 nb_sec=4239
case_no=141 label=Case6.129 nb_sol=0 ticks=494384 tps=100 nb_sec=4943
case_no=141 label=Case6.129 nb_sol=0 ticks=403996 tps=100 nb_sec=4039
case_no=141 label=Case6.129 nb_sol=0 ticks=308250 tps=100 nb_sec=3082
case_no=141 label=Case6.129 nb_sol=0 ticks=327041 tps=100 nb_sec=3270
case_no=141 label=Case6.129 nb_sol=0 ticks=482539 tps=100 nb_sec=4825
case_no=141 label=Case6.129 nb_sol=0 ticks=262132 tps=100 nb_sec=2621
case_no=141 label=Case6.129 nb_sol=0 ticks=627055 tps=100 nb_sec=6270
case_no=141 label=Case6.129 nb_sol=0 ticks=421289 tps=100 nb_sec=4212
case_no=141 label=Case6.129 nb_sol=0 ticks=1161499 tps=100 nb_sec=11614
case_no=141 label=Case6.129 nb_sol=0 ticks=336187 tps=100 nb_sec=3361
case_no=141 label=Case6.129 nb_sol=0 ticks=887237 tps=100 nb_sec=8872
case_no=141 label=Case6.129 nb_sol=0 ticks=852453 tps=100 nb_sec=8524
case_no=141 label=Case6.129 nb_sol=0 ticks=675822 tps=100 nb_sec=6758
case_no=141 label=Case6.129 nb_sol=0 ticks=856204 tps=100 nb_sec=8562
case_no=141 label=Case6.129 nb_sol=0 ticks=499781 tps=100 nb_sec=4997
case_no=141 label=Case6.129 nb_sol=0 ticks=582123 tps=100 nb_sec=5821
case_no=141 label=Case6.129 nb_sol=0 ticks=604551 tps=100 nb_sec=6045
case_no=141 label=Case6.129 nb_sol=0 ticks=792905 tps=100 nb_sec=7929
case_no=141 label=Case6.129 nb_sol=0 ticks=504788 tps=100 nb_sec=5047
case_no=141 label=Case6.129 nb_sol=0 ticks=218591 tps=100 nb_sec=2185
case_no=141 label=Case6.129 nb_sol=0 ticks=482587 tps=100 nb_sec=4825
case_no=141 label=Case6.129 nb_sol=0 ticks=283020 tps=100 nb_sec=2830
case_no=141 label=Case6.129 nb_sol=0 ticks=549734 tps=100 nb_sec=5497
case_no=141 label=Case6.129 nb_sol=0 ticks=216750 tps=100 nb_sec=2167
case_no=141 label=Case6.129 nb_sol=0 ticks=1219903 tps=100 nb_sec=12199
case_no=141 label=Case6.129 nb_sol=0 ticks=461122 tps=100 nb_sec=4611
case_no=141 label=Case6.129 nb_sol=0 ticks=256267 tps=100 nb_sec=2562
case_no=141 label=Case6.129 nb_sol=0 ticks=450564 tps=100 nb_sec=4505
case_no=141 label=Case6.129 nb_sol=0 ticks=567589 tps=100 nb_sec=5675
case_no=141 label=Case6.129 nb_sol=0 ticks=611015 tps=100 nb_sec=6110
case_no=141 label=Case6.129 nb_sol=0 ticks=674980 tps=100 nb_sec=6749
case_no=141 label=Case6.129 nb_sol=0 ticks=809856 tps=100 nb_sec=8098
case_no=141 label=Case6.129 nb_sol=0 ticks=790071 tps=100 nb_sec=7900
case_no=141 label=Case6.129 nb_sol=0 ticks=772098 tps=100 nb_sec=7720
case_no=141 label=Case6.129 nb_sol=0 ticks=652646 tps=100 nb_sec=6526
case_no=141 label=Case6.129 nb_sol=0 ticks=569793 tps=100 nb_sec=5697
case_no=141 label=Case6.129 nb_sol=0 ticks=979091 tps=100 nb_sec=9790
case_no=141 label=Case6.129 nb_sol=0 ticks=1115804 tps=100 nb_sec=11158
case_no=141 label=Case6.129 nb_sol=0 ticks=579874 tps=100 nb_sec=5798
case_no=141 label=Case6.129 nb_sol=0 ticks=501711 tps=100 nb_sec=5017
case_no=141 label=Case6.129 nb_sol=0 ticks=1380145 tps=100 nb_sec=13801
case_no=141 label=Case6.129 nb_sol=0 ticks=636187 tps=100 nb_sec=6361
case_no=141 label=Case6.129 nb_sol=0 ticks=558536 tps=100 nb_sec=5585
case_no=141 label=Case6.129 nb_sol=0 ticks=547012 tps=100 nb_sec=5470
case_no=141 label=Case6.129 nb_sol=0 ticks=688120 tps=100 nb_sec=6881
case_no=141 label=Case6.129 nb_sol=0 ticks=448221 tps=100 nb_sec=4482
case_no=141 label=Case6.129 nb_sol=0 ticks=579036 tps=100 nb_sec=5790
case_no=141 label=Case6.129 nb_sol=0 ticks=444486 tps=100 nb_sec=4444
case_no=141 label=Case6.129 nb_sol=0 ticks=481113 tps=100 nb_sec=4811
case_no=141 label=Case6.129 nb_sol=0 ticks=464760 tps=100 nb_sec=4647
case_no=141 label=Case6.129 nb_sol=0 ticks=587029 tps=100 nb_sec=5870
case_no=141 label=Case6.129 nb_sol=0 ticks=1155451 tps=100 nb_sec=11554
case_no=141 label=Case6.129 nb_sol=0 ticks=340555 tps=100 nb_sec=3405
case_no=141 label=Case6.129 nb_sol=0 ticks=586890 tps=100 nb_sec=5868
case_no=141 label=Case6.129 nb_sol=0 ticks=267688 tps=100 nb_sec=2676
case_no=141 label=Case6.129 nb_sol=0 ticks=508260 tps=100 nb_sec=5082
case_no=141 label=Case6.129 nb_sol=0 ticks=432549 tps=100 nb_sec=4325
case_no=141 label=Case6.129 nb_sol=0 ticks=639151 tps=100 nb_sec=6391
case_no=141 label=Case6.129 nb_sol=0 ticks=511804 tps=100 nb_sec=5118
case_no=141 label=Case6.129 nb_sol=0 ticks=487242 tps=100 nb_sec=4872
case_no=141 label=Case6.129 nb_sol=0 ticks=616366 tps=100 nb_sec=6163
case_no=141 label=Case6.129 nb_sol=0 ticks=512079 tps=100 nb_sec=5120
case_no=141 label=Case6.129 nb_sol=0 ticks=476682 tps=100 nb_sec=4766
case_no=141 label=Case6.129 nb_sol=0 ticks=472376 tps=100 nb_sec=4723
case_no=141 label=Case6.129 nb_sol=0 ticks=598496 tps=100 nb_sec=5984
case_no=141 label=Case6.129 nb_sol=0 ticks=466727 tps=100 nb_sec=4667
case_no=141 label=Case6.129 nb_sol=0 ticks=545803 tps=100 nb_sec=5458
case_no=141 label=Case6.129 nb_sol=0 ticks=516646 tps=100 nb_sec=5166
case_no=141 label=Case6.129 nb_sol=0 ticks=631636 tps=100 nb_sec=6316
case_no=141 label=Case6.129 nb_sol=0 ticks=583928 tps=100 nb_sec=5839
case_no=141 label=Case6.129 nb_sol=0 ticks=1007835 tps=100 nb_sec=10078
case_no=141 label=Case6.129 nb_sol=0 ticks=522772 tps=100 nb_sec=5227
case_no=141 label=Case6.129 nb_sol=0 ticks=664199 tps=100 nb_sec=6641
case_no=141 label=Case6.129 nb_sol=0 ticks=524049 tps=100 nb_sec=5240
case_no=141 label=Case6.129 nb_sol=0 ticks=587265 tps=100 nb_sec=5872
case_no=141 label=Case6.129 nb_sol=0 ticks=501262 tps=100 nb_sec=5012
case_no=141 label=Case6.129 nb_sol=0 ticks=544842 tps=100 nb_sec=5448
case_no=141 label=Case6.129 nb_sol=0 ticks=420583 tps=100 nb_sec=4205
case_no=141 label=Case6.129 nb_sol=0 ticks=798982 tps=100 nb_sec=7989
case_no=141 label=Case6.129 nb_sol=0 ticks=437273 tps=100 nb_sec=4372
case_no=141 label=Case6.129 nb_sol=0 ticks=509374 tps=100 nb_sec=5093
case_no=141 label=Case6.129 nb_sol=0 ticks=426478 tps=100 nb_sec=4264
case_no=141 label=Case6.129 nb_sol=0 ticks=610666 tps=100 nb_sec=6106
case_no=141 label=Case6.129 nb_sol=0 ticks=464535 tps=100 nb_sec=4645
case_no=141 label=Case6.129 nb_sol=0 ticks=625907 tps=100 nb_sec=6259
case_no=141 label=Case6.129 nb_sol=0 ticks=585912 tps=100 nb_sec=5859
case_no=141 label=Case6.129 nb_sol=0 ticks=638517 tps=100 nb_sec=6385
case_no=141 label=Case6.129 nb_sol=0 ticks=451394 tps=100 nb_sec=4513
case_no=141 label=Case6.129 nb_sol=0 ticks=507340 tps=100 nb_sec=5073
case_no=141 label=Case6.129 nb_sol=0 ticks=554726 tps=100 nb_sec=5547
case_no=141 label=Case6.129 nb_sol=0 ticks=373123 tps=100 nb_sec=3731
case_no=141 label=Case6.129 nb_sol=0 ticks=567134 tps=100 nb_sec=5671
case_no=141 label=Case6.129 nb_sol=0 ticks=342451 tps=100 nb_sec=3424
case_no=141 label=Case6.129 nb_sol=0 ticks=488778 tps=100 nb_sec=4887
case_no=141 label=Case6.129 nb_sol=0 ticks=667708 tps=100 nb_sec=6677
case_no=141 label=Case6.129 nb_sol=0 ticks=418198 tps=100 nb_sec=4181
case_no=141 label=Case6.129 nb_sol=0 ticks=895248 tps=100 nb_sec=8952
case_no=141 label=Case6.129 nb_sol=0 ticks=827573 tps=100 nb_sec=8275
case_no=141 label=Case6.129 nb_sol=0 ticks=626782 tps=100 nb_sec=6267
case_no=141 label=Case6.129 nb_sol=0 ticks=656179 tps=100 nb_sec=6561
case_no=141 label=Case6.129 nb_sol=0 ticks=462818 tps=100 nb_sec=4628
case_no=141 label=Case6.129 nb_sol=0 ticks=746393 tps=100 nb_sec=7463
case_no=141 label=Case6.129 nb_sol=0 ticks=603556 tps=100 nb_sec=6035
case_no=141 label=Case6.129 nb_sol=0 ticks=456778 tps=100 nb_sec=4567
case_no=141 label=Case6.129 nb_sol=0 ticks=447540 tps=100 nb_sec=4475
case_no=141 label=Case6.129 nb_sol=0 ticks=537213 tps=100 nb_sec=5372
case_no=141 label=Case6.129 nb_sol=0 ticks=624485 tps=100 nb_sec=6244
case_no=141 label=Case6.129 nb_sol=0 ticks=526157 tps=100 nb_sec=5261
case_no=141 label=Case6.129 nb_sol=0 ticks=334469 tps=100 nb_sec=3344
case_no=141 label=Case6.129 nb_sol=0 ticks=290353 tps=100 nb_sec=2903
case_no=141 label=Case6.129 nb_sol=0 ticks=307259 tps=100 nb_sec=3072
case_no=141 label=Case6.129 nb_sol=0 ticks=627608 tps=100 nb_sec=6276
case_no=141 label=Case6.129 nb_sol=0 ticks=693123 tps=100 nb_sec=6931
case_no=141 label=Case6.129 nb_sol=0 ticks=660298 tps=100 nb_sec=6602
case_no=141 label=Case6.129 nb_sol=0 ticks=866989 tps=100 nb_sec=8669
case_no=141 label=Case6.129 nb_sol=0 ticks=595900 tps=100 nb_sec=5959
case_no=141 label=Case6.129 nb_sol=0 ticks=757514 tps=100 nb_sec=7575
case_no=141 label=Case6.129 nb_sol=0 ticks=761811 tps=100 nb_sec=7618
case_no=141 label=Case6.129 nb_sol=0 ticks=649169 tps=100 nb_sec=6491
case_no=141 label=Case6.129 nb_sol=0 ticks=796492 tps=100 nb_sec=7964
case_no=141 label=Case6.129 nb_sol=0 ticks=607641 tps=100 nb_sec=6076
case_no=141 label=Case6.129 nb_sol=0 ticks=410395 tps=100 nb_sec=4103
case_no=141 label=Case6.129 nb_sol=0 ticks=740900 tps=100 nb_sec=7409
case_no=141 label=Case6.129 nb_sol=0 ticks=446284 tps=100 nb_sec=4462
case_no=141 label=Case6.129 nb_sol=0 ticks=856302 tps=100 nb_sec=8563
case_no=141 label=Case6.129 nb_sol=0 ticks=538365 tps=100 nb_sec=5383
case_no=141 label=Case6.129 nb_sol=0 ticks=527905 tps=100 nb_sec=5279
case_no=141 label=Case6.129 nb_sol=0 ticks=483735 tps=100 nb_sec=4837
case_no=141 label=Case6.129 nb_sol=0 ticks=638486 tps=100 nb_sec=6384
case_no=141 label=Case6.129 nb_sol=0 ticks=521855 tps=100 nb_sec=5218
case_no=141 label=Case6.129 nb_sol=0 ticks=540070 tps=100 nb_sec=5400
case_no=141 label=Case6.129 nb_sol=0 ticks=643876 tps=100 nb_sec=6438
case_no=141 label=Case6.129 nb_sol=0 ticks=353645 tps=100 nb_sec=3536
case_no=141 label=Case6.129 nb_sol=0 ticks=632298 tps=100 nb_sec=6322
case_no=141 label=Case6.129 nb_sol=0 ticks=594539 tps=100 nb_sec=5945
case_no=141 label=Case6.129 nb_sol=0 ticks=473608 tps=100 nb_sec=4736
case_no=141 label=Case6.129 nb_sol=0 ticks=581869 tps=100 nb_sec=5818
case_no=141 label=Case6.129 nb_sol=0 ticks=847419 tps=100 nb_sec=8474
case_no=141 label=Case6.129 nb_sol=0 ticks=655731 tps=100 nb_sec=6557
case_no=141 label=Case6.129 nb_sol=0 ticks=682823 tps=100 nb_sec=6828
case_no=141 label=Case6.129 nb_sol=0 ticks=889427 tps=100 nb_sec=8894
case_no=141 label=Case6.129 nb_sol=0 ticks=779165 tps=100 nb_sec=7791
case_no=141 label=Case6.129 nb_sol=0 ticks=389762 tps=100 nb_sec=3897
case_no=141 label=Case6.129 nb_sol=0 ticks=473710 tps=100 nb_sec=4737
case_no=141 label=Case6.129 nb_sol=0 ticks=383059 tps=100 nb_sec=3830
case_no=141 label=Case6.129 nb_sol=0 ticks=317967 tps=100 nb_sec=3179
case_no=141 label=Case6.129 nb_sol=0 ticks=612514 tps=100 nb_sec=6125
case_no=141 label=Case6.129 nb_sol=0 ticks=657119 tps=100 nb_sec=6571
case_no=141 label=Case6.129 nb_sol=0 ticks=523027 tps=100 nb_sec=5230
case_no=141 label=Case6.129 nb_sol=0 ticks=521888 tps=100 nb_sec=5218
case_no=141 label=Case6.129 nb_sol=0 ticks=611665 tps=100 nb_sec=6116
case_no=141 label=Case6.129 nb_sol=0 ticks=762644 tps=100 nb_sec=7626
case_no=141 label=Case6.129 nb_sol=0 ticks=558270 tps=100 nb_sec=5582
case_no=141 label=Case6.129 nb_sol=0 ticks=473574 tps=100 nb_sec=4735
case_no=141 label=Case6.129 nb_sol=0 ticks=343851 tps=100 nb_sec=3438
case_no=141 label=Case6.129 nb_sol=0 ticks=519830 tps=100 nb_sec=5198
case_no=141 label=Case6.129 nb_sol=0 ticks=390303 tps=100 nb_sec=3903
case_no=141 label=Case6.129 nb_sol=0 ticks=788688 tps=100 nb_sec=7886
case_no=141 label=Case6.129 nb_sol=0 ticks=331741 tps=100 nb_sec=3317
case_no=141 label=Case6.129 nb_sol=0 ticks=470190 tps=100 nb_sec=4701
case_no=141 label=Case6.129 nb_sol=0 ticks=548177 tps=100 nb_sec=5481
case_no=141 label=Case6.129 nb_sol=0 ticks=887149 tps=100 nb_sec=8871
case_no=141 label=Case6.129 nb_sol=0 ticks=953471 tps=100 nb_sec=9534
case_no=141 label=Case6.129 nb_sol=0 ticks=623241 tps=100 nb_sec=6232
case_no=141 label=Case6.129 nb_sol=0 ticks=271749 tps=100 nb_sec=2717
case_no=141 label=Case6.129 nb_sol=0 ticks=769322 tps=100 nb_sec=7693
case_no=141 label=Case6.129 nb_sol=0 ticks=651595 tps=100 nb_sec=6515
case_no=141 label=Case6.129 nb_sol=0 ticks=425110 tps=100 nb_sec=4251
case_no=141 label=Case6.129 nb_sol=0 ticks=531740 tps=100 nb_sec=5317
case_no=141 label=Case6.129 nb_sol=0 ticks=518706 tps=100 nb_sec=5187
case_no=141 label=Case6.129 nb_sol=0 ticks=557953 tps=100 nb_sec=5579
case_no=141 label=Case6.129 nb_sol=0 ticks=562937 tps=100 nb_sec=5629
case_no=141 label=Case6.129 nb_sol=0 ticks=574591 tps=100 nb_sec=5745
case_no=141 label=Case6.129 nb_sol=0 ticks=294921 tps=100 nb_sec=2949
case_no=141 label=Case6.129 nb_sol=0 ticks=595662 tps=100 nb_sec=5956
case_no=141 label=Case6.129 nb_sol=0 ticks=609396 tps=100 nb_sec=6093
case_no=141 label=Case6.129 nb_sol=0 ticks=729570 tps=100 nb_sec=7295
case_no=141 label=Case6.129 nb_sol=0 ticks=618360 tps=100 nb_sec=6183
case_no=141 label=Case6.129 nb_sol=0 ticks=761111 tps=100 nb_sec=7611
case_no=141 label=Case6.129 nb_sol=0 ticks=674436 tps=100 nb_sec=6744
case_no=141 label=Case6.129 nb_sol=0 ticks=669683 tps=100 nb_sec=6696
case_no=141 label=Case6.129 nb_sol=0 ticks=471236 tps=100 nb_sec=4712
case_no=141 label=Case6.129 nb_sol=0 ticks=532749 tps=100 nb_sec=5327
case_no=141 label=Case6.129 nb_sol=0 ticks=757733 tps=100 nb_sec=7577
case_no=141 label=Case6.129 nb_sol=0 ticks=412728 tps=100 nb_sec=4127
case_no=141 label=Case6.129 nb_sol=0 ticks=354048 tps=100 nb_sec=3540
case_no=141 label=Case6.129 nb_sol=0 ticks=619070 tps=100 nb_sec=6190
case_no=141 label=Case6.129 nb_sol=0 ticks=650916 tps=100 nb_sec=6509
case_no=141 label=Case6.129 nb_sol=0 ticks=775048 tps=100 nb_sec=7750
case_no=141 label=Case6.129 nb_sol=0 ticks=561974 tps=100 nb_sec=5619
case_no=141 label=Case6.129 nb_sol=0 ticks=510834 tps=100 nb_sec=5108
case_no=141 label=Case6.129 nb_sol=0 ticks=546469 tps=100 nb_sec=5464
case_no=141 label=Case6.129 nb_sol=0 ticks=618944 tps=100 nb_sec=6189
case_no=141 label=Case6.129 nb_sol=0 ticks=397346 tps=100 nb_sec=3973
case_no=141 label=Case6.129 nb_sol=0 ticks=475037 tps=100 nb_sec=4750
case_no=141 label=Case6.129 nb_sol=0 ticks=712437 tps=100 nb_sec=7124
case_no=141 label=Case6.129 nb_sol=0 ticks=592652 tps=100 nb_sec=5926
case_no=141 label=Case6.129 nb_sol=0 ticks=516386 tps=100 nb_sec=5163
case_no=141 label=Case6.129 nb_sol=0 ticks=490542 tps=100 nb_sec=4905
case_no=141 label=Case6.129 nb_sol=0 ticks=505594 tps=100 nb_sec=5055
case_no=141 label=Case6.129 nb_sol=0 ticks=540047 tps=100 nb_sec=5400
case_no=141 label=Case6.129 nb_sol=0 ticks=438444 tps=100 nb_sec=4384
case_no=141 label=Case6.129 nb_sol=0 ticks=265134 tps=100 nb_sec=2651
case_no=141 label=Case6.129 nb_sol=0 ticks=493974 tps=100 nb_sec=4939
case_no=141 label=Case6.129 nb_sol=0 ticks=557805 tps=100 nb_sec=5578
case_no=141 label=Case6.129 nb_sol=0 ticks=426871 tps=100 nb_sec=4268
case_no=141 label=Case6.129 nb_sol=0 ticks=479260 tps=100 nb_sec=4792
case_no=141 label=Case6.129 nb_sol=0 ticks=463392 tps=100 nb_sec=4633
case_no=141 label=Case6.129 nb_sol=0 ticks=760252 tps=100 nb_sec=7602
case_no=141 label=Case6.129 nb_sol=0 ticks=385135 tps=100 nb_sec=3851
case_no=141 label=Case6.129 nb_sol=0 ticks=566014 tps=100 nb_sec=5660
case_no=141 label=Case6.129 nb_sol=0 ticks=382888 tps=100 nb_sec=3828
case_no=141 label=Case6.129 nb_sol=0 ticks=413966 tps=100 nb_sec=4139
case_no=141 label=Case6.129 nb_sol=0 ticks=511549 tps=100 nb_sec=5115
case_no=141 label=Case6.129 nb_sol=0 ticks=480957 tps=100 nb_sec=4809
case_no=141 label=Case6.129 nb_sol=0 ticks=431625 tps=100 nb_sec=4316
case_no=141 label=Case6.129 nb_sol=0 ticks=515829 tps=100 nb_sec=5158
case_no=141 label=Case6.129 nb_sol=0 ticks=446329 tps=100 nb_sec=4463
case_no=141 label=Case6.129 nb_sol=0 ticks=529635 tps=100 nb_sec=5296
case_no=141 label=Case6.129 nb_sol=0 ticks=262719 tps=100 nb_sec=2627
case_no=141 label=Case6.129 nb_sol=0 ticks=595280 tps=100 nb_sec=5952
case_no=141 label=Case6.129 nb_sol=0 ticks=407875 tps=100 nb_sec=4078
case_no=141 label=Case6.129 nb_sol=0 ticks=410716 tps=100 nb_sec=4107
case_no=141 label=Case6.129 nb_sol=0 ticks=492066 tps=100 nb_sec=4920
case_no=141 label=Case6.129 nb_sol=0 ticks=438489 tps=100 nb_sec=4384
case_no=141 label=Case6.129 nb_sol=0 ticks=249527 tps=100 nb_sec=2495
case_no=141 label=Case6.129 nb_sol=0 ticks=320402 tps=100 nb_sec=3204
case_no=141 label=Case6.129 nb_sol=0 ticks=488570 tps=100 nb_sec=4885
case_no=141 label=Case6.129 nb_sol=0 ticks=359006 tps=100 nb_sec=3590
case_no=141 label=Case6.129 nb_sol=0 ticks=215054 tps=100 nb_sec=2150
case_no=141 label=Case6.129 nb_sol=0 ticks=720714 tps=100 nb_sec=7207
case_no=141 label=Case6.129 nb_sol=0 ticks=333050 tps=100 nb_sec=3330
case_no=141 label=Case6.129 nb_sol=0 ticks=237945 tps=100 nb_sec=2379
case_no=141 label=Case6.129 nb_sol=0 ticks=489945 tps=100 nb_sec=4899
case_no=141 label=Case6.129 nb_sol=0 ticks=551128 tps=100 nb_sec=5511
case_no=141 label=Case6.129 nb_sol=0 ticks=514956 tps=100 nb_sec=5149
case_no=141 label=Case6.129 nb_sol=0 ticks=911767 tps=100 nb_sec=9117
case_no=141 label=Case6.129 nb_sol=0 ticks=422628 tps=100 nb_sec=4226
case_no=141 label=Case6.129 nb_sol=0 ticks=219226 tps=100 nb_sec=2192
case_no=141 label=Case6.129 nb_sol=0 ticks=419256 tps=100 nb_sec=4192
case_no=141 label=Case6.129 nb_sol=0 ticks=553155 tps=100 nb_sec=5531
case_no=141 label=Case6.129 nb_sol=0 ticks=406001 tps=100 nb_sec=4060
case_no=141 label=Case6.129 nb_sol=0 ticks=386995 tps=100 nb_sec=3869
case_no=141 label=Case6.129 nb_sol=0 ticks=648665 tps=100 nb_sec=6486
case_no=141 label=Case6.129 nb_sol=0 ticks=349765 tps=100 nb_sec=3497
case_no=141 label=Case6.129 nb_sol=0 ticks=246295 tps=100 nb_sec=2462
case_no=141 label=Case6.129 nb_sol=0 ticks=686139 tps=100 nb_sec=6861
case_no=141 label=Case6.129 nb_sol=0 ticks=315697 tps=100 nb_sec=3156
case_no=141 label=Case6.129 nb_sol=0 ticks=416761 tps=100 nb_sec=4167
case_no=141 label=Case6.129 nb_sol=0 ticks=761710 tps=100 nb_sec=7617
case_no=141 label=Case6.129 nb_sol=0 ticks=522612 tps=100 nb_sec=5226
case_no=141 label=Case6.129 nb_sol=0 ticks=670457 tps=100 nb_sec=6704
case_no=141 label=Case6.129 nb_sol=0 ticks=400951 tps=100 nb_sec=4009
case_no=141 label=Case6.129 nb_sol=0 ticks=529675 tps=100 nb_sec=5296
case_no=141 label=Case6.129 nb_sol=0 ticks=264861 tps=100 nb_sec=2648
case_no=141 label=Case6.129 nb_sol=0 ticks=284445 tps=100 nb_sec=2844
case_no=141 label=Case6.129 nb_sol=0 ticks=494480 tps=100 nb_sec=4944
case_no=141 label=Case6.129 nb_sol=0 ticks=422922 tps=100 nb_sec=4229
case_no=141 label=Case6.129 nb_sol=0 ticks=382868 tps=100 nb_sec=3828
case_no=141 label=Case6.129 nb_sol=0 ticks=875988 tps=100 nb_sec=8759
case_no=141 label=Case6.129 nb_sol=0 ticks=535886 tps=100 nb_sec=5358
case_no=141 label=Case6.129 nb_sol=0 ticks=352134 tps=100 nb_sec=3521
case_no=141 label=Case6.129 nb_sol=0 ticks=378713 tps=100 nb_sec=3787
case_no=141 label=Case6.129 nb_sol=0 ticks=401442 tps=100 nb_sec=4014
case_no=141 label=Case6.129 nb_sol=0 ticks=315235 tps=100 nb_sec=3152
case_no=141 label=Case6.129 nb_sol=0 ticks=501018 tps=100 nb_sec=5010
case_no=141 label=Case6.129 nb_sol=0 ticks=574540 tps=100 nb_sec=5745
case_no=141 label=Case6.129 nb_sol=0 ticks=815237 tps=100 nb_sec=8152
case_no=141 label=Case6.129 nb_sol=0 ticks=773688 tps=100 nb_sec=7736
case_no=141 label=Case6.129 nb_sol=0 ticks=783064 tps=100 nb_sec=7830
case_no=141 label=Case6.129 nb_sol=0 ticks=299580 tps=100 nb_sec=2995
case_no=141 label=Case6.129 nb_sol=0 ticks=588943 tps=100 nb_sec=5889
case_no=141 label=Case6.129 nb_sol=0 ticks=884003 tps=100 nb_sec=8840
case_no=141 label=Case6.129 nb_sol=0 ticks=819664 tps=100 nb_sec=8196
case_no=141 label=Case6.129 nb_sol=0 ticks=983336 tps=100 nb_sec=9833
case_no=141 label=Case6.129 nb_sol=0 ticks=600753 tps=100 nb_sec=6007
case_no=141 label=Case6.129 nb_sol=0 ticks=603166 tps=100 nb_sec=6031
case_no=141 label=Case6.129 nb_sol=0 ticks=609612 tps=100 nb_sec=6096
case_no=141 label=Case6.129 nb_sol=0 ticks=329646 tps=100 nb_sec=3296
case_no=141 label=Case6.129 nb_sol=0 ticks=219383 tps=100 nb_sec=2193
case_no=141 label=Case6.129 nb_sol=0 ticks=658866 tps=100 nb_sec=6588
case_no=141 label=Case6.129 nb_sol=0 ticks=650230 tps=100 nb_sec=6502
case_no=141 label=Case6.129 nb_sol=0 ticks=712502 tps=100 nb_sec=7125
case_no=141 label=Case6.129 nb_sol=0 ticks=797199 tps=100 nb_sec=7971
case_no=141 label=Case6.129 nb_sol=0 ticks=344437 tps=100 nb_sec=3444
case_no=141 label=Case6.129 nb_sol=0 ticks=565642 tps=100 nb_sec=5656
case_no=141 label=Case6.129 nb_sol=0 ticks=230907 tps=100 nb_sec=2309
case_no=141 label=Case6.129 nb_sol=0 ticks=566318 tps=100 nb_sec=5663
case_no=141 label=Case6.129 nb_sol=0 ticks=551285 tps=100 nb_sec=5512
case_no=141 label=Case6.129 nb_sol=0 ticks=507998 tps=100 nb_sec=5079
case_no=141 label=Case6.129 nb_sol=0 ticks=663734 tps=100 nb_sec=6637
case_no=141 label=Case6.129 nb_sol=0 ticks=434345 tps=100 nb_sec=4343
case_no=141 label=Case6.129 nb_sol=0 ticks=442121 tps=100 nb_sec=4421
case_no=141 label=Case6.129 nb_sol=0 ticks=614999 tps=100 nb_sec=6149
case_no=141 label=Case6.129 nb_sol=0 ticks=420583 tps=100 nb_sec=4205
case_no=141 label=Case6.129 nb_sol=0 ticks=432824 tps=100 nb_sec=4328
case_no=141 label=Case6.129 nb_sol=0 ticks=470947 tps=100 nb_sec=4709
case_no=141 label=Case6.129 nb_sol=0 ticks=507229 tps=100 nb_sec=5072
case_no=141 label=Case6.129 nb_sol=0 ticks=496825 tps=100 nb_sec=4968
case_no=141 label=Case6.129 nb_sol=0 ticks=393608 tps=100 nb_sec=3936
case_no=141 label=Case6.129 nb_sol=0 ticks=350610 tps=100 nb_sec=3506
case_no=141 label=Case6.129 nb_sol=0 ticks=596928 tps=100 nb_sec=5969
case_no=141 label=Case6.129 nb_sol=0 ticks=605984 tps=100 nb_sec=6059
case_no=141 label=Case6.129 nb_sol=0 ticks=706823 tps=100 nb_sec=7068
case_no=141 label=Case6.129 nb_sol=0 ticks=493809 tps=100 nb_sec=4938
case_no=141 label=Case6.129 nb_sol=0 ticks=565292 tps=100 nb_sec=5652
case_no=141 label=Case6.129 nb_sol=0 ticks=508058 tps=100 nb_sec=5080
case_no=141 label=Case6.129 nb_sol=0 ticks=350504 tps=100 nb_sec=3505
case_no=141 label=Case6.129 nb_sol=0 ticks=350308 tps=100 nb_sec=3503
case_no=141 label=Case6.129 nb_sol=0 ticks=527517 tps=100 nb_sec=5275
case_no=141 label=Case6.129 nb_sol=0 ticks=510231 tps=100 nb_sec=5102
case_no=141 label=Case6.129 nb_sol=0 ticks=485214 tps=100 nb_sec=4852
case_no=141 label=Case6.129 nb_sol=0 ticks=721037 tps=100 nb_sec=7210
case_no=141 label=Case6.129 nb_sol=0 ticks=436845 tps=100 nb_sec=4368
case_no=141 label=Case6.129 nb_sol=0 ticks=266764 tps=100 nb_sec=2667
case_no=141 label=Case6.129 nb_sol=0 ticks=240162 tps=100 nb_sec=2401
case_no=141 label=Case6.129 nb_sol=0 ticks=650787 tps=100 nb_sec=6507
case_no=141 label=Case6.129 nb_sol=0 ticks=485502 tps=100 nb_sec=4855
case_no=141 label=Case6.129 nb_sol=0 ticks=477731 tps=100 nb_sec=4777
case_no=141 label=Case6.129 nb_sol=0 ticks=626403 tps=100 nb_sec=6264
case_no=141 label=Case6.129 nb_sol=0 ticks=428026 tps=100 nb_sec=4280
case_no=141 label=Case6.129 nb_sol=0 ticks=658098 tps=100 nb_sec=6580
case_no=141 label=Case6.129 nb_sol=0 ticks=403236 tps=100 nb_sec=4032
case_no=141 label=Case6.129 nb_sol=0 ticks=522816 tps=100 nb_sec=5228
case_no=141 label=Case6.129 nb_sol=0 ticks=493777 tps=100 nb_sec=4937
case_no=141 label=Case6.129 nb_sol=0 ticks=851913 tps=100 nb_sec=8519
case_no=141 label=Case6.129 nb_sol=0 ticks=638354 tps=100 nb_sec=6383
case_no=141 label=Case6.129 nb_sol=0 ticks=522182 tps=100 nb_sec=5221
case_no=141 label=Case6.129 nb_sol=0 ticks=827849 tps=100 nb_sec=8278
case_no=141 label=Case6.129 nb_sol=0 ticks=373540 tps=100 nb_sec=3735
case_no=141 label=Case6.129 nb_sol=0 ticks=831691 tps=100 nb_sec=8316
case_no=141 label=Case6.129 nb_sol=0 ticks=473266 tps=100 nb_sec=4732
case_no=141 label=Case6.129 nb_sol=0 ticks=895379 tps=100 nb_sec=8953
case_no=141 label=Case6.129 nb_sol=0 ticks=834748 tps=100 nb_sec=8347
case_no=141 label=Case6.129 nb_sol=0 ticks=336405 tps=100 nb_sec=3364
case_no=141 label=Case6.129 nb_sol=0 ticks=491369 tps=100 nb_sec=4913
case_no=141 label=Case6.129 nb_sol=0 ticks=389079 tps=100 nb_sec=3890
case_no=141 label=Case6.129 nb_sol=0 ticks=565105 tps=100 nb_sec=5651
case_no=141 label=Case6.129 nb_sol=0 ticks=367659 tps=100 nb_sec=3676
case_no=141 label=Case6.129 nb_sol=0 ticks=258444 tps=100 nb_sec=2584
case_no=141 label=Case6.129 nb_sol=0 ticks=583036 tps=100 nb_sec=5830
case_no=141 label=Case6.129 nb_sol=0 ticks=573911 tps=100 nb_sec=5739
case_no=141 label=Case6.129 nb_sol=0 ticks=771251 tps=100 nb_sec=7712
case_no=141 label=Case6.129 nb_sol=0 ticks=533809 tps=100 nb_sec=5338
case_no=141 label=Case6.129 nb_sol=0 ticks=391587 tps=100 nb_sec=3915
case_no=141 label=Case6.129 nb_sol=0 ticks=914695 tps=100 nb_sec=9146
case_no=141 label=Case6.129 nb_sol=0 ticks=820179 tps=100 nb_sec=8201
case_no=141 label=Case6.129 nb_sol=0 ticks=799785 tps=100 nb_sec=7997
case_no=141 label=Case6.129 nb_sol=0 ticks=740425 tps=100 nb_sec=7404
case_no=141 label=Case6.129 nb_sol=0 ticks=569259 tps=100 nb_sec=5692
case_no=141 label=Case6.129 nb_sol=0 ticks=771028 tps=100 nb_sec=7710
case_no=141 label=Case6.129 nb_sol=0 ticks=462683 tps=100 nb_sec=4626
case_no=141 label=Case6.129 nb_sol=0 ticks=552335 tps=100 nb_sec=5523
case_no=141 label=Case6.129 nb_sol=0 ticks=529785 tps=100 nb_sec=5297
case_no=141 label=Case6.129 nb_sol=0 ticks=695151 tps=100 nb_sec=6951
case_no=141 label=Case6.129 nb_sol=0 ticks=472851 tps=100 nb_sec=4728
case_no=141 label=Case6.129 nb_sol=0 ticks=568734 tps=100 nb_sec=5687
case_no=141 label=Case6.129 nb_sol=0 ticks=210390 tps=100 nb_sec=2103
case_no=141 label=Case6.129 nb_sol=0 ticks=642104 tps=100 nb_sec=6421
case_no=141 label=Case6.129 nb_sol=0 ticks=513230 tps=100 nb_sec=5132
case_no=141 label=Case6.129 nb_sol=0 ticks=488358 tps=100 nb_sec=4883
case_no=141 label=Case6.129 nb_sol=0 ticks=892904 tps=100 nb_sec=8929
case_no=141 label=Case6.129 nb_sol=0 ticks=532988 tps=100 nb_sec=5329
case_no=141 label=Case6.129 nb_sol=0 ticks=234529 tps=100 nb_sec=2345
case_no=141 label=Case6.129 nb_sol=0 ticks=876302 tps=100 nb_sec=8763
case_no=141 label=Case6.129 nb_sol=0 ticks=326678 tps=100 nb_sec=3266
case_no=141 label=Case6.129 nb_sol=0 ticks=322550 tps=100 nb_sec=3225
case_no=141 label=Case6.129 nb_sol=0 ticks=316388 tps=100 nb_sec=3163
case_no=141 label=Case6.129 nb_sol=0 ticks=439783 tps=100 nb_sec=4397
case_no=141 label=Case6.129 nb_sol=0 ticks=646589 tps=100 nb_sec=6465
case_no=141 label=Case6.129 nb_sol=0 ticks=319117 tps=100 nb_sec=3191
case_no=141 label=Case6.129 nb_sol=0 ticks=440661 tps=100 nb_sec=4406
case_no=141 label=Case6.129 nb_sol=0 ticks=351683 tps=100 nb_sec=3516
case_no=141 label=Case6.129 nb_sol=0 ticks=491802 tps=100 nb_sec=4918
case_no=141 label=Case6.129 nb_sol=0 ticks=320934 tps=100 nb_sec=3209
case_no=141 label=Case6.129 nb_sol=0 ticks=484113 tps=100 nb_sec=4841
case_no=141 label=Case6.129 nb_sol=0 ticks=299023 tps=100 nb_sec=2990
case_no=141 label=Case6.129 nb_sol=0 ticks=695547 tps=100 nb_sec=6955
case_no=141 label=Case6.129 nb_sol=0 ticks=724981 tps=100 nb_sec=7249
case_no=141 label=Case6.129 nb_sol=0 ticks=526472 tps=100 nb_sec=5264
case_no=141 label=Case6.129 nb_sol=0 ticks=432037 tps=100 nb_sec=4320
case_no=141 label=Case6.129 nb_sol=0 ticks=461059 tps=100 nb_sec=4610
case_no=141 label=Case6.129 nb_sol=0 ticks=330669 tps=100 nb_sec=3306
case_no=141 label=Case6.129 nb_sol=0 ticks=596342 tps=100 nb_sec=5963
case_no=141 label=Case6.129 nb_sol=0 ticks=574459 tps=100 nb_sec=5744
case_no=141 label=Case6.129 nb_sol=0 ticks=865952 tps=100 nb_sec=8659
case_no=141 label=Case6.129 nb_sol=0 ticks=382079 tps=100 nb_sec=3820
case_no=141 label=Case6.129 nb_sol=0 ticks=318356 tps=100 nb_sec=3183
case_no=141 label=Case6.129 nb_sol=0 ticks=787207 tps=100 nb_sec=7872
case_no=141 label=Case6.129 nb_sol=0 ticks=521847 tps=100 nb_sec=5218
case_no=141 label=Case6.129 nb_sol=0 ticks=506760 tps=100 nb_sec=5067
case_no=141 label=Case6.129 nb_sol=0 ticks=252467 tps=100 nb_sec=2524
case_no=141 label=Case6.129 nb_sol=0 ticks=759455 tps=100 nb_sec=7594
case_no=141 label=Case6.129 nb_sol=0 ticks=752688 tps=100 nb_sec=7526
case_no=141 label=Case6.129 nb_sol=0 ticks=559430 tps=100 nb_sec=5594
case_no=141 label=Case6.129 nb_sol=0 ticks=515281 tps=100 nb_sec=5152
case_no=141 label=Case6.129 nb_sol=0 ticks=670587 tps=100 nb_sec=6705
case_no=141 label=Case6.129 nb_sol=0 ticks=599784 tps=100 nb_sec=5997
case_no=141 label=Case6.129 nb_sol=0 ticks=532845 tps=100 nb_sec=5328
case_no=141 label=Case6.129 nb_sol=0 ticks=406084 tps=100 nb_sec=4060
case_no=141 label=Case6.129 nb_sol=0 ticks=418546 tps=100 nb_sec=4185
case_no=141 label=Case6.129 nb_sol=0 ticks=499890 tps=100 nb_sec=4998
case_no=141 label=Case6.129 nb_sol=0 ticks=460108 tps=100 nb_sec=4601
case_no=141 label=Case6.129 nb_sol=0 ticks=511276 tps=100 nb_sec=5112
case_no=141 label=Case6.129 nb_sol=0 ticks=348857 tps=100 nb_sec=3488
case_no=141 label=Case6.129 nb_sol=0 ticks=411022 tps=100 nb_sec=4110
case_no=141 label=Case6.129 nb_sol=0 ticks=411362 tps=100 nb_sec=4113
case_no=141 label=Case6.129 nb_sol=0 ticks=572308 tps=100 nb_sec=5723
case_no=141 label=Case6.129 nb_sol=0 ticks=1169357 tps=100 nb_sec=11693
case_no=141 label=Case6.129 nb_sol=0 ticks=675477 tps=100 nb_sec=6754
case_no=141 label=Case6.129 nb_sol=0 ticks=513159 tps=100 nb_sec=5131
case_no=141 label=Case6.129 nb_sol=0 ticks=561244 tps=100 nb_sec=5612
case_no=141 label=Case6.129 nb_sol=0 ticks=610413 tps=100 nb_sec=6104
case_no=141 label=Case6.129 nb_sol=0 ticks=433432 tps=100 nb_sec=4334
case_no=141 label=Case6.129 nb_sol=0 ticks=654768 tps=100 nb_sec=6547
case_no=141 label=Case6.129 nb_sol=0 ticks=375506 tps=100 nb_sec=3755
case_no=141 label=Case6.129 nb_sol=0 ticks=602373 tps=100 nb_sec=6023
case_no=141 label=Case6.129 nb_sol=0 ticks=698702 tps=100 nb_sec=6987
case_no=141 label=Case6.129 nb_sol=0 ticks=358541 tps=100 nb_sec=3585
case_no=141 label=Case6.129 nb_sol=0 ticks=579454 tps=100 nb_sec=5794
case_no=141 label=Case6.129 nb_sol=0 ticks=753557 tps=100 nb_sec=7535
case_no=141 label=Case6.129 nb_sol=0 ticks=513081 tps=100 nb_sec=5130
case_no=141 label=Case6.129 nb_sol=0 ticks=573331 tps=100 nb_sec=5733
case_no=141 label=Case6.129 nb_sol=0 ticks=623215 tps=100 nb_sec=6232
case_no=141 label=Case6.129 nb_sol=0 ticks=844079 tps=100 nb_sec=8440
case_no=141 label=Case6.129 nb_sol=0 ticks=658120 tps=100 nb_sec=6581
case_no=141 label=Case6.129 nb_sol=0 ticks=314679 tps=100 nb_sec=3146
case_no=141 label=Case6.129 nb_sol=0 ticks=560504 tps=100 nb_sec=5605
case_no=141 label=Case6.129 nb_sol=0 ticks=406013 tps=100 nb_sec=4060
case_no=141 label=Case6.129 nb_sol=0 ticks=373463 tps=100 nb_sec=3734
case_no=141 label=Case6.129 nb_sol=0 ticks=306587 tps=100 nb_sec=3065
case_no=141 label=Case6.129 nb_sol=0 ticks=482051 tps=100 nb_sec=4820
case_no=141 label=Case6.129 nb_sol=0 ticks=446127 tps=100 nb_sec=4461
case_no=141 label=Case6.129 nb_sol=0 ticks=399214 tps=100 nb_sec=3992
case_no=141 label=Case6.129 nb_sol=0 ticks=320689 tps=100 nb_sec=3206
case_no=141 label=Case6.129 nb_sol=0 ticks=507163 tps=100 nb_sec=5071
case_no=141 label=Case6.129 nb_sol=0 ticks=290005 tps=100 nb_sec=2900
case_no=141 label=Case6.129 nb_sol=0 ticks=459021 tps=100 nb_sec=4590
case_no=141 label=Case6.129 nb_sol=0 ticks=265903 tps=100 nb_sec=2659
case_no=141 label=Case6.129 nb_sol=0 ticks=249374 tps=100 nb_sec=2493
case_no=141 label=Case6.129 nb_sol=0 ticks=541745 tps=100 nb_sec=5417
case_no=141 label=Case6.129 nb_sol=0 ticks=639430 tps=100 nb_sec=6394
case_no=141 label=Case6.129 nb_sol=0 ticks=517444 tps=100 nb_sec=5174
case_no=141 label=Case6.129 nb_sol=0 ticks=444954 tps=100 nb_sec=4449
case_no=141 label=Case6.129 nb_sol=0 ticks=416975 tps=100 nb_sec=4169
case_no=141 label=Case6.129 nb_sol=0 ticks=784581 tps=100 nb_sec=7845
case_no=141 label=Case6.129 nb_sol=0 ticks=356340 tps=100 nb_sec=3563
case_no=141 label=Case6.129 nb_sol=0 ticks=476433 tps=100 nb_sec=4764
case_no=141 label=Case6.129 nb_sol=0 ticks=458866 tps=100 nb_sec=4588
case_no=141 label=Case6.129 nb_sol=0 ticks=508079 tps=100 nb_sec=5080
case_no=141 label=Case6.129 nb_sol=0 ticks=314664 tps=100 nb_sec=3146
case_no=141 label=Case6.129 nb_sol=0 ticks=481019 tps=100 nb_sec=4810
case_no=141 label=Case6.129 nb_sol=0 ticks=541407 tps=100 nb_sec=5414
case_no=141 label=Case6.129 nb_sol=0 ticks=492908 tps=100 nb_sec=4929
case_no=141 label=Case6.129 nb_sol=0 ticks=294331 tps=100 nb_sec=2943
case_no=141 label=Case6.129 nb_sol=0 ticks=517057 tps=100 nb_sec=5170
case_no=141 label=Case6.129 nb_sol=0 ticks=238094 tps=100 nb_sec=2380
case_no=141 label=Case6.129 nb_sol=0 ticks=501313 tps=100 nb_sec=5013
case_no=141 label=Case6.129 nb_sol=0 ticks=677444 tps=100 nb_sec=6774
case_no=141 label=Case6.129 nb_sol=0 ticks=556395 tps=100 nb_sec=5563
case_no=141 label=Case6.129 nb_sol=0 ticks=649606 tps=100 nb_sec=6496
case_no=141 label=Case6.129 nb_sol=0 ticks=516796 tps=100 nb_sec=5167
case_no=141 label=Case6.129 nb_sol=0 ticks=303084 tps=100 nb_sec=3030
case_no=141 label=Case6.129 nb_sol=0 ticks=603663 tps=100 nb_sec=6036
case_no=141 label=Case6.129 nb_sol=0 ticks=497362 tps=100 nb_sec=4973
case_no=141 label=Case6.129 nb_sol=0 ticks=670861 tps=100 nb_sec=6708
case_no=141 label=Case6.129 nb_sol=0 ticks=391567 tps=100 nb_sec=3915
case_no=141 label=Case6.129 nb_sol=0 ticks=325586 tps=100 nb_sec=3255
case_no=141 label=Case6.129 nb_sol=0 ticks=353442 tps=100 nb_sec=3534
case_no=141 label=Case6.129 nb_sol=0 ticks=494548 tps=100 nb_sec=4945
case_no=141 label=Case6.129 nb_sol=0 ticks=667708 tps=100 nb_sec=6677
case_no=141 label=Case6.129 nb_sol=0 ticks=638822 tps=100 nb_sec=6388
case_no=141 label=Case6.129 nb_sol=0 ticks=439406 tps=100 nb_sec=4394
case_no=141 label=Case6.129 nb_sol=0 ticks=589306 tps=100 nb_sec=5893
case_no=141 label=Case6.129 nb_sol=0 ticks=657819 tps=100 nb_sec=6578
case_no=141 label=Case6.129 nb_sol=0 ticks=219048 tps=100 nb_sec=2190
case_no=141 label=Case6.129 nb_sol=0 ticks=405763 tps=100 nb_sec=4057
case_no=141 label=Case6.129 nb_sol=0 ticks=302096 tps=100 nb_sec=3020
case_no=141 label=Case6.129 nb_sol=0 ticks=544807 tps=100 nb_sec=5448
case_no=141 label=Case6.129 nb_sol=0 ticks=503643 tps=100 nb_sec=5036
case_no=141 label=Case6.129 nb_sol=0 ticks=527619 tps=100 nb_sec=5276
case_no=141 label=Case6.129 nb_sol=0 ticks=242909 tps=100 nb_sec=2429
case_no=141 label=Case6.129 nb_sol=0 ticks=595773 tps=100 nb_sec=5957
case_no=141 label=Case6.129 nb_sol=0 ticks=430655 tps=100 nb_sec=4306
case_no=141 label=Case6.129 nb_sol=0 ticks=231308 tps=100 nb_sec=2313
case_no=141 label=Case6.129 nb_sol=0 ticks=556056 tps=100 nb_sec=5560
case_no=141 label=Case6.129 nb_sol=0 ticks=531128 tps=100 nb_sec=5311
case_no=141 label=Case6.129 nb_sol=0 ticks=463343 tps=100 nb_sec=4633
case_no=141 label=Case6.129 nb_sol=0 ticks=605615 tps=100 nb_sec=6056
case_no=141 label=Case6.129 nb_sol=0 ticks=238422 tps=100 nb_sec=2384
case_no=141 label=Case6.129 nb_sol=0 ticks=616236 tps=100 nb_sec=6162
case_no=141 label=Case6.129 nb_sol=0 ticks=659138 tps=100 nb_sec=6591
case_no=141 label=Case6.129 nb_sol=0 ticks=795248 tps=100 nb_sec=7952
case_no=141 label=Case6.129 nb_sol=0 ticks=335798 tps=100 nb_sec=3357
case_no=141 label=Case6.129 nb_sol=0 ticks=426278 tps=100 nb_sec=4262
case_no=141 label=Case6.129 nb_sol=0 ticks=442575 tps=100 nb_sec=4425
case_no=141 label=Case6.129 nb_sol=0 ticks=674200 tps=100 nb_sec=6742
case_no=141 label=Case6.129 nb_sol=0 ticks=204582 tps=100 nb_sec=2045
case_no=141 label=Case6.129 nb_sol=0 ticks=380535 tps=100 nb_sec=3805
case_no=141 label=Case6.129 nb_sol=0 ticks=722152 tps=100 nb_sec=7221
case_no=141 label=Case6.129 nb_sol=0 ticks=578719 tps=100 nb_sec=5787
case_no=141 label=Case6.129 nb_sol=0 ticks=533067 tps=100 nb_sec=5330
case_no=141 label=Case6.129 nb_sol=0 ticks=557702 tps=100 nb_sec=5577
case_no=141 label=Case6.129 nb_sol=0 ticks=477568 tps=100 nb_sec=4775
case_no=141 label=Case6.129 nb_sol=0 ticks=930796 tps=100 nb_sec=9307
case_no=141 label=Case6.129 nb_sol=0 ticks=481970 tps=100 nb_sec=4819
case_no=141 label=Case6.129 nb_sol=0 ticks=390007 tps=100 nb_sec=3900
case_no=141 label=Case6.129 nb_sol=0 ticks=539327 tps=100 nb_sec=5393
case_no=141 label=Case6.129 nb_sol=0 ticks=1308757 tps=100 nb_sec=13087
case_no=141 label=Case6.129 nb_sol=0 ticks=323822 tps=100 nb_sec=3238
case_no=141 label=Case6.129 nb_sol=0 ticks=620594 tps=100 nb_sec=6205
case_no=141 label=Case6.129 nb_sol=0 ticks=380699 tps=100 nb_sec=3806
case_no=141 label=Case6.129 nb_sol=0 ticks=451703 tps=100 nb_sec=4517
case_no=141 label=Case6.129 nb_sol=0 ticks=213964 tps=100 nb_sec=2139
case_no=141 label=Case6.129 nb_sol=0 ticks=543158 tps=100 nb_sec=5431
case_no=141 label=Case6.129 nb_sol=0 ticks=422083 tps=100 nb_sec=4220
case_no=141 label=Case6.129 nb_sol=0 ticks=430987 tps=100 nb_sec=4309
case_no=141 label=Case6.129 nb_sol=0 ticks=456994 tps=100 nb_sec=4569
case_no=141 label=Case6.129 nb_sol=0 ticks=471234 tps=100 nb_sec=4712
case_no=141 label=Case6.129 nb_sol=0 ticks=558837 tps=100 nb_sec=5588
case_no=141 label=Case6.129 nb_sol=0 ticks=276804 tps=100 nb_sec=2768
case_no=141 label=Case6.129 nb_sol=0 ticks=505362 tps=100 nb_sec=5053
case_no=141 label=Case6.129 nb_sol=0 ticks=652893 tps=100 nb_sec=6528
case_no=141 label=Case6.129 nb_sol=0 ticks=494272 tps=100 nb_sec=4942
case_no=141 label=Case6.129 nb_sol=0 ticks=628068 tps=100 nb_sec=6280
case_no=141 label=Case6.129 nb_sol=0 ticks=505571 tps=100 nb_sec=5055
case_no=141 label=Case6.129 nb_sol=0 ticks=454606 tps=100 nb_sec=4546
case_no=141 label=Case6.129 nb_sol=0 ticks=622820 tps=100 nb_sec=6228
case_no=141 label=Case6.129 nb_sol=0 ticks=482243 tps=100 nb_sec=4822
case_no=141 label=Case6.129 nb_sol=0 ticks=221757 tps=100 nb_sec=2217
case_no=141 label=Case6.129 nb_sol=0 ticks=452307 tps=100 nb_sec=4523
case_no=141 label=Case6.129 nb_sol=0 ticks=648005 tps=100 nb_sec=6480
case_no=141 label=Case6.129 nb_sol=0 ticks=928717 tps=100 nb_sec=9287
case_no=141 label=Case6.129 nb_sol=0 ticks=568529 tps=100 nb_sec=5685
case_no=141 label=Case6.129 nb_sol=0 ticks=451733 tps=100 nb_sec=4517
case_no=141 label=Case6.129 nb_sol=0 ticks=223074 tps=100 nb_sec=2230
case_no=141 label=Case6.129 nb_sol=0 ticks=649578 tps=100 nb_sec=6495
case_no=141 label=Case6.129 nb_sol=0 ticks=509092 tps=100 nb_sec=5090
case_no=141 label=Case6.129 nb_sol=0 ticks=867646 tps=100 nb_sec=8676
case_no=141 label=Case6.129 nb_sol=0 ticks=367979 tps=100 nb_sec=3679
case_no=141 label=Case6.129 nb_sol=0 ticks=854453 tps=100 nb_sec=8544
case_no=141 label=Case6.129 nb_sol=0 ticks=320854 tps=100 nb_sec=3208
case_no=141 label=Case6.129 nb_sol=0 ticks=389688 tps=100 nb_sec=3896
case_no=141 label=Case6.129 nb_sol=0 ticks=686256 tps=100 nb_sec=6862
case_no=141 label=Case6.129 nb_sol=0 ticks=664301 tps=100 nb_sec=6643
case_no=141 label=Case6.129 nb_sol=0 ticks=282730 tps=100 nb_sec=2827
case_no=141 label=Case6.129 nb_sol=0 ticks=624717 tps=100 nb_sec=6247
case_no=141 label=Case6.129 nb_sol=0 ticks=646470 tps=100 nb_sec=6464
case_no=141 label=Case6.129 nb_sol=0 ticks=688844 tps=100 nb_sec=6888
case_no=141 label=Case6.129 nb_sol=0 ticks=665641 tps=100 nb_sec=6656
case_no=141 label=Case6.129 nb_sol=0 ticks=281537 tps=100 nb_sec=2815
case_no=141 label=Case6.129 nb_sol=0 ticks=326224 tps=100 nb_sec=3262
case_no=141 label=Case6.129 nb_sol=0 ticks=564221 tps=100 nb_sec=5642
case_no=141 label=Case6.129 nb_sol=0 ticks=505562 tps=100 nb_sec=5055
case_no=141 label=Case6.129 nb_sol=0 ticks=474088 tps=100 nb_sec=4740
case_no=141 label=Case6.129 nb_sol=0 ticks=518571 tps=100 nb_sec=5185
case_no=141 label=Case6.129 nb_sol=0 ticks=582488 tps=100 nb_sec=5824
case_no=141 label=Case6.129 nb_sol=0 ticks=605003 tps=100 nb_sec=6050
case_no=141 label=Case6.129 nb_sol=0 ticks=656536 tps=100 nb_sec=6565
case_no=141 label=Case6.129 nb_sol=0 ticks=438304 tps=100 nb_sec=4383
case_no=141 label=Case6.129 nb_sol=0 ticks=353371 tps=100 nb_sec=3533
case_no=141 label=Case6.129 nb_sol=0 ticks=364321 tps=100 nb_sec=3643
case_no=141 label=Case6.129 nb_sol=0 ticks=581562 tps=100 nb_sec=5815
case_no=141 label=Case6.129 nb_sol=0 ticks=565089 tps=100 nb_sec=5650
case_no=141 label=Case6.129 nb_sol=0 ticks=407177 tps=100 nb_sec=4071
case_no=141 label=Case6.129 nb_sol=0 ticks=446786 tps=100 nb_sec=4467
case_no=141 label=Case6.129 nb_sol=0 ticks=428566 tps=100 nb_sec=4285
case_no=141 label=Case6.129 nb_sol=0 ticks=508035 tps=100 nb_sec=5080
case_no=141 label=Case6.129 nb_sol=0 ticks=329541 tps=100 nb_sec=3295
case_no=141 label=Case6.129 nb_sol=0 ticks=464289 tps=100 nb_sec=4642
case_no=141 label=Case6.129 nb_sol=0 ticks=498805 tps=100 nb_sec=4988
case_no=141 label=Case6.129 nb_sol=0 ticks=398271 tps=100 nb_sec=3982
case_no=141 label=Case6.129 nb_sol=0 ticks=310569 tps=100 nb_sec=3105
case_no=141 label=Case6.129 nb_sol=0 ticks=579280 tps=100 nb_sec=5792
case_no=141 label=Case6.129 nb_sol=0 ticks=483693 tps=100 nb_sec=4836
case_no=141 label=Case6.129 nb_sol=0 ticks=587754 tps=100 nb_sec=5877
case_no=141 label=Case6.129 nb_sol=0 ticks=453983 tps=100 nb_sec=4539
case_no=141 label=Case6.129 nb_sol=0 ticks=514352 tps=100 nb_sec=5143
case_no=141 label=Case6.129 nb_sol=0 ticks=511293 tps=100 nb_sec=5112
case_no=141 label=Case6.129 nb_sol=0 ticks=582033 tps=100 nb_sec=5820
case_no=141 label=Case6.129 nb_sol=0 ticks=235301 tps=100 nb_sec=2353
case_no=141 label=Case6.129 nb_sol=0 ticks=572755 tps=100 nb_sec=5727
case_no=141 label=Case6.129 nb_sol=0 ticks=537136 tps=100 nb_sec=5371
case_no=141 label=Case6.129 nb_sol=0 ticks=490742 tps=100 nb_sec=4907
case_no=141 label=Case6.129 nb_sol=0 ticks=515017 tps=100 nb_sec=5150
case_no=141 label=Case6.129 nb_sol=0 ticks=613881 tps=100 nb_sec=6138
case_no=141 label=Case6.129 nb_sol=0 ticks=412221 tps=100 nb_sec=4122
case_no=141 label=Case6.129 nb_sol=0 ticks=686057 tps=100 nb_sec=6860
case_no=141 label=Case6.129 nb_sol=0 ticks=550198 tps=100 nb_sec=5501
case_no=141 label=Case6.129 nb_sol=0 ticks=715694 tps=100 nb_sec=7156
case_no=141 label=Case6.129 nb_sol=0 ticks=512989 tps=100 nb_sec=5129
case_no=141 label=Case6.129 nb_sol=0 ticks=577298 tps=100 nb_sec=5772
case_no=141 label=Case6.129 nb_sol=0 ticks=594467 tps=100 nb_sec=5944
case_no=141 label=Case6.129 nb_sol=0 ticks=699570 tps=100 nb_sec=6995
case_no=141 label=Case6.129 nb_sol=0 ticks=510259 tps=100 nb_sec=5102
case_no=141 label=Case6.129 nb_sol=0 ticks=823141 tps=100 nb_sec=8231
case_no=141 label=Case6.129 nb_sol=0 ticks=524351 tps=100 nb_sec=5243
case_no=141 label=Case6.129 nb_sol=0 ticks=591454 tps=100 nb_sec=5914
case_no=141 label=Case6.129 nb_sol=0 ticks=362199 tps=100 nb_sec=3621
case_no=141 label=Case6.129 nb_sol=0 ticks=340378 tps=100 nb_sec=3403
case_no=141 label=Case6.129 nb_sol=0 ticks=332000 tps=100 nb_sec=3320
case_no=141 label=Case6.129 nb_sol=0 ticks=655677 tps=100 nb_sec=6556
case_no=141 label=Case6.129 nb_sol=0 ticks=431074 tps=100 nb_sec=4310
case_no=141 label=Case6.129 nb_sol=0 ticks=585406 tps=100 nb_sec=5854
case_no=141 label=Case6.129 nb_sol=0 ticks=429142 tps=100 nb_sec=4291
case_no=141 label=Case6.129 nb_sol=0 ticks=898495 tps=100 nb_sec=8984
case_no=141 label=Case6.129 nb_sol=0 ticks=576848 tps=100 nb_sec=5768
case_no=141 label=Case6.129 nb_sol=0 ticks=564452 tps=100 nb_sec=5644
case_no=141 label=Case6.129 nb_sol=0 ticks=501767 tps=100 nb_sec=5017
case_no=141 label=Case6.129 nb_sol=0 ticks=553250 tps=100 nb_sec=5532
case_no=141 label=Case6.129 nb_sol=0 ticks=548674 tps=100 nb_sec=5486
case_no=141 label=Case6.129 nb_sol=0 ticks=581385 tps=100 nb_sec=5813
case_no=141 label=Case6.129 nb_sol=0 ticks=581753 tps=100 nb_sec=5817
case_no=141 label=Case6.129 nb_sol=0 ticks=494907 tps=100 nb_sec=4949
case_no=141 label=Case6.129 nb_sol=0 ticks=760886 tps=100 nb_sec=7608
case_no=141 label=Case6.129 nb_sol=0 ticks=462645 tps=100 nb_sec=4626
case_no=141 label=Case6.129 nb_sol=0 ticks=486054 tps=100 nb_sec=4860
case_no=141 label=Case6.129 nb_sol=0 ticks=523865 tps=100 nb_sec=5238
case_no=141 label=Case6.129 nb_sol=0 ticks=565195 tps=100 nb_sec=5651
case_no=141 label=Case6.129 nb_sol=0 ticks=902260 tps=100 nb_sec=9022
case_no=141 label=Case6.129 nb_sol=0 ticks=453708 tps=100 nb_sec=4537
case_no=141 label=Case6.129 nb_sol=0 ticks=608867 tps=100 nb_sec=6088
case_no=141 label=Case6.129 nb_sol=0 ticks=565761 tps=100 nb_sec=5657
case_no=141 label=Case6.129 nb_sol=0 ticks=614511 tps=100 nb_sec=6145
case_no=141 label=Case6.129 nb_sol=0 ticks=612290 tps=100 nb_sec=6122
case_no=141 label=Case6.129 nb_sol=0 ticks=551285 tps=100 nb_sec=5512
case_no=141 label=Case6.129 nb_sol=0 ticks=559212 tps=100 nb_sec=5592
case_no=141 label=Case6.129 nb_sol=0 ticks=490672 tps=100 nb_sec=4906
case_no=141 label=Case6.129 nb_sol=0 ticks=462928 tps=100 nb_sec=4629
case_no=141 label=Case6.129 nb_sol=0 ticks=452800 tps=100 nb_sec=4528
case_no=141 label=Case6.129 nb_sol=0 ticks=414000 tps=100 nb_sec=4140
case_no=141 label=Case6.129 nb_sol=0 ticks=479130 tps=100 nb_sec=4791
case_no=141 label=Case6.129 nb_sol=0 ticks=385488 tps=100 nb_sec=3854
case_no=141 label=Case6.129 nb_sol=0 ticks=645429 tps=100 nb_sec=6454
case_no=141 label=Case6.129 nb_sol=0 ticks=588834 tps=100 nb_sec=5888
case_no=141 label=Case6.129 nb_sol=0 ticks=336451 tps=100 nb_sec=3364
case_no=141 label=Case6.129 nb_sol=0 ticks=476073 tps=100 nb_sec=4760
case_no=141 label=Case6.129 nb_sol=0 ticks=556120 tps=100 nb_sec=5561
case_no=141 label=Case6.129 nb_sol=0 ticks=462008 tps=100 nb_sec=4620
case_no=141 label=Case6.129 nb_sol=0 ticks=438428 tps=100 nb_sec=4384
case_no=141 label=Case6.129 nb_sol=0 ticks=512632 tps=100 nb_sec=5126
case_no=141 label=Case6.129 nb_sol=0 ticks=460449 tps=100 nb_sec=4604
case_no=141 label=Case6.129 nb_sol=0 ticks=438596 tps=100 nb_sec=4385
case_no=141 label=Case6.129 nb_sol=0 ticks=556022 tps=100 nb_sec=5560
case_no=141 label=Case6.129 nb_sol=0 ticks=524861 tps=100 nb_sec=5248
case_no=141 label=Case6.129 nb_sol=0 ticks=530918 tps=100 nb_sec=5309
case_no=141 label=Case6.129 nb_sol=0 ticks=671452 tps=100 nb_sec=6714
case_no=141 label=Case6.129 nb_sol=0 ticks=492853 tps=100 nb_sec=4928
case_no=141 label=Case6.129 nb_sol=0 ticks=725521 tps=100 nb_sec=7255
case_no=141 label=Case6.129 nb_sol=0 ticks=594965 tps=100 nb_sec=5949
case_no=141 label=Case6.129 nb_sol=0 ticks=463142 tps=100 nb_sec=4631
case_no=141 label=Case6.129 nb_sol=0 ticks=789939 tps=100 nb_sec=7899
case_no=141 label=Case6.129 nb_sol=0 ticks=438719 tps=100 nb_sec=4387
case_no=141 label=Case6.129 nb_sol=0 ticks=677914 tps=100 nb_sec=6779
case_no=141 label=Case6.129 nb_sol=0 ticks=406820 tps=100 nb_sec=4068
case_no=141 label=Case6.129 nb_sol=0 ticks=743509 tps=100 nb_sec=7435
case_no=141 label=Case6.129 nb_sol=0 ticks=571937 tps=100 nb_sec=5719
case_no=141 label=Case6.129 nb_sol=0 ticks=681356 tps=100 nb_sec=6813
case_no=141 label=Case6.129 nb_sol=0 ticks=541381 tps=100 nb_sec=5413
case_no=141 label=Case6.129 nb_sol=0 ticks=638256 tps=100 nb_sec=6382
case_no=141 label=Case6.129 nb_sol=0 ticks=837900 tps=100 nb_sec=8379
case_no=141 label=Case6.129 nb_sol=0 ticks=236818 tps=100 nb_sec=2368
case_no=141 label=Case6.129 nb_sol=0 ticks=597868 tps=100 nb_sec=5978
case_no=141 label=Case6.129 nb_sol=0 ticks=759685 tps=100 nb_sec=7596
case_no=141 label=Case6.129 nb_sol=0 ticks=873699 tps=100 nb_sec=8736
case_no=141 label=Case6.129 nb_sol=0 ticks=382405 tps=100 nb_sec=3824
case_no=141 label=Case6.129 nb_sol=0 ticks=499016 tps=100 nb_sec=4990
case_no=141 label=Case6.129 nb_sol=0 ticks=493265 tps=100 nb_sec=4932
case_no=141 label=Case6.129 nb_sol=0 ticks=287997 tps=100 nb_sec=2879
case_no=141 label=Case6.129 nb_sol=0 ticks=313745 tps=100 nb_sec=3137
case_no=141 label=Case6.129 nb_sol=0 ticks=617771 tps=100 nb_sec=6177
case_no=141 label=Case6.129 nb_sol=0 ticks=452568 tps=100 nb_sec=4525
case_no=141 label=Case6.129 nb_sol=0 ticks=828444 tps=100 nb_sec=8284
case_no=141 label=Case6.129 nb_sol=0 ticks=462649 tps=100 nb_sec=4626
case_no=141 label=Case6.129 nb_sol=0 ticks=618678 tps=100 nb_sec=6186
case_no=141 label=Case6.129 nb_sol=0 ticks=477855 tps=100 nb_sec=4778
case_no=141 label=Case6.129 nb_sol=0 ticks=528191 tps=100 nb_sec=5281
case_no=141 label=Case6.129 nb_sol=0 ticks=560177 tps=100 nb_sec=5601
case_no=141 label=Case6.129 nb_sol=0 ticks=251276 tps=100 nb_sec=2512
case_no=141 label=Case6.129 nb_sol=0 ticks=414507 tps=100 nb_sec=4145
case_no=141 label=Case6.129 nb_sol=0 ticks=869087 tps=100 nb_sec=8690
case_no=141 label=Case6.129 nb_sol=0 ticks=615717 tps=100 nb_sec=6157
case_no=141 label=Case6.129 nb_sol=0 ticks=281527 tps=100 nb_sec=2815
case_no=141 label=Case6.129 nb_sol=0 ticks=290968 tps=100 nb_sec=2909
case_no=141 label=Case6.129 nb_sol=0 ticks=371697 tps=100 nb_sec=3716
case_no=141 label=Case6.129 nb_sol=0 ticks=400164 tps=100 nb_sec=4001
case_no=141 label=Case6.129 nb_sol=0 ticks=528665 tps=100 nb_sec=5286
case_no=141 label=Case6.129 nb_sol=0 ticks=322249 tps=100 nb_sec=3222
case_no=141 label=Case6.129 nb_sol=0 ticks=601562 tps=100 nb_sec=6015
case_no=141 label=Case6.129 nb_sol=0 ticks=461385 tps=100 nb_sec=4613
case_no=141 label=Case6.129 nb_sol=0 ticks=453636 tps=100 nb_sec=4536
case_no=141 label=Case6.129 nb_sol=0 ticks=452191 tps=100 nb_sec=4521
case_no=141 label=Case6.129 nb_sol=0 ticks=323939 tps=100 nb_sec=3239
case_no=141 label=Case6.129 nb_sol=0 ticks=428546 tps=100 nb_sec=4285
case_no=141 label=Case6.129 nb_sol=0 ticks=885562 tps=100 nb_sec=8855
case_no=141 label=Case6.129 nb_sol=0 ticks=600088 tps=100 nb_sec=6000
case_no=141 label=Case6.129 nb_sol=0 ticks=533343 tps=100 nb_sec=5333
case_no=141 label=Case6.129 nb_sol=0 ticks=403572 tps=100 nb_sec=4035
case_no=141 label=Case6.129 nb_sol=0 ticks=870043 tps=100 nb_sec=8700
case_no=141 label=Case6.129 nb_sol=0 ticks=548034 tps=100 nb_sec=5480
case_no=141 label=Case6.129 nb_sol=0 ticks=423115 tps=100 nb_sec=4231
case_no=141 label=Case6.129 nb_sol=0 ticks=262716 tps=100 nb_sec=2627
case_no=141 label=Case6.129 nb_sol=0 ticks=575892 tps=100 nb_sec=5758
case_no=141 label=Case6.129 nb_sol=0 ticks=525984 tps=100 nb_sec=5259
case_no=141 label=Case6.129 nb_sol=0 ticks=528526 tps=100 nb_sec=5285
case_no=141 label=Case6.129 nb_sol=0 ticks=235239 tps=100 nb_sec=2352
case_no=141 label=Case6.129 nb_sol=0 ticks=746812 tps=100 nb_sec=7468
case_no=141 label=Case6.129 nb_sol=0 ticks=617986 tps=100 nb_sec=6179
case_no=141 label=Case6.129 nb_sol=0 ticks=711822 tps=100 nb_sec=7118
case_no=141 label=Case6.129 nb_sol=0 ticks=651939 tps=100 nb_sec=6519
case_no=141 label=Case6.129 nb_sol=0 ticks=917866 tps=100 nb_sec=9178
case_no=141 label=Case6.129 nb_sol=0 ticks=778459 tps=100 nb_sec=7784
case_no=141 label=Case6.129 nb_sol=0 ticks=574370 tps=100 nb_sec=5743
case_no=141 label=Case6.129 nb_sol=0 ticks=896515 tps=100 nb_sec=8965
case_no=141 label=Case6.129 nb_sol=0 ticks=730204 tps=100 nb_sec=7302
case_no=141 label=Case6.129 nb_sol=0 ticks=468486 tps=100 nb_sec=4684
case_no=141 label=Case6.129 nb_sol=0 ticks=566998 tps=100 nb_sec=5669
case_no=141 label=Case6.129 nb_sol=0 ticks=612571 tps=100 nb_sec=6125
case_no=141 label=Case6.129 nb_sol=0 ticks=608100 tps=100 nb_sec=6081
case_no=141 label=Case6.129 nb_sol=0 ticks=467185 tps=100 nb_sec=4671
case_no=141 label=Case6.129 nb_sol=0 ticks=680300 tps=100 nb_sec=6803
case_no=141 label=Case6.129 nb_sol=0 ticks=461397 tps=100 nb_sec=4613
case_no=141 label=Case6.129 nb_sol=0 ticks=1301734 tps=100 nb_sec=13017
case_no=141 label=Case6.129 nb_sol=0 ticks=523944 tps=100 nb_sec=5239
case_no=141 label=Case6.129 nb_sol=0 ticks=678574 tps=100 nb_sec=6785
case_no=141 label=Case6.129 nb_sol=0 ticks=550632 tps=100 nb_sec=5506
case_no=141 label=Case6.129 nb_sol=0 ticks=529608 tps=100 nb_sec=5296
case_no=141 label=Case6.129 nb_sol=0 ticks=478532 tps=100 nb_sec=4785
case_no=141 label=Case6.129 nb_sol=0 ticks=844683 tps=100 nb_sec=8446
case_no=141 label=Case6.129 nb_sol=0 ticks=1126467 tps=100 nb_sec=11264
case_no=141 label=Case6.129 nb_sol=0 ticks=612330 tps=100 nb_sec=6123
case_no=141 label=Case6.129 nb_sol=0 ticks=689289 tps=100 nb_sec=6892
case_no=141 label=Case6.129 nb_sol=0 ticks=777621 tps=100 nb_sec=7776
case_no=141 label=Case6.129 nb_sol=0 ticks=416362 tps=100 nb_sec=4163
case_no=141 label=Case6.129 nb_sol=0 ticks=579742 tps=100 nb_sec=5797
case_no=141 label=Case6.129 nb_sol=0 ticks=544825 tps=100 nb_sec=5448
case_no=141 label=Case6.129 nb_sol=0 ticks=598865 tps=100 nb_sec=5988
case_no=141 label=Case6.129 nb_sol=0 ticks=387741 tps=100 nb_sec=3877
case_no=141 label=Case6.129 nb_sol=0 ticks=508103 tps=100 nb_sec=5081
case_no=141 label=Case6.129 nb_sol=0 ticks=544624 tps=100 nb_sec=5446
case_no=141 label=Case6.129 nb_sol=0 ticks=827174 tps=100 nb_sec=8271
case_no=141 label=Case6.129 nb_sol=0 ticks=441667 tps=100 nb_sec=4416
case_no=141 label=Case6.129 nb_sol=0 ticks=509193 tps=100 nb_sec=5091
case_no=141 label=Case6.129 nb_sol=0 ticks=390327 tps=100 nb_sec=3903
case_no=141 label=Case6.129 nb_sol=0 ticks=658042 tps=100 nb_sec=6580
case_no=141 label=Case6.129 nb_sol=0 ticks=1043224 tps=100 nb_sec=10432
case_no=141 label=Case6.129 nb_sol=0 ticks=480578 tps=100 nb_sec=4805
case_no=141 label=Case6.129 nb_sol=0 ticks=499021 tps=100 nb_sec=4990
case_no=141 label=Case6.129 nb_sol=0 ticks=631077 tps=100 nb_sec=6310
case_no=141 label=Case6.129 nb_sol=0 ticks=570223 tps=100 nb_sec=5702
case_no=141 label=Case6.129 nb_sol=0 ticks=595341 tps=100 nb_sec=5953
case_no=141 label=Case6.129 nb_sol=0 ticks=489629 tps=100 nb_sec=4896
case_no=141 label=Case6.129 nb_sol=0 ticks=479671 tps=100 nb_sec=4796
case_no=141 label=Case6.129 nb_sol=0 ticks=591648 tps=100 nb_sec=5916
case_no=141 label=Case6.129 nb_sol=0 ticks=616081 tps=100 nb_sec=6160
case_no=141 label=Case6.129 nb_sol=0 ticks=566610 tps=100 nb_sec=5666
case_no=141 label=Case6.129 nb_sol=0 ticks=576868 tps=100 nb_sec=5768
case_no=141 label=Case6.129 nb_sol=0 ticks=500849 tps=100 nb_sec=5008
case_no=141 label=Case6.129 nb_sol=0 ticks=352929 tps=100 nb_sec=3529
case_no=141 label=Case6.129 nb_sol=0 ticks=424196 tps=100 nb_sec=4241
case_no=141 label=Case6.129 nb_sol=0 ticks=473545 tps=100 nb_sec=4735
case_no=141 label=Case6.129 nb_sol=0 ticks=642616 tps=100 nb_sec=6426
case_no=141 label=Case6.129 nb_sol=0 ticks=573161 tps=100 nb_sec=5731
case_no=141 label=Case6.129 nb_sol=0 ticks=626587 tps=100 nb_sec=6265
case_no=141 label=Case6.129 nb_sol=0 ticks=615692 tps=100 nb_sec=6156
case_no=141 label=Case6.129 nb_sol=0 ticks=539332 tps=100 nb_sec=5393
case_no=141 label=Case6.129 nb_sol=0 ticks=587690 tps=100 nb_sec=5876
case_no=141 label=Case6.129 nb_sol=0 ticks=459774 tps=100 nb_sec=4597
case_no=141 label=Case6.129 nb_sol=0 ticks=491216 tps=100 nb_sec=4912
case_no=141 label=Case6.129 nb_sol=0 ticks=583311 tps=100 nb_sec=5833
case_no=141 label=Case6.129 nb_sol=0 ticks=440775 tps=100 nb_sec=4407
case_no=141 label=Case6.129 nb_sol=0 ticks=550211 tps=100 nb_sec=5502
case_no=141 label=Case6.129 nb_sol=0 ticks=626348 tps=100 nb_sec=6263
case_no=141 label=Case6.129 nb_sol=0 ticks=360574 tps=100 nb_sec=3605
case_no=141 label=Case6.129 nb_sol=0 ticks=569099 tps=100 nb_sec=5690
case_no=141 label=Case6.129 nb_sol=0 ticks=522587 tps=100 nb_sec=5225
case_no=141 label=Case6.129 nb_sol=0 ticks=615376 tps=100 nb_sec=6153
case_no=141 label=Case6.129 nb_sol=0 ticks=689875 tps=100 nb_sec=6898
case_no=141 label=Case6.129 nb_sol=0 ticks=454561 tps=100 nb_sec=4545
case_no=141 label=Case6.129 nb_sol=0 ticks=414546 tps=100 nb_sec=4145
case_no=141 label=Case6.129 nb_sol=0 ticks=658296 tps=100 nb_sec=6582
case_no=141 label=Case6.129 nb_sol=0 ticks=589157 tps=100 nb_sec=5891
case_no=141 label=Case6.129 nb_sol=0 ticks=715635 tps=100 nb_sec=7156
case_no=141 label=Case6.129 nb_sol=0 ticks=461781 tps=100 nb_sec=4617
case_no=141 label=Case6.129 nb_sol=0 ticks=586474 tps=100 nb_sec=5864
case_no=141 label=Case6.129 nb_sol=0 ticks=468789 tps=100 nb_sec=4687
case_no=141 label=Case6.129 nb_sol=0 ticks=554891 tps=100 nb_sec=5548
case_no=141 label=Case6.129 nb_sol=0 ticks=356207 tps=100 nb_sec=3562
case_no=141 label=Case6.129 nb_sol=0 ticks=697116 tps=100 nb_sec=6971
case_no=141 label=Case6.129 nb_sol=0 ticks=489158 tps=100 nb_sec=4891
case_no=141 label=Case6.129 nb_sol=0 ticks=620426 tps=100 nb_sec=6204
case_no=141 label=Case6.129 nb_sol=0 ticks=452492 tps=100 nb_sec=4524
case_no=141 label=Case6.129 nb_sol=0 ticks=626107 tps=100 nb_sec=6261
case_no=141 label=Case6.129 nb_sol=0 ticks=541652 tps=100 nb_sec=5416
case_no=141 label=Case6.129 nb_sol=0 ticks=700873 tps=100 nb_sec=7008
case_no=141 label=Case6.129 nb_sol=0 ticks=498274 tps=100 nb_sec=4982
case_no=141 label=Case6.129 nb_sol=0 ticks=675029 tps=100 nb_sec=6750
case_no=141 label=Case6.129 nb_sol=0 ticks=578730 tps=100 nb_sec=5787
case_no=141 label=Case6.129 nb_sol=0 ticks=690241 tps=100 nb_sec=6902
case_no=141 label=Case6.129 nb_sol=0 ticks=596206 tps=100 nb_sec=5962
case_no=141 label=Case6.129 nb_sol=0 ticks=369036 tps=100 nb_sec=3690
case_no=141 label=Case6.129 nb_sol=0 ticks=353023 tps=100 nb_sec=3530
case_no=141 label=Case6.129 nb_sol=0 ticks=570620 tps=100 nb_sec=5706
case_no=141 label=Case6.129 nb_sol=0 ticks=481987 tps=100 nb_sec=4819
case_no=141 label=Case6.129 nb_sol=0 ticks=675377 tps=100 nb_sec=6753
case_no=141 label=Case6.129 nb_sol=0 ticks=523850 tps=100 nb_sec=5238
case_no=141 label=Case6.129 nb_sol=0 ticks=434751 tps=100 nb_sec=4347
case_no=141 label=Case6.129 nb_sol=0 ticks=513173 tps=100 nb_sec=5131
case_no=141 label=Case6.129 nb_sol=0 ticks=501228 tps=100 nb_sec=5012
case_no=141 label=Case6.129 nb_sol=0 ticks=888144 tps=100 nb_sec=8881
case_no=141 label=Case6.129 nb_sol=0 ticks=466186 tps=100 nb_sec=4661
case_no=141 label=Case6.129 nb_sol=0 ticks=242609 tps=100 nb_sec=2426
case_no=141 label=Case6.129 nb_sol=0 ticks=772371 tps=100 nb_sec=7723
case_no=141 label=Case6.129 nb_sol=0 ticks=465767 tps=100 nb_sec=4657
case_no=141 label=Case6.129 nb_sol=0 ticks=532059 tps=100 nb_sec=5320
case_no=141 label=Case6.129 nb_sol=0 ticks=561884 tps=100 nb_sec=5618
case_no=141 label=Case6.129 nb_sol=0 ticks=548364 tps=100 nb_sec=5483
case_no=141 label=Case6.129 nb_sol=0 ticks=405601 tps=100 nb_sec=4056
case_no=141 label=Case6.129 nb_sol=0 ticks=493650 tps=100 nb_sec=4936
case_no=141 label=Case6.129 nb_sol=0 ticks=341407 tps=100 nb_sec=3414
case_no=141 label=Case6.129 nb_sol=0 ticks=748635 tps=100 nb_sec=7486
case_no=141 label=Case6.129 nb_sol=0 ticks=569142 tps=100 nb_sec=5691
case_no=141 label=Case6.129 nb_sol=0 ticks=511290 tps=100 nb_sec=5112
case_no=141 label=Case6.129 nb_sol=0 ticks=438547 tps=100 nb_sec=4385
case_no=141 label=Case6.129 nb_sol=0 ticks=567234 tps=100 nb_sec=5672
case_no=141 label=Case6.129 nb_sol=0 ticks=511477 tps=100 nb_sec=5114
case_no=141 label=Case6.129 nb_sol=0 ticks=750425 tps=100 nb_sec=7504
case_no=141 label=Case6.129 nb_sol=0 ticks=432890 tps=100 nb_sec=4328
case_no=141 label=Case6.129 nb_sol=0 ticks=551632 tps=100 nb_sec=5516
case_no=141 label=Case6.129 nb_sol=0 ticks=553338 tps=100 nb_sec=5533
case_no=141 label=Case6.129 nb_sol=0 ticks=638493 tps=100 nb_sec=6384
case_no=141 label=Case6.129 nb_sol=0 ticks=676922 tps=100 nb_sec=6769
case_no=141 label=Case6.129 nb_sol=0 ticks=672170 tps=100 nb_sec=6721
case_no=141 label=Case6.129 nb_sol=0 ticks=586663 tps=100 nb_sec=5866
case_no=141 label=Case6.129 nb_sol=0 ticks=399558 tps=100 nb_sec=3995
case_no=141 label=Case6.129 nb_sol=0 ticks=478744 tps=100 nb_sec=4787
case_no=141 label=Case6.129 nb_sol=0 ticks=664827 tps=100 nb_sec=6648
case_no=141 label=Case6.129 nb_sol=0 ticks=657534 tps=100 nb_sec=6575
case_no=141 label=Case6.129 nb_sol=0 ticks=494186 tps=100 nb_sec=4941
case_no=141 label=Case6.129 nb_sol=0 ticks=609320 tps=100 nb_sec=6093
case_no=141 label=Case6.129 nb_sol=0 ticks=727960 tps=100 nb_sec=7279
case_no=141 label=Case6.129 nb_sol=0 ticks=744908 tps=100 nb_sec=7449
case_no=141 label=Case6.129 nb_sol=0 ticks=614000 tps=100 nb_sec=6140
case_no=141 label=Case6.129 nb_sol=0 ticks=714789 tps=100 nb_sec=7147
case_no=141 label=Case6.129 nb_sol=0 ticks=741224 tps=100 nb_sec=7412
case_no=141 label=Case6.129 nb_sol=0 ticks=698980 tps=100 nb_sec=6989
case_no=141 label=Case6.129 nb_sol=0 ticks=812056 tps=100 nb_sec=8120
case_no=141 label=Case6.129 nb_sol=0 ticks=647565 tps=100 nb_sec=6475
case_no=141 label=Case6.129 nb_sol=0 ticks=751825 tps=100 nb_sec=7518
case_no=141 label=Case6.129 nb_sol=0 ticks=666978 tps=100 nb_sec=6669
case_no=141 label=Case6.129 nb_sol=0 ticks=711715 tps=100 nb_sec=7117
case_no=141 label=Case6.129 nb_sol=0 ticks=656652 tps=100 nb_sec=6566
case_no=141 label=Case6.129 nb_sol=0 ticks=763447 tps=100 nb_sec=7634
case_no=141 label=Case6.129 nb_sol=0 ticks=567124 tps=100 nb_sec=5671
case_no=141 label=Case6.129 nb_sol=0 ticks=544082 tps=100 nb_sec=5440
case_no=141 label=Case6.129 nb_sol=0 ticks=455515 tps=100 nb_sec=4555
case_no=141 label=Case6.129 nb_sol=0 ticks=917673 tps=100 nb_sec=9176
case_no=141 label=Case6.129 nb_sol=0 ticks=593989 tps=100 nb_sec=5939
case_no=141 label=Case6.129 nb_sol=0 ticks=434174 tps=100 nb_sec=4341
case_no=141 label=Case6.129 nb_sol=0 ticks=476723 tps=100 nb_sec=4767
case_no=141 label=Case6.129 nb_sol=0 ticks=426085 tps=100 nb_sec=4260
case_no=141 label=Case6.129 nb_sol=0 ticks=648863 tps=100 nb_sec=6488
case_no=141 label=Case6.129 nb_sol=0 ticks=507057 tps=100 nb_sec=5070
case_no=141 label=Case6.129 nb_sol=0 ticks=596973 tps=100 nb_sec=5969
case_no=141 label=Case6.129 nb_sol=0 ticks=459130 tps=100 nb_sec=4591
case_no=141 label=Case6.129 nb_sol=0 ticks=445310 tps=100 nb_sec=4453
case_no=141 label=Case6.129 nb_sol=0 ticks=429127 tps=100 nb_sec=4291
case_no=141 label=Case6.129 nb_sol=0 ticks=398683 tps=100 nb_sec=3986
case_no=141 label=Case6.129 nb_sol=0 ticks=452154 tps=100 nb_sec=4521
case_no=141 label=Case6.129 nb_sol=0 ticks=521485 tps=100 nb_sec=5214
case_no=141 label=Case6.129 nb_sol=0 ticks=491392 tps=100 nb_sec=4913
case_no=141 label=Case6.129 nb_sol=0 ticks=467520 tps=100 nb_sec=4675
case_no=141 label=Case6.129 nb_sol=0 ticks=533909 tps=100 nb_sec=5339
case_no=141 label=Case6.129 nb_sol=0 ticks=781520 tps=100 nb_sec=7815
case_no=141 label=Case6.129 nb_sol=0 ticks=543880 tps=100 nb_sec=5438
case_no=141 label=Case6.129 nb_sol=0 ticks=549732 tps=100 nb_sec=5497
case_no=141 label=Case6.129 nb_sol=0 ticks=516547 tps=100 nb_sec=5165
case_no=141 label=Case6.129 nb_sol=0 ticks=305567 tps=100 nb_sec=3055
case_no=141 label=Case6.129 nb_sol=0 ticks=544431 tps=100 nb_sec=5444
case_no=141 label=Case6.129 nb_sol=0 ticks=510397 tps=100 nb_sec=5103
case_no=141 label=Case6.129 nb_sol=0 ticks=575078 tps=100 nb_sec=5750
case_no=141 label=Case6.129 nb_sol=0 ticks=582500 tps=100 nb_sec=5825
case_no=141 label=Case6.129 nb_sol=0 ticks=461103 tps=100 nb_sec=4611
case_no=141 label=Case6.129 nb_sol=0 ticks=301058 tps=100 nb_sec=3010
case_no=141 label=Case6.129 nb_sol=0 ticks=506330 tps=100 nb_sec=5063
case_no=141 label=Case6.129 nb_sol=0 ticks=216330 tps=100 nb_sec=2163
case_no=141 label=Case6.129 nb_sol=0 ticks=496852 tps=100 nb_sec=4968
case_no=141 label=Case6.129 nb_sol=0 ticks=443693 tps=100 nb_sec=4436
case_no=141 label=Case6.129 nb_sol=0 ticks=218221 tps=100 nb_sec=2182
case_no=141 label=Case6.129 nb_sol=0 ticks=414177 tps=100 nb_sec=4141
case_no=141 label=Case6.129 nb_sol=0 ticks=526169 tps=100 nb_sec=5261
case_no=141 label=Case6.129 nb_sol=0 ticks=411188 tps=100 nb_sec=4111
case_no=141 label=Case6.129 nb_sol=0 ticks=611583 tps=100 nb_sec=6115
case_no=141 label=Case6.129 nb_sol=0 ticks=540211 tps=100 nb_sec=5402
case_no=141 label=Case6.129 nb_sol=0 ticks=356174 tps=100 nb_sec=3561
case_no=141 label=Case6.129 nb_sol=0 ticks=526438 tps=100 nb_sec=5264
case_no=141 label=Case6.129 nb_sol=0 ticks=714015 tps=100 nb_sec=7140
case_no=141 label=Case6.129 nb_sol=0 ticks=553474 tps=100 nb_sec=5534
case_no=141 label=Case6.129 nb_sol=0 ticks=543676 tps=100 nb_sec=5436
case_no=141 label=Case6.129 nb_sol=0 ticks=560115 tps=100 nb_sec=5601
case_no=141 label=Case6.129 nb_sol=0 ticks=890875 tps=100 nb_sec=8908
case_no=141 label=Case6.129 nb_sol=0 ticks=513951 tps=100 nb_sec=5139
case_no=141 label=Case6.129 nb_sol=0 ticks=332264 tps=100 nb_sec=3322
case_no=141 label=Case6.129 nb_sol=0 ticks=391949 tps=100 nb_sec=3919
case_no=141 label=Case6.129 nb_sol=0 ticks=499984 tps=100 nb_sec=4999
case_no=141 label=Case6.129 nb_sol=0 ticks=603459 tps=100 nb_sec=6034
case_no=141 label=Case6.129 nb_sol=0 ticks=492546 tps=100 nb_sec=4925
case_no=141 label=Case6.129 nb_sol=0 ticks=430480 tps=100 nb_sec=4304
case_no=141 label=Case6.129 nb_sol=0 ticks=602915 tps=100 nb_sec=6029
case_no=141 label=Case6.129 nb_sol=0 ticks=416416 tps=100 nb_sec=4164
case_no=141 label=Case6.129 nb_sol=0 ticks=642403 tps=100 nb_sec=6424
case_no=141 label=Case6.129 nb_sol=0 ticks=456975 tps=100 nb_sec=4569
case_no=141 label=Case6.129 nb_sol=0 ticks=527691 tps=100 nb_sec=5276
case_no=141 label=Case6.129 nb_sol=0 ticks=540529 tps=100 nb_sec=5405
case_no=141 label=Case6.129 nb_sol=0 ticks=489455 tps=100 nb_sec=4894
case_no=141 label=Case6.129 nb_sol=0 ticks=307521 tps=100 nb_sec=3075
case_no=141 label=Case6.129 nb_sol=0 ticks=535586 tps=100 nb_sec=5355
case_no=141 label=Case6.129 nb_sol=0 ticks=367219 tps=100 nb_sec=3672
case_no=141 label=Case6.129 nb_sol=0 ticks=522148 tps=100 nb_sec=5221
case_no=141 label=Case6.129 nb_sol=0 ticks=459009 tps=100 nb_sec=4590
case_no=141 label=Case6.129 nb_sol=0 ticks=436767 tps=100 nb_sec=4367
case_no=141 label=Case6.129 nb_sol=0 ticks=524477 tps=100 nb_sec=5244
case_no=141 label=Case6.129 nb_sol=0 ticks=569760 tps=100 nb_sec=5697
case_no=141 label=Case6.129 nb_sol=0 ticks=344458 tps=100 nb_sec=3444
case_no=141 label=Case6.129 nb_sol=0 ticks=529462 tps=100 nb_sec=5294
Nb_sol=0
Nb_sec=5554257
64-6:50:57 or 1542 hours
missing cases:
none