x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 4.95 | ijtihad_v1 | 29.51 | qbfrelay | 108.68 |
- | - | - | - | ijtihad_v2 | 29.55 | dynQBF-bloqqer-hqspre | 134.17 |
- | - | - | - | heretiq | 29.56 | rev_qfun0.1 | 196.15 |
- | - | - | - | AIGSolve | 35.55 | caqe_2017_v1 | 232.63 |
- | - | - | - | rareqs | 36.1 | - | - |
- | - | - | - | HQSpre_solver | 38.41 | - | - |
- | - | - | - | caqe_2017_v2 | 40.21 | - | - |
- | - | - | - | caqe_2017_v3 | 40.48 | - | - |
- | - | - | - | Qute_default | 47.66 | - | - |
- | - | - | - | Qute_opt500 | 47.67 | - | - |
- | - | - | - | Qute_random | 47.76 | - | - |
QELL_default(4.85) | |
QELL_unit(4.95) | |
ijtihad_v1(29.51) | |
ijtihad_v2(29.55) | |
heretiq(29.56) | |
AIGSolve(35.55) | |
rareqs(36.1) | |
HQSpre_solver(38.41) | |
caqe_2017_v2(40.21) | |
caqe_2017_v3(40.48) | |
Qute_default(47.66) | |
Qute_opt500(47.67) | |
Qute_random(47.76) | |
qbfrelay(108.68) | |
dynQBF-bloqqer-hqspre(134.17) | |
rev_qfun0.1(196.15) | |
caqe_2017_v1(232.63) | |
iProver-qbf-bloqqer-2017-07-27-v3(663.14) |