argc=5
-M 1024
file2=30_select_Case6.130_starter_15_
checking files mod 1024 from 0 to 1023
case_no=142 label=Case6.130 nb_sol=0 ticks=654390 tps=100 nb_sec=6543
case_no=142 label=Case6.130 nb_sol=0 ticks=485703 tps=100 nb_sec=4857
case_no=142 label=Case6.130 nb_sol=0 ticks=658900 tps=100 nb_sec=6589
case_no=142 label=Case6.130 nb_sol=0 ticks=287939 tps=100 nb_sec=2879
case_no=142 label=Case6.130 nb_sol=0 ticks=534758 tps=100 nb_sec=5347
case_no=142 label=Case6.130 nb_sol=0 ticks=226396 tps=100 nb_sec=2263
case_no=142 label=Case6.130 nb_sol=0 ticks=313867 tps=100 nb_sec=3138
case_no=142 label=Case6.130 nb_sol=0 ticks=260877 tps=100 nb_sec=2608
case_no=142 label=Case6.130 nb_sol=0 ticks=660146 tps=100 nb_sec=6601
case_no=142 label=Case6.130 nb_sol=0 ticks=255637 tps=100 nb_sec=2556
case_no=142 label=Case6.130 nb_sol=0 ticks=520815 tps=100 nb_sec=5208
case_no=142 label=Case6.130 nb_sol=0 ticks=471334 tps=100 nb_sec=4713
case_no=142 label=Case6.130 nb_sol=0 ticks=538430 tps=100 nb_sec=5384
case_no=142 label=Case6.130 nb_sol=0 ticks=629741 tps=100 nb_sec=6297
case_no=142 label=Case6.130 nb_sol=0 ticks=346436 tps=100 nb_sec=3464
case_no=142 label=Case6.130 nb_sol=0 ticks=350474 tps=100 nb_sec=3504
case_no=142 label=Case6.130 nb_sol=0 ticks=665465 tps=100 nb_sec=6654
case_no=142 label=Case6.130 nb_sol=0 ticks=602296 tps=100 nb_sec=6022
case_no=142 label=Case6.130 nb_sol=0 ticks=451856 tps=100 nb_sec=4518
case_no=142 label=Case6.130 nb_sol=0 ticks=330526 tps=100 nb_sec=3305
case_no=142 label=Case6.130 nb_sol=0 ticks=296310 tps=100 nb_sec=2963
case_no=142 label=Case6.130 nb_sol=0 ticks=559240 tps=100 nb_sec=5592
case_no=142 label=Case6.130 nb_sol=0 ticks=297624 tps=100 nb_sec=2976
case_no=142 label=Case6.130 nb_sol=0 ticks=323082 tps=100 nb_sec=3230
case_no=142 label=Case6.130 nb_sol=0 ticks=258048 tps=100 nb_sec=2580
case_no=142 label=Case6.130 nb_sol=0 ticks=364389 tps=100 nb_sec=3643
case_no=142 label=Case6.130 nb_sol=0 ticks=346167 tps=100 nb_sec=3461
case_no=142 label=Case6.130 nb_sol=0 ticks=386307 tps=100 nb_sec=3863
case_no=142 label=Case6.130 nb_sol=0 ticks=387295 tps=100 nb_sec=3872
case_no=142 label=Case6.130 nb_sol=0 ticks=314802 tps=100 nb_sec=3148
case_no=142 label=Case6.130 nb_sol=0 ticks=312008 tps=100 nb_sec=3120
case_no=142 label=Case6.130 nb_sol=0 ticks=232034 tps=100 nb_sec=2320
case_no=142 label=Case6.130 nb_sol=0 ticks=635853 tps=100 nb_sec=6358
case_no=142 label=Case6.130 nb_sol=0 ticks=277453 tps=100 nb_sec=2774
case_no=142 label=Case6.130 nb_sol=0 ticks=282666 tps=100 nb_sec=2826
case_no=142 label=Case6.130 nb_sol=0 ticks=532568 tps=100 nb_sec=5325
case_no=142 label=Case6.130 nb_sol=0 ticks=551863 tps=100 nb_sec=5518
case_no=142 label=Case6.130 nb_sol=0 ticks=315577 tps=100 nb_sec=3155
case_no=142 label=Case6.130 nb_sol=0 ticks=338995 tps=100 nb_sec=3389
case_no=142 label=Case6.130 nb_sol=0 ticks=668577 tps=100 nb_sec=6685
case_no=142 label=Case6.130 nb_sol=0 ticks=506515 tps=100 nb_sec=5065
case_no=142 label=Case6.130 nb_sol=0 ticks=307421 tps=100 nb_sec=3074
case_no=142 label=Case6.130 nb_sol=0 ticks=558854 tps=100 nb_sec=5588
case_no=142 label=Case6.130 nb_sol=0 ticks=343847 tps=100 nb_sec=3438
case_no=142 label=Case6.130 nb_sol=0 ticks=341535 tps=100 nb_sec=3415
case_no=142 label=Case6.130 nb_sol=0 ticks=747188 tps=100 nb_sec=7471
case_no=142 label=Case6.130 nb_sol=0 ticks=404430 tps=100 nb_sec=4044
case_no=142 label=Case6.130 nb_sol=0 ticks=649568 tps=100 nb_sec=6495
case_no=142 label=Case6.130 nb_sol=0 ticks=366922 tps=100 nb_sec=3669
case_no=142 label=Case6.130 nb_sol=0 ticks=576874 tps=100 nb_sec=5768
case_no=142 label=Case6.130 nb_sol=0 ticks=319247 tps=100 nb_sec=3192
case_no=142 label=Case6.130 nb_sol=0 ticks=525045 tps=100 nb_sec=5250
case_no=142 label=Case6.130 nb_sol=0 ticks=578914 tps=100 nb_sec=5789
case_no=142 label=Case6.130 nb_sol=0 ticks=354753 tps=100 nb_sec=3547
case_no=142 label=Case6.130 nb_sol=0 ticks=243965 tps=100 nb_sec=2439
case_no=142 label=Case6.130 nb_sol=0 ticks=528465 tps=100 nb_sec=5284
case_no=142 label=Case6.130 nb_sol=0 ticks=519018 tps=100 nb_sec=5190
case_no=142 label=Case6.130 nb_sol=0 ticks=629863 tps=100 nb_sec=6298
case_no=142 label=Case6.130 nb_sol=0 ticks=523295 tps=100 nb_sec=5232
case_no=142 label=Case6.130 nb_sol=0 ticks=684567 tps=100 nb_sec=6845
case_no=142 label=Case6.130 nb_sol=0 ticks=310384 tps=100 nb_sec=3103
case_no=142 label=Case6.130 nb_sol=0 ticks=887982 tps=100 nb_sec=8879
case_no=142 label=Case6.130 nb_sol=0 ticks=314153 tps=100 nb_sec=3141
case_no=142 label=Case6.130 nb_sol=0 ticks=574222 tps=100 nb_sec=5742
case_no=142 label=Case6.130 nb_sol=0 ticks=326736 tps=100 nb_sec=3267
case_no=142 label=Case6.130 nb_sol=0 ticks=568946 tps=100 nb_sec=5689
case_no=142 label=Case6.130 nb_sol=0 ticks=453451 tps=100 nb_sec=4534
case_no=142 label=Case6.130 nb_sol=0 ticks=612940 tps=100 nb_sec=6129
case_no=142 label=Case6.130 nb_sol=0 ticks=236983 tps=100 nb_sec=2369
case_no=142 label=Case6.130 nb_sol=0 ticks=263360 tps=100 nb_sec=2633
case_no=142 label=Case6.130 nb_sol=0 ticks=286786 tps=100 nb_sec=2867
case_no=142 label=Case6.130 nb_sol=0 ticks=576857 tps=100 nb_sec=5768
case_no=142 label=Case6.130 nb_sol=0 ticks=246778 tps=100 nb_sec=2467
case_no=142 label=Case6.130 nb_sol=0 ticks=276030 tps=100 nb_sec=2760
case_no=142 label=Case6.130 nb_sol=0 ticks=444706 tps=100 nb_sec=4447
case_no=142 label=Case6.130 nb_sol=0 ticks=669533 tps=100 nb_sec=6695
case_no=142 label=Case6.130 nb_sol=0 ticks=326999 tps=100 nb_sec=3269
case_no=142 label=Case6.130 nb_sol=0 ticks=554977 tps=100 nb_sec=5549
case_no=142 label=Case6.130 nb_sol=0 ticks=266644 tps=100 nb_sec=2666
case_no=142 label=Case6.130 nb_sol=0 ticks=295061 tps=100 nb_sec=2950
case_no=142 label=Case6.130 nb_sol=0 ticks=335515 tps=100 nb_sec=3355
case_no=142 label=Case6.130 nb_sol=0 ticks=388047 tps=100 nb_sec=3880
case_no=142 label=Case6.130 nb_sol=0 ticks=261803 tps=100 nb_sec=2618
case_no=142 label=Case6.130 nb_sol=0 ticks=582588 tps=100 nb_sec=5825
case_no=142 label=Case6.130 nb_sol=0 ticks=285309 tps=100 nb_sec=2853
case_no=142 label=Case6.130 nb_sol=0 ticks=669866 tps=100 nb_sec=6698
case_no=142 label=Case6.130 nb_sol=0 ticks=378872 tps=100 nb_sec=3788
case_no=142 label=Case6.130 nb_sol=0 ticks=373923 tps=100 nb_sec=3739
case_no=142 label=Case6.130 nb_sol=0 ticks=535434 tps=100 nb_sec=5354
case_no=142 label=Case6.130 nb_sol=0 ticks=354385 tps=100 nb_sec=3543
case_no=142 label=Case6.130 nb_sol=0 ticks=516376 tps=100 nb_sec=5163
case_no=142 label=Case6.130 nb_sol=0 ticks=371069 tps=100 nb_sec=3710
case_no=142 label=Case6.130 nb_sol=0 ticks=715223 tps=100 nb_sec=7152
case_no=142 label=Case6.130 nb_sol=0 ticks=617478 tps=100 nb_sec=6174
case_no=142 label=Case6.130 nb_sol=0 ticks=659638 tps=100 nb_sec=6596
case_no=142 label=Case6.130 nb_sol=0 ticks=528961 tps=100 nb_sec=5289
case_no=142 label=Case6.130 nb_sol=0 ticks=616721 tps=100 nb_sec=6167
case_no=142 label=Case6.130 nb_sol=0 ticks=446283 tps=100 nb_sec=4462
case_no=142 label=Case6.130 nb_sol=0 ticks=550677 tps=100 nb_sec=5506
case_no=142 label=Case6.130 nb_sol=0 ticks=567428 tps=100 nb_sec=5674
case_no=142 label=Case6.130 nb_sol=0 ticks=515216 tps=100 nb_sec=5152
case_no=142 label=Case6.130 nb_sol=0 ticks=415423 tps=100 nb_sec=4154
case_no=142 label=Case6.130 nb_sol=0 ticks=546196 tps=100 nb_sec=5461
case_no=142 label=Case6.130 nb_sol=0 ticks=591515 tps=100 nb_sec=5915
case_no=142 label=Case6.130 nb_sol=0 ticks=399547 tps=100 nb_sec=3995
case_no=142 label=Case6.130 nb_sol=0 ticks=419652 tps=100 nb_sec=4196
case_no=142 label=Case6.130 nb_sol=0 ticks=397404 tps=100 nb_sec=3974
case_no=142 label=Case6.130 nb_sol=0 ticks=897899 tps=100 nb_sec=8978
case_no=142 label=Case6.130 nb_sol=0 ticks=728389 tps=100 nb_sec=7283
case_no=142 label=Case6.130 nb_sol=0 ticks=756102 tps=100 nb_sec=7561
case_no=142 label=Case6.130 nb_sol=0 ticks=684703 tps=100 nb_sec=6847
case_no=142 label=Case6.130 nb_sol=0 ticks=841645 tps=100 nb_sec=8416
case_no=142 label=Case6.130 nb_sol=0 ticks=674528 tps=100 nb_sec=6745
case_no=142 label=Case6.130 nb_sol=0 ticks=640942 tps=100 nb_sec=6409
case_no=142 label=Case6.130 nb_sol=0 ticks=723450 tps=100 nb_sec=7234
case_no=142 label=Case6.130 nb_sol=0 ticks=698759 tps=100 nb_sec=6987
case_no=142 label=Case6.130 nb_sol=0 ticks=576600 tps=100 nb_sec=5766
case_no=142 label=Case6.130 nb_sol=0 ticks=531505 tps=100 nb_sec=5315
case_no=142 label=Case6.130 nb_sol=0 ticks=501372 tps=100 nb_sec=5013
case_no=142 label=Case6.130 nb_sol=0 ticks=568604 tps=100 nb_sec=5686
case_no=142 label=Case6.130 nb_sol=0 ticks=544004 tps=100 nb_sec=5440
case_no=142 label=Case6.130 nb_sol=0 ticks=613588 tps=100 nb_sec=6135
case_no=142 label=Case6.130 nb_sol=0 ticks=513294 tps=100 nb_sec=5132
case_no=142 label=Case6.130 nb_sol=0 ticks=648523 tps=100 nb_sec=6485
case_no=142 label=Case6.130 nb_sol=0 ticks=496564 tps=100 nb_sec=4965
case_no=142 label=Case6.130 nb_sol=0 ticks=571106 tps=100 nb_sec=5711
case_no=142 label=Case6.130 nb_sol=0 ticks=532045 tps=100 nb_sec=5320
case_no=142 label=Case6.130 nb_sol=0 ticks=632169 tps=100 nb_sec=6321
case_no=142 label=Case6.130 nb_sol=0 ticks=360827 tps=100 nb_sec=3608
case_no=142 label=Case6.130 nb_sol=0 ticks=562638 tps=100 nb_sec=5626
case_no=142 label=Case6.130 nb_sol=0 ticks=374975 tps=100 nb_sec=3749
case_no=142 label=Case6.130 nb_sol=0 ticks=664123 tps=100 nb_sec=6641
case_no=142 label=Case6.130 nb_sol=0 ticks=623676 tps=100 nb_sec=6236
case_no=142 label=Case6.130 nb_sol=0 ticks=459284 tps=100 nb_sec=4592
case_no=142 label=Case6.130 nb_sol=0 ticks=338482 tps=100 nb_sec=3384
case_no=142 label=Case6.130 nb_sol=0 ticks=497359 tps=100 nb_sec=4973
case_no=142 label=Case6.130 nb_sol=0 ticks=423459 tps=100 nb_sec=4234
case_no=142 label=Case6.130 nb_sol=0 ticks=312289 tps=100 nb_sec=3122
case_no=142 label=Case6.130 nb_sol=0 ticks=495319 tps=100 nb_sec=4953
case_no=142 label=Case6.130 nb_sol=0 ticks=487728 tps=100 nb_sec=4877
case_no=142 label=Case6.130 nb_sol=0 ticks=319364 tps=100 nb_sec=3193
case_no=142 label=Case6.130 nb_sol=0 ticks=352468 tps=100 nb_sec=3524
case_no=142 label=Case6.130 nb_sol=0 ticks=329684 tps=100 nb_sec=3296
case_no=142 label=Case6.130 nb_sol=0 ticks=360390 tps=100 nb_sec=3603
case_no=142 label=Case6.130 nb_sol=0 ticks=369209 tps=100 nb_sec=3692
case_no=142 label=Case6.130 nb_sol=0 ticks=357471 tps=100 nb_sec=3574
case_no=142 label=Case6.130 nb_sol=0 ticks=258260 tps=100 nb_sec=2582
case_no=142 label=Case6.130 nb_sol=0 ticks=345582 tps=100 nb_sec=3455
case_no=142 label=Case6.130 nb_sol=0 ticks=251804 tps=100 nb_sec=2518
case_no=142 label=Case6.130 nb_sol=0 ticks=449423 tps=100 nb_sec=4494
case_no=142 label=Case6.130 nb_sol=0 ticks=337960 tps=100 nb_sec=3379
case_no=142 label=Case6.130 nb_sol=0 ticks=373777 tps=100 nb_sec=3737
case_no=142 label=Case6.130 nb_sol=0 ticks=376180 tps=100 nb_sec=3761
case_no=142 label=Case6.130 nb_sol=0 ticks=389670 tps=100 nb_sec=3896
case_no=142 label=Case6.130 nb_sol=0 ticks=328500 tps=100 nb_sec=3285
case_no=142 label=Case6.130 nb_sol=0 ticks=249913 tps=100 nb_sec=2499
case_no=142 label=Case6.130 nb_sol=0 ticks=317216 tps=100 nb_sec=3172
case_no=142 label=Case6.130 nb_sol=0 ticks=295052 tps=100 nb_sec=2950
case_no=142 label=Case6.130 nb_sol=0 ticks=262006 tps=100 nb_sec=2620
case_no=142 label=Case6.130 nb_sol=0 ticks=338072 tps=100 nb_sec=3380
case_no=142 label=Case6.130 nb_sol=0 ticks=485543 tps=100 nb_sec=4855
case_no=142 label=Case6.130 nb_sol=0 ticks=488025 tps=100 nb_sec=4880
case_no=142 label=Case6.130 nb_sol=0 ticks=458042 tps=100 nb_sec=4580
case_no=142 label=Case6.130 nb_sol=0 ticks=402471 tps=100 nb_sec=4024
case_no=142 label=Case6.130 nb_sol=0 ticks=470405 tps=100 nb_sec=4704
case_no=142 label=Case6.130 nb_sol=0 ticks=501520 tps=100 nb_sec=5015
case_no=142 label=Case6.130 nb_sol=0 ticks=542449 tps=100 nb_sec=5424
case_no=142 label=Case6.130 nb_sol=0 ticks=556416 tps=100 nb_sec=5564
case_no=142 label=Case6.130 nb_sol=0 ticks=714171 tps=100 nb_sec=7141
case_no=142 label=Case6.130 nb_sol=0 ticks=835330 tps=100 nb_sec=8353
case_no=142 label=Case6.130 nb_sol=0 ticks=609467 tps=100 nb_sec=6094
case_no=142 label=Case6.130 nb_sol=0 ticks=665802 tps=100 nb_sec=6658
case_no=142 label=Case6.130 nb_sol=0 ticks=589328 tps=100 nb_sec=5893
case_no=142 label=Case6.130 nb_sol=0 ticks=617711 tps=100 nb_sec=6177
case_no=142 label=Case6.130 nb_sol=0 ticks=565463 tps=100 nb_sec=5654
case_no=142 label=Case6.130 nb_sol=0 ticks=597604 tps=100 nb_sec=5976
case_no=142 label=Case6.130 nb_sol=0 ticks=537328 tps=100 nb_sec=5373
case_no=142 label=Case6.130 nb_sol=0 ticks=735376 tps=100 nb_sec=7353
case_no=142 label=Case6.130 nb_sol=0 ticks=672907 tps=100 nb_sec=6729
case_no=142 label=Case6.130 nb_sol=0 ticks=780159 tps=100 nb_sec=7801
case_no=142 label=Case6.130 nb_sol=0 ticks=639932 tps=100 nb_sec=6399
case_no=142 label=Case6.130 nb_sol=0 ticks=559464 tps=100 nb_sec=5594
case_no=142 label=Case6.130 nb_sol=0 ticks=579162 tps=100 nb_sec=5791
case_no=142 label=Case6.130 nb_sol=0 ticks=376538 tps=100 nb_sec=3765
case_no=142 label=Case6.130 nb_sol=0 ticks=288723 tps=100 nb_sec=2887
case_no=142 label=Case6.130 nb_sol=0 ticks=457683 tps=100 nb_sec=4576
case_no=142 label=Case6.130 nb_sol=0 ticks=290124 tps=100 nb_sec=2901
case_no=142 label=Case6.130 nb_sol=0 ticks=335318 tps=100 nb_sec=3353
case_no=142 label=Case6.130 nb_sol=0 ticks=339706 tps=100 nb_sec=3397
case_no=142 label=Case6.130 nb_sol=0 ticks=404645 tps=100 nb_sec=4046
case_no=142 label=Case6.130 nb_sol=0 ticks=323057 tps=100 nb_sec=3230
case_no=142 label=Case6.130 nb_sol=0 ticks=337976 tps=100 nb_sec=3379
case_no=142 label=Case6.130 nb_sol=0 ticks=285674 tps=100 nb_sec=2856
case_no=142 label=Case6.130 nb_sol=0 ticks=344315 tps=100 nb_sec=3443
case_no=142 label=Case6.130 nb_sol=0 ticks=715396 tps=100 nb_sec=7153
case_no=142 label=Case6.130 nb_sol=0 ticks=535233 tps=100 nb_sec=5352
case_no=142 label=Case6.130 nb_sol=0 ticks=465320 tps=100 nb_sec=4653
case_no=142 label=Case6.130 nb_sol=0 ticks=393359 tps=100 nb_sec=3933
case_no=142 label=Case6.130 nb_sol=0 ticks=559218 tps=100 nb_sec=5592
case_no=142 label=Case6.130 nb_sol=0 ticks=382126 tps=100 nb_sec=3821
case_no=142 label=Case6.130 nb_sol=0 ticks=390537 tps=100 nb_sec=3905
case_no=142 label=Case6.130 nb_sol=0 ticks=647496 tps=100 nb_sec=6474
case_no=142 label=Case6.130 nb_sol=0 ticks=586345 tps=100 nb_sec=5863
case_no=142 label=Case6.130 nb_sol=0 ticks=405980 tps=100 nb_sec=4059
case_no=142 label=Case6.130 nb_sol=0 ticks=373787 tps=100 nb_sec=3737
case_no=142 label=Case6.130 nb_sol=0 ticks=589074 tps=100 nb_sec=5890
case_no=142 label=Case6.130 nb_sol=0 ticks=473961 tps=100 nb_sec=4739
case_no=142 label=Case6.130 nb_sol=0 ticks=541042 tps=100 nb_sec=5410
case_no=142 label=Case6.130 nb_sol=0 ticks=555300 tps=100 nb_sec=5553
case_no=142 label=Case6.130 nb_sol=0 ticks=565531 tps=100 nb_sec=5655
case_no=142 label=Case6.130 nb_sol=0 ticks=524741 tps=100 nb_sec=5247
case_no=142 label=Case6.130 nb_sol=0 ticks=770709 tps=100 nb_sec=7707
case_no=142 label=Case6.130 nb_sol=0 ticks=656523 tps=100 nb_sec=6565
case_no=142 label=Case6.130 nb_sol=0 ticks=778073 tps=100 nb_sec=7780
case_no=142 label=Case6.130 nb_sol=0 ticks=501627 tps=100 nb_sec=5016
case_no=142 label=Case6.130 nb_sol=0 ticks=705622 tps=100 nb_sec=7056
case_no=142 label=Case6.130 nb_sol=0 ticks=726244 tps=100 nb_sec=7262
case_no=142 label=Case6.130 nb_sol=0 ticks=428031 tps=100 nb_sec=4280
case_no=142 label=Case6.130 nb_sol=0 ticks=471080 tps=100 nb_sec=4710
case_no=142 label=Case6.130 nb_sol=0 ticks=377707 tps=100 nb_sec=3777
case_no=142 label=Case6.130 nb_sol=0 ticks=452185 tps=100 nb_sec=4521
case_no=142 label=Case6.130 nb_sol=0 ticks=790544 tps=100 nb_sec=7905
case_no=142 label=Case6.130 nb_sol=0 ticks=432488 tps=100 nb_sec=4324
case_no=142 label=Case6.130 nb_sol=0 ticks=651467 tps=100 nb_sec=6514
case_no=142 label=Case6.130 nb_sol=0 ticks=571494 tps=100 nb_sec=5714
case_no=142 label=Case6.130 nb_sol=0 ticks=727678 tps=100 nb_sec=7276
case_no=142 label=Case6.130 nb_sol=0 ticks=422772 tps=100 nb_sec=4227
case_no=142 label=Case6.130 nb_sol=0 ticks=771965 tps=100 nb_sec=7719
case_no=142 label=Case6.130 nb_sol=0 ticks=311306 tps=100 nb_sec=3113
case_no=142 label=Case6.130 nb_sol=0 ticks=554765 tps=100 nb_sec=5547
case_no=142 label=Case6.130 nb_sol=0 ticks=475686 tps=100 nb_sec=4756
case_no=142 label=Case6.130 nb_sol=0 ticks=543475 tps=100 nb_sec=5434
case_no=142 label=Case6.130 nb_sol=0 ticks=570474 tps=100 nb_sec=5704
case_no=142 label=Case6.130 nb_sol=0 ticks=404338 tps=100 nb_sec=4043
case_no=142 label=Case6.130 nb_sol=0 ticks=422980 tps=100 nb_sec=4229
case_no=142 label=Case6.130 nb_sol=0 ticks=404671 tps=100 nb_sec=4046
case_no=142 label=Case6.130 nb_sol=0 ticks=450341 tps=100 nb_sec=4503
case_no=142 label=Case6.130 nb_sol=0 ticks=419604 tps=100 nb_sec=4196
case_no=142 label=Case6.130 nb_sol=0 ticks=377420 tps=100 nb_sec=3774
case_no=142 label=Case6.130 nb_sol=0 ticks=440252 tps=100 nb_sec=4402
case_no=142 label=Case6.130 nb_sol=0 ticks=511374 tps=100 nb_sec=5113
case_no=142 label=Case6.130 nb_sol=0 ticks=487499 tps=100 nb_sec=4874
case_no=142 label=Case6.130 nb_sol=0 ticks=357540 tps=100 nb_sec=3575
case_no=142 label=Case6.130 nb_sol=0 ticks=547895 tps=100 nb_sec=5478
case_no=142 label=Case6.130 nb_sol=0 ticks=485435 tps=100 nb_sec=4854
case_no=142 label=Case6.130 nb_sol=0 ticks=627622 tps=100 nb_sec=6276
case_no=142 label=Case6.130 nb_sol=0 ticks=489541 tps=100 nb_sec=4895
case_no=142 label=Case6.130 nb_sol=0 ticks=459175 tps=100 nb_sec=4591
case_no=142 label=Case6.130 nb_sol=0 ticks=383923 tps=100 nb_sec=3839
case_no=142 label=Case6.130 nb_sol=0 ticks=435158 tps=100 nb_sec=4351
case_no=142 label=Case6.130 nb_sol=0 ticks=404465 tps=100 nb_sec=4044
case_no=142 label=Case6.130 nb_sol=0 ticks=496351 tps=100 nb_sec=4963
case_no=142 label=Case6.130 nb_sol=0 ticks=364936 tps=100 nb_sec=3649
case_no=142 label=Case6.130 nb_sol=0 ticks=367557 tps=100 nb_sec=3675
case_no=142 label=Case6.130 nb_sol=0 ticks=366101 tps=100 nb_sec=3661
case_no=142 label=Case6.130 nb_sol=0 ticks=396456 tps=100 nb_sec=3964
case_no=142 label=Case6.130 nb_sol=0 ticks=396589 tps=100 nb_sec=3965
case_no=142 label=Case6.130 nb_sol=0 ticks=344959 tps=100 nb_sec=3449
case_no=142 label=Case6.130 nb_sol=0 ticks=316078 tps=100 nb_sec=3160
case_no=142 label=Case6.130 nb_sol=0 ticks=370033 tps=100 nb_sec=3700
case_no=142 label=Case6.130 nb_sol=0 ticks=353130 tps=100 nb_sec=3531
case_no=142 label=Case6.130 nb_sol=0 ticks=385677 tps=100 nb_sec=3856
case_no=142 label=Case6.130 nb_sol=0 ticks=371911 tps=100 nb_sec=3719
case_no=142 label=Case6.130 nb_sol=0 ticks=341261 tps=100 nb_sec=3412
case_no=142 label=Case6.130 nb_sol=0 ticks=305558 tps=100 nb_sec=3055
case_no=142 label=Case6.130 nb_sol=0 ticks=468748 tps=100 nb_sec=4687
case_no=142 label=Case6.130 nb_sol=0 ticks=349720 tps=100 nb_sec=3497
case_no=142 label=Case6.130 nb_sol=0 ticks=376015 tps=100 nb_sec=3760
case_no=142 label=Case6.130 nb_sol=0 ticks=331313 tps=100 nb_sec=3313
case_no=142 label=Case6.130 nb_sol=0 ticks=340531 tps=100 nb_sec=3405
case_no=142 label=Case6.130 nb_sol=0 ticks=565842 tps=100 nb_sec=5658
case_no=142 label=Case6.130 nb_sol=0 ticks=399221 tps=100 nb_sec=3992
case_no=142 label=Case6.130 nb_sol=0 ticks=447330 tps=100 nb_sec=4473
case_no=142 label=Case6.130 nb_sol=0 ticks=418350 tps=100 nb_sec=4183
case_no=142 label=Case6.130 nb_sol=0 ticks=653530 tps=100 nb_sec=6535
case_no=142 label=Case6.130 nb_sol=0 ticks=433930 tps=100 nb_sec=4339
case_no=142 label=Case6.130 nb_sol=0 ticks=792309 tps=100 nb_sec=7923
case_no=142 label=Case6.130 nb_sol=0 ticks=620247 tps=100 nb_sec=6202
case_no=142 label=Case6.130 nb_sol=0 ticks=630935 tps=100 nb_sec=6309
case_no=142 label=Case6.130 nb_sol=0 ticks=632269 tps=100 nb_sec=6322
case_no=142 label=Case6.130 nb_sol=0 ticks=511577 tps=100 nb_sec=5115
case_no=142 label=Case6.130 nb_sol=0 ticks=452919 tps=100 nb_sec=4529
case_no=142 label=Case6.130 nb_sol=0 ticks=831950 tps=100 nb_sec=8319
case_no=142 label=Case6.130 nb_sol=0 ticks=554757 tps=100 nb_sec=5547
case_no=142 label=Case6.130 nb_sol=0 ticks=465248 tps=100 nb_sec=4652
case_no=142 label=Case6.130 nb_sol=0 ticks=621624 tps=100 nb_sec=6216
case_no=142 label=Case6.130 nb_sol=0 ticks=579163 tps=100 nb_sec=5791
case_no=142 label=Case6.130 nb_sol=0 ticks=690650 tps=100 nb_sec=6906
case_no=142 label=Case6.130 nb_sol=0 ticks=557702 tps=100 nb_sec=5577
case_no=142 label=Case6.130 nb_sol=0 ticks=406576 tps=100 nb_sec=4065
case_no=142 label=Case6.130 nb_sol=0 ticks=550245 tps=100 nb_sec=5502
case_no=142 label=Case6.130 nb_sol=0 ticks=651715 tps=100 nb_sec=6517
case_no=142 label=Case6.130 nb_sol=0 ticks=352671 tps=100 nb_sec=3526
case_no=142 label=Case6.130 nb_sol=0 ticks=579348 tps=100 nb_sec=5793
case_no=142 label=Case6.130 nb_sol=0 ticks=707076 tps=100 nb_sec=7070
case_no=142 label=Case6.130 nb_sol=0 ticks=446715 tps=100 nb_sec=4467
case_no=142 label=Case6.130 nb_sol=0 ticks=344354 tps=100 nb_sec=3443
case_no=142 label=Case6.130 nb_sol=0 ticks=538467 tps=100 nb_sec=5384
case_no=142 label=Case6.130 nb_sol=0 ticks=288005 tps=100 nb_sec=2880
case_no=142 label=Case6.130 nb_sol=0 ticks=610197 tps=100 nb_sec=6101
case_no=142 label=Case6.130 nb_sol=0 ticks=357954 tps=100 nb_sec=3579
case_no=142 label=Case6.130 nb_sol=0 ticks=590793 tps=100 nb_sec=5907
case_no=142 label=Case6.130 nb_sol=0 ticks=498672 tps=100 nb_sec=4986
case_no=142 label=Case6.130 nb_sol=0 ticks=639702 tps=100 nb_sec=6397
case_no=142 label=Case6.130 nb_sol=0 ticks=288718 tps=100 nb_sec=2887
case_no=142 label=Case6.130 nb_sol=0 ticks=471148 tps=100 nb_sec=4711
case_no=142 label=Case6.130 nb_sol=0 ticks=266077 tps=100 nb_sec=2660
case_no=142 label=Case6.130 nb_sol=0 ticks=334091 tps=100 nb_sec=3340
case_no=142 label=Case6.130 nb_sol=0 ticks=242399 tps=100 nb_sec=2423
case_no=142 label=Case6.130 nb_sol=0 ticks=570059 tps=100 nb_sec=5700
case_no=142 label=Case6.130 nb_sol=0 ticks=438458 tps=100 nb_sec=4384
case_no=142 label=Case6.130 nb_sol=0 ticks=300472 tps=100 nb_sec=3004
case_no=142 label=Case6.130 nb_sol=0 ticks=270024 tps=100 nb_sec=2700
case_no=142 label=Case6.130 nb_sol=0 ticks=294544 tps=100 nb_sec=2945
case_no=142 label=Case6.130 nb_sol=0 ticks=267794 tps=100 nb_sec=2677
case_no=142 label=Case6.130 nb_sol=0 ticks=394618 tps=100 nb_sec=3946
case_no=142 label=Case6.130 nb_sol=0 ticks=255489 tps=100 nb_sec=2554
case_no=142 label=Case6.130 nb_sol=0 ticks=494219 tps=100 nb_sec=4942
case_no=142 label=Case6.130 nb_sol=0 ticks=302155 tps=100 nb_sec=3021
case_no=142 label=Case6.130 nb_sol=0 ticks=303414 tps=100 nb_sec=3034
case_no=142 label=Case6.130 nb_sol=0 ticks=216071 tps=100 nb_sec=2160
case_no=142 label=Case6.130 nb_sol=0 ticks=340769 tps=100 nb_sec=3407
case_no=142 label=Case6.130 nb_sol=0 ticks=489221 tps=100 nb_sec=4892
case_no=142 label=Case6.130 nb_sol=0 ticks=294168 tps=100 nb_sec=2941
case_no=142 label=Case6.130 nb_sol=0 ticks=388265 tps=100 nb_sec=3882
case_no=142 label=Case6.130 nb_sol=0 ticks=501044 tps=100 nb_sec=5010
case_no=142 label=Case6.130 nb_sol=0 ticks=261945 tps=100 nb_sec=2619
case_no=142 label=Case6.130 nb_sol=0 ticks=238431 tps=100 nb_sec=2384
case_no=142 label=Case6.130 nb_sol=0 ticks=284032 tps=100 nb_sec=2840
case_no=142 label=Case6.130 nb_sol=0 ticks=305206 tps=100 nb_sec=3052
case_no=142 label=Case6.130 nb_sol=0 ticks=183893 tps=100 nb_sec=1838
case_no=142 label=Case6.130 nb_sol=0 ticks=315386 tps=100 nb_sec=3153
case_no=142 label=Case6.130 nb_sol=0 ticks=366768 tps=100 nb_sec=3667
case_no=142 label=Case6.130 nb_sol=0 ticks=471396 tps=100 nb_sec=4713
case_no=142 label=Case6.130 nb_sol=0 ticks=503881 tps=100 nb_sec=5038
case_no=142 label=Case6.130 nb_sol=0 ticks=602915 tps=100 nb_sec=6029
case_no=142 label=Case6.130 nb_sol=0 ticks=432232 tps=100 nb_sec=4322
case_no=142 label=Case6.130 nb_sol=0 ticks=453546 tps=100 nb_sec=4535
case_no=142 label=Case6.130 nb_sol=0 ticks=413477 tps=100 nb_sec=4134
case_no=142 label=Case6.130 nb_sol=0 ticks=300395 tps=100 nb_sec=3003
case_no=142 label=Case6.130 nb_sol=0 ticks=436911 tps=100 nb_sec=4369
case_no=142 label=Case6.130 nb_sol=0 ticks=214329 tps=100 nb_sec=2143
case_no=142 label=Case6.130 nb_sol=0 ticks=244691 tps=100 nb_sec=2446
case_no=142 label=Case6.130 nb_sol=0 ticks=541943 tps=100 nb_sec=5419
case_no=142 label=Case6.130 nb_sol=0 ticks=347363 tps=100 nb_sec=3473
case_no=142 label=Case6.130 nb_sol=0 ticks=518653 tps=100 nb_sec=5186
case_no=142 label=Case6.130 nb_sol=0 ticks=479073 tps=100 nb_sec=4790
case_no=142 label=Case6.130 nb_sol=0 ticks=426600 tps=100 nb_sec=4266
case_no=142 label=Case6.130 nb_sol=0 ticks=357471 tps=100 nb_sec=3574
case_no=142 label=Case6.130 nb_sol=0 ticks=576032 tps=100 nb_sec=5760
case_no=142 label=Case6.130 nb_sol=0 ticks=495977 tps=100 nb_sec=4959
case_no=142 label=Case6.130 nb_sol=0 ticks=321264 tps=100 nb_sec=3212
case_no=142 label=Case6.130 nb_sol=0 ticks=243958 tps=100 nb_sec=2439
case_no=142 label=Case6.130 nb_sol=0 ticks=488753 tps=100 nb_sec=4887
case_no=142 label=Case6.130 nb_sol=0 ticks=273410 tps=100 nb_sec=2734
case_no=142 label=Case6.130 nb_sol=0 ticks=440040 tps=100 nb_sec=4400
case_no=142 label=Case6.130 nb_sol=0 ticks=269202 tps=100 nb_sec=2692
case_no=142 label=Case6.130 nb_sol=0 ticks=240009 tps=100 nb_sec=2400
case_no=142 label=Case6.130 nb_sol=0 ticks=463122 tps=100 nb_sec=4631
case_no=142 label=Case6.130 nb_sol=0 ticks=352253 tps=100 nb_sec=3522
case_no=142 label=Case6.130 nb_sol=0 ticks=228046 tps=100 nb_sec=2280
case_no=142 label=Case6.130 nb_sol=0 ticks=342552 tps=100 nb_sec=3425
case_no=142 label=Case6.130 nb_sol=0 ticks=204146 tps=100 nb_sec=2041
case_no=142 label=Case6.130 nb_sol=0 ticks=205242 tps=100 nb_sec=2052
case_no=142 label=Case6.130 nb_sol=0 ticks=493406 tps=100 nb_sec=4934
case_no=142 label=Case6.130 nb_sol=0 ticks=693973 tps=100 nb_sec=6939
case_no=142 label=Case6.130 nb_sol=0 ticks=860448 tps=100 nb_sec=8604
case_no=142 label=Case6.130 nb_sol=0 ticks=801855 tps=100 nb_sec=8018
case_no=142 label=Case6.130 nb_sol=0 ticks=592165 tps=100 nb_sec=5921
case_no=142 label=Case6.130 nb_sol=0 ticks=559111 tps=100 nb_sec=5591
case_no=142 label=Case6.130 nb_sol=0 ticks=494534 tps=100 nb_sec=4945
case_no=142 label=Case6.130 nb_sol=0 ticks=315140 tps=100 nb_sec=3151
case_no=142 label=Case6.130 nb_sol=0 ticks=712100 tps=100 nb_sec=7121
case_no=142 label=Case6.130 nb_sol=0 ticks=691561 tps=100 nb_sec=6915
case_no=142 label=Case6.130 nb_sol=0 ticks=377464 tps=100 nb_sec=3774
case_no=142 label=Case6.130 nb_sol=0 ticks=522587 tps=100 nb_sec=5225
case_no=142 label=Case6.130 nb_sol=0 ticks=283122 tps=100 nb_sec=2831
case_no=142 label=Case6.130 nb_sol=0 ticks=557219 tps=100 nb_sec=5572
case_no=142 label=Case6.130 nb_sol=0 ticks=335227 tps=100 nb_sec=3352
case_no=142 label=Case6.130 nb_sol=0 ticks=329378 tps=100 nb_sec=3293
case_no=142 label=Case6.130 nb_sol=0 ticks=680987 tps=100 nb_sec=6809
case_no=142 label=Case6.130 nb_sol=0 ticks=292929 tps=100 nb_sec=2929
case_no=142 label=Case6.130 nb_sol=0 ticks=540306 tps=100 nb_sec=5403
case_no=142 label=Case6.130 nb_sol=0 ticks=718000 tps=100 nb_sec=7180
case_no=142 label=Case6.130 nb_sol=0 ticks=434119 tps=100 nb_sec=4341
case_no=142 label=Case6.130 nb_sol=0 ticks=472676 tps=100 nb_sec=4726
case_no=142 label=Case6.130 nb_sol=0 ticks=386228 tps=100 nb_sec=3862
case_no=142 label=Case6.130 nb_sol=0 ticks=450724 tps=100 nb_sec=4507
case_no=142 label=Case6.130 nb_sol=0 ticks=369721 tps=100 nb_sec=3697
case_no=142 label=Case6.130 nb_sol=0 ticks=411642 tps=100 nb_sec=4116
case_no=142 label=Case6.130 nb_sol=0 ticks=478593 tps=100 nb_sec=4785
case_no=142 label=Case6.130 nb_sol=0 ticks=331698 tps=100 nb_sec=3316
case_no=142 label=Case6.130 nb_sol=0 ticks=335454 tps=100 nb_sec=3354
case_no=142 label=Case6.130 nb_sol=0 ticks=408028 tps=100 nb_sec=4080
case_no=142 label=Case6.130 nb_sol=0 ticks=416039 tps=100 nb_sec=4160
case_no=142 label=Case6.130 nb_sol=0 ticks=345518 tps=100 nb_sec=3455
case_no=142 label=Case6.130 nb_sol=0 ticks=464568 tps=100 nb_sec=4645
case_no=142 label=Case6.130 nb_sol=0 ticks=390556 tps=100 nb_sec=3905
case_no=142 label=Case6.130 nb_sol=0 ticks=594757 tps=100 nb_sec=5947
case_no=142 label=Case6.130 nb_sol=0 ticks=437898 tps=100 nb_sec=4378
case_no=142 label=Case6.130 nb_sol=0 ticks=345318 tps=100 nb_sec=3453
case_no=142 label=Case6.130 nb_sol=0 ticks=398224 tps=100 nb_sec=3982
case_no=142 label=Case6.130 nb_sol=0 ticks=330078 tps=100 nb_sec=3300
case_no=142 label=Case6.130 nb_sol=0 ticks=565334 tps=100 nb_sec=5653
case_no=142 label=Case6.130 nb_sol=0 ticks=285026 tps=100 nb_sec=2850
case_no=142 label=Case6.130 nb_sol=0 ticks=273176 tps=100 nb_sec=2731
case_no=142 label=Case6.130 nb_sol=0 ticks=374163 tps=100 nb_sec=3741
case_no=142 label=Case6.130 nb_sol=0 ticks=286638 tps=100 nb_sec=2866
case_no=142 label=Case6.130 nb_sol=0 ticks=280614 tps=100 nb_sec=2806
case_no=142 label=Case6.130 nb_sol=0 ticks=328177 tps=100 nb_sec=3281
case_no=142 label=Case6.130 nb_sol=0 ticks=235689 tps=100 nb_sec=2356
case_no=142 label=Case6.130 nb_sol=0 ticks=290260 tps=100 nb_sec=2902
case_no=142 label=Case6.130 nb_sol=0 ticks=343981 tps=100 nb_sec=3439
case_no=142 label=Case6.130 nb_sol=0 ticks=325709 tps=100 nb_sec=3257
case_no=142 label=Case6.130 nb_sol=0 ticks=292478 tps=100 nb_sec=2924
case_no=142 label=Case6.130 nb_sol=0 ticks=326367 tps=100 nb_sec=3263
case_no=142 label=Case6.130 nb_sol=0 ticks=283382 tps=100 nb_sec=2833
case_no=142 label=Case6.130 nb_sol=0 ticks=297069 tps=100 nb_sec=2970
case_no=142 label=Case6.130 nb_sol=0 ticks=216718 tps=100 nb_sec=2167
case_no=142 label=Case6.130 nb_sol=0 ticks=255734 tps=100 nb_sec=2557
case_no=142 label=Case6.130 nb_sol=0 ticks=556188 tps=100 nb_sec=5561
case_no=142 label=Case6.130 nb_sol=0 ticks=353715 tps=100 nb_sec=3537
case_no=142 label=Case6.130 nb_sol=0 ticks=473747 tps=100 nb_sec=4737
case_no=142 label=Case6.130 nb_sol=0 ticks=573129 tps=100 nb_sec=5731
case_no=142 label=Case6.130 nb_sol=0 ticks=683765 tps=100 nb_sec=6837
case_no=142 label=Case6.130 nb_sol=0 ticks=628538 tps=100 nb_sec=6285
case_no=142 label=Case6.130 nb_sol=0 ticks=635257 tps=100 nb_sec=6352
case_no=142 label=Case6.130 nb_sol=0 ticks=758935 tps=100 nb_sec=7589
case_no=142 label=Case6.130 nb_sol=0 ticks=638587 tps=100 nb_sec=6385
case_no=142 label=Case6.130 nb_sol=0 ticks=603746 tps=100 nb_sec=6037
case_no=142 label=Case6.130 nb_sol=0 ticks=650086 tps=100 nb_sec=6500
case_no=142 label=Case6.130 nb_sol=0 ticks=333521 tps=100 nb_sec=3335
case_no=142 label=Case6.130 nb_sol=0 ticks=570791 tps=100 nb_sec=5707
case_no=142 label=Case6.130 nb_sol=0 ticks=591122 tps=100 nb_sec=5911
case_no=142 label=Case6.130 nb_sol=0 ticks=276083 tps=100 nb_sec=2760
case_no=142 label=Case6.130 nb_sol=0 ticks=544513 tps=100 nb_sec=5445
case_no=142 label=Case6.130 nb_sol=0 ticks=300611 tps=100 nb_sec=3006
case_no=142 label=Case6.130 nb_sol=0 ticks=361527 tps=100 nb_sec=3615
case_no=142 label=Case6.130 nb_sol=0 ticks=421294 tps=100 nb_sec=4212
case_no=142 label=Case6.130 nb_sol=0 ticks=400566 tps=100 nb_sec=4005
case_no=142 label=Case6.130 nb_sol=0 ticks=558853 tps=100 nb_sec=5588
case_no=142 label=Case6.130 nb_sol=0 ticks=356267 tps=100 nb_sec=3562
case_no=142 label=Case6.130 nb_sol=0 ticks=516446 tps=100 nb_sec=5164
case_no=142 label=Case6.130 nb_sol=0 ticks=335703 tps=100 nb_sec=3357
case_no=142 label=Case6.130 nb_sol=0 ticks=490609 tps=100 nb_sec=4906
case_no=142 label=Case6.130 nb_sol=0 ticks=418119 tps=100 nb_sec=4181
case_no=142 label=Case6.130 nb_sol=0 ticks=306430 tps=100 nb_sec=3064
case_no=142 label=Case6.130 nb_sol=0 ticks=464515 tps=100 nb_sec=4645
case_no=142 label=Case6.130 nb_sol=0 ticks=454932 tps=100 nb_sec=4549
case_no=142 label=Case6.130 nb_sol=0 ticks=425394 tps=100 nb_sec=4253
case_no=142 label=Case6.130 nb_sol=0 ticks=420585 tps=100 nb_sec=4205
case_no=142 label=Case6.130 nb_sol=0 ticks=351663 tps=100 nb_sec=3516
case_no=142 label=Case6.130 nb_sol=0 ticks=274798 tps=100 nb_sec=2747
case_no=142 label=Case6.130 nb_sol=0 ticks=364013 tps=100 nb_sec=3640
case_no=142 label=Case6.130 nb_sol=0 ticks=279115 tps=100 nb_sec=2791
case_no=142 label=Case6.130 nb_sol=0 ticks=342976 tps=100 nb_sec=3429
case_no=142 label=Case6.130 nb_sol=0 ticks=254263 tps=100 nb_sec=2542
case_no=142 label=Case6.130 nb_sol=0 ticks=346543 tps=100 nb_sec=3465
case_no=142 label=Case6.130 nb_sol=0 ticks=301811 tps=100 nb_sec=3018
case_no=142 label=Case6.130 nb_sol=0 ticks=373295 tps=100 nb_sec=3732
case_no=142 label=Case6.130 nb_sol=0 ticks=343352 tps=100 nb_sec=3433
case_no=142 label=Case6.130 nb_sol=0 ticks=302347 tps=100 nb_sec=3023
case_no=142 label=Case6.130 nb_sol=0 ticks=284920 tps=100 nb_sec=2849
case_no=142 label=Case6.130 nb_sol=0 ticks=306774 tps=100 nb_sec=3067
case_no=142 label=Case6.130 nb_sol=0 ticks=215141 tps=100 nb_sec=2151
case_no=142 label=Case6.130 nb_sol=0 ticks=502636 tps=100 nb_sec=5026
case_no=142 label=Case6.130 nb_sol=0 ticks=214803 tps=100 nb_sec=2148
case_no=142 label=Case6.130 nb_sol=0 ticks=512766 tps=100 nb_sec=5127
case_no=142 label=Case6.130 nb_sol=0 ticks=302831 tps=100 nb_sec=3028
case_no=142 label=Case6.130 nb_sol=0 ticks=368763 tps=100 nb_sec=3687
case_no=142 label=Case6.130 nb_sol=0 ticks=292420 tps=100 nb_sec=2924
case_no=142 label=Case6.130 nb_sol=0 ticks=750793 tps=100 nb_sec=7507
case_no=142 label=Case6.130 nb_sol=0 ticks=517232 tps=100 nb_sec=5172
case_no=142 label=Case6.130 nb_sol=0 ticks=678199 tps=100 nb_sec=6781
case_no=142 label=Case6.130 nb_sol=0 ticks=515870 tps=100 nb_sec=5158
case_no=142 label=Case6.130 nb_sol=0 ticks=584046 tps=100 nb_sec=5840
case_no=142 label=Case6.130 nb_sol=0 ticks=645649 tps=100 nb_sec=6456
case_no=142 label=Case6.130 nb_sol=0 ticks=710532 tps=100 nb_sec=7105
case_no=142 label=Case6.130 nb_sol=0 ticks=583373 tps=100 nb_sec=5833
case_no=142 label=Case6.130 nb_sol=0 ticks=646189 tps=100 nb_sec=6461
case_no=142 label=Case6.130 nb_sol=0 ticks=528775 tps=100 nb_sec=5287
case_no=142 label=Case6.130 nb_sol=0 ticks=653506 tps=100 nb_sec=6535
case_no=142 label=Case6.130 nb_sol=0 ticks=552349 tps=100 nb_sec=5523
case_no=142 label=Case6.130 nb_sol=0 ticks=635601 tps=100 nb_sec=6356
case_no=142 label=Case6.130 nb_sol=0 ticks=715071 tps=100 nb_sec=7150
case_no=142 label=Case6.130 nb_sol=0 ticks=480101 tps=100 nb_sec=4801
case_no=142 label=Case6.130 nb_sol=0 ticks=630740 tps=100 nb_sec=6307
case_no=142 label=Case6.130 nb_sol=0 ticks=716216 tps=100 nb_sec=7162
case_no=142 label=Case6.130 nb_sol=0 ticks=562478 tps=100 nb_sec=5624
case_no=142 label=Case6.130 nb_sol=0 ticks=526521 tps=100 nb_sec=5265
case_no=142 label=Case6.130 nb_sol=0 ticks=514108 tps=100 nb_sec=5141
case_no=142 label=Case6.130 nb_sol=0 ticks=578978 tps=100 nb_sec=5789
case_no=142 label=Case6.130 nb_sol=0 ticks=566947 tps=100 nb_sec=5669
case_no=142 label=Case6.130 nb_sol=0 ticks=427319 tps=100 nb_sec=4273
case_no=142 label=Case6.130 nb_sol=0 ticks=594786 tps=100 nb_sec=5947
case_no=142 label=Case6.130 nb_sol=0 ticks=504121 tps=100 nb_sec=5041
case_no=142 label=Case6.130 nb_sol=0 ticks=507750 tps=100 nb_sec=5077
case_no=142 label=Case6.130 nb_sol=0 ticks=471314 tps=100 nb_sec=4713
case_no=142 label=Case6.130 nb_sol=0 ticks=307327 tps=100 nb_sec=3073
case_no=142 label=Case6.130 nb_sol=0 ticks=396218 tps=100 nb_sec=3962
case_no=142 label=Case6.130 nb_sol=0 ticks=530358 tps=100 nb_sec=5303
case_no=142 label=Case6.130 nb_sol=0 ticks=338192 tps=100 nb_sec=3381
case_no=142 label=Case6.130 nb_sol=0 ticks=538463 tps=100 nb_sec=5384
case_no=142 label=Case6.130 nb_sol=0 ticks=393879 tps=100 nb_sec=3938
case_no=142 label=Case6.130 nb_sol=0 ticks=584144 tps=100 nb_sec=5841
case_no=142 label=Case6.130 nb_sol=0 ticks=406161 tps=100 nb_sec=4061
case_no=142 label=Case6.130 nb_sol=0 ticks=403946 tps=100 nb_sec=4039
case_no=142 label=Case6.130 nb_sol=0 ticks=538944 tps=100 nb_sec=5389
case_no=142 label=Case6.130 nb_sol=0 ticks=404501 tps=100 nb_sec=4045
case_no=142 label=Case6.130 nb_sol=0 ticks=222647 tps=100 nb_sec=2226
case_no=142 label=Case6.130 nb_sol=0 ticks=261374 tps=100 nb_sec=2613
case_no=142 label=Case6.130 nb_sol=0 ticks=223315 tps=100 nb_sec=2233
case_no=142 label=Case6.130 nb_sol=0 ticks=250842 tps=100 nb_sec=2508
case_no=142 label=Case6.130 nb_sol=0 ticks=374988 tps=100 nb_sec=3749
case_no=142 label=Case6.130 nb_sol=0 ticks=221018 tps=100 nb_sec=2210
case_no=142 label=Case6.130 nb_sol=0 ticks=253298 tps=100 nb_sec=2532
case_no=142 label=Case6.130 nb_sol=0 ticks=335399 tps=100 nb_sec=3353
case_no=142 label=Case6.130 nb_sol=0 ticks=235643 tps=100 nb_sec=2356
case_no=142 label=Case6.130 nb_sol=0 ticks=202425 tps=100 nb_sec=2024
case_no=142 label=Case6.130 nb_sol=0 ticks=328672 tps=100 nb_sec=3286
case_no=142 label=Case6.130 nb_sol=0 ticks=454076 tps=100 nb_sec=4540
case_no=142 label=Case6.130 nb_sol=0 ticks=335571 tps=100 nb_sec=3355
case_no=142 label=Case6.130 nb_sol=0 ticks=389789 tps=100 nb_sec=3897
case_no=142 label=Case6.130 nb_sol=0 ticks=313841 tps=100 nb_sec=3138
case_no=142 label=Case6.130 nb_sol=0 ticks=324969 tps=100 nb_sec=3249
case_no=142 label=Case6.130 nb_sol=0 ticks=466260 tps=100 nb_sec=4662
case_no=142 label=Case6.130 nb_sol=0 ticks=374856 tps=100 nb_sec=3748
case_no=142 label=Case6.130 nb_sol=0 ticks=191240 tps=100 nb_sec=1912
case_no=142 label=Case6.130 nb_sol=0 ticks=317720 tps=100 nb_sec=3177
case_no=142 label=Case6.130 nb_sol=0 ticks=537753 tps=100 nb_sec=5377
case_no=142 label=Case6.130 nb_sol=0 ticks=221485 tps=100 nb_sec=2214
case_no=142 label=Case6.130 nb_sol=0 ticks=345888 tps=100 nb_sec=3458
case_no=142 label=Case6.130 nb_sol=0 ticks=330889 tps=100 nb_sec=3308
case_no=142 label=Case6.130 nb_sol=0 ticks=267823 tps=100 nb_sec=2678
case_no=142 label=Case6.130 nb_sol=0 ticks=246268 tps=100 nb_sec=2462
case_no=142 label=Case6.130 nb_sol=0 ticks=265300 tps=100 nb_sec=2653
case_no=142 label=Case6.130 nb_sol=0 ticks=293949 tps=100 nb_sec=2939
case_no=142 label=Case6.130 nb_sol=0 ticks=206484 tps=100 nb_sec=2064
case_no=142 label=Case6.130 nb_sol=0 ticks=396275 tps=100 nb_sec=3962
case_no=142 label=Case6.130 nb_sol=0 ticks=243793 tps=100 nb_sec=2437
case_no=142 label=Case6.130 nb_sol=0 ticks=540723 tps=100 nb_sec=5407
case_no=142 label=Case6.130 nb_sol=0 ticks=463363 tps=100 nb_sec=4633
case_no=142 label=Case6.130 nb_sol=0 ticks=294432 tps=100 nb_sec=2944
case_no=142 label=Case6.130 nb_sol=0 ticks=432507 tps=100 nb_sec=4325
case_no=142 label=Case6.130 nb_sol=0 ticks=455485 tps=100 nb_sec=4554
case_no=142 label=Case6.130 nb_sol=0 ticks=507397 tps=100 nb_sec=5073
case_no=142 label=Case6.130 nb_sol=0 ticks=418608 tps=100 nb_sec=4186
case_no=142 label=Case6.130 nb_sol=0 ticks=409377 tps=100 nb_sec=4093
case_no=142 label=Case6.130 nb_sol=0 ticks=333486 tps=100 nb_sec=3334
case_no=142 label=Case6.130 nb_sol=0 ticks=498188 tps=100 nb_sec=4981
case_no=142 label=Case6.130 nb_sol=0 ticks=413407 tps=100 nb_sec=4134
case_no=142 label=Case6.130 nb_sol=0 ticks=550361 tps=100 nb_sec=5503
case_no=142 label=Case6.130 nb_sol=0 ticks=387598 tps=100 nb_sec=3875
case_no=142 label=Case6.130 nb_sol=0 ticks=584584 tps=100 nb_sec=5845
case_no=142 label=Case6.130 nb_sol=0 ticks=351496 tps=100 nb_sec=3514
case_no=142 label=Case6.130 nb_sol=0 ticks=512317 tps=100 nb_sec=5123
case_no=142 label=Case6.130 nb_sol=0 ticks=505435 tps=100 nb_sec=5054
case_no=142 label=Case6.130 nb_sol=0 ticks=633430 tps=100 nb_sec=6334
case_no=142 label=Case6.130 nb_sol=0 ticks=488005 tps=100 nb_sec=4880
case_no=142 label=Case6.130 nb_sol=0 ticks=636662 tps=100 nb_sec=6366
case_no=142 label=Case6.130 nb_sol=0 ticks=597802 tps=100 nb_sec=5978
case_no=142 label=Case6.130 nb_sol=0 ticks=317298 tps=100 nb_sec=3172
case_no=142 label=Case6.130 nb_sol=0 ticks=635924 tps=100 nb_sec=6359
case_no=142 label=Case6.130 nb_sol=0 ticks=604206 tps=100 nb_sec=6042
case_no=142 label=Case6.130 nb_sol=0 ticks=294381 tps=100 nb_sec=2943
case_no=142 label=Case6.130 nb_sol=0 ticks=561257 tps=100 nb_sec=5612
case_no=142 label=Case6.130 nb_sol=0 ticks=277316 tps=100 nb_sec=2773
case_no=142 label=Case6.130 nb_sol=0 ticks=520560 tps=100 nb_sec=5205
case_no=142 label=Case6.130 nb_sol=0 ticks=266081 tps=100 nb_sec=2660
case_no=142 label=Case6.130 nb_sol=0 ticks=322221 tps=100 nb_sec=3222
case_no=142 label=Case6.130 nb_sol=0 ticks=481674 tps=100 nb_sec=4816
case_no=142 label=Case6.130 nb_sol=0 ticks=291133 tps=100 nb_sec=2911
case_no=142 label=Case6.130 nb_sol=0 ticks=460779 tps=100 nb_sec=4607
case_no=142 label=Case6.130 nb_sol=0 ticks=605532 tps=100 nb_sec=6055
case_no=142 label=Case6.130 nb_sol=0 ticks=546539 tps=100 nb_sec=5465
case_no=142 label=Case6.130 nb_sol=0 ticks=658850 tps=100 nb_sec=6588
case_no=142 label=Case6.130 nb_sol=0 ticks=256082 tps=100 nb_sec=2560
case_no=142 label=Case6.130 nb_sol=0 ticks=621923 tps=100 nb_sec=6219
case_no=142 label=Case6.130 nb_sol=0 ticks=290456 tps=100 nb_sec=2904
case_no=142 label=Case6.130 nb_sol=0 ticks=302939 tps=100 nb_sec=3029
case_no=142 label=Case6.130 nb_sol=0 ticks=263765 tps=100 nb_sec=2637
case_no=142 label=Case6.130 nb_sol=0 ticks=494319 tps=100 nb_sec=4943
case_no=142 label=Case6.130 nb_sol=0 ticks=279266 tps=100 nb_sec=2792
case_no=142 label=Case6.130 nb_sol=0 ticks=459238 tps=100 nb_sec=4592
case_no=142 label=Case6.130 nb_sol=0 ticks=318450 tps=100 nb_sec=3184
case_no=142 label=Case6.130 nb_sol=0 ticks=328831 tps=100 nb_sec=3288
case_no=142 label=Case6.130 nb_sol=0 ticks=566002 tps=100 nb_sec=5660
case_no=142 label=Case6.130 nb_sol=0 ticks=347823 tps=100 nb_sec=3478
case_no=142 label=Case6.130 nb_sol=0 ticks=379990 tps=100 nb_sec=3799
case_no=142 label=Case6.130 nb_sol=0 ticks=476672 tps=100 nb_sec=4766
case_no=142 label=Case6.130 nb_sol=0 ticks=398328 tps=100 nb_sec=3983
case_no=142 label=Case6.130 nb_sol=0 ticks=616073 tps=100 nb_sec=6160
case_no=142 label=Case6.130 nb_sol=0 ticks=409526 tps=100 nb_sec=4095
case_no=142 label=Case6.130 nb_sol=0 ticks=513160 tps=100 nb_sec=5131
case_no=142 label=Case6.130 nb_sol=0 ticks=509235 tps=100 nb_sec=5092
case_no=142 label=Case6.130 nb_sol=0 ticks=304362 tps=100 nb_sec=3043
case_no=142 label=Case6.130 nb_sol=0 ticks=255304 tps=100 nb_sec=2553
case_no=142 label=Case6.130 nb_sol=0 ticks=321662 tps=100 nb_sec=3216
case_no=142 label=Case6.130 nb_sol=0 ticks=469037 tps=100 nb_sec=4690
case_no=142 label=Case6.130 nb_sol=0 ticks=571190 tps=100 nb_sec=5711
case_no=142 label=Case6.130 nb_sol=0 ticks=420061 tps=100 nb_sec=4200
case_no=142 label=Case6.130 nb_sol=0 ticks=596373 tps=100 nb_sec=5963
case_no=142 label=Case6.130 nb_sol=0 ticks=422807 tps=100 nb_sec=4228
case_no=142 label=Case6.130 nb_sol=0 ticks=459905 tps=100 nb_sec=4599
case_no=142 label=Case6.130 nb_sol=0 ticks=390266 tps=100 nb_sec=3902
case_no=142 label=Case6.130 nb_sol=0 ticks=463206 tps=100 nb_sec=4632
case_no=142 label=Case6.130 nb_sol=0 ticks=425483 tps=100 nb_sec=4254
case_no=142 label=Case6.130 nb_sol=0 ticks=417715 tps=100 nb_sec=4177
case_no=142 label=Case6.130 nb_sol=0 ticks=413230 tps=100 nb_sec=4132
case_no=142 label=Case6.130 nb_sol=0 ticks=441624 tps=100 nb_sec=4416
case_no=142 label=Case6.130 nb_sol=0 ticks=314149 tps=100 nb_sec=3141
case_no=142 label=Case6.130 nb_sol=0 ticks=263510 tps=100 nb_sec=2635
case_no=142 label=Case6.130 nb_sol=0 ticks=304727 tps=100 nb_sec=3047
case_no=142 label=Case6.130 nb_sol=0 ticks=263183 tps=100 nb_sec=2631
case_no=142 label=Case6.130 nb_sol=0 ticks=282443 tps=100 nb_sec=2824
case_no=142 label=Case6.130 nb_sol=0 ticks=276164 tps=100 nb_sec=2761
case_no=142 label=Case6.130 nb_sol=0 ticks=532358 tps=100 nb_sec=5323
case_no=142 label=Case6.130 nb_sol=0 ticks=412145 tps=100 nb_sec=4121
case_no=142 label=Case6.130 nb_sol=0 ticks=570224 tps=100 nb_sec=5702
case_no=142 label=Case6.130 nb_sol=0 ticks=625154 tps=100 nb_sec=6251
case_no=142 label=Case6.130 nb_sol=0 ticks=513287 tps=100 nb_sec=5132
case_no=142 label=Case6.130 nb_sol=0 ticks=803775 tps=100 nb_sec=8037
case_no=142 label=Case6.130 nb_sol=0 ticks=283166 tps=100 nb_sec=2831
case_no=142 label=Case6.130 nb_sol=0 ticks=601145 tps=100 nb_sec=6011
case_no=142 label=Case6.130 nb_sol=0 ticks=524273 tps=100 nb_sec=5242
case_no=142 label=Case6.130 nb_sol=0 ticks=262303 tps=100 nb_sec=2623
case_no=142 label=Case6.130 nb_sol=0 ticks=628500 tps=100 nb_sec=6285
case_no=142 label=Case6.130 nb_sol=0 ticks=258512 tps=100 nb_sec=2585
case_no=142 label=Case6.130 nb_sol=0 ticks=527616 tps=100 nb_sec=5276
case_no=142 label=Case6.130 nb_sol=0 ticks=424834 tps=100 nb_sec=4248
case_no=142 label=Case6.130 nb_sol=0 ticks=318399 tps=100 nb_sec=3183
case_no=142 label=Case6.130 nb_sol=0 ticks=688459 tps=100 nb_sec=6884
case_no=142 label=Case6.130 nb_sol=0 ticks=341577 tps=100 nb_sec=3415
case_no=142 label=Case6.130 nb_sol=0 ticks=553949 tps=100 nb_sec=5539
case_no=142 label=Case6.130 nb_sol=0 ticks=255486 tps=100 nb_sec=2554
case_no=142 label=Case6.130 nb_sol=0 ticks=637527 tps=100 nb_sec=6375
case_no=142 label=Case6.130 nb_sol=0 ticks=350992 tps=100 nb_sec=3509
case_no=142 label=Case6.130 nb_sol=0 ticks=691371 tps=100 nb_sec=6913
case_no=142 label=Case6.130 nb_sol=0 ticks=298294 tps=100 nb_sec=2982
case_no=142 label=Case6.130 nb_sol=0 ticks=594743 tps=100 nb_sec=5947
case_no=142 label=Case6.130 nb_sol=0 ticks=248240 tps=100 nb_sec=2482
case_no=142 label=Case6.130 nb_sol=0 ticks=487052 tps=100 nb_sec=4870
case_no=142 label=Case6.130 nb_sol=0 ticks=567365 tps=100 nb_sec=5673
case_no=142 label=Case6.130 nb_sol=0 ticks=342420 tps=100 nb_sec=3424
case_no=142 label=Case6.130 nb_sol=0 ticks=281714 tps=100 nb_sec=2817
case_no=142 label=Case6.130 nb_sol=0 ticks=589672 tps=100 nb_sec=5896
case_no=142 label=Case6.130 nb_sol=0 ticks=444029 tps=100 nb_sec=4440
case_no=142 label=Case6.130 nb_sol=0 ticks=320007 tps=100 nb_sec=3200
case_no=142 label=Case6.130 nb_sol=0 ticks=455362 tps=100 nb_sec=4553
case_no=142 label=Case6.130 nb_sol=0 ticks=256706 tps=100 nb_sec=2567
case_no=142 label=Case6.130 nb_sol=0 ticks=413266 tps=100 nb_sec=4132
case_no=142 label=Case6.130 nb_sol=0 ticks=645517 tps=100 nb_sec=6455
case_no=142 label=Case6.130 nb_sol=0 ticks=441371 tps=100 nb_sec=4413
case_no=142 label=Case6.130 nb_sol=0 ticks=424991 tps=100 nb_sec=4249
case_no=142 label=Case6.130 nb_sol=0 ticks=450664 tps=100 nb_sec=4506
case_no=142 label=Case6.130 nb_sol=0 ticks=784377 tps=100 nb_sec=7843
case_no=142 label=Case6.130 nb_sol=0 ticks=518154 tps=100 nb_sec=5181
case_no=142 label=Case6.130 nb_sol=0 ticks=679784 tps=100 nb_sec=6797
case_no=142 label=Case6.130 nb_sol=0 ticks=369985 tps=100 nb_sec=3699
case_no=142 label=Case6.130 nb_sol=0 ticks=446050 tps=100 nb_sec=4460
case_no=142 label=Case6.130 nb_sol=0 ticks=453389 tps=100 nb_sec=4533
case_no=142 label=Case6.130 nb_sol=0 ticks=642511 tps=100 nb_sec=6425
case_no=142 label=Case6.130 nb_sol=0 ticks=332364 tps=100 nb_sec=3323
case_no=142 label=Case6.130 nb_sol=0 ticks=593381 tps=100 nb_sec=5933
case_no=142 label=Case6.130 nb_sol=0 ticks=247306 tps=100 nb_sec=2473
case_no=142 label=Case6.130 nb_sol=0 ticks=287293 tps=100 nb_sec=2872
case_no=142 label=Case6.130 nb_sol=0 ticks=487450 tps=100 nb_sec=4874
case_no=142 label=Case6.130 nb_sol=0 ticks=479864 tps=100 nb_sec=4798
case_no=142 label=Case6.130 nb_sol=0 ticks=272296 tps=100 nb_sec=2722
case_no=142 label=Case6.130 nb_sol=0 ticks=487352 tps=100 nb_sec=4873
case_no=142 label=Case6.130 nb_sol=0 ticks=198518 tps=100 nb_sec=1985
case_no=142 label=Case6.130 nb_sol=0 ticks=574934 tps=100 nb_sec=5749
case_no=142 label=Case6.130 nb_sol=0 ticks=299561 tps=100 nb_sec=2995
case_no=142 label=Case6.130 nb_sol=0 ticks=304577 tps=100 nb_sec=3045
case_no=142 label=Case6.130 nb_sol=0 ticks=297347 tps=100 nb_sec=2973
case_no=142 label=Case6.130 nb_sol=0 ticks=367994 tps=100 nb_sec=3679
case_no=142 label=Case6.130 nb_sol=0 ticks=279311 tps=100 nb_sec=2793
case_no=142 label=Case6.130 nb_sol=0 ticks=294025 tps=100 nb_sec=2940
case_no=142 label=Case6.130 nb_sol=0 ticks=319764 tps=100 nb_sec=3197
case_no=142 label=Case6.130 nb_sol=0 ticks=277034 tps=100 nb_sec=2770
case_no=142 label=Case6.130 nb_sol=0 ticks=337887 tps=100 nb_sec=3378
case_no=142 label=Case6.130 nb_sol=0 ticks=320516 tps=100 nb_sec=3205
case_no=142 label=Case6.130 nb_sol=0 ticks=227535 tps=100 nb_sec=2275
case_no=142 label=Case6.130 nb_sol=0 ticks=386757 tps=100 nb_sec=3867
case_no=142 label=Case6.130 nb_sol=0 ticks=518794 tps=100 nb_sec=5187
case_no=142 label=Case6.130 nb_sol=0 ticks=476348 tps=100 nb_sec=4763
case_no=142 label=Case6.130 nb_sol=0 ticks=377640 tps=100 nb_sec=3776
case_no=142 label=Case6.130 nb_sol=0 ticks=595139 tps=100 nb_sec=5951
case_no=142 label=Case6.130 nb_sol=0 ticks=459939 tps=100 nb_sec=4599
case_no=142 label=Case6.130 nb_sol=0 ticks=300875 tps=100 nb_sec=3008
case_no=142 label=Case6.130 nb_sol=0 ticks=612279 tps=100 nb_sec=6122
case_no=142 label=Case6.130 nb_sol=0 ticks=350198 tps=100 nb_sec=3501
case_no=142 label=Case6.130 nb_sol=0 ticks=350409 tps=100 nb_sec=3504
case_no=142 label=Case6.130 nb_sol=0 ticks=268983 tps=100 nb_sec=2689
case_no=142 label=Case6.130 nb_sol=0 ticks=600909 tps=100 nb_sec=6009
case_no=142 label=Case6.130 nb_sol=0 ticks=321424 tps=100 nb_sec=3214
case_no=142 label=Case6.130 nb_sol=0 ticks=408050 tps=100 nb_sec=4080
case_no=142 label=Case6.130 nb_sol=0 ticks=467925 tps=100 nb_sec=4679
case_no=142 label=Case6.130 nb_sol=0 ticks=389923 tps=100 nb_sec=3899
case_no=142 label=Case6.130 nb_sol=0 ticks=282244 tps=100 nb_sec=2822
case_no=142 label=Case6.130 nb_sol=0 ticks=554386 tps=100 nb_sec=5543
case_no=142 label=Case6.130 nb_sol=0 ticks=358445 tps=100 nb_sec=3584
case_no=142 label=Case6.130 nb_sol=0 ticks=619181 tps=100 nb_sec=6191
case_no=142 label=Case6.130 nb_sol=0 ticks=735577 tps=100 nb_sec=7355
case_no=142 label=Case6.130 nb_sol=0 ticks=596835 tps=100 nb_sec=5968
case_no=142 label=Case6.130 nb_sol=0 ticks=477031 tps=100 nb_sec=4770
case_no=142 label=Case6.130 nb_sol=0 ticks=572156 tps=100 nb_sec=5721
case_no=142 label=Case6.130 nb_sol=0 ticks=533777 tps=100 nb_sec=5337
case_no=142 label=Case6.130 nb_sol=0 ticks=455673 tps=100 nb_sec=4556
case_no=142 label=Case6.130 nb_sol=0 ticks=332249 tps=100 nb_sec=3322
case_no=142 label=Case6.130 nb_sol=0 ticks=471284 tps=100 nb_sec=4712
case_no=142 label=Case6.130 nb_sol=0 ticks=526662 tps=100 nb_sec=5266
case_no=142 label=Case6.130 nb_sol=0 ticks=422820 tps=100 nb_sec=4228
case_no=142 label=Case6.130 nb_sol=0 ticks=578006 tps=100 nb_sec=5780
case_no=142 label=Case6.130 nb_sol=0 ticks=471538 tps=100 nb_sec=4715
case_no=142 label=Case6.130 nb_sol=0 ticks=575682 tps=100 nb_sec=5756
case_no=142 label=Case6.130 nb_sol=0 ticks=331211 tps=100 nb_sec=3312
case_no=142 label=Case6.130 nb_sol=0 ticks=509186 tps=100 nb_sec=5091
case_no=142 label=Case6.130 nb_sol=0 ticks=577548 tps=100 nb_sec=5775
case_no=142 label=Case6.130 nb_sol=0 ticks=551743 tps=100 nb_sec=5517
case_no=142 label=Case6.130 nb_sol=0 ticks=682745 tps=100 nb_sec=6827
case_no=142 label=Case6.130 nb_sol=0 ticks=547304 tps=100 nb_sec=5473
case_no=142 label=Case6.130 nb_sol=0 ticks=367787 tps=100 nb_sec=3677
case_no=142 label=Case6.130 nb_sol=0 ticks=316717 tps=100 nb_sec=3167
case_no=142 label=Case6.130 nb_sol=0 ticks=628635 tps=100 nb_sec=6286
case_no=142 label=Case6.130 nb_sol=0 ticks=332791 tps=100 nb_sec=3327
case_no=142 label=Case6.130 nb_sol=0 ticks=449642 tps=100 nb_sec=4496
case_no=142 label=Case6.130 nb_sol=0 ticks=585020 tps=100 nb_sec=5850
case_no=142 label=Case6.130 nb_sol=0 ticks=283737 tps=100 nb_sec=2837
case_no=142 label=Case6.130 nb_sol=0 ticks=303732 tps=100 nb_sec=3037
case_no=142 label=Case6.130 nb_sol=0 ticks=256871 tps=100 nb_sec=2568
case_no=142 label=Case6.130 nb_sol=0 ticks=215589 tps=100 nb_sec=2155
case_no=142 label=Case6.130 nb_sol=0 ticks=596740 tps=100 nb_sec=5967
case_no=142 label=Case6.130 nb_sol=0 ticks=257894 tps=100 nb_sec=2578
case_no=142 label=Case6.130 nb_sol=0 ticks=490840 tps=100 nb_sec=4908
case_no=142 label=Case6.130 nb_sol=0 ticks=514373 tps=100 nb_sec=5143
case_no=142 label=Case6.130 nb_sol=0 ticks=625390 tps=100 nb_sec=6253
case_no=142 label=Case6.130 nb_sol=0 ticks=229602 tps=100 nb_sec=2296
case_no=142 label=Case6.130 nb_sol=0 ticks=503987 tps=100 nb_sec=5039
case_no=142 label=Case6.130 nb_sol=0 ticks=491136 tps=100 nb_sec=4911
case_no=142 label=Case6.130 nb_sol=0 ticks=438165 tps=100 nb_sec=4381
case_no=142 label=Case6.130 nb_sol=0 ticks=524308 tps=100 nb_sec=5243
case_no=142 label=Case6.130 nb_sol=0 ticks=276904 tps=100 nb_sec=2769
case_no=142 label=Case6.130 nb_sol=0 ticks=559252 tps=100 nb_sec=5592
case_no=142 label=Case6.130 nb_sol=0 ticks=493820 tps=100 nb_sec=4938
case_no=142 label=Case6.130 nb_sol=0 ticks=281600 tps=100 nb_sec=2816
case_no=142 label=Case6.130 nb_sol=0 ticks=358789 tps=100 nb_sec=3587
case_no=142 label=Case6.130 nb_sol=0 ticks=327182 tps=100 nb_sec=3271
case_no=142 label=Case6.130 nb_sol=0 ticks=309569 tps=100 nb_sec=3095
case_no=142 label=Case6.130 nb_sol=0 ticks=539130 tps=100 nb_sec=5391
case_no=142 label=Case6.130 nb_sol=0 ticks=322118 tps=100 nb_sec=3221
case_no=142 label=Case6.130 nb_sol=0 ticks=223490 tps=100 nb_sec=2234
case_no=142 label=Case6.130 nb_sol=0 ticks=630097 tps=100 nb_sec=6300
case_no=142 label=Case6.130 nb_sol=0 ticks=568606 tps=100 nb_sec=5686
case_no=142 label=Case6.130 nb_sol=0 ticks=763025 tps=100 nb_sec=7630
case_no=142 label=Case6.130 nb_sol=0 ticks=324135 tps=100 nb_sec=3241
case_no=142 label=Case6.130 nb_sol=0 ticks=445839 tps=100 nb_sec=4458
case_no=142 label=Case6.130 nb_sol=0 ticks=588877 tps=100 nb_sec=5888
case_no=142 label=Case6.130 nb_sol=0 ticks=568706 tps=100 nb_sec=5687
case_no=142 label=Case6.130 nb_sol=0 ticks=384685 tps=100 nb_sec=3846
case_no=142 label=Case6.130 nb_sol=0 ticks=430670 tps=100 nb_sec=4306
case_no=142 label=Case6.130 nb_sol=0 ticks=643696 tps=100 nb_sec=6436
case_no=142 label=Case6.130 nb_sol=0 ticks=276422 tps=100 nb_sec=2764
case_no=142 label=Case6.130 nb_sol=0 ticks=343843 tps=100 nb_sec=3438
case_no=142 label=Case6.130 nb_sol=0 ticks=551392 tps=100 nb_sec=5513
case_no=142 label=Case6.130 nb_sol=0 ticks=625702 tps=100 nb_sec=6257
case_no=142 label=Case6.130 nb_sol=0 ticks=526154 tps=100 nb_sec=5261
case_no=142 label=Case6.130 nb_sol=0 ticks=517885 tps=100 nb_sec=5178
case_no=142 label=Case6.130 nb_sol=0 ticks=396457 tps=100 nb_sec=3964
case_no=142 label=Case6.130 nb_sol=0 ticks=309026 tps=100 nb_sec=3090
case_no=142 label=Case6.130 nb_sol=0 ticks=526999 tps=100 nb_sec=5269
case_no=142 label=Case6.130 nb_sol=0 ticks=496757 tps=100 nb_sec=4967
case_no=142 label=Case6.130 nb_sol=0 ticks=454648 tps=100 nb_sec=4546
case_no=142 label=Case6.130 nb_sol=0 ticks=440574 tps=100 nb_sec=4405
case_no=142 label=Case6.130 nb_sol=0 ticks=363362 tps=100 nb_sec=3633
case_no=142 label=Case6.130 nb_sol=0 ticks=289125 tps=100 nb_sec=2891
case_no=142 label=Case6.130 nb_sol=0 ticks=560872 tps=100 nb_sec=5608
case_no=142 label=Case6.130 nb_sol=0 ticks=443443 tps=100 nb_sec=4434
case_no=142 label=Case6.130 nb_sol=0 ticks=507153 tps=100 nb_sec=5071
case_no=142 label=Case6.130 nb_sol=0 ticks=625094 tps=100 nb_sec=6250
case_no=142 label=Case6.130 nb_sol=0 ticks=291488 tps=100 nb_sec=2914
case_no=142 label=Case6.130 nb_sol=0 ticks=621780 tps=100 nb_sec=6217
case_no=142 label=Case6.130 nb_sol=0 ticks=289458 tps=100 nb_sec=2894
case_no=142 label=Case6.130 nb_sol=0 ticks=234163 tps=100 nb_sec=2341
case_no=142 label=Case6.130 nb_sol=0 ticks=216154 tps=100 nb_sec=2161
case_no=142 label=Case6.130 nb_sol=0 ticks=347430 tps=100 nb_sec=3474
case_no=142 label=Case6.130 nb_sol=0 ticks=263447 tps=100 nb_sec=2634
case_no=142 label=Case6.130 nb_sol=0 ticks=308338 tps=100 nb_sec=3083
case_no=142 label=Case6.130 nb_sol=0 ticks=297074 tps=100 nb_sec=2970
case_no=142 label=Case6.130 nb_sol=0 ticks=255406 tps=100 nb_sec=2554
case_no=142 label=Case6.130 nb_sol=0 ticks=330383 tps=100 nb_sec=3303
case_no=142 label=Case6.130 nb_sol=0 ticks=385565 tps=100 nb_sec=3855
case_no=142 label=Case6.130 nb_sol=0 ticks=339846 tps=100 nb_sec=3398
case_no=142 label=Case6.130 nb_sol=0 ticks=332540 tps=100 nb_sec=3325
case_no=142 label=Case6.130 nb_sol=0 ticks=286195 tps=100 nb_sec=2861
case_no=142 label=Case6.130 nb_sol=0 ticks=438184 tps=100 nb_sec=4381
case_no=142 label=Case6.130 nb_sol=0 ticks=234859 tps=100 nb_sec=2348
case_no=142 label=Case6.130 nb_sol=0 ticks=373628 tps=100 nb_sec=3736
case_no=142 label=Case6.130 nb_sol=0 ticks=416552 tps=100 nb_sec=4165
case_no=142 label=Case6.130 nb_sol=0 ticks=472900 tps=100 nb_sec=4729
case_no=142 label=Case6.130 nb_sol=0 ticks=526125 tps=100 nb_sec=5261
case_no=142 label=Case6.130 nb_sol=0 ticks=472622 tps=100 nb_sec=4726
case_no=142 label=Case6.130 nb_sol=0 ticks=518756 tps=100 nb_sec=5187
case_no=142 label=Case6.130 nb_sol=0 ticks=611539 tps=100 nb_sec=6115
case_no=142 label=Case6.130 nb_sol=0 ticks=550885 tps=100 nb_sec=5508
case_no=142 label=Case6.130 nb_sol=0 ticks=368973 tps=100 nb_sec=3689
case_no=142 label=Case6.130 nb_sol=0 ticks=451731 tps=100 nb_sec=4517
case_no=142 label=Case6.130 nb_sol=0 ticks=683362 tps=100 nb_sec=6833
case_no=142 label=Case6.130 nb_sol=0 ticks=731150 tps=100 nb_sec=7311
case_no=142 label=Case6.130 nb_sol=0 ticks=671992 tps=100 nb_sec=6719
case_no=142 label=Case6.130 nb_sol=0 ticks=457692 tps=100 nb_sec=4576
case_no=142 label=Case6.130 nb_sol=0 ticks=661189 tps=100 nb_sec=6611
case_no=142 label=Case6.130 nb_sol=0 ticks=699670 tps=100 nb_sec=6996
case_no=142 label=Case6.130 nb_sol=0 ticks=463048 tps=100 nb_sec=4630
case_no=142 label=Case6.130 nb_sol=0 ticks=529115 tps=100 nb_sec=5291
case_no=142 label=Case6.130 nb_sol=0 ticks=536668 tps=100 nb_sec=5366
case_no=142 label=Case6.130 nb_sol=0 ticks=580413 tps=100 nb_sec=5804
case_no=142 label=Case6.130 nb_sol=0 ticks=490700 tps=100 nb_sec=4907
case_no=142 label=Case6.130 nb_sol=0 ticks=347112 tps=100 nb_sec=3471
case_no=142 label=Case6.130 nb_sol=0 ticks=654612 tps=100 nb_sec=6546
case_no=142 label=Case6.130 nb_sol=0 ticks=493057 tps=100 nb_sec=4930
case_no=142 label=Case6.130 nb_sol=0 ticks=603453 tps=100 nb_sec=6034
case_no=142 label=Case6.130 nb_sol=0 ticks=493587 tps=100 nb_sec=4935
case_no=142 label=Case6.130 nb_sol=0 ticks=617841 tps=100 nb_sec=6178
case_no=142 label=Case6.130 nb_sol=0 ticks=317826 tps=100 nb_sec=3178
case_no=142 label=Case6.130 nb_sol=0 ticks=592945 tps=100 nb_sec=5929
case_no=142 label=Case6.130 nb_sol=0 ticks=398719 tps=100 nb_sec=3987
case_no=142 label=Case6.130 nb_sol=0 ticks=705111 tps=100 nb_sec=7051
case_no=142 label=Case6.130 nb_sol=0 ticks=601001 tps=100 nb_sec=6010
case_no=142 label=Case6.130 nb_sol=0 ticks=574482 tps=100 nb_sec=5744
case_no=142 label=Case6.130 nb_sol=0 ticks=479236 tps=100 nb_sec=4792
case_no=142 label=Case6.130 nb_sol=0 ticks=343862 tps=100 nb_sec=3438
case_no=142 label=Case6.130 nb_sol=0 ticks=268168 tps=100 nb_sec=2681
case_no=142 label=Case6.130 nb_sol=0 ticks=435728 tps=100 nb_sec=4357
case_no=142 label=Case6.130 nb_sol=0 ticks=604619 tps=100 nb_sec=6046
case_no=142 label=Case6.130 nb_sol=0 ticks=308367 tps=100 nb_sec=3083
case_no=142 label=Case6.130 nb_sol=0 ticks=184087 tps=100 nb_sec=1840
case_no=142 label=Case6.130 nb_sol=0 ticks=457994 tps=100 nb_sec=4579
case_no=142 label=Case6.130 nb_sol=0 ticks=265070 tps=100 nb_sec=2650
case_no=142 label=Case6.130 nb_sol=0 ticks=556973 tps=100 nb_sec=5569
case_no=142 label=Case6.130 nb_sol=0 ticks=233607 tps=100 nb_sec=2336
case_no=142 label=Case6.130 nb_sol=0 ticks=264007 tps=100 nb_sec=2640
case_no=142 label=Case6.130 nb_sol=0 ticks=193836 tps=100 nb_sec=1938
case_no=142 label=Case6.130 nb_sol=0 ticks=242182 tps=100 nb_sec=2421
case_no=142 label=Case6.130 nb_sol=0 ticks=320853 tps=100 nb_sec=3208
case_no=142 label=Case6.130 nb_sol=0 ticks=237618 tps=100 nb_sec=2376
case_no=142 label=Case6.130 nb_sol=0 ticks=276465 tps=100 nb_sec=2764
case_no=142 label=Case6.130 nb_sol=0 ticks=312684 tps=100 nb_sec=3126
case_no=142 label=Case6.130 nb_sol=0 ticks=250178 tps=100 nb_sec=2501
case_no=142 label=Case6.130 nb_sol=0 ticks=327310 tps=100 nb_sec=3273
case_no=142 label=Case6.130 nb_sol=0 ticks=243215 tps=100 nb_sec=2432
case_no=142 label=Case6.130 nb_sol=0 ticks=461791 tps=100 nb_sec=4617
case_no=142 label=Case6.130 nb_sol=0 ticks=581884 tps=100 nb_sec=5818
case_no=142 label=Case6.130 nb_sol=0 ticks=303674 tps=100 nb_sec=3036
case_no=142 label=Case6.130 nb_sol=0 ticks=252300 tps=100 nb_sec=2523
case_no=142 label=Case6.130 nb_sol=0 ticks=406231 tps=100 nb_sec=4062
case_no=142 label=Case6.130 nb_sol=0 ticks=514580 tps=100 nb_sec=5145
case_no=142 label=Case6.130 nb_sol=0 ticks=445901 tps=100 nb_sec=4459
case_no=142 label=Case6.130 nb_sol=0 ticks=455018 tps=100 nb_sec=4550
case_no=142 label=Case6.130 nb_sol=0 ticks=349083 tps=100 nb_sec=3490
case_no=142 label=Case6.130 nb_sol=0 ticks=595085 tps=100 nb_sec=5950
case_no=142 label=Case6.130 nb_sol=0 ticks=445149 tps=100 nb_sec=4451
case_no=142 label=Case6.130 nb_sol=0 ticks=509285 tps=100 nb_sec=5092
case_no=142 label=Case6.130 nb_sol=0 ticks=599671 tps=100 nb_sec=5996
case_no=142 label=Case6.130 nb_sol=0 ticks=537987 tps=100 nb_sec=5379
case_no=142 label=Case6.130 nb_sol=0 ticks=602529 tps=100 nb_sec=6025
case_no=142 label=Case6.130 nb_sol=0 ticks=476551 tps=100 nb_sec=4765
case_no=142 label=Case6.130 nb_sol=0 ticks=441777 tps=100 nb_sec=4417
case_no=142 label=Case6.130 nb_sol=0 ticks=337728 tps=100 nb_sec=3377
case_no=142 label=Case6.130 nb_sol=0 ticks=441449 tps=100 nb_sec=4414
case_no=142 label=Case6.130 nb_sol=0 ticks=512568 tps=100 nb_sec=5125
case_no=142 label=Case6.130 nb_sol=0 ticks=375256 tps=100 nb_sec=3752
case_no=142 label=Case6.130 nb_sol=0 ticks=395346 tps=100 nb_sec=3953
case_no=142 label=Case6.130 nb_sol=0 ticks=489598 tps=100 nb_sec=4895
case_no=142 label=Case6.130 nb_sol=0 ticks=360863 tps=100 nb_sec=3608
case_no=142 label=Case6.130 nb_sol=0 ticks=358043 tps=100 nb_sec=3580
case_no=142 label=Case6.130 nb_sol=0 ticks=470578 tps=100 nb_sec=4705
case_no=142 label=Case6.130 nb_sol=0 ticks=376395 tps=100 nb_sec=3763
case_no=142 label=Case6.130 nb_sol=0 ticks=350175 tps=100 nb_sec=3501
case_no=142 label=Case6.130 nb_sol=0 ticks=338675 tps=100 nb_sec=3386
case_no=142 label=Case6.130 nb_sol=0 ticks=437352 tps=100 nb_sec=4373
case_no=142 label=Case6.130 nb_sol=0 ticks=639055 tps=100 nb_sec=6390
case_no=142 label=Case6.130 nb_sol=0 ticks=281498 tps=100 nb_sec=2814
case_no=142 label=Case6.130 nb_sol=0 ticks=273738 tps=100 nb_sec=2737
case_no=142 label=Case6.130 nb_sol=0 ticks=200681 tps=100 nb_sec=2006
case_no=142 label=Case6.130 nb_sol=0 ticks=318625 tps=100 nb_sec=3186
case_no=142 label=Case6.130 nb_sol=0 ticks=203662 tps=100 nb_sec=2036
case_no=142 label=Case6.130 nb_sol=0 ticks=335862 tps=100 nb_sec=3358
case_no=142 label=Case6.130 nb_sol=0 ticks=430536 tps=100 nb_sec=4305
case_no=142 label=Case6.130 nb_sol=0 ticks=520093 tps=100 nb_sec=5200
case_no=142 label=Case6.130 nb_sol=0 ticks=288794 tps=100 nb_sec=2887
case_no=142 label=Case6.130 nb_sol=0 ticks=331484 tps=100 nb_sec=3314
case_no=142 label=Case6.130 nb_sol=0 ticks=264551 tps=100 nb_sec=2645
case_no=142 label=Case6.130 nb_sol=0 ticks=345777 tps=100 nb_sec=3457
case_no=142 label=Case6.130 nb_sol=0 ticks=255472 tps=100 nb_sec=2554
case_no=142 label=Case6.130 nb_sol=0 ticks=306439 tps=100 nb_sec=3064
case_no=142 label=Case6.130 nb_sol=0 ticks=538523 tps=100 nb_sec=5385
case_no=142 label=Case6.130 nb_sol=0 ticks=401491 tps=100 nb_sec=4014
case_no=142 label=Case6.130 nb_sol=0 ticks=532104 tps=100 nb_sec=5321
case_no=142 label=Case6.130 nb_sol=0 ticks=392445 tps=100 nb_sec=3924
case_no=142 label=Case6.130 nb_sol=0 ticks=369541 tps=100 nb_sec=3695
case_no=142 label=Case6.130 nb_sol=0 ticks=294488 tps=100 nb_sec=2944
case_no=142 label=Case6.130 nb_sol=0 ticks=449864 tps=100 nb_sec=4498
case_no=142 label=Case6.130 nb_sol=0 ticks=725780 tps=100 nb_sec=7257
case_no=142 label=Case6.130 nb_sol=0 ticks=321389 tps=100 nb_sec=3213
case_no=142 label=Case6.130 nb_sol=0 ticks=545866 tps=100 nb_sec=5458
case_no=142 label=Case6.130 nb_sol=0 ticks=255870 tps=100 nb_sec=2558
case_no=142 label=Case6.130 nb_sol=0 ticks=519138 tps=100 nb_sec=5191
case_no=142 label=Case6.130 nb_sol=0 ticks=459927 tps=100 nb_sec=4599
case_no=142 label=Case6.130 nb_sol=0 ticks=319602 tps=100 nb_sec=3196
case_no=142 label=Case6.130 nb_sol=0 ticks=331737 tps=100 nb_sec=3317
case_no=142 label=Case6.130 nb_sol=0 ticks=392432 tps=100 nb_sec=3924
case_no=142 label=Case6.130 nb_sol=0 ticks=482203 tps=100 nb_sec=4822
case_no=142 label=Case6.130 nb_sol=0 ticks=409880 tps=100 nb_sec=4098
case_no=142 label=Case6.130 nb_sol=0 ticks=503964 tps=100 nb_sec=5039
case_no=142 label=Case6.130 nb_sol=0 ticks=363590 tps=100 nb_sec=3635
case_no=142 label=Case6.130 nb_sol=0 ticks=387596 tps=100 nb_sec=3875
case_no=142 label=Case6.130 nb_sol=0 ticks=289943 tps=100 nb_sec=2899
case_no=142 label=Case6.130 nb_sol=0 ticks=367449 tps=100 nb_sec=3674
case_no=142 label=Case6.130 nb_sol=0 ticks=546153 tps=100 nb_sec=5461
case_no=142 label=Case6.130 nb_sol=0 ticks=361974 tps=100 nb_sec=3619
case_no=142 label=Case6.130 nb_sol=0 ticks=398401 tps=100 nb_sec=3984
case_no=142 label=Case6.130 nb_sol=0 ticks=317412 tps=100 nb_sec=3174
case_no=142 label=Case6.130 nb_sol=0 ticks=340320 tps=100 nb_sec=3403
case_no=142 label=Case6.130 nb_sol=0 ticks=242225 tps=100 nb_sec=2422
case_no=142 label=Case6.130 nb_sol=0 ticks=722761 tps=100 nb_sec=7227
case_no=142 label=Case6.130 nb_sol=0 ticks=520413 tps=100 nb_sec=5204
case_no=142 label=Case6.130 nb_sol=0 ticks=566135 tps=100 nb_sec=5661
case_no=142 label=Case6.130 nb_sol=0 ticks=410433 tps=100 nb_sec=4104
case_no=142 label=Case6.130 nb_sol=0 ticks=346729 tps=100 nb_sec=3467
case_no=142 label=Case6.130 nb_sol=0 ticks=654514 tps=100 nb_sec=6545
case_no=142 label=Case6.130 nb_sol=0 ticks=786128 tps=100 nb_sec=7861
case_no=142 label=Case6.130 nb_sol=0 ticks=575001 tps=100 nb_sec=5750
case_no=142 label=Case6.130 nb_sol=0 ticks=532534 tps=100 nb_sec=5325
case_no=142 label=Case6.130 nb_sol=0 ticks=277460 tps=100 nb_sec=2774
case_no=142 label=Case6.130 nb_sol=0 ticks=339012 tps=100 nb_sec=3390
case_no=142 label=Case6.130 nb_sol=0 ticks=358207 tps=100 nb_sec=3582
case_no=142 label=Case6.130 nb_sol=0 ticks=361602 tps=100 nb_sec=3616
case_no=142 label=Case6.130 nb_sol=0 ticks=367594 tps=100 nb_sec=3675
case_no=142 label=Case6.130 nb_sol=0 ticks=354097 tps=100 nb_sec=3540
case_no=142 label=Case6.130 nb_sol=0 ticks=397271 tps=100 nb_sec=3972
case_no=142 label=Case6.130 nb_sol=0 ticks=432322 tps=100 nb_sec=4323
case_no=142 label=Case6.130 nb_sol=0 ticks=367365 tps=100 nb_sec=3673
case_no=142 label=Case6.130 nb_sol=0 ticks=374005 tps=100 nb_sec=3740
case_no=142 label=Case6.130 nb_sol=0 ticks=344587 tps=100 nb_sec=3445
case_no=142 label=Case6.130 nb_sol=0 ticks=378440 tps=100 nb_sec=3784
case_no=142 label=Case6.130 nb_sol=0 ticks=361747 tps=100 nb_sec=3617
case_no=142 label=Case6.130 nb_sol=0 ticks=466013 tps=100 nb_sec=4660
case_no=142 label=Case6.130 nb_sol=0 ticks=521375 tps=100 nb_sec=5213
case_no=142 label=Case6.130 nb_sol=0 ticks=326582 tps=100 nb_sec=3265
case_no=142 label=Case6.130 nb_sol=0 ticks=626511 tps=100 nb_sec=6265
case_no=142 label=Case6.130 nb_sol=0 ticks=434468 tps=100 nb_sec=4344
case_no=142 label=Case6.130 nb_sol=0 ticks=349499 tps=100 nb_sec=3494
case_no=142 label=Case6.130 nb_sol=0 ticks=447919 tps=100 nb_sec=4479
case_no=142 label=Case6.130 nb_sol=0 ticks=426007 tps=100 nb_sec=4260
case_no=142 label=Case6.130 nb_sol=0 ticks=292998 tps=100 nb_sec=2929
case_no=142 label=Case6.130 nb_sol=0 ticks=430692 tps=100 nb_sec=4306
case_no=142 label=Case6.130 nb_sol=0 ticks=264153 tps=100 nb_sec=2641
case_no=142 label=Case6.130 nb_sol=0 ticks=435661 tps=100 nb_sec=4356
case_no=142 label=Case6.130 nb_sol=0 ticks=310110 tps=100 nb_sec=3101
case_no=142 label=Case6.130 nb_sol=0 ticks=553142 tps=100 nb_sec=5531
case_no=142 label=Case6.130 nb_sol=0 ticks=258041 tps=100 nb_sec=2580
case_no=142 label=Case6.130 nb_sol=0 ticks=291581 tps=100 nb_sec=2915
case_no=142 label=Case6.130 nb_sol=0 ticks=363176 tps=100 nb_sec=3631
case_no=142 label=Case6.130 nb_sol=0 ticks=271864 tps=100 nb_sec=2718
case_no=142 label=Case6.130 nb_sol=0 ticks=253332 tps=100 nb_sec=2533
case_no=142 label=Case6.130 nb_sol=0 ticks=239943 tps=100 nb_sec=2399
case_no=142 label=Case6.130 nb_sol=0 ticks=329981 tps=100 nb_sec=3299
case_no=142 label=Case6.130 nb_sol=0 ticks=439273 tps=100 nb_sec=4392
case_no=142 label=Case6.130 nb_sol=0 ticks=323112 tps=100 nb_sec=3231
case_no=142 label=Case6.130 nb_sol=0 ticks=287317 tps=100 nb_sec=2873
case_no=142 label=Case6.130 nb_sol=0 ticks=300029 tps=100 nb_sec=3000
case_no=142 label=Case6.130 nb_sol=0 ticks=458088 tps=100 nb_sec=4580
case_no=142 label=Case6.130 nb_sol=0 ticks=305958 tps=100 nb_sec=3059
case_no=142 label=Case6.130 nb_sol=0 ticks=456478 tps=100 nb_sec=4564
case_no=142 label=Case6.130 nb_sol=0 ticks=536162 tps=100 nb_sec=5361
case_no=142 label=Case6.130 nb_sol=0 ticks=651082 tps=100 nb_sec=6510
case_no=142 label=Case6.130 nb_sol=0 ticks=500784 tps=100 nb_sec=5007
case_no=142 label=Case6.130 nb_sol=0 ticks=311839 tps=100 nb_sec=3118
case_no=142 label=Case6.130 nb_sol=0 ticks=284447 tps=100 nb_sec=2844
case_no=142 label=Case6.130 nb_sol=0 ticks=316518 tps=100 nb_sec=3165
case_no=142 label=Case6.130 nb_sol=0 ticks=320007 tps=100 nb_sec=3200
case_no=142 label=Case6.130 nb_sol=0 ticks=266319 tps=100 nb_sec=2663
case_no=142 label=Case6.130 nb_sol=0 ticks=230327 tps=100 nb_sec=2303
case_no=142 label=Case6.130 nb_sol=0 ticks=222746 tps=100 nb_sec=2227
case_no=142 label=Case6.130 nb_sol=0 ticks=570286 tps=100 nb_sec=5702
case_no=142 label=Case6.130 nb_sol=0 ticks=466017 tps=100 nb_sec=4660
case_no=142 label=Case6.130 nb_sol=0 ticks=431204 tps=100 nb_sec=4312
case_no=142 label=Case6.130 nb_sol=0 ticks=395624 tps=100 nb_sec=3956
case_no=142 label=Case6.130 nb_sol=0 ticks=232059 tps=100 nb_sec=2320
case_no=142 label=Case6.130 nb_sol=0 ticks=180720 tps=100 nb_sec=1807
case_no=142 label=Case6.130 nb_sol=0 ticks=530382 tps=100 nb_sec=5303
case_no=142 label=Case6.130 nb_sol=0 ticks=549223 tps=100 nb_sec=5492
case_no=142 label=Case6.130 nb_sol=0 ticks=364534 tps=100 nb_sec=3645
case_no=142 label=Case6.130 nb_sol=0 ticks=606853 tps=100 nb_sec=6068
case_no=142 label=Case6.130 nb_sol=0 ticks=672049 tps=100 nb_sec=6720
case_no=142 label=Case6.130 nb_sol=0 ticks=620355 tps=100 nb_sec=6203
case_no=142 label=Case6.130 nb_sol=0 ticks=479129 tps=100 nb_sec=4791
case_no=142 label=Case6.130 nb_sol=0 ticks=504789 tps=100 nb_sec=5047
case_no=142 label=Case6.130 nb_sol=0 ticks=549684 tps=100 nb_sec=5496
case_no=142 label=Case6.130 nb_sol=0 ticks=476806 tps=100 nb_sec=4768
case_no=142 label=Case6.130 nb_sol=0 ticks=657237 tps=100 nb_sec=6572
case_no=142 label=Case6.130 nb_sol=0 ticks=356202 tps=100 nb_sec=3562
case_no=142 label=Case6.130 nb_sol=0 ticks=459045 tps=100 nb_sec=4590
case_no=142 label=Case6.130 nb_sol=0 ticks=384388 tps=100 nb_sec=3843
case_no=142 label=Case6.130 nb_sol=0 ticks=331667 tps=100 nb_sec=3316
case_no=142 label=Case6.130 nb_sol=0 ticks=399678 tps=100 nb_sec=3996
case_no=142 label=Case6.130 nb_sol=0 ticks=399318 tps=100 nb_sec=3993
case_no=142 label=Case6.130 nb_sol=0 ticks=331291 tps=100 nb_sec=3312
case_no=142 label=Case6.130 nb_sol=0 ticks=367570 tps=100 nb_sec=3675
case_no=142 label=Case6.130 nb_sol=0 ticks=331182 tps=100 nb_sec=3311
case_no=142 label=Case6.130 nb_sol=0 ticks=322673 tps=100 nb_sec=3226
case_no=142 label=Case6.130 nb_sol=0 ticks=431472 tps=100 nb_sec=4314
case_no=142 label=Case6.130 nb_sol=0 ticks=341531 tps=100 nb_sec=3415
case_no=142 label=Case6.130 nb_sol=0 ticks=322300 tps=100 nb_sec=3223
case_no=142 label=Case6.130 nb_sol=0 ticks=415702 tps=100 nb_sec=4157
case_no=142 label=Case6.130 nb_sol=0 ticks=212421 tps=100 nb_sec=2124
case_no=142 label=Case6.130 nb_sol=0 ticks=471086 tps=100 nb_sec=4710
case_no=142 label=Case6.130 nb_sol=0 ticks=295323 tps=100 nb_sec=2953
case_no=142 label=Case6.130 nb_sol=0 ticks=331112 tps=100 nb_sec=3311
case_no=142 label=Case6.130 nb_sol=0 ticks=264191 tps=100 nb_sec=2641
case_no=142 label=Case6.130 nb_sol=0 ticks=468004 tps=100 nb_sec=4680
case_no=142 label=Case6.130 nb_sol=0 ticks=352775 tps=100 nb_sec=3527
case_no=142 label=Case6.130 nb_sol=0 ticks=271551 tps=100 nb_sec=2715
Nb_sol=0
Nb_sec=4497887
52-1:24:47 or 1249 hours
missing cases:
none