Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 4502.8 | 900.56 | 0.12 | 900.52 | 0.05 | 0 |
openQbf | 4504.58 | 900.92 | 0.02 | 900.92 | 0.03 | 0 |
qbfbdd | 4502.52 | 900.5 | 0.06 | 900.49 | 0.04 | 0 |
QbflHR | 4504.86 | 900.97 | 0.03 | 900.98 | 0.05 | 0 |
QChaffLearn | 906.73 | 181.35 | 359.56 | 1.83 | 1.08 | 0 |
QMRes | 96.35 | 19.27 | 3.87 | 18.59 | 4.7 | 0 |
QUANTOR | 4490.45 | 898.09 | 1.41 | 898.43 | 2.13 | 0 |
semprop | 3623.52 | 724.7 | 352.51 | 900.92 | 440.66 | 0 |
skizzo_v0.4 | 1409.89 | 281.98 | 263.4 | 135.31 | 84.36 | 0 |
skizzo_v0.5 | 1223.92 | 244.78 | 181.06 | 135.75 | 101.53 | 0 |
sSolve | 4502.8 | 900.56 | 0.19 | 900.66 | 0.32 | 0 |
WalkQSAT | 1807.29 | 361.46 | 440.47 | 2.16 | 449.87 | 0 |
yQuaffle | 4330.5 | 866.1 | 66.51 | 898.84 | 83.2 | 0 |