Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 655.38 | 327.69 | 1.03 | 327.69 | 0 | 0 |
GRL | 87.23 | 43.62 | 26.81 | 43.62 | 0 | 1 |
openQbf | 12001.86 | 6000.93 | 0.01 | 6000.93 | 0 | 0 |
preQuantor | 0.67 | 0.34 | 0.18 | 0.34 | 0 | 0 |
Qbfl | 11992.33 | 5996.17 | 1.27 | 5996.17 | 0 | 0 |
Quaffle | 10.91 | 5.46 | 2.89 | 5.46 | 0 | 1 |
QUANTOR | 4.77 | 2.39 | 1.45 | 2.39 | 0 | 1 |
QUANTOR_hc | 4.82 | 2.41 | 1.45 | 2.41 | 0 | 1 |
qube3.0 | 15.4 | 7.7 | 5.49 | 7.7 | 0 | 1 |
qube4.0 | 18.43 | 9.22 | 6.88 | 9.22 | 0 | 1 |
qube5.0 | 17.76 | 8.88 | 4.81 | 8.88 | 0 | 1 |
semprop | 5.32 | 2.66 | 1.19 | 2.66 | 0 | 1 |
sKizzo-0.9-abs | 2.3 | 1.15 | 0.61 | 1.15 | 0 | 1 |
sKizzo-0.9-grn | 2.28 | 1.14 | 0.61 | 1.14 | 0 | 1 |
sKizzo-0.9-std | 2.37 | 1.19 | 0.62 | 1.19 | 0 | 1 |
SQBF | 0.66 | 0.33 | 0.19 | 0.33 | 0 | 0 |
sSolve | 17.87 | 8.94 | 6.02 | 8.94 | 0 | 1 |
ssolve+ut | 18.23 | 9.12 | 6.11 | 9.12 | 0 | 1 |
ssolve-ut | 17.91 | 8.96 | 6.04 | 8.96 | 0 | 1 |
WalkQSAT | 460.48 | 230.24 | 208.78 | 230.24 | 0 | 0 |
yQuaffle | 1 | 0.5 | 0.24 | 0.5 | 0 | 1 |