x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_default | 19.88 | qbfrelay | 115.17 | rev_qfun0.1 | 578.86 |
- | - | ijtihad_v2 | 39.93 | dynQBF-bloqqer-hqspre | 133.78 | - | - |
- | - | ijtihad_v1 | 40.06 | - | - | - | - |
- | - | heretiq | 40.1 | - | - | - | - |
- | - | HQSpre_solver | 42.23 | - | - | - | - |
- | - | caqe_2017_v2 | 45.78 | - | - | - | - |
- | - | Qute_default | 49.03 | - | - | - | - |
- | - | Qute_opt500 | 49.2 | - | - | - | - |
- | - | Qute_random | 49.29 | - | - | - | - |
- | - | rareqs | 83.02 | - | - | - | - |
- | - | AIGSolve | 91.4 | - | - | - | - |
QELL_unit(19.45) | |
QELL_default(19.88) | |
ijtihad_v2(39.93) | |
ijtihad_v1(40.06) | |
heretiq(40.1) | |
HQSpre_solver(42.23) | |
caqe_2017_v2(45.78) | |
Qute_default(49.03) | |
Qute_opt500(49.2) | |
Qute_random(49.29) | |
rareqs(83.02) | |
AIGSolve(91.4) | |
qbfrelay(115.17) | |
dynQBF-bloqqer-hqspre(133.78) | |
rev_qfun0.1(578.86) |