Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 3834.08 | 639.01 | 375.96 | 900.49 | 900.72 | 0.333 |
openQbf | 4507 | 751.17 | 334.85 | 900.92 | 898.51 | 0.167 |
qbfbdd | 5404.82 | 900.8 | 0.24 | 900.93 | 0.65 | 0 |
QbflHR | 4492.58 | 748.76 | 334.14 | 897.55 | 899.34 | 0.167 |
QChaffLearn | 50.07 | 8.35 | 14.08 | 2.68 | 3.42 | 1 |
QMRes | 2758.26 | 459.71 | 440.96 | 465.48 | 900.09 | 0.167 |
QUANTOR | 3594.62 | 599.1 | 422.58 | 894.94 | 896.26 | 0.333 |
semprop | 4504.85 | 750.81 | 335.74 | 900.95 | 900.91 | 0.167 |
skizzo_v0.4 | 2929.45 | 488.24 | 399.43 | 568.47 | 829.15 | 0.333 |
skizzo_v0.5 | 2624.9 | 437.48 | 349.16 | 359.45 | 413.24 | 0.333 |
sSolve | 4504.93 | 750.82 | 335.77 | 900.99 | 900.99 | 0.167 |
WalkQSAT | 4503.52 | 750.59 | 335.66 | 900.67 | 900.79 | 0 |
yQuaffle | 3604.15 | 600.69 | 420.89 | 897.73 | 897.71 | 0.333 |