Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 5.96 | 1.99 | 1.77 | 1.35 | 1.14 | 1 |
GRL | 207.54 | 69.18 | 5.99 | 65.19 | 0.48 | 0 |
openQbf | 8200.89 | 2733.63 | 2345.02 | 1592.29 | 984.6 | 0.667 |
preQuantor | 5.97 | 1.99 | 1.75 | 1.37 | 1.15 | 1 |
Qbfl | 1761.05 | 587.02 | 3.13 | 584.87 | 0.13 | 0 |
Quaffle | 1001.51 | 333.84 | 155.96 | 276.26 | 98.02 | 1 |
QUANTOR | 17.12 | 5.71 | 2.06 | 4.68 | 0.82 | 1 |
QUANTOR_hc | 17.08 | 5.69 | 2.11 | 4.64 | 0.84 | 1 |
qube3.0 | 6474.71 | 2158.24 | 2724.01 | 473.66 | 473.47 | 0.667 |
qube4.0 | 6497.7 | 2165.9 | 2719.29 | 496.65 | 496.46 | 0.667 |
qube5.0 | 6478.21 | 2159.4 | 2723.22 | 477.28 | 477.11 | 0.667 |
semprop | 1203.89 | 401.3 | 282.39 | 600.97 | 599.04 | 0.333 |
sKizzo-0.9-abs | 17.48 | 5.83 | 5.76 | 3.76 | 3.72 | 1 |
sKizzo-0.9-grn | 6.19 | 2.06 | 1.55 | 1.31 | 0.65 | 1 |
sKizzo-0.9-std | 18.61 | 6.2 | 6.09 | 4.06 | 4.01 | 1 |
SQBF | 6 | 2 | 1.77 | 1.36 | 1.14 | 1 |
sSolve | 583.7 | 194.57 | 223.34 | 71.67 | 67.64 | 1 |
ssolve+ut | 583.72 | 194.57 | 223.34 | 71.65 | 67.59 | 1 |
ssolve-ut | 583.93 | 194.64 | 223.84 | 71.46 | 67.76 | 1 |
WalkQSAT | 200.16 | 66.72 | 4.29 | 63.7 | 0.02 | 0 |
yQuaffle | 6075.45 | 2025.15 | 2810.68 | 75.08 | 74.53 | 0.667 |