Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: nusmv.tcas^4.B-f3
Best Solver: QELL_default Time: 0.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 0.34 - - prefix-opt-depqbf 3.56
- - - - - - qbfrelay-limited-depqbf 3.83
- - - - - - GhostQ-PG_plain 4.79
- - - - - - rev_qfun0.1 5.25
- - - - - - GhostQ-PG_cegar 5.8
- - - - - - ghostq-cegar 6.35
- - - - - - caqe_2017_v3 15.57
- - - - - - caqe_2017_v2 15.88
- - - - - - Qute_random 21.22
- - - - - - Qute_opt500 21.38
QELL_default(0.33)
QELL_unit(0.34)
prefix-opt-depqbf(3.56)
qbfrelay-limited-depqbf(3.83)
GhostQ-PG_plain(4.79)
rev_qfun0.1(5.25)
GhostQ-PG_cegar(5.8)
ghostq-cegar(6.35)
caqe_2017_v3(15.57)
caqe_2017_v2(15.88)
Qute_random(21.22)
Qute_opt500(21.38)
qbfrelay(56.82)