Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 13714.89 | 1371.49 | 2148.76 | 21.2 | 6.29 | 0.8 |
GRL | 726.06 | 72.61 | 56.73 | 70.27 | 97.64 | 0.7 |
openQbf | 60007.5 | 6000.75 | 0.24 | 6000.83 | 0.07 | 0 |
preQuantor | 149.14 | 14.91 | 7.86 | 17.12 | 19.29 | 0 |
Qbfl | 54566.37 | 5456.64 | 1618.89 | 5995.47 | 4.64 | 0 |
Quaffle | 5457.29 | 545.73 | 2.14 | 546.73 | 4.68 | 0 |
QUANTOR | 161.19 | 16.12 | 2.99 | 14.53 | 3.71 | 0 |
QUANTOR_hc | 159.88 | 15.99 | 3.3 | 13.98 | 1.81 | 0 |
qube3.0 | 522.63 | 52.26 | 131.68 | 0.17 | 0.14 | 1 |
qube4.0 | 5555.08 | 555.51 | 1646.49 | 0.16 | 0.1 | 0.9 |
qube5.0 | 5544.27 | 554.43 | 1643.16 | 0.18 | 0.11 | 0.9 |
semprop | 7.08 | 0.71 | 1.01 | 0.27 | 0.36 | 1 |
sKizzo-0.9-abs | 253.2 | 25.32 | 23.94 | 12.78 | 5.43 | 1 |
sKizzo-0.9-grn | 178.54 | 17.85 | 9.41 | 12.96 | 4.72 | 1 |
sKizzo-0.9-std | 260.66 | 26.07 | 24.43 | 13.21 | 5.06 | 1 |
SQBF | 988.86 | 98.89 | 156.29 | 21.43 | 4.55 | 0.8 |
sSolve | 11.97 | 1.2 | 0.04 | 1.19 | 0.03 | 1 |
ssolve+ut | 50.07 | 5.01 | 1.34 | 4.26 | 0.1 | 1 |
ssolve-ut | 1.84 | 0.18 | 0.05 | 0.18 | 0.08 | 1 |
WalkQSAT | 62.05 | 6.21 | 7.4 | 3.54 | 5.51 | 1 |
yQuaffle | 5987.58 | 598.76 | 0.26 | 598.81 | 0.54 | 0 |