Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 3174.34 | 396.79 | 392.95 | 153.48 | 816.88 | 0.125 |
openQbf | 7207.29 | 900.91 | 0.03 | 900.91 | 0.06 | 0 |
qbfbdd | 7087.87 | 885.98 | 39.41 | 900.89 | 0.07 | 0.125 |
QbflHR | 6668.15 | 833.52 | 178.54 | 901 | 0.01 | 0.125 |
QChaffLearn | 1954.22 | 244.28 | 379.94 | 10 | 509.5 | 0.75 |
QMRes | 7206.71 | 900.84 | 0.05 | 900.86 | 0.07 | 0 |
QUANTOR | 384.13 | 48.02 | 48.62 | 19.5 | 67.02 | 0 |
semprop | 5413.12 | 676.64 | 388.59 | 900.99 | 447.62 | 0.25 |
skizzo_v0.4 | 737.24 | 92.16 | 109.64 | 55.91 | 120.06 | 0.125 |
skizzo_v0.5 | 1236.32 | 154.54 | 243.28 | 12.71 | 279.49 | 0.125 |
sSolve | 7206.95 | 900.87 | 0.07 | 900.84 | 0.13 | 0 |
WalkQSAT | 4929.3 | 616.16 | 365.47 | 791.56 | 579.72 | 0.25 |
yQuaffle | 6296.28 | 787.04 | 297.43 | 899.53 | 1.66 | 0.125 |