Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 5.85 | 1.46 | 0.81 | 1.58 | 1.47 | 1 |
aqme-10 | 91.46 | 22.87 | 34.08 | 4.04 | 40.79 | 1 |
depqbf | 4800.63 | 1200.16 | 0 | 1200.16 | 0 | 0 |
depqbf-pre | 4800.62 | 1200.16 | 0.01 | 1200.16 | 0.01 | 0 |
nenofex-qbfeval10 | 894.12 | 223.53 | 224.42 | 145.14 | 327.2 | 0.5 |
qmaiga | 5.92 | 1.48 | 0.84 | 1.59 | 1.51 | 1 |
quantor-3.1 | 200.44 | 50.11 | 35.34 | 55.53 | 65.78 | 0.25 |
QuBE7 | 4424.88 | 1106.22 | 162.58 | 1200.07 | 187.77 | 0 |
QuBE7-c | 3664.72 | 916.18 | 171.36 | 852.42 | 266.34 | 0.25 |
QuBE7-m | 3918.99 | 979.75 | 132.52 | 933.49 | 197.17 | 0.25 |
struqs-10 | 3685.74 | 921.44 | 482.63 | 1200.08 | 557.3 | 0.25 |