Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: sortnetsort9.AE.stepl.012
Best Solver: rev_qfun0.1 Time: 22.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 26.33 CUED1919_NL 115.9 Qute_opt500 226.28
- - xb-qsts_bqsts2.0 27.49 caqe_2017_v1 156.9 qbfrelay-limited-depqbf 245.31
- - heretiq 42.72 Qute_random 223.73 QELL_unit 462.71
- - caqe_2017_v2 46.38 - - QELL_default 740.46
- - caqe_2017_v3 46.39 - - - -
- - GhostQ-PG_plain 47.8 - - - -
- - rareqs 54.28 - - - -
- - xb-qsts_xbqsts1.0 87.86 - - - -
- - xb-qsts_xbqsts2.0 87.89 - - - -
- - CUED1919_NNL 108.53 - - - -
rev_qfun0.1(22.46)
GhostQ-PG_cegar(26.33)
xb-qsts_bqsts2.0(27.49)
heretiq(42.72)
caqe_2017_v2(46.38)
caqe_2017_v3(46.39)
GhostQ-PG_plain(47.8)
rareqs(54.28)
xb-qsts_xbqsts1.0(87.86)
xb-qsts_xbqsts2.0(87.89)
CUED1919_NNL(108.53)
CUED1919_NL(115.9)
caqe_2017_v1(156.9)
Qute_random(223.73)
Qute_opt500(226.28)
qbfrelay-limited-depqbf(245.31)
QELL_unit(462.71)
QELL_default(740.46)