argc=5
-M 1024
file2=30_select_Case6.126_starter_15_
checking files mod 1024 from 0 to 1023
case_no=138 label=Case6.126 nb_sol=0 ticks=5424 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=2622 tps=100 nb_sec=26
case_no=138 label=Case6.126 nb_sol=0 ticks=6625 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=5626 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5746 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=2484 tps=100 nb_sec=24
case_no=138 label=Case6.126 nb_sol=0 ticks=7721 tps=100 nb_sec=77
case_no=138 label=Case6.126 nb_sol=0 ticks=6405 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=9232 tps=100 nb_sec=92
case_no=138 label=Case6.126 nb_sol=0 ticks=5865 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5850 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=3169 tps=100 nb_sec=31
case_no=138 label=Case6.126 nb_sol=0 ticks=6601 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=5655 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=7439 tps=100 nb_sec=74
case_no=138 label=Case6.126 nb_sol=0 ticks=8990 tps=100 nb_sec=89
case_no=138 label=Case6.126 nb_sol=0 ticks=7214 tps=100 nb_sec=72
case_no=138 label=Case6.126 nb_sol=0 ticks=2857 tps=100 nb_sec=28
case_no=138 label=Case6.126 nb_sol=0 ticks=4373 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=5310 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5205 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5094 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=4889 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=6435 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=4620 tps=100 nb_sec=46
case_no=138 label=Case6.126 nb_sol=0 ticks=5948 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=7158 tps=100 nb_sec=71
case_no=138 label=Case6.126 nb_sol=0 ticks=6596 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=9094 tps=100 nb_sec=90
case_no=138 label=Case6.126 nb_sol=0 ticks=6869 tps=100 nb_sec=68
case_no=138 label=Case6.126 nb_sol=0 ticks=5279 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5046 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=5846 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5463 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=4264 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=4986 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=5029 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=5537 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=6221 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=6561 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=5002 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=5832 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=3210 tps=100 nb_sec=32
case_no=138 label=Case6.126 nb_sol=0 ticks=6873 tps=100 nb_sec=68
case_no=138 label=Case6.126 nb_sol=0 ticks=6241 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=6741 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=5885 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=7205 tps=100 nb_sec=72
case_no=138 label=Case6.126 nb_sol=0 ticks=5971 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=6749 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=5873 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=6162 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=3201 tps=100 nb_sec=32
case_no=138 label=Case6.126 nb_sol=0 ticks=5431 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=6313 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=6474 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=5479 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=8589 tps=100 nb_sec=85
case_no=138 label=Case6.126 nb_sol=0 ticks=6117 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=8996 tps=100 nb_sec=89
case_no=138 label=Case6.126 nb_sol=0 ticks=6406 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=6774 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=6534 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=7239 tps=100 nb_sec=72
case_no=138 label=Case6.126 nb_sol=0 ticks=6101 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=5396 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=4593 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=6920 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=7163 tps=100 nb_sec=71
case_no=138 label=Case6.126 nb_sol=0 ticks=6053 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=6062 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=6353 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=6338 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=6659 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=8024 tps=100 nb_sec=80
case_no=138 label=Case6.126 nb_sol=0 ticks=7874 tps=100 nb_sec=78
case_no=138 label=Case6.126 nb_sol=0 ticks=7660 tps=100 nb_sec=76
case_no=138 label=Case6.126 nb_sol=0 ticks=6451 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=5687 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=6725 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=5697 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5389 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=4006 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=4587 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=4563 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=3900 tps=100 nb_sec=39
case_no=138 label=Case6.126 nb_sol=0 ticks=6751 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=5749 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=5889 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5617 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5365 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=6019 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=10119 tps=100 nb_sec=101
case_no=138 label=Case6.126 nb_sol=0 ticks=6937 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=4976 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=10246 tps=100 nb_sec=102
case_no=138 label=Case6.126 nb_sol=0 ticks=4938 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=6515 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=6791 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=6908 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=6773 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=8390 tps=100 nb_sec=83
case_no=138 label=Case6.126 nb_sol=0 ticks=4725 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=5542 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=5664 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=6348 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=4074 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=5747 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=4896 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=5582 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=6453 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=7212 tps=100 nb_sec=72
case_no=138 label=Case6.126 nb_sol=0 ticks=6183 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=5352 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5948 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=6984 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=6398 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=4737 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=2377 tps=100 nb_sec=23
case_no=138 label=Case6.126 nb_sol=0 ticks=6782 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=6075 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=6855 tps=100 nb_sec=68
case_no=138 label=Case6.126 nb_sol=0 ticks=4311 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=6317 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=4793 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=7455 tps=100 nb_sec=74
case_no=138 label=Case6.126 nb_sol=0 ticks=5819 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5572 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=5997 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=3795 tps=100 nb_sec=37
case_no=138 label=Case6.126 nb_sol=0 ticks=7790 tps=100 nb_sec=77
case_no=138 label=Case6.126 nb_sol=0 ticks=8319 tps=100 nb_sec=83
case_no=138 label=Case6.126 nb_sol=0 ticks=6923 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=6496 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=7376 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=3489 tps=100 nb_sec=34
case_no=138 label=Case6.126 nb_sol=0 ticks=9694 tps=100 nb_sec=96
case_no=138 label=Case6.126 nb_sol=0 ticks=5458 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=5680 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=8903 tps=100 nb_sec=89
case_no=138 label=Case6.126 nb_sol=0 ticks=6132 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=5677 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=6618 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=8944 tps=100 nb_sec=89
case_no=138 label=Case6.126 nb_sol=0 ticks=6645 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=7352 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=6142 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=6122 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=4962 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=6666 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=5892 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=6014 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=2814 tps=100 nb_sec=28
case_no=138 label=Case6.126 nb_sol=0 ticks=6651 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=5236 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=4167 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=6229 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=6210 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=4724 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=7009 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=5673 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=6084 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=5562 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=4969 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=5048 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=4475 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=2928 tps=100 nb_sec=29
case_no=138 label=Case6.126 nb_sol=0 ticks=7111 tps=100 nb_sec=71
case_no=138 label=Case6.126 nb_sol=0 ticks=6015 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=7555 tps=100 nb_sec=75
case_no=138 label=Case6.126 nb_sol=0 ticks=5197 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=6094 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=6261 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=5885 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5778 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=7836 tps=100 nb_sec=78
case_no=138 label=Case6.126 nb_sol=0 ticks=4930 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=9030 tps=100 nb_sec=90
case_no=138 label=Case6.126 nb_sol=0 ticks=6948 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=7646 tps=100 nb_sec=76
case_no=138 label=Case6.126 nb_sol=0 ticks=3819 tps=100 nb_sec=38
case_no=138 label=Case6.126 nb_sol=0 ticks=5521 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=5166 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=7198 tps=100 nb_sec=71
case_no=138 label=Case6.126 nb_sol=0 ticks=5740 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=5546 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=4565 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=5194 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4758 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=8500 tps=100 nb_sec=85
case_no=138 label=Case6.126 nb_sol=0 ticks=5136 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=3648 tps=100 nb_sec=36
case_no=138 label=Case6.126 nb_sol=0 ticks=5217 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5923 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=6059 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=7462 tps=100 nb_sec=74
case_no=138 label=Case6.126 nb_sol=0 ticks=8531 tps=100 nb_sec=85
case_no=138 label=Case6.126 nb_sol=0 ticks=6538 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=4414 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=6729 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=8462 tps=100 nb_sec=84
case_no=138 label=Case6.126 nb_sol=0 ticks=6013 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=6159 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=2862 tps=100 nb_sec=28
case_no=138 label=Case6.126 nb_sol=0 ticks=5347 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5791 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=4704 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=7832 tps=100 nb_sec=78
case_no=138 label=Case6.126 nb_sol=0 ticks=5264 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5946 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=6266 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=8161 tps=100 nb_sec=81
case_no=138 label=Case6.126 nb_sol=0 ticks=5887 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=8036 tps=100 nb_sec=80
case_no=138 label=Case6.126 nb_sol=0 ticks=6938 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=5824 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=7319 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=6952 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=6494 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=5224 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5641 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=6934 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=5161 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=5415 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=5821 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=6110 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=4199 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=6360 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=5184 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=6031 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=5155 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=5258 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5811 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5784 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=4257 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=9960 tps=100 nb_sec=99
case_no=138 label=Case6.126 nb_sol=0 ticks=6214 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=4833 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=4881 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=3068 tps=100 nb_sec=30
case_no=138 label=Case6.126 nb_sol=0 ticks=3033 tps=100 nb_sec=30
case_no=138 label=Case6.126 nb_sol=0 ticks=5792 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=3576 tps=100 nb_sec=35
case_no=138 label=Case6.126 nb_sol=0 ticks=3122 tps=100 nb_sec=31
case_no=138 label=Case6.126 nb_sol=0 ticks=3013 tps=100 nb_sec=30
case_no=138 label=Case6.126 nb_sol=0 ticks=6498 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=7223 tps=100 nb_sec=72
case_no=138 label=Case6.126 nb_sol=0 ticks=5324 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=6076 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=6526 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=5754 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=6004 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=7057 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=7009 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=5907 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=8667 tps=100 nb_sec=86
case_no=138 label=Case6.126 nb_sol=0 ticks=7289 tps=100 nb_sec=72
case_no=138 label=Case6.126 nb_sol=0 ticks=6621 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=5307 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=7511 tps=100 nb_sec=75
case_no=138 label=Case6.126 nb_sol=0 ticks=3961 tps=100 nb_sec=39
case_no=138 label=Case6.126 nb_sol=0 ticks=6165 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=4255 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=6618 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=6732 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=7024 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=3907 tps=100 nb_sec=39
case_no=138 label=Case6.126 nb_sol=0 ticks=7035 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=5778 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=5917 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=4970 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=3744 tps=100 nb_sec=37
case_no=138 label=Case6.126 nb_sol=0 ticks=4705 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=4842 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=4863 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=2569 tps=100 nb_sec=25
case_no=138 label=Case6.126 nb_sol=0 ticks=7834 tps=100 nb_sec=78
case_no=138 label=Case6.126 nb_sol=0 ticks=7423 tps=100 nb_sec=74
case_no=138 label=Case6.126 nb_sol=0 ticks=5463 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=3063 tps=100 nb_sec=30
case_no=138 label=Case6.126 nb_sol=0 ticks=5092 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=6494 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=5508 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=2857 tps=100 nb_sec=28
case_no=138 label=Case6.126 nb_sol=0 ticks=5213 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5453 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=2374 tps=100 nb_sec=23
case_no=138 label=Case6.126 nb_sol=0 ticks=6778 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=6084 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=4407 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=5957 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=6083 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=5908 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=6002 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=8327 tps=100 nb_sec=83
case_no=138 label=Case6.126 nb_sol=0 ticks=2685 tps=100 nb_sec=26
case_no=138 label=Case6.126 nb_sol=0 ticks=5382 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=6324 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=4864 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=6267 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=4826 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=5746 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=9322 tps=100 nb_sec=93
case_no=138 label=Case6.126 nb_sol=0 ticks=6938 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=2822 tps=100 nb_sec=28
case_no=138 label=Case6.126 nb_sol=0 ticks=5745 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=6848 tps=100 nb_sec=68
case_no=138 label=Case6.126 nb_sol=0 ticks=9744 tps=100 nb_sec=97
case_no=138 label=Case6.126 nb_sol=0 ticks=3227 tps=100 nb_sec=32
case_no=138 label=Case6.126 nb_sol=0 ticks=6844 tps=100 nb_sec=68
case_no=138 label=Case6.126 nb_sol=0 ticks=5153 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=7566 tps=100 nb_sec=75
case_no=138 label=Case6.126 nb_sol=0 ticks=9802 tps=100 nb_sec=98
case_no=138 label=Case6.126 nb_sol=0 ticks=6329 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=3122 tps=100 nb_sec=31
case_no=138 label=Case6.126 nb_sol=0 ticks=6383 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=6691 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=10412 tps=100 nb_sec=104
case_no=138 label=Case6.126 nb_sol=0 ticks=5664 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=4402 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=5640 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5856 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=10030 tps=100 nb_sec=100
case_no=138 label=Case6.126 nb_sol=0 ticks=6876 tps=100 nb_sec=68
case_no=138 label=Case6.126 nb_sol=0 ticks=4474 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=6152 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=6852 tps=100 nb_sec=68
case_no=138 label=Case6.126 nb_sol=0 ticks=8498 tps=100 nb_sec=84
case_no=138 label=Case6.126 nb_sol=0 ticks=5297 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5879 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5671 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=8144 tps=100 nb_sec=81
case_no=138 label=Case6.126 nb_sol=0 ticks=6004 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=7493 tps=100 nb_sec=74
case_no=138 label=Case6.126 nb_sol=0 ticks=5269 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=13280 tps=100 nb_sec=132
case_no=138 label=Case6.126 nb_sol=0 ticks=5809 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=6212 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=4691 tps=100 nb_sec=46
case_no=138 label=Case6.126 nb_sol=0 ticks=10712 tps=100 nb_sec=107
case_no=138 label=Case6.126 nb_sol=0 ticks=6203 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=5285 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=6984 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=12660 tps=100 nb_sec=126
case_no=138 label=Case6.126 nb_sol=0 ticks=6541 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=3023 tps=100 nb_sec=30
case_no=138 label=Case6.126 nb_sol=0 ticks=7814 tps=100 nb_sec=78
case_no=138 label=Case6.126 nb_sol=0 ticks=2611 tps=100 nb_sec=26
case_no=138 label=Case6.126 nb_sol=0 ticks=6527 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=6394 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=5953 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=7171 tps=100 nb_sec=71
case_no=138 label=Case6.126 nb_sol=0 ticks=2490 tps=100 nb_sec=24
case_no=138 label=Case6.126 nb_sol=0 ticks=5444 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=5234 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5168 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=5826 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=2194 tps=100 nb_sec=21
case_no=138 label=Case6.126 nb_sol=0 ticks=4842 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=5312 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=4884 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=4013 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=3841 tps=100 nb_sec=38
case_no=138 label=Case6.126 nb_sol=0 ticks=4822 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=2678 tps=100 nb_sec=26
case_no=138 label=Case6.126 nb_sol=0 ticks=6793 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=6704 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=5821 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=6390 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=6616 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=5804 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=2878 tps=100 nb_sec=28
case_no=138 label=Case6.126 nb_sol=0 ticks=5929 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=6334 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=7133 tps=100 nb_sec=71
case_no=138 label=Case6.126 nb_sol=0 ticks=2981 tps=100 nb_sec=29
case_no=138 label=Case6.126 nb_sol=0 ticks=5880 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=6715 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=2353 tps=100 nb_sec=23
case_no=138 label=Case6.126 nb_sol=0 ticks=6738 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=6090 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=5885 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=3502 tps=100 nb_sec=35
case_no=138 label=Case6.126 nb_sol=0 ticks=6586 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=7169 tps=100 nb_sec=71
case_no=138 label=Case6.126 nb_sol=0 ticks=2424 tps=100 nb_sec=24
case_no=138 label=Case6.126 nb_sol=0 ticks=2592 tps=100 nb_sec=25
case_no=138 label=Case6.126 nb_sol=0 ticks=6298 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=5414 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=4822 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=4484 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=4576 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=3703 tps=100 nb_sec=37
case_no=138 label=Case6.126 nb_sol=0 ticks=5073 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=2855 tps=100 nb_sec=28
case_no=138 label=Case6.126 nb_sol=0 ticks=4423 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=3145 tps=100 nb_sec=31
case_no=138 label=Case6.126 nb_sol=0 ticks=4503 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=7369 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=3151 tps=100 nb_sec=31
case_no=138 label=Case6.126 nb_sol=0 ticks=5316 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=6148 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=5867 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=4606 tps=100 nb_sec=46
case_no=138 label=Case6.126 nb_sol=0 ticks=5327 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5206 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=6129 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=5647 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5534 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=7180 tps=100 nb_sec=71
case_no=138 label=Case6.126 nb_sol=0 ticks=5660 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5824 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=7382 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=6139 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=5252 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5873 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5316 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=6152 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=4811 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=5045 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=6907 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=8357 tps=100 nb_sec=83
case_no=138 label=Case6.126 nb_sol=0 ticks=5133 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=3617 tps=100 nb_sec=36
case_no=138 label=Case6.126 nb_sol=0 ticks=7091 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=9628 tps=100 nb_sec=96
case_no=138 label=Case6.126 nb_sol=0 ticks=6758 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=4549 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=6589 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=9282 tps=100 nb_sec=92
case_no=138 label=Case6.126 nb_sol=0 ticks=2668 tps=100 nb_sec=26
case_no=138 label=Case6.126 nb_sol=0 ticks=5336 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=6694 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=10218 tps=100 nb_sec=102
case_no=138 label=Case6.126 nb_sol=0 ticks=5393 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=4138 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=6016 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=8496 tps=100 nb_sec=84
case_no=138 label=Case6.126 nb_sol=0 ticks=2194 tps=100 nb_sec=21
case_no=138 label=Case6.126 nb_sol=0 ticks=4430 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=6426 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=7016 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=6998 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=7311 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=5915 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=7094 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=5911 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=7093 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=4867 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=7332 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=4743 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=6192 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=5246 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=7498 tps=100 nb_sec=74
case_no=138 label=Case6.126 nb_sol=0 ticks=5297 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=6615 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=4254 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=5554 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=6014 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=5756 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=6533 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=5868 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5359 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5448 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=1730 tps=100 nb_sec=17
case_no=138 label=Case6.126 nb_sol=0 ticks=5152 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4548 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=5080 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=6675 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=6265 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=2396 tps=100 nb_sec=23
case_no=138 label=Case6.126 nb_sol=0 ticks=6629 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=2392 tps=100 nb_sec=23
case_no=138 label=Case6.126 nb_sol=0 ticks=3159 tps=100 nb_sec=31
case_no=138 label=Case6.126 nb_sol=0 ticks=4869 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=2588 tps=100 nb_sec=25
case_no=138 label=Case6.126 nb_sol=0 ticks=6097 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=6876 tps=100 nb_sec=68
case_no=138 label=Case6.126 nb_sol=0 ticks=5741 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=6772 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=5197 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=6054 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=6191 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=9180 tps=100 nb_sec=91
case_no=138 label=Case6.126 nb_sol=0 ticks=7281 tps=100 nb_sec=72
case_no=138 label=Case6.126 nb_sol=0 ticks=6001 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=8173 tps=100 nb_sec=81
case_no=138 label=Case6.126 nb_sol=0 ticks=8201 tps=100 nb_sec=82
case_no=138 label=Case6.126 nb_sol=0 ticks=8994 tps=100 nb_sec=89
case_no=138 label=Case6.126 nb_sol=0 ticks=6420 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=5779 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=7075 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=7719 tps=100 nb_sec=77
case_no=138 label=Case6.126 nb_sol=0 ticks=5765 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=7450 tps=100 nb_sec=74
case_no=138 label=Case6.126 nb_sol=0 ticks=9535 tps=100 nb_sec=95
case_no=138 label=Case6.126 nb_sol=0 ticks=5893 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=6466 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=7588 tps=100 nb_sec=75
case_no=138 label=Case6.126 nb_sol=0 ticks=5819 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5889 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5652 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=7716 tps=100 nb_sec=77
case_no=138 label=Case6.126 nb_sol=0 ticks=10250 tps=100 nb_sec=102
case_no=138 label=Case6.126 nb_sol=0 ticks=7684 tps=100 nb_sec=76
case_no=138 label=Case6.126 nb_sol=0 ticks=5703 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=4946 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=7864 tps=100 nb_sec=78
case_no=138 label=Case6.126 nb_sol=0 ticks=7636 tps=100 nb_sec=76
case_no=138 label=Case6.126 nb_sol=0 ticks=5544 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=6879 tps=100 nb_sec=68
case_no=138 label=Case6.126 nb_sol=0 ticks=6259 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=5996 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=9765 tps=100 nb_sec=97
case_no=138 label=Case6.126 nb_sol=0 ticks=6014 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=5907 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=3344 tps=100 nb_sec=33
case_no=138 label=Case6.126 nb_sol=0 ticks=3766 tps=100 nb_sec=37
case_no=138 label=Case6.126 nb_sol=0 ticks=5230 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=8682 tps=100 nb_sec=86
case_no=138 label=Case6.126 nb_sol=0 ticks=4570 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=4701 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=7322 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=7047 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=3810 tps=100 nb_sec=38
case_no=138 label=Case6.126 nb_sol=0 ticks=4931 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=6613 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=5826 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5105 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=5091 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=2878 tps=100 nb_sec=28
case_no=138 label=Case6.126 nb_sol=0 ticks=6556 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=5199 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4849 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=4278 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=5014 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=4260 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=6740 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=2515 tps=100 nb_sec=25
case_no=138 label=Case6.126 nb_sol=0 ticks=5332 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5948 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=6697 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=7300 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=3024 tps=100 nb_sec=30
case_no=138 label=Case6.126 nb_sol=0 ticks=5721 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=5691 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5969 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=8521 tps=100 nb_sec=85
case_no=138 label=Case6.126 nb_sol=0 ticks=2325 tps=100 nb_sec=23
case_no=138 label=Case6.126 nb_sol=0 ticks=6439 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=6340 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=6685 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=8460 tps=100 nb_sec=84
case_no=138 label=Case6.126 nb_sol=0 ticks=2882 tps=100 nb_sec=28
case_no=138 label=Case6.126 nb_sol=0 ticks=4866 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=5835 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=7537 tps=100 nb_sec=75
case_no=138 label=Case6.126 nb_sol=0 ticks=2696 tps=100 nb_sec=26
case_no=138 label=Case6.126 nb_sol=0 ticks=5227 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=7003 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=5399 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5997 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=6148 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=5345 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=6135 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=5236 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5364 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5655 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=4885 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=4907 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=5215 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=4006 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=4178 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=6163 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=4761 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=5607 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=2687 tps=100 nb_sec=26
case_no=138 label=Case6.126 nb_sol=0 ticks=4827 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=4963 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=4494 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=4155 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=5415 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=3683 tps=100 nb_sec=36
case_no=138 label=Case6.126 nb_sol=0 ticks=5056 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=2578 tps=100 nb_sec=25
case_no=138 label=Case6.126 nb_sol=0 ticks=5731 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=4877 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=5157 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4485 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=7048 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=5557 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=7049 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=5487 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=6577 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=7902 tps=100 nb_sec=79
case_no=138 label=Case6.126 nb_sol=0 ticks=5642 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=3690 tps=100 nb_sec=36
case_no=138 label=Case6.126 nb_sol=0 ticks=10497 tps=100 nb_sec=104
case_no=138 label=Case6.126 nb_sol=0 ticks=4588 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=6964 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=5424 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=8998 tps=100 nb_sec=89
case_no=138 label=Case6.126 nb_sol=0 ticks=4600 tps=100 nb_sec=46
case_no=138 label=Case6.126 nb_sol=0 ticks=7054 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=5532 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=5594 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=4833 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=6750 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=4509 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=5983 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=4914 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=2423 tps=100 nb_sec=24
case_no=138 label=Case6.126 nb_sol=0 ticks=4138 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=5943 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=4241 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=5800 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=4893 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=5163 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=5157 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=5311 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5421 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=3161 tps=100 nb_sec=31
case_no=138 label=Case6.126 nb_sol=0 ticks=5543 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=4313 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=5173 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4596 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=2748 tps=100 nb_sec=27
case_no=138 label=Case6.126 nb_sol=0 ticks=3740 tps=100 nb_sec=37
case_no=138 label=Case6.126 nb_sol=0 ticks=4471 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=4225 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=2860 tps=100 nb_sec=28
case_no=138 label=Case6.126 nb_sol=0 ticks=6902 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=7361 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=5114 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4327 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=6932 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=5795 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=5820 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=2587 tps=100 nb_sec=25
case_no=138 label=Case6.126 nb_sol=0 ticks=8183 tps=100 nb_sec=81
case_no=138 label=Case6.126 nb_sol=0 ticks=4980 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=5193 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=10413 tps=100 nb_sec=104
case_no=138 label=Case6.126 nb_sol=0 ticks=6749 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=4620 tps=100 nb_sec=46
case_no=138 label=Case6.126 nb_sol=0 ticks=6300 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=10103 tps=100 nb_sec=101
case_no=138 label=Case6.126 nb_sol=0 ticks=6288 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=5834 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=4315 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=9371 tps=100 nb_sec=93
case_no=138 label=Case6.126 nb_sol=0 ticks=6494 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=5119 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4786 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=5428 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=6008 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=9685 tps=100 nb_sec=96
case_no=138 label=Case6.126 nb_sol=0 ticks=6159 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=3934 tps=100 nb_sec=39
case_no=138 label=Case6.126 nb_sol=0 ticks=4823 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=3826 tps=100 nb_sec=38
case_no=138 label=Case6.126 nb_sol=0 ticks=5661 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5724 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=7453 tps=100 nb_sec=74
case_no=138 label=Case6.126 nb_sol=0 ticks=6591 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=2611 tps=100 nb_sec=26
case_no=138 label=Case6.126 nb_sol=0 ticks=4407 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=5911 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=4001 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=6097 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=1836 tps=100 nb_sec=18
case_no=138 label=Case6.126 nb_sol=0 ticks=5522 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=5670 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5922 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=5564 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=3089 tps=100 nb_sec=30
case_no=138 label=Case6.126 nb_sol=0 ticks=4219 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=5420 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=6240 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=5683 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=9629 tps=100 nb_sec=96
case_no=138 label=Case6.126 nb_sol=0 ticks=5263 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=2293 tps=100 nb_sec=22
case_no=138 label=Case6.126 nb_sol=0 ticks=6709 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=6464 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=4517 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=7651 tps=100 nb_sec=76
case_no=138 label=Case6.126 nb_sol=0 ticks=5866 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5214 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=6163 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=2922 tps=100 nb_sec=29
case_no=138 label=Case6.126 nb_sol=0 ticks=5413 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=10389 tps=100 nb_sec=103
case_no=138 label=Case6.126 nb_sol=0 ticks=5368 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5685 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=9894 tps=100 nb_sec=98
case_no=138 label=Case6.126 nb_sol=0 ticks=4088 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=4765 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=2990 tps=100 nb_sec=29
case_no=138 label=Case6.126 nb_sol=0 ticks=5341 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5426 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=2128 tps=100 nb_sec=21
case_no=138 label=Case6.126 nb_sol=0 ticks=4653 tps=100 nb_sec=46
case_no=138 label=Case6.126 nb_sol=0 ticks=5976 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=11668 tps=100 nb_sec=116
case_no=138 label=Case6.126 nb_sol=0 ticks=9764 tps=100 nb_sec=97
case_no=138 label=Case6.126 nb_sol=0 ticks=5970 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=5584 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=2520 tps=100 nb_sec=25
case_no=138 label=Case6.126 nb_sol=0 ticks=8664 tps=100 nb_sec=86
case_no=138 label=Case6.126 nb_sol=0 ticks=5576 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=9541 tps=100 nb_sec=95
case_no=138 label=Case6.126 nb_sol=0 ticks=6258 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=3337 tps=100 nb_sec=33
case_no=138 label=Case6.126 nb_sol=0 ticks=4487 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=5017 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=8151 tps=100 nb_sec=81
case_no=138 label=Case6.126 nb_sol=0 ticks=4854 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=4966 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=5110 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4588 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=4800 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=5688 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5671 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=4748 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=4772 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=4006 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=4197 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=2626 tps=100 nb_sec=26
case_no=138 label=Case6.126 nb_sol=0 ticks=4234 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=2606 tps=100 nb_sec=26
case_no=138 label=Case6.126 nb_sol=0 ticks=4211 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=5542 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=4402 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=5690 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=4072 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=4931 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=3882 tps=100 nb_sec=38
case_no=138 label=Case6.126 nb_sol=0 ticks=2553 tps=100 nb_sec=25
case_no=138 label=Case6.126 nb_sol=0 ticks=4767 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=4032 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=5092 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=4697 tps=100 nb_sec=46
case_no=138 label=Case6.126 nb_sol=0 ticks=6627 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=4007 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=5758 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=8839 tps=100 nb_sec=88
case_no=138 label=Case6.126 nb_sol=0 ticks=4525 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=5408 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=4865 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=5580 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=4441 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=5547 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=5689 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=13099 tps=100 nb_sec=130
case_no=138 label=Case6.126 nb_sol=0 ticks=5375 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=6979 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=5966 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=9473 tps=100 nb_sec=94
case_no=138 label=Case6.126 nb_sol=0 ticks=11067 tps=100 nb_sec=110
case_no=138 label=Case6.126 nb_sol=0 ticks=4975 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=5030 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=5435 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=9075 tps=100 nb_sec=90
case_no=138 label=Case6.126 nb_sol=0 ticks=8022 tps=100 nb_sec=80
case_no=138 label=Case6.126 nb_sol=0 ticks=9961 tps=100 nb_sec=99
case_no=138 label=Case6.126 nb_sol=0 ticks=4724 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=5696 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=8591 tps=100 nb_sec=85
case_no=138 label=Case6.126 nb_sol=0 ticks=4314 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=3698 tps=100 nb_sec=36
case_no=138 label=Case6.126 nb_sol=0 ticks=4561 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=4642 tps=100 nb_sec=46
case_no=138 label=Case6.126 nb_sol=0 ticks=4484 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=4218 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=4185 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=5129 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4332 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=4989 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=4593 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=4619 tps=100 nb_sec=46
case_no=138 label=Case6.126 nb_sol=0 ticks=5521 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=4099 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=7535 tps=100 nb_sec=75
case_no=138 label=Case6.126 nb_sol=0 ticks=4360 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=5382 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=6013 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=5676 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=7487 tps=100 nb_sec=74
case_no=138 label=Case6.126 nb_sol=0 ticks=4881 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=8194 tps=100 nb_sec=81
case_no=138 label=Case6.126 nb_sol=0 ticks=5668 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=6720 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=5937 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=5307 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=9607 tps=100 nb_sec=96
case_no=138 label=Case6.126 nb_sol=0 ticks=4860 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=10198 tps=100 nb_sec=101
case_no=138 label=Case6.126 nb_sol=0 ticks=5614 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5798 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=8565 tps=100 nb_sec=85
case_no=138 label=Case6.126 nb_sol=0 ticks=5365 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=2355 tps=100 nb_sec=23
case_no=138 label=Case6.126 nb_sol=0 ticks=5747 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=5494 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=8881 tps=100 nb_sec=88
case_no=138 label=Case6.126 nb_sol=0 ticks=5957 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=6922 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=5913 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=9760 tps=100 nb_sec=97
case_no=138 label=Case6.126 nb_sol=0 ticks=5222 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5260 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=5463 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=4190 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=4085 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=4374 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=5244 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=3947 tps=100 nb_sec=39
case_no=138 label=Case6.126 nb_sol=0 ticks=3990 tps=100 nb_sec=39
case_no=138 label=Case6.126 nb_sol=0 ticks=7671 tps=100 nb_sec=76
case_no=138 label=Case6.126 nb_sol=0 ticks=4061 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=5172 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4512 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=10745 tps=100 nb_sec=107
case_no=138 label=Case6.126 nb_sol=0 ticks=5317 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5786 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=3946 tps=100 nb_sec=39
case_no=138 label=Case6.126 nb_sol=0 ticks=11384 tps=100 nb_sec=113
case_no=138 label=Case6.126 nb_sol=0 ticks=6128 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=9923 tps=100 nb_sec=99
case_no=138 label=Case6.126 nb_sol=0 ticks=7874 tps=100 nb_sec=78
case_no=138 label=Case6.126 nb_sol=0 ticks=6102 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=4150 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=6208 tps=100 nb_sec=62
case_no=138 label=Case6.126 nb_sol=0 ticks=5626 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=6834 tps=100 nb_sec=68
case_no=138 label=Case6.126 nb_sol=0 ticks=4373 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=7075 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=5875 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5819 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=4765 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=5468 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=4461 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=5287 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=6039 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=5698 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5785 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=6672 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=4985 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=6169 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=3799 tps=100 nb_sec=37
case_no=138 label=Case6.126 nb_sol=0 ticks=5437 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=5930 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=5595 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=5187 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4999 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=5864 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=4681 tps=100 nb_sec=46
case_no=138 label=Case6.126 nb_sol=0 ticks=3563 tps=100 nb_sec=35
case_no=138 label=Case6.126 nb_sol=0 ticks=5111 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=6464 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=4574 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=7256 tps=100 nb_sec=72
case_no=138 label=Case6.126 nb_sol=0 ticks=6371 tps=100 nb_sec=63
case_no=138 label=Case6.126 nb_sol=0 ticks=5394 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=6028 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=4824 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=4730 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=5086 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=4394 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=6146 tps=100 nb_sec=61
case_no=138 label=Case6.126 nb_sol=0 ticks=4960 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=10413 tps=100 nb_sec=104
case_no=138 label=Case6.126 nb_sol=0 ticks=5276 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=4420 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=5614 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=7934 tps=100 nb_sec=79
case_no=138 label=Case6.126 nb_sol=0 ticks=4961 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=4998 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=6400 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=6096 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=6455 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=9616 tps=100 nb_sec=96
case_no=138 label=Case6.126 nb_sol=0 ticks=5593 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=5159 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=5814 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=5633 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=11118 tps=100 nb_sec=111
case_no=138 label=Case6.126 nb_sol=0 ticks=5307 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=5682 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=5233 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=11235 tps=100 nb_sec=112
case_no=138 label=Case6.126 nb_sol=0 ticks=5074 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=10991 tps=100 nb_sec=109
case_no=138 label=Case6.126 nb_sol=0 ticks=5593 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=5365 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=4871 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=3126 tps=100 nb_sec=31
case_no=138 label=Case6.126 nb_sol=0 ticks=5704 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=3744 tps=100 nb_sec=37
case_no=138 label=Case6.126 nb_sol=0 ticks=4739 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=9568 tps=100 nb_sec=95
case_no=138 label=Case6.126 nb_sol=0 ticks=4317 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=4911 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=4643 tps=100 nb_sec=46
case_no=138 label=Case6.126 nb_sol=0 ticks=5225 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=4865 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=11111 tps=100 nb_sec=111
case_no=138 label=Case6.126 nb_sol=0 ticks=9346 tps=100 nb_sec=93
case_no=138 label=Case6.126 nb_sol=0 ticks=5164 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=3681 tps=100 nb_sec=36
case_no=138 label=Case6.126 nb_sol=0 ticks=7273 tps=100 nb_sec=72
case_no=138 label=Case6.126 nb_sol=0 ticks=3325 tps=100 nb_sec=33
case_no=138 label=Case6.126 nb_sol=0 ticks=4388 tps=100 nb_sec=43
case_no=138 label=Case6.126 nb_sol=0 ticks=4870 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=5618 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=2797 tps=100 nb_sec=27
case_no=138 label=Case6.126 nb_sol=0 ticks=2475 tps=100 nb_sec=24
case_no=138 label=Case6.126 nb_sol=0 ticks=3962 tps=100 nb_sec=39
case_no=138 label=Case6.126 nb_sol=0 ticks=6059 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=9315 tps=100 nb_sec=93
case_no=138 label=Case6.126 nb_sol=0 ticks=3547 tps=100 nb_sec=35
case_no=138 label=Case6.126 nb_sol=0 ticks=5130 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=6027 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=5076 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=7315 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=2393 tps=100 nb_sec=23
case_no=138 label=Case6.126 nb_sol=0 ticks=3045 tps=100 nb_sec=30
case_no=138 label=Case6.126 nb_sol=0 ticks=5704 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=5895 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=3130 tps=100 nb_sec=31
case_no=138 label=Case6.126 nb_sol=0 ticks=3557 tps=100 nb_sec=35
case_no=138 label=Case6.126 nb_sol=0 ticks=5824 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=6681 tps=100 nb_sec=66
case_no=138 label=Case6.126 nb_sol=0 ticks=4226 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=5721 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=10340 tps=100 nb_sec=103
case_no=138 label=Case6.126 nb_sol=0 ticks=4812 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=6580 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=5948 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=7084 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=10185 tps=100 nb_sec=101
case_no=138 label=Case6.126 nb_sol=0 ticks=4033 tps=100 nb_sec=40
case_no=138 label=Case6.126 nb_sol=0 ticks=5149 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=5812 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=3506 tps=100 nb_sec=35
case_no=138 label=Case6.126 nb_sol=0 ticks=9476 tps=100 nb_sec=94
case_no=138 label=Case6.126 nb_sol=0 ticks=5956 tps=100 nb_sec=59
case_no=138 label=Case6.126 nb_sol=0 ticks=6533 tps=100 nb_sec=65
case_no=138 label=Case6.126 nb_sol=0 ticks=5764 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=8525 tps=100 nb_sec=85
case_no=138 label=Case6.126 nb_sol=0 ticks=5563 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=4755 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=4565 tps=100 nb_sec=45
case_no=138 label=Case6.126 nb_sol=0 ticks=5413 tps=100 nb_sec=54
case_no=138 label=Case6.126 nb_sol=0 ticks=5090 tps=100 nb_sec=50
case_no=138 label=Case6.126 nb_sol=0 ticks=4903 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=5377 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=3116 tps=100 nb_sec=31
case_no=138 label=Case6.126 nb_sol=0 ticks=3776 tps=100 nb_sec=37
case_no=138 label=Case6.126 nb_sol=0 ticks=6930 tps=100 nb_sec=69
case_no=138 label=Case6.126 nb_sol=0 ticks=4846 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=5363 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=4864 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=4263 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=4156 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=4992 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=4988 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=4461 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=5537 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=4904 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=5872 tps=100 nb_sec=58
case_no=138 label=Case6.126 nb_sol=0 ticks=4834 tps=100 nb_sec=48
case_no=138 label=Case6.126 nb_sol=0 ticks=9593 tps=100 nb_sec=95
case_no=138 label=Case6.126 nb_sol=0 ticks=5795 tps=100 nb_sec=57
case_no=138 label=Case6.126 nb_sol=0 ticks=10314 tps=100 nb_sec=103
case_no=138 label=Case6.126 nb_sol=0 ticks=7702 tps=100 nb_sec=77
case_no=138 label=Case6.126 nb_sol=0 ticks=5549 tps=100 nb_sec=55
case_no=138 label=Case6.126 nb_sol=0 ticks=5646 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=4782 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=11307 tps=100 nb_sec=113
case_no=138 label=Case6.126 nb_sol=0 ticks=4703 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=9441 tps=100 nb_sec=94
case_no=138 label=Case6.126 nb_sol=0 ticks=4968 tps=100 nb_sec=49
case_no=138 label=Case6.126 nb_sol=0 ticks=9457 tps=100 nb_sec=94
case_no=138 label=Case6.126 nb_sol=0 ticks=5125 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=4794 tps=100 nb_sec=47
case_no=138 label=Case6.126 nb_sol=0 ticks=4405 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=7544 tps=100 nb_sec=75
case_no=138 label=Case6.126 nb_sol=0 ticks=2493 tps=100 nb_sec=24
case_no=138 label=Case6.126 nb_sol=0 ticks=3449 tps=100 nb_sec=34
case_no=138 label=Case6.126 nb_sol=0 ticks=7364 tps=100 nb_sec=73
case_no=138 label=Case6.126 nb_sol=0 ticks=7069 tps=100 nb_sec=70
case_no=138 label=Case6.126 nb_sol=0 ticks=11870 tps=100 nb_sec=118
case_no=138 label=Case6.126 nb_sol=0 ticks=3830 tps=100 nb_sec=38
case_no=138 label=Case6.126 nb_sol=0 ticks=6787 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=4293 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=3751 tps=100 nb_sec=37
case_no=138 label=Case6.126 nb_sol=0 ticks=6005 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=10078 tps=100 nb_sec=100
case_no=138 label=Case6.126 nb_sol=0 ticks=5147 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=6048 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=3006 tps=100 nb_sec=30
case_no=138 label=Case6.126 nb_sol=0 ticks=3984 tps=100 nb_sec=39
case_no=138 label=Case6.126 nb_sol=0 ticks=9704 tps=100 nb_sec=97
case_no=138 label=Case6.126 nb_sol=0 ticks=6779 tps=100 nb_sec=67
case_no=138 label=Case6.126 nb_sol=0 ticks=7973 tps=100 nb_sec=79
case_no=138 label=Case6.126 nb_sol=0 ticks=5105 tps=100 nb_sec=51
case_no=138 label=Case6.126 nb_sol=0 ticks=2468 tps=100 nb_sec=24
case_no=138 label=Case6.126 nb_sol=0 ticks=6047 tps=100 nb_sec=60
case_no=138 label=Case6.126 nb_sol=0 ticks=5348 tps=100 nb_sec=53
case_no=138 label=Case6.126 nb_sol=0 ticks=4467 tps=100 nb_sec=44
case_no=138 label=Case6.126 nb_sol=0 ticks=3985 tps=100 nb_sec=39
case_no=138 label=Case6.126 nb_sol=0 ticks=6497 tps=100 nb_sec=64
case_no=138 label=Case6.126 nb_sol=0 ticks=7594 tps=100 nb_sec=75
case_no=138 label=Case6.126 nb_sol=0 ticks=4273 tps=100 nb_sec=42
case_no=138 label=Case6.126 nb_sol=0 ticks=2110 tps=100 nb_sec=21
case_no=138 label=Case6.126 nb_sol=0 ticks=5630 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=7828 tps=100 nb_sec=78
case_no=138 label=Case6.126 nb_sol=0 ticks=5632 tps=100 nb_sec=56
case_no=138 label=Case6.126 nb_sol=0 ticks=2369 tps=100 nb_sec=23
case_no=138 label=Case6.126 nb_sol=0 ticks=5204 tps=100 nb_sec=52
case_no=138 label=Case6.126 nb_sol=0 ticks=4198 tps=100 nb_sec=41
case_no=138 label=Case6.126 nb_sol=0 ticks=5395 tps=100 nb_sec=53
Nb_sol=0
Nb_sec=58821
0-16:20:21 or 16 hours
missing cases:
none