Benchmark

LabelMeaning
SSolution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A}
OBest solution found
TCPU time (TO for Time Out)
(out)(err)Standard output and standard error for each solver

ColorMeaning for Complete SolversMeaning for Incomplete Solvers
TextBest solver columnBest solver column
TextOptimal solution with the best CPU timeBest solution with the best CPU time
TextOptimal solution and finished within the Time OutBest solution without the best CPU time
TextOptimal solution and did not finish within the Time OutSolution found but not the best
TextTime OutTime Out
TextBuggy solutionBuggy solution

Instance file name Best solver CCEHC2akms CCLS2akms-ls CCLS2akms ILP-2015 ISAC+-2015-ms MaxHS Open-WBO-L Open-WBO QMSAT14 QMSAT15UC WMaxSatz+ WMaxSatz09 WPM3-2015-co ahms-1.55 ahms-1.68 ahms-ls-1.55 ahms-ls-1.68 maxino-k16 maxino-kdyn msUZK-nopp msUZK-pp mscg2015a mscg2015b optiriss-def optiriss-sel ratselfax-cnf toysat toysat_ls
rsdecoder-debug.dimacs.cnf S = OPT
O = 1
T = 1.91		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 50168
T = TO
 S = N/A
O = N/A
T = 11.06
 S = OPT
O = 1
T = 17.22
 S = N/A
O = N/A
T = 745.37
 S = OPT
O = 1
T = 1.91
 S = OPT
O = 1
T = 3.50
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 13.75
 S = N/A
O = N/A
T = 0.02
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.02
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 13.34
 S = OPT
O = 1
T = 12.97
 S = N/A
O = N/A
T = 8.14
 S = N/A
O = N/A
T = 8.31
 S = OPT
O = 1
T = 15.09
 S = OPT
O = 1
T = 14.45
 S = OPT
O = 1
T = 4.12
 S = OPT
O = 1
T = 4.46
 S = N/A
O = N/A
T = 17.59
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
sudoku-debug.dimacs.cnf S = OPT
O = 1
T = 3.06		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 10341
T = TO
 S = N/A
O = N/A
T = 21.64
 S = OPT
O = 1
T = 7.83
 S = OPT
O = 1
T = 35.13
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1
T = 3.34
 S = OPT
O = 1
T = 221.08
 S = N/A
O = 2
T = 32.22
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 5.26
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 16.34
 S = OPT
O = 1
T = 15.96
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1
T = 3.16
 S = OPT
O = 1
T = 3.06
 S = OPT
O = 1
T = 4.35
 S = OPT
O = 1
T = 4.06
 S = N/A
O = N/A
T = 13.69
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
wb-debug.dimacs.cnf S = OPT
O = 28
T = 2.51		 S = N/A
O = 4230
T = TO
 S = N/A
O = 2804
T = TO
 S = N/A
O = 2804
T = TO
 S = OPT
O = 28
T = 125.23
 S = OPT
O = 28
T = 3.75
 S = OPT
O = 28
T = 23.00
 S = N/A
O = N/A
T = TO
 S = OPT
O = 28
T = 2.56
 S = N/A
O = N/A
T = TO
 S = OPT
O = 28
T = 140.37
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 28
T = 2.51
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 28
T = 36.60
 S = OPT
O = 28
T = 35.13
 S = N/A
O = N/A
T = 8.91
 S = N/A
O = N/A
T = 8.59
 S = OPT
O = 28
T = 3.65
 S = OPT
O = 28
T = 3.48
 S = OPT
O = 28
T = 9.82
 S = OPT
O = 28
T = 3.88
 S = N/A
O = 57304
T = TO
 S = N/A
O = 7366
T = TO
 S = N/A
O = N/A
T = TO
SM_AS_TOP_buggy1.dimacs.filtered.cnf S = OPT
O = 57
T = 46.07		 S = N/A
O = 3805
T = TO
 S = N/A
O = 3342
T = TO
 S = N/A
O = 3342
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 57
T = 46.07
 S = N/A
O = N/A
T = 493.17
 S = N/A
O = N/A
T = TO
 S = OPT
O = 57
T = 158.31
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 57
T = 52.21
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 57
T = 127.81
 S = OPT
O = 57
T = 97.31
 S = N/A
O = N/A
T = 8.86
 S = N/A
O = N/A
T = 8.70
 S = OPT
O = 57
T = 68.94
 S = OPT
O = 57
T = 66.73
 S = OPT
O = 57
T = 138.66
 S = OPT
O = 57
T = 1103.32
 S = N/A
O = N/A
T = TO
 S = N/A
O = 2826
T = TO
 S = N/A
O = N/A
T = TO
SM_MAIN_MEM_buggy1.dimacs.filtered.cnf S = OPT
O = 390
T = 362.56		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 8.49
 S = OPT
O = 390
T = 362.56
 S = OPT
O = 390
T = 1370.05
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 390
T = 497.08
 S = N/A
O = N/A
T = 0.02
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.02
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 390
T = TO
 S = OPT
O = 390
T = 783.94
 S = N/A
O = N/A
T = 10.13
 S = N/A
O = N/A
T = 10.25
 S = OPT
O = 390
T = 814.25
 S = OPT
O = 390
T = 802.47
 S = N/A
O = N/A
T = 672.85
 S = N/A
O = N/A
T = 1265.71
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 28.40
 S = N/A
O = N/A
T = TO
SM_RX_TOP.dimacs.filtered.cnf S = OPT
O = 6
T = 12.75		 S = N/A
O = 7229
T = TO
 S = N/A
O = 5811
T = TO
 S = N/A
O = 5811
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 6
T = 13.42
 S = OPT
O = 6
T = 191.74
 S = N/A
O = 556
T = 22.26
 S = OPT
O = 6
T = 12.75
 S = OPT
O = 6
T = 888.62
 S = OPT
O = 6
T = 1070.05
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 6
T = 13.27
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 6
T = 45.52
 S = OPT
O = 6
T = 37.92
 S = N/A
O = N/A
T = 8.60
 S = N/A
O = N/A
T = 9.17
 S = OPT
O = 6
T = 26.39
 S = OPT
O = 6
T = 25.50
 S = OPT
O = 6
T = 14.63
 S = OPT
O = 6
T = 115.45
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 127.54
 S = N/A
O = N/A
T = TO
b15-bug-fourvec-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 4
T = 4.07		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 28811
T = TO
 S = N/A
O = N/A
T = 371.20
 S = OPT
O = 4
T = 6.72
 S = OPT
O = 4
T = 312.02
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 4.08
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 54.78
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 11.08
 S = OPT
O = 4
T = 10.71
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 69.10
 S = OPT
O = 4
T = 70.37
 S = OPT
O = 4
T = 5.47
 S = OPT
O = 4
T = 4.07
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 37.90
 S = N/A
O = N/A
T = TO
c1_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 4
T = 1.12		 S = N/A
O = 7899
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7175
T = TO
 S = OPT
O = 4
T = 119.42
 S = OPT
O = 4
T = 3.34
 S = OPT
O = 4
T = 22.37
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 1.54
 S = OPT
O = 4
T = 106.31
 S = OPT
O = 4
T = 1.12
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 2.27
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 4.64
 S = OPT
O = 4
T = 4.57
 S = N/A
O = N/A
T = 8.51
 S = N/A
O = N/A
T = 9.29
 S = OPT
O = 4
T = 1.57
 S = OPT
O = 4
T = 1.68
 S = OPT
O = 4
T = 2.38
 S = OPT
O = 4
T = 2.23
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
c2_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 4
T = 3.58		 S = N/A
O = N/A
T = TO
 S = N/A
O = 11621
T = TO
 S = N/A
O = 11707
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 6.18
 S = OPT
O = 4
T = 291.41
 S = N/A
O = 24
T = 1776.68
 S = OPT
O = 4
T = 6.66
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 6.07
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 9.57
 S = OPT
O = 4
T = 10.12
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 9.09
 S = OPT
O = 4
T = 3.58
 S = OPT
O = 4
T = 3.86
 S = OPT
O = 4
T = 6.52
 S = OPT
O = 4
T = 6.69
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
c4_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 8
T = 4.13		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 40874
T = TO
 S = N/A
O = N/A
T = 56.29
 S = OPT
O = 8
T = 8.21
 S = OPT
O = 8
T = 65.78
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 5.54
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 25.56
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 8
T = 9.39
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 8
T = 15.19
 S = OPT
O = 8
T = 15.14
 S = N/A
O = N/A
T = 8.33
 S = N/A
O = N/A
T = 8.21
 S = OPT
O = 8
T = 4.35
 S = OPT
O = 8
T = 4.13
 S = OPT
O = 8
T = 8.15
 S = OPT
O = 8
T = 6.90
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
c4_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 4
T = 2.04		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 9740
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 5.91
 S = OPT
O = 4
T = 67.91
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 4.56
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 48.83
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 74.36
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 8.23
 S = OPT
O = 4
T = 7.67
 S = N/A
O = N/A
T = 9.38
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 2.04
 S = OPT
O = 4
T = 2.09
 S = OPT
O = 4
T = 5.41
 S = OPT
O = 4
T = 2.86
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 38.75
 S = N/A
O = N/A
T = TO
c5_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 8
T = 1.01		 S = N/A
O = 2926
T = TO
 S = N/A
O = 2672
T = TO
 S = N/A
O = 2672
T = TO
 S = OPT
O = 8
T = 47.45
 S = OPT
O = 8
T = 2.43
 S = OPT
O = 8
T = 19.85
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 1.33
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 1.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 8
T = 1.91
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 8
T = 2.15
 S = OPT
O = 8
T = 2.17
 S = N/A
O = N/A
T = 8.77
 S = N/A
O = N/A
T = 8.90
 S = OPT
O = 8
T = 1.10
 S = OPT
O = 8
T = 1.12
 S = OPT
O = 8
T = 2.29
 S = OPT
O = 8
T = 1.83
 S = N/A
O = 59178
T = TO
 S = OPT
O = 8
T = 85.98
 S = N/A
O = N/A
T = TO
c5_DD_s3_f1_e1_v2-bug-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 8
T = 1.01		 S = N/A
O = 2913
T = TO
 S = N/A
O = 2685
T = TO
 S = N/A
O = 2685
T = TO
 S = OPT
O = 8
T = 46.82
 S = OPT
O = 8
T = 2.40
 S = OPT
O = 8
T = 19.73
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 1.31
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 1.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 8
T = 1.96
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 8
T = 2.25
 S = OPT
O = 8
T = 2.19
 S = N/A
O = N/A
T = 8.81
 S = N/A
O = N/A
T = 8.72
 S = OPT
O = 8
T = 1.02
 S = OPT
O = 8
T = 1.12
 S = OPT
O = 8
T = 2.33
 S = OPT
O = 8
T = 1.78
 S = N/A
O = 59156
T = TO
 S = OPT
O = 8
T = 83.55
 S = N/A
O = N/A
T = TO
c6_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 8
T = 1.58		 S = N/A
O = 6066
T = TO
 S = N/A
O = 5203
T = TO
 S = N/A
O = 5203
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 3.06
 S = OPT
O = 8
T = 22.03
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 1.58
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 27.90
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 8
T = 2.46
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 8
T = 5.62
 S = OPT
O = 8
T = 5.57
 S = N/A
O = N/A
T = 8.96
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 1.68
 S = OPT
O = 8
T = 1.63
 S = OPT
O = 8
T = 2.73
 S = OPT
O = 8
T = 2.66
 S = N/A
O = 99686
T = TO
 S = N/A
O = 9809
T = 123.50
 S = N/A
O = N/A
T = TO
divider-problem.dimacs_11.filtered.cnf S = OPT
O = 2
T = 7.47		 S = N/A
O = 6578
T = TO
 S = N/A
O = 5592
T = TO
 S = N/A
O = 5592
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 30.98
 S = OPT
O = 2
T = 221.92
 S = OPT
O = 2
T = 584.21
 S = OPT
O = 2
T = 110.19
 S = OPT
O = 2
T = 338.71
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 99.03
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 50.79
 S = OPT
O = 2
T = 76.35
 S = N/A
O = N/A
T = 8.78
 S = N/A
O = N/A
T = 8.72
 S = OPT
O = 2
T = 7.65
 S = OPT
O = 2
T = 7.47
 S = OPT
O = 2
T = 33.15
 S = OPT
O = 2
T = 52.13
 S = N/A
O = 54732
T = TO
 S = N/A
O = 2011
T = 46.37
 S = N/A
O = N/A
T = TO
divider-problem.dimacs_2.filtered.cnf S = OPT
O = 2
T = 13.39		 S = N/A
O = 7203
T = TO
 S = N/A
O = 6275
T = TO
 S = N/A
O = 6275
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 13.39
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 15.16
 S = OPT
O = 2
T = 387.98
 S = OPT
O = 2
T = 441.85
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 59.46
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 37.39
 S = OPT
O = 2
T = 44.27
 S = N/A
O = N/A
T = 8.96
 S = N/A
O = N/A
T = 8.54
 S = OPT
O = 2
T = 32.29
 S = OPT
O = 2
T = 31.77
 S = OPT
O = 2
T = 14.94
 S = OPT
O = 2
T = 1061.30
 S = N/A
O = 55556
T = TO
 S = N/A
O = 2853
T = TO
 S = N/A
O = N/A
T = TO
divider-problem.dimacs_5.filtered.cnf S = OPT
O = 2
T = 11.90		 S = N/A
O = 6990
T = TO
 S = N/A
O = 6260
T = TO
 S = N/A
O = 6260
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 12.22
 S = OPT
O = 2
T = 172.17
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 16.77
 S = OPT
O = 2
T = 523.21
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 49.22
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 41.58
 S = OPT
O = 2
T = 40.83
 S = N/A
O = N/A
T = 8.73
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 11.90
 S = OPT
O = 2
T = 13.94
 S = OPT
O = 2
T = 55.82
 S = OPT
O = 2
T = 237.93
 S = N/A
O = N/A
T = TO
 S = N/A
O = 2939
T = TO
 S = N/A
O = N/A
T = TO
divider-problem.dimacs_8.filtered.cnf S = OPT
O = 2
T = 33.95		 S = N/A
O = 7864
T = TO
 S = N/A
O = 7004
T = TO
 S = N/A
O = 7004
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 36.17
 S = OPT
O = 2
T = 277.85
 S = OPT
O = 2
T = 572.32
 S = OPT
O = 2
T = 48.83
 S = OPT
O = 2
T = 356.23
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 72.20
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 47.86
 S = OPT
O = 2
T = 33.95
 S = N/A
O = N/A
T = 8.33
 S = N/A
O = N/A
T = 8.87
 S = OPT
O = 2
T = 37.65
 S = OPT
O = 2
T = 38.71
 S = OPT
O = 2
T = 41.60
 S = OPT
O = 2
T = 129.47
 S = N/A
O = 59308
T = TO
 S = N/A
O = 2727
T = 66.55
 S = N/A
O = N/A
T = TO
dividers10.dimacs.filtered.cnf S = OPT
O = 2
T = 0.92		 S = N/A
O = 715
T = TO
 S = N/A
O = 870
T = TO
 S = N/A
O = 870
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 4.01
 S = OPT
O = 2
T = 107.61
 S = OPT
O = 2
T = 21.23
 S = OPT
O = 2
T = 3.71
 S = OPT
O = 2
T = 34.57
 S = OPT
O = 2
T = 137.97
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 4.04
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.19
 S = N/A
O = N/A
T = 0.20
 S = N/A
O = N/A
T = 0.19
 S = OPT
O = 2
T = 5.05
 S = OPT
O = 2
T = 5.72
 S = N/A
O = N/A
T = 7.68
 S = N/A
O = N/A
T = 8.18
 S = OPT
O = 2
T = 0.92
 S = OPT
O = 2
T = 1.04
 S = OPT
O = 2
T = 6.88
 S = OPT
O = 2
T = 41.51
 S = N/A
O = 13397
T = TO
 S = OPT
O = 2
T = 137.84
 S = N/A
O = N/A
T = TO
dividers_multivec1.dimacs.filtered.cnf S = OPT
O = 2
T = 0.90		 S = N/A
O = 3646
T = TO
 S = N/A
O = 2600
T = TO
 S = N/A
O = 2600
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 2.79
 S = OPT
O = 2
T = 38.05
 S = OPT
O = 2
T = 50.43
 S = OPT
O = 2
T = 1.96
 S = OPT
O = 2
T = 48.58
 S = OPT
O = 2
T = 22.75
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 3.18
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.40
 S = N/A
O = N/A
T = 0.40
 S = N/A
O = N/A
T = 0.41
 S = OPT
O = 2
T = 2.13
 S = OPT
O = 2
T = 1.78
 S = N/A
O = N/A
T = 8.37
 S = N/A
O = N/A
T = 8.47
 S = OPT
O = 2
T = 2.42
 S = OPT
O = 2
T = 2.46
 S = OPT
O = 2
T = 1.25
 S = OPT
O = 2
T = 0.90
 S = N/A
O = 30987
T = TO
 S = OPT
O = 2
T = 106.44
 S = N/A
O = N/A
T = TO
fpu_multivec1-problem.dimacs_14.filtered.cnf S = OPT
O = 2
T = 1.92		 S = N/A
O = 8936
T = TO
 S = N/A
O = 7355
T = TO
 S = N/A
O = 7355
T = TO
 S = N/A
O = N/A
T = 531.15
 S = OPT
O = 2
T = 6.17
 S = OPT
O = 2
T = 56.77
 S = N/A
O = 12
T = 92.81
 S = OPT
O = 2
T = 3.51
 S = OPT
O = 2
T = 51.74
 S = OPT
O = 2
T = 6.69
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 4.60
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 4.18
 S = OPT
O = 2
T = 4.09
 S = N/A
O = N/A
T = 9.15
 S = N/A
O = N/A
T = 8.85
 S = OPT
O = 2
T = 7.22
 S = OPT
O = 2
T = 7.17
 S = OPT
O = 2
T = 4.15
 S = OPT
O = 2
T = 1.92
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 135.17
 S = N/A
O = N/A
T = TO
i2c-problem.dimacs_25.filtered.cnf S = OPT
O = 2
T = 3.16		 S = N/A
O = N/A
T = TO
 S = N/A
O = 14021
T = TO
 S = N/A
O = 14021
T = TO
 S = N/A
O = N/A
T = 19.26
 S = OPT
O = 2
T = 30.91
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 28.78
 S = N/A
O = 3
T = 882.72
 S = N/A
O = 4
T = 1448.97
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 13.37
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 86.34
 S = OPT
O = 2
T = 69.36
 S = N/A
O = N/A
T = 9.51
 S = N/A
O = N/A
T = TO
 S = OPT
O = 2
T = 6.08
 S = OPT
O = 2
T = 6.61
 S = OPT
O = 2
T = 15.62
 S = OPT
O = 2
T = 3.16
 S = N/A
O = N/A
T = 13.95
 S = N/A
O = N/A
T = 37.57
 S = N/A
O = N/A
T = TO
i2c-problem.dimacs_26.filtered.cnf S = OPT
O = 2
T = 7.69		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 7980
T = TO
 S = N/A
O = N/A
T = 27.46
 S = OPT
O = 2
T = 27.17
 S = OPT
O = 2
T = 353.04
 S = N/A
O = 6
T = 351.55
 S = OPT
O = 2
T = 33.94
 S = OPT
O = 2
T = 169.64
 S = OPT
O = 2
T = 219.75
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 25.87
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 44.92
 S = OPT
O = 2
T = 49.06
 S = N/A
O = N/A
T = 9.59
 S = N/A
O = N/A
T = 9.51
 S = OPT
O = 2
T = 9.21
 S = OPT
O = 2
T = 7.69
 S = OPT
O = 2
T = 27.28
 S = OPT
O = 2
T = 65.14
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
mem_ctrl-problem.dimacs_27.filtered.cnf S = OPT
O = 1
T = 121.33		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 13.15
 S = OPT
O = 1
T = 121.33
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 6.37
 S = N/A
O = N/A
T = 6.88
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 15983634
T = TO
 S = N/A
O = N/A
T = 0.11
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.09
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 5.40
 S = N/A
O = N/A
T = 22.44
 S = N/A
O = N/A
T = 21.37
 S = N/A
O = N/A
T = 9.08
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 43.00
 S = N/A
O = N/A
T = 19.10
 S = N/A
O = N/A
T = TO
mem_ctrl1.dimacs.filtered.cnf S = OPT
O = 1
T = 7.54		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 8.45
 S = OPT
O = 1
T = 18.89
 S = OPT
O = 1
T = 51.18
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1
T = 7.73
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 11.93
 S = N/A
O = N/A
T = 0.02
 S = N/A
O = N/A
T = 0.15
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.16
 S = OPT
O = 1
T = 32.22
 S = OPT
O = 1
T = 29.33
 S = N/A
O = N/A
T = 10.85
 S = N/A
O = N/A
T = 10.93
 S = OPT
O = 1
T = 7.71
 S = OPT
O = 1
T = 7.82
 S = OPT
O = 1
T = 9.64
 S = OPT
O = 1
T = 7.54
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 18.59
 S = N/A
O = N/A
T = TO
mem_ctrl2_blackbox_mc_dp-problem.dimacs_28.filtered.cnf S = OPT
O = 3
T = 24.65		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 3
T = 32.36
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 3
T = 24.65
 S = N/A
O = N/A
T = TO
 S = N/A
O = 42
T = 18.05
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 3
T = 40.08
 S = N/A
O = N/A
T = 0.04
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.04
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 13.71
 S = N/A
O = N/A
T = TO
 S = OPT
O = 3
T = 41.84
 S = OPT
O = 3
T = 41.58
 S = OPT
O = 3
T = 37.88
 S = OPT
O = 3
T = 27.02
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
mrisc_mem2wire-problem.dimacs_29.filtered.cnf S = OPT
O = 1
T = 4.19		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1
T = 14.70
 S = OPT
O = 1
T = 55.14
 S = N/A
O = 84
T = 563.88
 S = OPT
O = 1
T = 7.32
 S = N/A
O = N/A
T = TO
 S = N/A
O = 380
T = 69.38
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 10.53
 S = N/A
O = N/A
T = 0.02
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 15.25
 S = OPT
O = 1
T = 13.20
 S = N/A
O = N/A
T = 9.11
 S = N/A
O = N/A
T = 9.07
 S = OPT
O = 1
T = 4.19
 S = OPT
O = 1
T = 4.31
 S = OPT
O = 1
T = 9.69
 S = OPT
O = 1
T = 5.79
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 22.28
 S = N/A
O = N/A
T = TO
rsdecoder-problem.dimacs_31.filtered.cnf S = OPT
O = 1
T = 31.19		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 8.55
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 190.17
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 5339
T = 1436.64
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 3
T = TO
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 104.50
 S = OPT
O = 1
T = 70.85
 S = N/A
O = N/A
T = 10.37
 S = N/A
O = N/A
T = 9.81
 S = OPT
O = 1
T = 32.20
 S = OPT
O = 1
T = 31.19
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
rsdecoder-problem.dimacs_36.filtered.cnf S = OPT
O = 1
T = 23.36		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1
T = 28.07
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1
T = 23.36
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1782
T = 451.22
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 25.11
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 72.27
 S = OPT
O = 1
T = 296.71
 S = N/A
O = N/A
T = 10.35
 S = N/A
O = N/A
T = 10.19
 S = OPT
O = 1
T = 86.14
 S = OPT
O = 1
T = 86.79
 S = OPT
O = 1
T = 72.07
 S = OPT
O = 1
T = 200.80
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 35.67
 S = N/A
O = N/A
T = TO
rsdecoder-problem.dimacs_37.filtered.cnf S = OPT
O = 1
T = 12.01		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 9.36
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 12713
T = 31.45
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 615
T = 489.77
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 1
T = 221.85
 S = OPT
O = 1
T = 853.00
 S = N/A
O = N/A
T = 11.44
 S = N/A
O = N/A
T = 11.72
 S = N/A
O = N/A
T = 117.40
 S = N/A
O = N/A
T = 119.87
 S = N/A
O = 216
T = 289.06
 S = OPT
O = 1
T = 12.01
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 32.42
 S = N/A
O = N/A
T = TO
rsdecoder-problem.dimacs_38.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 448
T = 1008.19
 S = N/A
O = N/A
T = 413.60
 S = N/A
O = 448
T = 198.32
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 3874
T = 433.06
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 448
T = 1273.49
 S = N/A
O = N/A
T = 0.02
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 1
T = 411.68
 S = N/A
O = 1
T = 510.61
 S = N/A
O = N/A
T = 10.00
 S = N/A
O = N/A
T = 10.71
 S = N/A
O = N/A
T = 411.77
 S = N/A
O = N/A
T = 416.72
 S = N/A
O = 1251
T = 625.98
 S = N/A
O = 63719
T = 1593.53
 S = N/A
O = N/A
T = 18.82
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
rsdecoder-problem.dimacs_39.filtered.cnf S = OPT
O = 1
T = 6.46		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 8.62
 S = OPT
O = 1
T = 52.30
 S = OPT
O = 1
T = 101.08
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1
T = 102.16
 S = N/A
O = N/A
T = TO
 S = N/A
O = 3376
T = 602.76
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 50.22
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 23.89
 S = OPT
O = 1
T = 25.66
 S = N/A
O = N/A
T = 10.38
 S = N/A
O = N/A
T = 10.01
 S = OPT
O = 1
T = 6.49
 S = OPT
O = 1
T = 6.46
 S = OPT
O = 1
T = 58.94
 S = OPT
O = 1
T = 7.85
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 36.33
 S = N/A
O = N/A
T = TO
rsdecoder-problem.dimacs_40.filtered.cnf S = OPT
O = 1
T = 7.68		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 8.62
 S = OPT
O = 1
T = 35.21
 S = OPT
O = 1
T = 51.34
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1
T = 37.79
 S = N/A
O = N/A
T = TO
 S = N/A
O = 5059
T = 480.91
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 81.85
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 20.32
 S = OPT
O = 1
T = 20.41
 S = N/A
O = N/A
T = 10.54
 S = N/A
O = N/A
T = 10.32
 S = OPT
O = 1
T = 37.75
 S = OPT
O = 1
T = 41.80
 S = OPT
O = 1
T = 31.68
 S = OPT
O = 1
T = 7.68
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
rsdecoder-problem.dimacs_41.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 344.12
 S = N/A
O = N/A
T = TO
 S = N/A
O = 2634
T = 495.83
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 2634
T = 708.84
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.03
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 1
T = 391.29
 S = N/A
O = 1
T = 335.66
 S = N/A
O = N/A
T = 10.21
 S = N/A
O = N/A
T = 10.38
 S = N/A
O = N/A
T = 467.63
 S = N/A
O = N/A
T = 352.88
 S = N/A
O = 4288
T = 499.78
 S = N/A
O = 63118
T = 1170.09
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 36.11
 S = N/A
O = N/A
T = TO
rsdecoder1_blackbox_CSEEblock-problem.dimacs_32.filtered.cnf S = OPT
O = 4
T = 194.61		 S = N/A
O = 6199
T = TO
 S = N/A
O = 5696
T = TO
 S = N/A
O = 5696
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 194.61
 S = OPT
O = 4
T = 518.63
 S = N/A
O = 11
T = 151.53
 S = OPT
O = 4
T = 493.45
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 642.43
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 503.02
 S = OPT
O = 4
T = 195.02
 S = N/A
O = N/A
T = 8.63
 S = N/A
O = N/A
T = 9.02
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 823.40
 S = OPT
O = 4
T = 1461.47
 S = N/A
O = N/A
T = TO
 S = N/A
O = 4163
T = TO
 S = N/A
O = N/A
T = TO
rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = 8529
T = TO
 S = N/A
O = 9006
T = TO
 S = N/A
O = 8769
T = TO
 S = N/A
O = N/A
T = 23.79
 S = N/A
O = 819
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 819
T = 19.67
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 819
T = TO
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 1
T = TO
 S = N/A
O = 1
T = TO
 S = N/A
O = N/A
T = 9.41
 S = N/A
O = N/A
T = 9.60
 S = N/A
O = N/A
T = 1567.55
 S = N/A
O = N/A
T = 1573.04
 S = N/A
O = 585
T = 1534.03
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
rsdecoder2.dimacs.filtered.cnf S = OPT
O = 1
T = 10.59		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 18657
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1
T = 47.65
 S = OPT
O = 1
T = 39.00
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1
T = 80.76
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 49.86
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 1
T = 164.48
 S = OPT
O = 1
T = 181.67
 S = N/A
O = N/A
T = 9.42
 S = N/A
O = N/A
T = TO
 S = OPT
O = 1
T = 10.59
 S = OPT
O = 1
T = 11.39
 S = OPT
O = 1
T = 22.26
 S = OPT
O = 1
T = 15.13
 S = N/A
O = N/A
T = 14.35
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
rsdecoder4.dimacs.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = 10913
T = TO
 S = N/A
O = 8039
T = TO
 S = N/A
O = 8039
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 215
T = 835.77
 S = N/A
O = N/A
T = TO
 S = N/A
O = 165
T = 427.14
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 215
T = 991.43
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 2
T = TO
 S = N/A
O = 2
T = TO
 S = N/A
O = N/A
T = 8.80
 S = N/A
O = N/A
T = 8.99
 S = N/A
O = N/A
T = 1128.62
 S = N/A
O = N/A
T = 1131.66
 S = N/A
O = 223
T = 988.58
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 137.51
 S = N/A
O = N/A
T = TO
rsdecoder5.dimacs.filtered.cnf S = OPT
O = 2
T = 22.32		 S = N/A
O = 9020
T = TO
 S = N/A
O = 8014
T = TO
 S = N/A
O = 8014
T = TO
 S = N/A
O = N/A
T = 1193.10
 S = OPT
O = 2
T = 362.87
 S = N/A
O = N/A
T = 513.60
 S = OPT
O = 2
T = 1549.35
 S = OPT
O = 2
T = 364.61
 S = OPT
O = 2
T = 1033.88
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 437.61
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 498.01
 S = OPT
O = 2
T = 252.56
 S = N/A
O = N/A
T = 8.66
 S = N/A
O = N/A
T = 9.08
 S = OPT
O = 2
T = 22.32
 S = OPT
O = 2
T = 22.88
 S = OPT
O = 2
T = 174.95
 S = OPT
O = 2
T = 735.14
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 137.55
 S = N/A
O = N/A
T = TO
rsdecoder6.dimacs.filtered.cnf S = OPT
O = 3
T = 344.02		 S = N/A
O = 9360
T = TO
 S = N/A
O = 8134
T = TO
 S = N/A
O = 8134
T = TO
 S = N/A
O = N/A
T = 1303.43
 S = N/A
O = 80
T = TO
 S = N/A
O = N/A
T = 462.28
 S = N/A
O = N/A
T = TO
 S = OPT
O = 3
T = 800.25
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 80
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 3
T = 641.96
 S = N/A
O = 3
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 9.26
 S = OPT
O = 3
T = 344.02
 S = OPT
O = 3
T = 366.75
 S = OPT
O = 3
T = 711.28
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 146.93
 S = N/A
O = N/A
T = TO
rsdecoder_fsm2.dimacs.filtered.cnf S = OPT
O = 2
T = 4.82		 S = N/A
O = 9295
T = TO
 S = N/A
O = 8082
T = TO
 S = N/A
O = 8082
T = TO
 S = N/A
O = N/A
T = 1109.97
 S = OPT
O = 2
T = 9.50
 S = OPT
O = 2
T = 479.31
 S = N/A
O = 11
T = 1424.91
 S = OPT
O = 2
T = 18.20
 S = N/A
O = 2
T = TO
 S = OPT
O = 2
T = 75.19
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 8.09
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 2
T = 184.72
 S = OPT
O = 2
T = 226.17
 S = N/A
O = N/A
T = 9.01
 S = N/A
O = N/A
T = 8.44
 S = OPT
O = 2
T = 4.82
 S = OPT
O = 2
T = 5.35
 S = OPT
O = 2
T = 18.51
 S = OPT
O = 2
T = 159.14
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
rsdecoder_multivec1-problem.dimacs_33.filtered.cnf S = OPT
O = 4
T = 33.66		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 65.60
 S = N/A
O = N/A
T = 556.55
 S = N/A
O = 1002
T = 39.33
 S = OPT
O = 4
T = 71.65
 S = N/A
O = 1614
T = 18.76
 S = N/A
O = 386
T = 424.63
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 355.22
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 4
T = TO
 S = N/A
O = 2
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 33.66
 S = OPT
O = 4
T = 36.76
 S = OPT
O = 4
T = 65.02
 S = OPT
O = 4
T = 485.45
 S = N/A
O = N/A
T = 17.35
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
rsdecoder_multivec1.dimacs.filtered.cnf S = OPT
O = 4
T = 12.96		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 19815
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 64.80
 S = N/A
O = N/A
T = 514.78
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 12.96
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 60.82
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 4
T = 696.55
 S = OPT
O = 4
T = 775.79
 S = N/A
O = N/A
T = 10.00
 S = N/A
O = N/A
T = TO
 S = OPT
O = 4
T = 14.94
 S = OPT
O = 4
T = 17.59
 S = OPT
O = 4
T = 36.26
 S = OPT
O = 4
T = 1273.87
 S = N/A
O = N/A
T = 14.56
 S = N/A
O = N/A
T = 37.21
 S = N/A
O = N/A
T = TO
wb-problem.dimacs_45.filtered.cnf S = OPT
O = 14
T = 1.49		 S = N/A
O = 4749
T = TO
 S = N/A
O = 4134
T = TO
 S = N/A
O = 4134
T = TO
 S = OPT
O = 14
T = 42.43
 S = OPT
O = 14
T = 4.17
 S = OPT
O = 14
T = 21.50
 S = OPT
O = 14
T = 293.44
 S = OPT
O = 14
T = 1.54
 S = OPT
O = 14
T = 151.15
 S = OPT
O = 14
T = 11.46
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 14
T = 2.51
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 14
T = 3.51
 S = OPT
O = 14
T = 3.75
 S = N/A
O = N/A
T = 8.62
 S = N/A
O = N/A
T = 8.93
 S = OPT
O = 14
T = 1.49
 S = OPT
O = 14
T = 1.55
 S = OPT
O = 14
T = 2.52
 S = OPT
O = 14
T = 2.18
 S = N/A
O = 49006
T = TO
 S = N/A
O = 11917
T = 135.43
 S = N/A
O = N/A
T = TO
wb-problem.dimacs_46.filtered.cnf S = OPT
O = 476
T = 16.18		 S = N/A
O = 4822
T = TO
 S = N/A
O = 4743
T = TO
 S = N/A
O = 4743
T = TO
 S = OPT
O = 476
T = 41.75
 S = OPT
O = 476
T = 25.11
 S = OPT
O = 476
T = 49.25
 S = N/A
O = N/A
T = TO
 S = OPT
O = 476
T = 53.69
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 476
T = 25.38
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 476
T = 19.33
 S = OPT
O = 476
T = 19.95
 S = N/A
O = N/A
T = 8.99
 S = N/A
O = N/A
T = 8.31
 S = OPT
O = 476
T = 16.18
 S = OPT
O = 476
T = 16.59
 S = OPT
O = 476
T = 120.16
 S = OPT
O = 476
T = 43.62
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
wb1.dimacs.filtered.cnf S = OPT
O = 218
T = 0.79		 S = N/A
O = 1166
T = TO
 S = N/A
O = 912
T = TO
 S = N/A
O = 912
T = TO
 S = OPT
O = 218
T = 21.73
 S = OPT
O = 218
T = 3.16
 S = OPT
O = 218
T = 101.86
 S = N/A
O = N/A
T = TO
 S = OPT
O = 218
T = 2.65
 S = N/A
O = N/A
T = TO
 S = OPT
O = 218
T = 86.57
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 218
T = 2.87
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.16
 S = N/A
O = N/A
T = 0.15
 S = N/A
O = N/A
T = 0.17
 S = OPT
O = 218
T = 0.79
 S = OPT
O = 218
T = 0.81
 S = N/A
O = N/A
T = 7.73
 S = N/A
O = N/A
T = 7.81
 S = OPT
O = 218
T = 1.57
 S = OPT
O = 218
T = 1.56
 S = OPT
O = 218
T = 5.62
 S = OPT
O = 218
T = 4.12
 S = N/A
O = 10453
T = TO
 S = OPT
O = 218
T = 1716.66
 S = N/A
O = N/A
T = TO
wb2.dimacs.filtered.cnf S = OPT
O = 588
T = 3.80		 S = N/A
O = 1556
T = TO
 S = N/A
O = 1286
T = TO
 S = N/A
O = 1286
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 588
T = 8.32
 S = OPT
O = 588
T = 131.76
 S = N/A
O = N/A
T = TO
 S = OPT
O = 588
T = 38.05
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 588
T = 8.27
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.16
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.16
 S = OPT
O = 588
T = 8.39
 S = OPT
O = 588
T = 7.34
 S = N/A
O = N/A
T = 8.05
 S = N/A
O = N/A
T = 7.75
 S = OPT
O = 588
T = 3.95
 S = OPT
O = 588
T = 3.80
 S = OPT
O = 588
T = 102.84
 S = OPT
O = 588
T = 10.35
 S = N/A
O = 14410
T = TO
 S = N/A
O = 614
T = TO
 S = N/A
O = N/A
T = TO
wb_4m8s-problem.dimacs_47.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 11.44
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 21.98
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1274
T = 291.65
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 8517028
T = TO
 S = N/A
O = N/A
T = 0.05
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.05
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 15.04
 S = N/A
O = N/A
T = 15.27
 S = N/A
O = N/A
T = 7.21
 S = N/A
O = N/A
T = 7.27
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 18.71
 S = N/A
O = N/A
T = TO
wb_4m8s-problem.dimacs_48.filtered.cnf S = OPT
O = 8
T = 62.44		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 11.35
 S = OPT
O = 8
T = 62.44
 S = N/A
O = N/A
T = 21.83
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 26
T = 16.40
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 8774656
T = TO
 S = N/A
O = N/A
T = 0.07
 S = N/A
O = N/A
T = 0.23
 S = N/A
O = N/A
T = 0.06
 S = N/A
O = N/A
T = 0.25
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 16.14
 S = N/A
O = N/A
T = 15.65
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 7.47
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
wb_4m8s-problem.dimacs_49.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 11.63
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 22.39
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 1310
T = 362.14
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 8812800
T = TO
 S = N/A
O = N/A
T = 0.06
 S = N/A
O = N/A
T = 0.28
 S = N/A
O = N/A
T = 0.06
 S = N/A
O = N/A
T = 0.28
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 15.44
 S = N/A
O = N/A
T = 16.31
 S = N/A
O = N/A
T = 6.99
 S = N/A
O = N/A
T = 7.46
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 28.57
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
wb_4m8s1.dimacs.filtered.cnf S = OPT
O = 18
T = 525.82		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 21382
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 18
T = 525.82
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 18
T = 655.92
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 9
T = TO
 S = N/A
O = 8
T = TO
 S = N/A
O = N/A
T = 9.91
 S = N/A
O = N/A
T = 10.10
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 1381.26
 S = N/A
O = N/A
T = 1194.85
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 38.68
 S = N/A
O = N/A
T = TO
wb_4m8s3.dimacs.filtered.cnf S = OPT
O = 8
T = 3.03		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 22002
T = TO
 S = N/A
O = N/A
T = 20.10
 S = OPT
O = 8
T = 8.49
 S = OPT
O = 8
T = 28.79
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 3.51
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 22.84
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 8
T = 5.36
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 8
T = 7.10
 S = OPT
O = 8
T = 7.14
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = OPT
O = 8
T = 3.03
 S = OPT
O = 8
T = 3.23
 S = OPT
O = 8
T = 5.60
 S = OPT
O = 8
T = 4.74
 S = N/A
O = N/A
T = 15.10
 S = N/A
O = N/A
T = 39.41
 S = N/A
O = N/A
T = TO
wb_4m8s4.dimacs.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = 21913
T = TO
 S = N/A
O = N/A
T = 20.63
 S = N/A
O = 230
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 230
T = TO
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = 201
T = TO
 S = N/A
O = 203
T = TO
 S = N/A
O = N/A
T = 10.10
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 1036.64
 S = N/A
O = N/A
T = 1461.08
 S = N/A
O = N/A
T = 15.34
 S = N/A
O = N/A
T = 39.37
 S = N/A
O = N/A
T = TO
wb_conmax1.dimacs.filtered.cnf S = OPT
O = 40
T = 34.65		 S = N/A
O = 4815
T = TO
 S = N/A
O = 4393
T = TO
 S = N/A
O = 4393
T = TO
 S = N/A
O = N/A
T = 26.01
 S = OPT
O = 40
T = 191.83
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 40
T = 348.99
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 40
T = 284.96
 S = OPT
O = 40
T = 185.45
 S = N/A
O = N/A
T = 9.60
 S = N/A
O = N/A
T = 9.60
 S = OPT
O = 40
T = 34.65
 S = OPT
O = 40
T = 39.63
 S = N/A
O = N/A
T = 1553.46
 S = N/A
O = N/A
T = 1789.42
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
wb_conmax3.dimacs.filtered.cnf S = OPT
O = 33
T = 11.90		 S = N/A
O = 4695
T = TO
 S = N/A
O = 4602
T = TO
 S = N/A
O = 4602
T = TO
 S = N/A
O = N/A
T = 25.54
 S = OPT
O = 33
T = 16.86
 S = OPT
O = 33
T = 325.88
 S = N/A
O = N/A
T = TO
 S = OPT
O = 33
T = 26.90
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 33
T = 17.68
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = N/A
O = N/A
T = 0.01
 S = N/A
O = N/A
T = 0.00
 S = OPT
O = 33
T = 43.86
 S = OPT
O = 33
T = 54.74
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 9.67
 S = OPT
O = 33
T = 11.90
 S = OPT
O = 33
T = 12.96
 S = OPT
O = 33
T = 51.35
 S = OPT
O = 33
T = 21.43
 S = N/A
O = N/A
T = TO
 S = N/A
O = N/A
T = 39.60
 S = N/A
O = N/A
T = TO