Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: cache-coherence-2-fixpoint-6
Best Solver: GhostQ-PG_cegar Time: 5.52 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_plain 7.45 - - caqe_2017_v2 57.07
- - xb-qsts_xbqsts1.0 13.83 - - caqe_2017_v3 57.47
- - xb-qsts_bqsts2.0 13.86 - - AIGSolve 70.2
- - dynQBF-bloqqer-hqspre 13.92 - - HQSpre_solver 90.87
- - iProver-qbf-bloqqer-2017-07-27-v3 14.04 - - qbfrelay-limited-depqbf 95.47
- - xb-qsts_xbqsts2.0 14.2 - - Qute_random 151.29
- - qbfrelay 14.4 - - Qute_opt500 161.44
- - - - - - Qute_default 164.14
GhostQ-PG_cegar(5.52)
GhostQ-PG_plain(7.45)
xb-qsts_xbqsts1.0(13.83)
xb-qsts_bqsts2.0(13.86)
dynQBF-bloqqer-hqspre(13.92)
iProver-qbf-bloqqer-2017-07-27-v3(14.04)
xb-qsts_xbqsts2.0(14.2)
qbfrelay(14.4)
caqe_2017_v2(57.07)
caqe_2017_v3(57.47)
AIGSolve(70.2)
HQSpre_solver(90.87)
qbfrelay-limited-depqbf(95.47)
Qute_random(151.29)
Qute_opt500(161.44)
Qute_default(164.14)