Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: ii8d1-00
Best Solver: caqe_2017_v1 Time: 5.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ghostq-cegar 8.41 - - Qute_default 89.55
- - GhostQ-PG_cegar 9.71 - - QELL_default 129.31
- - QELL_unit 22.46 - - rareqs 170.48
- - - - - - rev_qfun0.1 245.66
- - - - - - prefix-opt-depqbf 527.89
caqe_2017_v1(5.46)
ghostq-cegar(8.41)
GhostQ-PG_cegar(9.71)
QELL_unit(22.46)
Qute_default(89.55)
QELL_default(129.31)
rareqs(170.48)
rev_qfun0.1(245.66)
prefix-opt-depqbf(527.89)
xb-qsts_bqsts2.0(598.36)
xb-qsts_xbqsts1.0(611.06)
xb-qsts_xbqsts2.0(613.43)