Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: s641_d6_s
Best Solver: QELL_unit Time: 0.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 0.55 GhostQ-PG_cegar 3.1 rev_qfun0.1 5.91
- - GhostQ-PG_plain 2.26 rareqs 4.42 ghostq-cegar 6.08
- - - - - - xb-qsts_bqsts2.0 7.04
- - - - - - caqe_2017_v1 10.48
- - - - - - caqe_2017_v3 26.11
- - - - - - caqe_2017_v2 26.25
- - - - - - qesto 26.33
- - - - - - Qute_opt500 28.25
- - - - - - Qute_random 28.32
- - - - - - Qute_default 31.26
- - - - - - heretiq 34.9
- - - - - - xb-qsts_xbqsts1.0 39.74
- - - - - - xb-qsts_xbqsts2.0 39.79
QELL_unit(0.47)
QELL_default(0.55)
GhostQ-PG_plain(2.26)
GhostQ-PG_cegar(3.1)
rareqs(4.42)
rev_qfun0.1(5.91)
ghostq-cegar(6.08)
xb-qsts_bqsts2.0(7.04)
caqe_2017_v1(10.48)
caqe_2017_v3(26.11)
caqe_2017_v2(26.25)
qesto(26.33)
Qute_opt500(28.25)
Qute_random(28.32)
Qute_default(31.26)
heretiq(34.9)
xb-qsts_xbqsts1.0(39.74)
xb-qsts_xbqsts2.0(39.79)
qbfrelay-limited-depqbf(247.13)
AIGSolve(370.99)