Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: s298_d25_u
Best Solver: QELL_default Time: 8.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 8.89 - - caqe_2017_v2 120.71
- - GhostQ-PG_plain 9.41 - - caqe_2017_v3 120.76
- - GhostQ-PG_cegar 11.56 - - rareqs 172.11
- - ghostq-cegar 28 - - caqe_2017_v1 215.98
- - rev_qfun0.1 42.74 - - xb-qsts_bqsts2.0 270.98
- - - - - - xb-qsts_xbqsts1.0 349.3
- - - - - - xb-qsts_xbqsts2.0 355.95
- - - - - - qesto 499.03
- - - - - - Qute_default 542.5
QELL_default(8.71)
QELL_unit(8.89)
GhostQ-PG_plain(9.41)
GhostQ-PG_cegar(11.56)
ghostq-cegar(28)
rev_qfun0.1(42.74)
caqe_2017_v2(120.71)
caqe_2017_v3(120.76)
rareqs(172.11)
caqe_2017_v1(215.98)
xb-qsts_bqsts2.0(270.98)
xb-qsts_xbqsts1.0(349.3)
xb-qsts_xbqsts2.0(355.95)
qesto(499.03)
Qute_default(542.5)