Solver | Time | Result |
---|---|---|
AIGSolve | 0.6 | UNSAT |
quantor-3.1 | 0.96 | UNSAT |
qmaiga | 0.98 | UNSAT |
aqme-10 | 5.89 | UNSAT |
depqbf | 11.64 | UNSAT |
depqbf-pre | 96.63 | UNSAT |
QuBE7-m | 108.34 | UNSAT |
QuBE7-c | 113.61 | UNSAT |
QuBE7 | 120.24 | UNSAT |
nenofex-qbfeval10 | 293.2 | UNSAT |
struqs-10 | 1200.13 | FAIL |