Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: s1196_d5_u
Best Solver: GhostQ-PG_plain Time: 59.66 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 88.54 xb-qsts_xbqsts2.0 331.47 caqe_2017_v2 644.65
- - ghostq-cegar 96.42 xb-qsts_xbqsts1.0 332.24 caqe_2017_v3 645.95
- - qesto 108.22 rareqs 433.15 caqe_2017_v1 687.77
- - rev_qfun0.1 131.24 QELL_unit 462.18 - -
- - xb-qsts_bqsts2.0 254.44 QELL_default 476.92 - -
GhostQ-PG_plain(59.66)
GhostQ-PG_cegar(88.54)
ghostq-cegar(96.42)
qesto(108.22)
rev_qfun0.1(131.24)
xb-qsts_bqsts2.0(254.44)
xb-qsts_xbqsts2.0(331.47)
xb-qsts_xbqsts1.0(332.24)
rareqs(433.15)
QELL_unit(462.18)
QELL_default(476.92)
caqe_2017_v2(644.65)
caqe_2017_v3(645.95)
caqe_2017_v1(687.77)