Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1384.43 | 692.22 | 507.78 | 692.22 | 0 | 0.5 |
aqme-10 | 530.56 | 265.28 | 261 | 265.28 | 0 | 1 |
depqbf | 2400.31 | 1200.16 | 0.01 | 1200.16 | 0 | 0 |
depqbf-pre | 1201.66 | 600.83 | 599.33 | 600.83 | 0 | 0.5 |
nenofex-qbfeval10 | 1501.45 | 750.73 | 449.5 | 750.73 | 0 | 0 |
qmaiga | 1379.28 | 689.64 | 510.36 | 689.64 | 0 | 0.5 |
quantor-3.1 | 51.02 | 25.51 | 5.36 | 25.51 | 0 | 0 |
QuBE7 | 92.35 | 46.18 | 45.08 | 46.18 | 0 | 1 |
QuBE7-c | 60.7 | 30.35 | 29.31 | 30.35 | 0 | 1 |
QuBE7-m | 70.6 | 35.3 | 34.26 | 35.3 | 0 | 1 |
struqs-10 | 1263.82 | 631.91 | 568.32 | 631.91 | 0 | 0.5 |