Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 5403.27 | 900.55 | 0.15 | 900.5 | 0.08 | 0 |
openQbf | 5405.59 | 900.93 | 0.03 | 900.94 | 0.06 | 0 |
qbfbdd | 5405.9 | 900.98 | 0.02 | 900.99 | 0.05 | 0 |
QbflHR | 5405.86 | 900.98 | 0.02 | 900.98 | 0.03 | 0 |
QChaffLearn | 5330.02 | 888.34 | 4.98 | 890.35 | 9.07 | 0 |
QMRes | 4622.3 | 770.38 | 291.34 | 900.63 | 781.77 | 0.167 |
QUANTOR | 70.14 | 11.69 | 0.83 | 12.08 | 2.05 | 0 |
semprop | 3650.1 | 608.35 | 414.02 | 900.93 | 900.85 | 0.333 |
skizzo_v0.4 | 3362.67 | 560.45 | 322.99 | 642.48 | 627.75 | 0.167 |
skizzo_v0.5 | 2889.31 | 481.55 | 174.99 | 459.58 | 321.36 | 0 |
sSolve | 5212.99 | 868.83 | 71.88 | 900.98 | 192.88 | 0.167 |
WalkQSAT | 5405.95 | 900.99 | 0.02 | 901 | 0.03 | 0 |
yQuaffle | 4810.37 | 801.73 | 98.61 | 812.33 | 223.28 | 0 |