| 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 | CCLS2014 | CCMPA | Dist | SAT4J-ms-inc | WPM-2014-in | antom_inc | optimax2-r-i | optimax2-rn-i |
|---|---|---|---|---|---|---|---|---|---|
| mul_8_11.wcnf | O = 64 T = 31.09 |
O = N/A T = TO (out)(err) |
O = 64 T = 31.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 178 T = 284.68 (out)(err) |
O = 866 T = 42.82 (out)(err) |
O = 194 T = 0.69 (out)(err) |
O = 194 T = 0.69 (out)(err) |
| mul_8_13.wcnf | O = 60 T = 60.62 |
O = N/A T = TO (out)(err) |
O = 60 T = 60.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 162 T = 284.71 (out)(err) |
O = 853 T = 71.06 (out)(err) |
O = 162 T = 0.70 (out)(err) |
O = 162 T = 0.68 (out)(err) |
| mul_8_14.wcnf | O = 56 T = 200.29 |
O = N/A T = TO (out)(err) |
O = 56 T = 200.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 110 T = 284.69 (out)(err) |
O = 805 T = 40.24 (out)(err) |
O = 110 T = 0.66 (out)(err) |
O = 110 T = 0.64 (out)(err) |
| mul_8_3.wcnf | O = 36 T = 2.25 |
O = N/A T = TO (out)(err) |
O = 36 T = 2.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 45 T = 284.69 (out)(err) |
O = 564 T = 6.77 (out)(err) |
O = 45 T = 0.25 (out)(err) |
O = 45 T = 0.25 (out)(err) |
| mul_8_9.wcnf | O = 42 T = 3.82 |
O = N/A T = TO (out)(err) |
O = 42 T = 3.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 284.71 (out)(err) |
O = 824 T = 16.56 (out)(err) |
O = 83 T = 0.39 (out)(err) |
O = 83 T = 0.39 (out)(err) |
| sbox_4.wcnf | O = 22 T = 0.02 |
O = 22 T = 1.38 (out)(err) |
O = 22 T = 0.02 (out)(err) |
O = 22 T = 1.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 284.61 (out)(err) |
O = 28 T = 0.01 (out)(err) |
O = 32 T = 0.21 (out)(err) |
O = 22 T = 35.88 (out)(err) |
| sbox_8.wcnf | O = 845 T = 41.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 845 T = 41.49 (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_01.wcnf | O = 20 T = 287.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 287.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 73.35 (out)(err) |
O = 120 T = 72.04 (out)(err) |
| atcoss_mesat_02.wcnf | O = 120 T = 284.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 284.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_03.wcnf | O = 120 T = 102.91 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 284.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 119.90 (out)(err) |
O = 120 T = 102.91 (out)(err) |
| atcoss_mesat_04.wcnf | O = 120 T = 284.79 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 284.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_05.wcnf | O = 110 T = 284.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 110 T = 284.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_06.wcnf | O = 120 T = 284.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 284.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_07.wcnf | O = 0 T = 69.64 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 69.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_08.wcnf | O = 0 T = 70.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 70.35 (out)(err) |
O = 0 T = 178.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_09.wcnf | O = 0 T = 108.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 108.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = 110 T = 89.06 (out)(err) |
O = 110 T = 96.01 (out)(err) |
| atcoss_mesat_10.wcnf | O = 120 T = 284.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 284.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 130 T = 147.42 (out)(err) |
O = 130 T = 152.24 (out)(err) |
| atcoss_mesat_11.wcnf | O = 50 T = 87.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 50 T = 87.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_12.wcnf | O = 12 T = 59.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 59.58 (out)(err) |
O = 12 T = 215.80 (out)(err) |
O = 130 T = 104.96 (out)(err) |
O = 130 T = 126.81 (out)(err) |
| atcoss_mesat_13.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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_14.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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_16.wcnf | O = 0 T = 94.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 94.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 143.56 (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_17.wcnf | O = 0 T = 121.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 121.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_mesat_18.wcnf | O = 130 T = 284.79 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 130 T = 284.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_sugar_01.wcnf | O = 20 T = 88.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 70 T = 148.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 88.02 (out)(err) |
O = 20 T = 170.71 (out)(err) |
O = 122 T = 28.76 (out)(err) |
O = 100 T = 88.71 (out)(err) |
| atcoss_sugar_02.wcnf | O = 96 T = 96.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 132 T = 284.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 105 T = 43.49 (out)(err) |
O = 96 T = 96.00 (out)(err) |
| atcoss_sugar_03.wcnf | O = 110 T = 82.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 187 T = 284.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 41.84 (out)(err) |
O = 110 T = 82.04 (out)(err) |
| atcoss_sugar_04.wcnf | O = 161 T = 284.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 284.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_sugar_05.wcnf | O = 166 T = 284.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 166 T = 284.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_sugar_06.wcnf | O = 20 T = 133.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 133.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_sugar_07.wcnf | O = 0 T = 20.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 60 T = 223.12 (out)(err) |
O = 0 T = 214.96 (out)(err) |
O = 0 T = 20.13 (out)(err) |
O = 0 T = 46.95 (out)(err) |
O = 113 T = 69.05 (out)(err) |
O = 113 T = 77.85 (out)(err) |
| atcoss_sugar_08.wcnf | O = 0 T = 21.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 60 T = 12.18 (out)(err) |
O = 0 T = 146.40 (out)(err) |
O = 0 T = 21.99 (out)(err) |
O = 0 T = 30.11 (out)(err) |
O = 130 T = 76.78 (out)(err) |
O = 130 T = 70.45 (out)(err) |
| atcoss_sugar_09.wcnf | O = 0 T = 116.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 70 T = 31.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 116.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 106 T = 45.72 (out)(err) |
O = 90 T = 99.52 (out)(err) |
| atcoss_sugar_10.wcnf | O = 81 T = 45.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 81 T = 45.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 164 T = 284.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 146 T = 45.74 (out)(err) |
O = 141 T = 90.35 (out)(err) |
| atcoss_sugar_11.wcnf | O = 50 T = 14.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 50 T = 81.42 (out)(err) |
O = 50 T = 14.69 (out)(err) |
O = 50 T = 41.92 (out)(err) |
O = 203 T = 48.67 (out)(err) |
O = 134 T = 102.55 (out)(err) |
| atcoss_sugar_12.wcnf | O = 12 T = 121.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 68 T = 220.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 121.05 (out)(err) |
O = 12 T = 163.85 (out)(err) |
O = 126 T = 41.58 (out)(err) |
O = 112 T = 86.72 (out)(err) |
| atcoss_sugar_13.wcnf | O = 0 T = 77.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 77.66 (out)(err) |
O = 0 T = 270.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_sugar_14.wcnf | O = 0 T = 154.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 154.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_sugar_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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| atcoss_sugar_16.wcnf | O = 0 T = 23.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 70 T = 241.04 (out)(err) |
O = 0 T = 203.84 (out)(err) |
O = 0 T = 23.31 (out)(err) |
O = 0 T = 59.45 (out)(err) |
O = 120 T = 67.06 (out)(err) |
O = 120 T = 64.15 (out)(err) |
| atcoss_sugar_17.wcnf | O = 0 T = 49.92 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 49.92 (out)(err) |
O = 0 T = 156.88 (out)(err) |
O = 114 T = 100.70 (out)(err) |
O = 114 T = 101.41 (out)(err) |
| atcoss_sugar_18.wcnf | O = 120 T = 130.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 130 T = 284.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 130.19 (out)(err) |
| atcoss_sugar_19.wcnf | O = 110 T = 276.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 110 T = 276.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| normalized-f20c10b_001_area_delay.wcnf | O = 28 T = 2.43 |
O = 30 T = 251.67 (out)(err) |
O = 28 T = 25.15 (out)(err) |
O = 29 T = 64.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 2.43 (out)(err) |
O = 48 T = 1.86 (out)(err) |
O = 28 T = 159.14 (out)(err) |
O = 28 T = 186.53 (out)(err) |
| normalized-f20c10b_002_area_delay.wcnf | O = 24 T = 0.46 |
O = 25 T = 4.35 (out)(err) |
O = 24 T = 13.09 (out)(err) |
O = 24 T = 104.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.46 (out)(err) |
O = 41 T = 0.76 (out)(err) |
O = 24 T = 0.62 (out)(err) |
O = 24 T = 21.42 (out)(err) |
| normalized-f20c10b_003_area_delay.wcnf | O = 26 T = 0.59 |
O = 27 T = 24.73 (out)(err) |
O = 26 T = 8.28 (out)(err) |
O = 26 T = 39.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 1.02 (out)(err) |
O = 40 T = 0.94 (out)(err) |
O = 26 T = 0.59 (out)(err) |
O = 26 T = 14.21 (out)(err) |
| normalized-f20c10b_004_area_delay.wcnf | O = 27 T = 0.56 |
O = 27 T = 8.07 (out)(err) |
O = 27 T = 0.56 (out)(err) |
O = 27 T = 34.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 0.81 (out)(err) |
O = 39 T = 0.70 (out)(err) |
O = 27 T = 15.48 (out)(err) |
O = 27 T = 14.86 (out)(err) |
| normalized-f20c10b_005_area_delay.wcnf | O = 26 T = 1.26 |
O = 27 T = 34.84 (out)(err) |
O = 26 T = 6.47 (out)(err) |
O = 28 T = 68.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 1.26 (out)(err) |
O = 38 T = 4.95 (out)(err) |
O = 26 T = 25.68 (out)(err) |
O = 26 T = 18.03 (out)(err) |
| normalized-f20c10b_006_area_delay.wcnf | O = 22 T = 0.23 |
O = 22 T = 0.29 (out)(err) |
O = 22 T = 0.37 (out)(err) |
O = 22 T = 10.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 0.28 (out)(err) |
O = 34 T = 0.34 (out)(err) |
O = 22 T = 0.23 (out)(err) |
O = 22 T = 1.35 (out)(err) |
| normalized-f20c10b_007_area_delay.wcnf | O = 26 T = 2.64 |
O = N/A T = TO (out)(err) |
O = 26 T = 10.36 (out)(err) |
O = 27 T = 95.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 2.64 (out)(err) |
O = 43 T = 1.94 (out)(err) |
O = 26 T = 55.30 (out)(err) |
O = 26 T = 21.92 (out)(err) |
| normalized-f20c10b_008_area_delay.wcnf | O = 25 T = 1.88 |
O = 26 T = 15.60 (out)(err) |
O = 25 T = 11.84 (out)(err) |
O = 25 T = 25.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 1.88 (out)(err) |
O = 41 T = 0.49 (out)(err) |
O = 25 T = 3.31 (out)(err) |
O = 25 T = 12.30 (out)(err) |
| normalized-f20c10b_009_area_delay.wcnf | O = 24 T = 0.24 |
O = 24 T = 8.19 (out)(err) |
O = 24 T = 0.96 (out)(err) |
O = 24 T = 23.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.24 (out)(err) |
O = 31 T = 0.75 (out)(err) |
O = 24 T = 0.26 (out)(err) |
O = 24 T = 2.01 (out)(err) |
| normalized-f20c10b_010_area_delay.wcnf | O = 26 T = 27.16 |
O = 28 T = 187.38 (out)(err) |
O = 26 T = 46.20 (out)(err) |
O = 27 T = 45.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 27.16 (out)(err) |
O = 39 T = 2.18 (out)(err) |
O = 58 T = 0.04 (out)(err) |
O = 26 T = 225.52 (out)(err) |
| normalized-f20c10b_011_area_delay.wcnf | O = 26 T = 0.75 |
O = 26 T = 109.42 (out)(err) |
O = 26 T = 6.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 1.02 (out)(err) |
O = 42 T = 3.03 (out)(err) |
O = 26 T = 0.75 (out)(err) |
O = 26 T = 34.10 (out)(err) |
| normalized-f20c10b_012_area_delay.wcnf | O = 27 T = 4.10 |
O = 30 T = 162.99 (out)(err) |
O = 27 T = 10.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 4.10 (out)(err) |
O = 49 T = 3.65 (out)(err) |
O = 55 T = 0.06 (out)(err) |
O = 27 T = 49.70 (out)(err) |
| normalized-f20c10b_013_area_delay.wcnf | O = 22 T = 6.50 |
O = 22 T = 48.47 (out)(err) |
O = 22 T = 6.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 6.72 (out)(err) |
O = 22 T = 14.39 (out)(err) |
O = 22 T = 82.66 (out)(err) |
| normalized-f20c10b_014_area_delay.wcnf | O = 27 T = 0.57 |
O = 28 T = 64.73 (out)(err) |
O = 27 T = 0.57 (out)(err) |
O = 27 T = 19.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 3.78 (out)(err) |
O = 45 T = 0.65 (out)(err) |
O = 58 T = 0.02 (out)(err) |
O = 27 T = 30.54 (out)(err) |
| normalized-f20c10b_015_area_delay.wcnf | O = 25 T = 1.13 |
O = 25 T = 21.92 (out)(err) |
O = 25 T = 1.82 (out)(err) |
O = 25 T = 74.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 1.13 (out)(err) |
O = 39 T = 1.12 (out)(err) |
O = 25 T = 2.20 (out)(err) |
O = 25 T = 15.30 (out)(err) |
| normalized-f20c10b_016_area_delay.wcnf | O = 25 T = 1.07 |
O = 25 T = 9.01 (out)(err) |
O = 25 T = 13.46 (out)(err) |
O = 25 T = 35.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 1.07 (out)(err) |
O = 33 T = 1.82 (out)(err) |
O = 25 T = 25.73 (out)(err) |
O = 25 T = 6.89 (out)(err) |
| normalized-f20c10b_017_area_delay.wcnf | O = 25 T = 2.10 |
O = 26 T = 65.67 (out)(err) |
O = 25 T = 2.10 (out)(err) |
O = 25 T = 221.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 5.66 (out)(err) |
O = 43 T = 1.47 (out)(err) |
O = 47 T = 0.03 (out)(err) |
O = 25 T = 57.42 (out)(err) |
| normalized-f20c10b_018_area_delay.wcnf | O = 25 T = 0.45 |
O = 25 T = 40.96 (out)(err) |
O = 25 T = 1.94 (out)(err) |
O = 25 T = 13.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 0.45 (out)(err) |
O = 36 T = 0.36 (out)(err) |
O = 25 T = 14.10 (out)(err) |
O = 25 T = 6.35 (out)(err) |
| normalized-f20c10b_019_area_delay.wcnf | O = 24 T = 0.66 |
O = 26 T = 67.43 (out)(err) |
O = 24 T = 21.07 (out)(err) |
O = 24 T = 45.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.66 (out)(err) |
O = 39 T = 0.98 (out)(err) |
O = 24 T = 2.52 (out)(err) |
O = 24 T = 24.71 (out)(err) |
| normalized-f20c10b_020_area_delay.wcnf | O = 23 T = 0.22 |
O = 23 T = 2.64 (out)(err) |
O = 23 T = 0.56 (out)(err) |
O = 23 T = 39.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 0.24 (out)(err) |
O = 40 T = 0.41 (out)(err) |
O = 23 T = 0.22 (out)(err) |
O = 23 T = 3.79 (out)(err) |
| normalized-f20c10b_021_area_delay.wcnf | O = 24 T = 0.55 |
O = 24 T = 4.55 (out)(err) |
O = 24 T = 5.26 (out)(err) |
O = 25 T = 43.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.74 (out)(err) |
O = 38 T = 1.38 (out)(err) |
O = 24 T = 0.55 (out)(err) |
O = 24 T = 14.38 (out)(err) |
| normalized-f20c10b_022_area_delay.wcnf | O = 26 T = 1.26 |
O = 26 T = 6.98 (out)(err) |
O = 26 T = 1.65 (out)(err) |
O = 27 T = 29.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 1.26 (out)(err) |
O = 41 T = 1.29 (out)(err) |
O = 26 T = 6.28 (out)(err) |
O = 26 T = 6.35 (out)(err) |
| normalized-f20c10b_023_area_delay.wcnf | O = 22 T = 6.61 |
O = 23 T = 2.00 (out)(err) |
O = 22 T = 6.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 44 T = 5.27 (out)(err) |
O = 22 T = 27.06 (out)(err) |
O = 22 T = 61.48 (out)(err) |
| normalized-f20c10b_024_area_delay.wcnf | O = 24 T = 0.70 |
O = 24 T = 0.76 (out)(err) |
O = 24 T = 0.70 (out)(err) |
O = 24 T = 67.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 1.67 (out)(err) |
O = 39 T = 0.34 (out)(err) |
O = 24 T = 7.71 (out)(err) |
O = 24 T = 5.36 (out)(err) |
| normalized-f20c10b_025_area_delay.wcnf | O = 25 T = 8.75 |
O = 26 T = 23.96 (out)(err) |
O = 25 T = 8.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 12.93 (out)(err) |
O = 34 T = 5.31 (out)(err) |
O = 25 T = 44.24 (out)(err) |
O = 25 T = 172.80 (out)(err) |
| normalized-fir06_area_delay.wcnf | O = 15 T = 0.17 |
O = 15 T = 8.03 (out)(err) |
O = 16 T = 233.94 (out)(err) |
O = 18 T = 24.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 0.17 (out)(err) |
O = 19 T = 0.60 (out)(err) |
O = 15 T = 0.27 (out)(err) |
O = 15 T = 113.58 (out)(err) |
| normalized-fir07_area_delay.wcnf | O = 16 T = 16.59 |
O = 16 T = 16.59 (out)(err) |
O = 21 T = 104.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 2.34 (out)(err) |
O = 29 T = 0.04 (out)(err) |
O = 18 T = 254.08 (out)(err) |
| normalized-fir08_area_delay.wcnf | O = 38 T = 161.39 |
O = N/A T = TO (out)(err) |
O = 136 T = 272.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 39 T = 270.72 (out)(err) |
O = 44 T = 0.44 (out)(err) |
O = 38 T = 161.39 (out)(err) |
| normalized-fir08_area_opers.wcnf | O = 49 T = 50.13 |
O = 49 T = 50.13 (out)(err) |
O = 71 T = 25.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 0.49 (out)(err) |
O = 53 T = 0.48 (out)(err) |
| normalized-fir08_area_partials.wcnf | O = 49 T = 8.95 |
O = N/A T = TO (out)(err) |
O = 868 T = 283.38 (out)(err) |
O = 124 T = 266.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 49 T = 14.57 (out)(err) |
O = 56 T = 1.51 (out)(err) |
O = 49 T = 28.75 (out)(err) |
O = 49 T = 8.95 (out)(err) |
| normalized-fir09_area_delay.wcnf | O = 17 T = 124.45 |
O = 17 T = 124.45 (out)(err) |
O = 26 T = 241.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 284.64 (out)(err) |
O = 25 T = 2.82 (out)(err) |
O = 30 T = 0.05 (out)(err) |
O = 21 T = 168.78 (out)(err) |
| normalized-fir09_area_opers.wcnf | O = 34 T = 3.88 |
O = 34 T = 13.41 (out)(err) |
O = 34 T = 3.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 47 T = 8.42 (out)(err) |
O = 34 T = 32.09 (out)(err) |
O = 34 T = 148.28 (out)(err) |
| simp-ibd_50.01.wcnf | O = 53 T = 0.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 4.11 (out)(err) |
O = 53 T = 12.73 (out)(err) |
O = 53 T = 1.64 (out)(err) |
O = 53 T = 0.19 (out)(err) |
O = 53 T = 3.82 (out)(err) |
O = 53 T = 1.19 (out)(err) |
| simp-ibd_50.02.wcnf | O = 56 T = 0.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 56 T = 3.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = 56 T = 0.52 (out)(err) |
O = 58 T = 0.52 (out)(err) |
O = 71 T = 0.02 (out)(err) |
O = 56 T = 3.04 (out)(err) |
| simp-ibd_50.03.wcnf | O = 54 T = 0.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 54 T = 14.16 (out)(err) |
O = 54 T = 2.78 (out)(err) |
O = 54 T = 0.39 (out)(err) |
O = 54 T = 0.19 (out)(err) |
O = 54 T = 2.84 (out)(err) |
O = 54 T = 0.68 (out)(err) |
| simp-ibd_50.04.wcnf | O = 55 T = 1.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 55 T = 2.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 55 T = 28.94 (out)(err) |
O = 57 T = 0.31 (out)(err) |
O = 73 T = 0.02 (out)(err) |
O = 55 T = 1.58 (out)(err) |
| simp-ibd_50.05.wcnf | O = 59 T = 0.62 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 59 T = 8.74 (out)(err) |
O = 59 T = 61.51 (out)(err) |
O = 59 T = 0.62 (out)(err) |
O = 60 T = 0.10 (out)(err) |
O = 75 T = 0.02 (out)(err) |
O = 59 T = 1.21 (out)(err) |
| simp-ibd_50.06.wcnf | O = 55 T = 0.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 55 T = 1.50 (out)(err) |
O = N/A T = TO (out)(err) |
O = 55 T = 184.53 (out)(err) |
O = 58 T = 2.55 (out)(err) |
O = 64 T = 0.02 (out)(err) |
O = 55 T = 0.17 (out)(err) |
| simp-ibd_50.07.wcnf | O = 57 T = 0.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 57 T = 44.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 57 T = 27.22 (out)(err) |
O = 57 T = 0.23 (out)(err) |
O = 69 T = 0.02 (out)(err) |
O = 57 T = 4.00 (out)(err) |
| simp-ibd_50.08.wcnf | O = 57 T = 29.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 57 T = 129.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 58 T = 284.71 (out)(err) |
O = 58 T = 0.71 (out)(err) |
O = 74 T = 0.02 (out)(err) |
O = 57 T = 29.25 (out)(err) |
| simp-ibd_50.09.wcnf | O = 57 T = 0.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 57 T = 0.64 (out)(err) |
O = 57 T = 3.73 (out)(err) |
O = 57 T = 0.20 (out)(err) |
O = 57 T = 0.11 (out)(err) |
O = 57 T = 86.14 (out)(err) |
O = 57 T = 0.70 (out)(err) |
| simp-test_chr21_YRI_75.wcnf | O = 44 T = 1.75 |
O = N/A T = TO (out)(err) |
O = 44 T = 139.84 (out)(err) |
O = 44 T = 1.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 44 T = 17.31 (out)(err) |
O = 46 T = 0.29 (out)(err) |
O = 79 T = 0.03 (out)(err) |
O = 44 T = 16.44 (out)(err) |
| SU1__simp-genos.haps.1.wcnf | O = 73 T = 0.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 73 T = 3.65 (out)(err) |
O = 73 T = 3.75 (out)(err) |
O = 73 T = 0.19 (out)(err) |
O = 79 T = 0.36 (out)(err) |
O = 73 T = 2.43 (out)(err) |
O = 73 T = 2.91 (out)(err) |
| SU1__simp-genos.haps.10.wcnf | O = 90 T = 14.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 91 T = 49.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 126.51 (out)(err) |
O = 96 T = 0.50 (out)(err) |
O = 133 T = 0.05 (out)(err) |
O = 90 T = 14.68 (out)(err) |
| SU1__simp-genos.haps.18.wcnf | O = 74 T = 0.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 74 T = 2.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 74 T = 0.84 (out)(err) |
O = 77 T = 0.41 (out)(err) |
O = 74 T = 26.57 (out)(err) |
O = 74 T = 5.23 (out)(err) |
| SU1__simp-genos.haps.19.wcnf | O = 79 T = 2.21 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 79 T = 42.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 79 T = 2.21 (out)(err) |
O = 83 T = 0.50 (out)(err) |
O = 127 T = 0.07 (out)(err) |
O = 79 T = 5.74 (out)(err) |
| SU1__simp-genos.haps.26.wcnf | O = 81 T = 27.64 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 81 T = 292.52 (out)(err) |
O = N/A T = TO (out)(err) |
O = 81 T = 40.73 (out)(err) |
O = 84 T = 0.51 (out)(err) |
O = 127 T = 0.06 (out)(err) |
O = 81 T = 27.64 (out)(err) |
| SU1__simp-genos.haps.27.wcnf | O = 92 T = 5.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 92 T = 104.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 92 T = 5.71 (out)(err) |
O = 99 T = 0.37 (out)(err) |
O = 92 T = 10.33 (out)(err) |
O = 92 T = 7.37 (out)(err) |
| SU1__simp-genos.haps.29.wcnf | O = 68 T = 0.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 68 T = 10.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 68 T = 7.20 (out)(err) |
O = 68 T = 0.59 (out)(err) |
O = 102 T = 0.06 (out)(err) |
O = 68 T = 1.02 (out)(err) |
| SU1__simp-genos.haps.30.wcnf | O = 69 T = 3.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 69 T = 289.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 69 T = 3.50 (out)(err) |
O = 72 T = 0.40 (out)(err) |
O = 120 T = 0.05 (out)(err) |
O = 69 T = 4.83 (out)(err) |
| SU1__simp-genos.haps.32.wcnf | O = 71 T = 11.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 71 T = 21.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 71 T = 11.63 (out)(err) |
O = 78 T = 0.50 (out)(err) |
O = 123 T = 0.05 (out)(err) |
O = 71 T = 39.46 (out)(err) |
| SU1__simp-genos.haps.34.wcnf | O = 69 T = 1.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 69 T = 120.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 69 T = 1.10 (out)(err) |
O = 76 T = 0.56 (out)(err) |
O = 104 T = 0.05 (out)(err) |
O = 69 T = 7.25 (out)(err) |
| SU1__simp-genos.haps.37.wcnf | O = 77 T = 0.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 77 T = 6.63 (out)(err) |
O = 77 T = 246.21 (out)(err) |
O = 77 T = 0.30 (out)(err) |
O = 81 T = 0.32 (out)(err) |
O = 77 T = 4.92 (out)(err) |
O = 77 T = 2.88 (out)(err) |
| SU1__simp-genos.haps.38.wcnf | O = 89 T = 6.21 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 16.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 6.21 (out)(err) |
O = 92 T = 0.34 (out)(err) |
O = 124 T = 0.04 (out)(err) |
O = 89 T = 9.60 (out)(err) |
| SU1__simp-genos.haps.50.wcnf | O = 59 T = 0.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 59 T = 7.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = 59 T = 0.32 (out)(err) |
O = 61 T = 0.70 (out)(err) |
O = 59 T = 3.68 (out)(err) |
O = 59 T = 7.24 (out)(err) |
| SU1__simp-genos.haps.54.wcnf | O = 72 T = 0.42 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 72 T = 13.54 (out)(err) |
O = 72 T = 108.36 (out)(err) |
O = 72 T = 0.42 (out)(err) |
O = 74 T = 0.50 (out)(err) |
O = 72 T = 7.28 (out)(err) |
O = 72 T = 5.60 (out)(err) |
| SU1__simp-genos.haps.58.wcnf | O = 85 T = 10.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 85 T = 128.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 85 T = 10.00 (out)(err) |
O = 90 T = 0.42 (out)(err) |
O = 125 T = 0.04 (out)(err) |
O = 85 T = 14.08 (out)(err) |
| SU1__simp-genos.haps.62.wcnf | O = 67 T = 3.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 67 T = 11.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 67 T = 3.29 (out)(err) |
O = 71 T = 0.36 (out)(err) |
O = 121 T = 0.04 (out)(err) |
O = 67 T = 9.39 (out)(err) |
| SU1__simp-genos.haps.69.wcnf | O = 76 T = 4.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 77 T = 13.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 76 T = 4.30 (out)(err) |
O = 79 T = 0.44 (out)(err) |
O = 118 T = 0.05 (out)(err) |
O = 76 T = 16.94 (out)(err) |
| SU1__simp-genos.haps.7.wcnf | O = 73 T = 112.62 |
O = N/A T = TO (out)(err) |
O = 159 T = 194.68 (out)(err) |
O = 73 T = 112.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 284.61 (out)(err) |
O = 76 T = 0.56 (out)(err) |
O = 125 T = 0.06 (out)(err) |
O = 73 T = 277.66 (out)(err) |
| SU1__simp-genos.haps.70.wcnf | O = 58 T = 0.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 58 T = 35.56 (out)(err) |
O = 58 T = 78.22 (out)(err) |
O = 58 T = 0.47 (out)(err) |
O = 60 T = 0.63 (out)(err) |
O = 58 T = 4.39 (out)(err) |
O = 58 T = 4.41 (out)(err) |
| SU1__simp-genos.haps.8.wcnf | O = 63 T = 0.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 2.18 (out)(err) |
O = 63 T = 29.42 (out)(err) |
O = 63 T = 0.45 (out)(err) |
O = 63 T = 0.30 (out)(err) |
O = 63 T = 2.49 (out)(err) |
O = 63 T = 2.59 (out)(err) |
| SU1__simp-genos.haps.85.wcnf | O = 65 T = 0.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 65 T = 26.24 (out)(err) |
O = 65 T = 10.70 (out)(err) |
O = 65 T = 0.37 (out)(err) |
O = 68 T = 0.34 (out)(err) |
O = 65 T = 4.03 (out)(err) |
O = 65 T = 3.19 (out)(err) |
| SU1__simp-genos.haps.86.wcnf | O = 56 T = 0.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 56 T = 4.46 (out)(err) |
O = 56 T = 5.60 (out)(err) |
O = 56 T = 0.63 (out)(err) |
O = 58 T = 0.51 (out)(err) |
O = 56 T = 6.31 (out)(err) |
O = 56 T = 3.17 (out)(err) |
| SU3__simp-genos.haps.21.wcnf | O = 113 T = 20.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 215.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 114 T = 284.68 (out)(err) |
O = 114 T = 0.61 (out)(err) |
O = 139 T = 0.05 (out)(err) |
O = 113 T = 20.06 (out)(err) |
| SU3__simp-genos.haps.23.wcnf | O = 110 T = 2.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 111 T = 2.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 110 T = 2.15 (out)(err) |
O = 113 T = 0.26 (out)(err) |
O = 139 T = 0.04 (out)(err) |
O = 110 T = 5.96 (out)(err) |
| SU3__simp-genos.haps.27.wcnf | O = 99 T = 8.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 99 T = 67.69 (out)(err) |
O = N/A T = TO (out)(err) |
O = 99 T = 15.77 (out)(err) |
O = 103 T = 0.36 (out)(err) |
O = 127 T = 0.05 (out)(err) |
O = 99 T = 8.38 (out)(err) |
| SU3__simp-genos.haps.33.wcnf | O = 113 T = 10.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 136.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 26.52 (out)(err) |
O = 119 T = 0.28 (out)(err) |
O = 142 T = 0.04 (out)(err) |
O = 113 T = 10.70 (out)(err) |
| SU3__simp-genos.haps.38.wcnf | O = 100 T = 158.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 46.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 284.67 (out)(err) |
O = 109 T = 0.45 (out)(err) |
O = 130 T = 0.06 (out)(err) |
O = 100 T = 158.41 (out)(err) |
| SU3__simp-genos.haps.53.wcnf | O = 110 T = 23.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 111 T = 101.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 118 T = 284.70 (out)(err) |
O = 117 T = 0.44 (out)(err) |
O = 139 T = 0.05 (out)(err) |
O = 110 T = 23.38 (out)(err) |
| SU3__simp-genos.haps.58.wcnf | O = 101 T = 10.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 10.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 89.42 (out)(err) |
O = 105 T = 0.51 (out)(err) |
O = 133 T = 0.06 (out)(err) |
O = 101 T = 12.24 (out)(err) |
| SU3__simp-genos.haps.60.wcnf | O = 103 T = 13.73 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 53.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 103 T = 13.73 (out)(err) |
O = 110 T = 0.55 (out)(err) |
O = 136 T = 0.05 (out)(err) |
O = 103 T = 24.35 (out)(err) |
| SU3__simp-genos.haps.63.wcnf | O = 90 T = 169.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 91 T = 58.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 107 T = 284.65 (out)(err) |
O = 96 T = 1.56 (out)(err) |
O = 124 T = 0.10 (out)(err) |
O = 90 T = 169.99 (out)(err) |
| SU3__simp-genos.haps.64.wcnf | O = 99 T = 10.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 99 T = 10.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 99 T = 109.81 (out)(err) |
O = 103 T = 0.66 (out)(err) |
O = 136 T = 0.06 (out)(err) |
O = 99 T = 12.05 (out)(err) |
| SU3__simp-genos.haps.72.wcnf | O = 92 T = 17.53 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 94 T = 18.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = 92 T = 114.29 (out)(err) |
O = 101 T = 0.70 (out)(err) |
O = 129 T = 0.07 (out)(err) |
O = 92 T = 17.53 (out)(err) |
| SU3__simp-genos.haps.74.wcnf | O = 102 T = 0.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 102 T = 31.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = 102 T = 0.52 (out)(err) |
O = 103 T = 0.33 (out)(err) |
O = 102 T = 6.65 (out)(err) |
O = 102 T = 3.58 (out)(err) |
| SU3__simp-genos.haps.80.wcnf | O = 103 T = 18.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 68.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = 107 T = 284.65 (out)(err) |
O = 110 T = 1.08 (out)(err) |
O = 138 T = 0.09 (out)(err) |
O = 103 T = 18.10 (out)(err) |
| SU3__simp-genos.haps.86.wcnf | O = 102 T = 2.40 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 102 T = 11.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 102 T = 10.34 (out)(err) |
O = 105 T = 0.32 (out)(err) |
O = 125 T = 0.04 (out)(err) |
O = 102 T = 2.40 (out)(err) |
| SU3__simp-genos.haps.88.wcnf | O = 106 T = 120.44 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 109 T = 200.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = 118 T = 284.42 (out)(err) |
O = 113 T = 0.98 (out)(err) |
O = 135 T = 0.09 (out)(err) |
O = 106 T = 120.44 (out)(err) |
| SU3__simp-genos.haps.9.wcnf | O = 106 T = 22.73 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 106 T = 219.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 112 T = 284.62 (out)(err) |
O = 109 T = 0.45 (out)(err) |
O = 134 T = 0.06 (out)(err) |
O = 106 T = 22.73 (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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
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 = 3750 T = 0.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3750 T = 0.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| normalized-hanoi5.wcnf | O = 1931 T = 0.64 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1931 T = 5.75 (out)(err) |
O = 1931 T = 0.91 (out)(err) |
O = 1931 T = 7.01 (out)(err) |
O = 1931 T = 0.67 (out)(err) |
O = 1931 T = 0.64 (out)(err) |
| normalized-ii16a1.wcnf | O = 1146 T = 0.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1146 T = 0.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1571 T = 284.62 (out)(err) |
O = 1489 T = 7.00 (out)(err) |
O = 1520 T = 0.01 (out)(err) |
O = 1209 T = 234.79 (out)(err) |
| normalized-ii16a2.wcnf | O = 1164 T = 0.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1164 T = 0.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1494 T = 284.69 (out)(err) |
O = 1568 T = 5.29 (out)(err) |
O = 1596 T = 0.02 (out)(err) |
O = 1197 T = 286.73 (out)(err) |
| normalized-ii16b1.wcnf | O = 1379 T = 28.91 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1379 T = 28.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1681 T = 284.68 (out)(err) |
O = 1645 T = 7.78 (out)(err) |
O = 1728 T = 0.03 (out)(err) |
O = 1452 T = 293.99 (out)(err) |
| normalized-ii16c1.wcnf | O = 1306 T = 61.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1306 T = 61.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1482 T = 284.54 (out)(err) |
O = 1366 T = 9.35 (out)(err) |
O = 1566 T = 0.02 (out)(err) |
O = 1401 T = 195.77 (out)(err) |
| normalized-ii16c2.wcnf | O = 861 T = 0.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 861 T = 0.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 861 T = 17.60 (out)(err) |
O = 861 T = 2.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 861 T = 0.13 (out)(err) |
| normalized-ii16d1.wcnf | O = 915 T = 182.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 915 T = 182.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1157 T = 284.71 (out)(err) |
O = 1155 T = 4.11 (out)(err) |
O = 1227 T = 0.01 (out)(err) |
O = 1074 T = 225.38 (out)(err) |
| normalized-ii16d2.wcnf | O = 785 T = 0.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 785 T = 0.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 785 T = 12.33 (out)(err) |
O = 810 T = 1.82 (out)(err) |
O = N/A T = TO (out)(err) |
O = 785 T = 6.78 (out)(err) |
| normalized-ii16e1.wcnf | O = 1091 T = 254.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1091 T = 254.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1214 T = 284.57 (out)(err) |
O = 1108 T = 4.15 (out)(err) |
O = 1223 T = 0.01 (out)(err) |
O = 1131 T = 26.43 (out)(err) |
| normalized-ii32b1.wcnf | O = 191 T = 0.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 191 T = 0.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 191 T = 5.40 (out)(err) |
O = 198 T = 0.08 (out)(err) |
O = 226 T = 0.07 (out)(err) |
O = 191 T = 5.64 (out)(err) |
| normalized-ii32c1.wcnf | O = 167 T = 0.64 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 0.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 167 T = 4.32 (out)(err) |
O = 181 T = 0.08 (out)(err) |
O = 218 T = 0.19 (out)(err) |
O = 167 T = 4.57 (out)(err) |
| normalized-ii32c2.wcnf | O = 207 T = 0.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 207 T = 0.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 207 T = 30.41 (out)(err) |
O = 214 T = 0.62 (out)(err) |
O = 246 T = 0.22 (out)(err) |
O = 207 T = 27.41 (out)(err) |
| normalized-ii32c3.wcnf | O = 261 T = 5.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 261 T = 13.62 (out)(err) |
O = 261 T = 10.90 (out)(err) |
O = 261 T = 5.68 (out)(err) |
O = 264 T = 0.16 (out)(err) |
O = 275 T = 0.13 (out)(err) |
O = 261 T = 16.93 (out)(err) |
| normalized-ii32c4.wcnf | O = 736 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 736 T = 0.99 (out)(err) |
O = N/A T = TO (out)(err) |
O = 736 T = 12.00 (out)(err) |
O = 736 T = 1.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 736 T = 0.10 (out)(err) |
| normalized-ii32d1.wcnf | O = 285 T = 1.94 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 285 T = 1.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 304 T = 284.72 (out)(err) |
O = 294 T = 0.37 (out)(err) |
O = 329 T = 0.14 (out)(err) |
O = 285 T = 142.63 (out)(err) |
| normalized-ii32d2.wcnf | O = 372 T = 3.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 372 T = 3.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 378 T = 284.70 (out)(err) |
O = 374 T = 1.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 372 T = 14.21 (out)(err) |
| normalized-ii32d3.wcnf | O = 802 T = 1.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 802 T = 2.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 802 T = 27.22 (out)(err) |
O = 802 T = 8.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 802 T = 1.36 (out)(err) |
| normalized-ii32e5.wcnf | O = 503 T = 0.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 503 T = 0.35 (out)(err) |
O = 503 T = 6.85 (out)(err) |
O = 503 T = 11.97 (out)(err) |
O = 506 T = 0.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = 503 T = 20.10 (out)(err) |
| normalized-ii8a2.wcnf | O = 139 T = 0.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 139 T = 0.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = 139 T = 284.71 (out)(err) |
O = 155 T = 0.06 (out)(err) |
O = 160 T = 0.18 (out)(err) |
O = 139 T = 36.66 (out)(err) |
| normalized-ii8a3.wcnf | O = 191 T = 1.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 191 T = 1.03 (out)(err) |
O = N/A T = TO (out)(err) |
O = 202 T = 284.47 (out)(err) |
O = 241 T = 0.13 (out)(err) |
O = 245 T = 0.23 (out)(err) |
O = 191 T = 25.02 (out)(err) |
| normalized-ii8a4.wcnf | O = 283 T = 1.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 283 T = 1.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 283 T = 284.72 (out)(err) |
O = 375 T = 0.32 (out)(err) |
O = 365 T = 0.11 (out)(err) |
O = 283 T = 20.69 (out)(err) |
| normalized-ii8b2.wcnf | O = 379 T = 0.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 379 T = 0.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = 430 T = 284.74 (out)(err) |
O = 546 T = 0.69 (out)(err) |
O = 444 T = 0.10 (out)(err) |
O = 379 T = 21.19 (out)(err) |
| normalized-ii8b3.wcnf | O = 507 T = 2.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 507 T = 2.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 507 T = 284.66 (out)(err) |
O = 789 T = 0.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 507 T = 18.06 (out)(err) |
| normalized-ii8b4.wcnf | O = 654 T = 3.94 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 654 T = 3.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 654 T = 284.39 (out)(err) |
O = 1038 T = 2.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 654 T = 131.57 (out)(err) |
| normalized-ii8c2.wcnf | O = 525 T = 0.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 525 T = 0.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 794 T = 284.76 (out)(err) |
O = 895 T = 1.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = 525 T = 48.28 (out)(err) |
| normalized-ii8d1.wcnf | O = 343 T = 1.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 343 T = 1.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 390 T = 284.67 (out)(err) |
O = 477 T = 0.45 (out)(err) |
O = 413 T = 0.09 (out)(err) |
O = 345 T = 221.63 (out)(err) |
| normalized-ii8d2.wcnf | O = 540 T = 0.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 540 T = 0.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 674 T = 284.48 (out)(err) |
O = 877 T = 1.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 541 T = 172.09 (out)(err) |
| normalized-ii8e1.wcnf | O = 343 T = 0.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 343 T = 0.84 (out)(err) |
O = N/A T = TO (out)(err) |
O = 434 T = 284.56 (out)(err) |
O = 465 T = 0.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = 344 T = 114.42 (out)(err) |
| normalized-ii8e2.wcnf | O = 494 T = 1.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 494 T = 1.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 675 T = 284.48 (out)(err) |
O = 816 T = 0.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 494 T = 89.99 (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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| c1355_F1001gat-1048gat@1.wcnf | O = 21 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 47.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 0.01 (out)(err) |
O = 21 T = 0.02 (out)(err) |
O = 31 T = 0.12 (out)(err) |
O = 21 T = 0.09 (out)(err) |
| c1355_F1001gat@1.wcnf | O = 21 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 109.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 0.08 (out)(err) |
O = 21 T = 0.03 (out)(err) |
O = 28 T = 0.05 (out)(err) |
O = 21 T = 0.17 (out)(err) |
| c1355_F1036gat-1229gat@1.wcnf | O = 13 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 0.46 (out)(err) |
O = 13 T = 10.15 (out)(err) |
O = 13 T = 0.05 (out)(err) |
O = 13 T = 0.02 (out)(err) |
O = 26 T = 0.12 (out)(err) |
O = 13 T = 0.07 (out)(err) |
| c1355_F106gat-409gat@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.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.04 (out)(err) |
O = 33 T = 0.05 (out)(err) |
O = 33 T = 41.01 (out)(err) |
O = 33 T = 0.07 (out)(err) |
| c1355_F106gat@0.wcnf | O = 14 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 144.24 (out)(err) |
O = 14 T = 90.88 (out)(err) |
O = 14 T = 0.12 (out)(err) |
O = 21 T = 0.06 (out)(err) |
O = 33 T = 0.01 (out)(err) |
O = 14 T = 0.10 (out)(err) |
| c1355_F113gat-1260gat@1.wcnf | O = 13 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 0.53 (out)(err) |
O = 13 T = 4.22 (out)(err) |
O = 13 T = 0.05 (out)(err) |
O = 14 T = 0.01 (out)(err) |
O = 31 T = 0.07 (out)(err) |
O = 13 T = 0.14 (out)(err) |
| c1355_F1150gat@0.wcnf | O = 13 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 0.55 (out)(err) |
O = 13 T = 3.05 (out)(err) |
O = 13 T = 0.03 (out)(err) |
O = 13 T = 0.02 (out)(err) |
O = 25 T = 0.13 (out)(err) |
O = 13 T = 0.06 (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.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.00 (out)(err) |
O = 41 T = 0.02 (out)(err) |
O = 33 T = 0.06 (out)(err) |
O = 33 T = 0.05 (out)(err) |
| c1355_F120gat-414gat@1.wcnf | O = 33 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.03 (out)(err) |
O = 33 T = 0.06 (out)(err) |
O = 40 T = 0.00 (out)(err) |
O = 33 T = 0.14 (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.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.00 (out)(err) |
O = 41 T = 0.01 (out)(err) |
O = 33 T = 0.06 (out)(err) |
O = 33 T = 0.09 (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.16 (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.04 (out)(err) |
O = 33 T = 0.05 (out)(err) |
O = 40 T = 0.00 (out)(err) |
O = 33 T = 0.05 (out)(err) |
| c1355_F141gat@0.wcnf | O = 14 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 5.90 (out)(err) |
O = 14 T = 9.60 (out)(err) |
O = 14 T = 0.10 (out)(err) |
O = 14 T = 0.05 (out)(err) |
O = 37 T = 0.01 (out)(err) |
O = 14 T = 0.03 (out)(err) |
| c1355_F155gat@1.wcnf | O = 14 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 50.08 (out)(err) |
O = 14 T = 7.79 (out)(err) |
O = 14 T = 0.14 (out)(err) |
O = 14 T = 0.05 (out)(err) |
O = 35 T = 0.01 (out)(err) |
O = 14 T = 0.38 (out)(err) |
| c1355_F176gat-1278gat@1.wcnf | O = 13 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 0.59 (out)(err) |
O = 13 T = 22.69 (out)(err) |
O = 13 T = 0.06 (out)(err) |
O = 14 T = 0.02 (out)(err) |
O = 28 T = 0.17 (out)(err) |
O = 13 T = 0.05 (out)(err) |
| c1355_F183gat@0.wcnf | O = 14 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 6.73 (out)(err) |
O = 14 T = 8.18 (out)(err) |
O = 14 T = 0.09 (out)(err) |
O = 14 T = 0.05 (out)(err) |
O = 36 T = 0.01 (out)(err) |
O = 14 T = 0.34 (out)(err) |
| c1355_F197gat-308gat@1.wcnf | O = 33 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.06 (out)(err) |
O = 33 T = 0.07 (out)(err) |
O = 41 T = 0.01 (out)(err) |
O = 33 T = 0.03 (out)(err) |
| c1355_F1gat@0.wcnf | O = 14 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 42.04 (out)(err) |
O = 14 T = 10.08 (out)(err) |
O = 14 T = 0.12 (out)(err) |
O = 22 T = 0.05 (out)(err) |
O = 36 T = 0.01 (out)(err) |
O = 14 T = 0.01 (out)(err) |
| c1355_F43gat@1.wcnf | O = 14 T = 0.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 46.00 (out)(err) |
O = 14 T = 15.12 (out)(err) |
O = 14 T = 0.12 (out)(err) |
O = 22 T = 0.07 (out)(err) |
O = 35 T = 0.01 (out)(err) |
O = 14 T = 0.26 (out)(err) |
| c1355_F50gat@1.wcnf | O = 14 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 31.63 (out)(err) |
O = 14 T = 22.92 (out)(err) |
O = 14 T = 0.10 (out)(err) |
O = 21 T = 0.09 (out)(err) |
O = 30 T = 0.00 (out)(err) |
O = 14 T = 0.01 (out)(err) |
| c1355_F543gat@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.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 0.04 (out)(err) |
O = 33 T = 0.06 (out)(err) |
O = 41 T = 0.01 (out)(err) |
O = 33 T = 0.16 (out)(err) |
| c1355_F57gat@1.wcnf | O = 14 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 161.59 (out)(err) |
O = 14 T = 6.74 (out)(err) |
O = 14 T = 0.08 (out)(err) |
O = 22 T = 0.07 (out)(err) |
O = 36 T = 0.01 (out)(err) |
O = 14 T = 0.07 (out)(err) |
| c1355_F71gat@1.wcnf | O = 14 T = 0.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 92.94 (out)(err) |
O = 14 T = 9.21 (out)(err) |
O = 14 T = 0.11 (out)(err) |
O = 22 T = 0.08 (out)(err) |
O = 32 T = 0.00 (out)(err) |
O = 14 T = 0.06 (out)(err) |
| c3540_F20@1.wcnf | O = 6 T = 0.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 274.11 (out)(err) |
O = 6 T = 5.12 (out)(err) |
O = 6 T = 0.71 (out)(err) |
O = 6 T = 0.22 (out)(err) |
O = 6 T = 1.18 (out)(err) |
O = 6 T = 0.37 (out)(err) |
| c3540_F41@1.wcnf | O = 7 T = 0.21 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 0.55 (out)(err) |
O = 7 T = 4.15 (out)(err) |
O = 7 T = 0.21 (out)(err) |
O = 10 T = 0.22 (out)(err) |
O = 7 T = 2.17 (out)(err) |
O = 7 T = 1.33 (out)(err) |
| c3540_F45@0.wcnf | O = 9 T = 0.75 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 0.42 (out)(err) |
O = 9 T = 5.12 (out)(err) |
O = 9 T = 0.75 (out)(err) |
O = 13 T = 0.16 (out)(err) |
O = 9 T = 112.43 (out)(err) |
O = 9 T = 1.00 (out)(err) |
| c3540_F45@1.wcnf | O = 9 T = 0.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 211.27 (out)(err) |
O = 9 T = 8.46 (out)(err) |
O = 9 T = 0.46 (out)(err) |
O = 9 T = 0.19 (out)(err) |
O = 9 T = 84.27 (out)(err) |
O = 9 T = 0.50 (out)(err) |
| c6288_F137gat@1.wcnf | O = 10 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 40.30 (out)(err) |
O = 10 T = 49.58 (out)(err) |
O = 10 T = 1.80 (out)(err) |
O = 10 T = 1.92 (out)(err) |
O = 10 T = 0.02 (out)(err) |
O = 10 T = 0.03 (out)(err) |
| c6288_F205gat@1.wcnf | O = 7 T = 1.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 26.19 (out)(err) |
O = 7 T = 128.10 (out)(err) |
O = 7 T = 1.34 (out)(err) |
O = 7 T = 1.83 (out)(err) |
O = 7 T = 58.95 (out)(err) |
O = 7 T = 9.82 (out)(err) |
| c6288_F35gat@1.wcnf | O = 4 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 6.53 (out)(err) |
O = 4 T = 2.57 (out)(err) |
O = 4 T = 0.08 (out)(err) |
O = 4 T = 0.10 (out)(err) |
O = 4 T = 0.02 (out)(err) |
O = 4 T = 0.02 (out)(err) |
| c6288_F69gat@1.wcnf | O = 6 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11 T = 9.17 (out)(err) |
O = 6 T = 4.16 (out)(err) |
O = 6 T = 0.07 (out)(err) |
O = 6 T = 0.25 (out)(err) |
O = 6 T = 0.02 (out)(err) |
O = 6 T = 0.02 (out)(err) |
| normalized-C499.a.wcnf | O = 64 T = 180.32 |
O = 70 T = 36.07 (out)(err) |
O = 64 T = 180.32 (out)(err) |
O = 80 T = 91.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = 77 T = 284.67 (out)(err) |
O = 99 T = 0.24 (out)(err) |
O = 89 T = 0.15 (out)(err) |
O = 77 T = 248.40 (out)(err) |
| normalized-addm4.r.wcnf | O = 165 T = 0.04 |
O = N/A T = TO (out)(err) |
O = 165 T = 0.04 (out)(err) |
O = 170 T = 21.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = 188 T = 284.69 (out)(err) |
O = 184 T = 0.10 (out)(err) |
O = 191 T = 0.11 (out)(err) |
O = 173 T = 128.07 (out)(err) |
| normalized-alu4.b.wcnf | O = 50 T = 0.55 |
O = 51 T = 274.37 (out)(err) |
O = 50 T = 0.55 (out)(err) |
O = 52 T = 9.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 55 T = 284.64 (out)(err) |
O = 55 T = 0.06 (out)(err) |
O = 65 T = 0.19 (out)(err) |
O = 51 T = 110.76 (out)(err) |
| normalized-apex6.b.wcnf | O = 138 T = 269.05 |
O = 981 T = 9.47 (out)(err) |
O = 138 T = 269.05 (out)(err) |
O = 147 T = 48.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 284.66 (out)(err) |
O = 153 T = 0.54 (out)(err) |
O = 178 T = 0.02 (out)(err) |
O = 155 T = 23.53 (out)(err) |
| normalized-bench1.r.wcnf | O = 124 T = 86.00 |
O = 132 T = 31.95 (out)(err) |
O = 124 T = 86.00 (out)(err) |
O = 141 T = 51.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 161 T = 284.68 (out)(err) |
O = 157 T = 0.24 (out)(err) |
O = 168 T = 0.00 (out)(err) |
O = 147 T = 77.98 (out)(err) |
| normalized-des.a.wcnf | O = 953 T = 165.78 |
O = N/A T = TO (out)(err) |
O = 953 T = 165.78 (out)(err) |
O = 1010 T = 227.11 (out)(err) |
O = N/A T = TO (out)(err) |
O = 958 T = 284.57 (out)(err) |
O = 1049 T = 3.74 (out)(err) |
O = 1012 T = 0.02 (out)(err) |
O = 1012 T = 0.02 (out)(err) |
| normalized-duke2.b.wcnf | O = 71 T = 267.59 |
O = 75 T = 119.29 (out)(err) |
O = 71 T = 267.59 (out)(err) |
O = 75 T = 15.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 86 T = 284.73 (out)(err) |
O = 82 T = 0.24 (out)(err) |
O = 101 T = 0.04 (out)(err) |
O = 77 T = 188.67 (out)(err) |
| normalized-ex1010.pi.wcnf | O = 267 T = 41.65 |
O = N/A T = TO (out)(err) |
O = 267 T = 41.65 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 423 T = 284.72 (out)(err) |
O = 410 T = 66.15 (out)(err) |
O = 423 T = 0.04 (out)(err) |
O = 423 T = 0.04 (out)(err) |
| normalized-ex5.r.wcnf | O = 38 T = 41.29 |
O = 38 T = 252.42 (out)(err) |
O = 38 T = 41.29 (out)(err) |
O = 44 T = 24.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 57 T = 284.69 (out)(err) |
O = 66 T = 0.21 (out)(err) |
O = 57 T = 0.00 (out)(err) |
O = 52 T = 242.92 (out)(err) |
| normalized-exam.pi.wcnf | O = 64 T = 2.45 |
O = 64 T = 16.55 (out)(err) |
O = 64 T = 2.45 (out)(err) |
O = 69 T = 161.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 87 T = 284.68 (out)(err) |
O = 96 T = 0.28 (out)(err) |
O = 88 T = 0.00 (out)(err) |
O = 77 T = 189.07 (out)(err) |
| normalized-f51m.b.wcnf | O = 18 T = 0.05 |
O = 18 T = 1.45 (out)(err) |
O = 18 T = 0.05 (out)(err) |
O = 18 T = 2.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 0.25 (out)(err) |
O = 21 T = 0.02 (out)(err) |
O = 18 T = 64.81 (out)(err) |
O = 18 T = 3.37 (out)(err) |
| normalized-fout.r.wcnf | O = 38 T = 0.04 |
O = 38 T = 1.42 (out)(err) |
O = 38 T = 0.04 (out)(err) |
O = 39 T = 7.24 (out)(err) |
O = N/A T = TO (out)(err) |
O = 46 T = 284.67 (out)(err) |
O = 50 T = 0.03 (out)(err) |
O = 48 T = 0.07 (out)(err) |
O = 39 T = 30.30 (out)(err) |
| normalized-jac3.wcnf | O = 15 T = 0.54 |
O = 15 T = 11.20 (out)(err) |
O = 15 T = 0.54 (out)(err) |
O = 15 T = 16.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 1.32 (out)(err) |
O = 21 T = 0.18 (out)(err) |
O = 27 T = 0.08 (out)(err) |
O = 16 T = 41.74 (out)(err) |
| normalized-lin.rom.r.wcnf | O = 120 T = 0.27 |
O = 123 T = 113.87 (out)(err) |
O = 120 T = 0.27 (out)(err) |
O = 136 T = 41.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 144 T = 284.71 (out)(err) |
O = 132 T = 0.17 (out)(err) |
O = 174 T = 0.16 (out)(err) |
O = 136 T = 285.06 (out)(err) |
| normalized-m100_100_10_10.r.wcnf | O = 12 T = 0.05 |
O = 12 T = 1.25 (out)(err) |
O = 12 T = 0.05 (out)(err) |
O = 12 T = 1.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 284.39 (out)(err) |
O = 16 T = 3.74 (out)(err) |
O = 18 T = 0.18 (out)(err) |
O = 13 T = 112.81 (out)(err) |
| normalized-m100_100_10_15.r.wcnf | O = 10 T = 0.20 |
O = 10 T = 0.73 (out)(err) |
O = 10 T = 0.20 (out)(err) |
O = 10 T = 2.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 11 T = 284.68 (out)(err) |
O = 14 T = 0.39 (out)(err) |
O = 16 T = 0.15 (out)(err) |
O = 12 T = 21.39 (out)(err) |
| normalized-m100_100_10_30.r.wcnf | O = 8 T = 0.08 |
O = 8 T = 2.08 (out)(err) |
O = 8 T = 0.08 (out)(err) |
O = 8 T = 2.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 134.37 (out)(err) |
O = 10 T = 0.33 (out)(err) |
O = 14 T = 0.09 (out)(err) |
O = 8 T = 270.88 (out)(err) |
| normalized-m100_100_30_30.r.wcnf | O = 5 T = 0.06 |
O = 5 T = 2.20 (out)(err) |
O = 5 T = 0.06 (out)(err) |
O = 5 T = 2.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 250.79 (out)(err) |
O = 6 T = 0.22 (out)(err) |
O = 9 T = 0.11 (out)(err) |
O = 5 T = 94.65 (out)(err) |
| normalized-m100_300_10_10.r.wcnf | O = 21 T = 0.44 |
O = 21 T = 2.86 (out)(err) |
O = 21 T = 0.44 (out)(err) |
O = 22 T = 135.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 33 T = 284.72 (out)(err) |
O = 33 T = 0.05 (out)(err) |
O = 33 T = 0.21 (out)(err) |
O = 27 T = 197.18 (out)(err) |
| normalized-m100_300_10_14.r.wcnf | O = 19 T = 0.05 |
O = 19 T = 3.37 (out)(err) |
O = 19 T = 0.05 (out)(err) |
O = 19 T = 21.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 284.66 (out)(err) |
O = 32 T = 0.03 (out)(err) |
O = 32 T = 0.23 (out)(err) |
O = 24 T = 122.95 (out)(err) |
| normalized-m100_300_10_15.r.wcnf | O = 19 T = 0.05 |
O = 19 T = 3.10 (out)(err) |
O = 19 T = 0.05 (out)(err) |
O = 20 T = 8.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 284.67 (out)(err) |
O = 32 T = 0.03 (out)(err) |
O = 34 T = 0.16 (out)(err) |
O = 23 T = 189.22 (out)(err) |
| normalized-m100_300_10_20.r.wcnf | O = 17 T = 0.21 |
O = 17 T = 3.89 (out)(err) |
O = 17 T = 0.21 (out)(err) |
O = 18 T = 25.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 284.71 (out)(err) |
O = 31 T = 0.02 (out)(err) |
O = 32 T = 0.22 (out)(err) |
O = 22 T = 138.14 (out)(err) |
| normalized-m200_500_10_10.r.wcnf | O = 39 T = 18.39 |
O = 39 T = 47.58 (out)(err) |
O = 39 T = 18.39 (out)(err) |
O = 45 T = 191.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = 60 T = 284.72 (out)(err) |
O = 71 T = 0.07 (out)(err) |
O = 60 T = 0.23 (out)(err) |
O = 56 T = 289.69 (out)(err) |
| normalized-m4.r.wcnf | O = 90 T = 0.02 |
O = 93 T = 51.50 (out)(err) |
O = 90 T = 0.02 (out)(err) |
O = 93 T = 82.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 102 T = 284.46 (out)(err) |
O = 97 T = 0.03 (out)(err) |
O = 109 T = 0.25 (out)(err) |
O = 92 T = 16.96 (out)(err) |
| normalized-maincont.r.wcnf | O = 7 T = 0.00 |
O = 7 T = 1.08 (out)(err) |
O = 7 T = 0.03 (out)(err) |
O = 7 T = 1.41 (out)(err) |
O = 7 T = 2.38 (out)(err) |
O = 7 T = 0.00 (out)(err) |
O = 7 T = 0.02 (out)(err) |
O = 7 T = 0.00 (out)(err) |
O = 7 T = 0.02 (out)(err) |
| normalized-max1024.pi.wcnf | O = 261 T = 35.26 |
O = N/A T = TO (out)(err) |
O = 261 T = 35.26 (out)(err) |
O = 283 T = 18.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = 303 T = 284.65 (out)(err) |
O = 291 T = 0.64 (out)(err) |
O = 303 T = 0.10 (out)(err) |
O = 285 T = 178.00 (out)(err) |
| normalized-max1024.r.wcnf | O = 247 T = 236.28 |
O = 526 T = 1.77 (out)(err) |
O = 247 T = 236.28 (out)(err) |
O = 269 T = 42.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 301 T = 284.62 (out)(err) |
O = 279 T = 0.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = 279 T = 269.57 (out)(err) |
| normalized-max512.r.wcnf | O = 113 T = 0.05 |
O = N/A T = TO (out)(err) |
O = 113 T = 0.05 (out)(err) |
O = 117 T = 62.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 125 T = 284.69 (out)(err) |
O = 130 T = 0.05 (out)(err) |
O = 139 T = 0.18 (out)(err) |
O = 118 T = 51.02 (out)(err) |
| normalized-mlp4.r.wcnf | O = 109 T = 0.03 |
O = 111 T = 2.42 (out)(err) |
O = 109 T = 0.03 (out)(err) |
O = 113 T = 5.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 127 T = 284.72 (out)(err) |
O = 121 T = 0.06 (out)(err) |
O = 109 T = 4.04 (out)(err) |
O = 115 T = 255.06 (out)(err) |
| normalized-pdc.r.wcnf | O = 94 T = 0.61 |
O = 98 T = 259.33 (out)(err) |
O = 94 T = 0.61 (out)(err) |
O = 100 T = 70.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 118 T = 284.65 (out)(err) |
O = 148 T = 0.63 (out)(err) |
O = 138 T = 0.02 (out)(err) |
O = 118 T = 178.56 (out)(err) |
| normalized-prom2.pi.wcnf | O = 287 T = 1.31 |
O = 326 T = 128.33 (out)(err) |
O = 287 T = 1.31 (out)(err) |
O = 358 T = 216.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = 429 T = 284.70 (out)(err) |
O = 308 T = 2.54 (out)(err) |
O = 429 T = 0.09 (out)(err) |
O = 353 T = 125.90 (out)(err) |
| normalized-prom2.r.wcnf | O = 278 T = 3.15 |
O = 304 T = 15.17 (out)(err) |
O = 278 T = 3.15 (out)(err) |
O = 350 T = 33.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = 418 T = 284.53 (out)(err) |
O = 297 T = 1.17 (out)(err) |
O = 437 T = 0.00 (out)(err) |
O = 374 T = 226.54 (out)(err) |
| normalized-rd84.b.wcnf | O = 5 T = 5.40 |
O = 5 T = 15.89 (out)(err) |
O = 5 T = 5.40 (out)(err) |
O = 5 T = 267.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 8.78 (out)(err) |
O = 7 T = 0.17 (out)(err) |
O = 5 T = 37.38 (out)(err) |
O = 5 T = 10.95 (out)(err) |
| normalized-rot.b.wcnf | O = 116 T = 248.76 |
O = 467 T = 1.37 (out)(err) |
O = 116 T = 248.76 (out)(err) |
O = 125 T = 141.04 (out)(err) |
O = N/A T = TO (out)(err) |
O = 133 T = 284.56 (out)(err) |
O = 134 T = 0.23 (out)(err) |
O = 154 T = 0.16 (out)(err) |
O = 125 T = 55.34 (out)(err) |
| normalized-sao2.b.wcnf | O = 25 T = 0.02 |
O = 26 T = 4.73 (out)(err) |
O = 26 T = 0.64 (out)(err) |
O = 26 T = 247.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 0.02 (out)(err) |
O = 33 T = 0.03 (out)(err) |
O = 37 T = 0.20 (out)(err) |
O = 26 T = 4.75 (out)(err) |
| normalized-saucier.r.wcnf | O = 6 T = 14.30 |
O = N/A T = TO (out)(err) |
O = 6 T = 14.30 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 10 T = 2.17 (out)(err) |
O = 12 T = 0.72 (out)(err) |
O = 7 T = 25.26 (out)(err) |
| normalized-test1.r.wcnf | O = 111 T = 232.85 |
O = 116 T = 180.40 (out)(err) |
O = 111 T = 232.85 (out)(err) |
O = 122 T = 260.91 (out)(err) |
O = N/A T = TO (out)(err) |
O = 139 T = 284.61 (out)(err) |
O = 135 T = 0.11 (out)(err) |
O = 139 T = 0.00 (out)(err) |
O = 124 T = 267.34 (out)(err) |
| normalized-test4.pi.wcnf | O = 107 T = 137.83 |
O = N/A T = TO (out)(err) |
O = 107 T = 137.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 179 T = 284.69 (out)(err) |
O = 161 T = 4.99 (out)(err) |
O = 179 T = 0.02 (out)(err) |
O = 174 T = 169.95 (out)(err) |
| ctrl.wcnf | O = 15 T = 0.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 6.09 (out)(err) |
O = 15 T = 0.15 (out)(err) |
O = 15 T = 0.17 (out)(err) |
O = 15 T = 0.06 (out)(err) |
O = 15 T = 0.06 (out)(err) |
| mrisc_mem2wire.wcnf | O = 5 T = 5.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 122.96 (out)(err) |
O = 5 T = 99.60 (out)(err) |
O = 13 T = 3.23 (out)(err) |
O = 5 T = 5.85 (out)(err) |
| spi.wcnf | O = 46 T = 3.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 46 T = 19.02 (out)(err) |
O = 46 T = 3.65 (out)(err) |
O = 46 T = 3.84 (out)(err) |
O = 46 T = 5.16 (out)(err) |
O = 46 T = 4.82 (out)(err) |
| sudoku.wcnf | O = 13 T = 12.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 15.27 (out)(err) |
O = 13 T = 16.80 (out)(err) |
O = 13 T = 13.64 (out)(err) |
O = 13 T = 12.85 (out)(err) |
| SAT02__industrial__biere__dinphil__dp10s10.shuffled.cnf.wcnf.8.wcnf | O = 240 T = 0.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 240 T = 0.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 240 T = 7.29 (out)(err) |
O = 1113 T = 1.03 (out)(err) |
O = 446 T = 147.90 (out)(err) |
| SAT02__industrial__goldberg__fpga_routing__vda_gr_rcs_w9.shuffled.cnf.wcnf.5.wcnf | O = 6 T = 0.14 |
O = 6 T = 0.27 (out)(err) |
O = 6 T = 1.24 (out)(err) |
O = 6 T = 1.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 0.14 (out)(err) |
O = 6 T = 3.12 (out)(err) |
O = 6 T = 0.58 (out)(err) |
O = 6 T = 0.93 (out)(err) |
| SAT02__industrial__goldberg__fpga_routing__vda_gr_rcs_w9.shuffled.cnf.wcnf.8.wcnf | O = 3 T = 0.12 |
O = 3 T = 0.59 (out)(err) |
O = 3 T = 0.40 (out)(err) |
O = 3 T = 0.34 (out)(err) |
O = 3 T = 2.07 (out)(err) |
O = 3 T = 0.12 (out)(err) |
O = 3 T = 3.78 (out)(err) |
O = 3 T = 0.42 (out)(err) |
O = 3 T = 0.42 (out)(err) |
| SAT04__industrial__vangelder__cnf-color__abb313GPIA-9-tr.used-as.sat04-321.cnf.wcnf.3.wcnf | O = 80 T = 12.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 80 T = 12.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 80 T = 272.03 (out)(err) |
O = 179 T = 193.45 (out)(err) |
O = 127 T = 0.39 (out)(err) |
O = 125 T = 0.98 (out)(err) |
| SAT04__industrial__vangelder__cnf-color__abb313GPIA-9-tr.used-as.sat04-321.cnf.wcnf.6.wcnf | O = 25 T = 3.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 3.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 129 T = 284.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 7.25 (out)(err) |
O = 86 T = 118.93 (out)(err) |
| SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.1.wcnf | O = 179 T = 44.81 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 179 T = 44.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1447 T = 14.07 (out)(err) |
| SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.8.wcnf | O = 86 T = 8.94 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 86 T = 8.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 86 T = 160.14 (out)(err) |
O = 1811 T = 10.27 (out)(err) |
| SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.10.wcnf | O = 50 T = 13.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4473 T = 196.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 50 T = 13.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 50 T = 106.88 (out)(err) |
O = 6485 T = 8.87 (out)(err) |
| SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.5.wcnf | O = 53 T = 7.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 7.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 109.57 (out)(err) |
O = 824 T = 4.77 (out)(err) |
| SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug5.cnf.wcnf.4.wcnf | O = 8 T = 13.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 13.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.1.wcnf | O = 14 T = 11.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 220.11 (out)(err) |
O = 14 T = 11.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.4.wcnf | O = 24 T = 19.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 19.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.7.wcnf | O = 3 T = 12.90 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 3 T = 12.90 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_15_SAT.cnf.wcnf.9.wcnf | O = 26 T = 0.42 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 0.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = 392 T = 284.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 484 T = 3.61 (out)(err) |
O = 156 T = 201.29 (out)(err) |
| SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_18_SAT.cnf.wcnf.2.wcnf | O = 7 T = 0.20 |
O = 7 T = 0.42 (out)(err) |
O = 7 T = 2.48 (out)(err) |
O = 7 T = 0.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 7 T = 0.20 (out)(err) |
O = 8 T = 0.86 (out)(err) |
O = 7 T = 1.35 (out)(err) |
O = 7 T = 61.06 (out)(err) |
| SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.10.wcnf | O = 208 T = 11.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 208 T = 11.11 (out)(err) |
O = 208 T = 54.90 (out)(err) |
O = 453 T = 225.25 (out)(err) |
O = 208 T = 51.80 (out)(err) |
O = 208 T = 249.14 (out)(err) |
| SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf | O = 1382 T = 30.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1382 T = 30.47 (out)(err) |
O = 1382 T = 284.67 (out)(err) |
O = 1382 T = 238.84 (out)(err) |
O = 2557 T = 0.59 (out)(err) |
O = 1382 T = 245.60 (out)(err) |
| SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.8.wcnf | O = 320 T = 47.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 320 T = 75.41 (out)(err) |
O = 320 T = 47.10 (out)(err) |
O = 320 T = 272.64 (out)(err) |
O = 320 T = 95.45 (out)(err) |
O = 320 T = 166.07 (out)(err) |
| SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf | O = 1028 T = 63.33 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1028 T = 63.33 (out)(err) |
O = 2904 T = 284.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2975 T = 2.14 (out)(err) |
| SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.2.wcnf | O = 501 T = 38.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 501 T = 38.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1108 T = 105.47 (out)(err) |
O = 1930 T = 0.71 (out)(err) |
O = 816 T = 16.12 (out)(err) |
| SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.4.wcnf | O = 180 T = 12.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 180 T = 15.75 (out)(err) |
O = 180 T = 12.70 (out)(err) |
O = 782 T = 109.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1667 T = 33.14 (out)(err) |
| SAT11__application__fuhs__AProVE11__AProVE11-16.cnf.wcnf.1.wcnf | O = 263 T = 10.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 263 T = 250.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 263 T = 10.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 4284 T = 3.28 (out)(err) |
| SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-TPP-30-step11.cnf.wcnf.1.wcnf | O = 1 T = 11.85 |
O = 1 T = 106.72 (out)(err) |
O = 1 T = 11.85 (out)(err) |
O = 1 T = 250.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 59.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 82.50 (out)(err) |
O = 1 T = 107.74 (out)(err) |
| SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.2.wcnf | O = 1 T = 3.54 |
O = 1 T = 4.43 (out)(err) |
O = 1 T = 3.54 (out)(err) |
O = 1 T = 12.47 (out)(err) |
O = 1 T = 8.12 (out)(err) |
O = 1 T = 140.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.7.wcnf | O = 1 T = 4.88 |
O = 1 T = 6.89 (out)(err) |
O = 1 T = 4.88 (out)(err) |
O = 1 T = 12.82 (out)(err) |
O = 1 T = 72.64 (out)(err) |
O = 1 T = 193.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
| SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-18-step16.cnf.wcnf.1.wcnf | O = 1 T = 14.31 |
O = 1 T = 20.51 (out)(err) |
O = 1 T = 14.31 (out)(err) |
O = 1 T = 53.22 (out)(err) |
O = 1 T = 134.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 198.51 (out)(err) |
O = 1 T = 205.53 (out)(err) |
| SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-18-step16.cnf.wcnf.4.wcnf | O = 1 T = 14.45 |
O = 1 T = 20.60 (out)(err) |
O = 1 T = 14.45 (out)(err) |
O = 1 T = 52.43 (out)(err) |
O = 1 T = 135.35 (out)(err) |
O = 1 T = 159.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1 T = 155.40 (out)(err) |
O = 1 T = 162.01 (out)(err) |
| SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf.wcnf.4.wcnf | O = 154 T = 66.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 154 T = 66.70 (out)(err) |
O = N/A T = TO (out)(err) |
O = 154 T = 80.15 (out)(err) |
O = 386 T = 5.65 (out)(err) |
| SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf.wcnf.9.wcnf | O = 177 T = 0.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 177 T = 0.76 (out)(err) |
O = 177 T = 0.74 (out)(err) |
| SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.10.wcnf | O = 9 T = 1.40 |
O = 9 T = 101.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9 T = 1.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 9 T = 7.11 (out)(err) |
O = 369 T = 1.28 (out)(err) |
| SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.2.wcnf | O = 73 T = 4.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 73 T = 4.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = 73 T = 41.35 (out)(err) |
O = 466 T = 1.22 (out)(err) |
| SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.7.wcnf | O = 20 T = 2.06 |
O = 20 T = 101.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 2.06 (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 13.49 (out)(err) |
O = 1410 T = 1.15 (out)(err) |
| SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.7.wcnf | O = 61 T = 2.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 61 T = 2.31 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 72 T = 46.55 (out)(err) |
O = 641 T = 24.85 (out)(err) |
O = 509 T = 187.23 (out)(err) |
| SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.9.wcnf | O = 82 T = 10.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 82 T = 10.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 82 T = 68.58 (out)(err) |
O = 645 T = 8.47 (out)(err) |
O = 496 T = 168.63 (out)(err) |
| SAT11__application__manthey__traffic__traffic_3_uc_sat.cnf.wcnf.8.wcnf | O = 77 T = 8.79 |
O = 77 T = 82.56 (out)(err) |
O = N/A T = TO (out)(err) |
O = 77 T = 95.96 (out)(err) |
O = 77 T = 20.35 (out)(err) |
O = 77 T = 8.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = 77 T = 59.14 (out)(err) |
O = 342 T = 1.69 (out)(err) |
| SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.4.wcnf | O = 78 T = 215.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 78 T = 215.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 92 T = 3.56 (out)(err) |
O = 92 T = 3.62 (out)(err) |
| SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.6.wcnf | O = 120 T = 3.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 200.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 120 T = 3.49 (out)(err) |
| SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.180-SAT.cnf.wcnf.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) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
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__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.4.wcnf | O = 6 T = 4.53 |
O = 6 T = 96.72 (out)(err) |
O = 6 T = 11.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 4.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 6 T = 9.53 (out)(err) |
O = 6 T = 4.53 (out)(err) |
| SAT_RACE06__ibm-2002-21r-k95.cnf.wcnf.4.wcnf | O = 2 T = 39.77 |
O = 2 T = 53.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 39.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2 T = 107.89 (out)(err) |
O = 2 T = 105.37 (out)(err) |
| SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.2.wcnf | O = 25 T = 8.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 8.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 178.25 (out)(err) |
O = 39 T = 120.54 (out)(err) |
| SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.5.wcnf | O = 85 T = 11.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 85 T = 11.43 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1198 T = 33.03 (out)(err) |
| SAT_RACE08__cnf__ibm-2004-01-k90.cnf.wcnf.10.wcnf | O = 5 T = 5.61 |
O = 5 T = 5.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 152.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 6.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 5 T = 40.05 (out)(err) |
O = 5 T = 38.94 (out)(err) |
| TEAMS20_l7aa.cnf.wcnf | O = 26 T = 72.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 96.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 72.19 (out)(err) |
O = 80 T = 12.33 (out)(err) |
O = 48 T = 0.11 (out)(err) |
O = 26 T = 233.86 (out)(err) |
| teams16_l7a.cnf.wcnf | O = 18 T = 0.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 0.38 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 2.51 (out)(err) |
O = 40 T = 3.29 (out)(err) |
O = 28 T = 0.04 (out)(err) |
O = 18 T = 20.96 (out)(err) |
| teams20_l2a.cnf.wcnf | O = 12 T = 1.29 |
O = 12 T = 1.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 23.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 21.29 (out)(err) |
O = 32 T = 15.97 (out)(err) |
O = 12 T = 98.10 (out)(err) |
O = 12 T = 18.07 (out)(err) |
| teams20_l4a.cnf.wcnf | O = 18 T = 1.73 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 1.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 197.48 (out)(err) |
O = 212 T = 22.97 (out)(err) |
O = 92 T = 0.13 (out)(err) |
O = 50 T = 260.14 (out)(err) |
| teams20_l6a.cnf.wcnf | O = 18 T = 6.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 8.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 6.25 (out)(err) |
O = 96 T = 11.00 (out)(err) |
O = 42 T = 0.15 (out)(err) |
O = 18 T = 126.95 (out)(err) |
| teams20_l8a.cnf.wcnf | O = 16 T = 1.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 3.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 1.43 (out)(err) |
O = 210 T = 56.15 (out)(err) |
O = 20 T = 0.15 (out)(err) |
O = 16 T = 9.80 (out)(err) |
| teams24_l4a.cnf.wcnf | O = 14 T = 8.76 |
O = 14 T = 8.76 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 9.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 122.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 58 T = 0.25 (out)(err) |
O = 38 T = 0.43 (out)(err) |
| cnf.10.p.10.wcnf | O = 11 T = 148.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 284.66 (out)(err) |
O = 14 T = 32.44 (out)(err) |
O = 17 T = 2.18 (out)(err) |
O = 11 T = 148.50 (out)(err) |
| cnf.10.p.9.wcnf | O = 11 T = 165.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 294.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 284.63 (out)(err) |
O = 14 T = 22.70 (out)(err) |
O = 16 T = 1.23 (out)(err) |
O = 11 T = 165.50 (out)(err) |
| cnf.11.p.10.wcnf | O = 11 T = 254.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 11 T = 254.95 (out)(err) |
O = 16 T = 63.65 (out)(err) |
O = 16 T = 5.32 (out)(err) |
O = 14 T = 66.51 (out)(err) |
| cnf.11.p.9.wcnf | O = 12 T = 8.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 132.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 284.66 (out)(err) |
O = 13 T = 48.96 (out)(err) |
O = 17 T = 3.88 (out)(err) |
O = 12 T = 8.71 (out)(err) |
| cnf.12.p.10.wcnf | O = 15 T = 107.59 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 284.42 (out)(err) |
O = 17 T = 50.65 (out)(err) |
O = 19 T = 10.14 (out)(err) |
O = 15 T = 107.59 (out)(err) |
| cnf.12.p.8.wcnf | O = 14 T = 205.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 284.64 (out)(err) |
O = 19 T = 44.61 (out)(err) |
O = 22 T = 5.83 (out)(err) |
O = 14 T = 205.36 (out)(err) |
| cnf.12.p.9.wcnf | O = 14 T = 96.98 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 284.63 (out)(err) |
O = 16 T = 33.54 (out)(err) |
O = 20 T = 2.30 (out)(err) |
O = 14 T = 96.98 (out)(err) |
| cnf.12.t.9.wcnf | O = 12 T = 46.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 242.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 47.03 (out)(err) |
O = 16 T = 22.59 (out)(err) |
O = 12 T = 46.70 (out)(err) |
O = 12 T = 63.62 (out)(err) |
| cnf.13.p.10.wcnf | O = 14 T = 92.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 284.60 (out)(err) |
O = 16 T = 43.84 (out)(err) |
O = 20 T = 3.34 (out)(err) |
O = 14 T = 92.54 (out)(err) |
| cnf.13.p.8.wcnf | O = 14 T = 223.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 284.63 (out)(err) |
O = 20 T = 50.04 (out)(err) |
O = 25 T = 7.59 (out)(err) |
O = 14 T = 223.09 (out)(err) |
| cnf.13.p.9.wcnf | O = 13 T = 247.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 247.63 (out)(err) |
O = 19 T = 103.06 (out)(err) |
O = 23 T = 9.53 (out)(err) |
O = 15 T = 250.30 (out)(err) |
| cnf.14.d.10.wcnf | O = 14 T = 38.35 |
O = N/A T = TO (out)(err) |
O = 14 T = 250.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 38.35 (out)(err) |
O = 17 T = 31.05 (out)(err) |
O = 14 T = 212.04 (out)(err) |
O = 14 T = 151.95 (out)(err) |
| cnf.14.p.10.wcnf | O = 17 T = 156.46 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 78.56 (out)(err) |
O = 24 T = 13.65 (out)(err) |
O = 17 T = 156.46 (out)(err) |
| cnf.14.p.9.wcnf | O = 16 T = 148.62 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 284.45 (out)(err) |
O = 20 T = 85.09 (out)(err) |
O = 23 T = 3.40 (out)(err) |
O = 16 T = 148.62 (out)(err) |
| cnf.14.t.7.wcnf | O = 14 T = 16.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 121.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 16.76 (out)(err) |
O = 15 T = 20.36 (out)(err) |
O = 18 T = 8.81 (out)(err) |
O = 14 T = 86.63 (out)(err) |
| cnf.14.t.9.wcnf | O = 14 T = 46.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 14 T = 46.63 (out)(err) |
O = 18 T = 21.33 (out)(err) |
O = 18 T = 8.28 (out)(err) |
O = 14 T = 50.79 (out)(err) |
| cnf.15.p.10.wcnf | O = 18 T = 41.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 284.68 (out)(err) |
O = 24 T = 114.58 (out)(err) |
O = 22 T = 23.35 (out)(err) |
O = 18 T = 41.02 (out)(err) |
| cnf.15.p.8.wcnf | O = 18 T = 236.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 284.62 (out)(err) |
O = 22 T = 81.65 (out)(err) |
O = 23 T = 8.21 (out)(err) |
O = 18 T = 236.11 (out)(err) |
| cnf.15.p.9.wcnf | O = 17 T = 194.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 284.68 (out)(err) |
O = 20 T = 88.71 (out)(err) |
O = 25 T = 4.21 (out)(err) |
O = 17 T = 194.19 (out)(err) |
| cnf.15.t.10.wcnf | O = 15 T = 81.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 15 T = 81.68 (out)(err) |
O = 19 T = 24.55 (out)(err) |
O = 15 T = 163.31 (out)(err) |
O = 15 T = 137.00 (out)(err) |
| cnf.16.p.10.wcnf | O = 18 T = 280.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 284.69 (out)(err) |
O = 18 T = 280.32 (out)(err) |
O = 24 T = 40.23 (out)(err) |
O = 21 T = 199.78 (out)(err) |
| cnf.16.p.8.wcnf | O = 21 T = 215.79 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 284.61 (out)(err) |
O = 24 T = 164.95 (out)(err) |
O = 26 T = 11.92 (out)(err) |
O = 21 T = 215.79 (out)(err) |
| cnf.16.p.9.wcnf | O = 18 T = 22.57 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 117.59 (out)(err) |
O = 27 T = 7.99 (out)(err) |
O = 18 T = 22.57 (out)(err) |
| cnf.16.t.9.wcnf | O = 16 T = 58.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 71.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 58.14 (out)(err) |
O = 18 T = 54.42 (out)(err) |
O = 16 T = 146.54 (out)(err) |
O = 16 T = 119.45 (out)(err) |
| cnf.17.d.10.wcnf | O = 17 T = 31.39 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 31.39 (out)(err) |
O = 21 T = 19.94 (out)(err) |
O = 21 T = 11.42 (out)(err) |
O = 17 T = 101.46 (out)(err) |
| cnf.17.d.9.wcnf | O = 17 T = 29.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 197.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 29.30 (out)(err) |
O = 20 T = 33.67 (out)(err) |
O = 17 T = 48.41 (out)(err) |
O = 17 T = 65.56 (out)(err) |
| cnf.17.p.10.wcnf | O = 24 T = 32.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 254.66 (out)(err) |
O = 24 T = 183.58 (out)(err) |
O = 28 T = 21.81 (out)(err) |
O = 24 T = 32.54 (out)(err) |
| cnf.17.p.9.wcnf | O = 23 T = 284.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 284.70 (out)(err) |
O = 24 T = 290.83 (out)(err) |
O = 27 T = 6.25 (out)(err) |
O = 24 T = 150.63 (out)(err) |
| cnf.17.t.10.wcnf | O = 17 T = 101.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 101.30 (out)(err) |
O = 20 T = 48.09 (out)(err) |
O = 22 T = 18.78 (out)(err) |
O = 17 T = 157.28 (out)(err) |
| cnf.17.t.8.wcnf | O = 17 T = 27.94 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 78.64 (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 27.94 (out)(err) |
O = 22 T = 27.70 (out)(err) |
O = 21 T = 5.74 (out)(err) |
O = 17 T = 62.96 (out)(err) |
| cnf.18.d.7.wcnf | O = 18 T = 16.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 121.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 29.40 (out)(err) |
O = 18 T = 16.28 (out)(err) |
O = 18 T = 57.65 (out)(err) |
O = 18 T = 215.02 (out)(err) |
| cnf.18.p.10.wcnf | O = 25 T = 222.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 254.73 (out)(err) |
O = 28 T = 203.48 (out)(err) |
O = 31 T = 17.26 (out)(err) |
O = 25 T = 222.66 (out)(err) |
| cnf.18.p.8.wcnf | O = 23 T = 29.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 284.51 (out)(err) |
O = 26 T = 213.03 (out)(err) |
O = 27 T = 15.87 (out)(err) |
O = 23 T = 29.27 (out)(err) |
| cnf.18.p.9.wcnf | O = 24 T = 41.22 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 284.69 (out)(err) |
O = 27 T = 275.01 (out)(err) |
O = 27 T = 22.45 (out)(err) |
O = 24 T = 41.22 (out)(err) |
| cnf.18.t.9.wcnf | O = 18 T = 72.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 18 T = 72.60 (out)(err) |
O = 21 T = 43.16 (out)(err) |
O = 23 T = 25.42 (out)(err) |
O = 18 T = 170.31 (out)(err) |
| cnf.19.d.10.wcnf | O = 19 T = 31.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 31.96 (out)(err) |
O = 23 T = 39.83 (out)(err) |
O = 19 T = 209.79 (out)(err) |
O = 19 T = 123.15 (out)(err) |
| cnf.19.p.10.wcnf | O = 24 T = 50.90 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 284.68 (out)(err) |
O = 29 T = 130.83 (out)(err) |
O = 30 T = 24.18 (out)(err) |
O = 24 T = 50.90 (out)(err) |
| cnf.19.p.8.wcnf | O = 25 T = 46.26 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 90.24 (out)(err) |
O = 30 T = 17.30 (out)(err) |
O = 25 T = 46.26 (out)(err) |
| cnf.19.p.9.wcnf | O = 24 T = 190.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 108.28 (out)(err) |
O = 29 T = 14.47 (out)(err) |
O = 24 T = 190.11 (out)(err) |
| cnf.19.t.7.wcnf | O = 19 T = 105.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 105.36 (out)(err) |
O = 24 T = 50.11 (out)(err) |
O = 19 T = 183.96 (out)(err) |
O = 21 T = 249.49 (out)(err) |
| cnf.20.d.10.wcnf | O = 20 T = 22.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 22.96 (out)(err) |
O = 24 T = 26.50 (out)(err) |
O = 23 T = 11.28 (out)(err) |
O = 20 T = 89.65 (out)(err) |
| cnf.20.d.9.wcnf | O = 20 T = 22.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 22.52 (out)(err) |
O = 23 T = 24.50 (out)(err) |
O = 23 T = 8.64 (out)(err) |
O = 20 T = 46.66 (out)(err) |
| cnf.20.p.10.wcnf | O = 27 T = 42.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 284.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 23.47 (out)(err) |
O = 27 T = 42.87 (out)(err) |
| cnf.20.p.9.wcnf | O = 26 T = 204.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 284.69 (out)(err) |
O = 27 T = 178.51 (out)(err) |
O = 34 T = 28.40 (out)(err) |
O = 26 T = 204.83 (out)(err) |
| cnf.20.t.10.wcnf | O = 20 T = 96.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 96.50 (out)(err) |
O = 22 T = 44.27 (out)(err) |
O = 27 T = 35.03 (out)(err) |
O = 22 T = 184.71 (out)(err) |
| cnf.20.t.8.wcnf | O = 20 T = 48.26 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 48.26 (out)(err) |
O = 27 T = 63.35 (out)(err) |
O = 28 T = 24.19 (out)(err) |
O = 20 T = 253.59 (out)(err) |
| cnf.8.p.10.wcnf | O = 8 T = 64.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 10 T = 23.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 78.42 (out)(err) |
O = 12 T = 16.76 (out)(err) |
O = 14 T = 1.27 (out)(err) |
O = 8 T = 64.58 (out)(err) |
| cnf.8.p.9.wcnf | O = 8 T = 21.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 10 T = 109.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 8 T = 50.21 (out)(err) |
O = 8 T = 21.74 (out)(err) |
O = 15 T = 1.30 (out)(err) |
O = 8 T = 81.90 (out)(err) |
| cnf.9.p.10.wcnf | O = 9 T = 96.35 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 10 T = 180.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 9 T = 96.35 (out)(err) |
O = 14 T = 27.85 (out)(err) |
O = 14 T = 1.28 (out)(err) |
O = 9 T = 272.32 (out)(err) |
| cnf.9.p.9.wcnf | O = 9 T = 100.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 12 T = 108.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 9 T = 100.68 (out)(err) |
O = 14 T = 24.28 (out)(err) |
O = 15 T = 2.53 (out)(err) |
O = 9 T = 226.58 (out)(err) |
| splitedReads_0.matrix.wcnf | O = 2058 T = 204.61 |
O = N/A T = TO (out)(err) |
O = 4106 T = 60.92 (out)(err) |
O = 2058 T = 204.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 2936 T = 284.37 (out)(err) |
O = 2112 T = 117.05 (out)(err) |
O = 3747 T = 0.10 (out)(err) |
O = 3634 T = 0.19 (out)(err) |
| splitedReads_137.matrix.wcnf | O = 90 T = 0.21 |
O = 760 T = 276.60 (out)(err) |
O = 1688 T = 203.79 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 0.21 (out)(err) |
O = 313 T = 24.44 (out)(err) |
O = 90 T = 1.85 (out)(err) |
O = 192 T = 199.12 (out)(err) |
| splitedReads_158.matrix.wcnf | O = 173 T = 0.77 |
O = 1137 T = 180.08 (out)(err) |
O = 2277 T = 45.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 173 T = 0.77 (out)(err) |
O = 434 T = 34.06 (out)(err) |
O = 173 T = 5.97 (out)(err) |
O = 449 T = 246.08 (out)(err) |
| splitedReads_160.matrix.wcnf | O = 186 T = 0.53 |
O = 1501 T = 291.34 (out)(err) |
O = 2185 T = 73.85 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 186 T = 0.53 (out)(err) |
O = 313 T = 48.35 (out)(err) |
O = 186 T = 9.69 (out)(err) |
O = 335 T = 276.74 (out)(err) |
| splitedReads_18.matrix.wcnf | O = 138 T = 0.38 |
O = 708 T = 255.87 (out)(err) |
O = 2299 T = 39.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 138 T = 0.38 (out)(err) |
O = 332 T = 14.77 (out)(err) |
O = 138 T = 4.69 (out)(err) |
O = 307 T = 220.72 (out)(err) |
| splitedReads_414.matrix.wcnf | O = 171 T = 0.49 |
O = 896 T = 288.32 (out)(err) |
O = 2237 T = 207.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 171 T = 0.49 (out)(err) |
O = 360 T = 22.79 (out)(err) |
O = 171 T = 4.20 (out)(err) |
O = 393 T = 189.97 (out)(err) |
| GreeceWesternGreeceUniversityInstance4.xml.wcnf | O = 171 T = 162.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 328 T = 284.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 236 T = 4.12 (out)(err) |
O = 171 T = 162.28 (out)(err) |
| SouthAfricaWoodlands2009.xml.wcnf | O = 0 T = 23.65 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 26.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 0 T = 23.65 (out)(err) |
O = 45 T = 145.22 (out)(err) |
| b14_C-mbd14-0209.wcnf | O = 26 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 59 T = 274.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 284.72 (out)(err) |
O = 81 T = 0.98 (out)(err) |
O = 26 T = 0.03 (out)(err) |
O = 26 T = 0.04 (out)(err) |
| b14_C-mbd14-0213.wcnf | O = 32 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 59 T = 244.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 284.70 (out)(err) |
O = 66 T = 1.15 (out)(err) |
O = 32 T = 0.03 (out)(err) |
O = 32 T = 0.03 (out)(err) |
| b14_C-mbd14-0218.wcnf | O = 29 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 54 T = 113.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 284.68 (out)(err) |
O = 41 T = 0.64 (out)(err) |
O = 29 T = 0.02 (out)(err) |
O = 29 T = 0.04 (out)(err) |
| b14_C-mbd14-0225.wcnf | O = 28 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 59 T = 270.07 (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 284.71 (out)(err) |
O = 58 T = 0.55 (out)(err) |
O = 28 T = 0.04 (out)(err) |
O = 28 T = 0.03 (out)(err) |
| b14_C-mbd14-0231.wcnf | O = 24 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 61 T = 229.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 284.62 (out)(err) |
O = 104 T = 1.69 (out)(err) |
O = 24 T = 0.03 (out)(err) |
O = 24 T = 0.03 (out)(err) |
| b14_C-mbd14-0248.wcnf | O = 32 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 61 T = 247.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 284.60 (out)(err) |
O = 78 T = 1.27 (out)(err) |
O = 32 T = 0.03 (out)(err) |
O = 32 T = 0.03 (out)(err) |
| b14_C-mbd14-0256.wcnf | O = 27 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 50 T = 268.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 284.68 (out)(err) |
O = 58 T = 0.81 (out)(err) |
O = 27 T = 0.02 (out)(err) |
O = 27 T = 0.04 (out)(err) |
| b14_C-mbd14-0259.wcnf | O = 21 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 53 T = 294.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 284.57 (out)(err) |
O = 75 T = 0.77 (out)(err) |
O = 21 T = 0.03 (out)(err) |
O = 21 T = 0.04 (out)(err) |
| b15_C-mbd14-0240.wcnf | O = 24 T = 172.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 99.13 (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 284.63 (out)(err) |
O = 48 T = 0.78 (out)(err) |
O = 32 T = 0.03 (out)(err) |
O = 24 T = 172.20 (out)(err) |
| b15_C-mbd14-0256.wcnf | O = 24 T = 5.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 39 T = 201.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 5.02 (out)(err) |
O = 65 T = 0.81 (out)(err) |
O = 24 T = 32.76 (out)(err) |
O = 27 T = 163.26 (out)(err) |
| b15_C-mbd14-0259.wcnf | O = 22 T = 0.62 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 52 T = 63.89 (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 3.32 (out)(err) |
O = 80 T = 0.76 (out)(err) |
O = 22 T = 0.62 (out)(err) |
O = 25 T = 68.72 (out)(err) |
| b15_C-mbd14-0288.wcnf | O = 35 T = 0.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 56 T = 21.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 284.65 (out)(err) |
O = 89 T = 0.91 (out)(err) |
O = 35 T = 0.03 (out)(err) |
O = 35 T = 0.03 (out)(err) |
| b15_C-mbd14-0305.wcnf | O = 28 T = 69.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 52 T = 276.33 (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 284.63 (out)(err) |
O = 66 T = 1.04 (out)(err) |
O = 31 T = 0.03 (out)(err) |
O = 28 T = 69.72 (out)(err) |
| b15_C-mbd14-0330.wcnf | O = 24 T = 31.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 43 T = 236.42 (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 284.55 (out)(err) |
O = 71 T = 0.77 (out)(err) |
O = 28 T = 0.03 (out)(err) |
O = 24 T = 31.61 (out)(err) |
| b17_C-mbd14-0205.wcnf | O = 22 T = 0.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 0.45 (out)(err) |
O = 108 T = 7.50 (out)(err) |
O = 22 T = 1.25 (out)(err) |
O = 26 T = 116.70 (out)(err) |
| b17_C-mbd14-0206.wcnf | O = 27 T = 2.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 128 T = 271.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 5.22 (out)(err) |
O = 117 T = 9.59 (out)(err) |
O = 27 T = 2.77 (out)(err) |
O = 30 T = 0.13 (out)(err) |
| b17_C-mbd14-0217.wcnf | O = 24 T = 0.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.19 (out)(err) |
O = 107 T = 8.50 (out)(err) |
O = 24 T = 1.31 (out)(err) |
O = 27 T = 61.28 (out)(err) |
| b17_C-mbd14-0218.wcnf | O = 27 T = 0.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 27 T = 0.16 (out)(err) |
O = 90 T = 6.68 (out)(err) |
O = 27 T = 1.37 (out)(err) |
O = 29 T = 139.84 (out)(err) |
| b17_C-mbd14-0220.wcnf | O = 24 T = 2.56 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 87 T = 275.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 2.56 (out)(err) |
O = 103 T = 7.35 (out)(err) |
O = 24 T = 5.50 (out)(err) |
O = 25 T = 263.67 (out)(err) |
| b17_C-mbd14-0224.wcnf | O = 23 T = 0.26 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 0.26 (out)(err) |
O = 105 T = 12.11 (out)(err) |
O = 23 T = 1.35 (out)(err) |
O = 25 T = 202.88 (out)(err) |
| b17_C-mbd14-0229.wcnf | O = 19 T = 4.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 4.07 (out)(err) |
O = 76 T = 8.21 (out)(err) |
O = 19 T = 4.92 (out)(err) |
O = 21 T = 272.52 (out)(err) |
| b17_C-mbd14-0230.wcnf | O = 24 T = 0.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 0.27 (out)(err) |
O = 115 T = 9.11 (out)(err) |
O = 24 T = 1.47 (out)(err) |
O = 29 T = 244.49 (out)(err) |
| b20_C-mbd14-0202.wcnf | O = 21 T = 0.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 217.67 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 0.96 (out)(err) |
O = 117 T = 1.67 (out)(err) |
O = 21 T = 0.71 (out)(err) |
O = 21 T = 83.47 (out)(err) |
| b20_C-mbd14-0211.wcnf | O = 23 T = 50.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 102.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 50.54 (out)(err) |
O = 62 T = 2.07 (out)(err) |
O = 28 T = 0.06 (out)(err) |
O = 28 T = 0.08 (out)(err) |
| b20_C-mbd14-0213.wcnf | O = 22 T = 20.26 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 112 T = 148.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 20.26 (out)(err) |
O = 105 T = 2.06 (out)(err) |
O = 22 T = 108.40 (out)(err) |
O = 23 T = 290.94 (out)(err) |
| b20_C-mbd14-0214.wcnf | O = 17 T = 3.37 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 84 T = 35.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 17 T = 3.37 (out)(err) |
O = 103 T = 2.56 (out)(err) |
O = 17 T = 70.32 (out)(err) |
O = 21 T = 0.07 (out)(err) |
| b20_C-mbd14-0216.wcnf | O = 26 T = 84.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 125 T = 229.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 84.88 (out)(err) |
O = 109 T = 3.00 (out)(err) |
O = 26 T = 111.65 (out)(err) |
O = 35 T = 260.07 (out)(err) |
| b20_C-mbd14-0217.wcnf | O = 21 T = 5.41 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 33.10 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 31.05 (out)(err) |
O = 100 T = 3.70 (out)(err) |
O = 21 T = 5.41 (out)(err) |
O = 29 T = 175.18 (out)(err) |
| b20_C-mbd14-0221.wcnf | O = 22 T = 12.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 72 T = 58.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 48.35 (out)(err) |
O = 72 T = 2.21 (out)(err) |
O = 22 T = 12.27 (out)(err) |
O = 24 T = 125.28 (out)(err) |
| b20_C-mbd14-0222.wcnf | O = 32 T = 0.07 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 125 T = 144.53 (out)(err) |
O = N/A T = TO (out)(err) |
O = 32 T = 284.57 (out)(err) |
O = 130 T = 2.56 (out)(err) |
O = 32 T = 0.07 (out)(err) |
O = 32 T = 0.07 (out)(err) |
| b21_C-mbd14-0203.wcnf | O = 27 T = 3.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 82 T = 38.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 284.57 (out)(err) |
O = 83 T = 3.16 (out)(err) |
O = 30 T = 0.07 (out)(err) |
O = 27 T = 3.13 (out)(err) |
| b21_C-mbd14-0204.wcnf | O = 22 T = 7.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 94 T = 195.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 7.80 (out)(err) |
O = 113 T = 3.03 (out)(err) |
O = 22 T = 16.66 (out)(err) |
O = 32 T = 0.06 (out)(err) |
| b21_C-mbd14-0205.wcnf | O = 21 T = 22.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 82 T = 43.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 31.24 (out)(err) |
O = 71 T = 2.34 (out)(err) |
O = 21 T = 22.87 (out)(err) |
O = 30 T = 0.07 (out)(err) |
| b21_C-mbd14-0217.wcnf | O = 21 T = 4.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 92 T = 50.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 29.70 (out)(err) |
O = 88 T = 2.62 (out)(err) |
O = 21 T = 4.52 (out)(err) |
O = 22 T = 1.14 (out)(err) |
| b21_C-mbd14-0218.wcnf | O = 35 T = 0.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 122 T = 66.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 35 T = 284.53 (out)(err) |
O = 122 T = 2.63 (out)(err) |
O = 35 T = 0.05 (out)(err) |
O = 35 T = 0.07 (out)(err) |
| b21_C-mbd14-0221.wcnf | O = 19 T = 11.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 95 T = 66.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 19 T = 111.82 (out)(err) |
O = 101 T = 1.88 (out)(err) |
O = 19 T = 11.11 (out)(err) |
O = 27 T = 0.07 (out)(err) |
| b21_C-mbd14-0224.wcnf | O = 16 T = 0.62 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 102 T = 92.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 16 T = 2.20 (out)(err) |
O = 85 T = 2.63 (out)(err) |
O = 16 T = 0.62 (out)(err) |
O = 21 T = 147.50 (out)(err) |
| b21_C-mbd14-0227.wcnf | O = 24 T = 1.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 111 T = 243.00 (out)(err) |
O = N/A T = TO (out)(err) |
O = 24 T = 42.19 (out)(err) |
O = 102 T = 3.03 (out)(err) |
O = 24 T = 1.00 (out)(err) |
O = 28 T = 0.08 (out)(err) |
| b22_C-mbd14-0204.wcnf | O = 23 T = 0.96 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 0.96 (out)(err) |
O = 94 T = 5.95 (out)(err) |
O = 23 T = 1.86 (out)(err) |
O = 33 T = 0.11 (out)(err) |
| b22_C-mbd14-0205.wcnf | O = 28 T = 3.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 5.43 (out)(err) |
O = 127 T = 5.09 (out)(err) |
O = 28 T = 3.03 (out)(err) |
O = 31 T = 0.10 (out)(err) |
| b22_C-mbd14-0207.wcnf | O = 25 T = 0.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 25 T = 0.25 (out)(err) |
O = 83 T = 4.73 (out)(err) |
O = 25 T = 1.24 (out)(err) |
O = 26 T = 227.47 (out)(err) |
| b22_C-mbd14-0208.wcnf | O = 23 T = 0.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 23 T = 0.45 (out)(err) |
O = 88 T = 4.36 (out)(err) |
O = 23 T = 1.21 (out)(err) |
O = 23 T = 46.81 (out)(err) |
| b22_C-mbd14-0210.wcnf | O = 26 T = 62.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 62.06 (out)(err) |
O = 171 T = 5.13 (out)(err) |
O = 34 T = 0.10 (out)(err) |
O = 34 T = 0.10 (out)(err) |
| b22_C-mbd14-0211.wcnf | O = 22 T = 0.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 0.43 (out)(err) |
O = 87 T = 4.18 (out)(err) |
O = 22 T = 1.44 (out)(err) |
O = 26 T = 193.46 (out)(err) |
| b22_C-mbd14-0213.wcnf | O = 26 T = 0.17 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 26 T = 0.17 (out)(err) |
O = 129 T = 4.72 (out)(err) |
O = 26 T = 1.17 (out)(err) |
O = 29 T = 165.60 (out)(err) |
| b22_C-mbd14-0215.wcnf | O = 22 T = 0.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 150 T = 100.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 22 T = 0.76 (out)(err) |
O = 149 T = 5.80 (out)(err) |
O = 22 T = 2.41 (out)(err) |
O = 24 T = 295.14 (out)(err) |
| 1aabfc32-d491-11df-9a24-00163e3d3b7c_l3.wcnf | O = 2236 T = 6.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2236 T = 14.77 (out)(err) |
O = 2236 T = 10.11 (out)(err) |
O = 2236 T = 8.29 (out)(err) |
O = 2238 T = 13.38 (out)(err) |
O = 2236 T = 175.78 (out)(err) |
O = 2236 T = 6.20 (out)(err) |
| 2c3aece6-c8b2-11df-a040-00163e3d3b7c_l3.wcnf | O = 814 T = 0.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 814 T = 6.93 (out)(err) |
O = 814 T = 7.90 (out)(err) |
O = 814 T = 0.19 (out)(err) |
O = 814 T = 25.10 (out)(err) |
O = 814 T = 1.49 (out)(err) |
O = 814 T = 1.58 (out)(err) |
| 4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l3.wcnf | O = 631 T = 0.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 631 T = 7.99 (out)(err) |
O = 631 T = 14.47 (out)(err) |
O = 631 T = 0.43 (out)(err) |
O = 631 T = 3.28 (out)(err) |
O = 631 T = 24.04 (out)(err) |
O = 631 T = 0.59 (out)(err) |
| 7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l3.wcnf | O = 404 T = 0.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 404 T = 4.13 (out)(err) |
O = 404 T = 9.25 (out)(err) |
O = 404 T = 0.08 (out)(err) |
O = 404 T = 143.99 (out)(err) |
O = 404 T = 0.16 (out)(err) |
O = 404 T = 0.19 (out)(err) |
| ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l3.wcnf | O = 2236 T = 6.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 2236 T = 28.20 (out)(err) |
O = 2236 T = 12.51 (out)(err) |
O = 2236 T = 7.19 (out)(err) |
O = 2238 T = 15.19 (out)(err) |
O = 2236 T = 176.57 (out)(err) |
O = 2236 T = 6.29 (out)(err) |
| rand118_l2.wcnf | O = 447 T = 0.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 458 T = 86.22 (out)(err) |
O = N/A T = TO (out)(err) |
O = 447 T = 0.60 (out)(err) |
O = 471 T = 9.73 (out)(err) |
O = 447 T = 17.98 (out)(err) |
O = 447 T = 125.61 (out)(err) |
| rand172_l2.wcnf | O = 670 T = 1.63 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 675 T = 175.23 (out)(err) |
O = N/A T = TO (out)(err) |
O = 670 T = 1.63 (out)(err) |
O = 687 T = 14.40 (out)(err) |
O = 670 T = 32.23 (out)(err) |
O = 670 T = 192.53 (out)(err) |
| rand179_l2.wcnf | O = 1088 T = 3.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1100 T = 29.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1088 T = 3.14 (out)(err) |
O = 1118 T = 21.96 (out)(err) |
O = 1088 T = 46.53 (out)(err) |
O = 1088 T = 162.78 (out)(err) |
| rand196_l2.wcnf | O = 1298 T = 16.51 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1320 T = 84.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1298 T = 16.51 (out)(err) |
O = 1335 T = 28.65 (out)(err) |
O = 1375 T = 0.16 (out)(err) |
O = 1300 T = 216.89 (out)(err) |
| rand208_l2.wcnf | O = 349 T = 0.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 351 T = 156.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = 349 T = 0.70 (out)(err) |
O = 370 T = 10.89 (out)(err) |
O = 349 T = 15.40 (out)(err) |
O = 349 T = 41.87 (out)(err) |
| rand209_l2.wcnf | O = 1199 T = 2.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1214 T = 183.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1199 T = 2.14 (out)(err) |
O = 1247 T = 12.03 (out)(err) |
O = 1199 T = 47.45 (out)(err) |
O = 1199 T = 197.45 (out)(err) |
| rand21_l2.wcnf | O = 1465 T = 27.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1500 T = 264.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1465 T = 27.31 (out)(err) |
O = 1520 T = 24.87 (out)(err) |
O = 1506 T = 0.16 (out)(err) |
O = 1474 T = 118.03 (out)(err) |
| rand242_l2.wcnf | O = 388 T = 1.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 403 T = 207.01 (out)(err) |
O = N/A T = TO (out)(err) |
O = 388 T = 1.50 (out)(err) |
O = 430 T = 10.04 (out)(err) |
O = 408 T = 0.17 (out)(err) |
O = 388 T = 122.68 (out)(err) |
| rand289_l2.wcnf | O = 350 T = 0.86 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 356 T = 69.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 350 T = 0.86 (out)(err) |
O = 364 T = 7.64 (out)(err) |
O = 350 T = 26.60 (out)(err) |
O = 350 T = 41.15 (out)(err) |
| rand290_l2.wcnf | O = 1017 T = 2.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1041 T = 89.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1017 T = 2.74 (out)(err) |
O = 1074 T = 33.84 (out)(err) |
O = 1017 T = 60.44 (out)(err) |
O = 1019 T = 265.13 (out)(err) |
| rand308_l2.wcnf | O = 1235 T = 2.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1245 T = 9.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1235 T = 2.54 (out)(err) |
O = 1251 T = 8.01 (out)(err) |
O = 1235 T = 31.94 (out)(err) |
O = 1235 T = 94.74 (out)(err) |
| rand30_l2.wcnf | O = 512 T = 1.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 516 T = 120.28 (out)(err) |
O = N/A T = TO (out)(err) |
O = 512 T = 1.24 (out)(err) |
O = 525 T = 9.57 (out)(err) |
O = 512 T = 17.72 (out)(err) |
O = 512 T = 37.88 (out)(err) |
| rand313_l2.wcnf | O = 1595 T = 4.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1617 T = 56.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1595 T = 4.70 (out)(err) |
O = 1625 T = 16.99 (out)(err) |
O = 1595 T = 79.71 (out)(err) |
O = 1600 T = 90.21 (out)(err) |
| rand377_l2.wcnf | O = 574 T = 0.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 578 T = 169.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 574 T = 0.47 (out)(err) |
O = 580 T = 5.15 (out)(err) |
O = 574 T = 15.65 (out)(err) |
O = 574 T = 22.83 (out)(err) |
| rand411_l2.wcnf | O = 578 T = 0.98 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 596 T = 31.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 578 T = 0.98 (out)(err) |
O = 590 T = 9.02 (out)(err) |
O = 732 T = 0.13 (out)(err) |
O = 578 T = 164.25 (out)(err) |
| rand414_l2.wcnf | O = 1259 T = 1.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1267 T = 225.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1259 T = 1.58 (out)(err) |
O = 1278 T = 7.91 (out)(err) |
O = 1259 T = 55.07 (out)(err) |
O = 1259 T = 109.65 (out)(err) |
| rand425_l2.wcnf | O = 694 T = 0.98 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 699 T = 40.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 694 T = 0.98 (out)(err) |
O = 702 T = 9.24 (out)(err) |
O = 694 T = 26.32 (out)(err) |
O = 694 T = 40.52 (out)(err) |
| rand446_l2.wcnf | O = 416 T = 0.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 426 T = 82.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 416 T = 0.87 (out)(err) |
O = 427 T = 11.73 (out)(err) |
O = 416 T = 25.79 (out)(err) |
O = 416 T = 67.08 (out)(err) |
| rand484_l2.wcnf | O = 331 T = 1.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 340 T = 123.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 331 T = 1.04 (out)(err) |
O = 347 T = 10.96 (out)(err) |
O = 375 T = 0.12 (out)(err) |
O = 331 T = 50.07 (out)(err) |
| rand507_l2.wcnf | O = 1197 T = 1.70 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1205 T = 12.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1197 T = 1.70 (out)(err) |
O = 1220 T = 6.50 (out)(err) |
O = 1197 T = 33.97 (out)(err) |
O = 1197 T = 52.28 (out)(err) |
| rand695_l2.wcnf | O = 974 T = 1.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 974 T = 33.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 974 T = 1.01 (out)(err) |
O = 987 T = 5.37 (out)(err) |
O = 974 T = 26.27 (out)(err) |
O = 974 T = 87.48 (out)(err) |
| rand717_l2.wcnf | O = 1120 T = 3.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1151 T = 76.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1120 T = 3.24 (out)(err) |
O = 1163 T = 18.39 (out)(err) |
O = 1120 T = 50.82 (out)(err) |
O = 1122 T = 246.59 (out)(err) |
| rand736_l2.wcnf | O = 1232 T = 1.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1236 T = 105.63 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1232 T = 1.50 (out)(err) |
O = 1233 T = 6.88 (out)(err) |
O = 1232 T = 34.61 (out)(err) |
O = 1232 T = 105.83 (out)(err) |
| rand736_l3.wcnf | O = 1481 T = 0.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1481 T = 7.36 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1481 T = 0.20 (out)(err) |
O = 1481 T = 3.83 (out)(err) |
O = 1481 T = 1.06 (out)(err) |
O = 1481 T = 1.07 (out)(err) |
| rand794_l2.wcnf | O = 472 T = 0.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 477 T = 267.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 472 T = 0.80 (out)(err) |
O = 490 T = 7.32 (out)(err) |
O = 472 T = 19.54 (out)(err) |
O = 472 T = 36.41 (out)(err) |
| rand7_l2.wcnf | O = 971 T = 2.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 982 T = 81.61 (out)(err) |
O = N/A T = TO (out)(err) |
O = 971 T = 2.66 (out)(err) |
O = 1015 T = 16.10 (out)(err) |
O = 971 T = 39.35 (out)(err) |
O = 971 T = 185.02 (out)(err) |
| rand813_l2.wcnf | O = 1192 T = 1.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1198 T = 9.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1192 T = 1.32 (out)(err) |
O = 1205 T = 7.35 (out)(err) |
O = 1192 T = 46.57 (out)(err) |
O = 1192 T = 109.33 (out)(err) |
| rand869_l2.wcnf | O = 459 T = 1.38 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 473 T = 206.62 (out)(err) |
O = N/A T = TO (out)(err) |
O = 459 T = 1.38 (out)(err) |
O = 543 T = 12.38 (out)(err) |
O = 459 T = 24.56 (out)(err) |
O = 459 T = 67.54 (out)(err) |
| rand874_l2.wcnf | O = 863 T = 1.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 874 T = 62.05 (out)(err) |
O = N/A T = TO (out)(err) |
O = 863 T = 1.83 (out)(err) |
O = 910 T = 19.50 (out)(err) |
O = 863 T = 42.87 (out)(err) |
O = 863 T = 99.04 (out)(err) |
| rand892_l2.wcnf | O = 1119 T = 1.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 1123 T = 104.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 1119 T = 1.15 (out)(err) |
O = 1128 T = 6.64 (out)(err) |
O = 1119 T = 36.23 (out)(err) |
O = 1119 T = 60.50 (out)(err) |
| rand937_l2.wcnf | O = 439 T = 0.83 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 442 T = 77.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 439 T = 0.83 (out)(err) |
O = 454 T = 10.37 (out)(err) |
O = 439 T = 17.74 (out)(err) |
O = 439 T = 112.31 (out)(err) |
| rand943_l2.wcnf | O = 829 T = 3.67 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 845 T = 227.81 (out)(err) |
O = N/A T = TO (out)(err) |
O = 829 T = 3.67 (out)(err) |
O = 873 T = 23.22 (out)(err) |
O = 879 T = 0.16 (out)(err) |
O = 830 T = 248.73 (out)(err) |
| rand954_l2.wcnf | O = 700 T = 1.04 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 704 T = 127.45 (out)(err) |
O = N/A T = TO (out)(err) |
O = 700 T = 1.04 (out)(err) |
O = 706 T = 9.91 (out)(err) |
O = 700 T = 27.97 (out)(err) |
O = 700 T = 80.28 (out)(err) |
| rand96_l2.wcnf | O = 392 T = 0.57 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 395 T = 239.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 392 T = 0.57 (out)(err) |
O = 403 T = 10.30 (out)(err) |
O = 392 T = 16.46 (out)(err) |
O = 392 T = 39.45 (out)(err) |
| rand984_l2.wcnf | O = 839 T = 3.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 847 T = 284.48 (out)(err) |
O = N/A T = TO (out)(err) |
O = 839 T = 3.49 (out)(err) |
O = 892 T = 12.48 (out)(err) |
O = 839 T = 36.53 (out)(err) |
O = 839 T = 166.10 (out)(err) |
| 10tree110p.wcnf | O = 20 T = 0.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 20 T = 4.60 (out)(err) |
O = 20 T = 1.13 (out)(err) |
O = 20 T = 0.53 (out)(err) |
O = 32 T = 0.07 (out)(err) |
O = 20 T = 0.13 (out)(err) |
| 10tree120p.wcnf | O = 41 T = 3.30 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 121 T = 6.49 (out)(err) |
O = 41 T = 3.30 (out)(err) |
O = 41 T = 12.66 (out)(err) |
O = 50 T = 1.15 (out)(err) |
O = 127 T = 0.03 (out)(err) |
O = 41 T = 66.66 (out)(err) |
| 10tree130p.wcnf | O = 63 T = 32.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 127 T = 8.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 63 T = 32.50 (out)(err) |
O = 87 T = 1.87 (out)(err) |
O = 134 T = 0.07 (out)(err) |
O = 63 T = 294.81 (out)(err) |
| 10tree215p.wcnf | O = 31 T = 1.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 51.74 (out)(err) |
O = 31 T = 12.80 (out)(err) |
O = 31 T = 1.00 (out)(err) |
O = 124 T = 0.05 (out)(err) |
O = 31 T = 13.70 (out)(err) |
| 10tree225p.wcnf | O = 52 T = 28.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 52 T = 28.16 (out)(err) |
O = 70 T = 1.65 (out)(err) |
O = 134 T = 0.05 (out)(err) |
O = 52 T = 105.36 (out)(err) |
| 10tree305p.wcnf | O = 9 T = 0.36 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9 T = 3.17 (out)(err) |
O = 9 T = 2.56 (out)(err) |
O = 9 T = 0.36 (out)(err) |
O = 9 T = 31.25 (out)(err) |
O = 9 T = 0.81 (out)(err) |
| 10tree315p.wcnf | O = 30 T = 1.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 119 T = 10.65 (out)(err) |
O = 30 T = 6.61 (out)(err) |
O = 30 T = 5.96 (out)(err) |
O = 30 T = 1.09 (out)(err) |
O = 147 T = 0.03 (out)(err) |
O = 30 T = 11.18 (out)(err) |
| 10tree325p.wcnf | O = 48 T = 30.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 48 T = 81.13 (out)(err) |
O = 48 T = 30.31 (out)(err) |
O = 95 T = 2.62 (out)(err) |
O = 145 T = 0.04 (out)(err) |
O = 48 T = 142.58 (out)(err) |
| 10tree405p.wcnf | O = 9 T = 0.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 9 T = 6.14 (out)(err) |
O = 9 T = 0.79 (out)(err) |
O = 9 T = 0.45 (out)(err) |
O = 9 T = 63.62 (out)(err) |
O = 9 T = 1.25 (out)(err) |
| 10tree410p.wcnf | O = 21 T = 0.50 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 21 T = 16.37 (out)(err) |
O = 21 T = 1.96 (out)(err) |
O = 21 T = 0.50 (out)(err) |
O = 133 T = 0.04 (out)(err) |
O = 21 T = 10.55 (out)(err) |
| 10tree420p.wcnf | O = 41 T = 2.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 136 T = 94.98 (out)(err) |
O = 41 T = 18.77 (out)(err) |
O = 41 T = 2.27 (out)(err) |
O = 51 T = 1.04 (out)(err) |
O = 117 T = 0.03 (out)(err) |
O = 41 T = 18.10 (out)(err) |
| 10tree430p.wcnf | O = 62 T = 10.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 62 T = 78.06 (out)(err) |
O = 62 T = 10.10 (out)(err) |
O = 69 T = 1.98 (out)(err) |
O = 142 T = 0.03 (out)(err) |
O = 62 T = 48.15 (out)(err) |
| 10tree505posib.wcnf | O = 10 T = 0.34 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 10 T = 3.87 (out)(err) |
O = 10 T = 0.67 (out)(err) |
O = 10 T = 0.34 (out)(err) |
O = 10 T = 5.96 (out)(err) |
O = 10 T = 2.83 (out)(err) |
| 10tree515p.wcnf | O = 29 T = 0.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 8.59 (out)(err) |
O = 29 T = 2.98 (out)(err) |
O = 34 T = 2.11 (out)(err) |
O = 38 T = 0.04 (out)(err) |
O = 29 T = 0.13 (out)(err) |
| 10tree525p.wcnf | O = 52 T = 6.53 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 52 T = 50.64 (out)(err) |
O = 52 T = 6.53 (out)(err) |
O = 103 T = 4.45 (out)(err) |
O = 133 T = 0.03 (out)(err) |
O = 52 T = 35.10 (out)(err) |
| 15tree1001p.wcnf | O = 13 T = 4.43 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 111.57 (out)(err) |
O = 13 T = 4.43 (out)(err) |
O = 916 T = 0.31 (out)(err) |
O = 13 T = 246.06 (out)(err) |
| 15tree101p.wcnf | O = 13 T = 108.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 329 T = 284.72 (out)(err) |
O = 33 T = 6.06 (out)(err) |
O = 281 T = 0.36 (out)(err) |
O = 13 T = 108.72 (out)(err) |
| 15tree201p.wcnf | O = 13 T = 4.47 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 153.52 (out)(err) |
O = 13 T = 15.07 (out)(err) |
O = 13 T = 4.47 (out)(err) |
O = 778 T = 0.37 (out)(err) |
O = 13 T = 210.95 (out)(err) |
| 15tree301p.wcnf | O = 13 T = 5.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 296 T = 284.67 (out)(err) |
O = 13 T = 5.49 (out)(err) |
O = 725 T = 0.37 (out)(err) |
O = 37 T = 178.27 (out)(err) |
| 15tree401p.wcnf | O = 13 T = 4.05 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 214.06 (out)(err) |
O = 426 T = 284.61 (out)(err) |
O = 13 T = 4.05 (out)(err) |
O = 564 T = 0.16 (out)(err) |
O = 47 T = 258.16 (out)(err) |
| 15tree501p.wcnf | O = 13 T = 5.44 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 26.71 (out)(err) |
O = 13 T = 5.44 (out)(err) |
O = 838 T = 0.18 (out)(err) |
O = 287 T = 264.22 (out)(err) |
| 15tree601p.wcnf | O = 13 T = 5.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 82.52 (out)(err) |
O = 13 T = 5.66 (out)(err) |
O = 737 T = 0.27 (out)(err) |
O = 13 T = 111.09 (out)(err) |
| 15tree701p.wcnf | O = 13 T = 4.73 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 10.66 (out)(err) |
O = 13 T = 4.73 (out)(err) |
O = 798 T = 0.22 (out)(err) |
O = 123 T = 292.33 (out)(err) |
| 15tree801p.wcnf | O = 13 T = 26.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 26.23 (out)(err) |
O = 223 T = 284.70 (out)(err) |
O = 187 T = 20.50 (out)(err) |
O = 587 T = 0.23 (out)(err) |
O = 35 T = 284.22 (out)(err) |
| 15tree901p.wcnf | O = 13 T = 4.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 36.79 (out)(err) |
O = 13 T = 4.48 (out)(err) |
O = 848 T = 0.21 (out)(err) |
O = 35 T = 280.55 (out)(err) |
| 10tree115p.wcnf | O = 31 T = 2.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 81 T = 285.51 (out)(err) |
O = 31 T = 5.64 (out)(err) |
O = 31 T = 2.03 (out)(err) |
O = 43 T = 0.49 (out)(err) |
O = 117 T = 0.01 (out)(err) |
O = 31 T = 50.83 (out)(err) |
| 10tree125p.wcnf | O = 52 T = 1.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 124 T = 291.89 (out)(err) |
O = 52 T = 8.90 (out)(err) |
O = 52 T = 1.85 (out)(err) |
O = 59 T = 0.67 (out)(err) |
O = 104 T = 0.02 (out)(err) |
O = 52 T = 42.25 (out)(err) |
| 10tree210p.wcnf | O = 21 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 54 T = 4.84 (out)(err) |
O = 21 T = 10.10 (out)(err) |
O = 21 T = 0.18 (out)(err) |
O = 21 T = 0.52 (out)(err) |
O = 21 T = 0.02 (out)(err) |
O = 21 T = 0.02 (out)(err) |
| 10tree220p.wcnf | O = 42 T = 4.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 50 T = 269.87 (out)(err) |
O = 42 T = 41.86 (out)(err) |
O = 42 T = 4.24 (out)(err) |
O = 71 T = 0.58 (out)(err) |
O = 57 T = 0.02 (out)(err) |
O = 42 T = 10.47 (out)(err) |
| 10tree230p.wcnf | O = 63 T = 0.02 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 94 T = 7.32 (out)(err) |
O = 63 T = 117.96 (out)(err) |
O = 63 T = 37.23 (out)(err) |
O = 105 T = 0.75 (out)(err) |
O = 63 T = 0.02 (out)(err) |
O = 63 T = 0.02 (out)(err) |
| 10tree310p.wcnf | O = 21 T = 0.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 57 T = 156.23 (out)(err) |
O = 21 T = 2.84 (out)(err) |
O = 21 T = 0.59 (out)(err) |
O = 21 T = 0.54 (out)(err) |
O = 138 T = 0.03 (out)(err) |
O = 21 T = 2.09 (out)(err) |
| 10tree320p.wcnf | O = 42 T = 0.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 65 T = 83.25 (out)(err) |
O = 42 T = 8.46 (out)(err) |
O = 42 T = 1.22 (out)(err) |
O = 42 T = 0.68 (out)(err) |
O = 45 T = 0.02 (out)(err) |
O = 42 T = 11.26 (out)(err) |
| 10tree330p.wcnf | O = 63 T = 23.91 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 86 T = 63.44 (out)(err) |
O = 63 T = 34.18 (out)(err) |
O = 63 T = 23.91 (out)(err) |
O = 73 T = 1.14 (out)(err) |
O = 148 T = 0.02 (out)(err) |
O = 63 T = 215.17 (out)(err) |
| 10tree405posib.wcnf | O = 10 T = 0.13 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 10 T = 176.51 (out)(err) |
O = 10 T = 2.09 (out)(err) |
O = 10 T = 0.13 (out)(err) |
O = 10 T = 0.20 (out)(err) |
O = 10 T = 0.56 (out)(err) |
O = 10 T = 0.38 (out)(err) |
| 10tree415p.wcnf | O = 31 T = 0.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 282.75 (out)(err) |
O = 31 T = 3.73 (out)(err) |
O = 31 T = 0.19 (out)(err) |
O = 31 T = 0.42 (out)(err) |
O = 126 T = 0.02 (out)(err) |
O = 31 T = 3.23 (out)(err) |
| 10tree425p.wcnf | O = 52 T = 0.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 112 T = 27.79 (out)(err) |
O = 52 T = 17.43 (out)(err) |
O = 52 T = 2.23 (out)(err) |
O = 52 T = 0.74 (out)(err) |
O = 149 T = 0.02 (out)(err) |
O = 52 T = 12.61 (out)(err) |
| 10tree505p.wcnf | O = 10 T = 0.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 10 T = 119.46 (out)(err) |
O = 10 T = 4.42 (out)(err) |
O = 10 T = 0.29 (out)(err) |
O = 10 T = 0.18 (out)(err) |
O = 10 T = 1.03 (out)(err) |
O = 10 T = 11.05 (out)(err) |
| 10tree510p.wcnf | O = 21 T = 0.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 85 T = 211.99 (out)(err) |
O = 21 T = 6.02 (out)(err) |
O = 21 T = 1.09 (out)(err) |
O = 21 T = 0.27 (out)(err) |
O = 82 T = 0.04 (out)(err) |
O = 21 T = 6.51 (out)(err) |
| 10tree520p.wcnf | O = 42 T = 0.97 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 100 T = 133.28 (out)(err) |
O = 42 T = 18.57 (out)(err) |
O = 42 T = 0.97 (out)(err) |
O = 84 T = 1.76 (out)(err) |
O = 134 T = 0.03 (out)(err) |
O = 42 T = 23.44 (out)(err) |
| 10tree530p.wcnf | O = 63 T = 2.12 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 72 T = 43.43 (out)(err) |
O = 63 T = 76.94 (out)(err) |
O = 63 T = 2.12 (out)(err) |
O = 125 T = 2.17 (out)(err) |
O = 86 T = 0.03 (out)(err) |
O = 63 T = 31.62 (out)(err) |
| 15tree1001posib.wcnf | O = 13 T = 1.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 502 T = 134.14 (out)(err) |
O = 13 T = 27.47 (out)(err) |
O = 13 T = 1.20 (out)(err) |
O = 13 T = 1.94 (out)(err) |
O = 13 T = 9.15 (out)(err) |
O = 13 T = 10.80 (out)(err) |
| 15tree101posib.wcnf | O = 13 T = 2.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 336 T = 248.76 (out)(err) |
O = 13 T = 123.78 (out)(err) |
O = 13 T = 2.49 (out)(err) |
O = 33 T = 1.93 (out)(err) |
O = 13 T = 89.85 (out)(err) |
O = 13 T = 52.35 (out)(err) |
| 15tree201posib.wcnf | O = 13 T = 1.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 553 T = 97.34 (out)(err) |
O = 13 T = 6.86 (out)(err) |
O = 13 T = 1.51 (out)(err) |
O = 13 T = 1.49 (out)(err) |
O = 530 T = 0.08 (out)(err) |
O = 13 T = 35.21 (out)(err) |
| 15tree301posib.wcnf | O = 13 T = 0.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 167.69 (out)(err) |
O = 13 T = 4.47 (out)(err) |
O = 13 T = 0.60 (out)(err) |
O = 13 T = 1.59 (out)(err) |
O = 299 T = 0.07 (out)(err) |
O = 13 T = 13.70 (out)(err) |
| 15tree401posib.wcnf | O = 13 T = 1.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 169 T = 279.21 (out)(err) |
O = 13 T = 87.21 (out)(err) |
O = 13 T = 4.23 (out)(err) |
O = 13 T = 1.32 (out)(err) |
O = 13 T = 30.11 (out)(err) |
O = 13 T = 21.51 (out)(err) |
| 15tree501posib.wcnf | O = 13 T = 1.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 416 T = 43.52 (out)(err) |
O = 13 T = 6.48 (out)(err) |
O = 13 T = 1.15 (out)(err) |
O = 13 T = 1.56 (out)(err) |
O = 491 T = 0.08 (out)(err) |
O = 13 T = 51.96 (out)(err) |
| 15tree601posib.wcnf | O = 13 T = 1.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 178.21 (out)(err) |
O = 13 T = 42.39 (out)(err) |
O = 13 T = 1.74 (out)(err) |
O = 13 T = 1.58 (out)(err) |
O = 13 T = 93.53 (out)(err) |
O = 13 T = 21.69 (out)(err) |
| 15tree701posib.wcnf | O = 13 T = 0.75 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 107 T = 189.98 (out)(err) |
O = 13 T = 8.62 (out)(err) |
O = 13 T = 0.75 (out)(err) |
O = 13 T = 1.34 (out)(err) |
O = 13 T = 10.24 (out)(err) |
O = 13 T = 56.59 (out)(err) |
| 15tree801posib.wcnf | O = 13 T = 0.23 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 105 T = 292.49 (out)(err) |
O = 13 T = 9.79 (out)(err) |
O = 13 T = 0.23 (out)(err) |
O = 187 T = 5.08 (out)(err) |
O = 13 T = 59.44 (out)(err) |
O = 13 T = 11.03 (out)(err) |
| 15tree901posib.wcnf | O = 13 T = 0.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 13 T = 20.00 (out)(err) |
O = 13 T = 0.80 (out)(err) |
O = 13 T = 1.24 (out)(err) |
O = 13 T = 3.03 (out)(err) |
O = 13 T = 14.34 (out)(err) |
| normalized-s3-3-3-1pb.wcnf | O = 36 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 36 T = 0.31 (out)(err) |
O = 36 T = 0.90 (out)(err) |
O = 36 T = 0.00 (out)(err) |
O = 36 T = 0.02 (out)(err) |
O = 36 T = 0.04 (out)(err) |
O = 36 T = 0.07 (out)(err) |
| normalized-s3-3-3-2pb.wcnf | O = 36 T = 0.01 |
O = 36 T = 16.98 (out)(err) |
O = N/A T = TO (out)(err) |
O = 36 T = 0.15 (out)(err) |
O = 36 T = 0.93 (out)(err) |
O = 36 T = 0.01 (out)(err) |
O = 36 T = 0.05 (out)(err) |
O = 36 T = 0.06 (out)(err) |
O = 36 T = 0.09 (out)(err) |
| normalized-s3-3-3-3pb.wcnf | O = 36 T = 0.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 36 T = 0.15 (out)(err) |
O = 36 T = 0.92 (out)(err) |
O = 36 T = 0.01 (out)(err) |
O = 36 T = 0.05 (out)(err) |
O = 36 T = 0.06 (out)(err) |
O = 36 T = 0.13 (out)(err) |
| normalized-s3-3-3-4pb.wcnf | O = 36 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 36 T = 0.10 (out)(err) |
O = 36 T = 1.09 (out)(err) |
O = 36 T = 0.00 (out)(err) |
O = 36 T = 0.05 (out)(err) |
O = 36 T = 0.06 (out)(err) |
O = 36 T = 0.10 (out)(err) |
| normalized-s3-3-3-5pb.wcnf | O = 34 T = 0.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 34 T = 0.18 (out)(err) |
O = 34 T = 1.33 (out)(err) |
O = 34 T = 0.00 (out)(err) |
O = 34 T = 0.07 (out)(err) |
O = 34 T = 0.05 (out)(err) |
O = 34 T = 0.30 (out)(err) |
| normalized-s4-4-3-10pb.wcnf | O = 70 T = 0.62 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 70 T = 7.84 (out)(err) |
O = 70 T = 3.80 (out)(err) |
O = 70 T = 0.62 (out)(err) |
O = 72 T = 0.93 (out)(err) |
O = 70 T = 1.08 (out)(err) |
O = 70 T = 1.42 (out)(err) |
| normalized-s4-4-3-1pb.wcnf | O = 62 T = 0.87 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 62 T = 4.21 (out)(err) |
O = N/A T = TO (out)(err) |
O = 62 T = 1.09 (out)(err) |
O = 66 T = 1.99 (out)(err) |
O = 62 T = 0.87 (out)(err) |
O = 62 T = 9.44 (out)(err) |
| normalized-s4-4-3-2pb.wcnf | O = 64 T = 5.28 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 64 T = 7.24 (out)(err) |
O = 64 T = 44.87 (out)(err) |
O = 64 T = 6.65 (out)(err) |
O = 66 T = 4.64 (out)(err) |
O = 64 T = 5.28 (out)(err) |
O = 64 T = 26.06 (out)(err) |
| normalized-s4-4-3-3pb.wcnf | O = 62 T = 1.09 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 64 T = 23.55 (out)(err) |
O = 62 T = 22.89 (out)(err) |
O = 62 T = 2.43 (out)(err) |
O = 66 T = 6.79 (out)(err) |
O = 62 T = 1.09 (out)(err) |
O = 62 T = 23.47 (out)(err) |
| normalized-s4-4-3-4pb.wcnf | O = 60 T = 0.31 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 60 T = 0.59 (out)(err) |
O = N/A T = TO (out)(err) |
O = 60 T = 2.10 (out)(err) |
O = 68 T = 1.36 (out)(err) |
O = 60 T = 0.31 (out)(err) |
O = 60 T = 13.71 (out)(err) |
| normalized-s4-4-3-5pb.wcnf | O = 60 T = 0.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 60 T = 37.46 (out)(err) |
O = 60 T = 37.37 (out)(err) |
O = 60 T = 0.14 (out)(err) |
O = 68 T = 3.65 (out)(err) |
O = 60 T = 2.84 (out)(err) |
O = 60 T = 19.18 (out)(err) |
| normalized-s4-4-3-6pb.wcnf | O = 66 T = 0.10 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 66 T = 0.16 (out)(err) |
O = 66 T = 22.30 (out)(err) |
O = 66 T = 0.10 (out)(err) |
O = 70 T = 3.04 (out)(err) |
O = 66 T = 0.41 (out)(err) |
O = 66 T = 5.54 (out)(err) |
| normalized-s4-4-3-7pb.wcnf | O = 64 T = 0.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 64 T = 18.84 (out)(err) |
O = 64 T = 16.89 (out)(err) |
O = 64 T = 0.66 (out)(err) |
O = 68 T = 1.96 (out)(err) |
O = 64 T = 0.76 (out)(err) |
O = 64 T = 7.37 (out)(err) |
| normalized-s4-4-3-8pb.wcnf | O = 36 T = 0.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 0.32 (out)(err) |
O = N/A T = TO (out)(err) |
O = 36 T = 0.15 (out)(err) |
O = 52 T = 0.30 (out)(err) |
O = 36 T = 0.15 (out)(err) |
O = 36 T = 6.00 (out)(err) |
| normalized-s4-4-3-9pb.wcnf | O = 68 T = 2.88 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 68 T = 6.50 (out)(err) |
O = 68 T = 5.92 (out)(err) |
O = 68 T = 3.19 (out)(err) |
O = 68 T = 2.88 (out)(err) |
O = 68 T = 17.38 (out)(err) |
O = 68 T = 7.03 (out)(err) |
| 1bpi_.2knt_.g.wcnf.t.wcnf | O = 35 T = 2.58 |
O = 35 T = 2.58 (out)(err) |
O = 35 T = 6.46 (out)(err) |
O = 35 T = 2.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = 41 T = 284.72 (out)(err) |
O = 35 T = 101.13 (out)(err) |
O = 57 T = 2.79 (out)(err) |
O = 36 T = 196.70 (out)(err) |
| 1bpi_.5pti_.g.wcnf.t.wcnf | O = 29 T = 4.18 |
O = 29 T = 4.18 (out)(err) |
O = 29 T = 10.00 (out)(err) |
O = 29 T = 4.51 (out)(err) |
O = N/A T = TO (out)(err) |
O = 29 T = 254.75 (out)(err) |
O = 39 T = 24.46 (out)(err) |
O = 67 T = 4.88 (out)(err) |
O = 44 T = 125.08 (out)(err) |
| 1knt_.1bpi_.g.wcnf.t.wcnf | O = 35 T = 2.39 |
O = 35 T = 2.39 (out)(err) |
O = 35 T = 7.10 (out)(err) |
O = 35 T = 2.54 (out)(err) |
O = N/A T = TO (out)(err) |
O = 45 T = 284.72 (out)(err) |
O = 42 T = 23.50 (out)(err) |
O = 57 T = 3.16 (out)(err) |
O = 40 T = 168.54 (out)(err) |
| 1knt_.2knt_.g.wcnf.t.wcnf | O = 16 T = 1.40 |
O = 16 T = 1.40 (out)(err) |
O = 16 T = 3.63 (out)(err) |
O = 16 T = 1.61 (out)(err) |
O = 16 T = 66.02 (out)(err) |
O = 16 T = 5.38 (out)(err) |
O = 16 T = 5.96 (out)(err) |
O = 49 T = 1.57 (out)(err) |
O = 16 T = 62.85 (out)(err) |
| 1knt_.5pti_.g.wcnf.t.wcnf | O = 29 T = 1.86 |
O = 29 T = 1.86 (out)(err) |
O = 29 T = 6.52 (out)(err) |
O = 29 T = 2.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 31 T = 284.75 (out)(err) |
O = 29 T = 63.99 (out)(err) |
O = 52 T = 2.34 (out)(err) |
O = 29 T = 82.87 (out)(err) |
| 1vii_.1cph_.g.wcnf.t.wcnf | O = 7 T = 0.02 |
O = 7 T = 0.25 (out)(err) |
O = 7 T = 0.03 (out)(err) |
O = 7 T = 0.09 (out)(err) |
O = 7 T = 1.33 (out)(err) |
O = 7 T = 0.02 (out)(err) |
O = 7 T = 0.02 (out)(err) |
O = 7 T = 2.07 (out)(err) |
O = 7 T = 0.09 (out)(err) |
| 2knt_.5pti_.g.wcnf.t.wcnf | O = 32 T = 1.76 |
O = 32 T = 1.76 (out)(err) |
O = 32 T = 9.02 (out)(err) |
O = 32 T = 1.80 (out)(err) |
O = N/A T = TO (out)(err) |
O = 37 T = 284.60 (out)(err) |
O = 32 T = 51.25 (out)(err) |
O = 55 T = 2.17 (out)(err) |
O = 34 T = 197.82 (out)(err) |
| 3ebx_.1era_.g.wcnf.t.wcnf | O = 34 T = 2.44 |
O = 34 T = 2.44 (out)(err) |
O = 34 T = 16.13 (out)(err) |
O = 34 T = 2.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = 38 T = 284.74 (out)(err) |
O = 34 T = 19.09 (out)(err) |
O = 62 T = 3.08 (out)(err) |
O = 40 T = 160.29 (out)(err) |
| 3ebx_.6ebx_.g.wcnf.t.wcnf | O = 23 T = 1.32 |
O = 37 T = 1.13 (out)(err) |
O = 23 T = 14.59 (out)(err) |
O = 23 T = 1.32 (out)(err) |
O = 23 T = 213.06 (out)(err) |
O = 23 T = 202.18 (out)(err) |
O = 23 T = 22.73 (out)(err) |
O = 48 T = 1.52 (out)(err) |
O = 23 T = 119.58 (out)(err) |
| 6ebx_.1era_.g.wcnf.t.wcnf | O = 30 T = 1.08 |
O = 36 T = 0.97 (out)(err) |
O = 36 T = 2.95 (out)(err) |
O = 30 T = 1.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 30 T = 284.78 (out)(err) |
O = 30 T = 42.37 (out)(err) |
O = 41 T = 1.34 (out)(err) |
O = 30 T = 78.90 (out)(err) |
| p1.wcnf.t.wcnf | O = 35 T = 2.15 |
O = 35 T = 2.15 (out)(err) |
O = 35 T = 6.30 (out)(err) |
O = 35 T = 2.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = 40 T = 284.73 (out)(err) |
O = 35 T = 88.12 (out)(err) |
O = 57 T = 2.76 (out)(err) |
O = 37 T = 81.75 (out)(err) |
| sandiaprotein.g.wcnf.t.wcnf | O = 28 T = 1.97 |
O = 28 T = 2.02 (out)(err) |
O = 28 T = 5.65 (out)(err) |
O = 28 T = 1.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 28 T = 284.70 (out)(err) |
O = 28 T = 52.08 (out)(err) |
O = 53 T = 2.53 (out)(err) |
O = 29 T = 136.85 (out)(err) |
| b18-s_PathRelaxation_Set_FS_1.wcnf | O = 148 T = 6.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 148 T = 19.19 (out)(err) |
O = 148 T = 6.45 (out)(err) |
O = 148 T = 26.89 (out)(err) |
O = 184 T = 2.30 (out)(err) |
O = 148 T = 28.38 (out)(err) |
| b18-s_PathRelaxation_Set_FS_10.wcnf | O = 117 T = 218.89 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 270 T = 284.60 (out)(err) |
O = N/A T = TO (out)(err) |
O = 242 T = 1.50 (out)(err) |
O = 117 T = 218.89 (out)(err) |
| b18-s_PathRelaxation_Set_FS_11.wcnf | O = 136 T = 99.26 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 280 T = 284.59 (out)(err) |
O = 147 T = 283.88 (out)(err) |
O = 308 T = 1.87 (out)(err) |
O = 136 T = 99.26 (out)(err) |
| b18-s_PathRelaxation_Set_FS_12.wcnf | O = 116 T = 263.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 422 T = 284.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 305 T = 1.37 (out)(err) |
O = 116 T = 263.52 (out)(err) |
| b18-s_PathRelaxation_Set_FS_2.wcnf | O = 145 T = 46.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 145 T = 46.99 (out)(err) |
O = 147 T = 35.86 (out)(err) |
O = 412 T = 2.58 (out)(err) |
O = 145 T = 152.67 (out)(err) |
| b18-s_PathRelaxation_Set_FS_3.wcnf | O = 145 T = 68.60 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 145 T = 68.60 (out)(err) |
O = 147 T = 67.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = 145 T = 197.30 (out)(err) |
| b18-s_PathRelaxation_Set_FS_4.wcnf | O = 145 T = 238.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 339 T = 284.74 (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 145 T = 238.29 (out)(err) |
| b18-s_PathRelaxation_Set_FS_5.wcnf | O = 145 T = 215.32 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 259 T = 284.73 (out)(err) |
O = N/A T = TO (out)(err) |
O = 216 T = 1.50 (out)(err) |
O = 145 T = 215.32 (out)(err) |
| b18-s_PathRelaxation_Set_FS_6.wcnf | O = 147 T = 43.45 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 243 T = 284.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = 351 T = 2.02 (out)(err) |
O = 147 T = 43.45 (out)(err) |
| b18-s_PathRelaxation_Set_FS_7.wcnf | O = 146 T = 213.89 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 158 T = 284.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 160 T = 1.46 (out)(err) |
O = 146 T = 213.89 (out)(err) |
| b18-s_PathRelaxation_Set_FS_8.wcnf | O = 146 T = 128.03 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 219 T = 284.66 (out)(err) |
O = N/A T = TO (out)(err) |
O = 296 T = 1.41 (out)(err) |
O = 146 T = 128.03 (out)(err) |
| b18-s_PathRelaxation_Set_FS_9.wcnf | O = 147 T = 67.77 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 251 T = 284.77 (out)(err) |
O = N/A T = TO (out)(err) |
O = 381 T = 5.07 (out)(err) |
O = 147 T = 67.77 (out)(err) |
| b20-s_PathRelaxation_Set_FS_1.wcnf | O = 84 T = 10.61 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 99 T = 137.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 84 T = 10.61 (out)(err) |
O = 114 T = 1.85 (out)(err) |
O = 140 T = 0.31 (out)(err) |
O = 84 T = 28.09 (out)(err) |
| b20-s_PathRelaxation_Set_FS_10.wcnf | O = 83 T = 83.16 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 105 T = 31.19 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 83.16 (out)(err) |
O = 91 T = 4.16 (out)(err) |
O = 165 T = 0.29 (out)(err) |
O = 99 T = 184.13 (out)(err) |
| b20-s_PathRelaxation_Set_FS_11.wcnf | O = 83 T = 17.97 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 102 T = 9.83 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 17.97 (out)(err) |
O = 89 T = 4.97 (out)(err) |
O = 106 T = 0.20 (out)(err) |
O = 87 T = 292.96 (out)(err) |
| b20-s_PathRelaxation_Set_FS_12.wcnf | O = 83 T = 147.08 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 108 T = 15.78 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 147.08 (out)(err) |
O = 91 T = 2.60 (out)(err) |
O = 103 T = 0.19 (out)(err) |
O = 96 T = 275.81 (out)(err) |
| b20-s_PathRelaxation_Set_FS_2.wcnf | O = 83 T = 18.20 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 98 T = 17.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 18.20 (out)(err) |
O = 90 T = 1.28 (out)(err) |
O = 101 T = 0.20 (out)(err) |
O = 83 T = 84.34 (out)(err) |
| b20-s_PathRelaxation_Set_FS_3.wcnf | O = 83 T = 14.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 105 T = 45.71 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 14.68 (out)(err) |
O = 90 T = 0.95 (out)(err) |
O = 157 T = 0.20 (out)(err) |
O = 104 T = 291.69 (out)(err) |
| b20-s_PathRelaxation_Set_FS_4.wcnf | O = 83 T = 28.71 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 108 T = 95.20 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 28.71 (out)(err) |
O = 90 T = 2.44 (out)(err) |
O = 154 T = 0.28 (out)(err) |
O = 93 T = 257.34 (out)(err) |
| b20-s_PathRelaxation_Set_FS_5.wcnf | O = 83 T = 69.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 110 T = 146.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 69.01 (out)(err) |
O = 90 T = 1.76 (out)(err) |
O = 155 T = 0.24 (out)(err) |
O = 99 T = 78.42 (out)(err) |
| b20-s_PathRelaxation_Set_FS_6.wcnf | O = 83 T = 34.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 138.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 34.58 (out)(err) |
O = 90 T = 2.93 (out)(err) |
O = 102 T = 0.18 (out)(err) |
O = 90 T = 265.94 (out)(err) |
| b20-s_PathRelaxation_Set_FS_7.wcnf | O = 83 T = 32.94 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 170.39 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 32.94 (out)(err) |
O = 88 T = 3.81 (out)(err) |
O = 158 T = 0.27 (out)(err) |
O = 107 T = 280.71 (out)(err) |
| b20-s_PathRelaxation_Set_FS_8.wcnf | O = 83 T = 36.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 97 T = 241.68 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 36.95 (out)(err) |
O = 90 T = 2.75 (out)(err) |
O = 152 T = 0.22 (out)(err) |
O = 105 T = 291.61 (out)(err) |
| b20-s_PathRelaxation_Set_FS_9.wcnf | O = 83 T = 36.42 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 103 T = 22.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 83 T = 36.42 (out)(err) |
O = 91 T = 2.14 (out)(err) |
O = 103 T = 0.19 (out)(err) |
O = 87 T = 278.55 (out)(err) |
| b21-s_PathRelaxation_Set_FS_1.wcnf | O = 89 T = 161.85 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 101.35 (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 161.85 (out)(err) |
O = 93 T = 0.78 (out)(err) |
O = 204 T = 0.45 (out)(err) |
O = 92 T = 201.91 (out)(err) |
| b21-s_PathRelaxation_Set_FS_10.wcnf | O = 93 T = 6.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 65.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 97 T = 284.71 (out)(err) |
O = 94 T = 2.14 (out)(err) |
O = 172 T = 0.19 (out)(err) |
O = 93 T = 6.54 (out)(err) |
| b21-s_PathRelaxation_Set_FS_11.wcnf | O = 93 T = 178.54 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 117.27 (out)(err) |
O = N/A T = TO (out)(err) |
O = 146 T = 284.69 (out)(err) |
O = 94 T = 2.21 (out)(err) |
O = 196 T = 0.47 (out)(err) |
O = 93 T = 178.54 (out)(err) |
| b21-s_PathRelaxation_Set_FS_12.wcnf | O = 93 T = 90.55 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 97 T = 29.47 (out)(err) |
O = N/A T = TO (out)(err) |
O = 144 T = 284.69 (out)(err) |
O = 94 T = 2.12 (out)(err) |
O = 178 T = 0.29 (out)(err) |
O = 93 T = 90.55 (out)(err) |
| b21-s_PathRelaxation_Set_FS_2.wcnf | O = 91 T = 130.52 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 12.55 (out)(err) |
O = N/A T = TO (out)(err) |
O = 139 T = 284.71 (out)(err) |
O = 94 T = 2.90 (out)(err) |
O = 207 T = 0.28 (out)(err) |
O = 91 T = 130.52 (out)(err) |
| b21-s_PathRelaxation_Set_FS_3.wcnf | O = 93 T = 176.53 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 51.25 (out)(err) |
O = N/A T = TO (out)(err) |
O = 143 T = 284.65 (out)(err) |
O = 94 T = 1.58 (out)(err) |
O = 156 T = 0.20 (out)(err) |
O = 93 T = 176.53 (out)(err) |
| b21-s_PathRelaxation_Set_FS_4.wcnf | O = 94 T = 2.06 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 100 T = 44.93 (out)(err) |
O = N/A T = TO (out)(err) |
O = 154 T = 284.69 (out)(err) |
O = 94 T = 2.06 (out)(err) |
O = 219 T = 0.27 (out)(err) |
O = 95 T = 0.96 (out)(err) |
| b21-s_PathRelaxation_Set_FS_5.wcnf | O = 94 T = 2.48 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 107 T = 49.72 (out)(err) |
O = N/A T = TO (out)(err) |
O = 144 T = 284.69 (out)(err) |
O = 94 T = 2.48 (out)(err) |
O = 188 T = 0.30 (out)(err) |
O = 95 T = 0.88 (out)(err) |
| b21-s_PathRelaxation_Set_FS_6.wcnf | O = 92 T = 229.40 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 105 T = 107.14 (out)(err) |
O = N/A T = TO (out)(err) |
O = 145 T = 284.53 (out)(err) |
O = 94 T = 2.17 (out)(err) |
O = 161 T = 0.42 (out)(err) |
O = 92 T = 229.40 (out)(err) |
| b21-s_PathRelaxation_Set_FS_7.wcnf | O = 94 T = 2.18 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 118.26 (out)(err) |
O = N/A T = TO (out)(err) |
O = 145 T = 284.62 (out)(err) |
O = 94 T = 2.18 (out)(err) |
O = 203 T = 0.46 (out)(err) |
O = 111 T = 9.59 (out)(err) |
| b21-s_PathRelaxation_Set_FS_8.wcnf | O = 94 T = 1.80 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 113 T = 12.75 (out)(err) |
O = N/A T = TO (out)(err) |
O = 107 T = 284.69 (out)(err) |
O = 94 T = 1.80 (out)(err) |
O = 159 T = 0.44 (out)(err) |
O = 94 T = 5.17 (out)(err) |
| b21-s_PathRelaxation_Set_FS_9.wcnf | O = 92 T = 5.29 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 72.08 (out)(err) |
O = N/A T = TO (out)(err) |
O = 119 T = 284.70 (out)(err) |
O = 94 T = 2.10 (out)(err) |
O = 154 T = 0.33 (out)(err) |
O = 92 T = 5.29 (out)(err) |
| b21-s_PathRelaxation_FS_1.wcnf | O = 89 T = 47.95 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 94 T = 70.09 (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 47.95 (out)(err) |
O = 92 T = 0.21 (out)(err) |
O = 170 T = 0.11 (out)(err) |
O = 89 T = 100.04 (out)(err) |
| b21-s_PathRelaxation_FS_10.wcnf | O = 89 T = 46.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 95 T = 139.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 46.49 (out)(err) |
O = 95 T = 0.22 (out)(err) |
O = 188 T = 0.10 (out)(err) |
O = 93 T = 0.64 (out)(err) |
| b21-s_PathRelaxation_FS_11.wcnf | O = 88 T = 98.24 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 95 T = 79.88 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 98.24 (out)(err) |
O = 94 T = 0.23 (out)(err) |
O = 196 T = 0.10 (out)(err) |
O = 88 T = 280.95 (out)(err) |
| b21-s_PathRelaxation_FS_12.wcnf | O = 88 T = 74.76 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 96 T = 16.44 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 74.76 (out)(err) |
O = 94 T = 0.20 (out)(err) |
O = 184 T = 0.16 (out)(err) |
O = 88 T = 290.73 (out)(err) |
| b21-s_PathRelaxation_FS_13.wcnf | O = 89 T = 38.49 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 102 T = 51.97 (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 38.49 (out)(err) |
O = 92 T = 0.20 (out)(err) |
O = 179 T = 0.15 (out)(err) |
O = 89 T = 179.71 (out)(err) |
| b21-s_PathRelaxation_FS_14.wcnf | O = 89 T = 261.14 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 101 T = 35.34 (out)(err) |
O = N/A T = TO (out)(err) |
O = 95 T = 284.69 (out)(err) |
O = 92 T = 0.20 (out)(err) |
O = 214 T = 0.10 (out)(err) |
O = 89 T = 261.14 (out)(err) |
| b21-s_PathRelaxation_FS_15.wcnf | O = 89 T = 89.19 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 98 T = 61.15 (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 89.19 (out)(err) |
O = 92 T = 0.22 (out)(err) |
O = 187 T = 0.09 (out)(err) |
O = 89 T = 274.27 (out)(err) |
| b21-s_PathRelaxation_FS_16.wcnf | O = 88 T = 142.00 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 100 T = 131.40 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 142.00 (out)(err) |
O = 94 T = 0.20 (out)(err) |
O = 178 T = 0.10 (out)(err) |
O = 88 T = 241.90 (out)(err) |
| b21-s_PathRelaxation_FS_17.wcnf | O = 88 T = 104.66 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 99 T = 10.92 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 104.66 (out)(err) |
O = 94 T = 0.17 (out)(err) |
O = 212 T = 0.12 (out)(err) |
O = 88 T = 203.47 (out)(err) |
| b21-s_PathRelaxation_FS_18.wcnf | O = 88 T = 41.74 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 98 T = 12.95 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 41.74 (out)(err) |
O = 94 T = 0.16 (out)(err) |
O = 197 T = 0.09 (out)(err) |
O = 89 T = 291.65 (out)(err) |
| b21-s_PathRelaxation_FS_19.wcnf | O = 88 T = 77.27 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 93 T = 164.18 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 77.27 (out)(err) |
O = 94 T = 0.15 (out)(err) |
O = 165 T = 0.06 (out)(err) |
O = 91 T = 281.91 (out)(err) |
| b21-s_PathRelaxation_FS_2.wcnf | O = 90 T = 143.25 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 97 T = 24.58 (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 143.25 (out)(err) |
O = 94 T = 0.19 (out)(err) |
O = 169 T = 0.08 (out)(err) |
O = 91 T = 107.95 (out)(err) |
| b21-s_PathRelaxation_FS_20.wcnf | O = 88 T = 149.58 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 99 T = 77.02 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 149.58 (out)(err) |
O = 94 T = 0.20 (out)(err) |
O = 165 T = 0.07 (out)(err) |
O = 88 T = 227.54 (out)(err) |
| b21-s_PathRelaxation_FS_21.wcnf | O = 88 T = 195.51 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 98 T = 138.41 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 195.51 (out)(err) |
O = 94 T = 0.19 (out)(err) |
O = 207 T = 0.16 (out)(err) |
O = 92 T = 31.00 (out)(err) |
| b21-s_PathRelaxation_FS_22.wcnf | O = 88 T = 83.99 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 95 T = 182.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 83.99 (out)(err) |
O = 94 T = 0.18 (out)(err) |
O = 187 T = 0.11 (out)(err) |
O = 92 T = 69.53 (out)(err) |
| b21-s_PathRelaxation_FS_23.wcnf | O = 88 T = 183.72 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 98 T = 25.87 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 183.72 (out)(err) |
O = 94 T = 0.24 (out)(err) |
O = 207 T = 0.15 (out)(err) |
O = 92 T = 30.96 (out)(err) |
| b21-s_PathRelaxation_FS_24.wcnf | O = 88 T = 49.15 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 95 T = 99.17 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 49.15 (out)(err) |
O = 94 T = 0.14 (out)(err) |
O = 203 T = 0.12 (out)(err) |
O = 92 T = 71.29 (out)(err) |
| b21-s_PathRelaxation_FS_25.wcnf | O = 88 T = 106.68 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 97 T = 96.29 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 106.68 (out)(err) |
O = 92 T = 0.15 (out)(err) |
O = 208 T = 0.13 (out)(err) |
O = 90 T = 277.17 (out)(err) |
| b21-s_PathRelaxation_FS_3.wcnf | O = 90 T = 248.93 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 98 T = 11.94 (out)(err) |
O = N/A T = TO (out)(err) |
O = 90 T = 248.93 (out)(err) |
O = 94 T = 0.20 (out)(err) |
O = 200 T = 0.10 (out)(err) |
O = 91 T = 158.79 (out)(err) |
| b21-s_PathRelaxation_FS_4.wcnf | O = 92 T = 59.69 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 104 T = 11.12 (out)(err) |
O = N/A T = TO (out)(err) |
O = 92 T = 59.69 (out)(err) |
O = 93 T = 0.18 (out)(err) |
O = 165 T = 0.11 (out)(err) |
O = 92 T = 170.00 (out)(err) |
| b21-s_PathRelaxation_FS_5.wcnf | O = 89 T = 28.01 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 97 T = 12.49 (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 28.01 (out)(err) |
O = 95 T = 0.19 (out)(err) |
O = 201 T = 0.09 (out)(err) |
O = 89 T = 213.61 (out)(err) |
| b21-s_PathRelaxation_FS_6.wcnf | O = 88 T = 155.75 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 100 T = 5.86 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 155.75 (out)(err) |
O = 94 T = 0.18 (out)(err) |
O = 203 T = 0.09 (out)(err) |
O = 92 T = 203.55 (out)(err) |
| b21-s_PathRelaxation_FS_7.wcnf | O = 89 T = 27.84 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 97 T = 8.46 (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 27.84 (out)(err) |
O = 95 T = 0.20 (out)(err) |
O = 201 T = 0.07 (out)(err) |
O = 89 T = 211.92 (out)(err) |
| b21-s_PathRelaxation_FS_8.wcnf | O = 89 T = 47.86 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 98 T = 39.37 (out)(err) |
O = N/A T = TO (out)(err) |
O = 89 T = 47.86 (out)(err) |
O = 95 T = 0.21 (out)(err) |
O = 188 T = 0.10 (out)(err) |
O = 93 T = 0.59 (out)(err) |
| b21-s_PathRelaxation_FS_9.wcnf | O = 88 T = 80.11 |
O = N/A T = TO (out)(err) |
O = N/A T = TO (out)(err) |
O = 100 T = 8.96 (out)(err) |
O = N/A T = TO (out)(err) |
O = 88 T = 80.11 (out)(err) |
O = 94 T = 0.24 (out)(err) |
O = 193 T = 0.14 (out)(err) |
O = 92 T = 105.65 (out)(err) |