Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 3602.08 | 900.52 | 0.14 | 900.54 | 0.25 | 0 |
openQbf | 3603.68 | 900.92 | 0.02 | 900.91 | 0.04 | 0 |
qbfbdd | 3603.27 | 900.82 | 0.06 | 900.81 | 0.11 | 0 |
QbflHR | 3603.97 | 900.99 | 0 | 900.99 | 0 | 0 |
QChaffLearn | 3601.03 | 900.26 | 0.32 | 900.25 | 0.63 | 0 |
QMRes | 1834.99 | 458.75 | 441.24 | 459.9 | 882.48 | 0 |
QUANTOR | 2910.26 | 727.57 | 299.21 | 900.16 | 345.79 | 0.25 |
semprop | 3603.97 | 900.99 | 0.01 | 900.99 | 0.01 | 0 |
skizzo_v0.4 | 1884.53 | 471.13 | 326.34 | 483.54 | 575.34 | 0.25 |
skizzo_v0.5 | 2201.57 | 550.39 | 323.89 | 644.78 | 440.82 | 0.25 |
sSolve | 3601.7 | 900.43 | 0.1 | 900.47 | 0.15 | 0 |
WalkQSAT | 3603.89 | 900.97 | 0.02 | 900.98 | 0.04 | 0 |
yQuaffle | 3601.98 | 900.5 | 0.12 | 900.46 | 0.17 | 0 |