argc=5
-M 1024
file2=30_select_Case6.156_starter_15_
checking files mod 1024 from 0 to 1023
case_no=168 label=Case6.156 nb_sol=0 ticks=9682 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=4696 tps=100 nb_sec=46
case_no=168 label=Case6.156 nb_sol=0 ticks=13181 tps=100 nb_sec=131
case_no=168 label=Case6.156 nb_sol=0 ticks=7267 tps=100 nb_sec=72
case_no=168 label=Case6.156 nb_sol=0 ticks=6392 tps=100 nb_sec=63
case_no=168 label=Case6.156 nb_sol=0 ticks=8353 tps=100 nb_sec=83
case_no=168 label=Case6.156 nb_sol=0 ticks=8563 tps=100 nb_sec=85
case_no=168 label=Case6.156 nb_sol=0 ticks=7887 tps=100 nb_sec=78
case_no=168 label=Case6.156 nb_sol=0 ticks=10721 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=9504 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=6756 tps=100 nb_sec=67
case_no=168 label=Case6.156 nb_sol=0 ticks=7852 tps=100 nb_sec=78
case_no=168 label=Case6.156 nb_sol=0 ticks=10060 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=10322 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=9560 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=8213 tps=100 nb_sec=82
case_no=168 label=Case6.156 nb_sol=0 ticks=11104 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=8486 tps=100 nb_sec=84
case_no=168 label=Case6.156 nb_sol=0 ticks=6480 tps=100 nb_sec=64
case_no=168 label=Case6.156 nb_sol=0 ticks=10696 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=9843 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=12079 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=7205 tps=100 nb_sec=72
case_no=168 label=Case6.156 nb_sol=0 ticks=10990 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=7443 tps=100 nb_sec=74
case_no=168 label=Case6.156 nb_sol=0 ticks=15107 tps=100 nb_sec=151
case_no=168 label=Case6.156 nb_sol=0 ticks=11795 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=13303 tps=100 nb_sec=133
case_no=168 label=Case6.156 nb_sol=0 ticks=6170 tps=100 nb_sec=61
case_no=168 label=Case6.156 nb_sol=0 ticks=11038 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=11338 tps=100 nb_sec=113
case_no=168 label=Case6.156 nb_sol=0 ticks=12169 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=6104 tps=100 nb_sec=61
case_no=168 label=Case6.156 nb_sol=0 ticks=6707 tps=100 nb_sec=67
case_no=168 label=Case6.156 nb_sol=0 ticks=5878 tps=100 nb_sec=58
case_no=168 label=Case6.156 nb_sol=0 ticks=5857 tps=100 nb_sec=58
case_no=168 label=Case6.156 nb_sol=0 ticks=5490 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=6215 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=5456 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=4976 tps=100 nb_sec=49
case_no=168 label=Case6.156 nb_sol=0 ticks=9320 tps=100 nb_sec=93
case_no=168 label=Case6.156 nb_sol=0 ticks=10359 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=9958 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=11370 tps=100 nb_sec=113
case_no=168 label=Case6.156 nb_sol=0 ticks=6304 tps=100 nb_sec=63
case_no=168 label=Case6.156 nb_sol=0 ticks=9419 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=10458 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=6281 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=12873 tps=100 nb_sec=128
case_no=168 label=Case6.156 nb_sol=0 ticks=12697 tps=100 nb_sec=126
case_no=168 label=Case6.156 nb_sol=0 ticks=6634 tps=100 nb_sec=66
case_no=168 label=Case6.156 nb_sol=0 ticks=13089 tps=100 nb_sec=130
case_no=168 label=Case6.156 nb_sol=0 ticks=11030 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=6290 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=7844 tps=100 nb_sec=78
case_no=168 label=Case6.156 nb_sol=0 ticks=10997 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=7288 tps=100 nb_sec=72
case_no=168 label=Case6.156 nb_sol=0 ticks=11072 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=6403 tps=100 nb_sec=64
case_no=168 label=Case6.156 nb_sol=0 ticks=6311 tps=100 nb_sec=63
case_no=168 label=Case6.156 nb_sol=0 ticks=10889 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=8480 tps=100 nb_sec=84
case_no=168 label=Case6.156 nb_sol=0 ticks=5823 tps=100 nb_sec=58
case_no=168 label=Case6.156 nb_sol=0 ticks=10725 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=9031 tps=100 nb_sec=90
case_no=168 label=Case6.156 nb_sol=0 ticks=7895 tps=100 nb_sec=78
case_no=168 label=Case6.156 nb_sol=0 ticks=13343 tps=100 nb_sec=133
case_no=168 label=Case6.156 nb_sol=0 ticks=7327 tps=100 nb_sec=73
case_no=168 label=Case6.156 nb_sol=0 ticks=6455 tps=100 nb_sec=64
case_no=168 label=Case6.156 nb_sol=0 ticks=10911 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=11988 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=7430 tps=100 nb_sec=74
case_no=168 label=Case6.156 nb_sol=0 ticks=5862 tps=100 nb_sec=58
case_no=168 label=Case6.156 nb_sol=0 ticks=11211 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=7336 tps=100 nb_sec=73
case_no=168 label=Case6.156 nb_sol=0 ticks=5942 tps=100 nb_sec=59
case_no=168 label=Case6.156 nb_sol=0 ticks=10461 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=11672 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=13873 tps=100 nb_sec=138
case_no=168 label=Case6.156 nb_sol=0 ticks=15385 tps=100 nb_sec=153
case_no=168 label=Case6.156 nb_sol=0 ticks=11570 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=9492 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=10866 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=13647 tps=100 nb_sec=136
case_no=168 label=Case6.156 nb_sol=0 ticks=17994 tps=100 nb_sec=179
case_no=168 label=Case6.156 nb_sol=0 ticks=7476 tps=100 nb_sec=74
case_no=168 label=Case6.156 nb_sol=0 ticks=8896 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=16015 tps=100 nb_sec=160
case_no=168 label=Case6.156 nb_sol=0 ticks=11968 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=14121 tps=100 nb_sec=141
case_no=168 label=Case6.156 nb_sol=0 ticks=13801 tps=100 nb_sec=138
case_no=168 label=Case6.156 nb_sol=0 ticks=9127 tps=100 nb_sec=91
case_no=168 label=Case6.156 nb_sol=0 ticks=10726 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=12204 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=11769 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=11115 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=8768 tps=100 nb_sec=87
case_no=168 label=Case6.156 nb_sol=0 ticks=8444 tps=100 nb_sec=84
case_no=168 label=Case6.156 nb_sol=0 ticks=12075 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=9590 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=14162 tps=100 nb_sec=141
case_no=168 label=Case6.156 nb_sol=0 ticks=11929 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=9298 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=9203 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=9672 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=12241 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=10761 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=6465 tps=100 nb_sec=64
case_no=168 label=Case6.156 nb_sol=0 ticks=12770 tps=100 nb_sec=127
case_no=168 label=Case6.156 nb_sol=0 ticks=7274 tps=100 nb_sec=72
case_no=168 label=Case6.156 nb_sol=0 ticks=10920 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=8030 tps=100 nb_sec=80
case_no=168 label=Case6.156 nb_sol=0 ticks=9960 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=11780 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=9877 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=5543 tps=100 nb_sec=55
case_no=168 label=Case6.156 nb_sol=0 ticks=8030 tps=100 nb_sec=80
case_no=168 label=Case6.156 nb_sol=0 ticks=11121 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=11428 tps=100 nb_sec=114
case_no=168 label=Case6.156 nb_sol=0 ticks=12652 tps=100 nb_sec=126
case_no=168 label=Case6.156 nb_sol=0 ticks=9175 tps=100 nb_sec=91
case_no=168 label=Case6.156 nb_sol=0 ticks=10224 tps=100 nb_sec=102
case_no=168 label=Case6.156 nb_sol=0 ticks=11068 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=7403 tps=100 nb_sec=74
case_no=168 label=Case6.156 nb_sol=0 ticks=13664 tps=100 nb_sec=136
case_no=168 label=Case6.156 nb_sol=0 ticks=6977 tps=100 nb_sec=69
case_no=168 label=Case6.156 nb_sol=0 ticks=10694 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=7886 tps=100 nb_sec=78
case_no=168 label=Case6.156 nb_sol=0 ticks=12999 tps=100 nb_sec=129
case_no=168 label=Case6.156 nb_sol=0 ticks=10541 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=13277 tps=100 nb_sec=132
case_no=168 label=Case6.156 nb_sol=0 ticks=8483 tps=100 nb_sec=84
case_no=168 label=Case6.156 nb_sol=0 ticks=12788 tps=100 nb_sec=127
case_no=168 label=Case6.156 nb_sol=0 ticks=11330 tps=100 nb_sec=113
case_no=168 label=Case6.156 nb_sol=0 ticks=8558 tps=100 nb_sec=85
case_no=168 label=Case6.156 nb_sol=0 ticks=14701 tps=100 nb_sec=147
case_no=168 label=Case6.156 nb_sol=0 ticks=12907 tps=100 nb_sec=129
case_no=168 label=Case6.156 nb_sol=0 ticks=13551 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=12130 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=12436 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=15968 tps=100 nb_sec=159
case_no=168 label=Case6.156 nb_sol=0 ticks=6616 tps=100 nb_sec=66
case_no=168 label=Case6.156 nb_sol=0 ticks=13668 tps=100 nb_sec=136
case_no=168 label=Case6.156 nb_sol=0 ticks=11680 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=14989 tps=100 nb_sec=149
case_no=168 label=Case6.156 nb_sol=0 ticks=5274 tps=100 nb_sec=52
case_no=168 label=Case6.156 nb_sol=0 ticks=13777 tps=100 nb_sec=137
case_no=168 label=Case6.156 nb_sol=0 ticks=4689 tps=100 nb_sec=46
case_no=168 label=Case6.156 nb_sol=0 ticks=7286 tps=100 nb_sec=72
case_no=168 label=Case6.156 nb_sol=0 ticks=6567 tps=100 nb_sec=65
case_no=168 label=Case6.156 nb_sol=0 ticks=16492 tps=100 nb_sec=164
case_no=168 label=Case6.156 nb_sol=0 ticks=9974 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=9204 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=9935 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=10249 tps=100 nb_sec=102
case_no=168 label=Case6.156 nb_sol=0 ticks=10115 tps=100 nb_sec=101
case_no=168 label=Case6.156 nb_sol=0 ticks=10451 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=6344 tps=100 nb_sec=63
case_no=168 label=Case6.156 nb_sol=0 ticks=6966 tps=100 nb_sec=69
case_no=168 label=Case6.156 nb_sol=0 ticks=10156 tps=100 nb_sec=101
case_no=168 label=Case6.156 nb_sol=0 ticks=10329 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=10132 tps=100 nb_sec=101
case_no=168 label=Case6.156 nb_sol=0 ticks=10884 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=11558 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=10913 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=9319 tps=100 nb_sec=93
case_no=168 label=Case6.156 nb_sol=0 ticks=9787 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=9818 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=9106 tps=100 nb_sec=91
case_no=168 label=Case6.156 nb_sol=0 ticks=11242 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=10135 tps=100 nb_sec=101
case_no=168 label=Case6.156 nb_sol=0 ticks=6379 tps=100 nb_sec=63
case_no=168 label=Case6.156 nb_sol=0 ticks=12604 tps=100 nb_sec=126
case_no=168 label=Case6.156 nb_sol=0 ticks=7284 tps=100 nb_sec=72
case_no=168 label=Case6.156 nb_sol=0 ticks=13235 tps=100 nb_sec=132
case_no=168 label=Case6.156 nb_sol=0 ticks=6136 tps=100 nb_sec=61
case_no=168 label=Case6.156 nb_sol=0 ticks=15574 tps=100 nb_sec=155
case_no=168 label=Case6.156 nb_sol=0 ticks=13782 tps=100 nb_sec=137
case_no=168 label=Case6.156 nb_sol=0 ticks=7643 tps=100 nb_sec=76
case_no=168 label=Case6.156 nb_sol=0 ticks=15953 tps=100 nb_sec=159
case_no=168 label=Case6.156 nb_sol=0 ticks=16492 tps=100 nb_sec=164
case_no=168 label=Case6.156 nb_sol=0 ticks=11295 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=12201 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=12749 tps=100 nb_sec=127
case_no=168 label=Case6.156 nb_sol=0 ticks=11168 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=11264 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=12240 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=11323 tps=100 nb_sec=113
case_no=168 label=Case6.156 nb_sol=0 ticks=11687 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=14223 tps=100 nb_sec=142
case_no=168 label=Case6.156 nb_sol=0 ticks=12412 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=13372 tps=100 nb_sec=133
case_no=168 label=Case6.156 nb_sol=0 ticks=12438 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=10354 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=10005 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=10555 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=6281 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=5541 tps=100 nb_sec=55
case_no=168 label=Case6.156 nb_sol=0 ticks=5735 tps=100 nb_sec=57
case_no=168 label=Case6.156 nb_sol=0 ticks=14162 tps=100 nb_sec=141
case_no=168 label=Case6.156 nb_sol=0 ticks=7385 tps=100 nb_sec=73
case_no=168 label=Case6.156 nb_sol=0 ticks=11450 tps=100 nb_sec=114
case_no=168 label=Case6.156 nb_sol=0 ticks=15159 tps=100 nb_sec=151
case_no=168 label=Case6.156 nb_sol=0 ticks=6259 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=10037 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=6397 tps=100 nb_sec=63
case_no=168 label=Case6.156 nb_sol=0 ticks=9562 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=12172 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=5415 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=12554 tps=100 nb_sec=125
case_no=168 label=Case6.156 nb_sol=0 ticks=7950 tps=100 nb_sec=79
case_no=168 label=Case6.156 nb_sol=0 ticks=12489 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=8256 tps=100 nb_sec=82
case_no=168 label=Case6.156 nb_sol=0 ticks=11534 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=7467 tps=100 nb_sec=74
case_no=168 label=Case6.156 nb_sol=0 ticks=14181 tps=100 nb_sec=141
case_no=168 label=Case6.156 nb_sol=0 ticks=11426 tps=100 nb_sec=114
case_no=168 label=Case6.156 nb_sol=0 ticks=13631 tps=100 nb_sec=136
case_no=168 label=Case6.156 nb_sol=0 ticks=11256 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=12410 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=6141 tps=100 nb_sec=61
case_no=168 label=Case6.156 nb_sol=0 ticks=8592 tps=100 nb_sec=85
case_no=168 label=Case6.156 nb_sol=0 ticks=9837 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=13442 tps=100 nb_sec=134
case_no=168 label=Case6.156 nb_sol=0 ticks=9660 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=7533 tps=100 nb_sec=75
case_no=168 label=Case6.156 nb_sol=0 ticks=11636 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=12636 tps=100 nb_sec=126
case_no=168 label=Case6.156 nb_sol=0 ticks=9844 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=9711 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=8239 tps=100 nb_sec=82
case_no=168 label=Case6.156 nb_sol=0 ticks=12568 tps=100 nb_sec=125
case_no=168 label=Case6.156 nb_sol=0 ticks=9190 tps=100 nb_sec=91
case_no=168 label=Case6.156 nb_sol=0 ticks=6517 tps=100 nb_sec=65
case_no=168 label=Case6.156 nb_sol=0 ticks=13751 tps=100 nb_sec=137
case_no=168 label=Case6.156 nb_sol=0 ticks=12178 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=8060 tps=100 nb_sec=80
case_no=168 label=Case6.156 nb_sol=0 ticks=13391 tps=100 nb_sec=133
case_no=168 label=Case6.156 nb_sol=0 ticks=12563 tps=100 nb_sec=125
case_no=168 label=Case6.156 nb_sol=0 ticks=6394 tps=100 nb_sec=63
case_no=168 label=Case6.156 nb_sol=0 ticks=11875 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=5996 tps=100 nb_sec=59
case_no=168 label=Case6.156 nb_sol=0 ticks=14317 tps=100 nb_sec=143
case_no=168 label=Case6.156 nb_sol=0 ticks=5505 tps=100 nb_sec=55
case_no=168 label=Case6.156 nb_sol=0 ticks=11855 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=5831 tps=100 nb_sec=58
case_no=168 label=Case6.156 nb_sol=0 ticks=6176 tps=100 nb_sec=61
case_no=168 label=Case6.156 nb_sol=0 ticks=7750 tps=100 nb_sec=77
case_no=168 label=Case6.156 nb_sol=0 ticks=5908 tps=100 nb_sec=59
case_no=168 label=Case6.156 nb_sol=0 ticks=7113 tps=100 nb_sec=71
case_no=168 label=Case6.156 nb_sol=0 ticks=9891 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=8755 tps=100 nb_sec=87
case_no=168 label=Case6.156 nb_sol=0 ticks=7632 tps=100 nb_sec=76
case_no=168 label=Case6.156 nb_sol=0 ticks=15964 tps=100 nb_sec=159
case_no=168 label=Case6.156 nb_sol=0 ticks=8796 tps=100 nb_sec=87
case_no=168 label=Case6.156 nb_sol=0 ticks=15013 tps=100 nb_sec=150
case_no=168 label=Case6.156 nb_sol=0 ticks=12445 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=13349 tps=100 nb_sec=133
case_no=168 label=Case6.156 nb_sol=0 ticks=14342 tps=100 nb_sec=143
case_no=168 label=Case6.156 nb_sol=0 ticks=12355 tps=100 nb_sec=123
case_no=168 label=Case6.156 nb_sol=0 ticks=11742 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=9485 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=11057 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=9127 tps=100 nb_sec=91
case_no=168 label=Case6.156 nb_sol=0 ticks=11233 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=11401 tps=100 nb_sec=114
case_no=168 label=Case6.156 nb_sol=0 ticks=13335 tps=100 nb_sec=133
case_no=168 label=Case6.156 nb_sol=0 ticks=12131 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=10515 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=9735 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=12947 tps=100 nb_sec=129
case_no=168 label=Case6.156 nb_sol=0 ticks=9273 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=13163 tps=100 nb_sec=131
case_no=168 label=Case6.156 nb_sol=0 ticks=5206 tps=100 nb_sec=52
case_no=168 label=Case6.156 nb_sol=0 ticks=8239 tps=100 nb_sec=82
case_no=168 label=Case6.156 nb_sol=0 ticks=13393 tps=100 nb_sec=133
case_no=168 label=Case6.156 nb_sol=0 ticks=5714 tps=100 nb_sec=57
case_no=168 label=Case6.156 nb_sol=0 ticks=6205 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=8662 tps=100 nb_sec=86
case_no=168 label=Case6.156 nb_sol=0 ticks=13588 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=10037 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=6147 tps=100 nb_sec=61
case_no=168 label=Case6.156 nb_sol=0 ticks=16097 tps=100 nb_sec=160
case_no=168 label=Case6.156 nb_sol=0 ticks=14269 tps=100 nb_sec=142
case_no=168 label=Case6.156 nb_sol=0 ticks=10515 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=6550 tps=100 nb_sec=65
case_no=168 label=Case6.156 nb_sol=0 ticks=13094 tps=100 nb_sec=130
case_no=168 label=Case6.156 nb_sol=0 ticks=8990 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=14414 tps=100 nb_sec=144
case_no=168 label=Case6.156 nb_sol=0 ticks=8398 tps=100 nb_sec=83
case_no=168 label=Case6.156 nb_sol=0 ticks=9613 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=13353 tps=100 nb_sec=133
case_no=168 label=Case6.156 nb_sol=0 ticks=10129 tps=100 nb_sec=101
case_no=168 label=Case6.156 nb_sol=0 ticks=15289 tps=100 nb_sec=152
case_no=168 label=Case6.156 nb_sol=0 ticks=11423 tps=100 nb_sec=114
case_no=168 label=Case6.156 nb_sol=0 ticks=9170 tps=100 nb_sec=91
case_no=168 label=Case6.156 nb_sol=0 ticks=11139 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=9756 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=11266 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=13045 tps=100 nb_sec=130
case_no=168 label=Case6.156 nb_sol=0 ticks=11805 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=12141 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=14219 tps=100 nb_sec=142
case_no=168 label=Case6.156 nb_sol=0 ticks=9653 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=11360 tps=100 nb_sec=113
case_no=168 label=Case6.156 nb_sol=0 ticks=10096 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=7906 tps=100 nb_sec=79
case_no=168 label=Case6.156 nb_sol=0 ticks=10545 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=11042 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=14115 tps=100 nb_sec=141
case_no=168 label=Case6.156 nb_sol=0 ticks=12114 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=12582 tps=100 nb_sec=125
case_no=168 label=Case6.156 nb_sol=0 ticks=13119 tps=100 nb_sec=131
case_no=168 label=Case6.156 nb_sol=0 ticks=5550 tps=100 nb_sec=55
case_no=168 label=Case6.156 nb_sol=0 ticks=13413 tps=100 nb_sec=134
case_no=168 label=Case6.156 nb_sol=0 ticks=10936 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=5992 tps=100 nb_sec=59
case_no=168 label=Case6.156 nb_sol=0 ticks=8105 tps=100 nb_sec=81
case_no=168 label=Case6.156 nb_sol=0 ticks=15246 tps=100 nb_sec=152
case_no=168 label=Case6.156 nb_sol=0 ticks=13227 tps=100 nb_sec=132
case_no=168 label=Case6.156 nb_sol=0 ticks=14414 tps=100 nb_sec=144
case_no=168 label=Case6.156 nb_sol=0 ticks=13003 tps=100 nb_sec=130
case_no=168 label=Case6.156 nb_sol=0 ticks=10086 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=5983 tps=100 nb_sec=59
case_no=168 label=Case6.156 nb_sol=0 ticks=12768 tps=100 nb_sec=127
case_no=168 label=Case6.156 nb_sol=0 ticks=5542 tps=100 nb_sec=55
case_no=168 label=Case6.156 nb_sol=0 ticks=11972 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=4835 tps=100 nb_sec=48
case_no=168 label=Case6.156 nb_sol=0 ticks=15088 tps=100 nb_sec=150
case_no=168 label=Case6.156 nb_sol=0 ticks=11982 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=12324 tps=100 nb_sec=123
case_no=168 label=Case6.156 nb_sol=0 ticks=12715 tps=100 nb_sec=127
case_no=168 label=Case6.156 nb_sol=0 ticks=8792 tps=100 nb_sec=87
case_no=168 label=Case6.156 nb_sol=0 ticks=11655 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=12516 tps=100 nb_sec=125
case_no=168 label=Case6.156 nb_sol=0 ticks=9466 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=12650 tps=100 nb_sec=126
case_no=168 label=Case6.156 nb_sol=0 ticks=6277 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=9282 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=8445 tps=100 nb_sec=84
case_no=168 label=Case6.156 nb_sol=0 ticks=9580 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=5809 tps=100 nb_sec=58
case_no=168 label=Case6.156 nb_sol=0 ticks=8322 tps=100 nb_sec=83
case_no=168 label=Case6.156 nb_sol=0 ticks=5059 tps=100 nb_sec=50
case_no=168 label=Case6.156 nb_sol=0 ticks=12019 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=8834 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=10789 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=7815 tps=100 nb_sec=78
case_no=168 label=Case6.156 nb_sol=0 ticks=11095 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=10600 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=13751 tps=100 nb_sec=137
case_no=168 label=Case6.156 nb_sol=0 ticks=9102 tps=100 nb_sec=91
case_no=168 label=Case6.156 nb_sol=0 ticks=10200 tps=100 nb_sec=102
case_no=168 label=Case6.156 nb_sol=0 ticks=7769 tps=100 nb_sec=77
case_no=168 label=Case6.156 nb_sol=0 ticks=6881 tps=100 nb_sec=68
case_no=168 label=Case6.156 nb_sol=0 ticks=9784 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=11986 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=8560 tps=100 nb_sec=85
case_no=168 label=Case6.156 nb_sol=0 ticks=7357 tps=100 nb_sec=73
case_no=168 label=Case6.156 nb_sol=0 ticks=6882 tps=100 nb_sec=68
case_no=168 label=Case6.156 nb_sol=0 ticks=12254 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=5557 tps=100 nb_sec=55
case_no=168 label=Case6.156 nb_sol=0 ticks=14860 tps=100 nb_sec=148
case_no=168 label=Case6.156 nb_sol=0 ticks=5571 tps=100 nb_sec=55
case_no=168 label=Case6.156 nb_sol=0 ticks=11058 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=7106 tps=100 nb_sec=71
case_no=168 label=Case6.156 nb_sol=0 ticks=8682 tps=100 nb_sec=86
case_no=168 label=Case6.156 nb_sol=0 ticks=6185 tps=100 nb_sec=61
case_no=168 label=Case6.156 nb_sol=0 ticks=10419 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=8451 tps=100 nb_sec=84
case_no=168 label=Case6.156 nb_sol=0 ticks=8990 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=7571 tps=100 nb_sec=75
case_no=168 label=Case6.156 nb_sol=0 ticks=12807 tps=100 nb_sec=128
case_no=168 label=Case6.156 nb_sol=0 ticks=11700 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=8093 tps=100 nb_sec=80
case_no=168 label=Case6.156 nb_sol=0 ticks=9599 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=12110 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=6545 tps=100 nb_sec=65
case_no=168 label=Case6.156 nb_sol=0 ticks=11091 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=9968 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=10343 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=9999 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=7913 tps=100 nb_sec=79
case_no=168 label=Case6.156 nb_sol=0 ticks=11142 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=8333 tps=100 nb_sec=83
case_no=168 label=Case6.156 nb_sol=0 ticks=11254 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=9073 tps=100 nb_sec=90
case_no=168 label=Case6.156 nb_sol=0 ticks=5139 tps=100 nb_sec=51
case_no=168 label=Case6.156 nb_sol=0 ticks=11950 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=10861 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=10454 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=4809 tps=100 nb_sec=48
case_no=168 label=Case6.156 nb_sol=0 ticks=12392 tps=100 nb_sec=123
case_no=168 label=Case6.156 nb_sol=0 ticks=8249 tps=100 nb_sec=82
case_no=168 label=Case6.156 nb_sol=0 ticks=7324 tps=100 nb_sec=73
case_no=168 label=Case6.156 nb_sol=0 ticks=10616 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=7017 tps=100 nb_sec=70
case_no=168 label=Case6.156 nb_sol=0 ticks=11242 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=6612 tps=100 nb_sec=66
case_no=168 label=Case6.156 nb_sol=0 ticks=7351 tps=100 nb_sec=73
case_no=168 label=Case6.156 nb_sol=0 ticks=11661 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=6938 tps=100 nb_sec=69
case_no=168 label=Case6.156 nb_sol=0 ticks=8122 tps=100 nb_sec=81
case_no=168 label=Case6.156 nb_sol=0 ticks=11776 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=10837 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=11642 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=13124 tps=100 nb_sec=131
case_no=168 label=Case6.156 nb_sol=0 ticks=7201 tps=100 nb_sec=72
case_no=168 label=Case6.156 nb_sol=0 ticks=12894 tps=100 nb_sec=128
case_no=168 label=Case6.156 nb_sol=0 ticks=8561 tps=100 nb_sec=85
case_no=168 label=Case6.156 nb_sol=0 ticks=12668 tps=100 nb_sec=126
case_no=168 label=Case6.156 nb_sol=0 ticks=13540 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=13127 tps=100 nb_sec=131
case_no=168 label=Case6.156 nb_sol=0 ticks=10621 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=12476 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=7723 tps=100 nb_sec=77
case_no=168 label=Case6.156 nb_sol=0 ticks=5074 tps=100 nb_sec=50
case_no=168 label=Case6.156 nb_sol=0 ticks=9543 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=6474 tps=100 nb_sec=64
case_no=168 label=Case6.156 nb_sol=0 ticks=8325 tps=100 nb_sec=83
case_no=168 label=Case6.156 nb_sol=0 ticks=9300 tps=100 nb_sec=93
case_no=168 label=Case6.156 nb_sol=0 ticks=8179 tps=100 nb_sec=81
case_no=168 label=Case6.156 nb_sol=0 ticks=12817 tps=100 nb_sec=128
case_no=168 label=Case6.156 nb_sol=0 ticks=10691 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=6258 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=4713 tps=100 nb_sec=47
case_no=168 label=Case6.156 nb_sol=0 ticks=5250 tps=100 nb_sec=52
case_no=168 label=Case6.156 nb_sol=0 ticks=9033 tps=100 nb_sec=90
case_no=168 label=Case6.156 nb_sol=0 ticks=12085 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=4736 tps=100 nb_sec=47
case_no=168 label=Case6.156 nb_sol=0 ticks=13258 tps=100 nb_sec=132
case_no=168 label=Case6.156 nb_sol=0 ticks=5440 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=11184 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=10476 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=13136 tps=100 nb_sec=131
case_no=168 label=Case6.156 nb_sol=0 ticks=7943 tps=100 nb_sec=79
case_no=168 label=Case6.156 nb_sol=0 ticks=9310 tps=100 nb_sec=93
case_no=168 label=Case6.156 nb_sol=0 ticks=11094 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=13318 tps=100 nb_sec=133
case_no=168 label=Case6.156 nb_sol=0 ticks=11851 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=11116 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=11053 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=12177 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=10403 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=12729 tps=100 nb_sec=127
case_no=168 label=Case6.156 nb_sol=0 ticks=10825 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=11538 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=9591 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=11792 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=10370 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=12258 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=11771 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=11063 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=9836 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=11635 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=10982 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=10453 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=4763 tps=100 nb_sec=47
case_no=168 label=Case6.156 nb_sol=0 ticks=11320 tps=100 nb_sec=113
case_no=168 label=Case6.156 nb_sol=0 ticks=11155 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=6987 tps=100 nb_sec=69
case_no=168 label=Case6.156 nb_sol=0 ticks=9620 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=6956 tps=100 nb_sec=69
case_no=168 label=Case6.156 nb_sol=0 ticks=10932 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=6146 tps=100 nb_sec=61
case_no=168 label=Case6.156 nb_sol=0 ticks=9138 tps=100 nb_sec=91
case_no=168 label=Case6.156 nb_sol=0 ticks=11169 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=5424 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=10575 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=5049 tps=100 nb_sec=50
case_no=168 label=Case6.156 nb_sol=0 ticks=6257 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=10770 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=6591 tps=100 nb_sec=65
case_no=168 label=Case6.156 nb_sol=0 ticks=11209 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=10442 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=5420 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=7486 tps=100 nb_sec=74
case_no=168 label=Case6.156 nb_sol=0 ticks=7680 tps=100 nb_sec=76
case_no=168 label=Case6.156 nb_sol=0 ticks=10981 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=8638 tps=100 nb_sec=86
case_no=168 label=Case6.156 nb_sol=0 ticks=12752 tps=100 nb_sec=127
case_no=168 label=Case6.156 nb_sol=0 ticks=9420 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=5427 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=9723 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=5536 tps=100 nb_sec=55
case_no=168 label=Case6.156 nb_sol=0 ticks=5404 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=12917 tps=100 nb_sec=129
case_no=168 label=Case6.156 nb_sol=0 ticks=10439 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=13582 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=10843 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=12882 tps=100 nb_sec=128
case_no=168 label=Case6.156 nb_sol=0 ticks=8992 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=13557 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=13098 tps=100 nb_sec=130
case_no=168 label=Case6.156 nb_sol=0 ticks=13099 tps=100 nb_sec=130
case_no=168 label=Case6.156 nb_sol=0 ticks=8902 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=9754 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=10872 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=6544 tps=100 nb_sec=65
case_no=168 label=Case6.156 nb_sol=0 ticks=12347 tps=100 nb_sec=123
case_no=168 label=Case6.156 nb_sol=0 ticks=11768 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=13580 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=11857 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=13705 tps=100 nb_sec=137
case_no=168 label=Case6.156 nb_sol=0 ticks=13410 tps=100 nb_sec=134
case_no=168 label=Case6.156 nb_sol=0 ticks=6906 tps=100 nb_sec=69
case_no=168 label=Case6.156 nb_sol=0 ticks=14406 tps=100 nb_sec=144
case_no=168 label=Case6.156 nb_sol=0 ticks=11704 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=11507 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=15378 tps=100 nb_sec=153
case_no=168 label=Case6.156 nb_sol=0 ticks=10639 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=11189 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=9355 tps=100 nb_sec=93
case_no=168 label=Case6.156 nb_sol=0 ticks=6003 tps=100 nb_sec=60
case_no=168 label=Case6.156 nb_sol=0 ticks=6566 tps=100 nb_sec=65
case_no=168 label=Case6.156 nb_sol=0 ticks=10996 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=14095 tps=100 nb_sec=140
case_no=168 label=Case6.156 nb_sol=0 ticks=13065 tps=100 nb_sec=130
case_no=168 label=Case6.156 nb_sol=0 ticks=14212 tps=100 nb_sec=142
case_no=168 label=Case6.156 nb_sol=0 ticks=12682 tps=100 nb_sec=126
case_no=168 label=Case6.156 nb_sol=0 ticks=16814 tps=100 nb_sec=168
case_no=168 label=Case6.156 nb_sol=0 ticks=12079 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=14271 tps=100 nb_sec=142
case_no=168 label=Case6.156 nb_sol=0 ticks=5582 tps=100 nb_sec=55
case_no=168 label=Case6.156 nb_sol=0 ticks=11057 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=6251 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=8656 tps=100 nb_sec=86
case_no=168 label=Case6.156 nb_sol=0 ticks=8898 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=9744 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=10799 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=8916 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=12659 tps=100 nb_sec=126
case_no=168 label=Case6.156 nb_sol=0 ticks=12157 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=5495 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=12771 tps=100 nb_sec=127
case_no=168 label=Case6.156 nb_sol=0 ticks=10327 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=15912 tps=100 nb_sec=159
case_no=168 label=Case6.156 nb_sol=0 ticks=9267 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=11373 tps=100 nb_sec=113
case_no=168 label=Case6.156 nb_sol=0 ticks=11539 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=13592 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=6090 tps=100 nb_sec=60
case_no=168 label=Case6.156 nb_sol=0 ticks=4576 tps=100 nb_sec=45
case_no=168 label=Case6.156 nb_sol=0 ticks=6881 tps=100 nb_sec=68
case_no=168 label=Case6.156 nb_sol=0 ticks=13235 tps=100 nb_sec=132
case_no=168 label=Case6.156 nb_sol=0 ticks=10344 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=14104 tps=100 nb_sec=141
case_no=168 label=Case6.156 nb_sol=0 ticks=11155 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=14205 tps=100 nb_sec=142
case_no=168 label=Case6.156 nb_sol=0 ticks=11764 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=10817 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=10438 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=11768 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=9328 tps=100 nb_sec=93
case_no=168 label=Case6.156 nb_sol=0 ticks=12090 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=10733 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=12593 tps=100 nb_sec=125
case_no=168 label=Case6.156 nb_sol=0 ticks=6243 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=10934 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=9831 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=11755 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=10676 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=10509 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=9547 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=6523 tps=100 nb_sec=65
case_no=168 label=Case6.156 nb_sol=0 ticks=13044 tps=100 nb_sec=130
case_no=168 label=Case6.156 nb_sol=0 ticks=6076 tps=100 nb_sec=60
case_no=168 label=Case6.156 nb_sol=0 ticks=5738 tps=100 nb_sec=57
case_no=168 label=Case6.156 nb_sol=0 ticks=5958 tps=100 nb_sec=59
case_no=168 label=Case6.156 nb_sol=0 ticks=12152 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=9373 tps=100 nb_sec=93
case_no=168 label=Case6.156 nb_sol=0 ticks=8929 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=9295 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=5352 tps=100 nb_sec=53
case_no=168 label=Case6.156 nb_sol=0 ticks=8151 tps=100 nb_sec=81
case_no=168 label=Case6.156 nb_sol=0 ticks=12477 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=10365 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=11596 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=12193 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=14121 tps=100 nb_sec=141
case_no=168 label=Case6.156 nb_sol=0 ticks=11026 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=10810 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=11719 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=10784 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=10855 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=10490 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=12502 tps=100 nb_sec=125
case_no=168 label=Case6.156 nb_sol=0 ticks=11492 tps=100 nb_sec=114
case_no=168 label=Case6.156 nb_sol=0 ticks=12042 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=11880 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=13677 tps=100 nb_sec=136
case_no=168 label=Case6.156 nb_sol=0 ticks=11531 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=12707 tps=100 nb_sec=127
case_no=168 label=Case6.156 nb_sol=0 ticks=4482 tps=100 nb_sec=44
case_no=168 label=Case6.156 nb_sol=0 ticks=9919 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=12525 tps=100 nb_sec=125
case_no=168 label=Case6.156 nb_sol=0 ticks=6525 tps=100 nb_sec=65
case_no=168 label=Case6.156 nb_sol=0 ticks=10605 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=5228 tps=100 nb_sec=52
case_no=168 label=Case6.156 nb_sol=0 ticks=8004 tps=100 nb_sec=80
case_no=168 label=Case6.156 nb_sol=0 ticks=11450 tps=100 nb_sec=114
case_no=168 label=Case6.156 nb_sol=0 ticks=12496 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=10068 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=14153 tps=100 nb_sec=141
case_no=168 label=Case6.156 nb_sol=0 ticks=4445 tps=100 nb_sec=44
case_no=168 label=Case6.156 nb_sol=0 ticks=5902 tps=100 nb_sec=59
case_no=168 label=Case6.156 nb_sol=0 ticks=10846 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=9250 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=8567 tps=100 nb_sec=85
case_no=168 label=Case6.156 nb_sol=0 ticks=7899 tps=100 nb_sec=78
case_no=168 label=Case6.156 nb_sol=0 ticks=10332 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=9916 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=9611 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=10156 tps=100 nb_sec=101
case_no=168 label=Case6.156 nb_sol=0 ticks=11703 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=9783 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=11267 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=10673 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=12726 tps=100 nb_sec=127
case_no=168 label=Case6.156 nb_sol=0 ticks=5920 tps=100 nb_sec=59
case_no=168 label=Case6.156 nb_sol=0 ticks=5662 tps=100 nb_sec=56
case_no=168 label=Case6.156 nb_sol=0 ticks=5487 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=12001 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=5488 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=10596 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=8915 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=10071 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=7659 tps=100 nb_sec=76
case_no=168 label=Case6.156 nb_sol=0 ticks=11950 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=11327 tps=100 nb_sec=113
case_no=168 label=Case6.156 nb_sol=0 ticks=8244 tps=100 nb_sec=82
case_no=168 label=Case6.156 nb_sol=0 ticks=11409 tps=100 nb_sec=114
case_no=168 label=Case6.156 nb_sol=0 ticks=12946 tps=100 nb_sec=129
case_no=168 label=Case6.156 nb_sol=0 ticks=9251 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=14084 tps=100 nb_sec=140
case_no=168 label=Case6.156 nb_sol=0 ticks=13267 tps=100 nb_sec=132
case_no=168 label=Case6.156 nb_sol=0 ticks=13563 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=15883 tps=100 nb_sec=158
case_no=168 label=Case6.156 nb_sol=0 ticks=11915 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=11083 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=11946 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=11922 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=14535 tps=100 nb_sec=145
case_no=168 label=Case6.156 nb_sol=0 ticks=10228 tps=100 nb_sec=102
case_no=168 label=Case6.156 nb_sol=0 ticks=14050 tps=100 nb_sec=140
case_no=168 label=Case6.156 nb_sol=0 ticks=12362 tps=100 nb_sec=123
case_no=168 label=Case6.156 nb_sol=0 ticks=10860 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=16185 tps=100 nb_sec=161
case_no=168 label=Case6.156 nb_sol=0 ticks=10735 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=11650 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=10673 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=8784 tps=100 nb_sec=87
case_no=168 label=Case6.156 nb_sol=0 ticks=6182 tps=100 nb_sec=61
case_no=168 label=Case6.156 nb_sol=0 ticks=15976 tps=100 nb_sec=159
case_no=168 label=Case6.156 nb_sol=0 ticks=14322 tps=100 nb_sec=143
case_no=168 label=Case6.156 nb_sol=0 ticks=14930 tps=100 nb_sec=149
case_no=168 label=Case6.156 nb_sol=0 ticks=16718 tps=100 nb_sec=167
case_no=168 label=Case6.156 nb_sol=0 ticks=11690 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=11018 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=9830 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=10291 tps=100 nb_sec=102
case_no=168 label=Case6.156 nb_sol=0 ticks=11633 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=5024 tps=100 nb_sec=50
case_no=168 label=Case6.156 nb_sol=0 ticks=10447 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=13610 tps=100 nb_sec=136
case_no=168 label=Case6.156 nb_sol=0 ticks=10807 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=10498 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=11337 tps=100 nb_sec=113
case_no=168 label=Case6.156 nb_sol=0 ticks=5509 tps=100 nb_sec=55
case_no=168 label=Case6.156 nb_sol=0 ticks=16031 tps=100 nb_sec=160
case_no=168 label=Case6.156 nb_sol=0 ticks=13612 tps=100 nb_sec=136
case_no=168 label=Case6.156 nb_sol=0 ticks=11700 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=20884 tps=100 nb_sec=208
case_no=168 label=Case6.156 nb_sol=0 ticks=8092 tps=100 nb_sec=80
case_no=168 label=Case6.156 nb_sol=0 ticks=13230 tps=100 nb_sec=132
case_no=168 label=Case6.156 nb_sol=0 ticks=5822 tps=100 nb_sec=58
case_no=168 label=Case6.156 nb_sol=0 ticks=12458 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=17381 tps=100 nb_sec=173
case_no=168 label=Case6.156 nb_sol=0 ticks=14625 tps=100 nb_sec=146
case_no=168 label=Case6.156 nb_sol=0 ticks=6239 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=13490 tps=100 nb_sec=134
case_no=168 label=Case6.156 nb_sol=0 ticks=14583 tps=100 nb_sec=145
case_no=168 label=Case6.156 nb_sol=0 ticks=12367 tps=100 nb_sec=123
case_no=168 label=Case6.156 nb_sol=0 ticks=8347 tps=100 nb_sec=83
case_no=168 label=Case6.156 nb_sol=0 ticks=13541 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=14937 tps=100 nb_sec=149
case_no=168 label=Case6.156 nb_sol=0 ticks=6223 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=5475 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=17697 tps=100 nb_sec=176
case_no=168 label=Case6.156 nb_sol=0 ticks=12004 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=9986 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=9897 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=5357 tps=100 nb_sec=53
case_no=168 label=Case6.156 nb_sol=0 ticks=6293 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=8878 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=14849 tps=100 nb_sec=148
case_no=168 label=Case6.156 nb_sol=0 ticks=14504 tps=100 nb_sec=145
case_no=168 label=Case6.156 nb_sol=0 ticks=10211 tps=100 nb_sec=102
case_no=168 label=Case6.156 nb_sol=0 ticks=5540 tps=100 nb_sec=55
case_no=168 label=Case6.156 nb_sol=0 ticks=13021 tps=100 nb_sec=130
case_no=168 label=Case6.156 nb_sol=0 ticks=9544 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=12045 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=8833 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=9270 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=10764 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=12409 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=10939 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=12301 tps=100 nb_sec=123
case_no=168 label=Case6.156 nb_sol=0 ticks=10731 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=12353 tps=100 nb_sec=123
case_no=168 label=Case6.156 nb_sol=0 ticks=11786 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=10609 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=9803 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=9789 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=7941 tps=100 nb_sec=79
case_no=168 label=Case6.156 nb_sol=0 ticks=11277 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=13305 tps=100 nb_sec=133
case_no=168 label=Case6.156 nb_sol=0 ticks=9354 tps=100 nb_sec=93
case_no=168 label=Case6.156 nb_sol=0 ticks=12979 tps=100 nb_sec=129
case_no=168 label=Case6.156 nb_sol=0 ticks=10796 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=8259 tps=100 nb_sec=82
case_no=168 label=Case6.156 nb_sol=0 ticks=13014 tps=100 nb_sec=130
case_no=168 label=Case6.156 nb_sol=0 ticks=11971 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=10162 tps=100 nb_sec=101
case_no=168 label=Case6.156 nb_sol=0 ticks=11408 tps=100 nb_sec=114
case_no=168 label=Case6.156 nb_sol=0 ticks=9371 tps=100 nb_sec=93
case_no=168 label=Case6.156 nb_sol=0 ticks=6293 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=12041 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=5785 tps=100 nb_sec=57
case_no=168 label=Case6.156 nb_sol=0 ticks=5166 tps=100 nb_sec=51
case_no=168 label=Case6.156 nb_sol=0 ticks=12254 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=5214 tps=100 nb_sec=52
case_no=168 label=Case6.156 nb_sol=0 ticks=10880 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=10515 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=15180 tps=100 nb_sec=151
case_no=168 label=Case6.156 nb_sol=0 ticks=9064 tps=100 nb_sec=90
case_no=168 label=Case6.156 nb_sol=0 ticks=10638 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=11497 tps=100 nb_sec=114
case_no=168 label=Case6.156 nb_sol=0 ticks=10891 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=11861 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=15074 tps=100 nb_sec=150
case_no=168 label=Case6.156 nb_sol=0 ticks=14983 tps=100 nb_sec=149
case_no=168 label=Case6.156 nb_sol=0 ticks=10055 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=11277 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=9353 tps=100 nb_sec=93
case_no=168 label=Case6.156 nb_sol=0 ticks=12218 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=10576 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=15303 tps=100 nb_sec=153
case_no=168 label=Case6.156 nb_sol=0 ticks=12453 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=14022 tps=100 nb_sec=140
case_no=168 label=Case6.156 nb_sol=0 ticks=13112 tps=100 nb_sec=131
case_no=168 label=Case6.156 nb_sol=0 ticks=5967 tps=100 nb_sec=59
case_no=168 label=Case6.156 nb_sol=0 ticks=4889 tps=100 nb_sec=48
case_no=168 label=Case6.156 nb_sol=0 ticks=11276 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=9421 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=8630 tps=100 nb_sec=86
case_no=168 label=Case6.156 nb_sol=0 ticks=13414 tps=100 nb_sec=134
case_no=168 label=Case6.156 nb_sol=0 ticks=9532 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=13194 tps=100 nb_sec=131
case_no=168 label=Case6.156 nb_sol=0 ticks=10851 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=4165 tps=100 nb_sec=41
case_no=168 label=Case6.156 nb_sol=0 ticks=12609 tps=100 nb_sec=126
case_no=168 label=Case6.156 nb_sol=0 ticks=9974 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=6545 tps=100 nb_sec=65
case_no=168 label=Case6.156 nb_sol=0 ticks=11878 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=9075 tps=100 nb_sec=90
case_no=168 label=Case6.156 nb_sol=0 ticks=11019 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=13799 tps=100 nb_sec=137
case_no=168 label=Case6.156 nb_sol=0 ticks=10059 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=6263 tps=100 nb_sec=62
case_no=168 label=Case6.156 nb_sol=0 ticks=11189 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=10003 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=13053 tps=100 nb_sec=130
case_no=168 label=Case6.156 nb_sol=0 ticks=9449 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=14896 tps=100 nb_sec=148
case_no=168 label=Case6.156 nb_sol=0 ticks=12608 tps=100 nb_sec=126
case_no=168 label=Case6.156 nb_sol=0 ticks=11075 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=13614 tps=100 nb_sec=136
case_no=168 label=Case6.156 nb_sol=0 ticks=11029 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=14252 tps=100 nb_sec=142
case_no=168 label=Case6.156 nb_sol=0 ticks=12692 tps=100 nb_sec=126
case_no=168 label=Case6.156 nb_sol=0 ticks=9090 tps=100 nb_sec=90
case_no=168 label=Case6.156 nb_sol=0 ticks=13282 tps=100 nb_sec=132
case_no=168 label=Case6.156 nb_sol=0 ticks=9616 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=7931 tps=100 nb_sec=79
case_no=168 label=Case6.156 nb_sol=0 ticks=12509 tps=100 nb_sec=125
case_no=168 label=Case6.156 nb_sol=0 ticks=9907 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=9838 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=13257 tps=100 nb_sec=132
case_no=168 label=Case6.156 nb_sol=0 ticks=12141 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=10671 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=11645 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=9593 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=10414 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=11726 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=9412 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=15781 tps=100 nb_sec=157
case_no=168 label=Case6.156 nb_sol=0 ticks=11943 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=15130 tps=100 nb_sec=151
case_no=168 label=Case6.156 nb_sol=0 ticks=12445 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=10551 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=13500 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=15847 tps=100 nb_sec=158
case_no=168 label=Case6.156 nb_sol=0 ticks=6408 tps=100 nb_sec=64
case_no=168 label=Case6.156 nb_sol=0 ticks=10711 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=12843 tps=100 nb_sec=128
case_no=168 label=Case6.156 nb_sol=0 ticks=5194 tps=100 nb_sec=51
case_no=168 label=Case6.156 nb_sol=0 ticks=13548 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=4998 tps=100 nb_sec=49
case_no=168 label=Case6.156 nb_sol=0 ticks=10348 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=5669 tps=100 nb_sec=56
case_no=168 label=Case6.156 nb_sol=0 ticks=5018 tps=100 nb_sec=50
case_no=168 label=Case6.156 nb_sol=0 ticks=5025 tps=100 nb_sec=50
case_no=168 label=Case6.156 nb_sol=0 ticks=10862 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=12250 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=5159 tps=100 nb_sec=51
case_no=168 label=Case6.156 nb_sol=0 ticks=9449 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=8985 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=11015 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=7756 tps=100 nb_sec=77
case_no=168 label=Case6.156 nb_sol=0 ticks=8807 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=13227 tps=100 nb_sec=132
case_no=168 label=Case6.156 nb_sol=0 ticks=8868 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=10805 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=10377 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=8698 tps=100 nb_sec=86
case_no=168 label=Case6.156 nb_sol=0 ticks=11257 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=9442 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=9882 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=10846 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=7996 tps=100 nb_sec=79
case_no=168 label=Case6.156 nb_sol=0 ticks=9412 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=11537 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=9728 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=10060 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=9278 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=6485 tps=100 nb_sec=64
case_no=168 label=Case6.156 nb_sol=0 ticks=9325 tps=100 nb_sec=93
case_no=168 label=Case6.156 nb_sol=0 ticks=10403 tps=100 nb_sec=104
case_no=168 label=Case6.156 nb_sol=0 ticks=8037 tps=100 nb_sec=80
case_no=168 label=Case6.156 nb_sol=0 ticks=8513 tps=100 nb_sec=85
case_no=168 label=Case6.156 nb_sol=0 ticks=8531 tps=100 nb_sec=85
case_no=168 label=Case6.156 nb_sol=0 ticks=9772 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=8939 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=9052 tps=100 nb_sec=90
case_no=168 label=Case6.156 nb_sol=0 ticks=10720 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=12191 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=9513 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=13438 tps=100 nb_sec=134
case_no=168 label=Case6.156 nb_sol=0 ticks=8913 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=11037 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=7159 tps=100 nb_sec=71
case_no=168 label=Case6.156 nb_sol=0 ticks=8570 tps=100 nb_sec=85
case_no=168 label=Case6.156 nb_sol=0 ticks=7203 tps=100 nb_sec=72
case_no=168 label=Case6.156 nb_sol=0 ticks=8290 tps=100 nb_sec=82
case_no=168 label=Case6.156 nb_sol=0 ticks=9412 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=7731 tps=100 nb_sec=77
case_no=168 label=Case6.156 nb_sol=0 ticks=11092 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=8616 tps=100 nb_sec=86
case_no=168 label=Case6.156 nb_sol=0 ticks=10644 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=9144 tps=100 nb_sec=91
case_no=168 label=Case6.156 nb_sol=0 ticks=5167 tps=100 nb_sec=51
case_no=168 label=Case6.156 nb_sol=0 ticks=5434 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=8961 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=4609 tps=100 nb_sec=46
case_no=168 label=Case6.156 nb_sol=0 ticks=6446 tps=100 nb_sec=64
case_no=168 label=Case6.156 nb_sol=0 ticks=4179 tps=100 nb_sec=41
case_no=168 label=Case6.156 nb_sol=0 ticks=8706 tps=100 nb_sec=87
case_no=168 label=Case6.156 nb_sol=0 ticks=10806 tps=100 nb_sec=108
case_no=168 label=Case6.156 nb_sol=0 ticks=7143 tps=100 nb_sec=71
case_no=168 label=Case6.156 nb_sol=0 ticks=11214 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=7345 tps=100 nb_sec=73
case_no=168 label=Case6.156 nb_sol=0 ticks=7987 tps=100 nb_sec=79
case_no=168 label=Case6.156 nb_sol=0 ticks=9697 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=4461 tps=100 nb_sec=44
case_no=168 label=Case6.156 nb_sol=0 ticks=11539 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=7217 tps=100 nb_sec=72
case_no=168 label=Case6.156 nb_sol=0 ticks=5680 tps=100 nb_sec=56
case_no=168 label=Case6.156 nb_sol=0 ticks=4145 tps=100 nb_sec=41
case_no=168 label=Case6.156 nb_sol=0 ticks=8290 tps=100 nb_sec=82
case_no=168 label=Case6.156 nb_sol=0 ticks=4815 tps=100 nb_sec=48
case_no=168 label=Case6.156 nb_sol=0 ticks=13338 tps=100 nb_sec=133
case_no=168 label=Case6.156 nb_sol=0 ticks=11005 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=4395 tps=100 nb_sec=43
case_no=168 label=Case6.156 nb_sol=0 ticks=5426 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=7831 tps=100 nb_sec=78
case_no=168 label=Case6.156 nb_sol=0 ticks=9500 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=9272 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=10913 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=7828 tps=100 nb_sec=78
case_no=168 label=Case6.156 nb_sol=0 ticks=5812 tps=100 nb_sec=58
case_no=168 label=Case6.156 nb_sol=0 ticks=12425 tps=100 nb_sec=124
case_no=168 label=Case6.156 nb_sol=0 ticks=12159 tps=100 nb_sec=121
case_no=168 label=Case6.156 nb_sol=0 ticks=8783 tps=100 nb_sec=87
case_no=168 label=Case6.156 nb_sol=0 ticks=13589 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=8977 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=10204 tps=100 nb_sec=102
case_no=168 label=Case6.156 nb_sol=0 ticks=6081 tps=100 nb_sec=60
case_no=168 label=Case6.156 nb_sol=0 ticks=13595 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=7878 tps=100 nb_sec=78
case_no=168 label=Case6.156 nb_sol=0 ticks=11886 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=5184 tps=100 nb_sec=51
case_no=168 label=Case6.156 nb_sol=0 ticks=5273 tps=100 nb_sec=52
case_no=168 label=Case6.156 nb_sol=0 ticks=9774 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=11519 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=10761 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=11190 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=5178 tps=100 nb_sec=51
case_no=168 label=Case6.156 nb_sol=0 ticks=10675 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=8660 tps=100 nb_sec=86
case_no=168 label=Case6.156 nb_sol=0 ticks=10310 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=9658 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=12216 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=10657 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=8876 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=10140 tps=100 nb_sec=101
case_no=168 label=Case6.156 nb_sol=0 ticks=5698 tps=100 nb_sec=56
case_no=168 label=Case6.156 nb_sol=0 ticks=13844 tps=100 nb_sec=138
case_no=168 label=Case6.156 nb_sol=0 ticks=9562 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=4981 tps=100 nb_sec=49
case_no=168 label=Case6.156 nb_sol=0 ticks=9504 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=8038 tps=100 nb_sec=80
case_no=168 label=Case6.156 nb_sol=0 ticks=11548 tps=100 nb_sec=115
case_no=168 label=Case6.156 nb_sol=0 ticks=14578 tps=100 nb_sec=145
case_no=168 label=Case6.156 nb_sol=0 ticks=5875 tps=100 nb_sec=58
case_no=168 label=Case6.156 nb_sol=0 ticks=9474 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=12883 tps=100 nb_sec=128
case_no=168 label=Case6.156 nb_sol=0 ticks=14486 tps=100 nb_sec=144
case_no=168 label=Case6.156 nb_sol=0 ticks=11425 tps=100 nb_sec=114
case_no=168 label=Case6.156 nb_sol=0 ticks=5153 tps=100 nb_sec=51
case_no=168 label=Case6.156 nb_sol=0 ticks=7197 tps=100 nb_sec=71
case_no=168 label=Case6.156 nb_sol=0 ticks=11187 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=5771 tps=100 nb_sec=57
case_no=168 label=Case6.156 nb_sol=0 ticks=11607 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=6430 tps=100 nb_sec=64
case_no=168 label=Case6.156 nb_sol=0 ticks=5670 tps=100 nb_sec=56
case_no=168 label=Case6.156 nb_sol=0 ticks=9222 tps=100 nb_sec=92
case_no=168 label=Case6.156 nb_sol=0 ticks=6845 tps=100 nb_sec=68
case_no=168 label=Case6.156 nb_sol=0 ticks=9464 tps=100 nb_sec=94
case_no=168 label=Case6.156 nb_sol=0 ticks=9022 tps=100 nb_sec=90
case_no=168 label=Case6.156 nb_sol=0 ticks=12875 tps=100 nb_sec=128
case_no=168 label=Case6.156 nb_sol=0 ticks=11205 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=10969 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=12519 tps=100 nb_sec=125
case_no=168 label=Case6.156 nb_sol=0 ticks=12374 tps=100 nb_sec=123
case_no=168 label=Case6.156 nb_sol=0 ticks=11719 tps=100 nb_sec=117
case_no=168 label=Case6.156 nb_sol=0 ticks=9918 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=8816 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=10194 tps=100 nb_sec=101
case_no=168 label=Case6.156 nb_sol=0 ticks=11854 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=14068 tps=100 nb_sec=140
case_no=168 label=Case6.156 nb_sol=0 ticks=5262 tps=100 nb_sec=52
case_no=168 label=Case6.156 nb_sol=0 ticks=12285 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=11665 tps=100 nb_sec=116
case_no=168 label=Case6.156 nb_sol=0 ticks=9754 tps=100 nb_sec=97
case_no=168 label=Case6.156 nb_sol=0 ticks=5202 tps=100 nb_sec=52
case_no=168 label=Case6.156 nb_sol=0 ticks=11113 tps=100 nb_sec=111
case_no=168 label=Case6.156 nb_sol=0 ticks=10697 tps=100 nb_sec=106
case_no=168 label=Case6.156 nb_sol=0 ticks=8298 tps=100 nb_sec=82
case_no=168 label=Case6.156 nb_sol=0 ticks=8072 tps=100 nb_sec=80
case_no=168 label=Case6.156 nb_sol=0 ticks=11822 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=5773 tps=100 nb_sec=57
case_no=168 label=Case6.156 nb_sol=0 ticks=9916 tps=100 nb_sec=99
case_no=168 label=Case6.156 nb_sol=0 ticks=9687 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=5420 tps=100 nb_sec=54
case_no=168 label=Case6.156 nb_sol=0 ticks=8250 tps=100 nb_sec=82
case_no=168 label=Case6.156 nb_sol=0 ticks=10342 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=4454 tps=100 nb_sec=44
case_no=168 label=Case6.156 nb_sol=0 ticks=7792 tps=100 nb_sec=77
case_no=168 label=Case6.156 nb_sol=0 ticks=8894 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=11060 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=10128 tps=100 nb_sec=101
case_no=168 label=Case6.156 nb_sol=0 ticks=8904 tps=100 nb_sec=89
case_no=168 label=Case6.156 nb_sol=0 ticks=12265 tps=100 nb_sec=122
case_no=168 label=Case6.156 nb_sol=0 ticks=11330 tps=100 nb_sec=113
case_no=168 label=Case6.156 nb_sol=0 ticks=10548 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=12018 tps=100 nb_sec=120
case_no=168 label=Case6.156 nb_sol=0 ticks=11022 tps=100 nb_sec=110
case_no=168 label=Case6.156 nb_sol=0 ticks=12313 tps=100 nb_sec=123
case_no=168 label=Case6.156 nb_sol=0 ticks=7914 tps=100 nb_sec=79
case_no=168 label=Case6.156 nb_sol=0 ticks=11851 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=14109 tps=100 nb_sec=141
case_no=168 label=Case6.156 nb_sol=0 ticks=14799 tps=100 nb_sec=147
case_no=168 label=Case6.156 nb_sol=0 ticks=5012 tps=100 nb_sec=50
case_no=168 label=Case6.156 nb_sol=0 ticks=13278 tps=100 nb_sec=132
case_no=168 label=Case6.156 nb_sol=0 ticks=10743 tps=100 nb_sec=107
case_no=168 label=Case6.156 nb_sol=0 ticks=5049 tps=100 nb_sec=50
case_no=168 label=Case6.156 nb_sol=0 ticks=6967 tps=100 nb_sec=69
case_no=168 label=Case6.156 nb_sol=0 ticks=7608 tps=100 nb_sec=76
case_no=168 label=Case6.156 nb_sol=0 ticks=8165 tps=100 nb_sec=81
case_no=168 label=Case6.156 nb_sol=0 ticks=10213 tps=100 nb_sec=102
case_no=168 label=Case6.156 nb_sol=0 ticks=4907 tps=100 nb_sec=49
case_no=168 label=Case6.156 nb_sol=0 ticks=10961 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=10036 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=5396 tps=100 nb_sec=53
case_no=168 label=Case6.156 nb_sol=0 ticks=7210 tps=100 nb_sec=72
case_no=168 label=Case6.156 nb_sol=0 ticks=12754 tps=100 nb_sec=127
case_no=168 label=Case6.156 nb_sol=0 ticks=10366 tps=100 nb_sec=103
case_no=168 label=Case6.156 nb_sol=0 ticks=10000 tps=100 nb_sec=100
case_no=168 label=Case6.156 nb_sol=0 ticks=6070 tps=100 nb_sec=60
case_no=168 label=Case6.156 nb_sol=0 ticks=13561 tps=100 nb_sec=135
case_no=168 label=Case6.156 nb_sol=0 ticks=4971 tps=100 nb_sec=49
case_no=168 label=Case6.156 nb_sol=0 ticks=11900 tps=100 nb_sec=119
case_no=168 label=Case6.156 nb_sol=0 ticks=7884 tps=100 nb_sec=78
case_no=168 label=Case6.156 nb_sol=0 ticks=10592 tps=100 nb_sec=105
case_no=168 label=Case6.156 nb_sol=0 ticks=11250 tps=100 nb_sec=112
case_no=168 label=Case6.156 nb_sol=0 ticks=8738 tps=100 nb_sec=87
case_no=168 label=Case6.156 nb_sol=0 ticks=10992 tps=100 nb_sec=109
case_no=168 label=Case6.156 nb_sol=0 ticks=10108 tps=100 nb_sec=101
case_no=168 label=Case6.156 nb_sol=0 ticks=8833 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=8657 tps=100 nb_sec=86
case_no=168 label=Case6.156 nb_sol=0 ticks=8330 tps=100 nb_sec=83
case_no=168 label=Case6.156 nb_sol=0 ticks=9854 tps=100 nb_sec=98
case_no=168 label=Case6.156 nb_sol=0 ticks=11823 tps=100 nb_sec=118
case_no=168 label=Case6.156 nb_sol=0 ticks=5107 tps=100 nb_sec=51
case_no=168 label=Case6.156 nb_sol=0 ticks=4585 tps=100 nb_sec=45
case_no=168 label=Case6.156 nb_sol=0 ticks=8826 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=9664 tps=100 nb_sec=96
case_no=168 label=Case6.156 nb_sol=0 ticks=8670 tps=100 nb_sec=86
case_no=168 label=Case6.156 nb_sol=0 ticks=8867 tps=100 nb_sec=88
case_no=168 label=Case6.156 nb_sol=0 ticks=4831 tps=100 nb_sec=48
case_no=168 label=Case6.156 nb_sol=0 ticks=9545 tps=100 nb_sec=95
case_no=168 label=Case6.156 nb_sol=0 ticks=4876 tps=100 nb_sec=48
case_no=168 label=Case6.156 nb_sol=0 ticks=8218 tps=100 nb_sec=82
Nb_sol=0
Nb_sec=102926
1-4:35:26 or 28 hours
missing cases:
none