Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 194.87 | 19.49 | 6.8 | 22.06 | 3.93 | 0.9 |
GRL | 0.17 | 0.02 | 0.01 | 0.02 | 0.01 | 1 |
openQbf | 3.27 | 0.33 | 0.02 | 0.33 | 0.04 | 1 |
preQuantor | 126.65 | 12.67 | 10.41 | 19.54 | 20.71 | 0.1 |
Qbfl | 261.26 | 26.13 | 30.14 | 12.9 | 32.49 | 1 |
Quaffle | 0.36 | 0.04 | 0.01 | 0.04 | 0.01 | 1 |
QUANTOR | 169.28 | 16.93 | 5.73 | 18.82 | 2.56 | 0.1 |
QUANTOR_hc | 174.4 | 17.44 | 5.95 | 18.78 | 1.58 | 0.1 |
qube3.0 | 0.2 | 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.44 | 0.04 | 0.01 | 0.04 | 0 | 1 |
semprop | 0.13 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
sKizzo-0.9-abs | 181.17 | 18.12 | 10.8 | 12.22 | 10.5 | 1 |
sKizzo-0.9-grn | 181.03 | 18.1 | 10.63 | 12.36 | 10.47 | 1 |
sKizzo-0.9-std | 167.37 | 16.74 | 11.05 | 11.46 | 3.72 | 1 |
SQBF | 190.02 | 19 | 6.58 | 21.17 | 3.13 | 1 |
sSolve | 1.74 | 0.17 | 0.03 | 0.18 | 0.04 | 1 |
ssolve+ut | 1.79 | 0.18 | 0.03 | 0.17 | 0.05 | 1 |
ssolve-ut | 2.03 | 0.2 | 0.04 | 0.18 | 0.07 | 1 |
WalkQSAT | 0.09 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
yQuaffle | 0.14 | 0.01 | 0.01 | 0.01 | 0 | 1 |