Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 170.36 | 17.04 | 1.02 | 17.15 | 2.15 | 1 |
GRL | 0.57 | 0.06 | 0.07 | 0.04 | 0.05 | 1 |
openQbf | 1162.62 | 116.26 | 215.1 | 18.58 | 14.78 | 1 |
preQuantor | 169.21 | 16.92 | 1.2 | 16.73 | 1.59 | 0 |
Qbfl | 5601.73 | 560.17 | 116.24 | 598.89 | 0.67 | 0.1 |
Quaffle | 5568.82 | 556.88 | 3.4 | 556.96 | 4.36 | 0 |
QUANTOR | 252.78 | 25.28 | 15.11 | 15.04 | 15.26 | 0 |
QUANTOR_hc | 230.72 | 23.07 | 11.98 | 15.67 | 14.22 | 0 |
qube3.0 | 0.21 | 0.02 | 0.01 | 0.02 | 0.01 | 1 |
qube4.0 | 0.28 | 0.03 | 0.01 | 0.03 | 0.02 | 1 |
qube5.0 | 0.31 | 0.03 | 0.01 | 0.03 | 0.02 | 1 |
semprop | 0.1 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
sKizzo-0.9-abs | 170.98 | 17.1 | 10.8 | 11.51 | 9.81 | 1 |
sKizzo-0.9-grn | 171.07 | 17.11 | 10.77 | 11.44 | 9.86 | 1 |
sKizzo-0.9-std | 174.05 | 17.41 | 10.91 | 11.67 | 10.14 | 1 |
SQBF | 168.84 | 16.88 | 1.2 | 17.5 | 2.41 | 1 |
sSolve | 1.76 | 0.18 | 0.05 | 0.18 | 0.08 | 1 |
ssolve+ut | 3.07 | 0.31 | 0.21 | 0.19 | 0.05 | 1 |
ssolve-ut | 1.79 | 0.18 | 0.06 | 0.19 | 0.11 | 1 |
WalkQSAT | 0.17 | 0.02 | 0.01 | 0.02 | 0.02 | 1 |
yQuaffle | 8664.81 | 866.48 | 1725.1 | 268.88 | 546.74 | 0.6 |