argc=5
-M 1024
file2=30_select_Case6.121_starter_15_
checking files mod 1024 from 0 to 1023
case_no=133 label=Case6.121 nb_sol=0 ticks=165020 tps=100 nb_sec=1650
case_no=133 label=Case6.121 nb_sol=0 ticks=300877 tps=100 nb_sec=3008
case_no=133 label=Case6.121 nb_sol=0 ticks=420585 tps=100 nb_sec=4205
case_no=133 label=Case6.121 nb_sol=0 ticks=316398 tps=100 nb_sec=3163
case_no=133 label=Case6.121 nb_sol=0 ticks=244982 tps=100 nb_sec=2449
case_no=133 label=Case6.121 nb_sol=0 ticks=161123 tps=100 nb_sec=1611
case_no=133 label=Case6.121 nb_sol=0 ticks=461721 tps=100 nb_sec=4617
case_no=133 label=Case6.121 nb_sol=0 ticks=338424 tps=100 nb_sec=3384
case_no=133 label=Case6.121 nb_sol=0 ticks=371148 tps=100 nb_sec=3711
case_no=133 label=Case6.121 nb_sol=0 ticks=336153 tps=100 nb_sec=3361
case_no=133 label=Case6.121 nb_sol=0 ticks=419527 tps=100 nb_sec=4195
case_no=133 label=Case6.121 nb_sol=0 ticks=559199 tps=100 nb_sec=5591
case_no=133 label=Case6.121 nb_sol=0 ticks=543701 tps=100 nb_sec=5437
case_no=133 label=Case6.121 nb_sol=0 ticks=388518 tps=100 nb_sec=3885
case_no=133 label=Case6.121 nb_sol=0 ticks=417762 tps=100 nb_sec=4177
case_no=133 label=Case6.121 nb_sol=0 ticks=157870 tps=100 nb_sec=1578
case_no=133 label=Case6.121 nb_sol=0 ticks=296547 tps=100 nb_sec=2965
case_no=133 label=Case6.121 nb_sol=0 ticks=361110 tps=100 nb_sec=3611
case_no=133 label=Case6.121 nb_sol=0 ticks=516711 tps=100 nb_sec=5167
case_no=133 label=Case6.121 nb_sol=0 ticks=431392 tps=100 nb_sec=4313
case_no=133 label=Case6.121 nb_sol=0 ticks=218217 tps=100 nb_sec=2182
case_no=133 label=Case6.121 nb_sol=0 ticks=630891 tps=100 nb_sec=6308
case_no=133 label=Case6.121 nb_sol=0 ticks=483161 tps=100 nb_sec=4831
case_no=133 label=Case6.121 nb_sol=0 ticks=412204 tps=100 nb_sec=4122
case_no=133 label=Case6.121 nb_sol=0 ticks=404309 tps=100 nb_sec=4043
case_no=133 label=Case6.121 nb_sol=0 ticks=616617 tps=100 nb_sec=6166
case_no=133 label=Case6.121 nb_sol=0 ticks=185700 tps=100 nb_sec=1857
case_no=133 label=Case6.121 nb_sol=0 ticks=652456 tps=100 nb_sec=6524
case_no=133 label=Case6.121 nb_sol=0 ticks=552197 tps=100 nb_sec=5521
case_no=133 label=Case6.121 nb_sol=0 ticks=169920 tps=100 nb_sec=1699
case_no=133 label=Case6.121 nb_sol=0 ticks=382835 tps=100 nb_sec=3828
case_no=133 label=Case6.121 nb_sol=0 ticks=540828 tps=100 nb_sec=5408
case_no=133 label=Case6.121 nb_sol=0 ticks=378183 tps=100 nb_sec=3781
case_no=133 label=Case6.121 nb_sol=0 ticks=514140 tps=100 nb_sec=5141
case_no=133 label=Case6.121 nb_sol=0 ticks=503175 tps=100 nb_sec=5031
case_no=133 label=Case6.121 nb_sol=0 ticks=434103 tps=100 nb_sec=4341
case_no=133 label=Case6.121 nb_sol=0 ticks=353469 tps=100 nb_sec=3534
case_no=133 label=Case6.121 nb_sol=0 ticks=405944 tps=100 nb_sec=4059
case_no=133 label=Case6.121 nb_sol=0 ticks=394277 tps=100 nb_sec=3942
case_no=133 label=Case6.121 nb_sol=0 ticks=436560 tps=100 nb_sec=4365
case_no=133 label=Case6.121 nb_sol=0 ticks=469975 tps=100 nb_sec=4699
case_no=133 label=Case6.121 nb_sol=0 ticks=210419 tps=100 nb_sec=2104
case_no=133 label=Case6.121 nb_sol=0 ticks=230289 tps=100 nb_sec=2302
case_no=133 label=Case6.121 nb_sol=0 ticks=363961 tps=100 nb_sec=3639
case_no=133 label=Case6.121 nb_sol=0 ticks=318826 tps=100 nb_sec=3188
case_no=133 label=Case6.121 nb_sol=0 ticks=274214 tps=100 nb_sec=2742
case_no=133 label=Case6.121 nb_sol=0 ticks=231830 tps=100 nb_sec=2318
case_no=133 label=Case6.121 nb_sol=0 ticks=320562 tps=100 nb_sec=3205
case_no=133 label=Case6.121 nb_sol=0 ticks=437927 tps=100 nb_sec=4379
case_no=133 label=Case6.121 nb_sol=0 ticks=459741 tps=100 nb_sec=4597
case_no=133 label=Case6.121 nb_sol=0 ticks=327230 tps=100 nb_sec=3272
case_no=133 label=Case6.121 nb_sol=0 ticks=309681 tps=100 nb_sec=3096
case_no=133 label=Case6.121 nb_sol=0 ticks=504924 tps=100 nb_sec=5049
case_no=133 label=Case6.121 nb_sol=0 ticks=206411 tps=100 nb_sec=2064
case_no=133 label=Case6.121 nb_sol=0 ticks=343457 tps=100 nb_sec=3434
case_no=133 label=Case6.121 nb_sol=0 ticks=463494 tps=100 nb_sec=4634
case_no=133 label=Case6.121 nb_sol=0 ticks=430585 tps=100 nb_sec=4305
case_no=133 label=Case6.121 nb_sol=0 ticks=183392 tps=100 nb_sec=1833
case_no=133 label=Case6.121 nb_sol=0 ticks=311699 tps=100 nb_sec=3116
case_no=133 label=Case6.121 nb_sol=0 ticks=239144 tps=100 nb_sec=2391
case_no=133 label=Case6.121 nb_sol=0 ticks=397171 tps=100 nb_sec=3971
case_no=133 label=Case6.121 nb_sol=0 ticks=429562 tps=100 nb_sec=4295
case_no=133 label=Case6.121 nb_sol=0 ticks=232947 tps=100 nb_sec=2329
case_no=133 label=Case6.121 nb_sol=0 ticks=527575 tps=100 nb_sec=5275
case_no=133 label=Case6.121 nb_sol=0 ticks=181262 tps=100 nb_sec=1812
case_no=133 label=Case6.121 nb_sol=0 ticks=271475 tps=100 nb_sec=2714
case_no=133 label=Case6.121 nb_sol=0 ticks=320572 tps=100 nb_sec=3205
case_no=133 label=Case6.121 nb_sol=0 ticks=299784 tps=100 nb_sec=2997
case_no=133 label=Case6.121 nb_sol=0 ticks=195374 tps=100 nb_sec=1953
case_no=133 label=Case6.121 nb_sol=0 ticks=326283 tps=100 nb_sec=3262
case_no=133 label=Case6.121 nb_sol=0 ticks=340774 tps=100 nb_sec=3407
case_no=133 label=Case6.121 nb_sol=0 ticks=239864 tps=100 nb_sec=2398
case_no=133 label=Case6.121 nb_sol=0 ticks=201304 tps=100 nb_sec=2013
case_no=133 label=Case6.121 nb_sol=0 ticks=256132 tps=100 nb_sec=2561
case_no=133 label=Case6.121 nb_sol=0 ticks=157390 tps=100 nb_sec=1573
case_no=133 label=Case6.121 nb_sol=0 ticks=241243 tps=100 nb_sec=2412
case_no=133 label=Case6.121 nb_sol=0 ticks=410752 tps=100 nb_sec=4107
case_no=133 label=Case6.121 nb_sol=0 ticks=205556 tps=100 nb_sec=2055
case_no=133 label=Case6.121 nb_sol=0 ticks=242114 tps=100 nb_sec=2421
case_no=133 label=Case6.121 nb_sol=0 ticks=258199 tps=100 nb_sec=2581
case_no=133 label=Case6.121 nb_sol=0 ticks=195133 tps=100 nb_sec=1951
case_no=133 label=Case6.121 nb_sol=0 ticks=292529 tps=100 nb_sec=2925
case_no=133 label=Case6.121 nb_sol=0 ticks=160664 tps=100 nb_sec=1606
case_no=133 label=Case6.121 nb_sol=0 ticks=183642 tps=100 nb_sec=1836
case_no=133 label=Case6.121 nb_sol=0 ticks=144965 tps=100 nb_sec=1449
case_no=133 label=Case6.121 nb_sol=0 ticks=194776 tps=100 nb_sec=1947
case_no=133 label=Case6.121 nb_sol=0 ticks=189579 tps=100 nb_sec=1895
case_no=133 label=Case6.121 nb_sol=0 ticks=156569 tps=100 nb_sec=1565
case_no=133 label=Case6.121 nb_sol=0 ticks=154573 tps=100 nb_sec=1545
case_no=133 label=Case6.121 nb_sol=0 ticks=265843 tps=100 nb_sec=2658
case_no=133 label=Case6.121 nb_sol=0 ticks=293705 tps=100 nb_sec=2937
case_no=133 label=Case6.121 nb_sol=0 ticks=350432 tps=100 nb_sec=3504
case_no=133 label=Case6.121 nb_sol=0 ticks=164398 tps=100 nb_sec=1643
case_no=133 label=Case6.121 nb_sol=0 ticks=339633 tps=100 nb_sec=3396
case_no=133 label=Case6.121 nb_sol=0 ticks=472701 tps=100 nb_sec=4727
case_no=133 label=Case6.121 nb_sol=0 ticks=293014 tps=100 nb_sec=2930
case_no=133 label=Case6.121 nb_sol=0 ticks=183036 tps=100 nb_sec=1830
case_no=133 label=Case6.121 nb_sol=0 ticks=138471 tps=100 nb_sec=1384
case_no=133 label=Case6.121 nb_sol=0 ticks=172267 tps=100 nb_sec=1722
case_no=133 label=Case6.121 nb_sol=0 ticks=194268 tps=100 nb_sec=1942
case_no=133 label=Case6.121 nb_sol=0 ticks=240215 tps=100 nb_sec=2402
case_no=133 label=Case6.121 nb_sol=0 ticks=281930 tps=100 nb_sec=2819
case_no=133 label=Case6.121 nb_sol=0 ticks=188598 tps=100 nb_sec=1885
case_no=133 label=Case6.121 nb_sol=0 ticks=364919 tps=100 nb_sec=3649
case_no=133 label=Case6.121 nb_sol=0 ticks=178839 tps=100 nb_sec=1788
case_no=133 label=Case6.121 nb_sol=0 ticks=304362 tps=100 nb_sec=3043
case_no=133 label=Case6.121 nb_sol=0 ticks=366441 tps=100 nb_sec=3664
case_no=133 label=Case6.121 nb_sol=0 ticks=426509 tps=100 nb_sec=4265
case_no=133 label=Case6.121 nb_sol=0 ticks=358165 tps=100 nb_sec=3581
case_no=133 label=Case6.121 nb_sol=0 ticks=363261 tps=100 nb_sec=3632
case_no=133 label=Case6.121 nb_sol=0 ticks=254326 tps=100 nb_sec=2543
case_no=133 label=Case6.121 nb_sol=0 ticks=296727 tps=100 nb_sec=2967
case_no=133 label=Case6.121 nb_sol=0 ticks=267209 tps=100 nb_sec=2672
case_no=133 label=Case6.121 nb_sol=0 ticks=336088 tps=100 nb_sec=3360
case_no=133 label=Case6.121 nb_sol=0 ticks=316563 tps=100 nb_sec=3165
case_no=133 label=Case6.121 nb_sol=0 ticks=117749 tps=100 nb_sec=1177
case_no=133 label=Case6.121 nb_sol=0 ticks=426967 tps=100 nb_sec=4269
case_no=133 label=Case6.121 nb_sol=0 ticks=175305 tps=100 nb_sec=1753
case_no=133 label=Case6.121 nb_sol=0 ticks=203349 tps=100 nb_sec=2033
case_no=133 label=Case6.121 nb_sol=0 ticks=209631 tps=100 nb_sec=2096
case_no=133 label=Case6.121 nb_sol=0 ticks=423044 tps=100 nb_sec=4230
case_no=133 label=Case6.121 nb_sol=0 ticks=388429 tps=100 nb_sec=3884
case_no=133 label=Case6.121 nb_sol=0 ticks=361183 tps=100 nb_sec=3611
case_no=133 label=Case6.121 nb_sol=0 ticks=389197 tps=100 nb_sec=3891
case_no=133 label=Case6.121 nb_sol=0 ticks=242721 tps=100 nb_sec=2427
case_no=133 label=Case6.121 nb_sol=0 ticks=152918 tps=100 nb_sec=1529
case_no=133 label=Case6.121 nb_sol=0 ticks=219755 tps=100 nb_sec=2197
case_no=133 label=Case6.121 nb_sol=0 ticks=357137 tps=100 nb_sec=3571
case_no=133 label=Case6.121 nb_sol=0 ticks=221490 tps=100 nb_sec=2214
case_no=133 label=Case6.121 nb_sol=0 ticks=283192 tps=100 nb_sec=2831
case_no=133 label=Case6.121 nb_sol=0 ticks=369713 tps=100 nb_sec=3697
case_no=133 label=Case6.121 nb_sol=0 ticks=384025 tps=100 nb_sec=3840
case_no=133 label=Case6.121 nb_sol=0 ticks=328269 tps=100 nb_sec=3282
case_no=133 label=Case6.121 nb_sol=0 ticks=381255 tps=100 nb_sec=3812
case_no=133 label=Case6.121 nb_sol=0 ticks=252038 tps=100 nb_sec=2520
case_no=133 label=Case6.121 nb_sol=0 ticks=417140 tps=100 nb_sec=4171
case_no=133 label=Case6.121 nb_sol=0 ticks=204947 tps=100 nb_sec=2049
case_no=133 label=Case6.121 nb_sol=0 ticks=206926 tps=100 nb_sec=2069
case_no=133 label=Case6.121 nb_sol=0 ticks=228580 tps=100 nb_sec=2285
case_no=133 label=Case6.121 nb_sol=0 ticks=395884 tps=100 nb_sec=3958
case_no=133 label=Case6.121 nb_sol=0 ticks=398432 tps=100 nb_sec=3984
case_no=133 label=Case6.121 nb_sol=0 ticks=316820 tps=100 nb_sec=3168
case_no=133 label=Case6.121 nb_sol=0 ticks=407123 tps=100 nb_sec=4071
case_no=133 label=Case6.121 nb_sol=0 ticks=412818 tps=100 nb_sec=4128
case_no=133 label=Case6.121 nb_sol=0 ticks=311717 tps=100 nb_sec=3117
case_no=133 label=Case6.121 nb_sol=0 ticks=183839 tps=100 nb_sec=1838
case_no=133 label=Case6.121 nb_sol=0 ticks=445919 tps=100 nb_sec=4459
case_no=133 label=Case6.121 nb_sol=0 ticks=387212 tps=100 nb_sec=3872
case_no=133 label=Case6.121 nb_sol=0 ticks=557574 tps=100 nb_sec=5575
case_no=133 label=Case6.121 nb_sol=0 ticks=238967 tps=100 nb_sec=2389
case_no=133 label=Case6.121 nb_sol=0 ticks=327360 tps=100 nb_sec=3273
case_no=133 label=Case6.121 nb_sol=0 ticks=256456 tps=100 nb_sec=2564
case_no=133 label=Case6.121 nb_sol=0 ticks=321033 tps=100 nb_sec=3210
case_no=133 label=Case6.121 nb_sol=0 ticks=399395 tps=100 nb_sec=3993
case_no=133 label=Case6.121 nb_sol=0 ticks=485559 tps=100 nb_sec=4855
case_no=133 label=Case6.121 nb_sol=0 ticks=584054 tps=100 nb_sec=5840
case_no=133 label=Case6.121 nb_sol=0 ticks=322979 tps=100 nb_sec=3229
case_no=133 label=Case6.121 nb_sol=0 ticks=325926 tps=100 nb_sec=3259
case_no=133 label=Case6.121 nb_sol=0 ticks=457111 tps=100 nb_sec=4571
case_no=133 label=Case6.121 nb_sol=0 ticks=413902 tps=100 nb_sec=4139
case_no=133 label=Case6.121 nb_sol=0 ticks=443484 tps=100 nb_sec=4434
case_no=133 label=Case6.121 nb_sol=0 ticks=562420 tps=100 nb_sec=5624
case_no=133 label=Case6.121 nb_sol=0 ticks=496209 tps=100 nb_sec=4962
case_no=133 label=Case6.121 nb_sol=0 ticks=589965 tps=100 nb_sec=5899
case_no=133 label=Case6.121 nb_sol=0 ticks=409584 tps=100 nb_sec=4095
case_no=133 label=Case6.121 nb_sol=0 ticks=500526 tps=100 nb_sec=5005
case_no=133 label=Case6.121 nb_sol=0 ticks=594037 tps=100 nb_sec=5940
case_no=133 label=Case6.121 nb_sol=0 ticks=672844 tps=100 nb_sec=6728
case_no=133 label=Case6.121 nb_sol=0 ticks=445166 tps=100 nb_sec=4451
case_no=133 label=Case6.121 nb_sol=0 ticks=514734 tps=100 nb_sec=5147
case_no=133 label=Case6.121 nb_sol=0 ticks=483693 tps=100 nb_sec=4836
case_no=133 label=Case6.121 nb_sol=0 ticks=380554 tps=100 nb_sec=3805
case_no=133 label=Case6.121 nb_sol=0 ticks=179325 tps=100 nb_sec=1793
case_no=133 label=Case6.121 nb_sol=0 ticks=220215 tps=100 nb_sec=2202
case_no=133 label=Case6.121 nb_sol=0 ticks=296365 tps=100 nb_sec=2963
case_no=133 label=Case6.121 nb_sol=0 ticks=313393 tps=100 nb_sec=3133
case_no=133 label=Case6.121 nb_sol=0 ticks=646877 tps=100 nb_sec=6468
case_no=133 label=Case6.121 nb_sol=0 ticks=564644 tps=100 nb_sec=5646
case_no=133 label=Case6.121 nb_sol=0 ticks=411266 tps=100 nb_sec=4112
case_no=133 label=Case6.121 nb_sol=0 ticks=480833 tps=100 nb_sec=4808
case_no=133 label=Case6.121 nb_sol=0 ticks=466469 tps=100 nb_sec=4664
case_no=133 label=Case6.121 nb_sol=0 ticks=229439 tps=100 nb_sec=2294
case_no=133 label=Case6.121 nb_sol=0 ticks=173057 tps=100 nb_sec=1730
case_no=133 label=Case6.121 nb_sol=0 ticks=476213 tps=100 nb_sec=4762
case_no=133 label=Case6.121 nb_sol=0 ticks=427313 tps=100 nb_sec=4273
case_no=133 label=Case6.121 nb_sol=0 ticks=352378 tps=100 nb_sec=3523
case_no=133 label=Case6.121 nb_sol=0 ticks=515502 tps=100 nb_sec=5155
case_no=133 label=Case6.121 nb_sol=0 ticks=333303 tps=100 nb_sec=3333
case_no=133 label=Case6.121 nb_sol=0 ticks=446398 tps=100 nb_sec=4463
case_no=133 label=Case6.121 nb_sol=0 ticks=350280 tps=100 nb_sec=3502
case_no=133 label=Case6.121 nb_sol=0 ticks=361723 tps=100 nb_sec=3617
case_no=133 label=Case6.121 nb_sol=0 ticks=422360 tps=100 nb_sec=4223
case_no=133 label=Case6.121 nb_sol=0 ticks=440629 tps=100 nb_sec=4406
case_no=133 label=Case6.121 nb_sol=0 ticks=405855 tps=100 nb_sec=4058
case_no=133 label=Case6.121 nb_sol=0 ticks=350076 tps=100 nb_sec=3500
case_no=133 label=Case6.121 nb_sol=0 ticks=491522 tps=100 nb_sec=4915
case_no=133 label=Case6.121 nb_sol=0 ticks=354154 tps=100 nb_sec=3541
case_no=133 label=Case6.121 nb_sol=0 ticks=328627 tps=100 nb_sec=3286
case_no=133 label=Case6.121 nb_sol=0 ticks=519067 tps=100 nb_sec=5190
case_no=133 label=Case6.121 nb_sol=0 ticks=492451 tps=100 nb_sec=4924
case_no=133 label=Case6.121 nb_sol=0 ticks=258669 tps=100 nb_sec=2586
case_no=133 label=Case6.121 nb_sol=0 ticks=185833 tps=100 nb_sec=1858
case_no=133 label=Case6.121 nb_sol=0 ticks=158608 tps=100 nb_sec=1586
case_no=133 label=Case6.121 nb_sol=0 ticks=235371 tps=100 nb_sec=2353
case_no=133 label=Case6.121 nb_sol=0 ticks=191450 tps=100 nb_sec=1914
case_no=133 label=Case6.121 nb_sol=0 ticks=257303 tps=100 nb_sec=2573
case_no=133 label=Case6.121 nb_sol=0 ticks=256930 tps=100 nb_sec=2569
case_no=133 label=Case6.121 nb_sol=0 ticks=206157 tps=100 nb_sec=2061
case_no=133 label=Case6.121 nb_sol=0 ticks=279101 tps=100 nb_sec=2791
case_no=133 label=Case6.121 nb_sol=0 ticks=187856 tps=100 nb_sec=1878
case_no=133 label=Case6.121 nb_sol=0 ticks=370682 tps=100 nb_sec=3706
case_no=133 label=Case6.121 nb_sol=0 ticks=243849 tps=100 nb_sec=2438
case_no=133 label=Case6.121 nb_sol=0 ticks=248029 tps=100 nb_sec=2480
case_no=133 label=Case6.121 nb_sol=0 ticks=532986 tps=100 nb_sec=5329
case_no=133 label=Case6.121 nb_sol=0 ticks=286864 tps=100 nb_sec=2868
case_no=133 label=Case6.121 nb_sol=0 ticks=424514 tps=100 nb_sec=4245
case_no=133 label=Case6.121 nb_sol=0 ticks=382493 tps=100 nb_sec=3824
case_no=133 label=Case6.121 nb_sol=0 ticks=165273 tps=100 nb_sec=1652
case_no=133 label=Case6.121 nb_sol=0 ticks=324718 tps=100 nb_sec=3247
case_no=133 label=Case6.121 nb_sol=0 ticks=269203 tps=100 nb_sec=2692
case_no=133 label=Case6.121 nb_sol=0 ticks=368801 tps=100 nb_sec=3688
case_no=133 label=Case6.121 nb_sol=0 ticks=168775 tps=100 nb_sec=1687
case_no=133 label=Case6.121 nb_sol=0 ticks=222910 tps=100 nb_sec=2229
case_no=133 label=Case6.121 nb_sol=0 ticks=172958 tps=100 nb_sec=1729
case_no=133 label=Case6.121 nb_sol=0 ticks=242372 tps=100 nb_sec=2423
case_no=133 label=Case6.121 nb_sol=0 ticks=498538 tps=100 nb_sec=4985
case_no=133 label=Case6.121 nb_sol=0 ticks=260031 tps=100 nb_sec=2600
case_no=133 label=Case6.121 nb_sol=0 ticks=187942 tps=100 nb_sec=1879
case_no=133 label=Case6.121 nb_sol=0 ticks=244439 tps=100 nb_sec=2444
case_no=133 label=Case6.121 nb_sol=0 ticks=406699 tps=100 nb_sec=4066
case_no=133 label=Case6.121 nb_sol=0 ticks=215483 tps=100 nb_sec=2154
case_no=133 label=Case6.121 nb_sol=0 ticks=231690 tps=100 nb_sec=2316
case_no=133 label=Case6.121 nb_sol=0 ticks=594958 tps=100 nb_sec=5949
case_no=133 label=Case6.121 nb_sol=0 ticks=260319 tps=100 nb_sec=2603
case_no=133 label=Case6.121 nb_sol=0 ticks=188481 tps=100 nb_sec=1884
case_no=133 label=Case6.121 nb_sol=0 ticks=334515 tps=100 nb_sec=3345
case_no=133 label=Case6.121 nb_sol=0 ticks=449850 tps=100 nb_sec=4498
case_no=133 label=Case6.121 nb_sol=0 ticks=449517 tps=100 nb_sec=4495
case_no=133 label=Case6.121 nb_sol=0 ticks=396885 tps=100 nb_sec=3968
case_no=133 label=Case6.121 nb_sol=0 ticks=383739 tps=100 nb_sec=3837
case_no=133 label=Case6.121 nb_sol=0 ticks=185925 tps=100 nb_sec=1859
case_no=133 label=Case6.121 nb_sol=0 ticks=339348 tps=100 nb_sec=3393
case_no=133 label=Case6.121 nb_sol=0 ticks=191715 tps=100 nb_sec=1917
case_no=133 label=Case6.121 nb_sol=0 ticks=344374 tps=100 nb_sec=3443
case_no=133 label=Case6.121 nb_sol=0 ticks=200009 tps=100 nb_sec=2000
case_no=133 label=Case6.121 nb_sol=0 ticks=519346 tps=100 nb_sec=5193
case_no=133 label=Case6.121 nb_sol=0 ticks=246129 tps=100 nb_sec=2461
case_no=133 label=Case6.121 nb_sol=0 ticks=357554 tps=100 nb_sec=3575
case_no=133 label=Case6.121 nb_sol=0 ticks=167904 tps=100 nb_sec=1679
case_no=133 label=Case6.121 nb_sol=0 ticks=328375 tps=100 nb_sec=3283
case_no=133 label=Case6.121 nb_sol=0 ticks=386643 tps=100 nb_sec=3866
case_no=133 label=Case6.121 nb_sol=0 ticks=404134 tps=100 nb_sec=4041
case_no=133 label=Case6.121 nb_sol=0 ticks=332178 tps=100 nb_sec=3321
case_no=133 label=Case6.121 nb_sol=0 ticks=401195 tps=100 nb_sec=4011
case_no=133 label=Case6.121 nb_sol=0 ticks=517660 tps=100 nb_sec=5176
case_no=133 label=Case6.121 nb_sol=0 ticks=381782 tps=100 nb_sec=3817
case_no=133 label=Case6.121 nb_sol=0 ticks=405374 tps=100 nb_sec=4053
case_no=133 label=Case6.121 nb_sol=0 ticks=443714 tps=100 nb_sec=4437
case_no=133 label=Case6.121 nb_sol=0 ticks=484843 tps=100 nb_sec=4848
case_no=133 label=Case6.121 nb_sol=0 ticks=389531 tps=100 nb_sec=3895
case_no=133 label=Case6.121 nb_sol=0 ticks=365258 tps=100 nb_sec=3652
case_no=133 label=Case6.121 nb_sol=0 ticks=393968 tps=100 nb_sec=3939
case_no=133 label=Case6.121 nb_sol=0 ticks=389625 tps=100 nb_sec=3896
case_no=133 label=Case6.121 nb_sol=0 ticks=348124 tps=100 nb_sec=3481
case_no=133 label=Case6.121 nb_sol=0 ticks=296278 tps=100 nb_sec=2962
case_no=133 label=Case6.121 nb_sol=0 ticks=190361 tps=100 nb_sec=1903
case_no=133 label=Case6.121 nb_sol=0 ticks=356058 tps=100 nb_sec=3560
case_no=133 label=Case6.121 nb_sol=0 ticks=231745 tps=100 nb_sec=2317
case_no=133 label=Case6.121 nb_sol=0 ticks=312828 tps=100 nb_sec=3128
case_no=133 label=Case6.121 nb_sol=0 ticks=352431 tps=100 nb_sec=3524
case_no=133 label=Case6.121 nb_sol=0 ticks=358157 tps=100 nb_sec=3581
case_no=133 label=Case6.121 nb_sol=0 ticks=284458 tps=100 nb_sec=2844
case_no=133 label=Case6.121 nb_sol=0 ticks=241050 tps=100 nb_sec=2410
case_no=133 label=Case6.121 nb_sol=0 ticks=159844 tps=100 nb_sec=1598
case_no=133 label=Case6.121 nb_sol=0 ticks=196032 tps=100 nb_sec=1960
case_no=133 label=Case6.121 nb_sol=0 ticks=234130 tps=100 nb_sec=2341
case_no=133 label=Case6.121 nb_sol=0 ticks=345914 tps=100 nb_sec=3459
case_no=133 label=Case6.121 nb_sol=0 ticks=192111 tps=100 nb_sec=1921
case_no=133 label=Case6.121 nb_sol=0 ticks=355086 tps=100 nb_sec=3550
case_no=133 label=Case6.121 nb_sol=0 ticks=280706 tps=100 nb_sec=2807
case_no=133 label=Case6.121 nb_sol=0 ticks=380308 tps=100 nb_sec=3803
case_no=133 label=Case6.121 nb_sol=0 ticks=206519 tps=100 nb_sec=2065
case_no=133 label=Case6.121 nb_sol=0 ticks=213084 tps=100 nb_sec=2130
case_no=133 label=Case6.121 nb_sol=0 ticks=222951 tps=100 nb_sec=2229
case_no=133 label=Case6.121 nb_sol=0 ticks=347364 tps=100 nb_sec=3473
case_no=133 label=Case6.121 nb_sol=0 ticks=248755 tps=100 nb_sec=2487
case_no=133 label=Case6.121 nb_sol=0 ticks=123078 tps=100 nb_sec=1230
case_no=133 label=Case6.121 nb_sol=0 ticks=183506 tps=100 nb_sec=1835
case_no=133 label=Case6.121 nb_sol=0 ticks=480300 tps=100 nb_sec=4803
case_no=133 label=Case6.121 nb_sol=0 ticks=359510 tps=100 nb_sec=3595
case_no=133 label=Case6.121 nb_sol=0 ticks=277269 tps=100 nb_sec=2772
case_no=133 label=Case6.121 nb_sol=0 ticks=450707 tps=100 nb_sec=4507
case_no=133 label=Case6.121 nb_sol=0 ticks=370911 tps=100 nb_sec=3709
case_no=133 label=Case6.121 nb_sol=0 ticks=653595 tps=100 nb_sec=6535
case_no=133 label=Case6.121 nb_sol=0 ticks=423786 tps=100 nb_sec=4237
case_no=133 label=Case6.121 nb_sol=0 ticks=459247 tps=100 nb_sec=4592
case_no=133 label=Case6.121 nb_sol=0 ticks=184919 tps=100 nb_sec=1849
case_no=133 label=Case6.121 nb_sol=0 ticks=188844 tps=100 nb_sec=1888
case_no=133 label=Case6.121 nb_sol=0 ticks=619708 tps=100 nb_sec=6197
case_no=133 label=Case6.121 nb_sol=0 ticks=574036 tps=100 nb_sec=5740
case_no=133 label=Case6.121 nb_sol=0 ticks=541862 tps=100 nb_sec=5418
case_no=133 label=Case6.121 nb_sol=0 ticks=571627 tps=100 nb_sec=5716
case_no=133 label=Case6.121 nb_sol=0 ticks=224579 tps=100 nb_sec=2245
case_no=133 label=Case6.121 nb_sol=0 ticks=284057 tps=100 nb_sec=2840
case_no=133 label=Case6.121 nb_sol=0 ticks=479960 tps=100 nb_sec=4799
case_no=133 label=Case6.121 nb_sol=0 ticks=218151 tps=100 nb_sec=2181
case_no=133 label=Case6.121 nb_sol=0 ticks=227463 tps=100 nb_sec=2274
case_no=133 label=Case6.121 nb_sol=0 ticks=323958 tps=100 nb_sec=3239
case_no=133 label=Case6.121 nb_sol=0 ticks=265842 tps=100 nb_sec=2658
case_no=133 label=Case6.121 nb_sol=0 ticks=228612 tps=100 nb_sec=2286
case_no=133 label=Case6.121 nb_sol=0 ticks=195418 tps=100 nb_sec=1954
case_no=133 label=Case6.121 nb_sol=0 ticks=373175 tps=100 nb_sec=3731
case_no=133 label=Case6.121 nb_sol=0 ticks=377761 tps=100 nb_sec=3777
case_no=133 label=Case6.121 nb_sol=0 ticks=319352 tps=100 nb_sec=3193
case_no=133 label=Case6.121 nb_sol=0 ticks=350611 tps=100 nb_sec=3506
case_no=133 label=Case6.121 nb_sol=0 ticks=336448 tps=100 nb_sec=3364
case_no=133 label=Case6.121 nb_sol=0 ticks=156813 tps=100 nb_sec=1568
case_no=133 label=Case6.121 nb_sol=0 ticks=361173 tps=100 nb_sec=3611
case_no=133 label=Case6.121 nb_sol=0 ticks=539835 tps=100 nb_sec=5398
case_no=133 label=Case6.121 nb_sol=0 ticks=378004 tps=100 nb_sec=3780
case_no=133 label=Case6.121 nb_sol=0 ticks=408308 tps=100 nb_sec=4083
case_no=133 label=Case6.121 nb_sol=0 ticks=166909 tps=100 nb_sec=1669
case_no=133 label=Case6.121 nb_sol=0 ticks=249475 tps=100 nb_sec=2494
case_no=133 label=Case6.121 nb_sol=0 ticks=282784 tps=100 nb_sec=2827
case_no=133 label=Case6.121 nb_sol=0 ticks=308653 tps=100 nb_sec=3086
case_no=133 label=Case6.121 nb_sol=0 ticks=277583 tps=100 nb_sec=2775
case_no=133 label=Case6.121 nb_sol=0 ticks=252146 tps=100 nb_sec=2521
case_no=133 label=Case6.121 nb_sol=0 ticks=217613 tps=100 nb_sec=2176
case_no=133 label=Case6.121 nb_sol=0 ticks=257829 tps=100 nb_sec=2578
case_no=133 label=Case6.121 nb_sol=0 ticks=214631 tps=100 nb_sec=2146
case_no=133 label=Case6.121 nb_sol=0 ticks=317739 tps=100 nb_sec=3177
case_no=133 label=Case6.121 nb_sol=0 ticks=238215 tps=100 nb_sec=2382
case_no=133 label=Case6.121 nb_sol=0 ticks=164661 tps=100 nb_sec=1646
case_no=133 label=Case6.121 nb_sol=0 ticks=277608 tps=100 nb_sec=2776
case_no=133 label=Case6.121 nb_sol=0 ticks=319752 tps=100 nb_sec=3197
case_no=133 label=Case6.121 nb_sol=0 ticks=300342 tps=100 nb_sec=3003
case_no=133 label=Case6.121 nb_sol=0 ticks=292692 tps=100 nb_sec=2926
case_no=133 label=Case6.121 nb_sol=0 ticks=284680 tps=100 nb_sec=2846
case_no=133 label=Case6.121 nb_sol=0 ticks=340164 tps=100 nb_sec=3401
case_no=133 label=Case6.121 nb_sol=0 ticks=377489 tps=100 nb_sec=3774
case_no=133 label=Case6.121 nb_sol=0 ticks=198663 tps=100 nb_sec=1986
case_no=133 label=Case6.121 nb_sol=0 ticks=348145 tps=100 nb_sec=3481
case_no=133 label=Case6.121 nb_sol=0 ticks=364968 tps=100 nb_sec=3649
case_no=133 label=Case6.121 nb_sol=0 ticks=339588 tps=100 nb_sec=3395
case_no=133 label=Case6.121 nb_sol=0 ticks=411681 tps=100 nb_sec=4116
case_no=133 label=Case6.121 nb_sol=0 ticks=265858 tps=100 nb_sec=2658
case_no=133 label=Case6.121 nb_sol=0 ticks=268059 tps=100 nb_sec=2680
case_no=133 label=Case6.121 nb_sol=0 ticks=235123 tps=100 nb_sec=2351
case_no=133 label=Case6.121 nb_sol=0 ticks=263219 tps=100 nb_sec=2632
case_no=133 label=Case6.121 nb_sol=0 ticks=425884 tps=100 nb_sec=4258
case_no=133 label=Case6.121 nb_sol=0 ticks=205237 tps=100 nb_sec=2052
case_no=133 label=Case6.121 nb_sol=0 ticks=335342 tps=100 nb_sec=3353
case_no=133 label=Case6.121 nb_sol=0 ticks=143647 tps=100 nb_sec=1436
case_no=133 label=Case6.121 nb_sol=0 ticks=181787 tps=100 nb_sec=1817
case_no=133 label=Case6.121 nb_sol=0 ticks=249911 tps=100 nb_sec=2499
case_no=133 label=Case6.121 nb_sol=0 ticks=249249 tps=100 nb_sec=2492
case_no=133 label=Case6.121 nb_sol=0 ticks=204049 tps=100 nb_sec=2040
case_no=133 label=Case6.121 nb_sol=0 ticks=272024 tps=100 nb_sec=2720
case_no=133 label=Case6.121 nb_sol=0 ticks=443704 tps=100 nb_sec=4437
case_no=133 label=Case6.121 nb_sol=0 ticks=323327 tps=100 nb_sec=3233
case_no=133 label=Case6.121 nb_sol=0 ticks=422431 tps=100 nb_sec=4224
case_no=133 label=Case6.121 nb_sol=0 ticks=418311 tps=100 nb_sec=4183
case_no=133 label=Case6.121 nb_sol=0 ticks=295128 tps=100 nb_sec=2951
case_no=133 label=Case6.121 nb_sol=0 ticks=322183 tps=100 nb_sec=3221
case_no=133 label=Case6.121 nb_sol=0 ticks=360193 tps=100 nb_sec=3601
case_no=133 label=Case6.121 nb_sol=0 ticks=325297 tps=100 nb_sec=3252
case_no=133 label=Case6.121 nb_sol=0 ticks=304621 tps=100 nb_sec=3046
case_no=133 label=Case6.121 nb_sol=0 ticks=322144 tps=100 nb_sec=3221
case_no=133 label=Case6.121 nb_sol=0 ticks=390345 tps=100 nb_sec=3903
case_no=133 label=Case6.121 nb_sol=0 ticks=333789 tps=100 nb_sec=3337
case_no=133 label=Case6.121 nb_sol=0 ticks=380569 tps=100 nb_sec=3805
case_no=133 label=Case6.121 nb_sol=0 ticks=165411 tps=100 nb_sec=1654
case_no=133 label=Case6.121 nb_sol=0 ticks=327035 tps=100 nb_sec=3270
case_no=133 label=Case6.121 nb_sol=0 ticks=160283 tps=100 nb_sec=1602
case_no=133 label=Case6.121 nb_sol=0 ticks=230594 tps=100 nb_sec=2305
case_no=133 label=Case6.121 nb_sol=0 ticks=402498 tps=100 nb_sec=4024
case_no=133 label=Case6.121 nb_sol=0 ticks=331566 tps=100 nb_sec=3315
case_no=133 label=Case6.121 nb_sol=0 ticks=178816 tps=100 nb_sec=1788
case_no=133 label=Case6.121 nb_sol=0 ticks=260798 tps=100 nb_sec=2607
case_no=133 label=Case6.121 nb_sol=0 ticks=329643 tps=100 nb_sec=3296
case_no=133 label=Case6.121 nb_sol=0 ticks=520114 tps=100 nb_sec=5201
case_no=133 label=Case6.121 nb_sol=0 ticks=471710 tps=100 nb_sec=4717
case_no=133 label=Case6.121 nb_sol=0 ticks=321787 tps=100 nb_sec=3217
case_no=133 label=Case6.121 nb_sol=0 ticks=444415 tps=100 nb_sec=4444
case_no=133 label=Case6.121 nb_sol=0 ticks=221272 tps=100 nb_sec=2212
case_no=133 label=Case6.121 nb_sol=0 ticks=266768 tps=100 nb_sec=2667
case_no=133 label=Case6.121 nb_sol=0 ticks=384733 tps=100 nb_sec=3847
case_no=133 label=Case6.121 nb_sol=0 ticks=486837 tps=100 nb_sec=4868
case_no=133 label=Case6.121 nb_sol=0 ticks=407841 tps=100 nb_sec=4078
case_no=133 label=Case6.121 nb_sol=0 ticks=499595 tps=100 nb_sec=4995
case_no=133 label=Case6.121 nb_sol=0 ticks=604609 tps=100 nb_sec=6046
case_no=133 label=Case6.121 nb_sol=0 ticks=502179 tps=100 nb_sec=5021
case_no=133 label=Case6.121 nb_sol=0 ticks=552142 tps=100 nb_sec=5521
case_no=133 label=Case6.121 nb_sol=0 ticks=597280 tps=100 nb_sec=5972
case_no=133 label=Case6.121 nb_sol=0 ticks=191748 tps=100 nb_sec=1917
case_no=133 label=Case6.121 nb_sol=0 ticks=270433 tps=100 nb_sec=2704
case_no=133 label=Case6.121 nb_sol=0 ticks=287797 tps=100 nb_sec=2877
case_no=133 label=Case6.121 nb_sol=0 ticks=269554 tps=100 nb_sec=2695
case_no=133 label=Case6.121 nb_sol=0 ticks=310863 tps=100 nb_sec=3108
case_no=133 label=Case6.121 nb_sol=0 ticks=211963 tps=100 nb_sec=2119
case_no=133 label=Case6.121 nb_sol=0 ticks=225609 tps=100 nb_sec=2256
case_no=133 label=Case6.121 nb_sol=0 ticks=464896 tps=100 nb_sec=4648
case_no=133 label=Case6.121 nb_sol=0 ticks=569479 tps=100 nb_sec=5694
case_no=133 label=Case6.121 nb_sol=0 ticks=638353 tps=100 nb_sec=6383
case_no=133 label=Case6.121 nb_sol=0 ticks=426135 tps=100 nb_sec=4261
case_no=133 label=Case6.121 nb_sol=0 ticks=392164 tps=100 nb_sec=3921
case_no=133 label=Case6.121 nb_sol=0 ticks=217164 tps=100 nb_sec=2171
case_no=133 label=Case6.121 nb_sol=0 ticks=177572 tps=100 nb_sec=1775
case_no=133 label=Case6.121 nb_sol=0 ticks=304940 tps=100 nb_sec=3049
case_no=133 label=Case6.121 nb_sol=0 ticks=358884 tps=100 nb_sec=3588
case_no=133 label=Case6.121 nb_sol=0 ticks=438091 tps=100 nb_sec=4380
case_no=133 label=Case6.121 nb_sol=0 ticks=413528 tps=100 nb_sec=4135
case_no=133 label=Case6.121 nb_sol=0 ticks=238197 tps=100 nb_sec=2381
case_no=133 label=Case6.121 nb_sol=0 ticks=145709 tps=100 nb_sec=1457
case_no=133 label=Case6.121 nb_sol=0 ticks=266016 tps=100 nb_sec=2660
case_no=133 label=Case6.121 nb_sol=0 ticks=195345 tps=100 nb_sec=1953
case_no=133 label=Case6.121 nb_sol=0 ticks=375339 tps=100 nb_sec=3753
case_no=133 label=Case6.121 nb_sol=0 ticks=310171 tps=100 nb_sec=3101
case_no=133 label=Case6.121 nb_sol=0 ticks=368771 tps=100 nb_sec=3687
case_no=133 label=Case6.121 nb_sol=0 ticks=400140 tps=100 nb_sec=4001
case_no=133 label=Case6.121 nb_sol=0 ticks=259316 tps=100 nb_sec=2593
case_no=133 label=Case6.121 nb_sol=0 ticks=165836 tps=100 nb_sec=1658
case_no=133 label=Case6.121 nb_sol=0 ticks=181940 tps=100 nb_sec=1819
case_no=133 label=Case6.121 nb_sol=0 ticks=279196 tps=100 nb_sec=2791
case_no=133 label=Case6.121 nb_sol=0 ticks=239977 tps=100 nb_sec=2399
case_no=133 label=Case6.121 nb_sol=0 ticks=163585 tps=100 nb_sec=1635
case_no=133 label=Case6.121 nb_sol=0 ticks=221160 tps=100 nb_sec=2211
case_no=133 label=Case6.121 nb_sol=0 ticks=387745 tps=100 nb_sec=3877
case_no=133 label=Case6.121 nb_sol=0 ticks=443605 tps=100 nb_sec=4436
case_no=133 label=Case6.121 nb_sol=0 ticks=521186 tps=100 nb_sec=5211
case_no=133 label=Case6.121 nb_sol=0 ticks=386210 tps=100 nb_sec=3862
case_no=133 label=Case6.121 nb_sol=0 ticks=174247 tps=100 nb_sec=1742
case_no=133 label=Case6.121 nb_sol=0 ticks=375881 tps=100 nb_sec=3758
case_no=133 label=Case6.121 nb_sol=0 ticks=478795 tps=100 nb_sec=4787
case_no=133 label=Case6.121 nb_sol=0 ticks=467746 tps=100 nb_sec=4677
case_no=133 label=Case6.121 nb_sol=0 ticks=246032 tps=100 nb_sec=2460
case_no=133 label=Case6.121 nb_sol=0 ticks=238567 tps=100 nb_sec=2385
case_no=133 label=Case6.121 nb_sol=0 ticks=219372 tps=100 nb_sec=2193
case_no=133 label=Case6.121 nb_sol=0 ticks=399646 tps=100 nb_sec=3996
case_no=133 label=Case6.121 nb_sol=0 ticks=193758 tps=100 nb_sec=1937
case_no=133 label=Case6.121 nb_sol=0 ticks=406742 tps=100 nb_sec=4067
case_no=133 label=Case6.121 nb_sol=0 ticks=221652 tps=100 nb_sec=2216
case_no=133 label=Case6.121 nb_sol=0 ticks=287557 tps=100 nb_sec=2875
case_no=133 label=Case6.121 nb_sol=0 ticks=216141 tps=100 nb_sec=2161
case_no=133 label=Case6.121 nb_sol=0 ticks=217205 tps=100 nb_sec=2172
case_no=133 label=Case6.121 nb_sol=0 ticks=198033 tps=100 nb_sec=1980
case_no=133 label=Case6.121 nb_sol=0 ticks=353574 tps=100 nb_sec=3535
case_no=133 label=Case6.121 nb_sol=0 ticks=222188 tps=100 nb_sec=2221
case_no=133 label=Case6.121 nb_sol=0 ticks=288289 tps=100 nb_sec=2882
case_no=133 label=Case6.121 nb_sol=0 ticks=295715 tps=100 nb_sec=2957
case_no=133 label=Case6.121 nb_sol=0 ticks=381850 tps=100 nb_sec=3818
case_no=133 label=Case6.121 nb_sol=0 ticks=424018 tps=100 nb_sec=4240
case_no=133 label=Case6.121 nb_sol=0 ticks=291554 tps=100 nb_sec=2915
case_no=133 label=Case6.121 nb_sol=0 ticks=455067 tps=100 nb_sec=4550
case_no=133 label=Case6.121 nb_sol=0 ticks=491169 tps=100 nb_sec=4911
case_no=133 label=Case6.121 nb_sol=0 ticks=505139 tps=100 nb_sec=5051
case_no=133 label=Case6.121 nb_sol=0 ticks=239821 tps=100 nb_sec=2398
case_no=133 label=Case6.121 nb_sol=0 ticks=242700 tps=100 nb_sec=2427
case_no=133 label=Case6.121 nb_sol=0 ticks=208879 tps=100 nb_sec=2088
case_no=133 label=Case6.121 nb_sol=0 ticks=224561 tps=100 nb_sec=2245
case_no=133 label=Case6.121 nb_sol=0 ticks=280337 tps=100 nb_sec=2803
case_no=133 label=Case6.121 nb_sol=0 ticks=208871 tps=100 nb_sec=2088
case_no=133 label=Case6.121 nb_sol=0 ticks=263714 tps=100 nb_sec=2637
case_no=133 label=Case6.121 nb_sol=0 ticks=262284 tps=100 nb_sec=2622
case_no=133 label=Case6.121 nb_sol=0 ticks=210789 tps=100 nb_sec=2107
case_no=133 label=Case6.121 nb_sol=0 ticks=193734 tps=100 nb_sec=1937
case_no=133 label=Case6.121 nb_sol=0 ticks=216367 tps=100 nb_sec=2163
case_no=133 label=Case6.121 nb_sol=0 ticks=255476 tps=100 nb_sec=2554
case_no=133 label=Case6.121 nb_sol=0 ticks=205525 tps=100 nb_sec=2055
case_no=133 label=Case6.121 nb_sol=0 ticks=335180 tps=100 nb_sec=3351
case_no=133 label=Case6.121 nb_sol=0 ticks=425706 tps=100 nb_sec=4257
case_no=133 label=Case6.121 nb_sol=0 ticks=330259 tps=100 nb_sec=3302
case_no=133 label=Case6.121 nb_sol=0 ticks=293132 tps=100 nb_sec=2931
case_no=133 label=Case6.121 nb_sol=0 ticks=255605 tps=100 nb_sec=2556
case_no=133 label=Case6.121 nb_sol=0 ticks=219629 tps=100 nb_sec=2196
case_no=133 label=Case6.121 nb_sol=0 ticks=546560 tps=100 nb_sec=5465
case_no=133 label=Case6.121 nb_sol=0 ticks=499286 tps=100 nb_sec=4992
case_no=133 label=Case6.121 nb_sol=0 ticks=529167 tps=100 nb_sec=5291
case_no=133 label=Case6.121 nb_sol=0 ticks=416689 tps=100 nb_sec=4166
case_no=133 label=Case6.121 nb_sol=0 ticks=296467 tps=100 nb_sec=2964
case_no=133 label=Case6.121 nb_sol=0 ticks=419689 tps=100 nb_sec=4196
case_no=133 label=Case6.121 nb_sol=0 ticks=287962 tps=100 nb_sec=2879
case_no=133 label=Case6.121 nb_sol=0 ticks=216746 tps=100 nb_sec=2167
case_no=133 label=Case6.121 nb_sol=0 ticks=172801 tps=100 nb_sec=1728
case_no=133 label=Case6.121 nb_sol=0 ticks=362553 tps=100 nb_sec=3625
case_no=133 label=Case6.121 nb_sol=0 ticks=276066 tps=100 nb_sec=2760
case_no=133 label=Case6.121 nb_sol=0 ticks=441355 tps=100 nb_sec=4413
case_no=133 label=Case6.121 nb_sol=0 ticks=401632 tps=100 nb_sec=4016
case_no=133 label=Case6.121 nb_sol=0 ticks=385198 tps=100 nb_sec=3851
case_no=133 label=Case6.121 nb_sol=0 ticks=353009 tps=100 nb_sec=3530
case_no=133 label=Case6.121 nb_sol=0 ticks=493395 tps=100 nb_sec=4933
case_no=133 label=Case6.121 nb_sol=0 ticks=301160 tps=100 nb_sec=3011
case_no=133 label=Case6.121 nb_sol=0 ticks=419416 tps=100 nb_sec=4194
case_no=133 label=Case6.121 nb_sol=0 ticks=415924 tps=100 nb_sec=4159
case_no=133 label=Case6.121 nb_sol=0 ticks=467635 tps=100 nb_sec=4676
case_no=133 label=Case6.121 nb_sol=0 ticks=407392 tps=100 nb_sec=4073
case_no=133 label=Case6.121 nb_sol=0 ticks=506692 tps=100 nb_sec=5066
case_no=133 label=Case6.121 nb_sol=0 ticks=496306 tps=100 nb_sec=4963
case_no=133 label=Case6.121 nb_sol=0 ticks=187756 tps=100 nb_sec=1877
case_no=133 label=Case6.121 nb_sol=0 ticks=196406 tps=100 nb_sec=1964
case_no=133 label=Case6.121 nb_sol=0 ticks=651215 tps=100 nb_sec=6512
case_no=133 label=Case6.121 nb_sol=0 ticks=292204 tps=100 nb_sec=2922
case_no=133 label=Case6.121 nb_sol=0 ticks=279340 tps=100 nb_sec=2793
case_no=133 label=Case6.121 nb_sol=0 ticks=246147 tps=100 nb_sec=2461
case_no=133 label=Case6.121 nb_sol=0 ticks=187259 tps=100 nb_sec=1872
case_no=133 label=Case6.121 nb_sol=0 ticks=227810 tps=100 nb_sec=2278
case_no=133 label=Case6.121 nb_sol=0 ticks=245876 tps=100 nb_sec=2458
case_no=133 label=Case6.121 nb_sol=0 ticks=269550 tps=100 nb_sec=2695
case_no=133 label=Case6.121 nb_sol=0 ticks=239107 tps=100 nb_sec=2391
case_no=133 label=Case6.121 nb_sol=0 ticks=448532 tps=100 nb_sec=4485
case_no=133 label=Case6.121 nb_sol=0 ticks=484474 tps=100 nb_sec=4844
case_no=133 label=Case6.121 nb_sol=0 ticks=428021 tps=100 nb_sec=4280
case_no=133 label=Case6.121 nb_sol=0 ticks=452188 tps=100 nb_sec=4521
case_no=133 label=Case6.121 nb_sol=0 ticks=486316 tps=100 nb_sec=4863
case_no=133 label=Case6.121 nb_sol=0 ticks=478766 tps=100 nb_sec=4787
case_no=133 label=Case6.121 nb_sol=0 ticks=424344 tps=100 nb_sec=4243
case_no=133 label=Case6.121 nb_sol=0 ticks=392641 tps=100 nb_sec=3926
case_no=133 label=Case6.121 nb_sol=0 ticks=424918 tps=100 nb_sec=4249
case_no=133 label=Case6.121 nb_sol=0 ticks=161273 tps=100 nb_sec=1612
case_no=133 label=Case6.121 nb_sol=0 ticks=180161 tps=100 nb_sec=1801
case_no=133 label=Case6.121 nb_sol=0 ticks=247305 tps=100 nb_sec=2473
case_no=133 label=Case6.121 nb_sol=0 ticks=231951 tps=100 nb_sec=2319
case_no=133 label=Case6.121 nb_sol=0 ticks=283368 tps=100 nb_sec=2833
case_no=133 label=Case6.121 nb_sol=0 ticks=413118 tps=100 nb_sec=4131
case_no=133 label=Case6.121 nb_sol=0 ticks=182168 tps=100 nb_sec=1821
case_no=133 label=Case6.121 nb_sol=0 ticks=472575 tps=100 nb_sec=4725
case_no=133 label=Case6.121 nb_sol=0 ticks=283033 tps=100 nb_sec=2830
case_no=133 label=Case6.121 nb_sol=0 ticks=441762 tps=100 nb_sec=4417
case_no=133 label=Case6.121 nb_sol=0 ticks=328837 tps=100 nb_sec=3288
case_no=133 label=Case6.121 nb_sol=0 ticks=403379 tps=100 nb_sec=4033
case_no=133 label=Case6.121 nb_sol=0 ticks=582889 tps=100 nb_sec=5828
case_no=133 label=Case6.121 nb_sol=0 ticks=470527 tps=100 nb_sec=4705
case_no=133 label=Case6.121 nb_sol=0 ticks=526261 tps=100 nb_sec=5262
case_no=133 label=Case6.121 nb_sol=0 ticks=346914 tps=100 nb_sec=3469
case_no=133 label=Case6.121 nb_sol=0 ticks=416837 tps=100 nb_sec=4168
case_no=133 label=Case6.121 nb_sol=0 ticks=526864 tps=100 nb_sec=5268
case_no=133 label=Case6.121 nb_sol=0 ticks=642848 tps=100 nb_sec=6428
case_no=133 label=Case6.121 nb_sol=0 ticks=342316 tps=100 nb_sec=3423
case_no=133 label=Case6.121 nb_sol=0 ticks=548941 tps=100 nb_sec=5489
case_no=133 label=Case6.121 nb_sol=0 ticks=155921 tps=100 nb_sec=1559
case_no=133 label=Case6.121 nb_sol=0 ticks=392361 tps=100 nb_sec=3923
case_no=133 label=Case6.121 nb_sol=0 ticks=386519 tps=100 nb_sec=3865
case_no=133 label=Case6.121 nb_sol=0 ticks=148956 tps=100 nb_sec=1489
case_no=133 label=Case6.121 nb_sol=0 ticks=353660 tps=100 nb_sec=3536
case_no=133 label=Case6.121 nb_sol=0 ticks=386457 tps=100 nb_sec=3864
case_no=133 label=Case6.121 nb_sol=0 ticks=315671 tps=100 nb_sec=3156
case_no=133 label=Case6.121 nb_sol=0 ticks=380431 tps=100 nb_sec=3804
case_no=133 label=Case6.121 nb_sol=0 ticks=464324 tps=100 nb_sec=4643
case_no=133 label=Case6.121 nb_sol=0 ticks=348690 tps=100 nb_sec=3486
case_no=133 label=Case6.121 nb_sol=0 ticks=611925 tps=100 nb_sec=6119
case_no=133 label=Case6.121 nb_sol=0 ticks=285085 tps=100 nb_sec=2850
case_no=133 label=Case6.121 nb_sol=0 ticks=215797 tps=100 nb_sec=2157
case_no=133 label=Case6.121 nb_sol=0 ticks=250685 tps=100 nb_sec=2506
case_no=133 label=Case6.121 nb_sol=0 ticks=454873 tps=100 nb_sec=4548
case_no=133 label=Case6.121 nb_sol=0 ticks=194869 tps=100 nb_sec=1948
case_no=133 label=Case6.121 nb_sol=0 ticks=381664 tps=100 nb_sec=3816
case_no=133 label=Case6.121 nb_sol=0 ticks=301043 tps=100 nb_sec=3010
case_no=133 label=Case6.121 nb_sol=0 ticks=363443 tps=100 nb_sec=3634
case_no=133 label=Case6.121 nb_sol=0 ticks=303623 tps=100 nb_sec=3036
case_no=133 label=Case6.121 nb_sol=0 ticks=395458 tps=100 nb_sec=3954
case_no=133 label=Case6.121 nb_sol=0 ticks=510818 tps=100 nb_sec=5108
case_no=133 label=Case6.121 nb_sol=0 ticks=326091 tps=100 nb_sec=3260
case_no=133 label=Case6.121 nb_sol=0 ticks=458478 tps=100 nb_sec=4584
case_no=133 label=Case6.121 nb_sol=0 ticks=384804 tps=100 nb_sec=3848
case_no=133 label=Case6.121 nb_sol=0 ticks=281590 tps=100 nb_sec=2815
case_no=133 label=Case6.121 nb_sol=0 ticks=246937 tps=100 nb_sec=2469
case_no=133 label=Case6.121 nb_sol=0 ticks=162896 tps=100 nb_sec=1628
case_no=133 label=Case6.121 nb_sol=0 ticks=169061 tps=100 nb_sec=1690
case_no=133 label=Case6.121 nb_sol=0 ticks=143058 tps=100 nb_sec=1430
case_no=133 label=Case6.121 nb_sol=0 ticks=199922 tps=100 nb_sec=1999
case_no=133 label=Case6.121 nb_sol=0 ticks=193893 tps=100 nb_sec=1938
case_no=133 label=Case6.121 nb_sol=0 ticks=175717 tps=100 nb_sec=1757
case_no=133 label=Case6.121 nb_sol=0 ticks=562742 tps=100 nb_sec=5627
case_no=133 label=Case6.121 nb_sol=0 ticks=251156 tps=100 nb_sec=2511
case_no=133 label=Case6.121 nb_sol=0 ticks=299943 tps=100 nb_sec=2999
case_no=133 label=Case6.121 nb_sol=0 ticks=405022 tps=100 nb_sec=4050
case_no=133 label=Case6.121 nb_sol=0 ticks=394206 tps=100 nb_sec=3942
case_no=133 label=Case6.121 nb_sol=0 ticks=422058 tps=100 nb_sec=4220
case_no=133 label=Case6.121 nb_sol=0 ticks=330416 tps=100 nb_sec=3304
case_no=133 label=Case6.121 nb_sol=0 ticks=266913 tps=100 nb_sec=2669
case_no=133 label=Case6.121 nb_sol=0 ticks=275327 tps=100 nb_sec=2753
case_no=133 label=Case6.121 nb_sol=0 ticks=270461 tps=100 nb_sec=2704
case_no=133 label=Case6.121 nb_sol=0 ticks=379262 tps=100 nb_sec=3792
case_no=133 label=Case6.121 nb_sol=0 ticks=332981 tps=100 nb_sec=3329
case_no=133 label=Case6.121 nb_sol=0 ticks=272344 tps=100 nb_sec=2723
case_no=133 label=Case6.121 nb_sol=0 ticks=186950 tps=100 nb_sec=1869
case_no=133 label=Case6.121 nb_sol=0 ticks=208011 tps=100 nb_sec=2080
case_no=133 label=Case6.121 nb_sol=0 ticks=242429 tps=100 nb_sec=2424
case_no=133 label=Case6.121 nb_sol=0 ticks=216127 tps=100 nb_sec=2161
case_no=133 label=Case6.121 nb_sol=0 ticks=279339 tps=100 nb_sec=2793
case_no=133 label=Case6.121 nb_sol=0 ticks=200067 tps=100 nb_sec=2000
case_no=133 label=Case6.121 nb_sol=0 ticks=444672 tps=100 nb_sec=4446
case_no=133 label=Case6.121 nb_sol=0 ticks=358513 tps=100 nb_sec=3585
case_no=133 label=Case6.121 nb_sol=0 ticks=326689 tps=100 nb_sec=3266
case_no=133 label=Case6.121 nb_sol=0 ticks=371498 tps=100 nb_sec=3714
case_no=133 label=Case6.121 nb_sol=0 ticks=442686 tps=100 nb_sec=4426
case_no=133 label=Case6.121 nb_sol=0 ticks=424943 tps=100 nb_sec=4249
case_no=133 label=Case6.121 nb_sol=0 ticks=353728 tps=100 nb_sec=3537
case_no=133 label=Case6.121 nb_sol=0 ticks=382751 tps=100 nb_sec=3827
case_no=133 label=Case6.121 nb_sol=0 ticks=163663 tps=100 nb_sec=1636
case_no=133 label=Case6.121 nb_sol=0 ticks=407244 tps=100 nb_sec=4072
case_no=133 label=Case6.121 nb_sol=0 ticks=219466 tps=100 nb_sec=2194
case_no=133 label=Case6.121 nb_sol=0 ticks=260480 tps=100 nb_sec=2604
case_no=133 label=Case6.121 nb_sol=0 ticks=289318 tps=100 nb_sec=2893
case_no=133 label=Case6.121 nb_sol=0 ticks=234188 tps=100 nb_sec=2341
case_no=133 label=Case6.121 nb_sol=0 ticks=210619 tps=100 nb_sec=2106
case_no=133 label=Case6.121 nb_sol=0 ticks=229000 tps=100 nb_sec=2290
case_no=133 label=Case6.121 nb_sol=0 ticks=261975 tps=100 nb_sec=2619
case_no=133 label=Case6.121 nb_sol=0 ticks=267187 tps=100 nb_sec=2671
case_no=133 label=Case6.121 nb_sol=0 ticks=223125 tps=100 nb_sec=2231
case_no=133 label=Case6.121 nb_sol=0 ticks=213280 tps=100 nb_sec=2132
case_no=133 label=Case6.121 nb_sol=0 ticks=357004 tps=100 nb_sec=3570
case_no=133 label=Case6.121 nb_sol=0 ticks=221668 tps=100 nb_sec=2216
case_no=133 label=Case6.121 nb_sol=0 ticks=235673 tps=100 nb_sec=2356
case_no=133 label=Case6.121 nb_sol=0 ticks=490766 tps=100 nb_sec=4907
case_no=133 label=Case6.121 nb_sol=0 ticks=395202 tps=100 nb_sec=3952
case_no=133 label=Case6.121 nb_sol=0 ticks=318879 tps=100 nb_sec=3188
case_no=133 label=Case6.121 nb_sol=0 ticks=224103 tps=100 nb_sec=2241
case_no=133 label=Case6.121 nb_sol=0 ticks=410459 tps=100 nb_sec=4104
case_no=133 label=Case6.121 nb_sol=0 ticks=217632 tps=100 nb_sec=2176
case_no=133 label=Case6.121 nb_sol=0 ticks=331221 tps=100 nb_sec=3312
case_no=133 label=Case6.121 nb_sol=0 ticks=276520 tps=100 nb_sec=2765
case_no=133 label=Case6.121 nb_sol=0 ticks=487822 tps=100 nb_sec=4878
case_no=133 label=Case6.121 nb_sol=0 ticks=405829 tps=100 nb_sec=4058
case_no=133 label=Case6.121 nb_sol=0 ticks=429116 tps=100 nb_sec=4291
case_no=133 label=Case6.121 nb_sol=0 ticks=387734 tps=100 nb_sec=3877
case_no=133 label=Case6.121 nb_sol=0 ticks=440038 tps=100 nb_sec=4400
case_no=133 label=Case6.121 nb_sol=0 ticks=387573 tps=100 nb_sec=3875
case_no=133 label=Case6.121 nb_sol=0 ticks=478145 tps=100 nb_sec=4781
case_no=133 label=Case6.121 nb_sol=0 ticks=424848 tps=100 nb_sec=4248
case_no=133 label=Case6.121 nb_sol=0 ticks=399993 tps=100 nb_sec=3999
case_no=133 label=Case6.121 nb_sol=0 ticks=180529 tps=100 nb_sec=1805
case_no=133 label=Case6.121 nb_sol=0 ticks=261149 tps=100 nb_sec=2611
case_no=133 label=Case6.121 nb_sol=0 ticks=260972 tps=100 nb_sec=2609
case_no=133 label=Case6.121 nb_sol=0 ticks=276275 tps=100 nb_sec=2762
case_no=133 label=Case6.121 nb_sol=0 ticks=386404 tps=100 nb_sec=3864
case_no=133 label=Case6.121 nb_sol=0 ticks=315915 tps=100 nb_sec=3159
case_no=133 label=Case6.121 nb_sol=0 ticks=346951 tps=100 nb_sec=3469
case_no=133 label=Case6.121 nb_sol=0 ticks=165669 tps=100 nb_sec=1656
case_no=133 label=Case6.121 nb_sol=0 ticks=221471 tps=100 nb_sec=2214
case_no=133 label=Case6.121 nb_sol=0 ticks=406182 tps=100 nb_sec=4061
case_no=133 label=Case6.121 nb_sol=0 ticks=169673 tps=100 nb_sec=1696
case_no=133 label=Case6.121 nb_sol=0 ticks=489957 tps=100 nb_sec=4899
case_no=133 label=Case6.121 nb_sol=0 ticks=338230 tps=100 nb_sec=3382
case_no=133 label=Case6.121 nb_sol=0 ticks=345368 tps=100 nb_sec=3453
case_no=133 label=Case6.121 nb_sol=0 ticks=367111 tps=100 nb_sec=3671
case_no=133 label=Case6.121 nb_sol=0 ticks=234386 tps=100 nb_sec=2343
case_no=133 label=Case6.121 nb_sol=0 ticks=300039 tps=100 nb_sec=3000
case_no=133 label=Case6.121 nb_sol=0 ticks=260317 tps=100 nb_sec=2603
case_no=133 label=Case6.121 nb_sol=0 ticks=459461 tps=100 nb_sec=4594
case_no=133 label=Case6.121 nb_sol=0 ticks=176509 tps=100 nb_sec=1765
case_no=133 label=Case6.121 nb_sol=0 ticks=497613 tps=100 nb_sec=4976
case_no=133 label=Case6.121 nb_sol=0 ticks=193097 tps=100 nb_sec=1930
case_no=133 label=Case6.121 nb_sol=0 ticks=188179 tps=100 nb_sec=1881
case_no=133 label=Case6.121 nb_sol=0 ticks=398219 tps=100 nb_sec=3982
case_no=133 label=Case6.121 nb_sol=0 ticks=368600 tps=100 nb_sec=3686
case_no=133 label=Case6.121 nb_sol=0 ticks=249384 tps=100 nb_sec=2493
case_no=133 label=Case6.121 nb_sol=0 ticks=170213 tps=100 nb_sec=1702
case_no=133 label=Case6.121 nb_sol=0 ticks=518299 tps=100 nb_sec=5182
case_no=133 label=Case6.121 nb_sol=0 ticks=463433 tps=100 nb_sec=4634
case_no=133 label=Case6.121 nb_sol=0 ticks=259184 tps=100 nb_sec=2591
case_no=133 label=Case6.121 nb_sol=0 ticks=255092 tps=100 nb_sec=2550
case_no=133 label=Case6.121 nb_sol=0 ticks=169267 tps=100 nb_sec=1692
case_no=133 label=Case6.121 nb_sol=0 ticks=410400 tps=100 nb_sec=4104
case_no=133 label=Case6.121 nb_sol=0 ticks=184305 tps=100 nb_sec=1843
case_no=133 label=Case6.121 nb_sol=0 ticks=272669 tps=100 nb_sec=2726
case_no=133 label=Case6.121 nb_sol=0 ticks=166074 tps=100 nb_sec=1660
case_no=133 label=Case6.121 nb_sol=0 ticks=180610 tps=100 nb_sec=1806
case_no=133 label=Case6.121 nb_sol=0 ticks=137305 tps=100 nb_sec=1373
case_no=133 label=Case6.121 nb_sol=0 ticks=108266 tps=100 nb_sec=1082
case_no=133 label=Case6.121 nb_sol=0 ticks=196568 tps=100 nb_sec=1965
case_no=133 label=Case6.121 nb_sol=0 ticks=146806 tps=100 nb_sec=1468
case_no=133 label=Case6.121 nb_sol=0 ticks=143411 tps=100 nb_sec=1434
case_no=133 label=Case6.121 nb_sol=0 ticks=197049 tps=100 nb_sec=1970
case_no=133 label=Case6.121 nb_sol=0 ticks=143858 tps=100 nb_sec=1438
case_no=133 label=Case6.121 nb_sol=0 ticks=136037 tps=100 nb_sec=1360
case_no=133 label=Case6.121 nb_sol=0 ticks=111596 tps=100 nb_sec=1115
case_no=133 label=Case6.121 nb_sol=0 ticks=197141 tps=100 nb_sec=1971
case_no=133 label=Case6.121 nb_sol=0 ticks=169574 tps=100 nb_sec=1695
case_no=133 label=Case6.121 nb_sol=0 ticks=245871 tps=100 nb_sec=2458
case_no=133 label=Case6.121 nb_sol=0 ticks=172064 tps=100 nb_sec=1720
case_no=133 label=Case6.121 nb_sol=0 ticks=300640 tps=100 nb_sec=3006
case_no=133 label=Case6.121 nb_sol=0 ticks=432784 tps=100 nb_sec=4327
case_no=133 label=Case6.121 nb_sol=0 ticks=295403 tps=100 nb_sec=2954
case_no=133 label=Case6.121 nb_sol=0 ticks=368578 tps=100 nb_sec=3685
case_no=133 label=Case6.121 nb_sol=0 ticks=286946 tps=100 nb_sec=2869
case_no=133 label=Case6.121 nb_sol=0 ticks=464035 tps=100 nb_sec=4640
case_no=133 label=Case6.121 nb_sol=0 ticks=294153 tps=100 nb_sec=2941
case_no=133 label=Case6.121 nb_sol=0 ticks=320842 tps=100 nb_sec=3208
case_no=133 label=Case6.121 nb_sol=0 ticks=514266 tps=100 nb_sec=5142
case_no=133 label=Case6.121 nb_sol=0 ticks=218765 tps=100 nb_sec=2187
case_no=133 label=Case6.121 nb_sol=0 ticks=225710 tps=100 nb_sec=2257
case_no=133 label=Case6.121 nb_sol=0 ticks=336524 tps=100 nb_sec=3365
case_no=133 label=Case6.121 nb_sol=0 ticks=201638 tps=100 nb_sec=2016
case_no=133 label=Case6.121 nb_sol=0 ticks=247042 tps=100 nb_sec=2470
case_no=133 label=Case6.121 nb_sol=0 ticks=182994 tps=100 nb_sec=1829
case_no=133 label=Case6.121 nb_sol=0 ticks=149734 tps=100 nb_sec=1497
case_no=133 label=Case6.121 nb_sol=0 ticks=399485 tps=100 nb_sec=3994
case_no=133 label=Case6.121 nb_sol=0 ticks=316378 tps=100 nb_sec=3163
case_no=133 label=Case6.121 nb_sol=0 ticks=359291 tps=100 nb_sec=3592
case_no=133 label=Case6.121 nb_sol=0 ticks=312909 tps=100 nb_sec=3129
case_no=133 label=Case6.121 nb_sol=0 ticks=407835 tps=100 nb_sec=4078
case_no=133 label=Case6.121 nb_sol=0 ticks=250537 tps=100 nb_sec=2505
case_no=133 label=Case6.121 nb_sol=0 ticks=502924 tps=100 nb_sec=5029
case_no=133 label=Case6.121 nb_sol=0 ticks=296931 tps=100 nb_sec=2969
case_no=133 label=Case6.121 nb_sol=0 ticks=335720 tps=100 nb_sec=3357
case_no=133 label=Case6.121 nb_sol=0 ticks=391109 tps=100 nb_sec=3911
case_no=133 label=Case6.121 nb_sol=0 ticks=164589 tps=100 nb_sec=1645
case_no=133 label=Case6.121 nb_sol=0 ticks=465893 tps=100 nb_sec=4658
case_no=133 label=Case6.121 nb_sol=0 ticks=378247 tps=100 nb_sec=3782
case_no=133 label=Case6.121 nb_sol=0 ticks=215647 tps=100 nb_sec=2156
case_no=133 label=Case6.121 nb_sol=0 ticks=372432 tps=100 nb_sec=3724
case_no=133 label=Case6.121 nb_sol=0 ticks=335391 tps=100 nb_sec=3353
case_no=133 label=Case6.121 nb_sol=0 ticks=318293 tps=100 nb_sec=3182
case_no=133 label=Case6.121 nb_sol=0 ticks=214972 tps=100 nb_sec=2149
case_no=133 label=Case6.121 nb_sol=0 ticks=362562 tps=100 nb_sec=3625
case_no=133 label=Case6.121 nb_sol=0 ticks=204757 tps=100 nb_sec=2047
case_no=133 label=Case6.121 nb_sol=0 ticks=177886 tps=100 nb_sec=1778
case_no=133 label=Case6.121 nb_sol=0 ticks=205253 tps=100 nb_sec=2052
case_no=133 label=Case6.121 nb_sol=0 ticks=260746 tps=100 nb_sec=2607
case_no=133 label=Case6.121 nb_sol=0 ticks=274012 tps=100 nb_sec=2740
case_no=133 label=Case6.121 nb_sol=0 ticks=255060 tps=100 nb_sec=2550
case_no=133 label=Case6.121 nb_sol=0 ticks=374655 tps=100 nb_sec=3746
case_no=133 label=Case6.121 nb_sol=0 ticks=250026 tps=100 nb_sec=2500
case_no=133 label=Case6.121 nb_sol=0 ticks=248130 tps=100 nb_sec=2481
case_no=133 label=Case6.121 nb_sol=0 ticks=222864 tps=100 nb_sec=2228
case_no=133 label=Case6.121 nb_sol=0 ticks=210199 tps=100 nb_sec=2101
case_no=133 label=Case6.121 nb_sol=0 ticks=201417 tps=100 nb_sec=2014
case_no=133 label=Case6.121 nb_sol=0 ticks=195280 tps=100 nb_sec=1952
case_no=133 label=Case6.121 nb_sol=0 ticks=325704 tps=100 nb_sec=3257
case_no=133 label=Case6.121 nb_sol=0 ticks=348645 tps=100 nb_sec=3486
case_no=133 label=Case6.121 nb_sol=0 ticks=301845 tps=100 nb_sec=3018
case_no=133 label=Case6.121 nb_sol=0 ticks=286088 tps=100 nb_sec=2860
case_no=133 label=Case6.121 nb_sol=0 ticks=289121 tps=100 nb_sec=2891
case_no=133 label=Case6.121 nb_sol=0 ticks=380420 tps=100 nb_sec=3804
case_no=133 label=Case6.121 nb_sol=0 ticks=298271 tps=100 nb_sec=2982
case_no=133 label=Case6.121 nb_sol=0 ticks=369075 tps=100 nb_sec=3690
case_no=133 label=Case6.121 nb_sol=0 ticks=275941 tps=100 nb_sec=2759
case_no=133 label=Case6.121 nb_sol=0 ticks=246571 tps=100 nb_sec=2465
case_no=133 label=Case6.121 nb_sol=0 ticks=318094 tps=100 nb_sec=3180
case_no=133 label=Case6.121 nb_sol=0 ticks=309681 tps=100 nb_sec=3096
case_no=133 label=Case6.121 nb_sol=0 ticks=170580 tps=100 nb_sec=1705
case_no=133 label=Case6.121 nb_sol=0 ticks=221469 tps=100 nb_sec=2214
case_no=133 label=Case6.121 nb_sol=0 ticks=248734 tps=100 nb_sec=2487
case_no=133 label=Case6.121 nb_sol=0 ticks=289205 tps=100 nb_sec=2892
case_no=133 label=Case6.121 nb_sol=0 ticks=226256 tps=100 nb_sec=2262
case_no=133 label=Case6.121 nb_sol=0 ticks=129824 tps=100 nb_sec=1298
case_no=133 label=Case6.121 nb_sol=0 ticks=162964 tps=100 nb_sec=1629
case_no=133 label=Case6.121 nb_sol=0 ticks=173907 tps=100 nb_sec=1739
case_no=133 label=Case6.121 nb_sol=0 ticks=250963 tps=100 nb_sec=2509
case_no=133 label=Case6.121 nb_sol=0 ticks=301754 tps=100 nb_sec=3017
case_no=133 label=Case6.121 nb_sol=0 ticks=220053 tps=100 nb_sec=2200
case_no=133 label=Case6.121 nb_sol=0 ticks=141363 tps=100 nb_sec=1413
case_no=133 label=Case6.121 nb_sol=0 ticks=143980 tps=100 nb_sec=1439
case_no=133 label=Case6.121 nb_sol=0 ticks=270700 tps=100 nb_sec=2707
case_no=133 label=Case6.121 nb_sol=0 ticks=134271 tps=100 nb_sec=1342
case_no=133 label=Case6.121 nb_sol=0 ticks=205155 tps=100 nb_sec=2051
case_no=133 label=Case6.121 nb_sol=0 ticks=373391 tps=100 nb_sec=3733
case_no=133 label=Case6.121 nb_sol=0 ticks=270379 tps=100 nb_sec=2703
case_no=133 label=Case6.121 nb_sol=0 ticks=346359 tps=100 nb_sec=3463
case_no=133 label=Case6.121 nb_sol=0 ticks=118814 tps=100 nb_sec=1188
case_no=133 label=Case6.121 nb_sol=0 ticks=242635 tps=100 nb_sec=2426
case_no=133 label=Case6.121 nb_sol=0 ticks=242409 tps=100 nb_sec=2424
case_no=133 label=Case6.121 nb_sol=0 ticks=159691 tps=100 nb_sec=1596
case_no=133 label=Case6.121 nb_sol=0 ticks=330957 tps=100 nb_sec=3309
case_no=133 label=Case6.121 nb_sol=0 ticks=142544 tps=100 nb_sec=1425
case_no=133 label=Case6.121 nb_sol=0 ticks=251280 tps=100 nb_sec=2512
case_no=133 label=Case6.121 nb_sol=0 ticks=118843 tps=100 nb_sec=1188
case_no=133 label=Case6.121 nb_sol=0 ticks=137078 tps=100 nb_sec=1370
case_no=133 label=Case6.121 nb_sol=0 ticks=115287 tps=100 nb_sec=1152
case_no=133 label=Case6.121 nb_sol=0 ticks=329249 tps=100 nb_sec=3292
case_no=133 label=Case6.121 nb_sol=0 ticks=272019 tps=100 nb_sec=2720
case_no=133 label=Case6.121 nb_sol=0 ticks=138499 tps=100 nb_sec=1384
case_no=133 label=Case6.121 nb_sol=0 ticks=142605 tps=100 nb_sec=1426
case_no=133 label=Case6.121 nb_sol=0 ticks=241241 tps=100 nb_sec=2412
case_no=133 label=Case6.121 nb_sol=0 ticks=164959 tps=100 nb_sec=1649
case_no=133 label=Case6.121 nb_sol=0 ticks=245932 tps=100 nb_sec=2459
case_no=133 label=Case6.121 nb_sol=0 ticks=106872 tps=100 nb_sec=1068
case_no=133 label=Case6.121 nb_sol=0 ticks=128259 tps=100 nb_sec=1282
case_no=133 label=Case6.121 nb_sol=0 ticks=127398 tps=100 nb_sec=1273
case_no=133 label=Case6.121 nb_sol=0 ticks=165353 tps=100 nb_sec=1653
case_no=133 label=Case6.121 nb_sol=0 ticks=287801 tps=100 nb_sec=2878
case_no=133 label=Case6.121 nb_sol=0 ticks=136956 tps=100 nb_sec=1369
case_no=133 label=Case6.121 nb_sol=0 ticks=213584 tps=100 nb_sec=2135
case_no=133 label=Case6.121 nb_sol=0 ticks=353213 tps=100 nb_sec=3532
case_no=133 label=Case6.121 nb_sol=0 ticks=249396 tps=100 nb_sec=2493
case_no=133 label=Case6.121 nb_sol=0 ticks=205004 tps=100 nb_sec=2050
case_no=133 label=Case6.121 nb_sol=0 ticks=128537 tps=100 nb_sec=1285
case_no=133 label=Case6.121 nb_sol=0 ticks=187348 tps=100 nb_sec=1873
case_no=133 label=Case6.121 nb_sol=0 ticks=192775 tps=100 nb_sec=1927
case_no=133 label=Case6.121 nb_sol=0 ticks=330853 tps=100 nb_sec=3308
case_no=133 label=Case6.121 nb_sol=0 ticks=181592 tps=100 nb_sec=1815
case_no=133 label=Case6.121 nb_sol=0 ticks=325015 tps=100 nb_sec=3250
case_no=133 label=Case6.121 nb_sol=0 ticks=422586 tps=100 nb_sec=4225
case_no=133 label=Case6.121 nb_sol=0 ticks=392866 tps=100 nb_sec=3928
case_no=133 label=Case6.121 nb_sol=0 ticks=290144 tps=100 nb_sec=2901
case_no=133 label=Case6.121 nb_sol=0 ticks=136328 tps=100 nb_sec=1363
case_no=133 label=Case6.121 nb_sol=0 ticks=293454 tps=100 nb_sec=2934
case_no=133 label=Case6.121 nb_sol=0 ticks=328744 tps=100 nb_sec=3287
case_no=133 label=Case6.121 nb_sol=0 ticks=335066 tps=100 nb_sec=3350
case_no=133 label=Case6.121 nb_sol=0 ticks=218205 tps=100 nb_sec=2182
case_no=133 label=Case6.121 nb_sol=0 ticks=150450 tps=100 nb_sec=1504
case_no=133 label=Case6.121 nb_sol=0 ticks=155029 tps=100 nb_sec=1550
case_no=133 label=Case6.121 nb_sol=0 ticks=342494 tps=100 nb_sec=3424
case_no=133 label=Case6.121 nb_sol=0 ticks=347455 tps=100 nb_sec=3474
case_no=133 label=Case6.121 nb_sol=0 ticks=202637 tps=100 nb_sec=2026
case_no=133 label=Case6.121 nb_sol=0 ticks=273051 tps=100 nb_sec=2730
case_no=133 label=Case6.121 nb_sol=0 ticks=152836 tps=100 nb_sec=1528
case_no=133 label=Case6.121 nb_sol=0 ticks=306500 tps=100 nb_sec=3065
case_no=133 label=Case6.121 nb_sol=0 ticks=122488 tps=100 nb_sec=1224
case_no=133 label=Case6.121 nb_sol=0 ticks=277205 tps=100 nb_sec=2772
case_no=133 label=Case6.121 nb_sol=0 ticks=190881 tps=100 nb_sec=1908
case_no=133 label=Case6.121 nb_sol=0 ticks=166441 tps=100 nb_sec=1664
case_no=133 label=Case6.121 nb_sol=0 ticks=136130 tps=100 nb_sec=1361
case_no=133 label=Case6.121 nb_sol=0 ticks=187625 tps=100 nb_sec=1876
case_no=133 label=Case6.121 nb_sol=0 ticks=399056 tps=100 nb_sec=3990
case_no=133 label=Case6.121 nb_sol=0 ticks=198793 tps=100 nb_sec=1987
case_no=133 label=Case6.121 nb_sol=0 ticks=381170 tps=100 nb_sec=3811
case_no=133 label=Case6.121 nb_sol=0 ticks=168684 tps=100 nb_sec=1686
case_no=133 label=Case6.121 nb_sol=0 ticks=318289 tps=100 nb_sec=3182
case_no=133 label=Case6.121 nb_sol=0 ticks=146763 tps=100 nb_sec=1467
case_no=133 label=Case6.121 nb_sol=0 ticks=298412 tps=100 nb_sec=2984
case_no=133 label=Case6.121 nb_sol=0 ticks=270559 tps=100 nb_sec=2705
case_no=133 label=Case6.121 nb_sol=0 ticks=310360 tps=100 nb_sec=3103
case_no=133 label=Case6.121 nb_sol=0 ticks=391787 tps=100 nb_sec=3917
case_no=133 label=Case6.121 nb_sol=0 ticks=360356 tps=100 nb_sec=3603
case_no=133 label=Case6.121 nb_sol=0 ticks=390607 tps=100 nb_sec=3906
case_no=133 label=Case6.121 nb_sol=0 ticks=294401 tps=100 nb_sec=2944
case_no=133 label=Case6.121 nb_sol=0 ticks=315530 tps=100 nb_sec=3155
case_no=133 label=Case6.121 nb_sol=0 ticks=388427 tps=100 nb_sec=3884
case_no=133 label=Case6.121 nb_sol=0 ticks=319436 tps=100 nb_sec=3194
case_no=133 label=Case6.121 nb_sol=0 ticks=208311 tps=100 nb_sec=2083
case_no=133 label=Case6.121 nb_sol=0 ticks=319211 tps=100 nb_sec=3192
case_no=133 label=Case6.121 nb_sol=0 ticks=163833 tps=100 nb_sec=1638
case_no=133 label=Case6.121 nb_sol=0 ticks=270773 tps=100 nb_sec=2707
case_no=133 label=Case6.121 nb_sol=0 ticks=180465 tps=100 nb_sec=1804
case_no=133 label=Case6.121 nb_sol=0 ticks=189017 tps=100 nb_sec=1890
case_no=133 label=Case6.121 nb_sol=0 ticks=294541 tps=100 nb_sec=2945
case_no=133 label=Case6.121 nb_sol=0 ticks=153195 tps=100 nb_sec=1531
case_no=133 label=Case6.121 nb_sol=0 ticks=364651 tps=100 nb_sec=3646
case_no=133 label=Case6.121 nb_sol=0 ticks=156672 tps=100 nb_sec=1566
case_no=133 label=Case6.121 nb_sol=0 ticks=317858 tps=100 nb_sec=3178
case_no=133 label=Case6.121 nb_sol=0 ticks=297396 tps=100 nb_sec=2973
case_no=133 label=Case6.121 nb_sol=0 ticks=307824 tps=100 nb_sec=3078
case_no=133 label=Case6.121 nb_sol=0 ticks=327632 tps=100 nb_sec=3276
case_no=133 label=Case6.121 nb_sol=0 ticks=286573 tps=100 nb_sec=2865
case_no=133 label=Case6.121 nb_sol=0 ticks=292226 tps=100 nb_sec=2922
case_no=133 label=Case6.121 nb_sol=0 ticks=467638 tps=100 nb_sec=4676
case_no=133 label=Case6.121 nb_sol=0 ticks=347879 tps=100 nb_sec=3478
case_no=133 label=Case6.121 nb_sol=0 ticks=279679 tps=100 nb_sec=2796
case_no=133 label=Case6.121 nb_sol=0 ticks=204582 tps=100 nb_sec=2045
case_no=133 label=Case6.121 nb_sol=0 ticks=581107 tps=100 nb_sec=5811
case_no=133 label=Case6.121 nb_sol=0 ticks=300746 tps=100 nb_sec=3007
case_no=133 label=Case6.121 nb_sol=0 ticks=208949 tps=100 nb_sec=2089
case_no=133 label=Case6.121 nb_sol=0 ticks=566294 tps=100 nb_sec=5662
case_no=133 label=Case6.121 nb_sol=0 ticks=336415 tps=100 nb_sec=3364
case_no=133 label=Case6.121 nb_sol=0 ticks=334556 tps=100 nb_sec=3345
case_no=133 label=Case6.121 nb_sol=0 ticks=231823 tps=100 nb_sec=2318
case_no=133 label=Case6.121 nb_sol=0 ticks=344361 tps=100 nb_sec=3443
case_no=133 label=Case6.121 nb_sol=0 ticks=319904 tps=100 nb_sec=3199
case_no=133 label=Case6.121 nb_sol=0 ticks=187343 tps=100 nb_sec=1873
case_no=133 label=Case6.121 nb_sol=0 ticks=142676 tps=100 nb_sec=1426
case_no=133 label=Case6.121 nb_sol=0 ticks=114507 tps=100 nb_sec=1145
case_no=133 label=Case6.121 nb_sol=0 ticks=106995 tps=100 nb_sec=1069
case_no=133 label=Case6.121 nb_sol=0 ticks=194833 tps=100 nb_sec=1948
case_no=133 label=Case6.121 nb_sol=0 ticks=161112 tps=100 nb_sec=1611
case_no=133 label=Case6.121 nb_sol=0 ticks=439062 tps=100 nb_sec=4390
case_no=133 label=Case6.121 nb_sol=0 ticks=208242 tps=100 nb_sec=2082
case_no=133 label=Case6.121 nb_sol=0 ticks=398374 tps=100 nb_sec=3983
case_no=133 label=Case6.121 nb_sol=0 ticks=268460 tps=100 nb_sec=2684
case_no=133 label=Case6.121 nb_sol=0 ticks=243213 tps=100 nb_sec=2432
case_no=133 label=Case6.121 nb_sol=0 ticks=190256 tps=100 nb_sec=1902
case_no=133 label=Case6.121 nb_sol=0 ticks=296364 tps=100 nb_sec=2963
case_no=133 label=Case6.121 nb_sol=0 ticks=183070 tps=100 nb_sec=1830
case_no=133 label=Case6.121 nb_sol=0 ticks=270423 tps=100 nb_sec=2704
case_no=133 label=Case6.121 nb_sol=0 ticks=342393 tps=100 nb_sec=3423
case_no=133 label=Case6.121 nb_sol=0 ticks=335903 tps=100 nb_sec=3359
case_no=133 label=Case6.121 nb_sol=0 ticks=364730 tps=100 nb_sec=3647
case_no=133 label=Case6.121 nb_sol=0 ticks=508780 tps=100 nb_sec=5087
case_no=133 label=Case6.121 nb_sol=0 ticks=347872 tps=100 nb_sec=3478
case_no=133 label=Case6.121 nb_sol=0 ticks=387581 tps=100 nb_sec=3875
case_no=133 label=Case6.121 nb_sol=0 ticks=237264 tps=100 nb_sec=2372
case_no=133 label=Case6.121 nb_sol=0 ticks=281061 tps=100 nb_sec=2810
case_no=133 label=Case6.121 nb_sol=0 ticks=383192 tps=100 nb_sec=3831
case_no=133 label=Case6.121 nb_sol=0 ticks=221661 tps=100 nb_sec=2216
case_no=133 label=Case6.121 nb_sol=0 ticks=275729 tps=100 nb_sec=2757
case_no=133 label=Case6.121 nb_sol=0 ticks=240460 tps=100 nb_sec=2404
case_no=133 label=Case6.121 nb_sol=0 ticks=373282 tps=100 nb_sec=3732
case_no=133 label=Case6.121 nb_sol=0 ticks=356832 tps=100 nb_sec=3568
case_no=133 label=Case6.121 nb_sol=0 ticks=280979 tps=100 nb_sec=2809
case_no=133 label=Case6.121 nb_sol=0 ticks=306421 tps=100 nb_sec=3064
case_no=133 label=Case6.121 nb_sol=0 ticks=497571 tps=100 nb_sec=4975
case_no=133 label=Case6.121 nb_sol=0 ticks=380631 tps=100 nb_sec=3806
case_no=133 label=Case6.121 nb_sol=0 ticks=395321 tps=100 nb_sec=3953
case_no=133 label=Case6.121 nb_sol=0 ticks=299103 tps=100 nb_sec=2991
case_no=133 label=Case6.121 nb_sol=0 ticks=382057 tps=100 nb_sec=3820
case_no=133 label=Case6.121 nb_sol=0 ticks=280269 tps=100 nb_sec=2802
case_no=133 label=Case6.121 nb_sol=0 ticks=324977 tps=100 nb_sec=3249
case_no=133 label=Case6.121 nb_sol=0 ticks=364164 tps=100 nb_sec=3641
case_no=133 label=Case6.121 nb_sol=0 ticks=213981 tps=100 nb_sec=2139
case_no=133 label=Case6.121 nb_sol=0 ticks=222833 tps=100 nb_sec=2228
case_no=133 label=Case6.121 nb_sol=0 ticks=279633 tps=100 nb_sec=2796
case_no=133 label=Case6.121 nb_sol=0 ticks=337272 tps=100 nb_sec=3372
case_no=133 label=Case6.121 nb_sol=0 ticks=381661 tps=100 nb_sec=3816
case_no=133 label=Case6.121 nb_sol=0 ticks=444490 tps=100 nb_sec=4444
case_no=133 label=Case6.121 nb_sol=0 ticks=379873 tps=100 nb_sec=3798
case_no=133 label=Case6.121 nb_sol=0 ticks=522124 tps=100 nb_sec=5221
case_no=133 label=Case6.121 nb_sol=0 ticks=242028 tps=100 nb_sec=2420
case_no=133 label=Case6.121 nb_sol=0 ticks=502972 tps=100 nb_sec=5029
case_no=133 label=Case6.121 nb_sol=0 ticks=218882 tps=100 nb_sec=2188
case_no=133 label=Case6.121 nb_sol=0 ticks=479795 tps=100 nb_sec=4797
case_no=133 label=Case6.121 nb_sol=0 ticks=260152 tps=100 nb_sec=2601
case_no=133 label=Case6.121 nb_sol=0 ticks=273137 tps=100 nb_sec=2731
case_no=133 label=Case6.121 nb_sol=0 ticks=285346 tps=100 nb_sec=2853
case_no=133 label=Case6.121 nb_sol=0 ticks=267272 tps=100 nb_sec=2672
case_no=133 label=Case6.121 nb_sol=0 ticks=313236 tps=100 nb_sec=3132
case_no=133 label=Case6.121 nb_sol=0 ticks=289658 tps=100 nb_sec=2896
case_no=133 label=Case6.121 nb_sol=0 ticks=363110 tps=100 nb_sec=3631
case_no=133 label=Case6.121 nb_sol=0 ticks=159423 tps=100 nb_sec=1594
case_no=133 label=Case6.121 nb_sol=0 ticks=290326 tps=100 nb_sec=2903
case_no=133 label=Case6.121 nb_sol=0 ticks=352270 tps=100 nb_sec=3522
case_no=133 label=Case6.121 nb_sol=0 ticks=309228 tps=100 nb_sec=3092
case_no=133 label=Case6.121 nb_sol=0 ticks=272656 tps=100 nb_sec=2726
case_no=133 label=Case6.121 nb_sol=0 ticks=284532 tps=100 nb_sec=2845
case_no=133 label=Case6.121 nb_sol=0 ticks=310246 tps=100 nb_sec=3102
case_no=133 label=Case6.121 nb_sol=0 ticks=407887 tps=100 nb_sec=4078
case_no=133 label=Case6.121 nb_sol=0 ticks=394246 tps=100 nb_sec=3942
case_no=133 label=Case6.121 nb_sol=0 ticks=206064 tps=100 nb_sec=2060
case_no=133 label=Case6.121 nb_sol=0 ticks=198071 tps=100 nb_sec=1980
case_no=133 label=Case6.121 nb_sol=0 ticks=257164 tps=100 nb_sec=2571
case_no=133 label=Case6.121 nb_sol=0 ticks=175857 tps=100 nb_sec=1758
case_no=133 label=Case6.121 nb_sol=0 ticks=349645 tps=100 nb_sec=3496
case_no=133 label=Case6.121 nb_sol=0 ticks=197450 tps=100 nb_sec=1974
case_no=133 label=Case6.121 nb_sol=0 ticks=375247 tps=100 nb_sec=3752
case_no=133 label=Case6.121 nb_sol=0 ticks=430166 tps=100 nb_sec=4301
case_no=133 label=Case6.121 nb_sol=0 ticks=544601 tps=100 nb_sec=5446
case_no=133 label=Case6.121 nb_sol=0 ticks=442449 tps=100 nb_sec=4424
case_no=133 label=Case6.121 nb_sol=0 ticks=368504 tps=100 nb_sec=3685
case_no=133 label=Case6.121 nb_sol=0 ticks=373431 tps=100 nb_sec=3734
case_no=133 label=Case6.121 nb_sol=0 ticks=286634 tps=100 nb_sec=2866
case_no=133 label=Case6.121 nb_sol=0 ticks=168551 tps=100 nb_sec=1685
case_no=133 label=Case6.121 nb_sol=0 ticks=320072 tps=100 nb_sec=3200
case_no=133 label=Case6.121 nb_sol=0 ticks=157257 tps=100 nb_sec=1572
case_no=133 label=Case6.121 nb_sol=0 ticks=220019 tps=100 nb_sec=2200
case_no=133 label=Case6.121 nb_sol=0 ticks=160807 tps=100 nb_sec=1608
case_no=133 label=Case6.121 nb_sol=0 ticks=317706 tps=100 nb_sec=3177
case_no=133 label=Case6.121 nb_sol=0 ticks=261017 tps=100 nb_sec=2610
case_no=133 label=Case6.121 nb_sol=0 ticks=208432 tps=100 nb_sec=2084
case_no=133 label=Case6.121 nb_sol=0 ticks=190051 tps=100 nb_sec=1900
case_no=133 label=Case6.121 nb_sol=0 ticks=146087 tps=100 nb_sec=1460
case_no=133 label=Case6.121 nb_sol=0 ticks=150012 tps=100 nb_sec=1500
case_no=133 label=Case6.121 nb_sol=0 ticks=214181 tps=100 nb_sec=2141
case_no=133 label=Case6.121 nb_sol=0 ticks=166376 tps=100 nb_sec=1663
case_no=133 label=Case6.121 nb_sol=0 ticks=265490 tps=100 nb_sec=2654
case_no=133 label=Case6.121 nb_sol=0 ticks=246962 tps=100 nb_sec=2469
case_no=133 label=Case6.121 nb_sol=0 ticks=258474 tps=100 nb_sec=2584
case_no=133 label=Case6.121 nb_sol=0 ticks=263602 tps=100 nb_sec=2636
case_no=133 label=Case6.121 nb_sol=0 ticks=469845 tps=100 nb_sec=4698
case_no=133 label=Case6.121 nb_sol=0 ticks=414879 tps=100 nb_sec=4148
case_no=133 label=Case6.121 nb_sol=0 ticks=423398 tps=100 nb_sec=4233
case_no=133 label=Case6.121 nb_sol=0 ticks=178920 tps=100 nb_sec=1789
case_no=133 label=Case6.121 nb_sol=0 ticks=168003 tps=100 nb_sec=1680
case_no=133 label=Case6.121 nb_sol=0 ticks=313086 tps=100 nb_sec=3130
case_no=133 label=Case6.121 nb_sol=0 ticks=351417 tps=100 nb_sec=3514
case_no=133 label=Case6.121 nb_sol=0 ticks=381042 tps=100 nb_sec=3810
case_no=133 label=Case6.121 nb_sol=0 ticks=187777 tps=100 nb_sec=1877
case_no=133 label=Case6.121 nb_sol=0 ticks=166103 tps=100 nb_sec=1661
case_no=133 label=Case6.121 nb_sol=0 ticks=207505 tps=100 nb_sec=2075
case_no=133 label=Case6.121 nb_sol=0 ticks=230951 tps=100 nb_sec=2309
case_no=133 label=Case6.121 nb_sol=0 ticks=315633 tps=100 nb_sec=3156
case_no=133 label=Case6.121 nb_sol=0 ticks=172253 tps=100 nb_sec=1722
case_no=133 label=Case6.121 nb_sol=0 ticks=354747 tps=100 nb_sec=3547
case_no=133 label=Case6.121 nb_sol=0 ticks=179697 tps=100 nb_sec=1796
case_no=133 label=Case6.121 nb_sol=0 ticks=185195 tps=100 nb_sec=1851
case_no=133 label=Case6.121 nb_sol=0 ticks=253178 tps=100 nb_sec=2531
case_no=133 label=Case6.121 nb_sol=0 ticks=126125 tps=100 nb_sec=1261
case_no=133 label=Case6.121 nb_sol=0 ticks=206617 tps=100 nb_sec=2066
case_no=133 label=Case6.121 nb_sol=0 ticks=281837 tps=100 nb_sec=2818
case_no=133 label=Case6.121 nb_sol=0 ticks=292169 tps=100 nb_sec=2921
case_no=133 label=Case6.121 nb_sol=0 ticks=161866 tps=100 nb_sec=1618
case_no=133 label=Case6.121 nb_sol=0 ticks=392612 tps=100 nb_sec=3926
case_no=133 label=Case6.121 nb_sol=0 ticks=148770 tps=100 nb_sec=1487
case_no=133 label=Case6.121 nb_sol=0 ticks=269234 tps=100 nb_sec=2692
case_no=133 label=Case6.121 nb_sol=0 ticks=142837 tps=100 nb_sec=1428
case_no=133 label=Case6.121 nb_sol=0 ticks=364163 tps=100 nb_sec=3641
case_no=133 label=Case6.121 nb_sol=0 ticks=162909 tps=100 nb_sec=1629
case_no=133 label=Case6.121 nb_sol=0 ticks=163855 tps=100 nb_sec=1638
case_no=133 label=Case6.121 nb_sol=0 ticks=253083 tps=100 nb_sec=2530
case_no=133 label=Case6.121 nb_sol=0 ticks=221914 tps=100 nb_sec=2219
case_no=133 label=Case6.121 nb_sol=0 ticks=233509 tps=100 nb_sec=2335
case_no=133 label=Case6.121 nb_sol=0 ticks=332422 tps=100 nb_sec=3324
case_no=133 label=Case6.121 nb_sol=0 ticks=276026 tps=100 nb_sec=2760
case_no=133 label=Case6.121 nb_sol=0 ticks=230609 tps=100 nb_sec=2306
case_no=133 label=Case6.121 nb_sol=0 ticks=501520 tps=100 nb_sec=5015
case_no=133 label=Case6.121 nb_sol=0 ticks=424462 tps=100 nb_sec=4244
case_no=133 label=Case6.121 nb_sol=0 ticks=207279 tps=100 nb_sec=2072
case_no=133 label=Case6.121 nb_sol=0 ticks=159683 tps=100 nb_sec=1596
case_no=133 label=Case6.121 nb_sol=0 ticks=276134 tps=100 nb_sec=2761
case_no=133 label=Case6.121 nb_sol=0 ticks=143639 tps=100 nb_sec=1436
case_no=133 label=Case6.121 nb_sol=0 ticks=275737 tps=100 nb_sec=2757
case_no=133 label=Case6.121 nb_sol=0 ticks=418744 tps=100 nb_sec=4187
case_no=133 label=Case6.121 nb_sol=0 ticks=157804 tps=100 nb_sec=1578
case_no=133 label=Case6.121 nb_sol=0 ticks=187414 tps=100 nb_sec=1874
case_no=133 label=Case6.121 nb_sol=0 ticks=315651 tps=100 nb_sec=3156
case_no=133 label=Case6.121 nb_sol=0 ticks=162981 tps=100 nb_sec=1629
case_no=133 label=Case6.121 nb_sol=0 ticks=229053 tps=100 nb_sec=2290
case_no=133 label=Case6.121 nb_sol=0 ticks=234907 tps=100 nb_sec=2349
case_no=133 label=Case6.121 nb_sol=0 ticks=265568 tps=100 nb_sec=2655
case_no=133 label=Case6.121 nb_sol=0 ticks=261005 tps=100 nb_sec=2610
case_no=133 label=Case6.121 nb_sol=0 ticks=231829 tps=100 nb_sec=2318
case_no=133 label=Case6.121 nb_sol=0 ticks=199855 tps=100 nb_sec=1998
case_no=133 label=Case6.121 nb_sol=0 ticks=352116 tps=100 nb_sec=3521
case_no=133 label=Case6.121 nb_sol=0 ticks=188284 tps=100 nb_sec=1882
case_no=133 label=Case6.121 nb_sol=0 ticks=286481 tps=100 nb_sec=2864
case_no=133 label=Case6.121 nb_sol=0 ticks=290242 tps=100 nb_sec=2902
case_no=133 label=Case6.121 nb_sol=0 ticks=288190 tps=100 nb_sec=2881
case_no=133 label=Case6.121 nb_sol=0 ticks=158198 tps=100 nb_sec=1581
case_no=133 label=Case6.121 nb_sol=0 ticks=273943 tps=100 nb_sec=2739
case_no=133 label=Case6.121 nb_sol=0 ticks=330347 tps=100 nb_sec=3303
case_no=133 label=Case6.121 nb_sol=0 ticks=299630 tps=100 nb_sec=2996
case_no=133 label=Case6.121 nb_sol=0 ticks=195979 tps=100 nb_sec=1959
case_no=133 label=Case6.121 nb_sol=0 ticks=345649 tps=100 nb_sec=3456
case_no=133 label=Case6.121 nb_sol=0 ticks=272447 tps=100 nb_sec=2724
case_no=133 label=Case6.121 nb_sol=0 ticks=182374 tps=100 nb_sec=1823
Nb_sol=0
Nb_sec=3168981
36-16:16:21 or 880 hours
missing cases:
none