Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 332.5 | 166.25 | 154.16 | 166.25 | 0 | 0.5 |
aqme-10 | 86400 | 43200 | 0 | 43200 | 0 | 0 |
depqbf | 86400 | 43200 | 0 | 43200 | 0 | 0 |
depqbf-pre | 86400 | 43200 | 0 | 43200 | 0 | 0 |
nenofex-qbfeval10 | 373.52 | 186.76 | 1.64 | 186.76 | 0 | 0 |
quantor-3.1 | 56.03 | 28.01 | 2.71 | 28.01 | 0 | 0 |
QuBE7 | 80260.4 | 40130.2 | 3069.9 | 40130.2 | 0 | 0 |
QuBE7-c | 86400.2 | 43200.1 | 0 | 43200.1 | 0 | 0 |
QuBE7-m | 45446.5 | 22723.25 | 10413.65 | 22723.25 | 0 | 0 |
struqs-10 | 86400 | 43200 | 0 | 43200 | 0 | 0 |