Sota solver details
QBFEVAL'10 - Small Hard Track.

Instance: k5_2_2
Best Solver: AIGSolve Time: 187.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - quantor-3.1 1993.14
- - - - - - aqme-10 5405.53
AIGSolve(187.02)
quantor-3.1(1993.14)
aqme-10(5405.53)