Sota solver details
QBFEVAL'07

Instance: cube_c7_ser--opt-24_
Best Solver: qZilla Time: 271.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aigqbf_s 288.35 - - - -
- - Adaptive2clsQ 325.05 - - - -
qZilla(271.76)
aigqbf_s(288.35)
Adaptive2clsQ(325.05)