Benchmark

Label	Meaning
S	Solution {OPTIMUM FOUND or OPTIMUM \| UNSATISFIABLE or UNSAT \| UNKNOWN \| Not available or N/A}
O	Best solution found
T	CPU time

Color	Meaning
Text	Optimal solution with the best CPU time
Text	Optimal solution and finished within the Time Out
Text	Optimal solution and did not finish within the Time Out
Text	Time Out
Text	Buggy solution

Instance file name	IncMaxSatz	LS_Power	Maxsat_Power	PM2	SAT4J-MAXSAT-2.2.0	WMaxSatz+	WMaxSatz-2009	WPM1	akmaxsat	akmaxsat_ls	wbo-1.4a
ac97_ctrl-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.29 \| (out)(err)	S = N/A \| O = N/A T = 0.31 \| (out)(err)	S = N/A \| O = N/A T = 0.30 \| (out)(err)	S = OPTIMUM \| O = 1 T = 12.95 \| (out)(err)	S = N/A \| O = N/A T = 4.29 \| (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 = OPTIMUM \| O = 1 T = 11.96 \| (out)(err)	S = N/A \| O = 6374 T = Time Out \| (out)(err)	S = N/A \| O = 6374 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 1.82 \| (out)(err)
divider-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 1.08 \| (out)(err)	S = N/A \| O = N/A T = 1.11 \| (out)(err)	S = OPTIMUM \| O = 1 T = 13.67 \| (out)(err)	S = OPTIMUM \| O = 1 T = 17.30 \| (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 = OPTIMUM \| O = 1 T = 12.01 \| (out)(err)	S = N/A \| O = 10258 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 4.67 \| (out)(err)
mem_ctrl-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 0.94 \| (out)(err)	S = OPTIMUM \| O = 1 T = 13.38 \| (out)(err)	S = OPTIMUM \| O = 1 T = 17.86 \| (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 = OPTIMUM \| O = 1 T = 13.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 1.81 \| (out)(err)
mrisc-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.84 \| (out)(err)	S = N/A \| O = N/A T = 2.80 \| (out)(err)	S = N/A \| O = N/A T = 2.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 43.09 \| (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 = 6.66 \| (out)(err)	S = N/A \| O = N/A T = 5.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 10.62 \| (out)(err)
rsdecoder-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 4.08 \| (out)(err)	S = N/A \| O = N/A T = 3.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 30.05 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = 7.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
spi-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.81 \| (out)(err)	S = N/A \| O = N/A T = 3.40 \| (out)(err)	S = N/A \| O = N/A T = 3.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 42.25 \| (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 = 7.15 \| (out)(err)	S = N/A \| O = N/A T = 6.25 \| (out)(err)	S = N/A \| O = N/A T = 3.93 \| (out)(err)	S = OPTIMUM \| O = 1 T = 1047.77 \| (out)(err)
sudoku-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.84 \| (out)(err)	S = N/A \| O = N/A T = 2.83 \| (out)(err)	S = N/A \| O = N/A T = 2.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 32.30 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = 5.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
vga-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.92 \| (out)(err)	S = N/A \| O = N/A T = 1.27 \| (out)(err)	S = N/A \| O = N/A T = 1.29 \| (out)(err)	S = OPTIMUM \| O = 1 T = 20.23 \| (out)(err)	S = N/A \| O = N/A T = 27.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 = OPTIMUM \| O = 1 T = 21.48 \| (out)(err)	S = N/A \| O = 24067 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 3.38 \| (out)(err)
wb-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 1.06 \| (out)(err)	S = N/A \| O = N/A T = 1.03 \| (out)(err)	S = OPTIMUM \| O = 28 T = 60.58 \| (out)(err)	S = N/A \| O = N/A T = 17.38 \| (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 = OPTIMUM \| O = 28 T = 50.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 28 T = 29.96 \| (out)(err)
SM_AS_TOP_buggy1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 1.21 \| (out)(err)	S = N/A \| O = N/A T = 1.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 84 T = 28.33 \| (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 = Time Out \| (out)(err)	S = N/A \| O = 33762 T = Time Out \| (out)(err)	S = N/A \| O = 5349 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
SM_MAIN_MEM_buggy1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 6.97 \| (out)(err)	S = N/A \| O = N/A T = 6.89 \| (out)(err)	S = N/A \| O = N/A T = 10.71 \| (out)(err)	S = N/A \| O = N/A T = 30.91 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = 11.30 \| (out)(err)	S = N/A \| O = N/A T = 7.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
SM_RX_TOP.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 1.65 \| (out)(err)	S = N/A \| O = N/A T = 1.74 \| (out)(err)	S = OPTIMUM \| O = 6 T = 103.11 \| (out)(err)	S = N/A \| O = N/A T = 36.26 \| (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 = OPTIMUM \| O = 6 T = 74.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
b15-bug-fourvec-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.65 \| (out)(err)	S = N/A \| O = N/A T = 2.52 \| (out)(err)	S = N/A \| O = N/A T = 2.36 \| (out)(err)	S = N/A \| O = N/A T = 6.06 \| (out)(err)	S = N/A \| O = N/A T = 35.55 \| (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 = 6.06 \| (out)(err)	S = N/A \| O = N/A T = 5.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
b15-bug-onevec-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.49 \| (out)(err)	S = N/A \| O = N/A T = 0.48 \| (out)(err)	S = N/A \| O = N/A T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 1 T = 27.35 \| (out)(err)	S = OPTIMUM \| O = 1 T = 6.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 = OPTIMUM \| O = 1 T = 14.48 \| (out)(err)	S = N/A \| O = 13750 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 1372.96 \| (out)(err)	S = OPTIMUM \| O = 1 T = 697.01 \| (out)(err)
c1_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.62 \| (out)(err)	S = N/A \| O = N/A T = 1.41 \| (out)(err)	S = N/A \| O = N/A T = 1.36 \| (out)(err)	S = OPTIMUM \| O = 4 T = 26.84 \| (out)(err)	S = N/A \| O = N/A T = 50.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 = OPTIMUM \| O = 4 T = 24.21 \| (out)(err)	S = N/A \| O = 45757 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 7.82 \| (out)(err)
c2_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.67 \| (out)(err)	S = N/A \| O = N/A T = 1.55 \| (out)(err)	S = N/A \| O = N/A T = 1.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 35.97 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 19.54 \| (out)(err)
c4_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.64 \| (out)(err)	S = N/A \| O = N/A T = 2.86 \| (out)(err)	S = N/A \| O = N/A T = 2.83 \| (out)(err)	S = N/A \| O = N/A T = 6.76 \| (out)(err)	S = N/A \| O = N/A T = 26.88 \| (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 = 6.75 \| (out)(err)	S = N/A \| O = N/A T = 8.56 \| (out)(err)	S = N/A \| O = N/A T = 3.84 \| (out)(err)	S = OPTIMUM \| O = 8 T = 29.22 \| (out)(err)
c4_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.65 \| (out)(err)	S = N/A \| O = N/A T = 1.44 \| (out)(err)	S = N/A \| O = N/A T = 1.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 33.70 \| (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 = 5.97 \| (out)(err)	S = N/A \| O = 38373 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 14.74 \| (out)(err)
c5_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.64 \| (out)(err)	S = N/A \| O = N/A T = 0.74 \| (out)(err)	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = OPTIMUM \| O = 8 T = 22.97 \| (out)(err)	S = N/A \| O = 8 T = Time Out \| (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 = OPTIMUM \| O = 8 T = 21.20 \| (out)(err)	S = N/A \| O = 23354 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 8.02 \| (out)(err)
c5_DD_s3_f1_e1_v2-bug-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.70 \| (out)(err)	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = OPTIMUM \| O = 8 T = 23.07 \| (out)(err)	S = N/A \| O = 8 T = Time Out \| (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 = OPTIMUM \| O = 8 T = 21.38 \| (out)(err)	S = N/A \| O = 23354 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 8.03 \| (out)(err)
c6_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.62 \| (out)(err)	S = N/A \| O = N/A T = 1.05 \| (out)(err)	S = N/A \| O = N/A T = 1.08 \| (out)(err)	S = OPTIMUM \| O = 8 T = 34.73 \| (out)(err)	S = N/A \| O = N/A T = 50.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 = OPTIMUM \| O = 8 T = 32.68 \| (out)(err)	S = N/A \| O = 31903 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 10.29 \| (out)(err)
divider-problem.dimacs_1.filtered.cnf	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 1.27 \| (out)(err)	S = N/A \| O = N/A T = 1.30 \| (out)(err)	S = OPTIMUM \| O = 1 T = 22.04 \| (out)(err)	S = N/A \| O = N/A T = 18.00 \| (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 = OPTIMUM \| O = 1 T = 23.98 \| (out)(err)	S = N/A \| O = 23477 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 292.56 \| (out)(err)
divider-problem.dimacs_11.filtered.cnf	S = N/A \| O = N/A T = 0.86 \| (out)(err)	S = N/A \| O = N/A T = 1.29 \| (out)(err)	S = N/A \| O = N/A T = 1.22 \| (out)(err)	S = OPTIMUM \| O = 2 T = 226.67 \| (out)(err)	S = N/A \| O = N/A T = 15.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 = OPTIMUM \| O = 2 T = 207.97 \| (out)(err)	S = N/A \| O = 22594 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 583.99 \| (out)(err)
divider-problem.dimacs_12.filtered.cnf	S = N/A \| O = N/A T = 0.78 \| (out)(err)	S = N/A \| O = N/A T = 1.35 \| (out)(err)	S = N/A \| O = N/A T = 1.38 \| (out)(err)	S = OPTIMUM \| O = 1 T = 24.44 \| (out)(err)	S = N/A \| O = N/A T = 15.51 \| (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 = OPTIMUM \| O = 1 T = 21.08 \| (out)(err)	S = N/A \| O = 24034 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 22.08 \| (out)(err)
divider-problem.dimacs_2.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 1.34 \| (out)(err)	S = N/A \| O = N/A T = 1.31 \| (out)(err)	S = OPTIMUM \| O = 2 T = 514.29 \| (out)(err)	S = N/A \| O = N/A T = 13.49 \| (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 = OPTIMUM \| O = 2 T = 215.05 \| (out)(err)	S = N/A \| O = 24643 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 663.35 \| (out)(err)
divider-problem.dimacs_3.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 1.28 \| (out)(err)	S = N/A \| O = N/A T = 1.26 \| (out)(err)	S = OPTIMUM \| O = 1 T = 28.06 \| (out)(err)	S = N/A \| O = N/A T = 18.07 \| (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 = OPTIMUM \| O = 1 T = 23.37 \| (out)(err)	S = N/A \| O = 23302 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 12.74 \| (out)(err)
divider-problem.dimacs_4.filtered.cnf	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 1.28 \| (out)(err)	S = N/A \| O = N/A T = 1.28 \| (out)(err)	S = OPTIMUM \| O = 1 T = 25.36 \| (out)(err)	S = N/A \| O = N/A T = 12.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 = OPTIMUM \| O = 1 T = 19.45 \| (out)(err)	S = N/A \| O = 25768 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 47.59 \| (out)(err)
divider-problem.dimacs_5.filtered.cnf	S = N/A \| O = N/A T = 0.78 \| (out)(err)	S = N/A \| O = N/A T = 1.29 \| (out)(err)	S = N/A \| O = N/A T = 1.33 \| (out)(err)	S = OPTIMUM \| O = 2 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 13.53 \| (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 = OPTIMUM \| O = 2 T = 344.23 \| (out)(err)	S = N/A \| O = 24665 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
divider-problem.dimacs_7.filtered.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 1.37 \| (out)(err)	S = N/A \| O = N/A T = 1.37 \| (out)(err)	S = OPTIMUM \| O = 1 T = 29.88 \| (out)(err)	S = N/A \| O = N/A T = 44.51 \| (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 = OPTIMUM \| O = 1 T = 26.01 \| (out)(err)	S = N/A \| O = 26091 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 252.78 \| (out)(err)
divider-problem.dimacs_8.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 1.44 \| (out)(err)	S = N/A \| O = N/A T = 1.42 \| (out)(err)	S = OPTIMUM \| O = 2 T = 230.17 \| (out)(err)	S = N/A \| O = N/A T = 45.05 \| (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 = OPTIMUM \| O = 2 T = 228.53 \| (out)(err)	S = N/A \| O = 26911 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 138.65 \| (out)(err)
divider-problem.dimacs_9.filtered.cnf	S = N/A \| O = N/A T = 0.89 \| (out)(err)	S = N/A \| O = N/A T = 1.26 \| (out)(err)	S = N/A \| O = N/A T = 1.25 \| (out)(err)	S = OPTIMUM \| O = 1 T = 29.22 \| (out)(err)	S = N/A \| O = N/A T = 17.38 \| (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 = OPTIMUM \| O = 1 T = 23.24 \| (out)(err)	S = N/A \| O = 24125 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 42.32 \| (out)(err)
dividers10.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 61.22 \| (out)(err)	S = N/A \| O = 2 T = Time Out \| (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 = OPTIMUM \| O = 2 T = 32.20 \| (out)(err)	S = N/A \| O = 6160 T = Time Out \| (out)(err)	S = N/A \| O = 1762 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 8.15 \| (out)(err)
dividers_multivec1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.69 \| (out)(err)	S = N/A \| O = N/A T = 0.72 \| (out)(err)	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = OPTIMUM \| O = 2 T = 15.22 \| (out)(err)	S = N/A \| O = 3080 T = Time Out \| (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 = OPTIMUM \| O = 2 T = 14.70 \| (out)(err)	S = N/A \| O = 6823 T = Time Out \| (out)(err)	S = N/A \| O = 5642 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 6.90 \| (out)(err)
fpu5-problem.dimacs_20.filtered.cnf	S = N/A \| O = N/A T = 0.88 \| (out)(err)	S = N/A \| O = N/A T = 1.97 \| (out)(err)	S = N/A \| O = N/A T = 1.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 37.02 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 8.95 \| (out)(err)
fpu8-problem.dimacs_24.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 1.02 \| (out)(err)	S = N/A \| O = N/A T = 0.98 \| (out)(err)	S = OPTIMUM \| O = 1 T = 24.55 \| (out)(err)	S = N/A \| O = 1443 T = Time Out \| (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 = OPTIMUM \| O = 1 T = 25.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 7.64 \| (out)(err)
fpu_multivec1-problem.dimacs_14.filtered.cnf	S = N/A \| O = N/A T = 0.86 \| (out)(err)	S = N/A \| O = N/A T = 1.71 \| (out)(err)	S = N/A \| O = N/A T = 1.74 \| (out)(err)	S = OPTIMUM \| O = 2 T = 18.94 \| (out)(err)	S = N/A \| O = N/A T = 36.93 \| (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 = OPTIMUM \| O = 2 T = 17.82 \| (out)(err)	S = N/A \| O = 31466 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 8.95 \| (out)(err)
i2c-problem.dimacs_25.filtered.cnf	S = N/A \| O = N/A T = 0.78 \| (out)(err)	S = N/A \| O = N/A T = 2.74 \| (out)(err)	S = N/A \| O = N/A T = 2.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 44.67 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 690.36 \| (out)(err)
i2c-problem.dimacs_26.filtered.cnf	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = 2.14 \| (out)(err)	S = N/A \| O = N/A T = 2.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 44.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 = N/A T = 6.21 \| (out)(err)	S = N/A \| O = 48967 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 1222.28 \| (out)(err)
i2c_master2.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.35 \| (out)(err)	S = N/A \| O = N/A T = 0.38 \| (out)(err)	S = N/A \| O = N/A T = 0.38 \| (out)(err)	S = OPTIMUM \| O = 1 T = 79.79 \| (out)(err)	S = N/A \| O = 14 T = Time Out \| (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 = OPTIMUM \| O = 1 T = 9.69 \| (out)(err)	S = N/A \| O = 7470 T = Time Out \| (out)(err)	S = N/A \| O = 2366 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 5.11 \| (out)(err)
mem_ctrl-problem.dimacs_27.filtered.cnf	S = N/A \| O = N/A T = 0.75 \| (out)(err)	S = N/A \| O = N/A T = 10.24 \| (out)(err)	S = N/A \| O = N/A T = 9.73 \| (out)(err)	S = N/A \| O = N/A T = 11.42 \| (out)(err)	S = N/A \| O = N/A T = 2.15 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 24.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
mem_ctrl1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = 8.13 \| (out)(err)	S = N/A \| O = N/A T = 8.07 \| (out)(err)	S = N/A \| O = N/A T = 11.02 \| (out)(err)	S = N/A \| O = N/A T = 27.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 = N/A \| O = N/A T = 11.60 \| (out)(err)	S = N/A \| O = N/A T = 13.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
mem_ctrl2_blackbox_mc_dp-problem.dimacs_28.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 10.46 \| (out)(err)	S = N/A \| O = N/A T = 10.12 \| (out)(err)	S = N/A \| O = N/A T = 11.91 \| (out)(err)	S = N/A \| O = N/A T = 3.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 = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 22.81 \| (out)(err)	S = N/A \| O = N/A T = 12.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
mrisc_mem2wire-problem.dimacs_29.filtered.cnf	S = N/A \| O = N/A T = 0.71 \| (out)(err)	S = N/A \| O = N/A T = 5.28 \| (out)(err)	S = N/A \| O = N/A T = 5.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 25.65 \| (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 = 9.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder-problem.dimacs_31.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 7.28 \| (out)(err)	S = N/A \| O = N/A T = 6.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 22.88 \| (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 = 12.29 \| (out)(err)	S = N/A \| O = N/A T = 11.20 \| (out)(err)	S = N/A \| O = N/A T = 7.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder-problem.dimacs_34.filtered.cnf	S = N/A \| O = N/A T = 0.86 \| (out)(err)	S = N/A \| O = N/A T = 1.33 \| (out)(err)	S = N/A \| O = N/A T = 1.30 \| (out)(err)	S = OPTIMUM \| O = 1 T = 30.97 \| (out)(err)	S = N/A \| O = N/A T = 19.51 \| (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 = OPTIMUM \| O = 1 T = 25.42 \| (out)(err)	S = N/A \| O = 25408 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 7.20 \| (out)(err)
rsdecoder-problem.dimacs_36.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 7.22 \| (out)(err)	S = N/A \| O = N/A T = 7.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 28.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 = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 11.47 \| (out)(err)	S = N/A \| O = N/A T = 7.52 \| (out)(err)	S = N/A \| O = N/A T = 71.10 \| (out)(err)
rsdecoder-problem.dimacs_37.filtered.cnf	S = N/A \| O = N/A T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = 9.08 \| (out)(err)	S = N/A \| O = N/A T = 8.79 \| (out)(err)	S = N/A \| O = N/A T = 11.52 \| (out)(err)	S = N/A \| O = N/A T = 17.96 \| (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 = 12.42 \| (out)(err)	S = N/A \| O = N/A T = 14.15 \| (out)(err)	S = N/A \| O = N/A T = 9.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder-problem.dimacs_38.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 7.39 \| (out)(err)	S = N/A \| O = N/A T = 7.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 29.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 = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 11.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder-problem.dimacs_39.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 6.97 \| (out)(err)	S = N/A \| O = N/A T = 7.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 24.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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = 11.51 \| (out)(err)	S = N/A \| O = N/A T = 7.40 \| (out)(err)	S = N/A \| O = N/A T = 290.90 \| (out)(err)
rsdecoder-problem.dimacs_40.filtered.cnf	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = 6.94 \| (out)(err)	S = N/A \| O = N/A T = 7.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 26.49 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = 11.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 192.99 \| (out)(err)
rsdecoder-problem.dimacs_41.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 7.26 \| (out)(err)	S = N/A \| O = N/A T = 7.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 30.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 = N/A T = 12.13 \| (out)(err)	S = N/A \| O = N/A T = 11.17 \| (out)(err)	S = N/A \| O = N/A T = 7.38 \| (out)(err)	S = N/A \| O = N/A T = 26.21 \| (out)(err)
rsdecoder1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 1.70 \| (out)(err)	S = N/A \| O = N/A T = 1.57 \| (out)(err)	S = OPTIMUM \| O = 1 T = 64.95 \| (out)(err)	S = N/A \| O = N/A T = 43.26 \| (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 = OPTIMUM \| O = 1 T = 39.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 38.16 \| (out)(err)
rsdecoder1_blackbox_CSEEblock-problem.dimacs_32.filtered.cnf	S = N/A \| O = N/A T = 0.86 \| (out)(err)	S = N/A \| O = N/A T = 1.47 \| (out)(err)	S = N/A \| O = N/A T = 1.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 44.68 \| (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 = Time Out \| (out)(err)	S = N/A \| O = 26747 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 1.96 \| (out)(err)	S = N/A \| O = N/A T = 2.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 42.12 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder2.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 2.94 \| (out)(err)	S = N/A \| O = N/A T = 2.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 46.01 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder2_blackbox-problem.dimacs_35.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 5.07 \| (out)(err)	S = N/A \| O = N/A T = 4.86 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 39.68 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 5.54 \| (out)(err)	S = OPTIMUM \| O = 0 T = 253.34 \| (out)(err)
rsdecoder3.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.81 \| (out)(err)	S = N/A \| O = N/A T = 1.55 \| (out)(err)	S = N/A \| O = N/A T = 1.68 \| (out)(err)	S = OPTIMUM \| O = 1 T = 60.88 \| (out)(err)	S = N/A \| O = N/A T = 50.54 \| (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 = OPTIMUM \| O = 1 T = 83.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 495.83 \| (out)(err)
rsdecoder4.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 1.62 \| (out)(err)	S = N/A \| O = N/A T = 1.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 48.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 = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder5.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 1.69 \| (out)(err)	S = N/A \| O = N/A T = 1.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 48.02 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder6.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 1.64 \| (out)(err)	S = N/A \| O = N/A T = 1.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 52.82 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder_fsm2.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 1.54 \| (out)(err)	S = N/A \| O = N/A T = 1.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 55.68 \| (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 = OPTIMUM \| O = 2 T = 253.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 116.35 \| (out)(err)
rsdecoder_multivec1-problem.dimacs_33.filtered.cnf	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 3.97 \| (out)(err)	S = N/A \| O = N/A T = 3.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 46.70 \| (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 = 8.13 \| (out)(err)	S = N/A \| O = N/A T = 7.23 \| (out)(err)	S = N/A \| O = N/A T = 4.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder_multivec1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.81 \| (out)(err)	S = N/A \| O = N/A T = 2.90 \| (out)(err)	S = N/A \| O = N/A T = 3.09 \| (out)(err)	S = N/A \| O = N/A T = 6.73 \| (out)(err)	S = N/A \| O = N/A T = 55.54 \| (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 = 6.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 1360.38 \| (out)(err)
spi-problem.dimacs_42.filtered.cnf	S = N/A \| O = N/A T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = 3.90 \| (out)(err)	S = N/A \| O = N/A T = 3.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 36.60 \| (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 = 8.08 \| (out)(err)	S = N/A \| O = N/A T = 7.15 \| (out)(err)	S = N/A \| O = N/A T = 4.89 \| (out)(err)	S = OPTIMUM \| O = 1 T = 1652.62 \| (out)(err)
spi2.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.81 \| (out)(err)	S = N/A \| O = N/A T = 0.94 \| (out)(err)	S = N/A \| O = N/A T = 0.87 \| (out)(err)	S = OPTIMUM \| O = 1 T = 28.10 \| (out)(err)	S = OPTIMUM \| O = 1 T = 12.14 \| (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 = OPTIMUM \| O = 1 T = 23.68 \| (out)(err)	S = N/A \| O = 22312 T = Time Out \| (out)(err)	S = N/A \| O = 6086 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 1047.37 \| (out)(err)
wb-problem.dimacs_45.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 1.27 \| (out)(err)	S = N/A \| O = N/A T = 1.36 \| (out)(err)	S = OPTIMUM \| O = 14 T = 42.35 \| (out)(err)	S = N/A \| O = N/A T = 38.79 \| (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 = OPTIMUM \| O = 14 T = 39.20 \| (out)(err)	S = N/A \| O = 30173 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 14 T = 13.02 \| (out)(err)
wb-problem.dimacs_46.filtered.cnf	S = N/A \| O = N/A T = 0.81 \| (out)(err)	S = N/A \| O = N/A T = 1.36 \| (out)(err)	S = N/A \| O = N/A T = 1.29 \| (out)(err)	S = OPTIMUM \| O = 476 T = 987.37 \| (out)(err)	S = N/A \| O = N/A T = 47.27 \| (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 = OPTIMUM \| O = 476 T = 845.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 476 T = 447.37 \| (out)(err)
wb1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 218 T = 90.57 \| (out)(err)	S = N/A \| O = 392 T = Time Out \| (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 = OPTIMUM \| O = 218 T = 79.36 \| (out)(err)	S = N/A \| O = 4932 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 413.41 \| (out)(err)	S = OPTIMUM \| O = 218 T = 38.40 \| (out)(err)
wb2.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 588 T = 251.31 \| (out)(err)	S = N/A \| O = 800 T = Time Out \| (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 = OPTIMUM \| O = 588 T = 220.77 \| (out)(err)	S = N/A \| O = 5091 T = Time Out \| (out)(err)	S = N/A \| O = 1974 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 588 T = 119.07 \| (out)(err)
wb_4m8s-problem.dimacs_47.filtered.cnf	S = N/A \| O = N/A T = 0.72 \| (out)(err)	S = N/A \| O = N/A T = 10.09 \| (out)(err)	S = N/A \| O = N/A T = 9.79 \| (out)(err)	S = N/A \| O = N/A T = 11.49 \| (out)(err)	S = N/A \| O = N/A T = 2.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 = 12.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 15.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_4m8s-problem.dimacs_48.filtered.cnf	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = 10.38 \| (out)(err)	S = N/A \| O = N/A T = 10.61 \| (out)(err)	S = N/A \| O = N/A T = 11.57 \| (out)(err)	S = N/A \| O = N/A T = 2.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 = N/A T = 11.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 15.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_4m8s-problem.dimacs_49.filtered.cnf	S = N/A \| O = N/A T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = 10.30 \| (out)(err)	S = N/A \| O = N/A T = 10.58 \| (out)(err)	S = N/A \| O = N/A T = 11.42 \| (out)(err)	S = N/A \| O = N/A T = 3.30 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 16.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_4m8s1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = 3.06 \| (out)(err)	S = N/A \| O = N/A T = 2.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 42.54 \| (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 = 7.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_4m8s3.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 3.20 \| (out)(err)	S = N/A \| O = N/A T = 3.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 38.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 = N/A \| O = N/A T = 7.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 17.51 \| (out)(err)
wb_4m8s4.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 3.19 \| (out)(err)	S = N/A \| O = N/A T = 3.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 52.88 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_conmax1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.88 \| (out)(err)	S = N/A \| O = N/A T = 2.07 \| (out)(err)	S = N/A \| O = N/A T = 2.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 46.78 \| (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 = 5.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_conmax3.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.86 \| (out)(err)	S = N/A \| O = N/A T = 2.22 \| (out)(err)	S = N/A \| O = N/A T = 2.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 47.01 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 33 T = 117.02 \| (out)(err)

Instance file name	IncMaxSatz	LS_Power	Maxsat_Power	PM2	SAT4J-MAXSAT-2.2.0	WMaxSatz+	WMaxSatz-2009	WPM1	akmaxsat	akmaxsat_ls	wbo-1.4a
ac97_ctrl-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.29 \| (out)(err)	S = N/A \| O = N/A T = 0.31 \| (out)(err)	S = N/A \| O = N/A T = 0.30 \| (out)(err)	S = OPTIMUM \| O = 1 T = 12.95 \| (out)(err)	S = N/A \| O = N/A T = 4.29 \| (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 = OPTIMUM \| O = 1 T = 11.96 \| (out)(err)	S = N/A \| O = 6374 T = Time Out \| (out)(err)	S = N/A \| O = 6374 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 1.82 \| (out)(err)
divider-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 1.08 \| (out)(err)	S = N/A \| O = N/A T = 1.11 \| (out)(err)	S = OPTIMUM \| O = 1 T = 13.67 \| (out)(err)	S = OPTIMUM \| O = 1 T = 17.30 \| (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 = OPTIMUM \| O = 1 T = 12.01 \| (out)(err)	S = N/A \| O = 10258 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 4.67 \| (out)(err)
mem_ctrl-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 0.94 \| (out)(err)	S = OPTIMUM \| O = 1 T = 13.38 \| (out)(err)	S = OPTIMUM \| O = 1 T = 17.86 \| (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 = OPTIMUM \| O = 1 T = 13.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 1.81 \| (out)(err)
mrisc-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.84 \| (out)(err)	S = N/A \| O = N/A T = 2.80 \| (out)(err)	S = N/A \| O = N/A T = 2.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 43.09 \| (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 = 6.66 \| (out)(err)	S = N/A \| O = N/A T = 5.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 10.62 \| (out)(err)
rsdecoder-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 4.08 \| (out)(err)	S = N/A \| O = N/A T = 3.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 30.05 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = 7.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
spi-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.81 \| (out)(err)	S = N/A \| O = N/A T = 3.40 \| (out)(err)	S = N/A \| O = N/A T = 3.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 42.25 \| (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 = 7.15 \| (out)(err)	S = N/A \| O = N/A T = 6.25 \| (out)(err)	S = N/A \| O = N/A T = 3.93 \| (out)(err)	S = OPTIMUM \| O = 1 T = 1047.77 \| (out)(err)
sudoku-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.84 \| (out)(err)	S = N/A \| O = N/A T = 2.83 \| (out)(err)	S = N/A \| O = N/A T = 2.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 32.30 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = 5.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
vga-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.92 \| (out)(err)	S = N/A \| O = N/A T = 1.27 \| (out)(err)	S = N/A \| O = N/A T = 1.29 \| (out)(err)	S = OPTIMUM \| O = 1 T = 20.23 \| (out)(err)	S = N/A \| O = N/A T = 27.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 = OPTIMUM \| O = 1 T = 21.48 \| (out)(err)	S = N/A \| O = 24067 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 3.38 \| (out)(err)
wb-debug.dimacs.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 1.06 \| (out)(err)	S = N/A \| O = N/A T = 1.03 \| (out)(err)	S = OPTIMUM \| O = 28 T = 60.58 \| (out)(err)	S = N/A \| O = N/A T = 17.38 \| (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 = OPTIMUM \| O = 28 T = 50.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 28 T = 29.96 \| (out)(err)
SM_AS_TOP_buggy1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 1.21 \| (out)(err)	S = N/A \| O = N/A T = 1.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 84 T = 28.33 \| (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 = Time Out \| (out)(err)	S = N/A \| O = 33762 T = Time Out \| (out)(err)	S = N/A \| O = 5349 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
SM_MAIN_MEM_buggy1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 6.97 \| (out)(err)	S = N/A \| O = N/A T = 6.89 \| (out)(err)	S = N/A \| O = N/A T = 10.71 \| (out)(err)	S = N/A \| O = N/A T = 30.91 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = 11.30 \| (out)(err)	S = N/A \| O = N/A T = 7.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
SM_RX_TOP.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 1.65 \| (out)(err)	S = N/A \| O = N/A T = 1.74 \| (out)(err)	S = OPTIMUM \| O = 6 T = 103.11 \| (out)(err)	S = N/A \| O = N/A T = 36.26 \| (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 = OPTIMUM \| O = 6 T = 74.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
b15-bug-fourvec-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.65 \| (out)(err)	S = N/A \| O = N/A T = 2.52 \| (out)(err)	S = N/A \| O = N/A T = 2.36 \| (out)(err)	S = N/A \| O = N/A T = 6.06 \| (out)(err)	S = N/A \| O = N/A T = 35.55 \| (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 = 6.06 \| (out)(err)	S = N/A \| O = N/A T = 5.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
b15-bug-onevec-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.49 \| (out)(err)	S = N/A \| O = N/A T = 0.48 \| (out)(err)	S = N/A \| O = N/A T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 1 T = 27.35 \| (out)(err)	S = OPTIMUM \| O = 1 T = 6.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 = OPTIMUM \| O = 1 T = 14.48 \| (out)(err)	S = N/A \| O = 13750 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 1372.96 \| (out)(err)	S = OPTIMUM \| O = 1 T = 697.01 \| (out)(err)
c1_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.62 \| (out)(err)	S = N/A \| O = N/A T = 1.41 \| (out)(err)	S = N/A \| O = N/A T = 1.36 \| (out)(err)	S = OPTIMUM \| O = 4 T = 26.84 \| (out)(err)	S = N/A \| O = N/A T = 50.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 = OPTIMUM \| O = 4 T = 24.21 \| (out)(err)	S = N/A \| O = 45757 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 7.82 \| (out)(err)
c2_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.67 \| (out)(err)	S = N/A \| O = N/A T = 1.55 \| (out)(err)	S = N/A \| O = N/A T = 1.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 35.97 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 19.54 \| (out)(err)
c4_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.64 \| (out)(err)	S = N/A \| O = N/A T = 2.86 \| (out)(err)	S = N/A \| O = N/A T = 2.83 \| (out)(err)	S = N/A \| O = N/A T = 6.76 \| (out)(err)	S = N/A \| O = N/A T = 26.88 \| (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 = 6.75 \| (out)(err)	S = N/A \| O = N/A T = 8.56 \| (out)(err)	S = N/A \| O = N/A T = 3.84 \| (out)(err)	S = OPTIMUM \| O = 8 T = 29.22 \| (out)(err)
c4_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.65 \| (out)(err)	S = N/A \| O = N/A T = 1.44 \| (out)(err)	S = N/A \| O = N/A T = 1.56 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 33.70 \| (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 = 5.97 \| (out)(err)	S = N/A \| O = 38373 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 14.74 \| (out)(err)
c5_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.64 \| (out)(err)	S = N/A \| O = N/A T = 0.74 \| (out)(err)	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = OPTIMUM \| O = 8 T = 22.97 \| (out)(err)	S = N/A \| O = 8 T = Time Out \| (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 = OPTIMUM \| O = 8 T = 21.20 \| (out)(err)	S = N/A \| O = 23354 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 8.02 \| (out)(err)
c5_DD_s3_f1_e1_v2-bug-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.70 \| (out)(err)	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = OPTIMUM \| O = 8 T = 23.07 \| (out)(err)	S = N/A \| O = 8 T = Time Out \| (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 = OPTIMUM \| O = 8 T = 21.38 \| (out)(err)	S = N/A \| O = 23354 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 8.03 \| (out)(err)
c6_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf	S = N/A \| O = N/A T = 0.62 \| (out)(err)	S = N/A \| O = N/A T = 1.05 \| (out)(err)	S = N/A \| O = N/A T = 1.08 \| (out)(err)	S = OPTIMUM \| O = 8 T = 34.73 \| (out)(err)	S = N/A \| O = N/A T = 50.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 = OPTIMUM \| O = 8 T = 32.68 \| (out)(err)	S = N/A \| O = 31903 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 10.29 \| (out)(err)
divider-problem.dimacs_1.filtered.cnf	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 1.27 \| (out)(err)	S = N/A \| O = N/A T = 1.30 \| (out)(err)	S = OPTIMUM \| O = 1 T = 22.04 \| (out)(err)	S = N/A \| O = N/A T = 18.00 \| (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 = OPTIMUM \| O = 1 T = 23.98 \| (out)(err)	S = N/A \| O = 23477 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 292.56 \| (out)(err)
divider-problem.dimacs_11.filtered.cnf	S = N/A \| O = N/A T = 0.86 \| (out)(err)	S = N/A \| O = N/A T = 1.29 \| (out)(err)	S = N/A \| O = N/A T = 1.22 \| (out)(err)	S = OPTIMUM \| O = 2 T = 226.67 \| (out)(err)	S = N/A \| O = N/A T = 15.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 = OPTIMUM \| O = 2 T = 207.97 \| (out)(err)	S = N/A \| O = 22594 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 583.99 \| (out)(err)
divider-problem.dimacs_12.filtered.cnf	S = N/A \| O = N/A T = 0.78 \| (out)(err)	S = N/A \| O = N/A T = 1.35 \| (out)(err)	S = N/A \| O = N/A T = 1.38 \| (out)(err)	S = OPTIMUM \| O = 1 T = 24.44 \| (out)(err)	S = N/A \| O = N/A T = 15.51 \| (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 = OPTIMUM \| O = 1 T = 21.08 \| (out)(err)	S = N/A \| O = 24034 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 22.08 \| (out)(err)
divider-problem.dimacs_2.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 1.34 \| (out)(err)	S = N/A \| O = N/A T = 1.31 \| (out)(err)	S = OPTIMUM \| O = 2 T = 514.29 \| (out)(err)	S = N/A \| O = N/A T = 13.49 \| (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 = OPTIMUM \| O = 2 T = 215.05 \| (out)(err)	S = N/A \| O = 24643 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 663.35 \| (out)(err)
divider-problem.dimacs_3.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 1.28 \| (out)(err)	S = N/A \| O = N/A T = 1.26 \| (out)(err)	S = OPTIMUM \| O = 1 T = 28.06 \| (out)(err)	S = N/A \| O = N/A T = 18.07 \| (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 = OPTIMUM \| O = 1 T = 23.37 \| (out)(err)	S = N/A \| O = 23302 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 12.74 \| (out)(err)
divider-problem.dimacs_4.filtered.cnf	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 1.28 \| (out)(err)	S = N/A \| O = N/A T = 1.28 \| (out)(err)	S = OPTIMUM \| O = 1 T = 25.36 \| (out)(err)	S = N/A \| O = N/A T = 12.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 = OPTIMUM \| O = 1 T = 19.45 \| (out)(err)	S = N/A \| O = 25768 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 47.59 \| (out)(err)
divider-problem.dimacs_5.filtered.cnf	S = N/A \| O = N/A T = 0.78 \| (out)(err)	S = N/A \| O = N/A T = 1.29 \| (out)(err)	S = N/A \| O = N/A T = 1.33 \| (out)(err)	S = OPTIMUM \| O = 2 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 13.53 \| (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 = OPTIMUM \| O = 2 T = 344.23 \| (out)(err)	S = N/A \| O = 24665 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
divider-problem.dimacs_7.filtered.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 1.37 \| (out)(err)	S = N/A \| O = N/A T = 1.37 \| (out)(err)	S = OPTIMUM \| O = 1 T = 29.88 \| (out)(err)	S = N/A \| O = N/A T = 44.51 \| (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 = OPTIMUM \| O = 1 T = 26.01 \| (out)(err)	S = N/A \| O = 26091 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 252.78 \| (out)(err)
divider-problem.dimacs_8.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 1.44 \| (out)(err)	S = N/A \| O = N/A T = 1.42 \| (out)(err)	S = OPTIMUM \| O = 2 T = 230.17 \| (out)(err)	S = N/A \| O = N/A T = 45.05 \| (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 = OPTIMUM \| O = 2 T = 228.53 \| (out)(err)	S = N/A \| O = 26911 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 138.65 \| (out)(err)
divider-problem.dimacs_9.filtered.cnf	S = N/A \| O = N/A T = 0.89 \| (out)(err)	S = N/A \| O = N/A T = 1.26 \| (out)(err)	S = N/A \| O = N/A T = 1.25 \| (out)(err)	S = OPTIMUM \| O = 1 T = 29.22 \| (out)(err)	S = N/A \| O = N/A T = 17.38 \| (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 = OPTIMUM \| O = 1 T = 23.24 \| (out)(err)	S = N/A \| O = 24125 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 42.32 \| (out)(err)
dividers10.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 61.22 \| (out)(err)	S = N/A \| O = 2 T = Time Out \| (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 = OPTIMUM \| O = 2 T = 32.20 \| (out)(err)	S = N/A \| O = 6160 T = Time Out \| (out)(err)	S = N/A \| O = 1762 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 8.15 \| (out)(err)
dividers_multivec1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.69 \| (out)(err)	S = N/A \| O = N/A T = 0.72 \| (out)(err)	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = OPTIMUM \| O = 2 T = 15.22 \| (out)(err)	S = N/A \| O = 3080 T = Time Out \| (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 = OPTIMUM \| O = 2 T = 14.70 \| (out)(err)	S = N/A \| O = 6823 T = Time Out \| (out)(err)	S = N/A \| O = 5642 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 6.90 \| (out)(err)
fpu5-problem.dimacs_20.filtered.cnf	S = N/A \| O = N/A T = 0.88 \| (out)(err)	S = N/A \| O = N/A T = 1.97 \| (out)(err)	S = N/A \| O = N/A T = 1.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 37.02 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 8.95 \| (out)(err)
fpu8-problem.dimacs_24.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 1.02 \| (out)(err)	S = N/A \| O = N/A T = 0.98 \| (out)(err)	S = OPTIMUM \| O = 1 T = 24.55 \| (out)(err)	S = N/A \| O = 1443 T = Time Out \| (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 = OPTIMUM \| O = 1 T = 25.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 7.64 \| (out)(err)
fpu_multivec1-problem.dimacs_14.filtered.cnf	S = N/A \| O = N/A T = 0.86 \| (out)(err)	S = N/A \| O = N/A T = 1.71 \| (out)(err)	S = N/A \| O = N/A T = 1.74 \| (out)(err)	S = OPTIMUM \| O = 2 T = 18.94 \| (out)(err)	S = N/A \| O = N/A T = 36.93 \| (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 = OPTIMUM \| O = 2 T = 17.82 \| (out)(err)	S = N/A \| O = 31466 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 8.95 \| (out)(err)
i2c-problem.dimacs_25.filtered.cnf	S = N/A \| O = N/A T = 0.78 \| (out)(err)	S = N/A \| O = N/A T = 2.74 \| (out)(err)	S = N/A \| O = N/A T = 2.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 44.67 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 690.36 \| (out)(err)
i2c-problem.dimacs_26.filtered.cnf	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = 2.14 \| (out)(err)	S = N/A \| O = N/A T = 2.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 44.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 = N/A T = 6.21 \| (out)(err)	S = N/A \| O = 48967 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 1222.28 \| (out)(err)
i2c_master2.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.35 \| (out)(err)	S = N/A \| O = N/A T = 0.38 \| (out)(err)	S = N/A \| O = N/A T = 0.38 \| (out)(err)	S = OPTIMUM \| O = 1 T = 79.79 \| (out)(err)	S = N/A \| O = 14 T = Time Out \| (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 = OPTIMUM \| O = 1 T = 9.69 \| (out)(err)	S = N/A \| O = 7470 T = Time Out \| (out)(err)	S = N/A \| O = 2366 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 5.11 \| (out)(err)
mem_ctrl-problem.dimacs_27.filtered.cnf	S = N/A \| O = N/A T = 0.75 \| (out)(err)	S = N/A \| O = N/A T = 10.24 \| (out)(err)	S = N/A \| O = N/A T = 9.73 \| (out)(err)	S = N/A \| O = N/A T = 11.42 \| (out)(err)	S = N/A \| O = N/A T = 2.15 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 24.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
mem_ctrl1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = 8.13 \| (out)(err)	S = N/A \| O = N/A T = 8.07 \| (out)(err)	S = N/A \| O = N/A T = 11.02 \| (out)(err)	S = N/A \| O = N/A T = 27.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 = N/A \| O = N/A T = 11.60 \| (out)(err)	S = N/A \| O = N/A T = 13.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
mem_ctrl2_blackbox_mc_dp-problem.dimacs_28.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 10.46 \| (out)(err)	S = N/A \| O = N/A T = 10.12 \| (out)(err)	S = N/A \| O = N/A T = 11.91 \| (out)(err)	S = N/A \| O = N/A T = 3.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 = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 22.81 \| (out)(err)	S = N/A \| O = N/A T = 12.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
mrisc_mem2wire-problem.dimacs_29.filtered.cnf	S = N/A \| O = N/A T = 0.71 \| (out)(err)	S = N/A \| O = N/A T = 5.28 \| (out)(err)	S = N/A \| O = N/A T = 5.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 25.65 \| (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 = 9.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder-problem.dimacs_31.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 7.28 \| (out)(err)	S = N/A \| O = N/A T = 6.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 22.88 \| (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 = 12.29 \| (out)(err)	S = N/A \| O = N/A T = 11.20 \| (out)(err)	S = N/A \| O = N/A T = 7.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder-problem.dimacs_34.filtered.cnf	S = N/A \| O = N/A T = 0.86 \| (out)(err)	S = N/A \| O = N/A T = 1.33 \| (out)(err)	S = N/A \| O = N/A T = 1.30 \| (out)(err)	S = OPTIMUM \| O = 1 T = 30.97 \| (out)(err)	S = N/A \| O = N/A T = 19.51 \| (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 = OPTIMUM \| O = 1 T = 25.42 \| (out)(err)	S = N/A \| O = 25408 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 7.20 \| (out)(err)
rsdecoder-problem.dimacs_36.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 7.22 \| (out)(err)	S = N/A \| O = N/A T = 7.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 28.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 = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 11.47 \| (out)(err)	S = N/A \| O = N/A T = 7.52 \| (out)(err)	S = N/A \| O = N/A T = 71.10 \| (out)(err)
rsdecoder-problem.dimacs_37.filtered.cnf	S = N/A \| O = N/A T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = 9.08 \| (out)(err)	S = N/A \| O = N/A T = 8.79 \| (out)(err)	S = N/A \| O = N/A T = 11.52 \| (out)(err)	S = N/A \| O = N/A T = 17.96 \| (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 = 12.42 \| (out)(err)	S = N/A \| O = N/A T = 14.15 \| (out)(err)	S = N/A \| O = N/A T = 9.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder-problem.dimacs_38.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 7.39 \| (out)(err)	S = N/A \| O = N/A T = 7.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 29.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 = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 11.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder-problem.dimacs_39.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 6.97 \| (out)(err)	S = N/A \| O = N/A T = 7.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 24.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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = 11.51 \| (out)(err)	S = N/A \| O = N/A T = 7.40 \| (out)(err)	S = N/A \| O = N/A T = 290.90 \| (out)(err)
rsdecoder-problem.dimacs_40.filtered.cnf	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = 6.94 \| (out)(err)	S = N/A \| O = N/A T = 7.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 26.49 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = 11.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 192.99 \| (out)(err)
rsdecoder-problem.dimacs_41.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 7.26 \| (out)(err)	S = N/A \| O = N/A T = 7.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 30.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 = N/A T = 12.13 \| (out)(err)	S = N/A \| O = N/A T = 11.17 \| (out)(err)	S = N/A \| O = N/A T = 7.38 \| (out)(err)	S = N/A \| O = N/A T = 26.21 \| (out)(err)
rsdecoder1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 1.70 \| (out)(err)	S = N/A \| O = N/A T = 1.57 \| (out)(err)	S = OPTIMUM \| O = 1 T = 64.95 \| (out)(err)	S = N/A \| O = N/A T = 43.26 \| (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 = OPTIMUM \| O = 1 T = 39.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 38.16 \| (out)(err)
rsdecoder1_blackbox_CSEEblock-problem.dimacs_32.filtered.cnf	S = N/A \| O = N/A T = 0.86 \| (out)(err)	S = N/A \| O = N/A T = 1.47 \| (out)(err)	S = N/A \| O = N/A T = 1.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 44.68 \| (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 = Time Out \| (out)(err)	S = N/A \| O = 26747 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 1.96 \| (out)(err)	S = N/A \| O = N/A T = 2.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 42.12 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder2.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 2.94 \| (out)(err)	S = N/A \| O = N/A T = 2.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 46.01 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder2_blackbox-problem.dimacs_35.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 5.07 \| (out)(err)	S = N/A \| O = N/A T = 4.86 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 39.68 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 5.54 \| (out)(err)	S = OPTIMUM \| O = 0 T = 253.34 \| (out)(err)
rsdecoder3.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.81 \| (out)(err)	S = N/A \| O = N/A T = 1.55 \| (out)(err)	S = N/A \| O = N/A T = 1.68 \| (out)(err)	S = OPTIMUM \| O = 1 T = 60.88 \| (out)(err)	S = N/A \| O = N/A T = 50.54 \| (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 = OPTIMUM \| O = 1 T = 83.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 495.83 \| (out)(err)
rsdecoder4.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 1.62 \| (out)(err)	S = N/A \| O = N/A T = 1.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 48.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 = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder5.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = 1.69 \| (out)(err)	S = N/A \| O = N/A T = 1.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 48.02 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder6.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 1.64 \| (out)(err)	S = N/A \| O = N/A T = 1.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 52.82 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder_fsm2.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 1.54 \| (out)(err)	S = N/A \| O = N/A T = 1.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 55.68 \| (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 = OPTIMUM \| O = 2 T = 253.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2 T = 116.35 \| (out)(err)
rsdecoder_multivec1-problem.dimacs_33.filtered.cnf	S = N/A \| O = N/A T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = 3.97 \| (out)(err)	S = N/A \| O = N/A T = 3.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 46.70 \| (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 = 8.13 \| (out)(err)	S = N/A \| O = N/A T = 7.23 \| (out)(err)	S = N/A \| O = N/A T = 4.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
rsdecoder_multivec1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.81 \| (out)(err)	S = N/A \| O = N/A T = 2.90 \| (out)(err)	S = N/A \| O = N/A T = 3.09 \| (out)(err)	S = N/A \| O = N/A T = 6.73 \| (out)(err)	S = N/A \| O = N/A T = 55.54 \| (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 = 6.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4 T = 1360.38 \| (out)(err)
spi-problem.dimacs_42.filtered.cnf	S = N/A \| O = N/A T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = 3.90 \| (out)(err)	S = N/A \| O = N/A T = 3.90 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 36.60 \| (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 = 8.08 \| (out)(err)	S = N/A \| O = N/A T = 7.15 \| (out)(err)	S = N/A \| O = N/A T = 4.89 \| (out)(err)	S = OPTIMUM \| O = 1 T = 1652.62 \| (out)(err)
spi2.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.81 \| (out)(err)	S = N/A \| O = N/A T = 0.94 \| (out)(err)	S = N/A \| O = N/A T = 0.87 \| (out)(err)	S = OPTIMUM \| O = 1 T = 28.10 \| (out)(err)	S = OPTIMUM \| O = 1 T = 12.14 \| (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 = OPTIMUM \| O = 1 T = 23.68 \| (out)(err)	S = N/A \| O = 22312 T = Time Out \| (out)(err)	S = N/A \| O = 6086 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1 T = 1047.37 \| (out)(err)
wb-problem.dimacs_45.filtered.cnf	S = N/A \| O = N/A T = 0.80 \| (out)(err)	S = N/A \| O = N/A T = 1.27 \| (out)(err)	S = N/A \| O = N/A T = 1.36 \| (out)(err)	S = OPTIMUM \| O = 14 T = 42.35 \| (out)(err)	S = N/A \| O = N/A T = 38.79 \| (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 = OPTIMUM \| O = 14 T = 39.20 \| (out)(err)	S = N/A \| O = 30173 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 14 T = 13.02 \| (out)(err)
wb-problem.dimacs_46.filtered.cnf	S = N/A \| O = N/A T = 0.81 \| (out)(err)	S = N/A \| O = N/A T = 1.36 \| (out)(err)	S = N/A \| O = N/A T = 1.29 \| (out)(err)	S = OPTIMUM \| O = 476 T = 987.37 \| (out)(err)	S = N/A \| O = N/A T = 47.27 \| (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 = OPTIMUM \| O = 476 T = 845.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 476 T = 447.37 \| (out)(err)
wb1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 218 T = 90.57 \| (out)(err)	S = N/A \| O = 392 T = Time Out \| (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 = OPTIMUM \| O = 218 T = 79.36 \| (out)(err)	S = N/A \| O = 4932 T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 413.41 \| (out)(err)	S = OPTIMUM \| O = 218 T = 38.40 \| (out)(err)
wb2.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 588 T = 251.31 \| (out)(err)	S = N/A \| O = 800 T = Time Out \| (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 = OPTIMUM \| O = 588 T = 220.77 \| (out)(err)	S = N/A \| O = 5091 T = Time Out \| (out)(err)	S = N/A \| O = 1974 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 588 T = 119.07 \| (out)(err)
wb_4m8s-problem.dimacs_47.filtered.cnf	S = N/A \| O = N/A T = 0.72 \| (out)(err)	S = N/A \| O = N/A T = 10.09 \| (out)(err)	S = N/A \| O = N/A T = 9.79 \| (out)(err)	S = N/A \| O = N/A T = 11.49 \| (out)(err)	S = N/A \| O = N/A T = 2.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 = 12.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 15.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_4m8s-problem.dimacs_48.filtered.cnf	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = 10.38 \| (out)(err)	S = N/A \| O = N/A T = 10.61 \| (out)(err)	S = N/A \| O = N/A T = 11.57 \| (out)(err)	S = N/A \| O = N/A T = 2.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 = N/A T = 11.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 15.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_4m8s-problem.dimacs_49.filtered.cnf	S = N/A \| O = N/A T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = 10.30 \| (out)(err)	S = N/A \| O = N/A T = 10.58 \| (out)(err)	S = N/A \| O = N/A T = 11.42 \| (out)(err)	S = N/A \| O = N/A T = 3.30 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 16.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_4m8s1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = 3.06 \| (out)(err)	S = N/A \| O = N/A T = 2.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 42.54 \| (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 = 7.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_4m8s3.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = 3.20 \| (out)(err)	S = N/A \| O = N/A T = 3.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 38.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 = N/A \| O = N/A T = 7.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 17.51 \| (out)(err)
wb_4m8s4.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = 3.19 \| (out)(err)	S = N/A \| O = N/A T = 3.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 52.88 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_conmax1.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.88 \| (out)(err)	S = N/A \| O = N/A T = 2.07 \| (out)(err)	S = N/A \| O = N/A T = 2.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 46.78 \| (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 = 5.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
wb_conmax3.dimacs.filtered.cnf	S = N/A \| O = N/A T = 0.86 \| (out)(err)	S = N/A \| O = N/A T = 2.22 \| (out)(err)	S = N/A \| O = N/A T = 2.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 47.01 \| (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 = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 33 T = 117.02 \| (out)(err)