Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
2clsQ | 2.15 | 0.54 | 0.01 | 0.54 | 0.02 | 1 |
GRL | 652.34 | 163.09 | 163.11 | 158.15 | 325.91 | 0.5 |
openQbf | 24003.57 | 6000.89 | 0.02 | 6000.9 | 0.05 | 0 |
preQuantor | 2.14 | 0.54 | 0.02 | 0.53 | 0.02 | 1 |
Qbfl | 23965.3 | 5991.33 | 5.74 | 5991.69 | 11.44 | 0 |
Quaffle | 12259.95 | 3064.99 | 2935.74 | 3130 | 5868.61 | 0.5 |
QUANTOR | 0.42 | 0.11 | 0.02 | 0.11 | 0.03 | 1 |
QUANTOR_hc | 0.45 | 0.11 | 0.03 | 0.11 | 0.05 | 1 |
qube3.0 | 1905.61 | 476.4 | 277.07 | 599.29 | 351.25 | 0.5 |
qube4.0 | 7197.57 | 1799.39 | 2437.64 | 598.37 | 2999.95 | 0.25 |
qube5.0 | 1792.93 | 448.23 | 256.31 | 594.83 | 297.51 | 0.25 |
semprop | 2403.52 | 600.88 | 0.12 | 600.89 | 0.24 | 0 |
sKizzo-0.9-abs | 22.72 | 5.68 | 6.01 | 3.72 | 10.57 | 1 |
sKizzo-0.9-grn | 29.63 | 7.41 | 10.57 | 1.82 | 14.02 | 1 |
sKizzo-0.9-std | 23.21 | 5.8 | 6.21 | 3.69 | 10.8 | 1 |
SQBF | 2.21 | 0.55 | 0.02 | 0.55 | 0.04 | 1 |
sSolve | 12000.56 | 3000.14 | 2999.79 | 3000.07 | 5999.58 | 0.5 |
ssolve+ut | 12000.8 | 3000.2 | 2999.81 | 3000.12 | 5999.61 | 0.5 |
ssolve-ut | 12001.37 | 3000.34 | 2999.95 | 3000.33 | 5999.9 | 0.5 |
WalkQSAT | 655.39 | 163.85 | 163.82 | 158.63 | 327.3 | 0.25 |
yQuaffle | 6536.13 | 1634.03 | 2523.17 | 269.18 | 3119.94 | 0.75 |