Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 5 | 0.38 | 0.21 | 0.38 | 0.34 | 1 |
GRL | 34.4 | 2.65 | 3.48 | 1.34 | 0.46 | 1 |
openQbf | 8656.49 | 665.88 | 533.66 | 561.09 | 32.52 | 1 |
preQuantor | 4.93 | 0.38 | 0.23 | 0.35 | 0.38 | 1 |
Qbfl | 7252.7 | 557.9 | 1586.12 | 0.34 | 0.1 | 0.923 |
Quaffle | 950.27 | 73.1 | 159.01 | 6.3 | 2.18 | 0.923 |
QUANTOR | 142.6 | 10.97 | 20.26 | 0.75 | 0.34 | 0.769 |
QUANTOR_hc | 140.25 | 10.79 | 19.87 | 0.9 | 0.4 | 0.769 |
qube3.0 | 286.71 | 22.05 | 60.07 | 3.09 | 1.23 | 0.923 |
qube4.0 | 3959.71 | 304.59 | 168.12 | 276.58 | 277.65 | 1 |
qube5.0 | 18984.73 | 1460.36 | 768.54 | 1730.58 | 1042.69 | 1 |
semprop | 505.39 | 38.88 | 104.64 | 1.45 | 0.63 | 1 |
sKizzo-0.9-abs | 4830 | 371.54 | 1089.11 | 1.43 | 0.63 | 0.769 |
sKizzo-0.9-grn | 290.59 | 22.35 | 40.94 | 1.41 | 0.59 | 0.846 |
sKizzo-0.9-std | 1238.4 | 95.26 | 192.75 | 1.53 | 0.66 | 0.769 |
SQBF | 5.28 | 0.41 | 0.22 | 0.51 | 0.34 | 1 |
sSolve | 141.98 | 10.92 | 26.87 | 1.03 | 0.42 | 1 |
ssolve+ut | 158.85 | 12.22 | 27.25 | 1.04 | 3.76 | 1 |
ssolve-ut | 128.12 | 9.86 | 24.98 | 1.02 | 0.37 | 1 |
WalkQSAT | 1810.64 | 139.28 | 252.87 | 0.89 | 0.28 | 0 |
yQuaffle | 802.49 | 61.73 | 138.83 | 2.61 | 0.7 | 0.923 |