Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 3418.94 | 341.89 | 380.85 | 152.35 | 348.3 | 0.7 |
openQbf | 7032.55 | 703.26 | 315.1 | 900.9 | 606.57 | 0.3 |
qbfbdd | 9008.33 | 900.83 | 0.03 | 900.82 | 0.05 | 0 |
QbflHR | 7039.68 | 703.97 | 319.39 | 901 | 756.93 | 0.3 |
QChaffLearn | 3360.31 | 336.03 | 307.76 | 259.34 | 452.75 | 0.8 |
QMRes | 9006.76 | 900.68 | 0.05 | 900.68 | 0.08 | 0 |
QUANTOR | 94.81 | 9.48 | 0.57 | 9.2 | 0.47 | 0 |
semprop | 947.43 | 94.74 | 269.09 | 0.07 | 0.17 | 0.9 |
skizzo_v0.4 | 433.78 | 43.38 | 25.79 | 42.31 | 33.3 | 1 |
skizzo_v0.5 | 747.27 | 74.73 | 59.99 | 61.51 | 38.27 | 1 |
sSolve | 0.1 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
WalkQSAT | 5141.54 | 514.15 | 397.86 | 635.69 | 877.65 | 0.5 |
yQuaffle | 5164.31 | 516.43 | 400.65 | 671.06 | 862.49 | 0.5 |