argc=5
-M 1024
file2=30_select_Case6.153_starter_15_
checking files mod 1024 from 0 to 1023
case_no=165 label=Case6.153 nb_sol=0 ticks=639607 tps=100 nb_sec=6396
case_no=165 label=Case6.153 nb_sol=0 ticks=727400 tps=100 nb_sec=7274
case_no=165 label=Case6.153 nb_sol=0 ticks=659797 tps=100 nb_sec=6597
case_no=165 label=Case6.153 nb_sol=0 ticks=769030 tps=100 nb_sec=7690
case_no=165 label=Case6.153 nb_sol=0 ticks=707505 tps=100 nb_sec=7075
case_no=165 label=Case6.153 nb_sol=0 ticks=789613 tps=100 nb_sec=7896
case_no=165 label=Case6.153 nb_sol=0 ticks=679159 tps=100 nb_sec=6791
case_no=165 label=Case6.153 nb_sol=0 ticks=595385 tps=100 nb_sec=5953
case_no=165 label=Case6.153 nb_sol=0 ticks=635602 tps=100 nb_sec=6356
case_no=165 label=Case6.153 nb_sol=0 ticks=497000 tps=100 nb_sec=4970
case_no=165 label=Case6.153 nb_sol=0 ticks=579132 tps=100 nb_sec=5791
case_no=165 label=Case6.153 nb_sol=0 ticks=573237 tps=100 nb_sec=5732
case_no=165 label=Case6.153 nb_sol=0 ticks=523401 tps=100 nb_sec=5234
case_no=165 label=Case6.153 nb_sol=0 ticks=547172 tps=100 nb_sec=5471
case_no=165 label=Case6.153 nb_sol=0 ticks=408154 tps=100 nb_sec=4081
case_no=165 label=Case6.153 nb_sol=0 ticks=682791 tps=100 nb_sec=6827
case_no=165 label=Case6.153 nb_sol=0 ticks=651910 tps=100 nb_sec=6519
case_no=165 label=Case6.153 nb_sol=0 ticks=730526 tps=100 nb_sec=7305
case_no=165 label=Case6.153 nb_sol=0 ticks=481998 tps=100 nb_sec=4819
case_no=165 label=Case6.153 nb_sol=0 ticks=557197 tps=100 nb_sec=5571
case_no=165 label=Case6.153 nb_sol=0 ticks=660895 tps=100 nb_sec=6608
case_no=165 label=Case6.153 nb_sol=0 ticks=523022 tps=100 nb_sec=5230
case_no=165 label=Case6.153 nb_sol=0 ticks=567893 tps=100 nb_sec=5678
case_no=165 label=Case6.153 nb_sol=0 ticks=587753 tps=100 nb_sec=5877
case_no=165 label=Case6.153 nb_sol=0 ticks=555195 tps=100 nb_sec=5551
case_no=165 label=Case6.153 nb_sol=0 ticks=817525 tps=100 nb_sec=8175
case_no=165 label=Case6.153 nb_sol=0 ticks=556220 tps=100 nb_sec=5562
case_no=165 label=Case6.153 nb_sol=0 ticks=584394 tps=100 nb_sec=5843
case_no=165 label=Case6.153 nb_sol=0 ticks=533099 tps=100 nb_sec=5330
case_no=165 label=Case6.153 nb_sol=0 ticks=640596 tps=100 nb_sec=6405
case_no=165 label=Case6.153 nb_sol=0 ticks=590297 tps=100 nb_sec=5902
case_no=165 label=Case6.153 nb_sol=0 ticks=451523 tps=100 nb_sec=4515
case_no=165 label=Case6.153 nb_sol=0 ticks=667325 tps=100 nb_sec=6673
case_no=165 label=Case6.153 nb_sol=0 ticks=709674 tps=100 nb_sec=7096
case_no=165 label=Case6.153 nb_sol=0 ticks=595897 tps=100 nb_sec=5958
case_no=165 label=Case6.153 nb_sol=0 ticks=755048 tps=100 nb_sec=7550
case_no=165 label=Case6.153 nb_sol=0 ticks=631706 tps=100 nb_sec=6317
case_no=165 label=Case6.153 nb_sol=0 ticks=657846 tps=100 nb_sec=6578
case_no=165 label=Case6.153 nb_sol=0 ticks=708711 tps=100 nb_sec=7087
case_no=165 label=Case6.153 nb_sol=0 ticks=640133 tps=100 nb_sec=6401
case_no=165 label=Case6.153 nb_sol=0 ticks=820429 tps=100 nb_sec=8204
case_no=165 label=Case6.153 nb_sol=0 ticks=811532 tps=100 nb_sec=8115
case_no=165 label=Case6.153 nb_sol=0 ticks=813303 tps=100 nb_sec=8133
case_no=165 label=Case6.153 nb_sol=0 ticks=832086 tps=100 nb_sec=8320
case_no=165 label=Case6.153 nb_sol=0 ticks=572733 tps=100 nb_sec=5727
case_no=165 label=Case6.153 nb_sol=0 ticks=720332 tps=100 nb_sec=7203
case_no=165 label=Case6.153 nb_sol=0 ticks=511849 tps=100 nb_sec=5118
case_no=165 label=Case6.153 nb_sol=0 ticks=615848 tps=100 nb_sec=6158
case_no=165 label=Case6.153 nb_sol=0 ticks=725094 tps=100 nb_sec=7250
case_no=165 label=Case6.153 nb_sol=0 ticks=746093 tps=100 nb_sec=7460
case_no=165 label=Case6.153 nb_sol=0 ticks=531939 tps=100 nb_sec=5319
case_no=165 label=Case6.153 nb_sol=0 ticks=705931 tps=100 nb_sec=7059
case_no=165 label=Case6.153 nb_sol=0 ticks=659913 tps=100 nb_sec=6599
case_no=165 label=Case6.153 nb_sol=0 ticks=450770 tps=100 nb_sec=4507
case_no=165 label=Case6.153 nb_sol=0 ticks=657672 tps=100 nb_sec=6576
case_no=165 label=Case6.153 nb_sol=0 ticks=676923 tps=100 nb_sec=6769
case_no=165 label=Case6.153 nb_sol=0 ticks=429228 tps=100 nb_sec=4292
case_no=165 label=Case6.153 nb_sol=0 ticks=517795 tps=100 nb_sec=5177
case_no=165 label=Case6.153 nb_sol=0 ticks=429683 tps=100 nb_sec=4296
case_no=165 label=Case6.153 nb_sol=0 ticks=593338 tps=100 nb_sec=5933
case_no=165 label=Case6.153 nb_sol=0 ticks=621249 tps=100 nb_sec=6212
case_no=165 label=Case6.153 nb_sol=0 ticks=707986 tps=100 nb_sec=7079
case_no=165 label=Case6.153 nb_sol=0 ticks=482024 tps=100 nb_sec=4820
case_no=165 label=Case6.153 nb_sol=0 ticks=592101 tps=100 nb_sec=5921
case_no=165 label=Case6.153 nb_sol=0 ticks=746047 tps=100 nb_sec=7460
case_no=165 label=Case6.153 nb_sol=0 ticks=773068 tps=100 nb_sec=7730
case_no=165 label=Case6.153 nb_sol=0 ticks=631614 tps=100 nb_sec=6316
case_no=165 label=Case6.153 nb_sol=0 ticks=562542 tps=100 nb_sec=5625
case_no=165 label=Case6.153 nb_sol=0 ticks=512065 tps=100 nb_sec=5120
case_no=165 label=Case6.153 nb_sol=0 ticks=874876 tps=100 nb_sec=8748
case_no=165 label=Case6.153 nb_sol=0 ticks=685812 tps=100 nb_sec=6858
case_no=165 label=Case6.153 nb_sol=0 ticks=577114 tps=100 nb_sec=5771
case_no=165 label=Case6.153 nb_sol=0 ticks=870520 tps=100 nb_sec=8705
case_no=165 label=Case6.153 nb_sol=0 ticks=829829 tps=100 nb_sec=8298
case_no=165 label=Case6.153 nb_sol=0 ticks=614308 tps=100 nb_sec=6143
case_no=165 label=Case6.153 nb_sol=0 ticks=485933 tps=100 nb_sec=4859
case_no=165 label=Case6.153 nb_sol=0 ticks=636137 tps=100 nb_sec=6361
case_no=165 label=Case6.153 nb_sol=0 ticks=640561 tps=100 nb_sec=6405
case_no=165 label=Case6.153 nb_sol=0 ticks=622320 tps=100 nb_sec=6223
case_no=165 label=Case6.153 nb_sol=0 ticks=537266 tps=100 nb_sec=5372
case_no=165 label=Case6.153 nb_sol=0 ticks=594865 tps=100 nb_sec=5948
case_no=165 label=Case6.153 nb_sol=0 ticks=606244 tps=100 nb_sec=6062
case_no=165 label=Case6.153 nb_sol=0 ticks=463296 tps=100 nb_sec=4632
case_no=165 label=Case6.153 nb_sol=0 ticks=559082 tps=100 nb_sec=5590
case_no=165 label=Case6.153 nb_sol=0 ticks=663677 tps=100 nb_sec=6636
case_no=165 label=Case6.153 nb_sol=0 ticks=555162 tps=100 nb_sec=5551
case_no=165 label=Case6.153 nb_sol=0 ticks=596343 tps=100 nb_sec=5963
case_no=165 label=Case6.153 nb_sol=0 ticks=616558 tps=100 nb_sec=6165
case_no=165 label=Case6.153 nb_sol=0 ticks=569220 tps=100 nb_sec=5692
case_no=165 label=Case6.153 nb_sol=0 ticks=590165 tps=100 nb_sec=5901
case_no=165 label=Case6.153 nb_sol=0 ticks=642528 tps=100 nb_sec=6425
case_no=165 label=Case6.153 nb_sol=0 ticks=532180 tps=100 nb_sec=5321
case_no=165 label=Case6.153 nb_sol=0 ticks=602463 tps=100 nb_sec=6024
case_no=165 label=Case6.153 nb_sol=0 ticks=546201 tps=100 nb_sec=5462
case_no=165 label=Case6.153 nb_sol=0 ticks=587146 tps=100 nb_sec=5871
case_no=165 label=Case6.153 nb_sol=0 ticks=661643 tps=100 nb_sec=6616
case_no=165 label=Case6.153 nb_sol=0 ticks=642822 tps=100 nb_sec=6428
case_no=165 label=Case6.153 nb_sol=0 ticks=568857 tps=100 nb_sec=5688
case_no=165 label=Case6.153 nb_sol=0 ticks=775541 tps=100 nb_sec=7755
case_no=165 label=Case6.153 nb_sol=0 ticks=638553 tps=100 nb_sec=6385
case_no=165 label=Case6.153 nb_sol=0 ticks=449796 tps=100 nb_sec=4497
case_no=165 label=Case6.153 nb_sol=0 ticks=713744 tps=100 nb_sec=7137
case_no=165 label=Case6.153 nb_sol=0 ticks=561687 tps=100 nb_sec=5616
case_no=165 label=Case6.153 nb_sol=0 ticks=523277 tps=100 nb_sec=5232
case_no=165 label=Case6.153 nb_sol=0 ticks=742924 tps=100 nb_sec=7429
case_no=165 label=Case6.153 nb_sol=0 ticks=505537 tps=100 nb_sec=5055
case_no=165 label=Case6.153 nb_sol=0 ticks=389446 tps=100 nb_sec=3894
case_no=165 label=Case6.153 nb_sol=0 ticks=441697 tps=100 nb_sec=4416
case_no=165 label=Case6.153 nb_sol=0 ticks=487984 tps=100 nb_sec=4879
case_no=165 label=Case6.153 nb_sol=0 ticks=501457 tps=100 nb_sec=5014
case_no=165 label=Case6.153 nb_sol=0 ticks=475609 tps=100 nb_sec=4756
case_no=165 label=Case6.153 nb_sol=0 ticks=467908 tps=100 nb_sec=4679
case_no=165 label=Case6.153 nb_sol=0 ticks=497987 tps=100 nb_sec=4979
case_no=165 label=Case6.153 nb_sol=0 ticks=565556 tps=100 nb_sec=5655
case_no=165 label=Case6.153 nb_sol=0 ticks=563720 tps=100 nb_sec=5637
case_no=165 label=Case6.153 nb_sol=0 ticks=445320 tps=100 nb_sec=4453
case_no=165 label=Case6.153 nb_sol=0 ticks=528657 tps=100 nb_sec=5286
case_no=165 label=Case6.153 nb_sol=0 ticks=612365 tps=100 nb_sec=6123
case_no=165 label=Case6.153 nb_sol=0 ticks=666788 tps=100 nb_sec=6667
case_no=165 label=Case6.153 nb_sol=0 ticks=555765 tps=100 nb_sec=5557
case_no=165 label=Case6.153 nb_sol=0 ticks=482424 tps=100 nb_sec=4824
case_no=165 label=Case6.153 nb_sol=0 ticks=442945 tps=100 nb_sec=4429
case_no=165 label=Case6.153 nb_sol=0 ticks=578908 tps=100 nb_sec=5789
case_no=165 label=Case6.153 nb_sol=0 ticks=444260 tps=100 nb_sec=4442
case_no=165 label=Case6.153 nb_sol=0 ticks=753712 tps=100 nb_sec=7537
case_no=165 label=Case6.153 nb_sol=0 ticks=727688 tps=100 nb_sec=7276
case_no=165 label=Case6.153 nb_sol=0 ticks=665014 tps=100 nb_sec=6650
case_no=165 label=Case6.153 nb_sol=0 ticks=681205 tps=100 nb_sec=6812
case_no=165 label=Case6.153 nb_sol=0 ticks=420877 tps=100 nb_sec=4208
case_no=165 label=Case6.153 nb_sol=0 ticks=588906 tps=100 nb_sec=5889
case_no=165 label=Case6.153 nb_sol=0 ticks=522335 tps=100 nb_sec=5223
case_no=165 label=Case6.153 nb_sol=0 ticks=392892 tps=100 nb_sec=3928
case_no=165 label=Case6.153 nb_sol=0 ticks=411437 tps=100 nb_sec=4114
case_no=165 label=Case6.153 nb_sol=0 ticks=228004 tps=100 nb_sec=2280
case_no=165 label=Case6.153 nb_sol=0 ticks=549915 tps=100 nb_sec=5499
case_no=165 label=Case6.153 nb_sol=0 ticks=626498 tps=100 nb_sec=6264
case_no=165 label=Case6.153 nb_sol=0 ticks=586018 tps=100 nb_sec=5860
case_no=165 label=Case6.153 nb_sol=0 ticks=683231 tps=100 nb_sec=6832
case_no=165 label=Case6.153 nb_sol=0 ticks=662554 tps=100 nb_sec=6625
case_no=165 label=Case6.153 nb_sol=0 ticks=557824 tps=100 nb_sec=5578
case_no=165 label=Case6.153 nb_sol=0 ticks=805758 tps=100 nb_sec=8057
case_no=165 label=Case6.153 nb_sol=0 ticks=718650 tps=100 nb_sec=7186
case_no=165 label=Case6.153 nb_sol=0 ticks=849468 tps=100 nb_sec=8494
case_no=165 label=Case6.153 nb_sol=0 ticks=522003 tps=100 nb_sec=5220
case_no=165 label=Case6.153 nb_sol=0 ticks=737039 tps=100 nb_sec=7370
case_no=165 label=Case6.153 nb_sol=0 ticks=736105 tps=100 nb_sec=7361
case_no=165 label=Case6.153 nb_sol=0 ticks=725786 tps=100 nb_sec=7257
case_no=165 label=Case6.153 nb_sol=0 ticks=718966 tps=100 nb_sec=7189
case_no=165 label=Case6.153 nb_sol=0 ticks=592293 tps=100 nb_sec=5922
case_no=165 label=Case6.153 nb_sol=0 ticks=707531 tps=100 nb_sec=7075
case_no=165 label=Case6.153 nb_sol=0 ticks=627625 tps=100 nb_sec=6276
case_no=165 label=Case6.153 nb_sol=0 ticks=281047 tps=100 nb_sec=2810
case_no=165 label=Case6.153 nb_sol=0 ticks=362052 tps=100 nb_sec=3620
case_no=165 label=Case6.153 nb_sol=0 ticks=575219 tps=100 nb_sec=5752
case_no=165 label=Case6.153 nb_sol=0 ticks=540708 tps=100 nb_sec=5407
case_no=165 label=Case6.153 nb_sol=0 ticks=647757 tps=100 nb_sec=6477
case_no=165 label=Case6.153 nb_sol=0 ticks=563800 tps=100 nb_sec=5638
case_no=165 label=Case6.153 nb_sol=0 ticks=366133 tps=100 nb_sec=3661
case_no=165 label=Case6.153 nb_sol=0 ticks=320350 tps=100 nb_sec=3203
case_no=165 label=Case6.153 nb_sol=0 ticks=646455 tps=100 nb_sec=6464
case_no=165 label=Case6.153 nb_sol=0 ticks=561316 tps=100 nb_sec=5613
case_no=165 label=Case6.153 nb_sol=0 ticks=316013 tps=100 nb_sec=3160
case_no=165 label=Case6.153 nb_sol=0 ticks=585547 tps=100 nb_sec=5855
case_no=165 label=Case6.153 nb_sol=0 ticks=307023 tps=100 nb_sec=3070
case_no=165 label=Case6.153 nb_sol=0 ticks=552456 tps=100 nb_sec=5524
case_no=165 label=Case6.153 nb_sol=0 ticks=704802 tps=100 nb_sec=7048
case_no=165 label=Case6.153 nb_sol=0 ticks=573097 tps=100 nb_sec=5730
case_no=165 label=Case6.153 nb_sol=0 ticks=285993 tps=100 nb_sec=2859
case_no=165 label=Case6.153 nb_sol=0 ticks=452548 tps=100 nb_sec=4525
case_no=165 label=Case6.153 nb_sol=0 ticks=299510 tps=100 nb_sec=2995
case_no=165 label=Case6.153 nb_sol=0 ticks=558673 tps=100 nb_sec=5586
case_no=165 label=Case6.153 nb_sol=0 ticks=526929 tps=100 nb_sec=5269
case_no=165 label=Case6.153 nb_sol=0 ticks=588662 tps=100 nb_sec=5886
case_no=165 label=Case6.153 nb_sol=0 ticks=278207 tps=100 nb_sec=2782
case_no=165 label=Case6.153 nb_sol=0 ticks=477334 tps=100 nb_sec=4773
case_no=165 label=Case6.153 nb_sol=0 ticks=224719 tps=100 nb_sec=2247
case_no=165 label=Case6.153 nb_sol=0 ticks=480927 tps=100 nb_sec=4809
case_no=165 label=Case6.153 nb_sol=0 ticks=247662 tps=100 nb_sec=2476
case_no=165 label=Case6.153 nb_sol=0 ticks=270858 tps=100 nb_sec=2708
case_no=165 label=Case6.153 nb_sol=0 ticks=559448 tps=100 nb_sec=5594
case_no=165 label=Case6.153 nb_sol=0 ticks=273047 tps=100 nb_sec=2730
case_no=165 label=Case6.153 nb_sol=0 ticks=506327 tps=100 nb_sec=5063
case_no=165 label=Case6.153 nb_sol=0 ticks=255158 tps=100 nb_sec=2551
case_no=165 label=Case6.153 nb_sol=0 ticks=309018 tps=100 nb_sec=3090
case_no=165 label=Case6.153 nb_sol=0 ticks=298380 tps=100 nb_sec=2983
case_no=165 label=Case6.153 nb_sol=0 ticks=639531 tps=100 nb_sec=6395
case_no=165 label=Case6.153 nb_sol=0 ticks=549280 tps=100 nb_sec=5492
case_no=165 label=Case6.153 nb_sol=0 ticks=306267 tps=100 nb_sec=3062
case_no=165 label=Case6.153 nb_sol=0 ticks=387403 tps=100 nb_sec=3874
case_no=165 label=Case6.153 nb_sol=0 ticks=319758 tps=100 nb_sec=3197
case_no=165 label=Case6.153 nb_sol=0 ticks=1134732 tps=100 nb_sec=11347
case_no=165 label=Case6.153 nb_sol=0 ticks=305196 tps=100 nb_sec=3051
case_no=165 label=Case6.153 nb_sol=0 ticks=560947 tps=100 nb_sec=5609
case_no=165 label=Case6.153 nb_sol=0 ticks=346321 tps=100 nb_sec=3463
case_no=165 label=Case6.153 nb_sol=0 ticks=563784 tps=100 nb_sec=5637
case_no=165 label=Case6.153 nb_sol=0 ticks=377222 tps=100 nb_sec=3772
case_no=165 label=Case6.153 nb_sol=0 ticks=361585 tps=100 nb_sec=3615
case_no=165 label=Case6.153 nb_sol=0 ticks=298727 tps=100 nb_sec=2987
case_no=165 label=Case6.153 nb_sol=0 ticks=337070 tps=100 nb_sec=3370
case_no=165 label=Case6.153 nb_sol=0 ticks=251707 tps=100 nb_sec=2517
case_no=165 label=Case6.153 nb_sol=0 ticks=737317 tps=100 nb_sec=7373
case_no=165 label=Case6.153 nb_sol=0 ticks=517413 tps=100 nb_sec=5174
case_no=165 label=Case6.153 nb_sol=0 ticks=293690 tps=100 nb_sec=2936
case_no=165 label=Case6.153 nb_sol=0 ticks=273547 tps=100 nb_sec=2735
case_no=165 label=Case6.153 nb_sol=0 ticks=571668 tps=100 nb_sec=5716
case_no=165 label=Case6.153 nb_sol=0 ticks=557945 tps=100 nb_sec=5579
case_no=165 label=Case6.153 nb_sol=0 ticks=495263 tps=100 nb_sec=4952
case_no=165 label=Case6.153 nb_sol=0 ticks=314788 tps=100 nb_sec=3147
case_no=165 label=Case6.153 nb_sol=0 ticks=594724 tps=100 nb_sec=5947
case_no=165 label=Case6.153 nb_sol=0 ticks=311361 tps=100 nb_sec=3113
case_no=165 label=Case6.153 nb_sol=0 ticks=360609 tps=100 nb_sec=3606
case_no=165 label=Case6.153 nb_sol=0 ticks=483456 tps=100 nb_sec=4834
case_no=165 label=Case6.153 nb_sol=0 ticks=266425 tps=100 nb_sec=2664
case_no=165 label=Case6.153 nb_sol=0 ticks=984628 tps=100 nb_sec=9846
case_no=165 label=Case6.153 nb_sol=0 ticks=320946 tps=100 nb_sec=3209
case_no=165 label=Case6.153 nb_sol=0 ticks=340138 tps=100 nb_sec=3401
case_no=165 label=Case6.153 nb_sol=0 ticks=310174 tps=100 nb_sec=3101
case_no=165 label=Case6.153 nb_sol=0 ticks=519164 tps=100 nb_sec=5191
case_no=165 label=Case6.153 nb_sol=0 ticks=466493 tps=100 nb_sec=4664
case_no=165 label=Case6.153 nb_sol=0 ticks=486175 tps=100 nb_sec=4861
case_no=165 label=Case6.153 nb_sol=0 ticks=241376 tps=100 nb_sec=2413
case_no=165 label=Case6.153 nb_sol=0 ticks=273127 tps=100 nb_sec=2731
case_no=165 label=Case6.153 nb_sol=0 ticks=353207 tps=100 nb_sec=3532
case_no=165 label=Case6.153 nb_sol=0 ticks=289122 tps=100 nb_sec=2891
case_no=165 label=Case6.153 nb_sol=0 ticks=281129 tps=100 nb_sec=2811
case_no=165 label=Case6.153 nb_sol=0 ticks=383050 tps=100 nb_sec=3830
case_no=165 label=Case6.153 nb_sol=0 ticks=615080 tps=100 nb_sec=6150
case_no=165 label=Case6.153 nb_sol=0 ticks=293928 tps=100 nb_sec=2939
case_no=165 label=Case6.153 nb_sol=0 ticks=275654 tps=100 nb_sec=2756
case_no=165 label=Case6.153 nb_sol=0 ticks=577983 tps=100 nb_sec=5779
case_no=165 label=Case6.153 nb_sol=0 ticks=526807 tps=100 nb_sec=5268
case_no=165 label=Case6.153 nb_sol=0 ticks=315714 tps=100 nb_sec=3157
case_no=165 label=Case6.153 nb_sol=0 ticks=466179 tps=100 nb_sec=4661
case_no=165 label=Case6.153 nb_sol=0 ticks=550561 tps=100 nb_sec=5505
case_no=165 label=Case6.153 nb_sol=0 ticks=452259 tps=100 nb_sec=4522
case_no=165 label=Case6.153 nb_sol=0 ticks=507611 tps=100 nb_sec=5076
case_no=165 label=Case6.153 nb_sol=0 ticks=545391 tps=100 nb_sec=5453
case_no=165 label=Case6.153 nb_sol=0 ticks=516272 tps=100 nb_sec=5162
case_no=165 label=Case6.153 nb_sol=0 ticks=837614 tps=100 nb_sec=8376
case_no=165 label=Case6.153 nb_sol=0 ticks=569216 tps=100 nb_sec=5692
case_no=165 label=Case6.153 nb_sol=0 ticks=496370 tps=100 nb_sec=4963
case_no=165 label=Case6.153 nb_sol=0 ticks=549417 tps=100 nb_sec=5494
case_no=165 label=Case6.153 nb_sol=0 ticks=583106 tps=100 nb_sec=5831
case_no=165 label=Case6.153 nb_sol=0 ticks=494818 tps=100 nb_sec=4948
case_no=165 label=Case6.153 nb_sol=0 ticks=258005 tps=100 nb_sec=2580
case_no=165 label=Case6.153 nb_sol=0 ticks=244467 tps=100 nb_sec=2444
case_no=165 label=Case6.153 nb_sol=0 ticks=652357 tps=100 nb_sec=6523
case_no=165 label=Case6.153 nb_sol=0 ticks=636810 tps=100 nb_sec=6368
case_no=165 label=Case6.153 nb_sol=0 ticks=644139 tps=100 nb_sec=6441
case_no=165 label=Case6.153 nb_sol=0 ticks=580825 tps=100 nb_sec=5808
case_no=165 label=Case6.153 nb_sol=0 ticks=583362 tps=100 nb_sec=5833
case_no=165 label=Case6.153 nb_sol=0 ticks=671109 tps=100 nb_sec=6711
case_no=165 label=Case6.153 nb_sol=0 ticks=566776 tps=100 nb_sec=5667
case_no=165 label=Case6.153 nb_sol=0 ticks=506062 tps=100 nb_sec=5060
case_no=165 label=Case6.153 nb_sol=0 ticks=462859 tps=100 nb_sec=4628
case_no=165 label=Case6.153 nb_sol=0 ticks=709826 tps=100 nb_sec=7098
case_no=165 label=Case6.153 nb_sol=0 ticks=560743 tps=100 nb_sec=5607
case_no=165 label=Case6.153 nb_sol=0 ticks=485757 tps=100 nb_sec=4857
case_no=165 label=Case6.153 nb_sol=0 ticks=565838 tps=100 nb_sec=5658
case_no=165 label=Case6.153 nb_sol=0 ticks=667212 tps=100 nb_sec=6672
case_no=165 label=Case6.153 nb_sol=0 ticks=326883 tps=100 nb_sec=3268
case_no=165 label=Case6.153 nb_sol=0 ticks=297287 tps=100 nb_sec=2972
case_no=165 label=Case6.153 nb_sol=0 ticks=270102 tps=100 nb_sec=2701
case_no=165 label=Case6.153 nb_sol=0 ticks=226505 tps=100 nb_sec=2265
case_no=165 label=Case6.153 nb_sol=0 ticks=232480 tps=100 nb_sec=2324
case_no=165 label=Case6.153 nb_sol=0 ticks=278535 tps=100 nb_sec=2785
case_no=165 label=Case6.153 nb_sol=0 ticks=282671 tps=100 nb_sec=2826
case_no=165 label=Case6.153 nb_sol=0 ticks=256181 tps=100 nb_sec=2561
case_no=165 label=Case6.153 nb_sol=0 ticks=551448 tps=100 nb_sec=5514
case_no=165 label=Case6.153 nb_sol=0 ticks=685375 tps=100 nb_sec=6853
case_no=165 label=Case6.153 nb_sol=0 ticks=651939 tps=100 nb_sec=6519
case_no=165 label=Case6.153 nb_sol=0 ticks=281041 tps=100 nb_sec=2810
case_no=165 label=Case6.153 nb_sol=0 ticks=306505 tps=100 nb_sec=3065
case_no=165 label=Case6.153 nb_sol=0 ticks=321214 tps=100 nb_sec=3212
case_no=165 label=Case6.153 nb_sol=0 ticks=598462 tps=100 nb_sec=5984
case_no=165 label=Case6.153 nb_sol=0 ticks=323740 tps=100 nb_sec=3237
case_no=165 label=Case6.153 nb_sol=0 ticks=619533 tps=100 nb_sec=6195
case_no=165 label=Case6.153 nb_sol=0 ticks=286528 tps=100 nb_sec=2865
case_no=165 label=Case6.153 nb_sol=0 ticks=530946 tps=100 nb_sec=5309
case_no=165 label=Case6.153 nb_sol=0 ticks=567598 tps=100 nb_sec=5675
case_no=165 label=Case6.153 nb_sol=0 ticks=697984 tps=100 nb_sec=6979
case_no=165 label=Case6.153 nb_sol=0 ticks=667848 tps=100 nb_sec=6678
case_no=165 label=Case6.153 nb_sol=0 ticks=356099 tps=100 nb_sec=3560
case_no=165 label=Case6.153 nb_sol=0 ticks=605709 tps=100 nb_sec=6057
case_no=165 label=Case6.153 nb_sol=0 ticks=319914 tps=100 nb_sec=3199
case_no=165 label=Case6.153 nb_sol=0 ticks=530877 tps=100 nb_sec=5308
case_no=165 label=Case6.153 nb_sol=0 ticks=564463 tps=100 nb_sec=5644
case_no=165 label=Case6.153 nb_sol=0 ticks=309167 tps=100 nb_sec=3091
case_no=165 label=Case6.153 nb_sol=0 ticks=254213 tps=100 nb_sec=2542
case_no=165 label=Case6.153 nb_sol=0 ticks=530180 tps=100 nb_sec=5301
case_no=165 label=Case6.153 nb_sol=0 ticks=1226772 tps=100 nb_sec=12267
case_no=165 label=Case6.153 nb_sol=0 ticks=404543 tps=100 nb_sec=4045
case_no=165 label=Case6.153 nb_sol=0 ticks=700920 tps=100 nb_sec=7009
case_no=165 label=Case6.153 nb_sol=0 ticks=487295 tps=100 nb_sec=4872
case_no=165 label=Case6.153 nb_sol=0 ticks=295619 tps=100 nb_sec=2956
case_no=165 label=Case6.153 nb_sol=0 ticks=359368 tps=100 nb_sec=3593
case_no=165 label=Case6.153 nb_sol=0 ticks=298625 tps=100 nb_sec=2986
case_no=165 label=Case6.153 nb_sol=0 ticks=438453 tps=100 nb_sec=4384
case_no=165 label=Case6.153 nb_sol=0 ticks=246395 tps=100 nb_sec=2463
case_no=165 label=Case6.153 nb_sol=0 ticks=1079126 tps=100 nb_sec=10791
case_no=165 label=Case6.153 nb_sol=0 ticks=299987 tps=100 nb_sec=2999
case_no=165 label=Case6.153 nb_sol=0 ticks=299104 tps=100 nb_sec=2991
case_no=165 label=Case6.153 nb_sol=0 ticks=557279 tps=100 nb_sec=5572
case_no=165 label=Case6.153 nb_sol=0 ticks=290896 tps=100 nb_sec=2908
case_no=165 label=Case6.153 nb_sol=0 ticks=786473 tps=100 nb_sec=7864
case_no=165 label=Case6.153 nb_sol=0 ticks=536704 tps=100 nb_sec=5367
case_no=165 label=Case6.153 nb_sol=0 ticks=747991 tps=100 nb_sec=7479
case_no=165 label=Case6.153 nb_sol=0 ticks=285157 tps=100 nb_sec=2851
case_no=165 label=Case6.153 nb_sol=0 ticks=506877 tps=100 nb_sec=5068
case_no=165 label=Case6.153 nb_sol=0 ticks=279024 tps=100 nb_sec=2790
case_no=165 label=Case6.153 nb_sol=0 ticks=491866 tps=100 nb_sec=4918
case_no=165 label=Case6.153 nb_sol=0 ticks=776751 tps=100 nb_sec=7767
case_no=165 label=Case6.153 nb_sol=0 ticks=262851 tps=100 nb_sec=2628
case_no=165 label=Case6.153 nb_sol=0 ticks=587437 tps=100 nb_sec=5874
case_no=165 label=Case6.153 nb_sol=0 ticks=723016 tps=100 nb_sec=7230
case_no=165 label=Case6.153 nb_sol=0 ticks=332340 tps=100 nb_sec=3323
case_no=165 label=Case6.153 nb_sol=0 ticks=633575 tps=100 nb_sec=6335
case_no=165 label=Case6.153 nb_sol=0 ticks=750283 tps=100 nb_sec=7502
case_no=165 label=Case6.153 nb_sol=0 ticks=288403 tps=100 nb_sec=2884
case_no=165 label=Case6.153 nb_sol=0 ticks=538289 tps=100 nb_sec=5382
case_no=165 label=Case6.153 nb_sol=0 ticks=285992 tps=100 nb_sec=2859
case_no=165 label=Case6.153 nb_sol=0 ticks=287644 tps=100 nb_sec=2876
case_no=165 label=Case6.153 nb_sol=0 ticks=394933 tps=100 nb_sec=3949
case_no=165 label=Case6.153 nb_sol=0 ticks=501022 tps=100 nb_sec=5010
case_no=165 label=Case6.153 nb_sol=0 ticks=339571 tps=100 nb_sec=3395
case_no=165 label=Case6.153 nb_sol=0 ticks=573378 tps=100 nb_sec=5733
case_no=165 label=Case6.153 nb_sol=0 ticks=375872 tps=100 nb_sec=3758
case_no=165 label=Case6.153 nb_sol=0 ticks=394954 tps=100 nb_sec=3949
case_no=165 label=Case6.153 nb_sol=0 ticks=621295 tps=100 nb_sec=6212
case_no=165 label=Case6.153 nb_sol=0 ticks=252772 tps=100 nb_sec=2527
case_no=165 label=Case6.153 nb_sol=0 ticks=587298 tps=100 nb_sec=5872
case_no=165 label=Case6.153 nb_sol=0 ticks=409151 tps=100 nb_sec=4091
case_no=165 label=Case6.153 nb_sol=0 ticks=406247 tps=100 nb_sec=4062
case_no=165 label=Case6.153 nb_sol=0 ticks=218508 tps=100 nb_sec=2185
case_no=165 label=Case6.153 nb_sol=0 ticks=692082 tps=100 nb_sec=6920
case_no=165 label=Case6.153 nb_sol=0 ticks=334602 tps=100 nb_sec=3346
case_no=165 label=Case6.153 nb_sol=0 ticks=286978 tps=100 nb_sec=2869
case_no=165 label=Case6.153 nb_sol=0 ticks=459969 tps=100 nb_sec=4599
case_no=165 label=Case6.153 nb_sol=0 ticks=615590 tps=100 nb_sec=6155
case_no=165 label=Case6.153 nb_sol=0 ticks=556681 tps=100 nb_sec=5566
case_no=165 label=Case6.153 nb_sol=0 ticks=447696 tps=100 nb_sec=4476
case_no=165 label=Case6.153 nb_sol=0 ticks=700348 tps=100 nb_sec=7003
case_no=165 label=Case6.153 nb_sol=0 ticks=523038 tps=100 nb_sec=5230
case_no=165 label=Case6.153 nb_sol=0 ticks=553443 tps=100 nb_sec=5534
case_no=165 label=Case6.153 nb_sol=0 ticks=700373 tps=100 nb_sec=7003
case_no=165 label=Case6.153 nb_sol=0 ticks=467871 tps=100 nb_sec=4678
case_no=165 label=Case6.153 nb_sol=0 ticks=1108702 tps=100 nb_sec=11087
case_no=165 label=Case6.153 nb_sol=0 ticks=445586 tps=100 nb_sec=4455
case_no=165 label=Case6.153 nb_sol=0 ticks=498711 tps=100 nb_sec=4987
case_no=165 label=Case6.153 nb_sol=0 ticks=462939 tps=100 nb_sec=4629
case_no=165 label=Case6.153 nb_sol=0 ticks=941629 tps=100 nb_sec=9416
case_no=165 label=Case6.153 nb_sol=0 ticks=386770 tps=100 nb_sec=3867
case_no=165 label=Case6.153 nb_sol=0 ticks=283466 tps=100 nb_sec=2834
case_no=165 label=Case6.153 nb_sol=0 ticks=257531 tps=100 nb_sec=2575
case_no=165 label=Case6.153 nb_sol=0 ticks=576650 tps=100 nb_sec=5766
case_no=165 label=Case6.153 nb_sol=0 ticks=244223 tps=100 nb_sec=2442
case_no=165 label=Case6.153 nb_sol=0 ticks=511596 tps=100 nb_sec=5115
case_no=165 label=Case6.153 nb_sol=0 ticks=584491 tps=100 nb_sec=5844
case_no=165 label=Case6.153 nb_sol=0 ticks=272445 tps=100 nb_sec=2724
case_no=165 label=Case6.153 nb_sol=0 ticks=666223 tps=100 nb_sec=6662
case_no=165 label=Case6.153 nb_sol=0 ticks=543701 tps=100 nb_sec=5437
case_no=165 label=Case6.153 nb_sol=0 ticks=1011009 tps=100 nb_sec=10110
case_no=165 label=Case6.153 nb_sol=0 ticks=261123 tps=100 nb_sec=2611
case_no=165 label=Case6.153 nb_sol=0 ticks=211994 tps=100 nb_sec=2119
case_no=165 label=Case6.153 nb_sol=0 ticks=735982 tps=100 nb_sec=7359
case_no=165 label=Case6.153 nb_sol=0 ticks=585240 tps=100 nb_sec=5852
case_no=165 label=Case6.153 nb_sol=0 ticks=748693 tps=100 nb_sec=7486
case_no=165 label=Case6.153 nb_sol=0 ticks=795779 tps=100 nb_sec=7957
case_no=165 label=Case6.153 nb_sol=0 ticks=927369 tps=100 nb_sec=9273
case_no=165 label=Case6.153 nb_sol=0 ticks=715639 tps=100 nb_sec=7156
case_no=165 label=Case6.153 nb_sol=0 ticks=641431 tps=100 nb_sec=6414
case_no=165 label=Case6.153 nb_sol=0 ticks=863215 tps=100 nb_sec=8632
case_no=165 label=Case6.153 nb_sol=0 ticks=808943 tps=100 nb_sec=8089
case_no=165 label=Case6.153 nb_sol=0 ticks=294363 tps=100 nb_sec=2943
case_no=165 label=Case6.153 nb_sol=0 ticks=538528 tps=100 nb_sec=5385
case_no=165 label=Case6.153 nb_sol=0 ticks=1089410 tps=100 nb_sec=10894
case_no=165 label=Case6.153 nb_sol=0 ticks=470031 tps=100 nb_sec=4700
case_no=165 label=Case6.153 nb_sol=0 ticks=1178707 tps=100 nb_sec=11787
case_no=165 label=Case6.153 nb_sol=0 ticks=366601 tps=100 nb_sec=3666
case_no=165 label=Case6.153 nb_sol=0 ticks=308831 tps=100 nb_sec=3088
case_no=165 label=Case6.153 nb_sol=0 ticks=396924 tps=100 nb_sec=3969
case_no=165 label=Case6.153 nb_sol=0 ticks=594231 tps=100 nb_sec=5942
case_no=165 label=Case6.153 nb_sol=0 ticks=358019 tps=100 nb_sec=3580
case_no=165 label=Case6.153 nb_sol=0 ticks=338189 tps=100 nb_sec=3381
case_no=165 label=Case6.153 nb_sol=0 ticks=611698 tps=100 nb_sec=6116
case_no=165 label=Case6.153 nb_sol=0 ticks=654830 tps=100 nb_sec=6548
case_no=165 label=Case6.153 nb_sol=0 ticks=597279 tps=100 nb_sec=5972
case_no=165 label=Case6.153 nb_sol=0 ticks=886971 tps=100 nb_sec=8869
case_no=165 label=Case6.153 nb_sol=0 ticks=965765 tps=100 nb_sec=9657
case_no=165 label=Case6.153 nb_sol=0 ticks=733002 tps=100 nb_sec=7330
case_no=165 label=Case6.153 nb_sol=0 ticks=508496 tps=100 nb_sec=5084
case_no=165 label=Case6.153 nb_sol=0 ticks=778150 tps=100 nb_sec=7781
case_no=165 label=Case6.153 nb_sol=0 ticks=337200 tps=100 nb_sec=3372
case_no=165 label=Case6.153 nb_sol=0 ticks=1073131 tps=100 nb_sec=10731
case_no=165 label=Case6.153 nb_sol=0 ticks=615899 tps=100 nb_sec=6158
case_no=165 label=Case6.153 nb_sol=0 ticks=696633 tps=100 nb_sec=6966
case_no=165 label=Case6.153 nb_sol=0 ticks=540594 tps=100 nb_sec=5405
case_no=165 label=Case6.153 nb_sol=0 ticks=720758 tps=100 nb_sec=7207
case_no=165 label=Case6.153 nb_sol=0 ticks=603226 tps=100 nb_sec=6032
case_no=165 label=Case6.153 nb_sol=0 ticks=826297 tps=100 nb_sec=8262
case_no=165 label=Case6.153 nb_sol=0 ticks=1067818 tps=100 nb_sec=10678
case_no=165 label=Case6.153 nb_sol=0 ticks=860370 tps=100 nb_sec=8603
case_no=165 label=Case6.153 nb_sol=0 ticks=857254 tps=100 nb_sec=8572
case_no=165 label=Case6.153 nb_sol=0 ticks=827453 tps=100 nb_sec=8274
case_no=165 label=Case6.153 nb_sol=0 ticks=567401 tps=100 nb_sec=5674
case_no=165 label=Case6.153 nb_sol=0 ticks=667262 tps=100 nb_sec=6672
case_no=165 label=Case6.153 nb_sol=0 ticks=782393 tps=100 nb_sec=7823
case_no=165 label=Case6.153 nb_sol=0 ticks=334012 tps=100 nb_sec=3340
case_no=165 label=Case6.153 nb_sol=0 ticks=780896 tps=100 nb_sec=7808
case_no=165 label=Case6.153 nb_sol=0 ticks=683031 tps=100 nb_sec=6830
case_no=165 label=Case6.153 nb_sol=0 ticks=319562 tps=100 nb_sec=3195
case_no=165 label=Case6.153 nb_sol=0 ticks=671176 tps=100 nb_sec=6711
case_no=165 label=Case6.153 nb_sol=0 ticks=792777 tps=100 nb_sec=7927
case_no=165 label=Case6.153 nb_sol=0 ticks=812746 tps=100 nb_sec=8127
case_no=165 label=Case6.153 nb_sol=0 ticks=434251 tps=100 nb_sec=4342
case_no=165 label=Case6.153 nb_sol=0 ticks=737141 tps=100 nb_sec=7371
case_no=165 label=Case6.153 nb_sol=0 ticks=617279 tps=100 nb_sec=6172
case_no=165 label=Case6.153 nb_sol=0 ticks=828967 tps=100 nb_sec=8289
case_no=165 label=Case6.153 nb_sol=0 ticks=771383 tps=100 nb_sec=7713
case_no=165 label=Case6.153 nb_sol=0 ticks=714764 tps=100 nb_sec=7147
case_no=165 label=Case6.153 nb_sol=0 ticks=1173760 tps=100 nb_sec=11737
case_no=165 label=Case6.153 nb_sol=0 ticks=797426 tps=100 nb_sec=7974
case_no=165 label=Case6.153 nb_sol=0 ticks=553343 tps=100 nb_sec=5533
case_no=165 label=Case6.153 nb_sol=0 ticks=445459 tps=100 nb_sec=4454
case_no=165 label=Case6.153 nb_sol=0 ticks=1066110 tps=100 nb_sec=10661
case_no=165 label=Case6.153 nb_sol=0 ticks=1114255 tps=100 nb_sec=11142
case_no=165 label=Case6.153 nb_sol=0 ticks=1128647 tps=100 nb_sec=11286
case_no=165 label=Case6.153 nb_sol=0 ticks=248282 tps=100 nb_sec=2482
case_no=165 label=Case6.153 nb_sol=0 ticks=711203 tps=100 nb_sec=7112
case_no=165 label=Case6.153 nb_sol=0 ticks=732046 tps=100 nb_sec=7320
case_no=165 label=Case6.153 nb_sol=0 ticks=827044 tps=100 nb_sec=8270
case_no=165 label=Case6.153 nb_sol=0 ticks=796979 tps=100 nb_sec=7969
case_no=165 label=Case6.153 nb_sol=0 ticks=601331 tps=100 nb_sec=6013
case_no=165 label=Case6.153 nb_sol=0 ticks=716656 tps=100 nb_sec=7166
case_no=165 label=Case6.153 nb_sol=0 ticks=673681 tps=100 nb_sec=6736
case_no=165 label=Case6.153 nb_sol=0 ticks=309090 tps=100 nb_sec=3090
case_no=165 label=Case6.153 nb_sol=0 ticks=561148 tps=100 nb_sec=5611
case_no=165 label=Case6.153 nb_sol=0 ticks=1144696 tps=100 nb_sec=11446
case_no=165 label=Case6.153 nb_sol=0 ticks=440894 tps=100 nb_sec=4408
case_no=165 label=Case6.153 nb_sol=0 ticks=1163958 tps=100 nb_sec=11639
case_no=165 label=Case6.153 nb_sol=0 ticks=340423 tps=100 nb_sec=3404
case_no=165 label=Case6.153 nb_sol=0 ticks=622927 tps=100 nb_sec=6229
case_no=165 label=Case6.153 nb_sol=0 ticks=747566 tps=100 nb_sec=7475
case_no=165 label=Case6.153 nb_sol=0 ticks=682394 tps=100 nb_sec=6823
case_no=165 label=Case6.153 nb_sol=0 ticks=374294 tps=100 nb_sec=3742
case_no=165 label=Case6.153 nb_sol=0 ticks=418697 tps=100 nb_sec=4186
case_no=165 label=Case6.153 nb_sol=0 ticks=332013 tps=100 nb_sec=3320
case_no=165 label=Case6.153 nb_sol=0 ticks=342040 tps=100 nb_sec=3420
case_no=165 label=Case6.153 nb_sol=0 ticks=390003 tps=100 nb_sec=3900
case_no=165 label=Case6.153 nb_sol=0 ticks=1091331 tps=100 nb_sec=10913
case_no=165 label=Case6.153 nb_sol=0 ticks=337719 tps=100 nb_sec=3377
case_no=165 label=Case6.153 nb_sol=0 ticks=667407 tps=100 nb_sec=6674
case_no=165 label=Case6.153 nb_sol=0 ticks=706534 tps=100 nb_sec=7065
case_no=165 label=Case6.153 nb_sol=0 ticks=743372 tps=100 nb_sec=7433
case_no=165 label=Case6.153 nb_sol=0 ticks=704918 tps=100 nb_sec=7049
case_no=165 label=Case6.153 nb_sol=0 ticks=638249 tps=100 nb_sec=6382
case_no=165 label=Case6.153 nb_sol=0 ticks=286677 tps=100 nb_sec=2866
case_no=165 label=Case6.153 nb_sol=0 ticks=1088687 tps=100 nb_sec=10886
case_no=165 label=Case6.153 nb_sol=0 ticks=327916 tps=100 nb_sec=3279
case_no=165 label=Case6.153 nb_sol=0 ticks=1074096 tps=100 nb_sec=10740
case_no=165 label=Case6.153 nb_sol=0 ticks=704817 tps=100 nb_sec=7048
case_no=165 label=Case6.153 nb_sol=0 ticks=326033 tps=100 nb_sec=3260
case_no=165 label=Case6.153 nb_sol=0 ticks=324805 tps=100 nb_sec=3248
case_no=165 label=Case6.153 nb_sol=0 ticks=1129219 tps=100 nb_sec=11292
case_no=165 label=Case6.153 nb_sol=0 ticks=305467 tps=100 nb_sec=3054
case_no=165 label=Case6.153 nb_sol=0 ticks=948544 tps=100 nb_sec=9485
case_no=165 label=Case6.153 nb_sol=0 ticks=293231 tps=100 nb_sec=2932
case_no=165 label=Case6.153 nb_sol=0 ticks=990462 tps=100 nb_sec=9904
case_no=165 label=Case6.153 nb_sol=0 ticks=265988 tps=100 nb_sec=2659
case_no=165 label=Case6.153 nb_sol=0 ticks=230352 tps=100 nb_sec=2303
case_no=165 label=Case6.153 nb_sol=0 ticks=530435 tps=100 nb_sec=5304
case_no=165 label=Case6.153 nb_sol=0 ticks=546771 tps=100 nb_sec=5467
case_no=165 label=Case6.153 nb_sol=0 ticks=311249 tps=100 nb_sec=3112
case_no=165 label=Case6.153 nb_sol=0 ticks=771033 tps=100 nb_sec=7710
case_no=165 label=Case6.153 nb_sol=0 ticks=597181 tps=100 nb_sec=5971
case_no=165 label=Case6.153 nb_sol=0 ticks=376988 tps=100 nb_sec=3769
case_no=165 label=Case6.153 nb_sol=0 ticks=901997 tps=100 nb_sec=9019
case_no=165 label=Case6.153 nb_sol=0 ticks=669024 tps=100 nb_sec=6690
case_no=165 label=Case6.153 nb_sol=0 ticks=329411 tps=100 nb_sec=3294
case_no=165 label=Case6.153 nb_sol=0 ticks=751006 tps=100 nb_sec=7510
case_no=165 label=Case6.153 nb_sol=0 ticks=746887 tps=100 nb_sec=7468
case_no=165 label=Case6.153 nb_sol=0 ticks=274336 tps=100 nb_sec=2743
case_no=165 label=Case6.153 nb_sol=0 ticks=685706 tps=100 nb_sec=6857
case_no=165 label=Case6.153 nb_sol=0 ticks=568762 tps=100 nb_sec=5687
case_no=165 label=Case6.153 nb_sol=0 ticks=509451 tps=100 nb_sec=5094
case_no=165 label=Case6.153 nb_sol=0 ticks=713599 tps=100 nb_sec=7135
case_no=165 label=Case6.153 nb_sol=0 ticks=652020 tps=100 nb_sec=6520
case_no=165 label=Case6.153 nb_sol=0 ticks=738909 tps=100 nb_sec=7389
case_no=165 label=Case6.153 nb_sol=0 ticks=754182 tps=100 nb_sec=7541
case_no=165 label=Case6.153 nb_sol=0 ticks=343698 tps=100 nb_sec=3436
case_no=165 label=Case6.153 nb_sol=0 ticks=610007 tps=100 nb_sec=6100
case_no=165 label=Case6.153 nb_sol=0 ticks=576856 tps=100 nb_sec=5768
case_no=165 label=Case6.153 nb_sol=0 ticks=755219 tps=100 nb_sec=7552
case_no=165 label=Case6.153 nb_sol=0 ticks=496103 tps=100 nb_sec=4961
case_no=165 label=Case6.153 nb_sol=0 ticks=484868 tps=100 nb_sec=4848
case_no=165 label=Case6.153 nb_sol=0 ticks=322572 tps=100 nb_sec=3225
case_no=165 label=Case6.153 nb_sol=0 ticks=560790 tps=100 nb_sec=5607
case_no=165 label=Case6.153 nb_sol=0 ticks=752734 tps=100 nb_sec=7527
case_no=165 label=Case6.153 nb_sol=0 ticks=642004 tps=100 nb_sec=6420
case_no=165 label=Case6.153 nb_sol=0 ticks=520160 tps=100 nb_sec=5201
case_no=165 label=Case6.153 nb_sol=0 ticks=339930 tps=100 nb_sec=3399
case_no=165 label=Case6.153 nb_sol=0 ticks=447326 tps=100 nb_sec=4473
case_no=165 label=Case6.153 nb_sol=0 ticks=360972 tps=100 nb_sec=3609
case_no=165 label=Case6.153 nb_sol=0 ticks=238487 tps=100 nb_sec=2384
case_no=165 label=Case6.153 nb_sol=0 ticks=615874 tps=100 nb_sec=6158
case_no=165 label=Case6.153 nb_sol=0 ticks=238544 tps=100 nb_sec=2385
case_no=165 label=Case6.153 nb_sol=0 ticks=435087 tps=100 nb_sec=4350
case_no=165 label=Case6.153 nb_sol=0 ticks=512428 tps=100 nb_sec=5124
case_no=165 label=Case6.153 nb_sol=0 ticks=249484 tps=100 nb_sec=2494
case_no=165 label=Case6.153 nb_sol=0 ticks=599059 tps=100 nb_sec=5990
case_no=165 label=Case6.153 nb_sol=0 ticks=529670 tps=100 nb_sec=5296
case_no=165 label=Case6.153 nb_sol=0 ticks=296746 tps=100 nb_sec=2967
case_no=165 label=Case6.153 nb_sol=0 ticks=653127 tps=100 nb_sec=6531
case_no=165 label=Case6.153 nb_sol=0 ticks=556369 tps=100 nb_sec=5563
case_no=165 label=Case6.153 nb_sol=0 ticks=323680 tps=100 nb_sec=3236
case_no=165 label=Case6.153 nb_sol=0 ticks=323782 tps=100 nb_sec=3237
case_no=165 label=Case6.153 nb_sol=0 ticks=492952 tps=100 nb_sec=4929
case_no=165 label=Case6.153 nb_sol=0 ticks=719803 tps=100 nb_sec=7198
case_no=165 label=Case6.153 nb_sol=0 ticks=256215 tps=100 nb_sec=2562
case_no=165 label=Case6.153 nb_sol=0 ticks=350132 tps=100 nb_sec=3501
case_no=165 label=Case6.153 nb_sol=0 ticks=562132 tps=100 nb_sec=5621
case_no=165 label=Case6.153 nb_sol=0 ticks=639243 tps=100 nb_sec=6392
case_no=165 label=Case6.153 nb_sol=0 ticks=597608 tps=100 nb_sec=5976
case_no=165 label=Case6.153 nb_sol=0 ticks=455308 tps=100 nb_sec=4553
case_no=165 label=Case6.153 nb_sol=0 ticks=483604 tps=100 nb_sec=4836
case_no=165 label=Case6.153 nb_sol=0 ticks=299240 tps=100 nb_sec=2992
case_no=165 label=Case6.153 nb_sol=0 ticks=662546 tps=100 nb_sec=6625
case_no=165 label=Case6.153 nb_sol=0 ticks=746581 tps=100 nb_sec=7465
case_no=165 label=Case6.153 nb_sol=0 ticks=588075 tps=100 nb_sec=5880
case_no=165 label=Case6.153 nb_sol=0 ticks=266339 tps=100 nb_sec=2663
case_no=165 label=Case6.153 nb_sol=0 ticks=209384 tps=100 nb_sec=2093
case_no=165 label=Case6.153 nb_sol=0 ticks=349567 tps=100 nb_sec=3495
case_no=165 label=Case6.153 nb_sol=0 ticks=344920 tps=100 nb_sec=3449
case_no=165 label=Case6.153 nb_sol=0 ticks=509300 tps=100 nb_sec=5093
case_no=165 label=Case6.153 nb_sol=0 ticks=278547 tps=100 nb_sec=2785
case_no=165 label=Case6.153 nb_sol=0 ticks=306191 tps=100 nb_sec=3061
case_no=165 label=Case6.153 nb_sol=0 ticks=314852 tps=100 nb_sec=3148
case_no=165 label=Case6.153 nb_sol=0 ticks=564698 tps=100 nb_sec=5646
case_no=165 label=Case6.153 nb_sol=0 ticks=267839 tps=100 nb_sec=2678
case_no=165 label=Case6.153 nb_sol=0 ticks=703911 tps=100 nb_sec=7039
case_no=165 label=Case6.153 nb_sol=0 ticks=325867 tps=100 nb_sec=3258
case_no=165 label=Case6.153 nb_sol=0 ticks=292244 tps=100 nb_sec=2922
case_no=165 label=Case6.153 nb_sol=0 ticks=307163 tps=100 nb_sec=3071
case_no=165 label=Case6.153 nb_sol=0 ticks=247220 tps=100 nb_sec=2472
case_no=165 label=Case6.153 nb_sol=0 ticks=231455 tps=100 nb_sec=2314
case_no=165 label=Case6.153 nb_sol=0 ticks=269465 tps=100 nb_sec=2694
case_no=165 label=Case6.153 nb_sol=0 ticks=276296 tps=100 nb_sec=2762
case_no=165 label=Case6.153 nb_sol=0 ticks=718697 tps=100 nb_sec=7186
case_no=165 label=Case6.153 nb_sol=0 ticks=522260 tps=100 nb_sec=5222
case_no=165 label=Case6.153 nb_sol=0 ticks=584218 tps=100 nb_sec=5842
case_no=165 label=Case6.153 nb_sol=0 ticks=295140 tps=100 nb_sec=2951
case_no=165 label=Case6.153 nb_sol=0 ticks=688324 tps=100 nb_sec=6883
case_no=165 label=Case6.153 nb_sol=0 ticks=205358 tps=100 nb_sec=2053
case_no=165 label=Case6.153 nb_sol=0 ticks=457941 tps=100 nb_sec=4579
case_no=165 label=Case6.153 nb_sol=0 ticks=251344 tps=100 nb_sec=2513
case_no=165 label=Case6.153 nb_sol=0 ticks=569223 tps=100 nb_sec=5692
case_no=165 label=Case6.153 nb_sol=0 ticks=750148 tps=100 nb_sec=7501
case_no=165 label=Case6.153 nb_sol=0 ticks=308511 tps=100 nb_sec=3085
case_no=165 label=Case6.153 nb_sol=0 ticks=529093 tps=100 nb_sec=5290
case_no=165 label=Case6.153 nb_sol=0 ticks=301483 tps=100 nb_sec=3014
case_no=165 label=Case6.153 nb_sol=0 ticks=330092 tps=100 nb_sec=3300
case_no=165 label=Case6.153 nb_sol=0 ticks=717091 tps=100 nb_sec=7170
case_no=165 label=Case6.153 nb_sol=0 ticks=619944 tps=100 nb_sec=6199
case_no=165 label=Case6.153 nb_sol=0 ticks=498140 tps=100 nb_sec=4981
case_no=165 label=Case6.153 nb_sol=0 ticks=275662 tps=100 nb_sec=2756
case_no=165 label=Case6.153 nb_sol=0 ticks=650674 tps=100 nb_sec=6506
case_no=165 label=Case6.153 nb_sol=0 ticks=599984 tps=100 nb_sec=5999
case_no=165 label=Case6.153 nb_sol=0 ticks=560964 tps=100 nb_sec=5609
case_no=165 label=Case6.153 nb_sol=0 ticks=641362 tps=100 nb_sec=6413
case_no=165 label=Case6.153 nb_sol=0 ticks=591629 tps=100 nb_sec=5916
case_no=165 label=Case6.153 nb_sol=0 ticks=626197 tps=100 nb_sec=6261
case_no=165 label=Case6.153 nb_sol=0 ticks=532801 tps=100 nb_sec=5328
case_no=165 label=Case6.153 nb_sol=0 ticks=528133 tps=100 nb_sec=5281
case_no=165 label=Case6.153 nb_sol=0 ticks=295476 tps=100 nb_sec=2954
case_no=165 label=Case6.153 nb_sol=0 ticks=449000 tps=100 nb_sec=4490
case_no=165 label=Case6.153 nb_sol=0 ticks=310028 tps=100 nb_sec=3100
case_no=165 label=Case6.153 nb_sol=0 ticks=629193 tps=100 nb_sec=6291
case_no=165 label=Case6.153 nb_sol=0 ticks=556137 tps=100 nb_sec=5561
case_no=165 label=Case6.153 nb_sol=0 ticks=336034 tps=100 nb_sec=3360
case_no=165 label=Case6.153 nb_sol=0 ticks=399208 tps=100 nb_sec=3992
case_no=165 label=Case6.153 nb_sol=0 ticks=697831 tps=100 nb_sec=6978
case_no=165 label=Case6.153 nb_sol=0 ticks=721083 tps=100 nb_sec=7210
case_no=165 label=Case6.153 nb_sol=0 ticks=710323 tps=100 nb_sec=7103
case_no=165 label=Case6.153 nb_sol=0 ticks=346908 tps=100 nb_sec=3469
case_no=165 label=Case6.153 nb_sol=0 ticks=257845 tps=100 nb_sec=2578
case_no=165 label=Case6.153 nb_sol=0 ticks=410825 tps=100 nb_sec=4108
case_no=165 label=Case6.153 nb_sol=0 ticks=561334 tps=100 nb_sec=5613
case_no=165 label=Case6.153 nb_sol=0 ticks=362763 tps=100 nb_sec=3627
case_no=165 label=Case6.153 nb_sol=0 ticks=447260 tps=100 nb_sec=4472
case_no=165 label=Case6.153 nb_sol=0 ticks=528564 tps=100 nb_sec=5285
case_no=165 label=Case6.153 nb_sol=0 ticks=675310 tps=100 nb_sec=6753
case_no=165 label=Case6.153 nb_sol=0 ticks=592988 tps=100 nb_sec=5929
case_no=165 label=Case6.153 nb_sol=0 ticks=494621 tps=100 nb_sec=4946
case_no=165 label=Case6.153 nb_sol=0 ticks=569076 tps=100 nb_sec=5690
case_no=165 label=Case6.153 nb_sol=0 ticks=535800 tps=100 nb_sec=5358
case_no=165 label=Case6.153 nb_sol=0 ticks=623136 tps=100 nb_sec=6231
case_no=165 label=Case6.153 nb_sol=0 ticks=279233 tps=100 nb_sec=2792
case_no=165 label=Case6.153 nb_sol=0 ticks=622287 tps=100 nb_sec=6222
case_no=165 label=Case6.153 nb_sol=0 ticks=673980 tps=100 nb_sec=6739
case_no=165 label=Case6.153 nb_sol=0 ticks=617150 tps=100 nb_sec=6171
case_no=165 label=Case6.153 nb_sol=0 ticks=644051 tps=100 nb_sec=6440
case_no=165 label=Case6.153 nb_sol=0 ticks=565956 tps=100 nb_sec=5659
case_no=165 label=Case6.153 nb_sol=0 ticks=439832 tps=100 nb_sec=4398
case_no=165 label=Case6.153 nb_sol=0 ticks=614693 tps=100 nb_sec=6146
case_no=165 label=Case6.153 nb_sol=0 ticks=654841 tps=100 nb_sec=6548
case_no=165 label=Case6.153 nb_sol=0 ticks=298097 tps=100 nb_sec=2980
case_no=165 label=Case6.153 nb_sol=0 ticks=478996 tps=100 nb_sec=4789
case_no=165 label=Case6.153 nb_sol=0 ticks=521787 tps=100 nb_sec=5217
case_no=165 label=Case6.153 nb_sol=0 ticks=616818 tps=100 nb_sec=6168
case_no=165 label=Case6.153 nb_sol=0 ticks=631157 tps=100 nb_sec=6311
case_no=165 label=Case6.153 nb_sol=0 ticks=512383 tps=100 nb_sec=5123
case_no=165 label=Case6.153 nb_sol=0 ticks=669606 tps=100 nb_sec=6696
case_no=165 label=Case6.153 nb_sol=0 ticks=584904 tps=100 nb_sec=5849
case_no=165 label=Case6.153 nb_sol=0 ticks=463409 tps=100 nb_sec=4634
case_no=165 label=Case6.153 nb_sol=0 ticks=495931 tps=100 nb_sec=4959
case_no=165 label=Case6.153 nb_sol=0 ticks=559324 tps=100 nb_sec=5593
case_no=165 label=Case6.153 nb_sol=0 ticks=690538 tps=100 nb_sec=6905
case_no=165 label=Case6.153 nb_sol=0 ticks=401467 tps=100 nb_sec=4014
case_no=165 label=Case6.153 nb_sol=0 ticks=584610 tps=100 nb_sec=5846
case_no=165 label=Case6.153 nb_sol=0 ticks=376934 tps=100 nb_sec=3769
case_no=165 label=Case6.153 nb_sol=0 ticks=383477 tps=100 nb_sec=3834
case_no=165 label=Case6.153 nb_sol=0 ticks=361853 tps=100 nb_sec=3618
case_no=165 label=Case6.153 nb_sol=0 ticks=391950 tps=100 nb_sec=3919
case_no=165 label=Case6.153 nb_sol=0 ticks=495922 tps=100 nb_sec=4959
case_no=165 label=Case6.153 nb_sol=0 ticks=627658 tps=100 nb_sec=6276
case_no=165 label=Case6.153 nb_sol=0 ticks=445942 tps=100 nb_sec=4459
case_no=165 label=Case6.153 nb_sol=0 ticks=335984 tps=100 nb_sec=3359
case_no=165 label=Case6.153 nb_sol=0 ticks=498532 tps=100 nb_sec=4985
case_no=165 label=Case6.153 nb_sol=0 ticks=329690 tps=100 nb_sec=3296
case_no=165 label=Case6.153 nb_sol=0 ticks=714258 tps=100 nb_sec=7142
case_no=165 label=Case6.153 nb_sol=0 ticks=635250 tps=100 nb_sec=6352
case_no=165 label=Case6.153 nb_sol=0 ticks=703947 tps=100 nb_sec=7039
case_no=165 label=Case6.153 nb_sol=0 ticks=589120 tps=100 nb_sec=5891
case_no=165 label=Case6.153 nb_sol=0 ticks=744726 tps=100 nb_sec=7447
case_no=165 label=Case6.153 nb_sol=0 ticks=307869 tps=100 nb_sec=3078
case_no=165 label=Case6.153 nb_sol=0 ticks=321932 tps=100 nb_sec=3219
case_no=165 label=Case6.153 nb_sol=0 ticks=669878 tps=100 nb_sec=6698
case_no=165 label=Case6.153 nb_sol=0 ticks=314578 tps=100 nb_sec=3145
case_no=165 label=Case6.153 nb_sol=0 ticks=462329 tps=100 nb_sec=4623
case_no=165 label=Case6.153 nb_sol=0 ticks=636934 tps=100 nb_sec=6369
case_no=165 label=Case6.153 nb_sol=0 ticks=470706 tps=100 nb_sec=4707
case_no=165 label=Case6.153 nb_sol=0 ticks=316244 tps=100 nb_sec=3162
case_no=165 label=Case6.153 nb_sol=0 ticks=732068 tps=100 nb_sec=7320
case_no=165 label=Case6.153 nb_sol=0 ticks=726964 tps=100 nb_sec=7269
case_no=165 label=Case6.153 nb_sol=0 ticks=645983 tps=100 nb_sec=6459
case_no=165 label=Case6.153 nb_sol=0 ticks=297239 tps=100 nb_sec=2972
case_no=165 label=Case6.153 nb_sol=0 ticks=476859 tps=100 nb_sec=4768
case_no=165 label=Case6.153 nb_sol=0 ticks=595046 tps=100 nb_sec=5950
case_no=165 label=Case6.153 nb_sol=0 ticks=570264 tps=100 nb_sec=5702
case_no=165 label=Case6.153 nb_sol=0 ticks=530717 tps=100 nb_sec=5307
case_no=165 label=Case6.153 nb_sol=0 ticks=399477 tps=100 nb_sec=3994
case_no=165 label=Case6.153 nb_sol=0 ticks=728210 tps=100 nb_sec=7282
case_no=165 label=Case6.153 nb_sol=0 ticks=711858 tps=100 nb_sec=7118
case_no=165 label=Case6.153 nb_sol=0 ticks=323115 tps=100 nb_sec=3231
case_no=165 label=Case6.153 nb_sol=0 ticks=298653 tps=100 nb_sec=2986
case_no=165 label=Case6.153 nb_sol=0 ticks=362161 tps=100 nb_sec=3621
case_no=165 label=Case6.153 nb_sol=0 ticks=537603 tps=100 nb_sec=5376
case_no=165 label=Case6.153 nb_sol=0 ticks=386233 tps=100 nb_sec=3862
case_no=165 label=Case6.153 nb_sol=0 ticks=475434 tps=100 nb_sec=4754
case_no=165 label=Case6.153 nb_sol=0 ticks=283134 tps=100 nb_sec=2831
case_no=165 label=Case6.153 nb_sol=0 ticks=571257 tps=100 nb_sec=5712
case_no=165 label=Case6.153 nb_sol=0 ticks=536787 tps=100 nb_sec=5367
case_no=165 label=Case6.153 nb_sol=0 ticks=454581 tps=100 nb_sec=4545
case_no=165 label=Case6.153 nb_sol=0 ticks=701003 tps=100 nb_sec=7010
case_no=165 label=Case6.153 nb_sol=0 ticks=280271 tps=100 nb_sec=2802
case_no=165 label=Case6.153 nb_sol=0 ticks=344238 tps=100 nb_sec=3442
case_no=165 label=Case6.153 nb_sol=0 ticks=716548 tps=100 nb_sec=7165
case_no=165 label=Case6.153 nb_sol=0 ticks=562048 tps=100 nb_sec=5620
case_no=165 label=Case6.153 nb_sol=0 ticks=884059 tps=100 nb_sec=8840
case_no=165 label=Case6.153 nb_sol=0 ticks=698330 tps=100 nb_sec=6983
case_no=165 label=Case6.153 nb_sol=0 ticks=312772 tps=100 nb_sec=3127
case_no=165 label=Case6.153 nb_sol=0 ticks=537137 tps=100 nb_sec=5371
case_no=165 label=Case6.153 nb_sol=0 ticks=319297 tps=100 nb_sec=3192
case_no=165 label=Case6.153 nb_sol=0 ticks=575364 tps=100 nb_sec=5753
case_no=165 label=Case6.153 nb_sol=0 ticks=273910 tps=100 nb_sec=2739
case_no=165 label=Case6.153 nb_sol=0 ticks=511713 tps=100 nb_sec=5117
case_no=165 label=Case6.153 nb_sol=0 ticks=277135 tps=100 nb_sec=2771
case_no=165 label=Case6.153 nb_sol=0 ticks=576574 tps=100 nb_sec=5765
case_no=165 label=Case6.153 nb_sol=0 ticks=623234 tps=100 nb_sec=6232
case_no=165 label=Case6.153 nb_sol=0 ticks=294702 tps=100 nb_sec=2947
case_no=165 label=Case6.153 nb_sol=0 ticks=552407 tps=100 nb_sec=5524
case_no=165 label=Case6.153 nb_sol=0 ticks=591973 tps=100 nb_sec=5919
case_no=165 label=Case6.153 nb_sol=0 ticks=277331 tps=100 nb_sec=2773
case_no=165 label=Case6.153 nb_sol=0 ticks=305465 tps=100 nb_sec=3054
case_no=165 label=Case6.153 nb_sol=0 ticks=457535 tps=100 nb_sec=4575
case_no=165 label=Case6.153 nb_sol=0 ticks=246244 tps=100 nb_sec=2462
case_no=165 label=Case6.153 nb_sol=0 ticks=227655 tps=100 nb_sec=2276
case_no=165 label=Case6.153 nb_sol=0 ticks=440171 tps=100 nb_sec=4401
case_no=165 label=Case6.153 nb_sol=0 ticks=524505 tps=100 nb_sec=5245
case_no=165 label=Case6.153 nb_sol=0 ticks=494299 tps=100 nb_sec=4942
case_no=165 label=Case6.153 nb_sol=0 ticks=718404 tps=100 nb_sec=7184
case_no=165 label=Case6.153 nb_sol=0 ticks=675190 tps=100 nb_sec=6751
case_no=165 label=Case6.153 nb_sol=0 ticks=286905 tps=100 nb_sec=2869
case_no=165 label=Case6.153 nb_sol=0 ticks=832696 tps=100 nb_sec=8326
case_no=165 label=Case6.153 nb_sol=0 ticks=397380 tps=100 nb_sec=3973
case_no=165 label=Case6.153 nb_sol=0 ticks=251152 tps=100 nb_sec=2511
case_no=165 label=Case6.153 nb_sol=0 ticks=637655 tps=100 nb_sec=6376
case_no=165 label=Case6.153 nb_sol=0 ticks=597755 tps=100 nb_sec=5977
case_no=165 label=Case6.153 nb_sol=0 ticks=648266 tps=100 nb_sec=6482
case_no=165 label=Case6.153 nb_sol=0 ticks=426293 tps=100 nb_sec=4262
case_no=165 label=Case6.153 nb_sol=0 ticks=418526 tps=100 nb_sec=4185
case_no=165 label=Case6.153 nb_sol=0 ticks=265856 tps=100 nb_sec=2658
case_no=165 label=Case6.153 nb_sol=0 ticks=486930 tps=100 nb_sec=4869
case_no=165 label=Case6.153 nb_sol=0 ticks=531017 tps=100 nb_sec=5310
case_no=165 label=Case6.153 nb_sol=0 ticks=591906 tps=100 nb_sec=5919
case_no=165 label=Case6.153 nb_sol=0 ticks=618931 tps=100 nb_sec=6189
case_no=165 label=Case6.153 nb_sol=0 ticks=337403 tps=100 nb_sec=3374
case_no=165 label=Case6.153 nb_sol=0 ticks=632563 tps=100 nb_sec=6325
case_no=165 label=Case6.153 nb_sol=0 ticks=609702 tps=100 nb_sec=6097
case_no=165 label=Case6.153 nb_sol=0 ticks=580418 tps=100 nb_sec=5804
case_no=165 label=Case6.153 nb_sol=0 ticks=270882 tps=100 nb_sec=2708
case_no=165 label=Case6.153 nb_sol=0 ticks=261381 tps=100 nb_sec=2613
case_no=165 label=Case6.153 nb_sol=0 ticks=455666 tps=100 nb_sec=4556
case_no=165 label=Case6.153 nb_sol=0 ticks=490212 tps=100 nb_sec=4902
case_no=165 label=Case6.153 nb_sol=0 ticks=344754 tps=100 nb_sec=3447
case_no=165 label=Case6.153 nb_sol=0 ticks=283242 tps=100 nb_sec=2832
case_no=165 label=Case6.153 nb_sol=0 ticks=318712 tps=100 nb_sec=3187
case_no=165 label=Case6.153 nb_sol=0 ticks=753809 tps=100 nb_sec=7538
case_no=165 label=Case6.153 nb_sol=0 ticks=341242 tps=100 nb_sec=3412
case_no=165 label=Case6.153 nb_sol=0 ticks=594662 tps=100 nb_sec=5946
case_no=165 label=Case6.153 nb_sol=0 ticks=289011 tps=100 nb_sec=2890
case_no=165 label=Case6.153 nb_sol=0 ticks=313262 tps=100 nb_sec=3132
case_no=165 label=Case6.153 nb_sol=0 ticks=880630 tps=100 nb_sec=8806
case_no=165 label=Case6.153 nb_sol=0 ticks=947057 tps=100 nb_sec=9470
case_no=165 label=Case6.153 nb_sol=0 ticks=619258 tps=100 nb_sec=6192
case_no=165 label=Case6.153 nb_sol=0 ticks=423569 tps=100 nb_sec=4235
case_no=165 label=Case6.153 nb_sol=0 ticks=633668 tps=100 nb_sec=6336
case_no=165 label=Case6.153 nb_sol=0 ticks=324212 tps=100 nb_sec=3242
case_no=165 label=Case6.153 nb_sol=0 ticks=333345 tps=100 nb_sec=3333
case_no=165 label=Case6.153 nb_sol=0 ticks=408329 tps=100 nb_sec=4083
case_no=165 label=Case6.153 nb_sol=0 ticks=323542 tps=100 nb_sec=3235
case_no=165 label=Case6.153 nb_sol=0 ticks=356481 tps=100 nb_sec=3564
case_no=165 label=Case6.153 nb_sol=0 ticks=669803 tps=100 nb_sec=6698
case_no=165 label=Case6.153 nb_sol=0 ticks=347206 tps=100 nb_sec=3472
case_no=165 label=Case6.153 nb_sol=0 ticks=360795 tps=100 nb_sec=3607
case_no=165 label=Case6.153 nb_sol=0 ticks=283652 tps=100 nb_sec=2836
case_no=165 label=Case6.153 nb_sol=0 ticks=284303 tps=100 nb_sec=2843
case_no=165 label=Case6.153 nb_sol=0 ticks=246470 tps=100 nb_sec=2464
case_no=165 label=Case6.153 nb_sol=0 ticks=265119 tps=100 nb_sec=2651
case_no=165 label=Case6.153 nb_sol=0 ticks=537961 tps=100 nb_sec=5379
case_no=165 label=Case6.153 nb_sol=0 ticks=367921 tps=100 nb_sec=3679
case_no=165 label=Case6.153 nb_sol=0 ticks=359574 tps=100 nb_sec=3595
case_no=165 label=Case6.153 nb_sol=0 ticks=303552 tps=100 nb_sec=3035
case_no=165 label=Case6.153 nb_sol=0 ticks=322298 tps=100 nb_sec=3222
case_no=165 label=Case6.153 nb_sol=0 ticks=282847 tps=100 nb_sec=2828
case_no=165 label=Case6.153 nb_sol=0 ticks=514085 tps=100 nb_sec=5140
case_no=165 label=Case6.153 nb_sol=0 ticks=786854 tps=100 nb_sec=7868
case_no=165 label=Case6.153 nb_sol=0 ticks=633127 tps=100 nb_sec=6331
case_no=165 label=Case6.153 nb_sol=0 ticks=460900 tps=100 nb_sec=4609
case_no=165 label=Case6.153 nb_sol=0 ticks=727501 tps=100 nb_sec=7275
case_no=165 label=Case6.153 nb_sol=0 ticks=288951 tps=100 nb_sec=2889
case_no=165 label=Case6.153 nb_sol=0 ticks=558479 tps=100 nb_sec=5584
case_no=165 label=Case6.153 nb_sol=0 ticks=260373 tps=100 nb_sec=2603
case_no=165 label=Case6.153 nb_sol=0 ticks=549360 tps=100 nb_sec=5493
case_no=165 label=Case6.153 nb_sol=0 ticks=292512 tps=100 nb_sec=2925
case_no=165 label=Case6.153 nb_sol=0 ticks=486209 tps=100 nb_sec=4862
case_no=165 label=Case6.153 nb_sol=0 ticks=567757 tps=100 nb_sec=5677
case_no=165 label=Case6.153 nb_sol=0 ticks=277657 tps=100 nb_sec=2776
case_no=165 label=Case6.153 nb_sol=0 ticks=564946 tps=100 nb_sec=5649
case_no=165 label=Case6.153 nb_sol=0 ticks=532079 tps=100 nb_sec=5320
case_no=165 label=Case6.153 nb_sol=0 ticks=525505 tps=100 nb_sec=5255
case_no=165 label=Case6.153 nb_sol=0 ticks=576336 tps=100 nb_sec=5763
case_no=165 label=Case6.153 nb_sol=0 ticks=668512 tps=100 nb_sec=6685
case_no=165 label=Case6.153 nb_sol=0 ticks=260729 tps=100 nb_sec=2607
case_no=165 label=Case6.153 nb_sol=0 ticks=547497 tps=100 nb_sec=5474
case_no=165 label=Case6.153 nb_sol=0 ticks=515865 tps=100 nb_sec=5158
case_no=165 label=Case6.153 nb_sol=0 ticks=273161 tps=100 nb_sec=2731
case_no=165 label=Case6.153 nb_sol=0 ticks=256071 tps=100 nb_sec=2560
case_no=165 label=Case6.153 nb_sol=0 ticks=581703 tps=100 nb_sec=5817
case_no=165 label=Case6.153 nb_sol=0 ticks=779624 tps=100 nb_sec=7796
case_no=165 label=Case6.153 nb_sol=0 ticks=319296 tps=100 nb_sec=3192
case_no=165 label=Case6.153 nb_sol=0 ticks=677447 tps=100 nb_sec=6774
case_no=165 label=Case6.153 nb_sol=0 ticks=271109 tps=100 nb_sec=2711
case_no=165 label=Case6.153 nb_sol=0 ticks=458446 tps=100 nb_sec=4584
case_no=165 label=Case6.153 nb_sol=0 ticks=258720 tps=100 nb_sec=2587
case_no=165 label=Case6.153 nb_sol=0 ticks=471534 tps=100 nb_sec=4715
case_no=165 label=Case6.153 nb_sol=0 ticks=266680 tps=100 nb_sec=2666
case_no=165 label=Case6.153 nb_sol=0 ticks=243248 tps=100 nb_sec=2432
case_no=165 label=Case6.153 nb_sol=0 ticks=211950 tps=100 nb_sec=2119
case_no=165 label=Case6.153 nb_sol=0 ticks=362803 tps=100 nb_sec=3628
case_no=165 label=Case6.153 nb_sol=0 ticks=228807 tps=100 nb_sec=2288
case_no=165 label=Case6.153 nb_sol=0 ticks=209181 tps=100 nb_sec=2091
case_no=165 label=Case6.153 nb_sol=0 ticks=249149 tps=100 nb_sec=2491
case_no=165 label=Case6.153 nb_sol=0 ticks=346403 tps=100 nb_sec=3464
case_no=165 label=Case6.153 nb_sol=0 ticks=299106 tps=100 nb_sec=2991
case_no=165 label=Case6.153 nb_sol=0 ticks=324378 tps=100 nb_sec=3243
case_no=165 label=Case6.153 nb_sol=0 ticks=250525 tps=100 nb_sec=2505
case_no=165 label=Case6.153 nb_sol=0 ticks=298396 tps=100 nb_sec=2983
case_no=165 label=Case6.153 nb_sol=0 ticks=287766 tps=100 nb_sec=2877
case_no=165 label=Case6.153 nb_sol=0 ticks=313236 tps=100 nb_sec=3132
case_no=165 label=Case6.153 nb_sol=0 ticks=289591 tps=100 nb_sec=2895
case_no=165 label=Case6.153 nb_sol=0 ticks=355064 tps=100 nb_sec=3550
case_no=165 label=Case6.153 nb_sol=0 ticks=412963 tps=100 nb_sec=4129
case_no=165 label=Case6.153 nb_sol=0 ticks=325660 tps=100 nb_sec=3256
case_no=165 label=Case6.153 nb_sol=0 ticks=343756 tps=100 nb_sec=3437
case_no=165 label=Case6.153 nb_sol=0 ticks=307820 tps=100 nb_sec=3078
case_no=165 label=Case6.153 nb_sol=0 ticks=341008 tps=100 nb_sec=3410
case_no=165 label=Case6.153 nb_sol=0 ticks=549385 tps=100 nb_sec=5493
case_no=165 label=Case6.153 nb_sol=0 ticks=323634 tps=100 nb_sec=3236
case_no=165 label=Case6.153 nb_sol=0 ticks=362236 tps=100 nb_sec=3622
case_no=165 label=Case6.153 nb_sol=0 ticks=256922 tps=100 nb_sec=2569
case_no=165 label=Case6.153 nb_sol=0 ticks=649196 tps=100 nb_sec=6491
case_no=165 label=Case6.153 nb_sol=0 ticks=326718 tps=100 nb_sec=3267
case_no=165 label=Case6.153 nb_sol=0 ticks=468708 tps=100 nb_sec=4687
case_no=165 label=Case6.153 nb_sol=0 ticks=254544 tps=100 nb_sec=2545
case_no=165 label=Case6.153 nb_sol=0 ticks=221799 tps=100 nb_sec=2217
case_no=165 label=Case6.153 nb_sol=0 ticks=360387 tps=100 nb_sec=3603
case_no=165 label=Case6.153 nb_sol=0 ticks=451516 tps=100 nb_sec=4515
case_no=165 label=Case6.153 nb_sol=0 ticks=230822 tps=100 nb_sec=2308
case_no=165 label=Case6.153 nb_sol=0 ticks=284334 tps=100 nb_sec=2843
case_no=165 label=Case6.153 nb_sol=0 ticks=347465 tps=100 nb_sec=3474
case_no=165 label=Case6.153 nb_sol=0 ticks=252784 tps=100 nb_sec=2527
case_no=165 label=Case6.153 nb_sol=0 ticks=428872 tps=100 nb_sec=4288
case_no=165 label=Case6.153 nb_sol=0 ticks=660538 tps=100 nb_sec=6605
case_no=165 label=Case6.153 nb_sol=0 ticks=607934 tps=100 nb_sec=6079
case_no=165 label=Case6.153 nb_sol=0 ticks=348488 tps=100 nb_sec=3484
case_no=165 label=Case6.153 nb_sol=0 ticks=444604 tps=100 nb_sec=4446
case_no=165 label=Case6.153 nb_sol=0 ticks=325593 tps=100 nb_sec=3255
case_no=165 label=Case6.153 nb_sol=0 ticks=269648 tps=100 nb_sec=2696
case_no=165 label=Case6.153 nb_sol=0 ticks=436103 tps=100 nb_sec=4361
case_no=165 label=Case6.153 nb_sol=0 ticks=270966 tps=100 nb_sec=2709
case_no=165 label=Case6.153 nb_sol=0 ticks=272890 tps=100 nb_sec=2728
case_no=165 label=Case6.153 nb_sol=0 ticks=277576 tps=100 nb_sec=2775
case_no=165 label=Case6.153 nb_sol=0 ticks=360546 tps=100 nb_sec=3605
case_no=165 label=Case6.153 nb_sol=0 ticks=531063 tps=100 nb_sec=5310
case_no=165 label=Case6.153 nb_sol=0 ticks=322027 tps=100 nb_sec=3220
case_no=165 label=Case6.153 nb_sol=0 ticks=239329 tps=100 nb_sec=2393
case_no=165 label=Case6.153 nb_sol=0 ticks=295931 tps=100 nb_sec=2959
case_no=165 label=Case6.153 nb_sol=0 ticks=248886 tps=100 nb_sec=2488
case_no=165 label=Case6.153 nb_sol=0 ticks=213789 tps=100 nb_sec=2137
case_no=165 label=Case6.153 nb_sol=0 ticks=311109 tps=100 nb_sec=3111
case_no=165 label=Case6.153 nb_sol=0 ticks=438521 tps=100 nb_sec=4385
case_no=165 label=Case6.153 nb_sol=0 ticks=412704 tps=100 nb_sec=4127
case_no=165 label=Case6.153 nb_sol=0 ticks=250617 tps=100 nb_sec=2506
case_no=165 label=Case6.153 nb_sol=0 ticks=350818 tps=100 nb_sec=3508
case_no=165 label=Case6.153 nb_sol=0 ticks=416502 tps=100 nb_sec=4165
case_no=165 label=Case6.153 nb_sol=0 ticks=236726 tps=100 nb_sec=2367
case_no=165 label=Case6.153 nb_sol=0 ticks=285490 tps=100 nb_sec=2854
case_no=165 label=Case6.153 nb_sol=0 ticks=468910 tps=100 nb_sec=4689
case_no=165 label=Case6.153 nb_sol=0 ticks=401579 tps=100 nb_sec=4015
case_no=165 label=Case6.153 nb_sol=0 ticks=251438 tps=100 nb_sec=2514
case_no=165 label=Case6.153 nb_sol=0 ticks=437567 tps=100 nb_sec=4375
case_no=165 label=Case6.153 nb_sol=0 ticks=503623 tps=100 nb_sec=5036
case_no=165 label=Case6.153 nb_sol=0 ticks=330343 tps=100 nb_sec=3303
case_no=165 label=Case6.153 nb_sol=0 ticks=384057 tps=100 nb_sec=3840
case_no=165 label=Case6.153 nb_sol=0 ticks=439566 tps=100 nb_sec=4395
case_no=165 label=Case6.153 nb_sol=0 ticks=765630 tps=100 nb_sec=7656
case_no=165 label=Case6.153 nb_sol=0 ticks=519744 tps=100 nb_sec=5197
case_no=165 label=Case6.153 nb_sol=0 ticks=326245 tps=100 nb_sec=3262
case_no=165 label=Case6.153 nb_sol=0 ticks=298592 tps=100 nb_sec=2985
case_no=165 label=Case6.153 nb_sol=0 ticks=847578 tps=100 nb_sec=8475
case_no=165 label=Case6.153 nb_sol=0 ticks=249814 tps=100 nb_sec=2498
case_no=165 label=Case6.153 nb_sol=0 ticks=280065 tps=100 nb_sec=2800
case_no=165 label=Case6.153 nb_sol=0 ticks=535970 tps=100 nb_sec=5359
case_no=165 label=Case6.153 nb_sol=0 ticks=440984 tps=100 nb_sec=4409
case_no=165 label=Case6.153 nb_sol=0 ticks=273478 tps=100 nb_sec=2734
case_no=165 label=Case6.153 nb_sol=0 ticks=236193 tps=100 nb_sec=2361
case_no=165 label=Case6.153 nb_sol=0 ticks=463433 tps=100 nb_sec=4634
case_no=165 label=Case6.153 nb_sol=0 ticks=687693 tps=100 nb_sec=6876
case_no=165 label=Case6.153 nb_sol=0 ticks=714151 tps=100 nb_sec=7141
case_no=165 label=Case6.153 nb_sol=0 ticks=459369 tps=100 nb_sec=4593
case_no=165 label=Case6.153 nb_sol=0 ticks=332005 tps=100 nb_sec=3320
case_no=165 label=Case6.153 nb_sol=0 ticks=323955 tps=100 nb_sec=3239
case_no=165 label=Case6.153 nb_sol=0 ticks=591272 tps=100 nb_sec=5912
case_no=165 label=Case6.153 nb_sol=0 ticks=260918 tps=100 nb_sec=2609
case_no=165 label=Case6.153 nb_sol=0 ticks=614398 tps=100 nb_sec=6143
case_no=165 label=Case6.153 nb_sol=0 ticks=556375 tps=100 nb_sec=5563
case_no=165 label=Case6.153 nb_sol=0 ticks=326983 tps=100 nb_sec=3269
case_no=165 label=Case6.153 nb_sol=0 ticks=263373 tps=100 nb_sec=2633
case_no=165 label=Case6.153 nb_sol=0 ticks=568712 tps=100 nb_sec=5687
case_no=165 label=Case6.153 nb_sol=0 ticks=700076 tps=100 nb_sec=7000
case_no=165 label=Case6.153 nb_sol=0 ticks=356300 tps=100 nb_sec=3563
case_no=165 label=Case6.153 nb_sol=0 ticks=518638 tps=100 nb_sec=5186
case_no=165 label=Case6.153 nb_sol=0 ticks=602350 tps=100 nb_sec=6023
case_no=165 label=Case6.153 nb_sol=0 ticks=400654 tps=100 nb_sec=4006
case_no=165 label=Case6.153 nb_sol=0 ticks=502390 tps=100 nb_sec=5023
case_no=165 label=Case6.153 nb_sol=0 ticks=402717 tps=100 nb_sec=4027
case_no=165 label=Case6.153 nb_sol=0 ticks=554229 tps=100 nb_sec=5542
case_no=165 label=Case6.153 nb_sol=0 ticks=323457 tps=100 nb_sec=3234
case_no=165 label=Case6.153 nb_sol=0 ticks=398207 tps=100 nb_sec=3982
case_no=165 label=Case6.153 nb_sol=0 ticks=526585 tps=100 nb_sec=5265
case_no=165 label=Case6.153 nb_sol=0 ticks=255164 tps=100 nb_sec=2551
case_no=165 label=Case6.153 nb_sol=0 ticks=643173 tps=100 nb_sec=6431
case_no=165 label=Case6.153 nb_sol=0 ticks=403646 tps=100 nb_sec=4036
case_no=165 label=Case6.153 nb_sol=0 ticks=511951 tps=100 nb_sec=5119
case_no=165 label=Case6.153 nb_sol=0 ticks=676147 tps=100 nb_sec=6761
case_no=165 label=Case6.153 nb_sol=0 ticks=350357 tps=100 nb_sec=3503
case_no=165 label=Case6.153 nb_sol=0 ticks=650310 tps=100 nb_sec=6503
case_no=165 label=Case6.153 nb_sol=0 ticks=269242 tps=100 nb_sec=2692
case_no=165 label=Case6.153 nb_sol=0 ticks=361781 tps=100 nb_sec=3617
case_no=165 label=Case6.153 nb_sol=0 ticks=448637 tps=100 nb_sec=4486
case_no=165 label=Case6.153 nb_sol=0 ticks=330862 tps=100 nb_sec=3308
case_no=165 label=Case6.153 nb_sol=0 ticks=287508 tps=100 nb_sec=2875
case_no=165 label=Case6.153 nb_sol=0 ticks=240488 tps=100 nb_sec=2404
case_no=165 label=Case6.153 nb_sol=0 ticks=414751 tps=100 nb_sec=4147
case_no=165 label=Case6.153 nb_sol=0 ticks=256857 tps=100 nb_sec=2568
case_no=165 label=Case6.153 nb_sol=0 ticks=232594 tps=100 nb_sec=2325
case_no=165 label=Case6.153 nb_sol=0 ticks=556592 tps=100 nb_sec=5565
case_no=165 label=Case6.153 nb_sol=0 ticks=293686 tps=100 nb_sec=2936
case_no=165 label=Case6.153 nb_sol=0 ticks=374015 tps=100 nb_sec=3740
case_no=165 label=Case6.153 nb_sol=0 ticks=289333 tps=100 nb_sec=2893
case_no=165 label=Case6.153 nb_sol=0 ticks=421358 tps=100 nb_sec=4213
case_no=165 label=Case6.153 nb_sol=0 ticks=516541 tps=100 nb_sec=5165
case_no=165 label=Case6.153 nb_sol=0 ticks=407727 tps=100 nb_sec=4077
case_no=165 label=Case6.153 nb_sol=0 ticks=556598 tps=100 nb_sec=5565
case_no=165 label=Case6.153 nb_sol=0 ticks=292200 tps=100 nb_sec=2922
case_no=165 label=Case6.153 nb_sol=0 ticks=417622 tps=100 nb_sec=4176
case_no=165 label=Case6.153 nb_sol=0 ticks=447293 tps=100 nb_sec=4472
case_no=165 label=Case6.153 nb_sol=0 ticks=427674 tps=100 nb_sec=4276
case_no=165 label=Case6.153 nb_sol=0 ticks=265364 tps=100 nb_sec=2653
case_no=165 label=Case6.153 nb_sol=0 ticks=367485 tps=100 nb_sec=3674
case_no=165 label=Case6.153 nb_sol=0 ticks=566998 tps=100 nb_sec=5669
case_no=165 label=Case6.153 nb_sol=0 ticks=297907 tps=100 nb_sec=2979
case_no=165 label=Case6.153 nb_sol=0 ticks=549199 tps=100 nb_sec=5491
case_no=165 label=Case6.153 nb_sol=0 ticks=314337 tps=100 nb_sec=3143
case_no=165 label=Case6.153 nb_sol=0 ticks=471463 tps=100 nb_sec=4714
case_no=165 label=Case6.153 nb_sol=0 ticks=236657 tps=100 nb_sec=2366
case_no=165 label=Case6.153 nb_sol=0 ticks=480191 tps=100 nb_sec=4801
case_no=165 label=Case6.153 nb_sol=0 ticks=468808 tps=100 nb_sec=4688
case_no=165 label=Case6.153 nb_sol=0 ticks=309071 tps=100 nb_sec=3090
case_no=165 label=Case6.153 nb_sol=0 ticks=243196 tps=100 nb_sec=2431
case_no=165 label=Case6.153 nb_sol=0 ticks=475091 tps=100 nb_sec=4750
case_no=165 label=Case6.153 nb_sol=0 ticks=270921 tps=100 nb_sec=2709
case_no=165 label=Case6.153 nb_sol=0 ticks=446481 tps=100 nb_sec=4464
case_no=165 label=Case6.153 nb_sol=0 ticks=412369 tps=100 nb_sec=4123
case_no=165 label=Case6.153 nb_sol=0 ticks=215557 tps=100 nb_sec=2155
case_no=165 label=Case6.153 nb_sol=0 ticks=413432 tps=100 nb_sec=4134
case_no=165 label=Case6.153 nb_sol=0 ticks=388320 tps=100 nb_sec=3883
case_no=165 label=Case6.153 nb_sol=0 ticks=225067 tps=100 nb_sec=2250
case_no=165 label=Case6.153 nb_sol=0 ticks=408441 tps=100 nb_sec=4084
case_no=165 label=Case6.153 nb_sol=0 ticks=493386 tps=100 nb_sec=4933
case_no=165 label=Case6.153 nb_sol=0 ticks=486493 tps=100 nb_sec=4864
case_no=165 label=Case6.153 nb_sol=0 ticks=515627 tps=100 nb_sec=5156
case_no=165 label=Case6.153 nb_sol=0 ticks=293697 tps=100 nb_sec=2936
case_no=165 label=Case6.153 nb_sol=0 ticks=437111 tps=100 nb_sec=4371
case_no=165 label=Case6.153 nb_sol=0 ticks=491455 tps=100 nb_sec=4914
case_no=165 label=Case6.153 nb_sol=0 ticks=272746 tps=100 nb_sec=2727
case_no=165 label=Case6.153 nb_sol=0 ticks=271906 tps=100 nb_sec=2719
case_no=165 label=Case6.153 nb_sol=0 ticks=265377 tps=100 nb_sec=2653
case_no=165 label=Case6.153 nb_sol=0 ticks=406773 tps=100 nb_sec=4067
case_no=165 label=Case6.153 nb_sol=0 ticks=476471 tps=100 nb_sec=4764
case_no=165 label=Case6.153 nb_sol=0 ticks=266271 tps=100 nb_sec=2662
case_no=165 label=Case6.153 nb_sol=0 ticks=695549 tps=100 nb_sec=6955
case_no=165 label=Case6.153 nb_sol=0 ticks=357816 tps=100 nb_sec=3578
case_no=165 label=Case6.153 nb_sol=0 ticks=269842 tps=100 nb_sec=2698
case_no=165 label=Case6.153 nb_sol=0 ticks=278290 tps=100 nb_sec=2782
case_no=165 label=Case6.153 nb_sol=0 ticks=295423 tps=100 nb_sec=2954
case_no=165 label=Case6.153 nb_sol=0 ticks=715718 tps=100 nb_sec=7157
case_no=165 label=Case6.153 nb_sol=0 ticks=555319 tps=100 nb_sec=5553
case_no=165 label=Case6.153 nb_sol=0 ticks=299492 tps=100 nb_sec=2994
case_no=165 label=Case6.153 nb_sol=0 ticks=650317 tps=100 nb_sec=6503
case_no=165 label=Case6.153 nb_sol=0 ticks=220524 tps=100 nb_sec=2205
case_no=165 label=Case6.153 nb_sol=0 ticks=256857 tps=100 nb_sec=2568
case_no=165 label=Case6.153 nb_sol=0 ticks=422034 tps=100 nb_sec=4220
case_no=165 label=Case6.153 nb_sol=0 ticks=500540 tps=100 nb_sec=5005
case_no=165 label=Case6.153 nb_sol=0 ticks=284066 tps=100 nb_sec=2840
case_no=165 label=Case6.153 nb_sol=0 ticks=268104 tps=100 nb_sec=2681
case_no=165 label=Case6.153 nb_sol=0 ticks=357437 tps=100 nb_sec=3574
case_no=165 label=Case6.153 nb_sol=0 ticks=299831 tps=100 nb_sec=2998
case_no=165 label=Case6.153 nb_sol=0 ticks=324712 tps=100 nb_sec=3247
case_no=165 label=Case6.153 nb_sol=0 ticks=578354 tps=100 nb_sec=5783
case_no=165 label=Case6.153 nb_sol=0 ticks=293534 tps=100 nb_sec=2935
case_no=165 label=Case6.153 nb_sol=0 ticks=464220 tps=100 nb_sec=4642
case_no=165 label=Case6.153 nb_sol=0 ticks=476234 tps=100 nb_sec=4762
case_no=165 label=Case6.153 nb_sol=0 ticks=445141 tps=100 nb_sec=4451
case_no=165 label=Case6.153 nb_sol=0 ticks=189225 tps=100 nb_sec=1892
case_no=165 label=Case6.153 nb_sol=0 ticks=497506 tps=100 nb_sec=4975
case_no=165 label=Case6.153 nb_sol=0 ticks=498624 tps=100 nb_sec=4986
case_no=165 label=Case6.153 nb_sol=0 ticks=465783 tps=100 nb_sec=4657
case_no=165 label=Case6.153 nb_sol=0 ticks=484811 tps=100 nb_sec=4848
case_no=165 label=Case6.153 nb_sol=0 ticks=273199 tps=100 nb_sec=2731
case_no=165 label=Case6.153 nb_sol=0 ticks=303760 tps=100 nb_sec=3037
case_no=165 label=Case6.153 nb_sol=0 ticks=598411 tps=100 nb_sec=5984
case_no=165 label=Case6.153 nb_sol=0 ticks=501546 tps=100 nb_sec=5015
case_no=165 label=Case6.153 nb_sol=0 ticks=485518 tps=100 nb_sec=4855
case_no=165 label=Case6.153 nb_sol=0 ticks=468405 tps=100 nb_sec=4684
case_no=165 label=Case6.153 nb_sol=0 ticks=305508 tps=100 nb_sec=3055
case_no=165 label=Case6.153 nb_sol=0 ticks=435243 tps=100 nb_sec=4352
case_no=165 label=Case6.153 nb_sol=0 ticks=432367 tps=100 nb_sec=4323
case_no=165 label=Case6.153 nb_sol=0 ticks=524950 tps=100 nb_sec=5249
case_no=165 label=Case6.153 nb_sol=0 ticks=513627 tps=100 nb_sec=5136
case_no=165 label=Case6.153 nb_sol=0 ticks=482920 tps=100 nb_sec=4829
case_no=165 label=Case6.153 nb_sol=0 ticks=519551 tps=100 nb_sec=5195
case_no=165 label=Case6.153 nb_sol=0 ticks=419474 tps=100 nb_sec=4194
case_no=165 label=Case6.153 nb_sol=0 ticks=243602 tps=100 nb_sec=2436
case_no=165 label=Case6.153 nb_sol=0 ticks=266840 tps=100 nb_sec=2668
case_no=165 label=Case6.153 nb_sol=0 ticks=524606 tps=100 nb_sec=5246
case_no=165 label=Case6.153 nb_sol=0 ticks=433448 tps=100 nb_sec=4334
case_no=165 label=Case6.153 nb_sol=0 ticks=365660 tps=100 nb_sec=3656
case_no=165 label=Case6.153 nb_sol=0 ticks=387183 tps=100 nb_sec=3871
case_no=165 label=Case6.153 nb_sol=0 ticks=465472 tps=100 nb_sec=4654
case_no=165 label=Case6.153 nb_sol=0 ticks=594351 tps=100 nb_sec=5943
case_no=165 label=Case6.153 nb_sol=0 ticks=545498 tps=100 nb_sec=5454
case_no=165 label=Case6.153 nb_sol=0 ticks=420209 tps=100 nb_sec=4202
case_no=165 label=Case6.153 nb_sol=0 ticks=528427 tps=100 nb_sec=5284
case_no=165 label=Case6.153 nb_sol=0 ticks=455951 tps=100 nb_sec=4559
case_no=165 label=Case6.153 nb_sol=0 ticks=430389 tps=100 nb_sec=4303
case_no=165 label=Case6.153 nb_sol=0 ticks=513165 tps=100 nb_sec=5131
case_no=165 label=Case6.153 nb_sol=0 ticks=245596 tps=100 nb_sec=2455
case_no=165 label=Case6.153 nb_sol=0 ticks=226569 tps=100 nb_sec=2265
case_no=165 label=Case6.153 nb_sol=0 ticks=341358 tps=100 nb_sec=3413
case_no=165 label=Case6.153 nb_sol=0 ticks=333868 tps=100 nb_sec=3338
case_no=165 label=Case6.153 nb_sol=0 ticks=315958 tps=100 nb_sec=3159
case_no=165 label=Case6.153 nb_sol=0 ticks=314040 tps=100 nb_sec=3140
case_no=165 label=Case6.153 nb_sol=0 ticks=334560 tps=100 nb_sec=3345
case_no=165 label=Case6.153 nb_sol=0 ticks=586605 tps=100 nb_sec=5866
case_no=165 label=Case6.153 nb_sol=0 ticks=299102 tps=100 nb_sec=2991
case_no=165 label=Case6.153 nb_sol=0 ticks=278216 tps=100 nb_sec=2782
case_no=165 label=Case6.153 nb_sol=0 ticks=275585 tps=100 nb_sec=2755
case_no=165 label=Case6.153 nb_sol=0 ticks=542031 tps=100 nb_sec=5420
case_no=165 label=Case6.153 nb_sol=0 ticks=254015 tps=100 nb_sec=2540
case_no=165 label=Case6.153 nb_sol=0 ticks=286728 tps=100 nb_sec=2867
case_no=165 label=Case6.153 nb_sol=0 ticks=390883 tps=100 nb_sec=3908
case_no=165 label=Case6.153 nb_sol=0 ticks=673225 tps=100 nb_sec=6732
case_no=165 label=Case6.153 nb_sol=0 ticks=552476 tps=100 nb_sec=5524
case_no=165 label=Case6.153 nb_sol=0 ticks=553003 tps=100 nb_sec=5530
case_no=165 label=Case6.153 nb_sol=0 ticks=482335 tps=100 nb_sec=4823
case_no=165 label=Case6.153 nb_sol=0 ticks=593628 tps=100 nb_sec=5936
case_no=165 label=Case6.153 nb_sol=0 ticks=599761 tps=100 nb_sec=5997
case_no=165 label=Case6.153 nb_sol=0 ticks=441636 tps=100 nb_sec=4416
case_no=165 label=Case6.153 nb_sol=0 ticks=256545 tps=100 nb_sec=2565
case_no=165 label=Case6.153 nb_sol=0 ticks=243124 tps=100 nb_sec=2431
case_no=165 label=Case6.153 nb_sol=0 ticks=223623 tps=100 nb_sec=2236
case_no=165 label=Case6.153 nb_sol=0 ticks=233040 tps=100 nb_sec=2330
Nb_sol=0
Nb_sec=5098084
59-0:8:4 or 1416 hours
missing cases:
none