Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: s298_d17_s
Best Solver: QELL_unit Time: 0.87 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_plain 3.95 GhostQ-PG_cegar 4.97 ghostq-cegar 10.13
- - QELL_default 3.97 - - rev_qfun0.1 12.28
- - - - - - rareqs 15.47
- - - - - - caqe_2017_v1 18.52
- - - - - - xb-qsts_bqsts2.0 28.19
- - - - - - heretiq 41.77
- - - - - - Qute_opt500 54.33
- - - - - - Qute_random 54.68
- - - - - - Qute_default 58.99
- - - - - - caqe_2017_v2 60.46
- - - - - - qesto 60.54
- - - - - - caqe_2017_v3 60.9
QELL_unit(0.87)
GhostQ-PG_plain(3.95)
QELL_default(3.97)
GhostQ-PG_cegar(4.97)
ghostq-cegar(10.13)
rev_qfun0.1(12.28)
rareqs(15.47)
caqe_2017_v1(18.52)
xb-qsts_bqsts2.0(28.19)
heretiq(41.77)
Qute_opt500(54.33)
Qute_random(54.68)
Qute_default(58.99)
caqe_2017_v2(60.46)
qesto(60.54)
caqe_2017_v3(60.9)
xb-qsts_xbqsts1.0(107.76)
xb-qsts_xbqsts2.0(109.28)
AIGSolve(548.41)