Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: emptyroom_e3_ser---19_
Best Solver: nenofex-qbfeval10 Time: 59.59 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqme-10 88.97 - - - -
- - quantor-3.1 108.82 - - - -
- - qmaiga 173.65 - - - -
- - AIGSolve 184.67 - - - -
nenofex-qbfeval10(59.59)
aqme-10(88.97)
quantor-3.1(108.82)
qmaiga(173.65)
AIGSolve(184.67)