x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | qmaiga | 1.47 | - | - | nenofex-qbfeval10 | 45.18 |
- | - | aqme-10 | 1.81 | - | - | QuBE7-c | 83.57 |
- | - | quantor-3.1 | 4.9 | - | - | QuBE7-m | 106.14 |
AIGSolve(1.21) | |
qmaiga(1.47) | |
aqme-10(1.81) | |
quantor-3.1(4.9) | |
nenofex-qbfeval10(45.18) | |
QuBE7-c(83.57) | |
QuBE7-m(106.14) | |
depqbf-pre(153.31) | |
QuBE7(480.56) |