Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 18.16 | 6.05 | 8.41 | 0.2 | 0.19 | 1 |
aqme-10 | 26.88 | 8.96 | 10.85 | 1.44 | 0.3 | 1 |
depqbf | 1263.43 | 421.14 | 551.46 | 63.21 | 63.16 | 0.667 |
depqbf-pre | 1306.49 | 435.5 | 542.43 | 106.24 | 106.15 | 0.667 |
nenofex-qbfeval10 | 1036.73 | 345.58 | 486.36 | 3.12 | 2.91 | 1 |
qmaiga | 35.31 | 11.77 | 16.52 | 0.16 | 0.16 | 1 |
quantor-3.1 | 638.94 | 212.98 | 301.15 | 0.05 | 0.04 | 1 |
QuBE7 | 2400.14 | 800.05 | 565.66 | 1200.02 | 1199.93 | 0.333 |
QuBE7-c | 2400.25 | 800.08 | 565.68 | 1200.05 | 1199.95 | 0.333 |
QuBE7-m | 2400.2 | 800.07 | 565.67 | 1200.04 | 1199.96 | 0.333 |
struqs-10 | 2413.37 | 804.46 | 559.49 | 1200.07 | 1186.85 | 0.333 |