SOLVER | SOLVED | TIME | SAT | TIME | UNSAT | TIME | UNIQUE | TIME |
Clearn | 255 | 11565.3 | 116 | 3894.06 | 139 | 7671.27 | 0 | 0 |
CSBJ | 205 | 6528.84 | 98 | 3407.16 | 107 | 3121.68 | 0 | 0 |
eqube-bj | 239 | 9426.09 | 110 | 4538.27 | 129 | 4887.82 | 0 | 0 |
eqube-lrn | 237 | 8270.98 | 113 | 3365.83 | 124 | 4905.15 | 1 | 433.15 |
GRL | 240 | 11895.9 | 107 | 4577.22 | 133 | 7318.7 | 0 | 0 |
orsat | 73 | 1243.83 | 37 | 1134.74 | 36 | 109.09 | 0 | 0 |
qbfl.BS | 191 | 3076.62 | 75 | 1466.1 | 116 | 1610.52 | 0 | 0 |
qbfl.JW | 205 | 5573.55 | 83 | 2849.65 | 122 | 2723.9 | 0 | 0 |
QMRes | 224 | 6337.39 | 122 | 3315.42 | 102 | 3021.97 | 28 | 901.54 |
quantor-2.1 | 284 | 3997.1 | 126 | 2137.25 | 158 | 1859.85 | 10 | 2624.36 |
openqbf | 185 | 6598.94 | 78 | 3219.56 | 107 | 3379.38 | 0 | 0 |
qsat | 218 | 8375.62 | 93 | 3307.13 | 125 | 5068.49 | 7 | 197.63 |
semprop | 288 | 10303.4 | 133 | 2985.86 | 155 | 7317.55 | 5 | 814.56 |
ssolve | 245 | 8736.64 | 114 | 3350.96 | 131 | 5385.68 | 0 | 0 |
WalkQSAT | 163 | 7262.51 | 83 | 4113.37 | 80 | 3149.14 | 0 | 0 |
yquaffle | 256 | 6733.02 | 110 | 3152.37 | 146 | 3580.65 | 0 | 0 |