x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 0.07 | rareqs | 0.38 | rev_qfun0.1 | 1.67 |
- | - | - | - | heretiq | 0.39 | Qute_default | 5.08 |
- | - | - | - | ijtihad_v1 | 0.39 | - | - |
- | - | - | - | ijtihad_v2 | 0.39 | - | - |
QELL_default(0.07) | |
QELL_unit(0.07) | |
rareqs(0.38) | |
heretiq(0.39) | |
ijtihad_v1(0.39) | |
ijtihad_v2(0.39) | |
rev_qfun0.1(1.67) | |
Qute_default(5.08) | |
AIGSolve(8.44) | |
iProver-qbf-2017-07-27-v3(21.86) | |
iProver-qbf-bloqqer-2017-07-27-v3(31.88) | |
qbfrelay(47.96) | |
qbfrelay-limited-depqbf(294.25) |