x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_default | 0.48 | - | - | rev_qfun0.1 | 7.85 |
- | - | rareqs | 1.7 | - | - | - | - |
- | - | heretiq | 1.79 | - | - | - | - |
- | - | ijtihad_v1 | 1.8 | - | - | - | - |
- | - | ijtihad_v2 | 1.8 | - | - | - | - |
QELL_unit(0.43) | |
QELL_default(0.48) | |
rareqs(1.7) | |
heretiq(1.79) | |
ijtihad_v1(1.8) | |
ijtihad_v2(1.8) | |
rev_qfun0.1(7.85) | |
Qute_default(205.7) | |
iProver-qbf-2017-07-27-v3(307.7) | |
iProver-qbf-bloqqer-2017-07-27-v3(356.28) |