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 CCLS2akms Eva500a Eva500b ILP-2013 ISAC+2014-ms MSCG MaxHS Open-WBO-In Open-WBO-SU Open-WBO QMS-g2-pms QMS-g3-auto SAT4J-ms WBO WMaxSatz+ WMaxSatz09 WPM-2014-co ahmaxsat-ls ahmaxsat clasp maxSatUZK optimax2-r optimax2-rn pmifumax scip-maxsat toysat toysat_ls
rsdecoder-debug.dimacs.cnf S = OPT
O = 1
T = 1.89		 S = N/A
O = 50168
T = TO
(out)(err)		 S = OPT
O = 1
T = 8.92
(out)(err)		 S = OPT
O = 1
T = 9.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 10.74
(out)(err)		 S = OPT
O = 1
T = 3.97
(out)(err)		 S = OPT
O = 1
T = 19.20
(out)(err)		 S = OPT
O = 1
T = 3.15
(out)(err)		 S = OPT
O = 1
T = 1.89
(out)(err)		 S = OPT
O = 1
T = 3.80
(out)(err)		 S = N/A
O = 4227
T = 30.04
(out)(err)		 S = N/A
O = 4859
T = 35.22
(out)(err)		 S = N/A
O = 17
T = TO
(out)(err)		 S = OPT
O = 1
T = 4.62
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 1
T = 12.42
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = N/A
O = N/A
T = 0.02
(out)(err)		 S = OPT
O = 1
T = 17.37
(out)(err)		 S = N/A
O = N/A
T = 5.34
(out)(err)		 S = OPT
O = 1
T = 8.95
(out)(err)		 S = OPT
O = 1
T = 8.95
(out)(err)		 S = OPT
O = 1
T = 4.93
(out)(err)		 S = N/A
O = N/A
T = 10.70
(out)(err)		 S = N/A
O = N/A
T = 37.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
sudoku-debug.dimacs.cnf S = OPT
O = 1
T = 3.02		 S = N/A
O = 10705
T = TO
(out)(err)		 S = OPT
O = 1
T = 6.78
(out)(err)		 S = OPT
O = 1
T = 6.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 8.54
(out)(err)		 S = OPT
O = 1
T = 5.84
(out)(err)		 S = OPT
O = 1
T = 17.20
(out)(err)		 S = OPT
O = 1
T = 3.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 3.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 518.32
(out)(err)		 S = OPT
O = 1
T = 21.67
(out)(err)		 S = OPT
O = 1
T = 3.69
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 1
T = 4.86
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = OPT
O = 1
T = 13.36
(out)(err)		 S = N/A
O = N/A
T = 4.43
(out)(err)		 S = OPT
O = 1
T = 10.23
(out)(err)		 S = OPT
O = 1
T = 12.97
(out)(err)		 S = OPT
O = 1
T = 3.83
(out)(err)		 S = N/A
O = N/A
T = 8.70
(out)(err)		 S = N/A
O = N/A
T = 26.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb-debug.dimacs.cnf S = OPT
O = 28
T = 2.15		 S = N/A
O = 2804
T = TO
(out)(err)		 S = OPT
O = 28
T = 13.13
(out)(err)		 S = OPT
O = 28
T = 13.12
(out)(err)		 S = N/A
O = N/A
T = 29.03
(out)(err)		 S = OPT
O = 28
T = 11.80
(out)(err)		 S = OPT
O = 28
T = 4.00
(out)(err)		 S = OPT
O = 28
T = 15.41
(out)(err)		 S = OPT
O = 28
T = 2.87
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 28
T = 10.39
(out)(err)		 S = N/A
O = 3474
T = 11.09
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 28
T = TO
(out)(err)		 S = OPT
O = 28
T = 11.46
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 28
T = 2.15
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 28
T = 3.70
(out)(err)		 S = N/A
O = N/A
T = 3.82
(out)(err)		 S = OPT
O = 28
T = 22.12
(out)(err)		 S = N/A
O = 28
T = 10.84
(out)(err)		 S = OPT
O = 28
T = 8.66
(out)(err)		 S = N/A
O = 616635
T = TO
(out)(err)		 S = N/A
O = 28
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
SM_AS_TOP_buggy1.dimacs.filtered.cnf S = OPT
O = 57
T = 31.17		 S = N/A
O = 3342
T = TO
(out)(err)		 S = OPT
O = 57
T = 312.44
(out)(err)		 S = OPT
O = 57
T = 315.91
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 57
T = 457.01
(out)(err)		 S = OPT
O = 57
T = 56.28
(out)(err)		 S = N/A
O = N/A
T = 550.61
(out)(err)		 S = OPT
O = 57
T = 31.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 57
T = 276.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 118
T = TO
(out)(err)		 S = OPT
O = 57
T = 631.37
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 84
T = 13.74
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 57
T = 872.56
(out)(err)		 S = N/A
O = N/A
T = 3.73
(out)(err)		 S = OPT
O = 57
T = 1188.52
(out)(err)		 S = N/A
O = 84
T = 10.18
(out)(err)		 S = OPT
O = 57
T = 433.98
(out)(err)		 S = N/A
O = 692867
T = TO
(out)(err)		 S = N/A
O = 733
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
SM_MAIN_MEM_buggy1.dimacs.filtered.cnf S = OPT
O = 390
T = 537.25		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 389
T = TO
(out)(err)		 S = N/A
O = 389
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 380.45
(out)(err)		 S = OPT
O = 390
T = 537.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 7919
T = 49.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 432
T = 1017.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 577
T = 124.74
(out)(err)		 S = N/A
O = N/A
T = 0.02
(out)(err)		 S = N/A
O = N/A
T = 0.02
(out)(err)		 S = OPT
O = 390
T = 782.93
(out)(err)		 S = N/A
O = N/A
T = 6.63
(out)(err)		 S = N/A
O = 577
T = 1253.54
(out)(err)		 S = N/A
O = 576
T = 17.39
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
SM_RX_TOP.dimacs.filtered.cnf S = OPT
O = 6
T = 8.14		 S = N/A
O = 5811
T = TO
(out)(err)		 S = OPT
O = 6
T = 45.64
(out)(err)		 S = OPT
O = 6
T = 45.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 6
T = 93.25
(out)(err)		 S = OPT
O = 6
T = 35.57
(out)(err)		 S = OPT
O = 6
T = 135.64
(out)(err)		 S = OPT
O = 6
T = 8.14
(out)(err)		 S = N/A
O = 556
T = 23.62
(out)(err)		 S = OPT
O = 6
T = 121.00
(out)(err)		 S = N/A
O = 1838
T = 13.18
(out)(err)		 S = OPT
O = 6
T = 1005.40
(out)(err)		 S = N/A
O = 27
T = TO
(out)(err)		 S = OPT
O = 6
T = 652.80
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6
T = 34.22
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 6
T = 57.41
(out)(err)		 S = N/A
O = N/A
T = 3.80
(out)(err)		 S = OPT
O = 6
T = 93.07
(out)(err)		 S = N/A
O = 77
T = 53.10
(out)(err)		 S = OPT
O = 6
T = 91.22
(out)(err)		 S = N/A
O = 931316
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
b15-bug-fourvec-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 4
T = 3.96		 S = N/A
O = 28811
T = TO
(out)(err)		 S = OPT
O = 4
T = 10.38
(out)(err)		 S = OPT
O = 4
T = 10.46
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 10.56
(out)(err)		 S = OPT
O = 4
T = 53.38
(out)(err)		 S = OPT
O = 4
T = 321.22
(out)(err)		 S = OPT
O = 4
T = 3.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 6.50
(out)(err)		 S = N/A
O = 8581
T = 21.55
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 30
T = TO
(out)(err)		 S = OPT
O = 4
T = 7.28
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 54.33
(out)(err)		 S = N/A
O = N/A
T = 0.02
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 4
T = 10.98
(out)(err)		 S = N/A
O = N/A
T = 4.51
(out)(err)		 S = OPT
O = 4
T = 12.74
(out)(err)		 S = N/A
O = 4
T = 15.96
(out)(err)		 S = OPT
O = 4
T = 5.89
(out)(err)		 S = N/A
O = N/A
T = 9.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
c1_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 4
T = 1.52		 S = N/A
O = 7482
T = TO
(out)(err)		 S = OPT
O = 4
T = 5.76
(out)(err)		 S = OPT
O = 4
T = 5.69
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 6.96
(out)(err)		 S = OPT
O = 4
T = 1.83
(out)(err)		 S = OPT
O = 4
T = 6.97
(out)(err)		 S = OPT
O = 4
T = 1.52
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 3.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 95.23
(out)(err)		 S = OPT
O = 4
T = 75.80
(out)(err)		 S = OPT
O = 4
T = 4.03
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 2.20
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 4
T = 4.58
(out)(err)		 S = N/A
O = N/A
T = 3.76
(out)(err)		 S = OPT
O = 4
T = 7.09
(out)(err)		 S = OPT
O = 4
T = 94.47
(out)(err)		 S = OPT
O = 4
T = 3.38
(out)(err)		 S = N/A
O = N/A
T = 8.87
(out)(err)		 S = N/A
O = N/A
T = 60.50
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
c2_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 4
T = 4.46		 S = N/A
O = 11707
T = TO
(out)(err)		 S = OPT
O = 4
T = 8.30
(out)(err)		 S = OPT
O = 4
T = 8.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 9.26
(out)(err)		 S = OPT
O = 4
T = 4.99
(out)(err)		 S = OPT
O = 4
T = 73.15
(out)(err)		 S = OPT
O = 4
T = 4.46
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 5.43
(out)(err)		 S = N/A
O = 1251
T = 8.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 23
T = TO
(out)(err)		 S = OPT
O = 4
T = 5.87
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 6.89
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 4
T = 9.93
(out)(err)		 S = N/A
O = N/A
T = 4.37
(out)(err)		 S = OPT
O = 4
T = 13.66
(out)(err)		 S = N/A
O = 24
T = 13.15
(out)(err)		 S = OPT
O = 4
T = 5.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 65.17
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
c4_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 8
T = 4.61		 S = N/A
O = 40874
T = TO
(out)(err)		 S = OPT
O = 8
T = 18.75
(out)(err)		 S = OPT
O = 8
T = 18.98
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 15.74
(out)(err)		 S = OPT
O = 8
T = 4.61
(out)(err)		 S = OPT
O = 8
T = 38.30
(out)(err)		 S = OPT
O = 8
T = 5.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 12.88
(out)(err)		 S = N/A
O = 57866
T = 20.40
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 32
T = TO
(out)(err)		 S = OPT
O = 8
T = 14.94
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8
T = 10.45
(out)(err)		 S = N/A
O = N/A
T = 0.02
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = OPT
O = 8
T = 14.86
(out)(err)		 S = N/A
O = N/A
T = 4.72
(out)(err)		 S = OPT
O = 8
T = 26.50
(out)(err)		 S = N/A
O = 8
T = 15.84
(out)(err)		 S = OPT
O = 8
T = 11.11
(out)(err)		 S = N/A
O = N/A
T = 10.38
(out)(err)		 S = N/A
O = N/A
T = 32.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
c4_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 4
T = 3.73		 S = N/A
O = 9740
T = TO
(out)(err)		 S = OPT
O = 4
T = 7.25
(out)(err)		 S = OPT
O = 4
T = 7.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 8.41
(out)(err)		 S = OPT
O = 4
T = 3.73
(out)(err)		 S = OPT
O = 4
T = 33.35
(out)(err)		 S = OPT
O = 4
T = 4.30
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 4.60
(out)(err)		 S = N/A
O = 31524
T = 8.49
(out)(err)		 S = OPT
O = 4
T = 759.10
(out)(err)		 S = N/A
O = 4
T = TO
(out)(err)		 S = OPT
O = 4
T = 5.47
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 81.94
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 4
T = 7.46
(out)(err)		 S = N/A
O = N/A
T = 4.44
(out)(err)		 S = OPT
O = 4
T = 9.73
(out)(err)		 S = N/A
O = 4
T = 13.98
(out)(err)		 S = OPT
O = 4
T = 4.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
c5_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 8
T = 1.33		 S = N/A
O = 2672
T = TO
(out)(err)		 S = OPT
O = 8
T = 4.64
(out)(err)		 S = OPT
O = 8
T = 4.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 5.84
(out)(err)		 S = OPT
O = 8
T = 1.35
(out)(err)		 S = OPT
O = 8
T = 9.26
(out)(err)		 S = OPT
O = 8
T = 1.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 3.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 15
T = TO
(out)(err)		 S = OPT
O = 8
T = 3.56
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8
T = 1.65
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 2.08
(out)(err)		 S = N/A
O = N/A
T = 3.86
(out)(err)		 S = OPT
O = 8
T = 7.24
(out)(err)		 S = N/A
O = 20
T = 13.43
(out)(err)		 S = OPT
O = 8
T = 2.83
(out)(err)		 S = N/A
O = 536828
T = TO
(out)(err)		 S = OPT
O = 8
T = 88.39
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
c5_DD_s3_f1_e1_v2-bug-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 8
T = 1.20		 S = N/A
O = 2685
T = TO
(out)(err)		 S = OPT
O = 8
T = 4.68
(out)(err)		 S = OPT
O = 8
T = 4.53
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 5.85
(out)(err)		 S = OPT
O = 8
T = 1.20
(out)(err)		 S = OPT
O = 8
T = 8.17
(out)(err)		 S = OPT
O = 8
T = 1.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 3.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 15
T = TO
(out)(err)		 S = OPT
O = 8
T = 3.66
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8
T = 1.63
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 2.07
(out)(err)		 S = N/A
O = N/A
T = 3.93
(out)(err)		 S = OPT
O = 8
T = 7.36
(out)(err)		 S = N/A
O = 20
T = 13.88
(out)(err)		 S = OPT
O = 8
T = 2.82
(out)(err)		 S = N/A
O = 536830
T = TO
(out)(err)		 S = OPT
O = 8
T = 116.48
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
c6_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf S = OPT
O = 8
T = 1.52		 S = N/A
O = 5203
T = TO
(out)(err)		 S = OPT
O = 8
T = 6.91
(out)(err)		 S = OPT
O = 8
T = 6.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 7.53
(out)(err)		 S = OPT
O = 8
T = 2.37
(out)(err)		 S = OPT
O = 8
T = 12.38
(out)(err)		 S = OPT
O = 8
T = 1.52
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 4.56
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = OPT
O = 8
T = 5.37
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8
T = 2.29
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 8
T = 5.47
(out)(err)		 S = N/A
O = N/A
T = 3.66
(out)(err)		 S = OPT
O = 8
T = 9.15
(out)(err)		 S = N/A
O = 8
T = TO
(out)(err)		 S = OPT
O = 8
T = 4.15
(out)(err)		 S = N/A
O = 789361
T = TO
(out)(err)		 S = N/A
O = 2714
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
divider-problem.dimacs_11.filtered.cnf S = OPT
O = 2
T = 36.80		 S = N/A
O = 5592
T = TO
(out)(err)		 S = OPT
O = 2
T = 75.64
(out)(err)		 S = OPT
O = 2
T = 75.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 315.28
(out)(err)		 S = OPT
O = 2
T = 38.11
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 36.80
(out)(err)		 S = OPT
O = 2
T = 688.40
(out)(err)		 S = OPT
O = 2
T = 172.87
(out)(err)		 S = OPT
O = 2
T = 765.15
(out)(err)		 S = OPT
O = 2
T = 706.25
(out)(err)		 S = N/A
O = 29
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 323
T = 149.63
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 2
T = 64.15
(out)(err)		 S = N/A
O = N/A
T = 3.77
(out)(err)		 S = OPT
O = 2
T = 433.59
(out)(err)		 S = OPT
O = 2
T = 532.18
(out)(err)		 S = OPT
O = 2
T = 301.33
(out)(err)		 S = N/A
O = 708722
T = TO
(out)(err)		 S = N/A
O = 882
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
divider-problem.dimacs_2.filtered.cnf S = OPT
O = 2
T = 8.94		 S = N/A
O = 6275
T = TO
(out)(err)		 S = OPT
O = 2
T = 137.53
(out)(err)		 S = OPT
O = 2
T = 128.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 456.20
(out)(err)		 S = OPT
O = 2
T = 8.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 16.74
(out)(err)		 S = N/A
O = 21
T = 154.97
(out)(err)		 S = OPT
O = 2
T = 242.30
(out)(err)		 S = OPT
O = 2
T = 307.12
(out)(err)		 S = OPT
O = 2
T = 191.38
(out)(err)		 S = N/A
O = 49
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 453
T = 22.34
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 26.11
(out)(err)		 S = N/A
O = N/A
T = 3.72
(out)(err)		 S = OPT
O = 2
T = 144.31
(out)(err)		 S = OPT
O = 2
T = 265.90
(out)(err)		 S = OPT
O = 2
T = 436.76
(out)(err)		 S = N/A
O = 749986
T = TO
(out)(err)		 S = N/A
O = 1164
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
divider-problem.dimacs_5.filtered.cnf S = OPT
O = 2
T = 12.30		 S = N/A
O = 6260
T = TO
(out)(err)		 S = OPT
O = 2
T = 115.96
(out)(err)		 S = OPT
O = 2
T = 116.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 134.54
(out)(err)		 S = OPT
O = 2
T = 12.30
(out)(err)		 S = OPT
O = 2
T = 268.63
(out)(err)		 S = OPT
O = 2
T = 15.95
(out)(err)		 S = N/A
O = 18
T = 349.89
(out)(err)		 S = OPT
O = 2
T = 438.09
(out)(err)		 S = OPT
O = 2
T = 490.74
(out)(err)		 S = OPT
O = 2
T = 926.75
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 954
T = 72.66
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 2
T = 97.11
(out)(err)		 S = N/A
O = N/A
T = 3.76
(out)(err)		 S = OPT
O = 2
T = 410.24
(out)(err)		 S = N/A
O = 10
T = 21.41
(out)(err)		 S = OPT
O = 2
T = 458.74
(out)(err)		 S = N/A
O = 749985
T = TO
(out)(err)		 S = N/A
O = 1109
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
divider-problem.dimacs_8.filtered.cnf S = OPT
O = 2
T = 23.32		 S = N/A
O = 7004
T = TO
(out)(err)		 S = OPT
O = 2
T = 134.16
(out)(err)		 S = OPT
O = 2
T = 129.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 250.60
(out)(err)		 S = OPT
O = 2
T = 55.81
(out)(err)		 S = OPT
O = 2
T = 914.31
(out)(err)		 S = OPT
O = 2
T = 54.88
(out)(err)		 S = OPT
O = 2
T = 557.25
(out)(err)		 S = OPT
O = 2
T = 90.05
(out)(err)		 S = OPT
O = 2
T = 168.12
(out)(err)		 S = OPT
O = 2
T = 386.78
(out)(err)		 S = N/A
O = 25
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 500
T = 44.45
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 2
T = 23.32
(out)(err)		 S = N/A
O = N/A
T = 3.69
(out)(err)		 S = OPT
O = 2
T = 346.49
(out)(err)		 S = N/A
O = 9
T = 13.40
(out)(err)		 S = OPT
O = 2
T = 667.07
(out)(err)		 S = N/A
O = 809321
T = TO
(out)(err)		 S = N/A
O = 1036
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
dividers10.dimacs.filtered.cnf S = OPT
O = 2
T = 1.09		 S = N/A
O = 870
T = TO
(out)(err)		 S = OPT
O = 2
T = 23.68
(out)(err)		 S = OPT
O = 2
T = 24.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 29.19
(out)(err)		 S = OPT
O = 2
T = 3.66
(out)(err)		 S = OPT
O = 2
T = 13.22
(out)(err)		 S = OPT
O = 2
T = 1.09
(out)(err)		 S = OPT
O = 2
T = 21.10
(out)(err)		 S = OPT
O = 2
T = 114.91
(out)(err)		 S = OPT
O = 2
T = 107.44
(out)(err)		 S = OPT
O = 2
T = 61.30
(out)(err)		 S = N/A
O = 12
T = TO
(out)(err)		 S = OPT
O = 2
T = 148.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 2.29
(out)(err)		 S = N/A
O = N/A
T = 3.31
(out)(err)		 S = OPT
O = 2
T = 27.75
(out)(err)		 S = OPT
O = 2
T = 16.38
(out)(err)		 S = OPT
O = 2
T = 27.72
(out)(err)		 S = N/A
O = 24836
T = TO
(out)(err)		 S = OPT
O = 2
T = 355.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
dividers_multivec1.dimacs.filtered.cnf S = OPT
O = 2
T = 1.23		 S = N/A
O = 2600
T = TO
(out)(err)		 S = OPT
O = 2
T = 2.19
(out)(err)		 S = OPT
O = 2
T = 2.15
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 4.62
(out)(err)		 S = OPT
O = 2
T = 1.44
(out)(err)		 S = OPT
O = 2
T = 18.11
(out)(err)		 S = OPT
O = 2
T = 1.91
(out)(err)		 S = OPT
O = 2
T = 50.86
(out)(err)		 S = OPT
O = 2
T = 1.23
(out)(err)		 S = OPT
O = 2
T = 48.57
(out)(err)		 S = OPT
O = 2
T = 39.36
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = OPT
O = 2
T = 8.40
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 2.56
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 1.81
(out)(err)		 S = N/A
O = N/A
T = 3.33
(out)(err)		 S = OPT
O = 2
T = 5.24
(out)(err)		 S = OPT
O = 2
T = 167.50
(out)(err)		 S = OPT
O = 2
T = 1.62
(out)(err)		 S = N/A
O = 58962
T = TO
(out)(err)		 S = OPT
O = 2
T = 136.53
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
fpu_multivec1-problem.dimacs_14.filtered.cnf S = OPT
O = 2
T = 2.76		 S = N/A
O = 7355
T = TO
(out)(err)		 S = OPT
O = 2
T = 5.34
(out)(err)		 S = OPT
O = 2
T = 5.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 7.19
(out)(err)		 S = OPT
O = 2
T = 3.80
(out)(err)		 S = OPT
O = 2
T = 5.13
(out)(err)		 S = OPT
O = 2
T = 2.98
(out)(err)		 S = N/A
O = 12
T = 104.49
(out)(err)		 S = OPT
O = 2
T = 2.76
(out)(err)		 S = N/A
O = 1391
T = 10.98
(out)(err)		 S = OPT
O = 2
T = 74.90
(out)(err)		 S = OPT
O = 2
T = 79.85
(out)(err)		 S = OPT
O = 2
T = 3.13
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 4.84
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 2
T = 4.40
(out)(err)		 S = N/A
O = N/A
T = 3.71
(out)(err)		 S = OPT
O = 2
T = 21.42
(out)(err)		 S = OPT
O = 2
T = 18.06
(out)(err)		 S = OPT
O = 2
T = 3.39
(out)(err)		 S = N/A
O = 927922
T = 12.59
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
i2c-problem.dimacs_25.filtered.cnf S = OPT
O = 2
T = 7.19		 S = N/A
O = 14021
T = TO
(out)(err)		 S = OPT
O = 2
T = 7.19
(out)(err)		 S = OPT
O = 2
T = 7.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 46.08
(out)(err)		 S = OPT
O = 2
T = 14.41
(out)(err)		 S = OPT
O = 2
T = 169.81
(out)(err)		 S = OPT
O = 2
T = 30.48
(out)(err)		 S = N/A
O = 415
T = 60.50
(out)(err)		 S = OPT
O = 2
T = 86.11
(out)(err)		 S = N/A
O = 2666
T = 11.36
(out)(err)		 S = N/A
O = 4
T = 555.48
(out)(err)		 S = N/A
O = 11
T = TO
(out)(err)		 S = OPT
O = 2
T = 14.39
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 12.94
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 2
T = 10.58
(out)(err)		 S = N/A
O = N/A
T = 4.53
(out)(err)		 S = OPT
O = 2
T = 253.59
(out)(err)		 S = N/A
O = 8
T = 61.45
(out)(err)		 S = OPT
O = 2
T = 41.61
(out)(err)		 S = N/A
O = N/A
T = 8.40
(out)(err)		 S = N/A
O = N/A
T = 28.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
i2c-problem.dimacs_26.filtered.cnf S = OPT
O = 2
T = 5.70		 S = N/A
O = 8109
T = TO
(out)(err)		 S = OPT
O = 2
T = 58.58
(out)(err)		 S = OPT
O = 2
T = 61.95
(out)(err)		 S = N/A
O = N/A
T = 5.19
(out)(err)		 S = OPT
O = 2
T = 180.87
(out)(err)		 S = OPT
O = 2
T = 5.70
(out)(err)		 S = OPT
O = 2
T = 135.57
(out)(err)		 S = OPT
O = 2
T = 30.26
(out)(err)		 S = OPT
O = 2
T = 514.10
(out)(err)		 S = OPT
O = 2
T = 130.14
(out)(err)		 S = N/A
O = 1888
T = 10.19
(out)(err)		 S = OPT
O = 2
T = 212.47
(out)(err)		 S = OPT
O = 2
T = 427.17
(out)(err)		 S = OPT
O = 2
T = 227.40
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 46
T = 9.77
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 2
T = 8.23
(out)(err)		 S = N/A
O = N/A
T = 4.39
(out)(err)		 S = OPT
O = 2
T = 26.04
(out)(err)		 S = OPT
O = 2
T = 102.38
(out)(err)		 S = OPT
O = 2
T = 185.63
(out)(err)		 S = N/A
O = N/A
T = 8.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
mem_ctrl-problem.dimacs_27.filtered.cnf S = OPT
O = 1
T = 101.69		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 101.69
(out)(err)		 S = N/A
O = N/A
T = 22.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 10.40
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 6.55
(out)(err)		 S = N/A
O = N/A
T = 6.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 5.36
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 15983633
T = 16.96
(out)(err)		 S = N/A
O = N/A
T = 0.12
(out)(err)		 S = N/A
O = N/A
T = 0.11
(out)(err)		 S = N/A
O = N/A
T = 3.47
(out)(err)		 S = N/A
O = N/A
T = 19.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 19.90
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
mem_ctrl1.dimacs.filtered.cnf S = OPT
O = 1
T = 7.03		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 8.08
(out)(err)		 S = OPT
O = 1
T = 15.97
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 18.32
(out)(err)		 S = OPT
O = 1
T = 13.07
(out)(err)		 S = N/A
O = N/A
T = 12.84
(out)(err)		 S = OPT
O = 1
T = 7.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 7.48
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = OPT
O = 1
T = 8.57
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 1
T = 10.73
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = OPT
O = 1
T = 14.40
(out)(err)		 S = N/A
O = N/A
T = 7.66
(out)(err)		 S = N/A
O = 1
T = 21.32
(out)(err)		 S = N/A
O = 13
T = 17.62
(out)(err)		 S = OPT
O = 1
T = 9.16
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
mem_ctrl2_blackbox_mc_dp-problem.dimacs_28.filtered.cnf S = OPT
O = 3
T = 20.31		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 3
T = 29.21
(out)(err)		 S = OPT
O = 3
T = 69.19
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 3
T = 40.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 3
T = 20.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 3
T = 27.50
(out)(err)		 S = N/A
O = 2293
T = 23.76
(out)(err)		 S = N/A
O = 1713
T = 26.46
(out)(err)		 S = N/A
O = N/A
T = 1075.47
(out)(err)		 S = N/A
O = N/A
T = 6.24
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 3
T = 31.16
(out)(err)		 S = N/A
O = N/A
T = 0.05
(out)(err)		 S = N/A
O = N/A
T = 0.06
(out)(err)		 S = OPT
O = 3
T = 28.84
(out)(err)		 S = N/A
O = N/A
T = 9.82
(out)(err)		 S = N/A
O = 611
T = TO
(out)(err)		 S = N/A
O = 611
T = 30.60
(out)(err)		 S = OPT
O = 3
T = 28.69
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
mrisc_mem2wire-problem.dimacs_29.filtered.cnf S = OPT
O = 1
T = 5.75		 S = N/A
O = 50134
T = TO
(out)(err)		 S = OPT
O = 1
T = 30.72
(out)(err)		 S = OPT
O = 1
T = 10.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 13.69
(out)(err)		 S = OPT
O = 1
T = 7.21
(out)(err)		 S = OPT
O = 1
T = 270.00
(out)(err)		 S = OPT
O = 1
T = 6.61
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 5.75
(out)(err)		 S = N/A
O = 2462
T = 13.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 54.56
(out)(err)		 S = OPT
O = 1
T = 10.04
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 1
T = 8.69
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = N/A
O = N/A
T = 0.02
(out)(err)		 S = OPT
O = 1
T = 23.83
(out)(err)		 S = N/A
O = N/A
T = 5.94
(out)(err)		 S = OPT
O = 1
T = 19.60
(out)(err)		 S = N/A
O = 3
T = 28.31
(out)(err)		 S = OPT
O = 1
T = 7.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder-problem.dimacs_31.filtered.cnf S = OPT
O = 1
T = 300.08		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 301.28
(out)(err)		 S = N/A
O = N/A
T = 132.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 413.54
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 7259
T = 13.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 598
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 1
T = 407.59
(out)(err)		 S = N/A
O = N/A
T = 0.04
(out)(err)		 S = N/A
O = N/A
T = 0.04
(out)(err)		 S = N/A
O = 5
T = TO
(out)(err)		 S = N/A
O = N/A
T = 6.80
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = OPT
O = 1
T = 300.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder-problem.dimacs_36.filtered.cnf S = OPT
O = 1
T = 9.23		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 113.92
(out)(err)		 S = OPT
O = 1
T = 15.98
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 17.32
(out)(err)		 S = OPT
O = 1
T = 122.75
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 23.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 260.56
(out)(err)		 S = N/A
O = 10240
T = 13.51
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 18
T = TO
(out)(err)		 S = OPT
O = 1
T = 125.90
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 1
T = 21.50
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.04
(out)(err)		 S = OPT
O = 1
T = 27.99
(out)(err)		 S = N/A
O = N/A
T = 6.72
(out)(err)		 S = OPT
O = 1
T = 89.27
(out)(err)		 S = N/A
O = 63
T = TO
(out)(err)		 S = OPT
O = 1
T = 9.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder-problem.dimacs_37.filtered.cnf S = OPT
O = 1
T = 10.71		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = OPT
O = 1
T = 20.03
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 9.41
(out)(err)		 S = N/A
O = N/A
T = 13.26
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 10.71
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 12713
T = 31.90
(out)(err)		 S = N/A
O = 564
T = 372.82
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 1
T = 490.94
(out)(err)		 S = N/A
O = N/A
T = 0.04
(out)(err)		 S = N/A
O = N/A
T = 0.04
(out)(err)		 S = OPT
O = 1
T = 101.03
(out)(err)		 S = N/A
O = N/A
T = 8.18
(out)(err)		 S = N/A
O = 256
T = TO
(out)(err)		 S = N/A
O = 71
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder-problem.dimacs_38.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 872.89
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 448
T = 1629.66
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 63719
T = TO
(out)(err)		 S = N/A
O = 9992
T = 13.04
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 12
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1272.90
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 306
T = 288.01
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = N/A
O = 11
T = TO
(out)(err)		 S = N/A
O = N/A
T = 6.74
(out)(err)		 S = N/A
O = 492
T = TO
(out)(err)		 S = N/A
O = 23
T = 124.75
(out)(err)		 S = N/A
O = N/A
T = 871.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder-problem.dimacs_39.filtered.cnf S = OPT
O = 1
T = 9.29		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 495.45
(out)(err)		 S = OPT
O = 1
T = 14.89
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 69.68
(out)(err)		 S = OPT
O = 1
T = 10.80
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 59.64
(out)(err)		 S = N/A
O = 3135
T = 45.65
(out)(err)		 S = OPT
O = 1
T = 9.29
(out)(err)		 S = N/A
O = 9509
T = 21.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 132.30
(out)(err)		 S = OPT
O = 1
T = 10.87
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 1
T = 42.45
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = OPT
O = 1
T = 27.85
(out)(err)		 S = N/A
O = N/A
T = 6.62
(out)(err)		 S = OPT
O = 1
T = 159.89
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = OPT
O = 1
T = 62.99
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder-problem.dimacs_40.filtered.cnf S = OPT
O = 1
T = 6.60		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 407.01
(out)(err)		 S = OPT
O = 1
T = 23.78
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 138.78
(out)(err)		 S = OPT
O = 1
T = 6.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 33.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 101.92
(out)(err)		 S = N/A
O = 10941
T = 14.30
(out)(err)		 S = N/A
O = 9745
T = 17.01
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = OPT
O = 1
T = 500.61
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 1
T = 28.43
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = OPT
O = 1
T = 27.98
(out)(err)		 S = N/A
O = N/A
T = 6.93
(out)(err)		 S = OPT
O = 1
T = 53.09
(out)(err)		 S = N/A
O = 3
T = 70.30
(out)(err)		 S = OPT
O = 1
T = 136.10
(out)(err)		 S = N/A
O = N/A
T = 10.12
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder-problem.dimacs_41.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = 0
T = TO
(out)(err)		 S = N/A
O = 2
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 284.65
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 2634
T = 556.68
(out)(err)		 S = N/A
O = 2634
T = 48.45
(out)(err)		 S = N/A
O = 63118
T = 665.21
(out)(err)		 S = N/A
O = 10495
T = 20.96
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 135
T = TO
(out)(err)		 S = N/A
O = N/A
T = 648.98
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 534
T = 241.29
(out)(err)		 S = N/A
O = N/A
T = 0.04
(out)(err)		 S = N/A
O = N/A
T = 0.03
(out)(err)		 S = N/A
O = 6
T = TO
(out)(err)		 S = N/A
O = N/A
T = 6.72
(out)(err)		 S = N/A
O = 3013
T = TO
(out)(err)		 S = N/A
O = 55
T = TO
(out)(err)		 S = N/A
O = N/A
T = 298.27
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder1_blackbox_CSEEblock-problem.dimacs_32.filtered.cnf S = OPT
O = 4
T = 252.64		 S = N/A
O = 5696
T = TO
(out)(err)		 S = OPT
O = 4
T = 1494.45
(out)(err)		 S = OPT
O = 4
T = 1519.85
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1041.05
(out)(err)		 S = OPT
O = 4
T = 449.41
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 252.64
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 576.57
(out)(err)		 S = N/A
O = 1761
T = 8.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 5
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 345
T = 434.68
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 4
T = 649.75
(out)(err)		 S = N/A
O = N/A
T = 3.68
(out)(err)		 S = OPT
O = 4
T = 1689.97
(out)(err)		 S = N/A
O = 9
T = 31.94
(out)(err)		 S = N/A
O = N/A
T = 1137.88
(out)(err)		 S = N/A
O = 804080
T = TO
(out)(err)		 S = N/A
O = 1211
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = 8769
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = 1
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1267.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 5830
T = 9.36
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 78
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 659
T = 487.42
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.02
(out)(err)		 S = N/A
O = 798
T = TO
(out)(err)		 S = N/A
O = N/A
T = 4.45
(out)(err)		 S = N/A
O = 661
T = TO
(out)(err)		 S = N/A
O = 85
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1280.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder2.dimacs.filtered.cnf S = OPT
O = 1
T = 18.18		 S = N/A
O = 18480
T = TO
(out)(err)		 S = OPT
O = 1
T = 374.37
(out)(err)		 S = OPT
O = 1
T = 401.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 1497.89
(out)(err)		 S = OPT
O = 1
T = 21.66
(out)(err)		 S = OPT
O = 1
T = 139.66
(out)(err)		 S = OPT
O = 1
T = 50.99
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 1
T = 377.13
(out)(err)		 S = N/A
O = 1448
T = 17.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 38
T = TO
(out)(err)		 S = OPT
O = 1
T = 40.94
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 1
T = 53.60
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 1
T = 18.18
(out)(err)		 S = N/A
O = N/A
T = 4.56
(out)(err)		 S = OPT
O = 1
T = 301.93
(out)(err)		 S = N/A
O = 78
T = 63.62
(out)(err)		 S = OPT
O = 1
T = 1508.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder4.dimacs.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = 8039
T = TO
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1459.94
(out)(err)		 S = N/A
O = N/A
T = 1652.27
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 215
T = 823.09
(out)(err)		 S = N/A
O = 165
T = 403.70
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 723
T = 13.18
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 142
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 388
T = 8.59
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 3.74
(out)(err)		 S = N/A
O = 394
T = TO
(out)(err)		 S = N/A
O = 4
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1611.09
(out)(err)		 S = N/A
O = 930413
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder5.dimacs.filtered.cnf S = OPT
O = 2
T = 120.78		 S = N/A
O = 8014
T = TO
(out)(err)		 S = OPT
O = 2
T = 1398.81
(out)(err)		 S = OPT
O = 2
T = 1326.74
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 120.78
(out)(err)		 S = N/A
O = N/A
T = 322.10
(out)(err)		 S = OPT
O = 2
T = 202.04
(out)(err)		 S = OPT
O = 2
T = 1571.24
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 791
T = 12.77
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 50
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 80
T = 377.81
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 706.19
(out)(err)		 S = N/A
O = N/A
T = 3.75
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = N/A
O = 7
T = 21.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 932422
T = TO
(out)(err)		 S = N/A
O = N/A
T = 50.24
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder6.dimacs.filtered.cnf S = OPT
O = 3
T = 488.31		 S = N/A
O = 8134
T = TO
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = N/A
O = 3
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1744.72
(out)(err)		 S = OPT
O = 3
T = 488.31
(out)(err)		 S = N/A
O = N/A
T = 343.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 352
T = 910.45
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 16
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 80
T = 12.04
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 444
T = TO
(out)(err)		 S = N/A
O = N/A
T = 3.61
(out)(err)		 S = N/A
O = 80
T = TO
(out)(err)		 S = N/A
O = 8
T = 22.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 932422
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder_fsm2.dimacs.filtered.cnf S = OPT
O = 2
T = 8.03		 S = N/A
O = 8082
T = TO
(out)(err)		 S = OPT
O = 2
T = 50.67
(out)(err)		 S = OPT
O = 2
T = 50.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 2
T = 46.67
(out)(err)		 S = OPT
O = 2
T = 13.64
(out)(err)		 S = OPT
O = 2
T = 212.39
(out)(err)		 S = OPT
O = 2
T = 8.03
(out)(err)		 S = OPT
O = 2
T = 1779.59
(out)(err)		 S = OPT
O = 2
T = 60.99
(out)(err)		 S = N/A
O = 847
T = 12.35
(out)(err)		 S = OPT
O = 2
T = 727.25
(out)(err)		 S = N/A
O = 112
T = TO
(out)(err)		 S = OPT
O = 2
T = 42.21
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 471
T = 11.34
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 2
T = 28.03
(out)(err)		 S = N/A
O = N/A
T = 3.71
(out)(err)		 S = OPT
O = 2
T = 56.36
(out)(err)		 S = N/A
O = 8
T = 37.48
(out)(err)		 S = OPT
O = 2
T = 45.84
(out)(err)		 S = N/A
O = 932422
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder_multivec1-problem.dimacs_33.filtered.cnf S = OPT
O = 4
T = 68.78		 S = N/A
O = 34883
T = TO
(out)(err)		 S = N/A
O = 4
T = TO
(out)(err)		 S = N/A
O = 4
T = TO
(out)(err)		 S = N/A
O = N/A
T = 4.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 1593.91
(out)(err)		 S = N/A
O = N/A
T = 323.94
(out)(err)		 S = OPT
O = 4
T = 68.78
(out)(err)		 S = N/A
O = 1002
T = 42.73
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 1851
T = 16.54
(out)(err)		 S = N/A
O = 1614
T = 19.98
(out)(err)		 S = N/A
O = 4
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 1262
T = 33.58
(out)(err)		 S = N/A
O = N/A
T = 0.02
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 5.26
(out)(err)		 S = OPT
O = 4
T = 217.59
(out)(err)		 S = N/A
O = 1011
T = 184.27
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
rsdecoder_multivec1.dimacs.filtered.cnf S = OPT
O = 4
T = 12.18		 S = N/A
O = 19815
T = TO
(out)(err)		 S = OPT
O = 4
T = 1003.96
(out)(err)		 S = OPT
O = 4
T = 1031.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 146.93
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 353.55
(out)(err)		 S = OPT
O = 4
T = 12.18
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 4
T = 86.51
(out)(err)		 S = N/A
O = 2060
T = 17.92
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 137
T = TO
(out)(err)		 S = OPT
O = 4
T = 778.35
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 4
T = 31.36
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 4
T = 137.41
(out)(err)		 S = N/A
O = N/A
T = 4.52
(out)(err)		 S = OPT
O = 4
T = 38.69
(out)(err)		 S = N/A
O = 4
T = 14.18
(out)(err)		 S = OPT
O = 4
T = 143.12
(out)(err)		 S = N/A
O = N/A
T = 9.28
(out)(err)		 S = N/A
O = N/A
T = 28.57
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb-problem.dimacs_45.filtered.cnf S = OPT
O = 14
T = 1.45		 S = N/A
O = 4134
T = TO
(out)(err)		 S = OPT
O = 14
T = 8.10
(out)(err)		 S = OPT
O = 14
T = 8.34
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 14
T = 9.14
(out)(err)		 S = OPT
O = 14
T = 1.58
(out)(err)		 S = OPT
O = 14
T = 21.37
(out)(err)		 S = OPT
O = 14
T = 1.45
(out)(err)		 S = OPT
O = 14
T = 308.36
(out)(err)		 S = OPT
O = 14
T = 5.99
(out)(err)		 S = N/A
O = 5261
T = 9.22
(out)(err)		 S = OPT
O = 14
T = 238.95
(out)(err)		 S = N/A
O = 27
T = TO
(out)(err)		 S = OPT
O = 14
T = 6.99
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 14
T = 2.24
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 14
T = 4.32
(out)(err)		 S = N/A
O = N/A
T = 3.51
(out)(err)		 S = OPT
O = 14
T = 12.23
(out)(err)		 S = N/A
O = 28
T = 11.05
(out)(err)		 S = OPT
O = 14
T = 5.60
(out)(err)		 S = N/A
O = 796971
T = TO
(out)(err)		 S = N/A
O = 1182
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb-problem.dimacs_46.filtered.cnf S = OPT
O = 476
T = 15.04		 S = N/A
O = 4743
T = TO
(out)(err)		 S = OPT
O = 476
T = 221.72
(out)(err)		 S = OPT
O = 476
T = 211.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 476
T = 143.66
(out)(err)		 S = OPT
O = 476
T = 15.04
(out)(err)		 S = OPT
O = 476
T = 1416.15
(out)(err)		 S = OPT
O = 476
T = 58.31
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 476
T = 185.21
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 624
T = TO
(out)(err)		 S = OPT
O = 476
T = 211.63
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 476
T = 21.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 476
T = 21.74
(out)(err)		 S = N/A
O = N/A
T = 3.63
(out)(err)		 S = OPT
O = 476
T = 308.82
(out)(err)		 S = N/A
O = 624
T = 10.35
(out)(err)		 S = OPT
O = 476
T = 159.17
(out)(err)		 S = N/A
O = 779721
T = TO
(out)(err)		 S = N/A
O = 1746
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb1.dimacs.filtered.cnf S = OPT
O = 218
T = 1.59		 S = N/A
O = 912
T = TO
(out)(err)		 S = OPT
O = 218
T = 20.30
(out)(err)		 S = OPT
O = 218
T = 18.21
(out)(err)		 S = OPT
O = 218
T = 64.62
(out)(err)		 S = OPT
O = 218
T = 13.83
(out)(err)		 S = OPT
O = 218
T = 1.59
(out)(err)		 S = OPT
O = 218
T = 82.97
(out)(err)		 S = OPT
O = 218
T = 2.23
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 218
T = 13.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 451
T = TO
(out)(err)		 S = OPT
O = 218
T = 76.94
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 218
T = 2.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.17
(out)(err)		 S = OPT
O = 218
T = 2.04
(out)(err)		 S = N/A
O = N/A
T = 3.43
(out)(err)		 S = OPT
O = 218
T = 26.51
(out)(err)		 S = N/A
O = 362
T = TO
(out)(err)		 S = OPT
O = 218
T = 11.37
(out)(err)		 S = N/A
O = 223
T = TO
(out)(err)		 S = OPT
O = 218
T = 81.13
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb2.dimacs.filtered.cnf S = OPT
O = 588
T = 3.63		 S = N/A
O = 1286
T = TO
(out)(err)		 S = OPT
O = 588
T = 50.45
(out)(err)		 S = OPT
O = 588
T = 52.02
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 588
T = 43.34
(out)(err)		 S = OPT
O = 588
T = 3.63
(out)(err)		 S = OPT
O = 588
T = 1100.06
(out)(err)		 S = OPT
O = 588
T = 46.20
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 588
T = 69.67
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 809
T = TO
(out)(err)		 S = OPT
O = 588
T = 245.95
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 588
T = 21.33
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 588
T = 4.76
(out)(err)		 S = N/A
O = N/A
T = 3.27
(out)(err)		 S = OPT
O = 588
T = 75.46
(out)(err)		 S = N/A
O = 812
T = 8.86
(out)(err)		 S = OPT
O = 588
T = 46.43
(out)(err)		 S = N/A
O = 601
T = TO
(out)(err)		 S = OPT
O = 588
T = 218.29
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb_4m8s-problem.dimacs_47.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 6
T = 1782.04
(out)(err)		 S = N/A
O = N/A
T = 14.05
(out)(err)		 S = N/A
O = N/A
T = 10.01
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 29823
T = 63.21
(out)(err)		 S = N/A
O = 29693
T = 106.04
(out)(err)		 S = N/A
O = N/A
T = 263.06
(out)(err)		 S = N/A
O = N/A
T = 7.42
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.07
(out)(err)		 S = N/A
O = N/A
T = 0.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 11.15
(out)(err)		 S = N/A
O = N/A
T = 7.86
(out)(err)		 S = N/A
O = N/A
T = 7.67
(out)(err)		 S = N/A
O = N/A
T = 538.79
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb_4m8s-problem.dimacs_48.filtered.cnf S = OPT
O = 8
T = 46.60		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 51.84
(out)(err)		 S = N/A
O = N/A
T = 14.40
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 60.32
(out)(err)		 S = N/A
O = N/A
T = 7.82
(out)(err)		 S = N/A
O = N/A
T = 12.51
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 30664
T = 93.22
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 270.23
(out)(err)		 S = N/A
O = N/A
T = 7.92
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.07
(out)(err)		 S = N/A
O = N/A
T = 0.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 11.53
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 46.60
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb_4m8s-problem.dimacs_49.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 190
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 7.92
(out)(err)		 S = N/A
O = N/A
T = 13.08
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 30001
T = 90.49
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 273.29
(out)(err)		 S = N/A
O = N/A
T = 7.45
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.08
(out)(err)		 S = N/A
O = N/A
T = 0.07
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 11.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 20.86
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb_4m8s1.dimacs.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = 21285
T = TO
(out)(err)		 S = N/A
O = 15
T = TO
(out)(err)		 S = N/A
O = 15
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 460
T = 64.61
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 9015
T = 17.26
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 143
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = 214
T = TO
(out)(err)		 S = N/A
O = N/A
T = 4.37
(out)(err)		 S = N/A
O = 460
T = TO
(out)(err)		 S = N/A
O = 460
T = 13.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 10.25
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb_4m8s3.dimacs.filtered.cnf S = OPT
O = 8
T = 2.98		 S = N/A
O = 22002
T = TO
(out)(err)		 S = OPT
O = 8
T = 13.38
(out)(err)		 S = OPT
O = 8
T = 13.65
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 13.52
(out)(err)		 S = OPT
O = 8
T = 4.49
(out)(err)		 S = OPT
O = 8
T = 12.93
(out)(err)		 S = OPT
O = 8
T = 2.98
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 8
T = 9.03
(out)(err)		 S = N/A
O = 9369
T = 22.98
(out)(err)		 S = N/A
O = 8
T = 1567.53
(out)(err)		 S = N/A
O = 130
T = TO
(out)(err)		 S = OPT
O = 8
T = 9.95
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = OPT
O = 8
T = 4.77
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 8
T = 6.98
(out)(err)		 S = N/A
O = N/A
T = 4.67
(out)(err)		 S = OPT
O = 8
T = 20.57
(out)(err)		 S = N/A
O = 127
T = 13.24
(out)(err)		 S = OPT
O = 8
T = 8.60
(out)(err)		 S = N/A
O = N/A
T = 10.32
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb_4m8s4.dimacs.filtered.cnf S = N/A
O = N/A
T = TO		 S = N/A
O = 21913
T = TO
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = 200
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 789.63
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 8926
T = 24.84
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 411
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = 0.02
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = 462
T = TO
(out)(err)		 S = N/A
O = N/A
T = 4.67
(out)(err)		 S = N/A
O = 230
T = 1705.90
(out)(err)		 S = N/A
O = 230
T = 13.42
(out)(err)		 S = N/A
O = N/A
T = 874.54
(out)(err)		 S = N/A
O = N/A
T = 10.47
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb_conmax1.dimacs.filtered.cnf S = OPT
O = 40
T = 796.76		 S = N/A
O = 4393
T = TO
(out)(err)		 S = N/A
O = 40
T = TO
(out)(err)		 S = N/A
O = 40
T = TO
(out)(err)		 S = N/A
O = N/A
T = 5.13
(out)(err)		 S = N/A
O = N/A
T = 1304.44
(out)(err)		 S = OPT
O = 40
T = 796.76
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 2947
T = 9.06
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 70
T = TO
(out)(err)		 S = OPT
O = 40
T = 1538.61
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 54
T = 480.58
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = 77
T = TO
(out)(err)		 S = N/A
O = N/A
T = 4.22
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = 54
T = TO
(out)(err)		 S = N/A
O = N/A
T = 1334.48
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)
wb_conmax3.dimacs.filtered.cnf S = OPT
O = 33
T = 13.64		 S = N/A
O = 4602
T = TO
(out)(err)		 S = OPT
O = 33
T = 31.33
(out)(err)		 S = OPT
O = 33
T = 32.81
(out)(err)		 S = N/A
O = N/A
T = 5.09
(out)(err)		 S = OPT
O = 33
T = 46.43
(out)(err)		 S = OPT
O = 33
T = 22.35
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 33
T = 32.00
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = OPT
O = 33
T = 135.81
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = 34
T = TO
(out)(err)		 S = OPT
O = 33
T = 29.40
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = N/A
T = 0.00
(out)(err)		 S = N/A
O = 37
T = 21.69
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = N/A
O = N/A
T = 0.01
(out)(err)		 S = OPT
O = 33
T = 13.64
(out)(err)		 S = N/A
O = N/A
T = 4.23
(out)(err)		 S = OPT
O = 33
T = 59.77
(out)(err)		 S = N/A
O = 37
T = 12.12
(out)(err)		 S = OPT
O = 33
T = 53.86
(out)(err)		 S = N/A
O = N/A
T = 8.98
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)		 S = N/A
O = N/A
T = TO
(out)(err)