Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: cmu.dme2.B-f3
Best Solver: QELL_default Time: 0.45 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_plain 0.78 - - - -
- - caqe_2017_v2 1 - - - -
- - caqe_2017_v3 1.12 - - - -
- - ghostq-cegar 1.42 - - - -
- - QELL_unit 1.42 - - - -
- - GhostQ-PG_cegar 1.49 - - - -
- - rev_qfun0.1 1.49 - - - -
- - Qute_opt500 1.88 - - - -
- - Qute_random 1.88 - - - -
QELL_default(0.45)
GhostQ-PG_plain(0.78)
caqe_2017_v2(1)
caqe_2017_v3(1.12)
ghostq-cegar(1.42)
QELL_unit(1.42)
GhostQ-PG_cegar(1.49)
rev_qfun0.1(1.49)
Qute_opt500(1.88)
Qute_random(1.88)
qbfrelay-limited-depqbf(119.22)
AIGSolve(361.27)