Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 4509.15 | 751.53 | 333.24 | 900.5 | 894.15 | 0.167 |
openQbf | 5405.53 | 900.92 | 0.03 | 900.92 | 0.03 | 0 |
qbfbdd | 5405.69 | 900.95 | 0.12 | 901 | 0.31 | 0 |
QbflHR | 5406.04 | 901.01 | 0.01 | 901.01 | 0.01 | 0 |
QChaffLearn | 4481.97 | 747 | 327.83 | 893.17 | 880.74 | 0.167 |
QMRes | 12.07 | 2.01 | 1.47 | 1.79 | 2.11 | 1 |
QUANTOR | 24.98 | 4.16 | 5.92 | 0.11 | 0.1 | 0.667 |
semprop | 2247.19 | 374.53 | 395.57 | 220.5 | 393.04 | 0.667 |
skizzo_v0.4 | 1.02 | 0.17 | 0.11 | 0.16 | 0.16 | 1 |
skizzo_v0.5 | 1.02 | 0.17 | 0.11 | 0.17 | 0.19 | 1 |
sSolve | 4508.9 | 751.48 | 334.3 | 900.98 | 897.02 | 0.167 |
WalkQSAT | 4514.01 | 752.34 | 332.42 | 901 | 891.97 | 0.167 |
yQuaffle | 4508.46 | 751.41 | 333.32 | 900.47 | 894.44 | 0.167 |