Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: stmt19_83_412
Best Solver: caqe_2017_v2 Time: 0.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v3 0.29 - - AIGSolve 5.8
- - Qute_opt500 0.52 - - qesto 17.46
- - Qute_random 0.52 - - - -
- - Qute_default 0.53 - - - -
- - ijtihad_v2 1 - - - -
- - heretiq 1.12 - - - -
- - ijtihad_v1 1.12 - - - -
- - GhostQ-PG_plain 1.2 - - - -
- - GhostQ-PG_cegar 1.23 - - - -
- - HQSpre_solver 1.37 - - - -
caqe_2017_v2(0.28)
caqe_2017_v3(0.29)
Qute_opt500(0.52)
Qute_random(0.52)
Qute_default(0.53)
ijtihad_v2(1)
heretiq(1.12)
ijtihad_v1(1.12)
GhostQ-PG_plain(1.2)
GhostQ-PG_cegar(1.23)
HQSpre_solver(1.37)
AIGSolve(5.8)
qesto(17.46)
qbfrelay(30.9)
rareqs(59.17)
qbfrelay-limited-depqbf(78.4)
prefix-opt-depqbf(360.48)
dynQBF-bloqqer-hqspre(745.04)