Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: s3330_d4_s
Best Solver: QELL_unit Time: 2.92 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 6.48 GhostQ-PG_cegar 15.2 ghostq-cegar 45.33
- - GhostQ-PG_plain 14.51 - - rev_qfun0.1 47.93
- - - - - - rareqs 65.83
- - - - - - xb-qsts_bqsts2.0 74.26
- - - - - - caqe_2017_v1 97.56
- - - - - - Qute_default 141.24
- - - - - - caqe_2017_v3 155.24
- - - - - - xb-qsts_xbqsts2.0 155.78
- - - - - - xb-qsts_xbqsts1.0 156.31
- - - - - - caqe_2017_v2 156.97
- - - - - - qesto 272.43
QELL_unit(2.92)
QELL_default(6.48)
GhostQ-PG_plain(14.51)
GhostQ-PG_cegar(15.2)
ghostq-cegar(45.33)
rev_qfun0.1(47.93)
rareqs(65.83)
xb-qsts_bqsts2.0(74.26)
caqe_2017_v1(97.56)
Qute_default(141.24)
caqe_2017_v3(155.24)
xb-qsts_xbqsts2.0(155.78)
xb-qsts_xbqsts1.0(156.31)
caqe_2017_v2(156.97)
qesto(272.43)