Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 9.5 | 4.75 | 1 | 4.75 | 0 | 1 |
aqme-10 | 1356.83 | 678.41 | 51.68 | 678.41 | 0 | 1 |
depqbf | 86400 | 43200 | 0 | 43200 | 0 | 0 |
depqbf-pre | 86400 | 43200 | 0 | 43200 | 0 | 0 |
nenofex-qbfeval10 | 534.06 | 267.03 | 73.28 | 267.03 | 0 | 0 |
quantor-3.1 | 45.63 | 22.81 | 1.5 | 22.81 | 0 | 0 |
QuBE7 | 10703.77 | 5351.89 | 738.54 | 5351.89 | 0 | 0 |
QuBE7-c | 6679.49 | 3339.75 | 1633.18 | 3339.75 | 0 | 0 |
QuBE7-m | 5194.03 | 2597.02 | 893.39 | 2597.02 | 0 | 0 |
struqs-10 | 86400 | 43200 | 0 | 43200 | 0 | 0 |