Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 4800.19 | 800.03 | 565.64 | 1200 | 1199.9 | 0.333 |
aqme-10 | 55.85 | 9.31 | 12.24 | 2.69 | 2.64 | 1 |
depqbf | 680.71 | 113.45 | 137.65 | 66.76 | 74.29 | 1 |
depqbf-pre | 3691.53 | 615.26 | 585.67 | 645.3 | 1199.89 | 0.5 |
nenofex-qbfeval10 | 91.21 | 15.2 | 10.28 | 12.07 | 7.67 | 1 |
qmaiga | 4727.12 | 787.85 | 557.62 | 1163.45 | 1199.89 | 0.5 |
quantor-3.1 | 53.76 | 8.96 | 12.45 | 2.3 | 4.04 | 1 |
QuBE7 | 4802 | 800.33 | 565.27 | 1200.03 | 1199.49 | 0.333 |
QuBE7-c | 4805.87 | 800.98 | 564.35 | 1200.03 | 1199.53 | 0.333 |
QuBE7-m | 4807.82 | 801.3 | 563.92 | 1200.04 | 1199.46 | 0.333 |
struqs-10 | 5027.89 | 837.98 | 514.27 | 1200.08 | 1168.36 | 0.333 |