Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: s713_d11_u
Best Solver: GhostQ-PG_plain Time: 35.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 52.12 qesto 185.1 caqe_2017_v2 392.36
- - rev_qfun0.1 142.56 xb-qsts_bqsts2.0 194.66 caqe_2017_v3 395.02
- - QELL_unit 149.52 rareqs 226.77 Qute_default 726.89
- - QELL_default 150.42 xb-qsts_xbqsts2.0 269.97 - -
- - ghostq-cegar 176.03 xb-qsts_xbqsts1.0 272.3 - -
- - - - caqe_2017_v1 333.1 - -
GhostQ-PG_plain(35.43)
GhostQ-PG_cegar(52.12)
rev_qfun0.1(142.56)
QELL_unit(149.52)
QELL_default(150.42)
ghostq-cegar(176.03)
qesto(185.1)
xb-qsts_bqsts2.0(194.66)
rareqs(226.77)
xb-qsts_xbqsts2.0(269.97)
xb-qsts_xbqsts1.0(272.3)
caqe_2017_v1(333.1)
caqe_2017_v2(392.36)
caqe_2017_v3(395.02)
Qute_default(726.89)