Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: s1196_d7_u
Best Solver: xb-qsts_bqsts2.0 Time: 41.69 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_plain 85.74 rev_qfun0.1 317.24 rareqs 605.99
- - xb-qsts_xbqsts1.0 99.47 - - QELL_unit 637.56
- - xb-qsts_xbqsts2.0 99.54 - - QELL_default 646.88
- - GhostQ-PG_cegar 130.92 - - caqe_2017_v1 818.94
- - ghostq-cegar 134.71 - - - -
- - qesto 191 - - - -
xb-qsts_bqsts2.0(41.69)
GhostQ-PG_plain(85.74)
xb-qsts_xbqsts1.0(99.47)
xb-qsts_xbqsts2.0(99.54)
GhostQ-PG_cegar(130.92)
ghostq-cegar(134.71)
qesto(191)
rev_qfun0.1(317.24)
rareqs(605.99)
QELL_unit(637.56)
QELL_default(646.88)
caqe_2017_v1(818.94)