Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: cache-coherence-3-fixpoint-3
Best Solver: caqe-minisat Time: 9.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-bid-qsts 9.31 AIGSolve 83.58 - -
- - xb-qsts 9.35 - - - -
- - caqe-picosat 9.38 - - - -
caqe-minisat(9.06)
xb-bid-qsts(9.31)
xb-qsts(9.35)
caqe-picosat(9.38)
AIGSolve(83.58)