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 |