x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 7.85 | ijtihad_v2 | 61.73 | caqe_2017_v1 | 91.11 |
- | - | HQSpre_solver | 27.52 | heretiq | 61.89 | qbfrelay | 101.28 |
- | - | caqe_2017_v2 | 31.66 | ijtihad_v1 | 62.08 | dynQBF-bloqqer-hqspre | 118.05 |
- | - | caqe_2017_v3 | 32.19 | rareqs | 71.67 | AIGSolve | 124.98 |
- | - | Qute_opt500 | 32.71 | - | - | rev_qfun0.1 | 327.46 |
- | - | Qute_random | 32.77 | - | - | - | - |
- | - | Qute_default | 32.92 | - | - | - | - |
QELL_default(7.43) | |
QELL_unit(7.85) | |
HQSpre_solver(27.52) | |
caqe_2017_v2(31.66) | |
caqe_2017_v3(32.19) | |
Qute_opt500(32.71) | |
Qute_random(32.77) | |
Qute_default(32.92) | |
ijtihad_v2(61.73) | |
heretiq(61.89) | |
ijtihad_v1(62.08) | |
rareqs(71.67) | |
caqe_2017_v1(91.11) | |
qbfrelay(101.28) | |
dynQBF-bloqqer-hqspre(118.05) | |
AIGSolve(124.98) | |
rev_qfun0.1(327.46) |