Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: cache-coherence-3-fixpoint-3
Best Solver: GhostQ-PG_cegar Time: 3.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_plain 5.01 caqe_2017_v2 30.45 AIGSolve 46.03
- - dynQBF-bloqqer-hqspre 9.5 caqe_2017_v3 30.81 HQSpre_solver 65.87
- - iProver-qbf-bloqqer-2017-07-27-v3 9.53 - - Qute_default 67.39
- - xb-qsts_xbqsts1.0 9.69 - - Qute_opt500 67.96
- - xb-qsts_bqsts2.0 9.72 - - Qute_random 68.08
- - xb-qsts_xbqsts2.0 9.72 - - qbfrelay-limited-depqbf 86.2
- - qbfrelay 9.81 - - - -
GhostQ-PG_cegar(3.88)
GhostQ-PG_plain(5.01)
dynQBF-bloqqer-hqspre(9.5)
iProver-qbf-bloqqer-2017-07-27-v3(9.53)
xb-qsts_xbqsts1.0(9.69)
xb-qsts_bqsts2.0(9.72)
xb-qsts_xbqsts2.0(9.72)
qbfrelay(9.81)
caqe_2017_v2(30.45)
caqe_2017_v3(30.81)
AIGSolve(46.03)
HQSpre_solver(65.87)
Qute_default(67.39)
Qute_opt500(67.96)
Qute_random(68.08)
qbfrelay-limited-depqbf(86.2)