Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: emptyroom_e4_par---21_
Best Solver: aqme-10 Time: 174.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quantor-3.1 178.96 - - - -
- - nenofex-qbfeval10 192.15 - - - -
aqme-10(174.04)
quantor-3.1(178.96)
nenofex-qbfeval10(192.15)