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