Label | Meaning |
---|---|
S | Solution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A} |
O | Best solution found |
T | CPU time (TO for Time Out) |
(out)(err) | Standard output and standard error for each solver |
Color | Meaning for Complete Solvers | Meaning for Incomplete Solvers |
---|---|---|
Text | Best solver column | Best solver column |
Text | Optimal solution with the best CPU time | Best solution with the best CPU time |
Text | Optimal solution and finished within the Time Out | Best solution without the best CPU time |
Text | Optimal solution and did not finish within the Time Out | Solution found but not the best |
Text | Time Out | Time Out |
Text | Buggy solution | Buggy solution |
Instance file name | Best solver | SAT4Jms-ext-i | SAT4Jms-int-i | optimax-it |
---|---|---|---|---|
mul_8_11.wcnf | O = 196 T = 1.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 196 T = 1.54 (out)(err) |
mul_8_13.wcnf | O = 169 T = 1.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 1.68 (out)(err) |
mul_8_14.wcnf | O = 161 T = 0.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 0.96 (out)(err) |
mul_8_3.wcnf | O = 67 T = 0.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 67 T = 0.59 (out)(err) |
mul_8_9.wcnf | O = 88 T = 0.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 0.68 (out)(err) |
sbox_4.wcnf | O = 22 T = 229.92 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 229.92 (out)(err) |
sbox_8.wcnf | O = 753 T = 39.86 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 753 T = 39.86 (out)(err) |
normalized-f20c10b_001_area_delay.wcnf | O = 28 T = 48.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 48.45 (out)(err) |
normalized-f20c10b_002_area_delay.wcnf | O = 24 T = 0.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.28 (out)(err) |
normalized-f20c10b_003_area_delay.wcnf | O = 26 T = 0.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 0.28 (out)(err) |
normalized-f20c10b_004_area_delay.wcnf | O = 27 T = 5.89 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 5.89 (out)(err) |
normalized-f20c10b_005_area_delay.wcnf | O = 26 T = 32.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 32.13 (out)(err) |
normalized-f20c10b_006_area_delay.wcnf | O = 22 T = 0.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 0.08 (out)(err) |
normalized-f20c10b_007_area_delay.wcnf | O = 26 T = 13.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 13.48 (out)(err) |
normalized-f20c10b_008_area_delay.wcnf | O = 25 T = 6.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 6.10 (out)(err) |
normalized-f20c10b_009_area_delay.wcnf | O = 24 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.03 (out)(err) |
normalized-f20c10b_010_area_delay.wcnf | O = 29 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 0.10 (out)(err) |
normalized-f20c10b_011_area_delay.wcnf | O = 26 T = 0.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 0.09 (out)(err) |
normalized-f20c10b_012_area_delay.wcnf | O = 27 T = 11.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 11.05 (out)(err) |
normalized-f20c10b_013_area_delay.wcnf | O = 22 T = 3.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 3.68 (out)(err) |
normalized-f20c10b_014_area_delay.wcnf | O = 27 T = 0.92 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 0.92 (out)(err) |
normalized-f20c10b_015_area_delay.wcnf | O = 25 T = 1.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 1.43 (out)(err) |
normalized-f20c10b_016_area_delay.wcnf | O = 25 T = 18.44 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 18.44 (out)(err) |
normalized-f20c10b_017_area_delay.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 2.17 (out)(err) |
normalized-f20c10b_018_area_delay.wcnf | O = 25 T = 0.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 0.14 (out)(err) |
normalized-f20c10b_019_area_delay.wcnf | O = 24 T = 0.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.39 (out)(err) |
normalized-f20c10b_020_area_delay.wcnf | O = 23 T = 0.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 0.09 (out)(err) |
normalized-f20c10b_021_area_delay.wcnf | O = 24 T = 0.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.15 (out)(err) |
normalized-f20c10b_022_area_delay.wcnf | O = 26 T = 15.75 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 15.75 (out)(err) |
normalized-f20c10b_023_area_delay.wcnf | O = 22 T = 32.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 32.48 (out)(err) |
normalized-f20c10b_024_area_delay.wcnf | O = 24 T = 7.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 7.63 (out)(err) |
normalized-f20c10b_025_area_delay.wcnf | O = 25 T = 4.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 4.65 (out)(err) |
normalized-fir01_area_delay.wcnf | O = 5 T = 0.00 |
O = 5 T = 0.65 (out)(err) |
O = 5 T = 0.71 (out)(err) |
O = 5 T = 0.00 (out)(err) |
normalized-fir01_area_opers.wcnf | O = 10 T = 0.00 |
O = 10 T = 1.60 (out)(err) |
O = 10 T = 1.77 (out)(err) |
O = 10 T = 0.00 (out)(err) |
normalized-fir02_area_delay.wcnf | O = 8 T = 0.00 |
O = 8 T = 8.35 (out)(err) |
O = 8 T = 3.72 (out)(err) |
O = 8 T = 0.00 (out)(err) |
normalized-fir02_area_opers.wcnf | O = 18 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 0.00 (out)(err) |
normalized-fir02_area_partials.wcnf | O = 19 T = 0.00 |
O = 19 T = 0.24 (out)(err) |
O = 19 T = 0.27 (out)(err) |
O = 19 T = 0.00 (out)(err) |
normalized-fir03_area_delay.wcnf | O = 10 T = 0.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 10 T = 0.27 (out)(err) |
normalized-fir03_area_opers.wcnf | O = 17 T = 0.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 0.24 (out)(err) |
normalized-fir03_area_partials.wcnf | O = 18 T = 0.01 |
O = 18 T = 1.24 (out)(err) |
O = 18 T = 1.62 (out)(err) |
O = 18 T = 0.01 (out)(err) |
normalized-fir04_area_delay.wcnf | O = 12 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 0.02 (out)(err) |
normalized-fir04_area_opers.wcnf | O = 29 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 0.00 (out)(err) |
normalized-fir04_area_partials.wcnf | O = 30 T = 0.00 |
O = 30 T = 0.26 (out)(err) |
O = 30 T = 0.23 (out)(err) |
O = 30 T = 0.00 (out)(err) |
normalized-fir05_area_delay.wcnf | O = 14 T = 2.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 2.19 (out)(err) |
normalized-fir05_area_opers.wcnf | O = 35 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 0.03 (out)(err) |
normalized-fir05_area_partials.wcnf | O = 36 T = 0.00 |
O = 36 T = 0.47 (out)(err) |
O = 36 T = 0.83 (out)(err) |
O = 36 T = 0.00 (out)(err) |
normalized-fir06_area_delay.wcnf | O = 15 T = 0.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 0.27 (out)(err) |
normalized-fir06_area_opers.wcnf | O = 23 T = 0.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 0.15 (out)(err) |
normalized-fir06_area_partials.wcnf | O = 24 T = 0.01 |
O = 24 T = 1.50 (out)(err) |
O = 24 T = 1.29 (out)(err) |
O = 24 T = 0.01 (out)(err) |
normalized-fir07_area_delay.wcnf | O = 17 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 0.05 (out)(err) |
normalized-fir07_area_opers.wcnf | O = 32 T = 0.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 0.17 (out)(err) |
normalized-fir07_area_partials.wcnf | O = 33 T = 0.00 |
O = 33 T = 0.55 (out)(err) |
O = 33 T = 0.61 (out)(err) |
O = 33 T = 0.00 (out)(err) |
normalized-fir08_area_delay.wcnf | O = 25 T = 85.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 85.54 (out)(err) |
normalized-fir08_area_opers.wcnf | O = 51 T = 139.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 51 T = 139.33 (out)(err) |
normalized-fir08_area_partials.wcnf | O = 49 T = 29.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 49 T = 29.08 (out)(err) |
normalized-fir09_area_delay.wcnf | O = 17 T = 264.46 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 264.46 (out)(err) |
normalized-fir09_area_opers.wcnf | O = 34 T = 288.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 288.12 (out)(err) |
simp-ibd_50.01.wcnf | O = 53 T = 3.49 |
O = 53 T = 4.64 (out)(err) |
O = 53 T = 15.16 (out)(err) |
O = 53 T = 3.49 (out)(err) |
simp-ibd_50.02.wcnf | O = 56 T = 20.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 56 T = 20.41 (out)(err) |
simp-ibd_50.03.wcnf | O = 54 T = 0.37 |
O = 54 T = 4.39 (out)(err) |
O = 54 T = 5.65 (out)(err) |
O = 54 T = 0.37 (out)(err) |
simp-ibd_50.04.wcnf | O = 55 T = 52.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 55 T = 52.20 (out)(err) |
simp-ibd_50.05.wcnf | O = 59 T = 1.89 |
O = 59 T = 19.63 (out)(err) |
O = 59 T = 115.52 (out)(err) |
O = 59 T = 1.89 (out)(err) |
simp-ibd_50.06.wcnf | O = 55 T = 1.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 55 T = 1.08 (out)(err) |
simp-ibd_50.07.wcnf | O = 57 T = 33.64 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 57 T = 33.64 (out)(err) |
simp-ibd_50.08.wcnf | O = 65 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 65 T = 0.04 (out)(err) |
simp-ibd_50.09.wcnf | O = 57 T = 1.28 |
O = 57 T = 8.12 (out)(err) |
O = 57 T = 5.65 (out)(err) |
O = 57 T = 1.28 (out)(err) |
simp-test_chr10_CEU_75.wcnf | O = 16 T = 0.00 |
O = 16 T = 0.26 (out)(err) |
O = 16 T = 0.26 (out)(err) |
O = 16 T = 0.00 (out)(err) |
simp-test_chr10_HCB_75.wcnf | O = 15 T = 0.00 |
O = 15 T = 0.77 (out)(err) |
O = 15 T = 0.96 (out)(err) |
O = 15 T = 0.00 (out)(err) |
simp-test_chr10_JPT_75.wcnf | O = 17 T = 0.00 |
O = 17 T = 0.88 (out)(err) |
O = 17 T = 0.89 (out)(err) |
O = 17 T = 0.00 (out)(err) |
simp-test_chr10_YRI_75.wcnf | O = 30 T = 0.02 |
O = 30 T = 2.44 (out)(err) |
O = 30 T = 2.35 (out)(err) |
O = 30 T = 0.02 (out)(err) |
simp-test_chr21_CEU_75.wcnf | O = 14 T = 0.01 |
O = 14 T = 0.94 (out)(err) |
O = 14 T = 1.09 (out)(err) |
O = 14 T = 0.01 (out)(err) |
simp-test_chr21_HCB_75.wcnf | O = 15 T = 0.00 |
O = 15 T = 0.72 (out)(err) |
O = 15 T = 0.74 (out)(err) |
O = 15 T = 0.00 (out)(err) |
simp-test_chr21_JPT_75.wcnf | O = 18 T = 0.31 |
O = 18 T = 3.15 (out)(err) |
O = 18 T = 3.07 (out)(err) |
O = 18 T = 0.31 (out)(err) |
simp-test_chr21_YRI_75.wcnf | O = 44 T = 34.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 44 T = 34.60 (out)(err) |
SU1__simp-genos.haps.1.wcnf | O = 73 T = 0.17 |
O = 73 T = 5.70 (out)(err) |
O = 73 T = 13.50 (out)(err) |
O = 73 T = 0.17 (out)(err) |
SU1__simp-genos.haps.10.wcnf | O = 90 T = 234.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 234.37 (out)(err) |
SU1__simp-genos.haps.18.wcnf | O = 74 T = 0.58 |
O = 74 T = 78.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 74 T = 0.58 (out)(err) |
SU1__simp-genos.haps.19.wcnf | O = 79 T = 0.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 79 T = 0.74 (out)(err) |
SU1__simp-genos.haps.26.wcnf | O = 81 T = 33.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 81 T = 33.87 (out)(err) |
SU1__simp-genos.haps.27.wcnf | O = 92 T = 2.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 92 T = 2.29 (out)(err) |
SU1__simp-genos.haps.29.wcnf | O = 68 T = 6.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 68 T = 6.71 (out)(err) |
SU1__simp-genos.haps.30.wcnf | O = 69 T = 3.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 69 T = 3.71 (out)(err) |
SU1__simp-genos.haps.32.wcnf | O = 71 T = 18.51 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 71 T = 18.51 (out)(err) |
SU1__simp-genos.haps.34.wcnf | O = 69 T = 1.92 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 69 T = 1.92 (out)(err) |
SU1__simp-genos.haps.37.wcnf | O = 77 T = 0.28 |
O = 77 T = 67.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 77 T = 0.28 (out)(err) |
SU1__simp-genos.haps.38.wcnf | O = 89 T = 0.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 0.54 (out)(err) |
SU1__simp-genos.haps.50.wcnf | O = 59 T = 0.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 59 T = 0.31 (out)(err) |
SU1__simp-genos.haps.54.wcnf | O = 72 T = 0.41 |
O = 72 T = 47.75 (out)(err) |
O = 72 T = 62.45 (out)(err) |
O = 72 T = 0.41 (out)(err) |
SU1__simp-genos.haps.58.wcnf | O = 85 T = 1.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 85 T = 1.80 (out)(err) |
SU1__simp-genos.haps.62.wcnf | O = 67 T = 2.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 67 T = 2.56 (out)(err) |
SU1__simp-genos.haps.69.wcnf | O = 76 T = 13.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 76 T = 13.60 (out)(err) |
SU1__simp-genos.haps.7.wcnf | O = 82 T = 0.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 82 T = 0.18 (out)(err) |
SU1__simp-genos.haps.70.wcnf | O = 58 T = 0.32 |
O = 58 T = 22.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 58 T = 0.32 (out)(err) |
SU1__simp-genos.haps.8.wcnf | O = 63 T = 0.15 |
O = 63 T = 11.25 (out)(err) |
O = 63 T = 193.55 (out)(err) |
O = 63 T = 0.15 (out)(err) |
SU1__simp-genos.haps.85.wcnf | O = 65 T = 0.26 |
O = 65 T = 8.56 (out)(err) |
O = 65 T = 75.05 (out)(err) |
O = 65 T = 0.26 (out)(err) |
SU1__simp-genos.haps.86.wcnf | O = 56 T = 0.52 |
O = 56 T = 6.10 (out)(err) |
O = 56 T = 69.08 (out)(err) |
O = 56 T = 0.52 (out)(err) |
SU3__simp-genos.haps.21.wcnf | O = 117 T = 0.42 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 117 T = 0.42 (out)(err) |
SU3__simp-genos.haps.23.wcnf | O = 110 T = 7.75 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 110 T = 7.75 (out)(err) |
SU3__simp-genos.haps.27.wcnf | O = 99 T = 37.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 99 T = 37.38 (out)(err) |
SU3__simp-genos.haps.33.wcnf | O = 113 T = 12.79 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 12.79 (out)(err) |
SU3__simp-genos.haps.38.wcnf | O = 104 T = 1.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 1.06 (out)(err) |
SU3__simp-genos.haps.53.wcnf | O = 110 T = 219.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 110 T = 219.96 (out)(err) |
SU3__simp-genos.haps.58.wcnf | O = 101 T = 22.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 22.09 (out)(err) |
SU3__simp-genos.haps.60.wcnf | O = 103 T = 18.53 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 103 T = 18.53 (out)(err) |
SU3__simp-genos.haps.63.wcnf | O = 90 T = 79.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 79.70 (out)(err) |
SU3__simp-genos.haps.64.wcnf | O = 99 T = 34.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 99 T = 34.31 (out)(err) |
SU3__simp-genos.haps.72.wcnf | O = 93 T = 250.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 93 T = 250.69 (out)(err) |
SU3__simp-genos.haps.74.wcnf | O = 102 T = 0.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 102 T = 0.45 (out)(err) |
SU3__simp-genos.haps.80.wcnf | O = 105 T = 1.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 105 T = 1.07 (out)(err) |
SU3__simp-genos.haps.86.wcnf | O = 102 T = 2.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 102 T = 2.55 (out)(err) |
SU3__simp-genos.haps.88.wcnf | O = 113 T = 0.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 0.52 (out)(err) |
SU3__simp-genos.haps.9.wcnf | O = 110 T = 0.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 110 T = 0.27 (out)(err) |
normalized-f1000.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-f2000.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-f600.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-g125.17.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-g125.18.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-g250.15.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-g250.29.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-hanoi4.wcnf | O = 718 T = 1.31 |
O = 718 T = 2.83 (out)(err) |
O = 718 T = 2.14 (out)(err) |
O = 718 T = 1.31 (out)(err) |
normalized-hanoi5.wcnf | O = 1931 T = 7.64 |
O = 1931 T = 7.64 (out)(err) |
O = 1931 T = 9.04 (out)(err) |
O = 1931 T = 15.66 (out)(err) |
normalized-ii16a1.wcnf | O = 1642 T = 0.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1642 T = 0.13 (out)(err) |
normalized-ii16a2.wcnf | O = 1600 T = 0.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1600 T = 0.25 (out)(err) |
normalized-ii16b1.wcnf | O = 1728 T = 0.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1728 T = 0.38 (out)(err) |
normalized-ii16b2.wcnf | O = 1076 T = 0.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1076 T = 0.24 (out)(err) |
normalized-ii16c1.wcnf | O = 1572 T = 0.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1572 T = 0.24 (out)(err) |
normalized-ii16c2.wcnf | O = 861 T = 64.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 861 T = 64.07 (out)(err) |
normalized-ii16d1.wcnf | O = 1230 T = 0.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1230 T = 0.12 (out)(err) |
normalized-ii16d2.wcnf | O = 786 T = 4.82 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 786 T = 4.82 (out)(err) |
normalized-ii16e1.wcnf | O = 1245 T = 0.21 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1245 T = 0.21 (out)(err) |
normalized-ii16e2.wcnf | O = 520 T = 2.97 |
O = 520 T = 4.36 (out)(err) |
O = 520 T = 2.97 (out)(err) |
O = 520 T = 9.94 (out)(err) |
normalized-ii32b1.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 192 T = 34.45 (out)(err) |
normalized-ii32c1.wcnf | O = 173 T = 0.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 173 T = 0.34 (out)(err) |
normalized-ii32c2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 249 T = 0.09 (out)(err) |
normalized-ii32c3.wcnf | O = 261 T = 6.03 |
O = 261 T = 8.77 (out)(err) |
O = 261 T = 6.03 (out)(err) |
O = 261 T = 291.57 (out)(err) |
normalized-ii32c4.wcnf | O = 736 T = 7.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 736 T = 7.60 (out)(err) |
normalized-ii32d1.wcnf | O = 330 T = 0.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 330 T = 0.08 (out)(err) |
normalized-ii32d2.wcnf | O = 404 T = 0.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 404 T = 0.16 (out)(err) |
normalized-ii32d3.wcnf | O = 802 T = 71.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 802 T = 71.13 (out)(err) |
normalized-ii32e5.wcnf | O = 503 T = 6.75 |
O = 503 T = 11.55 (out)(err) |
O = 503 T = 6.75 (out)(err) |
O = 522 T = 0.11 (out)(err) |
normalized-ii8a1.wcnf | O = 54 T = 1.44 |
O = 54 T = 1.44 (out)(err) |
O = 54 T = 1.73 (out)(err) |
O = 54 T = 1.59 (out)(err) |
normalized-ii8a2.wcnf | O = 174 T = 0.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 174 T = 0.08 (out)(err) |
normalized-ii8a3.wcnf | O = 236 T = 0.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 236 T = 0.08 (out)(err) |
normalized-ii8a4.wcnf | O = 393 T = 0.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 393 T = 0.08 (out)(err) |
normalized-ii8b1.wcnf | O = 194 T = 15.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 194 T = 15.09 (out)(err) |
normalized-ii8b2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 387 T = 1.60 (out)(err) |
normalized-ii8b3.wcnf | O = 528 T = 1.44 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 528 T = 1.44 (out)(err) |
normalized-ii8b4.wcnf | O = 692 T = 1.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 692 T = 1.29 (out)(err) |
normalized-ii8c1.wcnf | O = 378 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 378 T = 0.10 (out)(err) |
normalized-ii8c2.wcnf | O = 587 T = 23.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 587 T = 23.13 (out)(err) |
normalized-ii8d1.wcnf | O = 500 T = 0.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 500 T = 0.09 (out)(err) |
normalized-ii8d2.wcnf | O = 921 T = 0.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 921 T = 0.12 (out)(err) |
normalized-ii8e1.wcnf | O = 372 T = 5.46 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 372 T = 5.46 (out)(err) |
normalized-ii8e2.wcnf | O = 533 T = 13.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 533 T = 13.34 (out)(err) |
normalized-par32-1-c.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-par32-1.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-par32-2-c.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-par32-2.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
normalized-ssa7552-038.wcnf | O = 1448 T = 0.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1448 T = 0.77 (out)(err) |
normalized-ssa7552-158.wcnf | O = 1327 T = 0.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1327 T = 0.25 (out)(err) |
normalized-ssa7552-159.wcnf | O = 1327 T = 0.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1327 T = 0.20 (out)(err) |
normalized-ssa7552-160.wcnf | O = 1359 T = 0.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1359 T = 0.25 (out)(err) |
c1355_F1001gat-1048gat@1.wcnf | O = 21 T = 0.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 0.22 (out)(err) |
c1355_F1001gat@1.wcnf | O = 21 T = 0.67 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 0.67 (out)(err) |
c1355_F1036gat-1229gat@1.wcnf | O = 13 T = 0.22 |
O = 13 T = 11.56 (out)(err) |
O = 13 T = 7.33 (out)(err) |
O = 13 T = 0.22 (out)(err) |
c1355_F1051gat@1.wcnf | O = 13 T = 0.08 |
O = 13 T = 7.92 (out)(err) |
O = 13 T = 23.90 (out)(err) |
O = 13 T = 0.08 (out)(err) |
c1355_F106gat-409gat@1.wcnf | O = 33 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.05 (out)(err) |
c1355_F106gat@0.wcnf | O = 14 T = 0.28 |
O = 14 T = 126.78 (out)(err) |
O = 14 T = 33.74 (out)(err) |
O = 14 T = 0.28 (out)(err) |
c1355_F113gat-1260gat@1.wcnf | O = 13 T = 0.16 |
O = 13 T = 15.29 (out)(err) |
O = 13 T = 22.73 (out)(err) |
O = 13 T = 0.16 (out)(err) |
c1355_F1150gat@0.wcnf | O = 13 T = 0.17 |
O = 13 T = 5.51 (out)(err) |
O = 13 T = 18.37 (out)(err) |
O = 13 T = 0.17 (out)(err) |
c1355_F1183gat-1262gat@1.wcnf | O = 33 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.00 (out)(err) |
c1355_F120gat-414gat@1.wcnf | O = 33 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.05 (out)(err) |
c1355_F1229gat@1.wcnf | O = 33 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.00 (out)(err) |
c1355_F127gat-418gat@1.wcnf | O = 33 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.04 (out)(err) |
c1355_F141gat@0.wcnf | O = 14 T = 0.10 |
O = 14 T = 14.46 (out)(err) |
O = 14 T = 26.67 (out)(err) |
O = 14 T = 0.10 (out)(err) |
c1355_F155gat@1.wcnf | O = 14 T = 0.26 |
O = 14 T = 14.88 (out)(err) |
O = 14 T = 44.01 (out)(err) |
O = 14 T = 0.26 (out)(err) |
c1355_F176gat-1278gat@1.wcnf | O = 13 T = 0.09 |
O = 13 T = 8.91 (out)(err) |
O = 13 T = 9.05 (out)(err) |
O = 13 T = 0.09 (out)(err) |
c1355_F183gat@0.wcnf | O = 14 T = 0.16 |
O = 14 T = 12.38 (out)(err) |
O = 14 T = 38.72 (out)(err) |
O = 14 T = 0.16 (out)(err) |
c1355_F197gat-308gat@1.wcnf | O = 33 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.07 (out)(err) |
c1355_F1gat@0.wcnf | O = 14 T = 0.10 |
O = 14 T = 32.48 (out)(err) |
O = 14 T = 102.53 (out)(err) |
O = 14 T = 0.10 (out)(err) |
c1355_F43gat@1.wcnf | O = 14 T = 0.18 |
O = 14 T = 16.93 (out)(err) |
O = 14 T = 98.16 (out)(err) |
O = 14 T = 0.18 (out)(err) |
c1355_F50gat@1.wcnf | O = 14 T = 0.19 |
O = 14 T = 14.17 (out)(err) |
O = 14 T = 35.42 (out)(err) |
O = 14 T = 0.19 (out)(err) |
c1355_F543gat@1.wcnf | O = 33 T = 0.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.06 (out)(err) |
c1355_F57gat@1.wcnf | O = 14 T = 0.25 |
O = 14 T = 13.95 (out)(err) |
O = 14 T = 44.95 (out)(err) |
O = 14 T = 0.25 (out)(err) |
c1355_F71gat@1.wcnf | O = 14 T = 0.20 |
O = 14 T = 8.91 (out)(err) |
O = 14 T = 30.98 (out)(err) |
O = 14 T = 0.20 (out)(err) |
c3540_F20@1.wcnf | O = 6 T = 0.59 |
O = 6 T = 7.11 (out)(err) |
O = 6 T = 8.03 (out)(err) |
O = 6 T = 0.59 (out)(err) |
c3540_F41@1.wcnf | O = 7 T = 0.38 |
O = 7 T = 5.08 (out)(err) |
O = 7 T = 3.36 (out)(err) |
O = 7 T = 0.38 (out)(err) |
c3540_F45@0.wcnf | O = 9 T = 1.14 |
O = 9 T = 4.98 (out)(err) |
O = 9 T = 5.25 (out)(err) |
O = 9 T = 1.14 (out)(err) |
c3540_F45@1.wcnf | O = 9 T = 1.41 |
O = 9 T = 8.20 (out)(err) |
O = 9 T = 11.20 (out)(err) |
O = 9 T = 1.41 (out)(err) |
c499_Fic0@1.wcnf | O = 41 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 41 T = 0.01 (out)(err) |
c499_Fic2@1.wcnf | O = 41 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 41 T = 0.01 (out)(err) |
c499_Fic6@1.wcnf | O = 41 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 41 T = 0.01 (out)(err) |
c499_Fid11@1.wcnf | O = 14 T = 0.05 |
O = 14 T = 11.48 (out)(err) |
O = 14 T = 117.26 (out)(err) |
O = 14 T = 0.05 (out)(err) |
c499_Fid18@0.wcnf | O = 14 T = 0.04 |
O = 14 T = 11.19 (out)(err) |
O = 14 T = 12.02 (out)(err) |
O = 14 T = 0.04 (out)(err) |
c499_Fid20-xa10@0.wcnf | O = 33 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.01 (out)(err) |
c499_Fid26@0.wcnf | O = 14 T = 0.03 |
O = 14 T = 9.91 (out)(err) |
O = 14 T = 12.33 (out)(err) |
O = 14 T = 0.03 (out)(err) |
c499_Fxa10@0.wcnf | O = 33 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.01 (out)(err) |
c6288_F137gat@1.wcnf | O = 10 T = 2.32 |
O = 10 T = 63.35 (out)(err) |
O = 10 T = 91.93 (out)(err) |
O = 10 T = 2.32 (out)(err) |
c6288_F18gat@0.wcnf | O = 3 T = 0.06 |
O = 3 T = 2.54 (out)(err) |
O = 3 T = 2.55 (out)(err) |
O = 3 T = 0.06 (out)(err) |
c6288_F205gat@1.wcnf | O = 7 T = 0.96 |
O = 7 T = 138.84 (out)(err) |
O = 7 T = 219.35 (out)(err) |
O = 7 T = 0.96 (out)(err) |
c6288_F35gat@1.wcnf | O = 4 T = 0.11 |
O = 4 T = 2.75 (out)(err) |
O = 4 T = 3.45 (out)(err) |
O = 4 T = 0.11 (out)(err) |
c6288_F69gat@1.wcnf | O = 6 T = 0.45 |
O = 6 T = 4.57 (out)(err) |
O = 6 T = 5.84 (out)(err) |
O = 6 T = 0.45 (out)(err) |
normalized-5xp1.b.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 0.18 (out)(err) |
normalized-C499.a.wcnf | O = 72 T = 0.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 72 T = 0.39 (out)(err) |
normalized-C880.a.wcnf | O = 87 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 87 T = 0.01 (out)(err) |
normalized-addm4.r.wcnf | O = 165 T = 41.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 165 T = 41.25 (out)(err) |
normalized-alu4.b.wcnf | O = 51 T = 6.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 51 T = 6.13 (out)(err) |
normalized-apex6.b.wcnf | O = 169 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 0.05 (out)(err) |
normalized-bbara.r.wcnf | O = 7 T = 0.00 |
O = 7 T = 0.53 (out)(err) |
O = 7 T = 0.57 (out)(err) |
O = 7 T = 0.00 (out)(err) |
normalized-bench1.r.wcnf | O = 133 T = 4.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 133 T = 4.69 (out)(err) |
normalized-clip.b.wcnf | O = 15 T = 1.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 1.02 (out)(err) |
normalized-des.a.wcnf | O = 942 T = 4.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 942 T = 4.35 (out)(err) |
normalized-duke2.b.wcnf | O = 97 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 97 T = 0.07 (out)(err) |
normalized-ex1010.pi.wcnf | O = 447 T = 0.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 447 T = 0.12 (out)(err) |
normalized-ex4inp.r.wcnf | O = 5 T = 0.02 |
O = 5 T = 2.55 (out)(err) |
O = 5 T = 2.72 (out)(err) |
O = 5 T = 0.02 (out)(err) |
normalized-ex5.r.wcnf | O = 56 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 56 T = 0.01 (out)(err) |
normalized-exam.pi.wcnf | O = 82 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 82 T = 0.00 (out)(err) |
normalized-exps.r.wcnf | O = 76 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 76 T = 0.02 (out)(err) |
normalized-f51m.b.wcnf | O = 18 T = 1.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 1.47 (out)(err) |
normalized-fout.r.wcnf | O = 38 T = 37.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 37.55 (out)(err) |
normalized-jac3.wcnf | O = 15 T = 0.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 0.61 (out)(err) |
normalized-lin.rom.r.wcnf | O = 122 T = 76.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122 T = 76.88 (out)(err) |
normalized-m100_100_10_10.r.wcnf | O = 20 T = 0.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 0.09 (out)(err) |
normalized-m100_100_10_15.r.wcnf | O = 16 T = 0.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 0.13 (out)(err) |
normalized-m100_100_10_30.r.wcnf | O = 8 T = 162.57 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 162.57 (out)(err) |
normalized-m100_100_30_30.r.wcnf | O = 5 T = 20.14 |
O = N/A T = TO (out)(err) |
O = 5 T = 20.14 (out)(err) |
O = 5 T = 278.05 (out)(err) |
normalized-m100_300_10_10.r.wcnf | O = 33 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.04 (out)(err) |
normalized-m100_300_10_14.r.wcnf | O = 33 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.04 (out)(err) |
normalized-m100_300_10_15.r.wcnf | O = 32 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 0.07 (out)(err) |
normalized-m100_300_10_20.r.wcnf | O = 20 T = 144.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 144.27 (out)(err) |
normalized-m100_50_10_10.r.wcnf | O = 8 T = 3.05 |
O = 8 T = 3.77 (out)(err) |
O = 8 T = 3.05 (out)(err) |
O = 8 T = 11.37 (out)(err) |
normalized-m100_50_20_20.r.wcnf | O = 5 T = 1.12 |
O = 5 T = 2.91 (out)(err) |
O = 5 T = 2.20 (out)(err) |
O = 5 T = 1.12 (out)(err) |
normalized-m200_500_10_10.r.wcnf | O = 65 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 65 T = 0.10 (out)(err) |
normalized-m4.r.wcnf | O = 90 T = 0.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 0.15 (out)(err) |
normalized-m50_100_10_10.r.wcnf | O = 8 T = 18.91 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 18.91 (out)(err) |
normalized-m50_100_10_15.r.wcnf | O = 8 T = 34.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 34.01 (out)(err) |
normalized-m50_100_30_30.r.wcnf | O = 4 T = 5.12 |
O = 4 T = 18.89 (out)(err) |
O = 4 T = 5.12 (out)(err) |
O = 4 T = 15.40 (out)(err) |
normalized-maincont.r.wcnf | O = 7 T = 0.00 |
O = 7 T = 4.78 (out)(err) |
O = 7 T = 3.29 (out)(err) |
O = 7 T = 0.00 (out)(err) |
normalized-max1024.pi.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 266 T = 17.49 (out)(err) |
normalized-max1024.r.wcnf | O = 250 T = 48.98 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 250 T = 48.98 (out)(err) |
normalized-max512.r.wcnf | O = 113 T = 89.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 89.54 (out)(err) |
normalized-mlp4.r.wcnf | O = 109 T = 21.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 109 T = 21.13 (out)(err) |
normalized-pdc.r.wcnf | O = 98 T = 0.44 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 98 T = 0.44 (out)(err) |
normalized-prom2.pi.wcnf | O = 413 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 413 T = 0.04 (out)(err) |
normalized-prom2.r.wcnf | O = 385 T = 0.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 385 T = 0.04 (out)(err) |
normalized-rd84.b.wcnf | O = 5 T = 7.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 7.99 (out)(err) |
normalized-ricks.r.wcnf | O = 5 T = 0.28 |
O = 5 T = 3.19 (out)(err) |
O = 5 T = 3.13 (out)(err) |
O = 5 T = 0.28 (out)(err) |
normalized-rot.b.wcnf | O = 122 T = 29.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122 T = 29.37 (out)(err) |
normalized-sao2.b.wcnf | O = 25 T = 2.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 2.10 (out)(err) |
normalized-saucier.r.wcnf | O = 8 T = 0.75 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 0.75 (out)(err) |
normalized-test1.r.wcnf | O = 139 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 139 T = 0.01 (out)(err) |
normalized-test4.pi.wcnf | O = 171 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 171 T = 0.03 (out)(err) |
ctrl.wcnf | O = 15 T = 0.58 |
O = 15 T = 7.41 (out)(err) |
O = 15 T = 6.24 (out)(err) |
O = 15 T = 0.58 (out)(err) |
mrisc_mem2wire.wcnf | O = 5 T = 238.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 238.27 (out)(err) |
spi.wcnf | O = 46 T = 12.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 46 T = 12.56 (out)(err) |
sudoku.wcnf | O = 13 T = 9.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 9.76 (out)(err) |
SAT02__industrial__biere__dinphil__dp10s10.shuffled.cnf.wcnf.8.wcnf | O = 271 T = 3.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 271 T = 3.09 (out)(err) |
SAT02__industrial__goldberg__fpga_routing__vda_gr_rcs_w9.shuffled.cnf.wcnf.5.wcnf | O = 6 T = 0.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 0.09 (out)(err) |
SAT02__industrial__goldberg__fpga_routing__vda_gr_rcs_w9.shuffled.cnf.wcnf.8.wcnf | O = 3 T = 0.06 |
O = 3 T = 2.46 (out)(err) |
O = 3 T = 2.64 (out)(err) |
O = 3 T = 0.06 (out)(err) |
SAT04__industrial__vangelder__cnf-color__abb313GPIA-9-tr.used-as.sat04-321.cnf.wcnf.3.wcnf | O = 95 T = 0.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 95 T = 0.96 (out)(err) |
SAT04__industrial__vangelder__cnf-color__abb313GPIA-9-tr.used-as.sat04-321.cnf.wcnf.6.wcnf | O = 25 T = 15.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 15.30 (out)(err) |
SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.1.wcnf | O = 179 T = 13.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 179 T = 13.83 (out)(err) |
SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.8.wcnf | O = 86 T = 10.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 86 T = 10.58 (out)(err) |
SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.10.wcnf | O = 50 T = 5.57 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 50 T = 5.57 (out)(err) |
SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.5.wcnf | O = 53 T = 5.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 5.70 (out)(err) |
SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug5.cnf.wcnf.4.wcnf | O = 8 T = 7.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 7.31 (out)(err) |
SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.1.wcnf | O = 14 T = 9.42 |
O = 14 T = 246.41 (out)(err) |
O = 14 T = 236.16 (out)(err) |
O = 14 T = 9.42 (out)(err) |
SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.4.wcnf | O = 24 T = 10.89 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 10.89 (out)(err) |
SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.7.wcnf | O = 3 T = 7.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3 T = 7.24 (out)(err) |
SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_15_SAT.cnf.wcnf.9.wcnf | O = 26 T = 130.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 130.09 (out)(err) |
SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_18_SAT.cnf.wcnf.2.wcnf | O = 7 T = 0.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.08 (out)(err) |
SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.10.wcnf | O = 208 T = 8.92 |
O = 208 T = 8.92 (out)(err) |
O = 208 T = 10.10 (out)(err) |
O = 211 T = 3.23 (out)(err) |
SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf | O = 1382 T = 13.54 |
O = 1382 T = 49.96 (out)(err) |
O = 1382 T = 13.54 (out)(err) |
O = 1485 T = 8.03 (out)(err) |
SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.8.wcnf | O = 320 T = 49.26 |
O = 320 T = 49.26 (out)(err) |
O = 320 T = 128.39 (out)(err) |
O = 340 T = 6.13 (out)(err) |
SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf | O = 1028 T = 63.94 |
O = 1028 T = 63.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1039 T = 87.07 (out)(err) |
SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.2.wcnf | O = 501 T = 27.13 |
O = 501 T = 27.13 (out)(err) |
O = 501 T = 29.06 (out)(err) |
O = 647 T = 1.90 (out)(err) |
SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.4.wcnf | O = 180 T = 15.19 |
O = 180 T = 15.58 (out)(err) |
O = 180 T = 15.19 (out)(err) |
O = 189 T = 1.16 (out)(err) |
SAT11__application__fuhs__AProVE11__AProVE11-16.cnf.wcnf.1.wcnf | O = 263 T = 9.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 263 T = 9.37 (out)(err) |
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-TPP-30-step11.cnf.wcnf.1.wcnf | O = 1 T = 1.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 1.80 (out)(err) |
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.2.wcnf | O = 1 T = 0.47 |
O = 1 T = 8.94 (out)(err) |
O = 1 T = 8.04 (out)(err) |
O = 1 T = 0.47 (out)(err) |
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.7.wcnf | O = 1 T = 0.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 0.54 (out)(err) |
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-18-step16.cnf.wcnf.1.wcnf | O = 1 T = 1.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 1.35 (out)(err) |
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-18-step16.cnf.wcnf.4.wcnf | O = 1 T = 1.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 1.36 (out)(err) |
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf.wcnf.4.wcnf | O = 154 T = 39.80 |
O = N/A T = TO (out)(err) |
O = 154 T = 39.80 (out)(err) |
O = 164 T = 6.34 (out)(err) |
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf.wcnf.9.wcnf | O = 125 T = 2.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 125 T = 2.60 (out)(err) |
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.10.wcnf | O = 9 T = 1.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9 T = 1.25 (out)(err) |
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.2.wcnf | O = 73 T = 4.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 73 T = 4.41 (out)(err) |
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.7.wcnf | O = 20 T = 2.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 2.04 (out)(err) |
SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.7.wcnf | O = 61 T = 233.86 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 61 T = 233.86 (out)(err) |
SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.9.wcnf | O = 86 T = 1.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 86 T = 1.81 (out)(err) |
SAT11__application__manthey__traffic__traffic_3_uc_sat.cnf.wcnf.8.wcnf | O = 77 T = 4.12 |
O = 77 T = 21.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 77 T = 4.12 (out)(err) |
SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.4.wcnf | O = 121 T = 91.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 121 T = 91.69 (out)(err) |
SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.6.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.180-SAT.cnf.wcnf.2.wcnf | O = 35 T = 14.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 14.71 (out)(err) |
SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.4.wcnf | O = 6 T = 1.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 1.18 (out)(err) |
SAT_RACE06__ibm-2002-21r-k95.cnf.wcnf.4.wcnf | O = 2 T = 0.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 0.85 (out)(err) |
SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.2.wcnf | O = 25 T = 6.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 6.20 (out)(err) |
SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.5.wcnf | O = 85 T = 11.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 85 T = 11.38 (out)(err) |
SAT_RACE08__cnf__ibm-2004-01-k90.cnf.wcnf.10.wcnf | O = 5 T = 0.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 0.28 (out)(err) |
TEAMS20_l7aa.cnf.wcnf | O = 26 T = 194.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 194.33 (out)(err) |
teams16_l7a.cnf.wcnf | O = 18 T = 65.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 65.81 (out)(err) |
teams20_l2a.cnf.wcnf | O = 12 T = 78.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 78.17 (out)(err) |
teams20_l4a.cnf.wcnf | O = 18 T = 153.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 153.30 (out)(err) |
teams20_l6a.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 80.79 (out)(err) |
teams20_l8a.cnf.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 0.15 (out)(err) |
teams24_l4a.cnf.wcnf | O = 14 T = 209.97 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 209.97 (out)(err) |
cnf.10.p.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 6.45 (out)(err) |
cnf.10.p.9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11 T = 79.65 (out)(err) |
cnf.11.p.10.wcnf | O = 11 T = 11.89 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11 T = 11.89 (out)(err) |
cnf.11.p.9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11 T = 39.26 (out)(err) |
cnf.12.p.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 12.36 (out)(err) |
cnf.12.p.8.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 15.45 (out)(err) |
cnf.12.p.9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 6.91 (out)(err) |
cnf.12.t.9.wcnf | O = 12 T = 18.90 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 18.90 (out)(err) |
cnf.13.p.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 5.33 (out)(err) |
cnf.13.p.8.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 10.29 (out)(err) |
cnf.13.p.9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 5.13 (out)(err) |
cnf.14.d.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 41.30 (out)(err) |
cnf.14.p.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 119.70 (out)(err) |
cnf.14.p.9.wcnf | O = 20 T = 22.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 22.22 (out)(err) |
cnf.14.t.7.wcnf | O = 14 T = 24.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 24.03 (out)(err) |
cnf.14.t.9.wcnf | O = 14 T = 27.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 27.58 (out)(err) |
cnf.15.p.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 32.76 (out)(err) |
cnf.15.p.8.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 152.45 (out)(err) |
cnf.15.p.9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 17.60 (out)(err) |
cnf.15.t.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 16.30 (out)(err) |
cnf.16.p.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 45.53 (out)(err) |
cnf.16.p.8.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 46.04 (out)(err) |
cnf.16.p.9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 10.35 (out)(err) |
cnf.16.t.9.wcnf | O = 16 T = 66.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 66.81 (out)(err) |
cnf.17.d.10.wcnf | O = 17 T = 108.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 108.34 (out)(err) |
cnf.17.d.9.wcnf | O = 17 T = 8.90 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 8.90 (out)(err) |
cnf.17.p.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 19.41 (out)(err) |
cnf.17.p.9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 77.17 (out)(err) |
cnf.17.t.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 18.76 (out)(err) |
cnf.17.t.8.wcnf | O = 17 T = 45.73 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 45.73 (out)(err) |
cnf.18.d.7.wcnf | O = 18 T = 14.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 14.61 (out)(err) |
cnf.18.p.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 69.25 (out)(err) |
cnf.18.p.8.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 40.51 (out)(err) |
cnf.18.p.9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 6.67 (out)(err) |
cnf.18.t.9.wcnf | O = 18 T = 62.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 62.29 (out)(err) |
cnf.19.d.10.wcnf | O = 19 T = 19.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 19.84 (out)(err) |
cnf.19.p.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 34.28 (out)(err) |
cnf.19.p.8.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 41.95 (out)(err) |
cnf.19.p.9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 28.27 (out)(err) |
cnf.19.t.7.wcnf | O = 19 T = 128.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 128.30 (out)(err) |
cnf.20.d.10.wcnf | O = 20 T = 21.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 21.96 (out)(err) |
cnf.20.d.9.wcnf | O = 20 T = 57.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 57.28 (out)(err) |
cnf.20.p.10.wcnf | O = 31 T = 30.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 30.83 (out)(err) |
cnf.20.p.9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 26.54 (out)(err) |
cnf.20.t.10.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 39.71 (out)(err) |
cnf.20.t.8.wcnf | O = 20 T = 52.46 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 52.46 (out)(err) |
cnf.8.p.10.wcnf | O = 9 T = 21.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9 T = 21.22 (out)(err) |
cnf.8.p.9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 0.57 (out)(err) |
cnf.9.p.10.wcnf | O = 9 T = 48.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9 T = 48.54 (out)(err) |
cnf.9.p.9.wcnf | O = 13 T = 0.46 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 0.46 (out)(err) |
splitedReads_0.matrix.wcnf | O = 2169 T = 1.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2169 T = 1.35 (out)(err) |
splitedReads_137.matrix.wcnf | O = 90 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 0.10 (out)(err) |
splitedReads_158.matrix.wcnf | O = 173 T = 0.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 173 T = 0.24 (out)(err) |
splitedReads_160.matrix.wcnf | O = 186 T = 0.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 186 T = 0.34 (out)(err) |
splitedReads_18.matrix.wcnf | O = 138 T = 0.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 138 T = 0.18 (out)(err) |
splitedReads_414.matrix.wcnf | O = 171 T = 0.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 171 T = 0.23 (out)(err) |
1aabfc32-d491-11df-9a24-00163e3d3b7c_l3.wcnf | O = 2236 T = 5.99 |
O = 2236 T = 16.12 (out)(err) |
O = 2236 T = 14.80 (out)(err) |
O = 2236 T = 5.99 (out)(err) |
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l3.wcnf | O = 814 T = 10.27 |
O = 814 T = 10.27 (out)(err) |
O = 814 T = 12.78 (out)(err) |
O = 814 T = 23.72 (out)(err) |
4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l3.wcnf | O = 631 T = 1.03 |
O = 631 T = 9.93 (out)(err) |
O = 631 T = 16.33 (out)(err) |
O = 631 T = 1.03 (out)(err) |
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l3.wcnf | O = 404 T = 9.29 |
O = 404 T = 10.24 (out)(err) |
O = 404 T = 13.95 (out)(err) |
O = 404 T = 9.29 (out)(err) |
ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l3.wcnf | O = 2236 T = 6.17 |
O = 2236 T = 18.78 (out)(err) |
O = 2236 T = 14.67 (out)(err) |
O = 2236 T = 6.17 (out)(err) |
rand118_l2.wcnf | O = 447 T = 0.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 447 T = 0.63 (out)(err) |
rand172_l2.wcnf | O = 670 T = 0.91 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 670 T = 0.91 (out)(err) |
rand179_l2.wcnf | O = 1088 T = 1.79 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1088 T = 1.79 (out)(err) |
rand196_l2.wcnf | O = 1298 T = 1.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1298 T = 1.80 (out)(err) |
rand208_l2.wcnf | O = 349 T = 0.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 349 T = 0.55 (out)(err) |
rand209_l2.wcnf | O = 1199 T = 1.51 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1199 T = 1.51 (out)(err) |
rand21_l2.wcnf | O = 1465 T = 5.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1465 T = 5.56 (out)(err) |
rand242_l2.wcnf | O = 388 T = 0.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 388 T = 0.60 (out)(err) |
rand289_l2.wcnf | O = 350 T = 0.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 350 T = 0.66 (out)(err) |
rand290_l2.wcnf | O = 1017 T = 1.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1017 T = 1.99 (out)(err) |
rand308_l2.wcnf | O = 1235 T = 1.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1235 T = 1.06 (out)(err) |
rand30_l2.wcnf | O = 512 T = 0.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 512 T = 0.84 (out)(err) |
rand313_l2.wcnf | O = 1595 T = 1.94 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1595 T = 1.94 (out)(err) |
rand377_l2.wcnf | O = 574 T = 0.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 574 T = 0.50 (out)(err) |
rand411_l2.wcnf | O = 578 T = 0.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 578 T = 0.84 (out)(err) |
rand414_l2.wcnf | O = 1259 T = 1.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1259 T = 1.12 (out)(err) |
rand425_l2.wcnf | O = 694 T = 1.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 694 T = 1.17 (out)(err) |
rand446_l2.wcnf | O = 416 T = 0.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 416 T = 0.60 (out)(err) |
rand484_l2.wcnf | O = 331 T = 0.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 331 T = 0.49 (out)(err) |
rand507_l2.wcnf | O = 1197 T = 0.98 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1197 T = 0.98 (out)(err) |
rand695_l2.wcnf | O = 974 T = 0.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 974 T = 0.77 (out)(err) |
rand717_l2.wcnf | O = 1120 T = 1.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1120 T = 1.63 (out)(err) |
rand736_l2.wcnf | O = 1232 T = 1.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1232 T = 1.01 (out)(err) |
rand736_l3.wcnf | O = 1481 T = 1.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1481 T = 1.80 (out)(err) |
rand794_l2.wcnf | O = 472 T = 0.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 472 T = 0.63 (out)(err) |
rand7_l2.wcnf | O = 971 T = 1.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 971 T = 1.37 (out)(err) |
rand813_l2.wcnf | O = 1192 T = 0.97 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1192 T = 0.97 (out)(err) |
rand869_l2.wcnf | O = 459 T = 0.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 459 T = 0.69 (out)(err) |
rand874_l2.wcnf | O = 863 T = 1.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 863 T = 1.28 (out)(err) |
rand892_l2.wcnf | O = 1119 T = 1.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1119 T = 1.03 (out)(err) |
rand937_l2.wcnf | O = 439 T = 0.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 439 T = 0.74 (out)(err) |
rand943_l2.wcnf | O = 829 T = 1.26 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 829 T = 1.26 (out)(err) |
rand954_l2.wcnf | O = 700 T = 0.92 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 700 T = 0.92 (out)(err) |
rand96_l2.wcnf | O = 392 T = 0.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 392 T = 0.55 (out)(err) |
rand984_l2.wcnf | O = 839 T = 1.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 839 T = 1.99 (out)(err) |
10tree110p.wcnf | O = 20 T = 5.62 |
O = 20 T = 5.62 (out)(err) |
O = 20 T = 17.20 (out)(err) |
O = 20 T = 8.14 (out)(err) |
10tree115p.wcnf | O = 29 T = 5.37 |
O = 29 T = 5.37 (out)(err) |
O = 29 T = 12.80 (out)(err) |
O = 29 T = 0.07 (out)(err) |
10tree120p.wcnf | O = 41 T = 3.79 |
O = 41 T = 3.79 (out)(err) |
O = 41 T = 77.73 (out)(err) |
O = 57 T = 1.60 (out)(err) |
10tree125p.wcnf | O = 50 T = 118.05 |
O = N/A T = TO (out)(err) |
O = 50 T = 118.05 (out)(err) |
O = 50 T = 267.59 (out)(err) |
10tree130p.wcnf | O = 63 T = 8.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 8.13 (out)(err) |
10tree210p.wcnf | O = 21 T = 20.27 |
O = 21 T = 28.40 (out)(err) |
O = 21 T = 30.28 (out)(err) |
O = 21 T = 20.27 (out)(err) |
10tree215p.wcnf | O = 31 T = 46.17 |
O = 31 T = 131.24 (out)(err) |
O = 31 T = 46.17 (out)(err) |
O = 31 T = 62.75 (out)(err) |
10tree220p.wcnf | O = 42 T = 62.50 |
O = 42 T = 105.91 (out)(err) |
O = 42 T = 62.50 (out)(err) |
O = 42 T = 98.20 (out)(err) |
10tree225p.wcnf | O = 52 T = 89.36 |
O = N/A T = TO (out)(err) |
O = 52 T = 89.36 (out)(err) |
O = 52 T = 239.41 (out)(err) |
10tree230p.wcnf | O = 63 T = 80.22 |
O = N/A T = TO (out)(err) |
O = 63 T = 80.22 (out)(err) |
O = 100 T = 0.08 (out)(err) |
10tree305p.wcnf | O = 9 T = 1.73 |
O = 9 T = 5.21 (out)(err) |
O = 9 T = 12.73 (out)(err) |
O = 9 T = 1.73 (out)(err) |
10tree310p.wcnf | O = 20 T = 4.48 |
O = 20 T = 4.48 (out)(err) |
O = 20 T = 7.21 (out)(err) |
O = 20 T = 7.18 (out)(err) |
10tree315p.wcnf | O = 30 T = 3.75 |
O = 30 T = 3.75 (out)(err) |
O = 30 T = 27.70 (out)(err) |
O = 30 T = 52.82 (out)(err) |
10tree320p.wcnf | O = 42 T = 4.02 |
O = 42 T = 4.02 (out)(err) |
O = 42 T = 46.16 (out)(err) |
O = 45 T = 65.72 (out)(err) |
10tree325p.wcnf | O = 48 T = 81.50 |
O = 48 T = 92.70 (out)(err) |
O = 48 T = 81.50 (out)(err) |
O = 62 T = 0.21 (out)(err) |
10tree330p.wcnf | O = 63 T = 211.56 |
O = N/A T = TO (out)(err) |
O = 63 T = 211.56 (out)(err) |
O = 64 T = 171.89 (out)(err) |
10tree405p.wcnf | O = 9 T = 1.80 |
O = 9 T = 8.16 (out)(err) |
O = 9 T = 9.73 (out)(err) |
O = 9 T = 1.80 (out)(err) |
10tree405posib.wcnf | O = 10 T = 1.58 |
O = 10 T = 7.00 (out)(err) |
O = 10 T = 5.61 (out)(err) |
O = 10 T = 1.58 (out)(err) |
10tree410p.wcnf | O = 21 T = 6.23 |
O = 21 T = 18.64 (out)(err) |
O = 21 T = 6.23 (out)(err) |
O = 21 T = 16.04 (out)(err) |
10tree415p.wcnf | O = 31 T = 4.84 |
O = 31 T = 18.74 (out)(err) |
O = 31 T = 4.84 (out)(err) |
O = 31 T = 0.06 (out)(err) |
10tree420p.wcnf | O = 41 T = 18.10 |
O = 41 T = 18.10 (out)(err) |
O = 41 T = 45.58 (out)(err) |
O = 41 T = 47.59 (out)(err) |
10tree425p.wcnf | O = 51 T = 21.00 |
O = 51 T = 37.04 (out)(err) |
O = 51 T = 21.00 (out)(err) |
O = 77 T = 0.06 (out)(err) |
10tree430p.wcnf | O = 62 T = 34.40 |
O = 62 T = 53.03 (out)(err) |
O = 62 T = 34.40 (out)(err) |
O = 65 T = 156.23 (out)(err) |
10tree505p.wcnf | O = 10 T = 2.34 |
O = 10 T = 5.10 (out)(err) |
O = 10 T = 12.52 (out)(err) |
O = 10 T = 2.34 (out)(err) |
10tree505posib.wcnf | O = 10 T = 0.72 |
O = 10 T = 3.36 (out)(err) |
O = 10 T = 3.36 (out)(err) |
O = 10 T = 0.72 (out)(err) |
10tree510p.wcnf | O = 21 T = 3.14 |
O = 21 T = 3.14 (out)(err) |
O = 21 T = 14.09 (out)(err) |
O = 21 T = 13.24 (out)(err) |
10tree515p.wcnf | O = 29 T = 17.69 |
O = 29 T = 27.85 (out)(err) |
O = 29 T = 17.69 (out)(err) |
O = 29 T = 24.87 (out)(err) |
10tree520p.wcnf | O = 39 T = 45.96 |
O = 39 T = 57.87 (out)(err) |
O = 39 T = 45.96 (out)(err) |
O = 42 T = 0.08 (out)(err) |
10tree525p.wcnf | O = 52 T = 37.53 |
O = 52 T = 99.94 (out)(err) |
O = 52 T = 37.53 (out)(err) |
O = 52 T = 76.61 (out)(err) |
10tree530p.wcnf | O = 63 T = 34.15 |
O = N/A T = TO (out)(err) |
O = 63 T = 34.15 (out)(err) |
O = 72 T = 0.09 (out)(err) |
15tree1001p.wcnf | O = 13 T = 0.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 0.59 (out)(err) |
15tree1001posib.wcnf | O = 13 T = 31.46 |
O = 13 T = 265.52 (out)(err) |
O = 13 T = 31.46 (out)(err) |
O = 13 T = 38.03 (out)(err) |
15tree101p.wcnf | O = 13 T = 227.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 227.88 (out)(err) |
15tree101posib.wcnf | O = 13 T = 37.90 |
O = N/A T = TO (out)(err) |
O = 13 T = 257.00 (out)(err) |
O = 13 T = 37.90 (out)(err) |
15tree201p.wcnf | O = 13 T = 180.55 |
O = 13 T = 180.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 220.65 (out)(err) |
15tree201posib.wcnf | O = 13 T = 11.32 |
O = 13 T = 11.32 (out)(err) |
O = 13 T = 173.94 (out)(err) |
O = 13 T = 118.76 (out)(err) |
15tree301p.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 0.68 (out)(err) |
15tree301posib.wcnf | O = 13 T = 57.46 |
O = 13 T = 76.15 (out)(err) |
O = 13 T = 164.97 (out)(err) |
O = 13 T = 57.46 (out)(err) |
15tree401p.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 1.29 (out)(err) |
15tree401posib.wcnf | O = 13 T = 20.96 |
O = 13 T = 90.66 (out)(err) |
O = 13 T = 188.19 (out)(err) |
O = 13 T = 20.96 (out)(err) |
15tree501p.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 0.61 (out)(err) |
15tree501posib.wcnf | O = 13 T = 8.51 |
O = 13 T = 8.51 (out)(err) |
O = 13 T = 207.52 (out)(err) |
O = 13 T = 80.75 (out)(err) |
15tree601p.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 0.62 (out)(err) |
15tree601posib.wcnf | O = 13 T = 77.48 |
O = 13 T = 112.56 (out)(err) |
O = 13 T = 201.76 (out)(err) |
O = 13 T = 77.48 (out)(err) |
15tree701p.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 0.98 (out)(err) |
15tree701posib.wcnf | O = 13 T = 38.28 |
O = 13 T = 53.80 (out)(err) |
O = 13 T = 91.39 (out)(err) |
O = 13 T = 38.28 (out)(err) |
15tree801p.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 1.46 (out)(err) |
15tree801posib.wcnf | O = 13 T = 16.38 |
O = 13 T = 16.38 (out)(err) |
O = 13 T = 67.44 (out)(err) |
O = 13 T = 48.14 (out)(err) |
15tree901p.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 1.32 (out)(err) |
15tree901posib.wcnf | O = 13 T = 20.71 |
O = 13 T = 20.71 (out)(err) |
O = 13 T = 61.86 (out)(err) |
O = 13 T = 30.20 (out)(err) |
10tree110p.wcnf | O = 21 T = 3.93 |
O = 21 T = 6.17 (out)(err) |
O = 21 T = 10.76 (out)(err) |
O = 21 T = 3.93 (out)(err) |
10tree115p.wcnf | O = 31 T = 3.39 |
O = 31 T = 3.39 (out)(err) |
O = 31 T = 16.32 (out)(err) |
O = 31 T = 13.32 (out)(err) |
10tree120p.wcnf | O = 42 T = 11.45 |
O = 42 T = 11.45 (out)(err) |
O = 42 T = 19.39 (out)(err) |
O = 61 T = 0.06 (out)(err) |
10tree125p.wcnf | O = 52 T = 7.32 |
O = 52 T = 7.32 (out)(err) |
O = 52 T = 41.45 (out)(err) |
O = 52 T = 1.35 (out)(err) |
10tree130p.wcnf | O = 63 T = 39.53 |
O = 63 T = 165.75 (out)(err) |
O = 63 T = 39.53 (out)(err) |
O = 63 T = 293.06 (out)(err) |
10tree210p.wcnf | O = 21 T = 5.85 |
O = 21 T = 17.17 (out)(err) |
O = 21 T = 17.73 (out)(err) |
O = 21 T = 5.85 (out)(err) |
10tree215p.wcnf | O = 31 T = 13.62 |
O = 31 T = 22.64 (out)(err) |
O = 31 T = 15.50 (out)(err) |
O = 31 T = 13.62 (out)(err) |
10tree220p.wcnf | O = 42 T = 18.05 |
O = 42 T = 82.90 (out)(err) |
O = 42 T = 18.05 (out)(err) |
O = 42 T = 22.58 (out)(err) |
10tree225p.wcnf | O = 52 T = 33.02 |
O = 52 T = 80.39 (out)(err) |
O = 52 T = 33.02 (out)(err) |
O = 52 T = 84.11 (out)(err) |
10tree230p.wcnf | O = 63 T = 50.01 |
O = 63 T = 169.09 (out)(err) |
O = 63 T = 50.01 (out)(err) |
O = 63 T = 241.07 (out)(err) |
10tree305p.wcnf | O = 10 T = 0.78 |
O = 10 T = 6.67 (out)(err) |
O = 10 T = 11.23 (out)(err) |
O = 10 T = 0.78 (out)(err) |
10tree310p.wcnf | O = 21 T = 4.85 |
O = 21 T = 5.34 (out)(err) |
O = 21 T = 14.37 (out)(err) |
O = 21 T = 4.85 (out)(err) |
10tree315p.wcnf | O = 31 T = 6.10 |
O = 31 T = 6.10 (out)(err) |
O = 31 T = 7.05 (out)(err) |
O = 31 T = 12.27 (out)(err) |
10tree320p.wcnf | O = 42 T = 3.33 |
O = 42 T = 3.33 (out)(err) |
O = 42 T = 35.88 (out)(err) |
O = 42 T = 18.07 (out)(err) |
10tree325p.wcnf | O = 52 T = 26.82 |
O = 52 T = 31.49 (out)(err) |
O = 52 T = 26.82 (out)(err) |
O = 82 T = 0.04 (out)(err) |
10tree330p.wcnf | O = 63 T = 12.88 |
O = 63 T = 65.50 (out)(err) |
O = 63 T = 12.88 (out)(err) |
O = 63 T = 253.17 (out)(err) |
10tree405p.wcnf | O = 10 T = 0.87 |
O = 10 T = 3.19 (out)(err) |
O = 10 T = 2.72 (out)(err) |
O = 10 T = 0.87 (out)(err) |
10tree405posib.wcnf | O = 10 T = 0.53 |
O = 10 T = 2.86 (out)(err) |
O = 10 T = 2.48 (out)(err) |
O = 10 T = 0.53 (out)(err) |
10tree410p.wcnf | O = 21 T = 3.58 |
O = 21 T = 3.58 (out)(err) |
O = 21 T = 10.94 (out)(err) |
O = 21 T = 0.03 (out)(err) |
10tree415p.wcnf | O = 31 T = 5.29 |
O = 31 T = 5.29 (out)(err) |
O = 31 T = 10.03 (out)(err) |
O = 31 T = 6.61 (out)(err) |
10tree420p.wcnf | O = 42 T = 5.27 |
O = 42 T = 5.27 (out)(err) |
O = 42 T = 9.24 (out)(err) |
O = 42 T = 1.15 (out)(err) |
10tree425p.wcnf | O = 52 T = 6.25 |
O = 52 T = 18.52 (out)(err) |
O = 52 T = 6.25 (out)(err) |
O = 52 T = 0.07 (out)(err) |
10tree430p.wcnf | O = 63 T = 11.39 |
O = 63 T = 19.05 (out)(err) |
O = 63 T = 11.39 (out)(err) |
O = 63 T = 297.80 (out)(err) |
10tree505p.wcnf | O = 10 T = 0.83 |
O = 10 T = 3.51 (out)(err) |
O = 10 T = 10.29 (out)(err) |
O = 10 T = 0.83 (out)(err) |
10tree505posib.wcnf | O = 10 T = 0.54 |
O = 10 T = 2.64 (out)(err) |
O = 10 T = 2.51 (out)(err) |
O = 10 T = 0.54 (out)(err) |
10tree510p.wcnf | O = 21 T = 6.27 |
O = 21 T = 6.27 (out)(err) |
O = 21 T = 7.30 (out)(err) |
O = 21 T = 0.98 (out)(err) |
10tree515p.wcnf | O = 31 T = 13.56 |
O = 31 T = 14.41 (out)(err) |
O = 31 T = 14.00 (out)(err) |
O = 31 T = 13.56 (out)(err) |
10tree520p.wcnf | O = 42 T = 14.30 |
O = 42 T = 14.30 (out)(err) |
O = 42 T = 21.99 (out)(err) |
O = 42 T = 1.75 (out)(err) |
10tree525p.wcnf | O = 52 T = 15.27 |
O = 52 T = 31.95 (out)(err) |
O = 52 T = 15.27 (out)(err) |
O = 52 T = 3.97 (out)(err) |
10tree530p.wcnf | O = 63 T = 35.89 |
O = 63 T = 87.25 (out)(err) |
O = 63 T = 35.89 (out)(err) |
O = 63 T = 165.04 (out)(err) |
15tree1001p.wcnf | O = 13 T = 35.64 |
O = 13 T = 35.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 73.13 (out)(err) |
15tree1001posib.wcnf | O = 13 T = 10.15 |
O = 13 T = 28.23 (out)(err) |
O = 13 T = 20.32 (out)(err) |
O = 13 T = 10.15 (out)(err) |
15tree101p.wcnf | O = 13 T = 10.34 |
O = 13 T = 10.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 99.53 (out)(err) |
15tree101posib.wcnf | O = 13 T = 7.28 |
O = 13 T = 7.28 (out)(err) |
O = 13 T = 94.88 (out)(err) |
O = 13 T = 38.06 (out)(err) |
15tree201p.wcnf | O = 13 T = 85.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 85.14 (out)(err) |
15tree201posib.wcnf | O = 13 T = 15.75 |
O = 13 T = 15.75 (out)(err) |
O = 13 T = 120.64 (out)(err) |
O = 13 T = 39.79 (out)(err) |
15tree301p.wcnf | O = 13 T = 69.59 |
O = 13 T = 215.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 69.59 (out)(err) |
15tree301posib.wcnf | O = 13 T = 47.04 |
O = 13 T = 71.28 (out)(err) |
O = 13 T = 96.28 (out)(err) |
O = 13 T = 47.04 (out)(err) |
15tree401p.wcnf | O = 13 T = 56.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 56.96 (out)(err) |
15tree401posib.wcnf | O = 13 T = 14.40 |
O = 13 T = 88.87 (out)(err) |
O = 13 T = 143.51 (out)(err) |
O = 13 T = 14.40 (out)(err) |
15tree501p.wcnf | O = 13 T = 62.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 62.34 (out)(err) |
15tree501posib.wcnf | O = 13 T = 16.70 |
O = 13 T = 16.70 (out)(err) |
O = 13 T = 34.41 (out)(err) |
O = 13 T = 29.39 (out)(err) |
15tree601p.wcnf | O = 13 T = 72.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 72.25 (out)(err) |
15tree601posib.wcnf | O = 13 T = 32.78 |
O = 13 T = 47.49 (out)(err) |
O = 13 T = 87.87 (out)(err) |
O = 13 T = 32.78 (out)(err) |
15tree701p.wcnf | O = 13 T = 61.02 |
O = 13 T = 77.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 61.02 (out)(err) |
15tree701posib.wcnf | O = 13 T = 11.93 |
O = 13 T = 26.65 (out)(err) |
O = 13 T = 88.75 (out)(err) |
O = 13 T = 11.93 (out)(err) |
15tree801p.wcnf | O = 13 T = 82.70 |
O = 13 T = 173.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 82.70 (out)(err) |
15tree801posib.wcnf | O = 13 T = 11.76 |
O = 13 T = 19.95 (out)(err) |
O = 13 T = 47.13 (out)(err) |
O = 13 T = 11.76 (out)(err) |
15tree901p.wcnf | O = 13 T = 2.65 |
O = 13 T = 2.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 156.77 (out)(err) |
15tree901posib.wcnf | O = 13 T = 6.70 |
O = 13 T = 30.42 (out)(err) |
O = 13 T = 43.90 (out)(err) |
O = 13 T = 6.70 (out)(err) |
normalized-s3-3-3-1pb.wcnf | O = 36 T = 0.01 |
O = 36 T = 0.94 (out)(err) |
O = 36 T = 0.96 (out)(err) |
O = 36 T = 0.01 (out)(err) |
normalized-s3-3-3-2pb.wcnf | O = 36 T = 0.00 |
O = 36 T = 1.27 (out)(err) |
O = 36 T = 1.17 (out)(err) |
O = 36 T = 0.00 (out)(err) |
normalized-s3-3-3-3pb.wcnf | O = 36 T = 0.00 |
O = 36 T = 1.17 (out)(err) |
O = 36 T = 1.40 (out)(err) |
O = 36 T = 0.00 (out)(err) |
normalized-s3-3-3-4pb.wcnf | O = 36 T = 0.01 |
O = 36 T = 1.49 (out)(err) |
O = 36 T = 1.54 (out)(err) |
O = 36 T = 0.01 (out)(err) |
normalized-s3-3-3-5pb.wcnf | O = 34 T = 0.00 |
O = 34 T = 1.44 (out)(err) |
O = 34 T = 1.51 (out)(err) |
O = 34 T = 0.00 (out)(err) |
normalized-s4-4-3-10pb.wcnf | O = 70 T = 0.05 |
O = 70 T = 4.90 (out)(err) |
O = 70 T = 3.11 (out)(err) |
O = 70 T = 0.05 (out)(err) |
normalized-s4-4-3-1pb.wcnf | O = 62 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 62 T = 0.02 (out)(err) |
normalized-s4-4-3-2pb.wcnf | O = 64 T = 3.96 |
O = 64 T = 66.93 (out)(err) |
O = 64 T = 36.94 (out)(err) |
O = 64 T = 3.96 (out)(err) |
normalized-s4-4-3-3pb.wcnf | O = 62 T = 0.02 |
O = 62 T = 60.44 (out)(err) |
O = 62 T = 8.96 (out)(err) |
O = 62 T = 0.02 (out)(err) |
normalized-s4-4-3-4pb.wcnf | O = 60 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 60 T = 0.10 (out)(err) |
normalized-s4-4-3-5pb.wcnf | O = 60 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 60 T = 0.02 (out)(err) |
normalized-s4-4-3-6pb.wcnf | O = 66 T = 0.01 |
O = 66 T = 10.72 (out)(err) |
O = 66 T = 8.32 (out)(err) |
O = 66 T = 0.01 (out)(err) |
normalized-s4-4-3-7pb.wcnf | O = 64 T = 4.15 |
O = 64 T = 11.57 (out)(err) |
O = 64 T = 7.64 (out)(err) |
O = 64 T = 4.15 (out)(err) |
normalized-s4-4-3-8pb.wcnf | O = 36 T = 0.00 |
O = 36 T = 249.10 (out)(err) |
O = 36 T = 145.28 (out)(err) |
O = 36 T = 0.00 (out)(err) |
normalized-s4-4-3-9pb.wcnf | O = 68 T = 13.07 |
O = 68 T = 19.49 (out)(err) |
O = 68 T = 13.07 (out)(err) |
O = 68 T = 14.92 (out)(err) |
1bpi_.2knt_.g.wcnf.t.wcnf | O = 62 T = 0.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 62 T = 0.74 (out)(err) |
1bpi_.5pti_.g.wcnf.t.wcnf | O = 29 T = 59.51 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 59.51 (out)(err) |
1knt_.1bpi_.g.wcnf.t.wcnf | O = 38 T = 275.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 275.38 (out)(err) |
1knt_.2knt_.g.wcnf.t.wcnf | O = 16 T = 7.44 |
O = 16 T = 200.02 (out)(err) |
O = 16 T = 45.11 (out)(err) |
O = 16 T = 7.44 (out)(err) |
1knt_.5pti_.g.wcnf.t.wcnf | O = 31 T = 3.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 3.25 (out)(err) |
1vii_.1cph_.g.wcnf.t.wcnf | O = 7 T = 0.02 |
O = 7 T = 1.26 (out)(err) |
O = 7 T = 1.53 (out)(err) |
O = 7 T = 0.02 (out)(err) |
2knt_.5pti_.g.wcnf.t.wcnf | O = 32 T = 276.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 276.28 (out)(err) |
3ebx_.1era_.g.wcnf.t.wcnf | O = 37 T = 296.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 37 T = 296.07 (out)(err) |
3ebx_.6ebx_.g.wcnf.t.wcnf | O = 23 T = 33.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 33.47 (out)(err) |
6ebx_.1era_.g.wcnf.t.wcnf | O = 30 T = 208.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 208.16 (out)(err) |
p1.wcnf.t.wcnf | O = 63 T = 0.93 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 0.93 (out)(err) |
sandiaprotein.g.wcnf.t.wcnf | O = 28 T = 138.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 138.84 (out)(err) |
b14-s_PathRelaxation_Set_FS_1.wcnf | O = 75 T = 1.86 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 1.86 (out)(err) |
b14-s_PathRelaxation_Set_FS_10.wcnf | O = 75 T = 134.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 134.63 (out)(err) |
b14-s_PathRelaxation_Set_FS_11.wcnf | O = 75 T = 55.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 55.68 (out)(err) |
b14-s_PathRelaxation_Set_FS_12.wcnf | O = 75 T = 286.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 286.71 (out)(err) |
b14-s_PathRelaxation_Set_FS_2.wcnf | O = 75 T = 21.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 21.02 (out)(err) |
b14-s_PathRelaxation_Set_FS_3.wcnf | O = 75 T = 31.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 31.54 (out)(err) |
b14-s_PathRelaxation_Set_FS_4.wcnf | O = 84 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 84 T = 0.10 (out)(err) |
b14-s_PathRelaxation_Set_FS_5.wcnf | O = 83 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 0.10 (out)(err) |
b14-s_PathRelaxation_Set_FS_6.wcnf | O = 86 T = 0.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 86 T = 0.16 (out)(err) |
b14-s_PathRelaxation_Set_FS_7.wcnf | O = 75 T = 91.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 91.80 (out)(err) |
b14-s_PathRelaxation_Set_FS_8.wcnf | O = 75 T = 47.46 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 47.46 (out)(err) |
b14-s_PathRelaxation_Set_FS_9.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 85 T = 0.09 (out)(err) |
b18-s_PathRelaxation_Set_FS_1.wcnf | O = 148 T = 10.61 |
O = 148 T = 39.98 (out)(err) |
O = 148 T = 36.11 (out)(err) |
O = 148 T = 10.61 (out)(err) |
b18-s_PathRelaxation_Set_FS_10.wcnf | O = 113 T = 119.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 119.70 (out)(err) |
b18-s_PathRelaxation_Set_FS_11.wcnf | O = 113 T = 114.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 114.55 (out)(err) |
b18-s_PathRelaxation_Set_FS_12.wcnf | O = 113 T = 156.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 156.58 (out)(err) |
b18-s_PathRelaxation_Set_FS_2.wcnf | O = 145 T = 244.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 145 T = 244.02 (out)(err) |
b18-s_PathRelaxation_Set_FS_3.wcnf | O = 147 T = 253.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 147 T = 253.29 (out)(err) |
b18-s_PathRelaxation_Set_FS_4.wcnf | O = 230 T = 12.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 230 T = 12.08 (out)(err) |
b18-s_PathRelaxation_Set_FS_5.wcnf | O = 233 T = 19.53 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 233 T = 19.53 (out)(err) |
b18-s_PathRelaxation_Set_FS_6.wcnf | O = 200 T = 16.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 16.56 (out)(err) |
b18-s_PathRelaxation_Set_FS_7.wcnf | O = 225 T = 32.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 225 T = 32.43 (out)(err) |
b18-s_PathRelaxation_Set_FS_8.wcnf | O = 200 T = 10.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 200 T = 10.43 (out)(err) |
b18-s_PathRelaxation_Set_FS_9.wcnf | O = 197 T = 13.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 197 T = 13.06 (out)(err) |
b20-s_PathRelaxation_Set_FS_1.wcnf | O = 84 T = 9.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 84 T = 9.11 (out)(err) |
b20-s_PathRelaxation_Set_FS_10.wcnf | O = 83 T = 37.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 37.10 (out)(err) |
b20-s_PathRelaxation_Set_FS_11.wcnf | O = 83 T = 30.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 30.70 (out)(err) |
b20-s_PathRelaxation_Set_FS_12.wcnf | O = 83 T = 15.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 15.34 (out)(err) |
b20-s_PathRelaxation_Set_FS_2.wcnf | O = 83 T = 9.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 9.55 (out)(err) |
b20-s_PathRelaxation_Set_FS_3.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 19.23 (out)(err) |
b20-s_PathRelaxation_Set_FS_4.wcnf | O = 83 T = 17.73 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 17.73 (out)(err) |
b20-s_PathRelaxation_Set_FS_5.wcnf | O = 83 T = 19.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 19.45 (out)(err) |
b20-s_PathRelaxation_Set_FS_6.wcnf | O = 83 T = 19.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 19.69 (out)(err) |
b20-s_PathRelaxation_Set_FS_7.wcnf | O = 83 T = 26.93 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 26.93 (out)(err) |
b20-s_PathRelaxation_Set_FS_8.wcnf | O = 83 T = 19.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 19.47 (out)(err) |
b20-s_PathRelaxation_Set_FS_9.wcnf | O = 83 T = 17.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 17.81 (out)(err) |
b21-s_PathRelaxation_Set_FS_1.wcnf | O = 89 T = 84.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 84.59 (out)(err) |
b21-s_PathRelaxation_Set_FS_10.wcnf | O = 108 T = 0.67 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 108 T = 0.67 (out)(err) |
b21-s_PathRelaxation_Set_FS_11.wcnf | O = 114 T = 0.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 114 T = 0.56 (out)(err) |
b21-s_PathRelaxation_Set_FS_12.wcnf | O = 93 T = 1.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 93 T = 1.80 (out)(err) |
b21-s_PathRelaxation_Set_FS_2.wcnf | O = 89 T = 260.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 260.99 (out)(err) |
b21-s_PathRelaxation_Set_FS_3.wcnf | O = 89 T = 269.92 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 269.92 (out)(err) |
b21-s_PathRelaxation_Set_FS_4.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 123 T = 0.72 (out)(err) |
b21-s_PathRelaxation_Set_FS_5.wcnf | O = 113 T = 1.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 1.50 (out)(err) |
b21-s_PathRelaxation_Set_FS_6.wcnf | O = 119 T = 0.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 119 T = 0.99 (out)(err) |
b21-s_PathRelaxation_Set_FS_7.wcnf | O = 106 T = 4.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 106 T = 4.16 (out)(err) |
b21-s_PathRelaxation_Set_FS_8.wcnf | O = 103 T = 0.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 103 T = 0.85 (out)(err) |
b21-s_PathRelaxation_Set_FS_9.wcnf | O = 88 T = 158.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 158.32 (out)(err) |
b14-s_PathRelaxation_FS_1.wcnf | O = 76 T = 0.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 76 T = 0.09 (out)(err) |
b14-s_PathRelaxation_FS_10.wcnf | O = 75 T = 0.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 0.96 (out)(err) |
b14-s_PathRelaxation_FS_11.wcnf | O = 75 T = 0.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 0.99 (out)(err) |
b14-s_PathRelaxation_FS_12.wcnf | O = 75 T = 2.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 2.25 (out)(err) |
b14-s_PathRelaxation_FS_13.wcnf | O = 75 T = 2.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 2.55 (out)(err) |
b14-s_PathRelaxation_FS_14.wcnf | O = 76 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 76 T = 0.05 (out)(err) |
b14-s_PathRelaxation_FS_15.wcnf | O = 75 T = 2.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 2.01 (out)(err) |
b14-s_PathRelaxation_FS_16.wcnf | O = 75 T = 3.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 3.56 (out)(err) |
b14-s_PathRelaxation_FS_17.wcnf | O = 75 T = 2.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 2.80 (out)(err) |
b14-s_PathRelaxation_FS_18.wcnf | O = 75 T = 2.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 2.49 (out)(err) |
b14-s_PathRelaxation_FS_19.wcnf | O = 75 T = 2.42 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 2.42 (out)(err) |
b14-s_PathRelaxation_FS_2.wcnf | O = 75 T = 5.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 5.32 (out)(err) |
b14-s_PathRelaxation_FS_20.wcnf | O = 75 T = 2.93 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 2.93 (out)(err) |
b14-s_PathRelaxation_FS_21.wcnf | O = 74 T = 2.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 74 T = 2.30 (out)(err) |
b14-s_PathRelaxation_FS_22.wcnf | O = 79 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 79 T = 0.05 (out)(err) |
b14-s_PathRelaxation_FS_23.wcnf | O = 77 T = 0.73 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 77 T = 0.73 (out)(err) |
b14-s_PathRelaxation_FS_24.wcnf | O = 79 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 79 T = 0.05 (out)(err) |
b14-s_PathRelaxation_FS_25.wcnf | O = 75 T = 1.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 1.18 (out)(err) |
b14-s_PathRelaxation_FS_3.wcnf | O = 75 T = 0.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 0.88 (out)(err) |
b14-s_PathRelaxation_FS_4.wcnf | O = 75 T = 5.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 5.11 (out)(err) |
b14-s_PathRelaxation_FS_5.wcnf | O = 75 T = 3.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 3.10 (out)(err) |
b14-s_PathRelaxation_FS_6.wcnf | O = 75 T = 2.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 2.96 (out)(err) |
b14-s_PathRelaxation_FS_7.wcnf | O = 75 T = 1.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 1.47 (out)(err) |
b14-s_PathRelaxation_FS_8.wcnf | O = 75 T = 1.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 1.25 (out)(err) |
b14-s_PathRelaxation_FS_9.wcnf | O = 75 T = 2.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 75 T = 2.84 (out)(err) |
b21-s_PathRelaxation_FS_1.wcnf | O = 89 T = 27.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 27.70 (out)(err) |
b21-s_PathRelaxation_FS_10.wcnf | O = 89 T = 22.93 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 22.93 (out)(err) |
b21-s_PathRelaxation_FS_11.wcnf | O = 88 T = 46.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 46.50 (out)(err) |
b21-s_PathRelaxation_FS_12.wcnf | O = 88 T = 213.53 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 213.53 (out)(err) |
b21-s_PathRelaxation_FS_13.wcnf | O = 93 T = 3.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 93 T = 3.37 (out)(err) |
b21-s_PathRelaxation_FS_14.wcnf | O = 89 T = 84.82 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 84.82 (out)(err) |
b21-s_PathRelaxation_FS_15.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 92 T = 5.47 (out)(err) |
b21-s_PathRelaxation_FS_16.wcnf | O = 88 T = 245.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 245.55 (out)(err) |
b21-s_PathRelaxation_FS_17.wcnf | O = 88 T = 94.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 94.55 (out)(err) |
b21-s_PathRelaxation_FS_18.wcnf | O = 88 T = 205.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 205.41 (out)(err) |
b21-s_PathRelaxation_FS_19.wcnf | O = 88 T = 37.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 37.68 (out)(err) |
b21-s_PathRelaxation_FS_2.wcnf | O = 90 T = 185.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 185.81 (out)(err) |
b21-s_PathRelaxation_FS_20.wcnf | O = 88 T = 59.91 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 59.91 (out)(err) |
b21-s_PathRelaxation_FS_21.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 270.72 (out)(err) |
b21-s_PathRelaxation_FS_22.wcnf | O = 99 T = 7.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 99 T = 7.10 (out)(err) |
b21-s_PathRelaxation_FS_23.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 236.95 (out)(err) |
b21-s_PathRelaxation_FS_24.wcnf | O = 88 T = 248.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 248.74 (out)(err) |
b21-s_PathRelaxation_FS_25.wcnf | O = 88 T = 21.46 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 21.46 (out)(err) |
b21-s_PathRelaxation_FS_3.wcnf | O = 90 T = 294.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 294.99 (out)(err) |
b21-s_PathRelaxation_FS_4.wcnf | O = 92 T = 280.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 92 T = 280.24 (out)(err) |
b21-s_PathRelaxation_FS_5.wcnf | O = 89 T = 277.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 277.25 (out)(err) |
b21-s_PathRelaxation_FS_6.wcnf | O = N/A T = TO |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 84.70 (out)(err) |
b21-s_PathRelaxation_FS_7.wcnf | O = 89 T = 218.86 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 218.86 (out)(err) |
b21-s_PathRelaxation_FS_8.wcnf | O = 89 T = 23.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 23.80 (out)(err) |
b21-s_PathRelaxation_FS_9.wcnf | O = 88 T = 124.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 124.29 (out)(err) |