Sota solver details
QBFEVAL'07

Instance: emptyroom_e3_ser---19_
Best Solver: QUANTOR_2.15 Time: 143 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aigqbf_s 407.99 - - - -
QUANTOR_2.15(143)
aigqbf_s(407.99)