Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: emptyroom_e3_ser---19_
Best Solver: rareqs Time: 25.35 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qestos 54.32 ghostq-cegar 130.52 - -
- - - - AIGSolve 177.11 - -
rareqs(25.35)
qestos(54.32)
ghostq-cegar(130.52)
AIGSolve(177.11)