Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: nusmv.tcas^6.B-f4
Best Solver: QELL_default Time: 0.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 0.48 - - GhostQ-PG_plain 7.31
- - - - - - GhostQ-PG_cegar 7.53
- - - - - - rev_qfun0.1 7.96
- - - - - - ghostq-cegar 9.34
- - - - - - prefix-opt-depqbf 10.75
- - - - - - qbfrelay-limited-depqbf 11.01
- - - - - - caqe_2017_v2 24.02
- - - - - - caqe_2017_v3 24.42
QELL_default(0.47)
QELL_unit(0.48)
GhostQ-PG_plain(7.31)
GhostQ-PG_cegar(7.53)
rev_qfun0.1(7.96)
ghostq-cegar(9.34)
prefix-opt-depqbf(10.75)
qbfrelay-limited-depqbf(11.01)
caqe_2017_v2(24.02)
caqe_2017_v3(24.42)
Qute_random(202.89)
Qute_opt500(203.46)