SOLVER SOLVED TIME SAT TIME UNSAT TIME UNIQUE TIME
Clearn 86 6447.68 49 3057.09 37 3390.59 0 0
CSBJ 54 4222.49 36 2158.17 18 2064.32 0 0
eqube-bj 94 6224.66 47 3606.93 47 2617.73 0 0
eqube-lrn 73 3104.67 43 2090.6 30 1014.07 0 0
GRL 69 3925.43 39 3042.02 30 883.41 0 0
orsat 7 403.59 6 402.5 1 1.09 0 0
qbfl.BS 41 2243.4 29 1220.5 12 1022.9 0 0
qbfl.JW 38 2362.21 27 1831.79 11 530.42 0 0
QMRes 132 1980.92 74 1657.88 58 323.04 19 746.04
quantor-2.1 117 635.82 63 401.31 54 234.51 0 0
openqbf 46 1710.8 26 1160.66 20 550.14 0 0
qsat 94 4068.6 41 2643.69 53 1424.91 7 197.63
semprop 117 4293.44 70 2339.32 47 1954.12 3 269.05
ssolve 81 4115.79 48 2762.4 33 1353.39 0 0
WalkQSAT 62 5517.68 44 3340.22 18 2177.46 0 0
yquaffle 76 2212.21 38 1051.83 38 1160.38 0 0