Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: s713_d7_u
Best Solver: GhostQ-PG_plain Time: 15.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 25.9 QELL_unit 88.65 rareqs 187.5
- - ghostq-cegar 45.72 QELL_default 90.55 caqe_2017_v2 194.82
- - xb-qsts_bqsts2.0 63.54 xb-qsts_xbqsts1.0 109.29 caqe_2017_v3 194.93
- - Qute_opt500 74.48 xb-qsts_xbqsts2.0 110.32 caqe_2017_v1 222.69
- - Qute_random 74.63 qesto 120.63 Qute_default 447.85
- - - - rev_qfun0.1 127.14 heretiq 647.67
- - - - - - AIGSolve 704.14
GhostQ-PG_plain(15.94)
GhostQ-PG_cegar(25.9)
ghostq-cegar(45.72)
xb-qsts_bqsts2.0(63.54)
Qute_opt500(74.48)
Qute_random(74.63)
QELL_unit(88.65)
QELL_default(90.55)
xb-qsts_xbqsts1.0(109.29)
xb-qsts_xbqsts2.0(110.32)
qesto(120.63)
rev_qfun0.1(127.14)
rareqs(187.5)
caqe_2017_v2(194.82)
caqe_2017_v3(194.93)
caqe_2017_v1(222.69)
Qute_default(447.85)
heretiq(647.67)
AIGSolve(704.14)