Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: depots03_9
Best Solver: rareqs Time: 6.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AIGSolve 6.41 - - qsts 139.85
- - - - - - iprover-QBF-bloqqer 218.05
- - - - - - iprover-QBF 225.28
rareqs(6.24)
AIGSolve(6.41)
qsts(139.85)
iprover-QBF-bloqqer(218.05)
iprover-QBF(225.28)