Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 60004.2 | 6000.42 | 0 | 6000.42 | 0 | 0 |
GRL | 6009.59 | 600.96 | 0.02 | 600.96 | 0.02 | 0 |
openQbf | 60007.53 | 6000.75 | 0.15 | 6000.79 | 0.26 | 0 |
preQuantor | 296.38 | 29.64 | 9.74 | 27.02 | 14.05 | 0 |
Qbfl | 39655.23 | 3965.52 | 2509.88 | 5987.73 | 5398.28 | 0.1 |
Quaffle | 5230.92 | 523.09 | 1.8 | 523.61 | 3.69 | 0 |
QUANTOR | 322.99 | 32.3 | 20.04 | 28.04 | 17.97 | 0 |
QUANTOR_hc | 326.31 | 32.63 | 19.84 | 29.33 | 16.51 | 0 |
qube3.0 | 60007.05 | 6000.71 | 0.11 | 6000.73 | 0.14 | 0 |
qube4.0 | 60006.64 | 6000.66 | 0.11 | 6000.67 | 0.09 | 0 |
qube5.0 | 60006.73 | 6000.67 | 0.14 | 6000.7 | 0.18 | 0 |
semprop | 5409.05 | 540.91 | 180.27 | 601 | 0.02 | 0.1 |
sKizzo-0.9-abs | 48248.49 | 4824.85 | 2352.22 | 6000.75 | 5768.37 | 0.2 |
sKizzo-0.9-grn | 42639.46 | 4263.95 | 2654.74 | 6000.78 | 5806.99 | 0.2 |
sKizzo-0.9-std | 48251.7 | 4825.17 | 2351.69 | 6000.75 | 5766.25 | 0.2 |
SQBF | 3389.5 | 338.95 | 55.48 | 339.46 | 49.81 | 0 |
sSolve | 1770.01 | 177 | 529.44 | 0.22 | 1.01 | 1 |
ssolve+ut | 1770.71 | 177.07 | 526.22 | 0.27 | 1.03 | 1 |
ssolve-ut | 602.86 | 60.29 | 180 | 0.19 | 0.07 | 0.9 |
WalkQSAT | 6010 | 601 | 0.01 | 601 | 0.01 | 0 |
yQuaffle | 5981.16 | 598.12 | 0.31 | 598.12 | 0.41 | 0 |