x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 16.84 | ijtihad_v2 | 88.84 | qbfrelay | 215.19 |
- | - | HQSpre_solver | 50.15 | heretiq | 89.42 | rev_qfun0.1 | 857.99 |
- | - | caqe_2017_v2 | 59.44 | ijtihad_v1 | 90.03 | - | - |
- | - | Qute_random | 60.78 | AIGSolve | 99.76 | - | - |
- | - | Qute_opt500 | 60.92 | rareqs | 139.61 | - | - |
- | - | Qute_default | 61 | dynQBF-bloqqer-hqspre | 139.97 | - | - |
QELL_default(16.56) | |
QELL_unit(16.84) | |
HQSpre_solver(50.15) | |
caqe_2017_v2(59.44) | |
Qute_random(60.78) | |
Qute_opt500(60.92) | |
Qute_default(61) | |
ijtihad_v2(88.84) | |
heretiq(89.42) | |
ijtihad_v1(90.03) | |
AIGSolve(99.76) | |
rareqs(139.61) | |
dynQBF-bloqqer-hqspre(139.97) | |
qbfrelay(215.19) | |
rev_qfun0.1(857.99) |