Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: Q_3-3-3_v-100-100-100_r-30.5
Best Solver: AIGSolve Time: 320.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
AIGSolve(320.91)