Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 22372.4 | 588.75 | 416.47 | 900.49 | 899.62 | 0.368 |
openQbf | 27577.18 | 725.72 | 333.69 | 900.92 | 167.83 | 0.237 |
qbfbdd | 28533.11 | 750.87 | 280.12 | 900.12 | 110.29 | 0.237 |
QbflHR | 27003.28 | 710.61 | 349.02 | 900.97 | 444.65 | 0.237 |
QChaffLearn | 14905.04 | 392.24 | 431.61 | 39.68 | 885.24 | 0.368 |
QMRes | 27203.19 | 715.87 | 357.65 | 900.49 | 0.51 | 0 |
QUANTOR | 17544.59 | 461.7 | 358.39 | 249.8 | 734.99 | 0.026 |
semprop | 24621.63 | 647.94 | 382.11 | 900.92 | 801.38 | 0.289 |
skizzo_v0.4 | 10748.68 | 282.86 | 294.63 | 189.35 | 363.43 | 0.263 |
skizzo_v0.5 | 13850.54 | 364.49 | 331.75 | 293.86 | 419.73 | 0.263 |
sSolve | 28323.45 | 745.35 | 329.37 | 900.95 | 0.15 | 0.184 |
WalkQSAT | 21111.58 | 555.57 | 428.32 | 900.71 | 891.63 | 0.237 |
yQuaffle | 25765.08 | 678.03 | 345.49 | 854.24 | 226.03 | 0.263 |