Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: C5315.blif_0.10_1.00_0_0_out_exact
Best Solver: AIGSolve Time: 2.27 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 2.32 - - nenofex-qbfeval10 27.49
- - quantor-3.1 3.3 - - - -
- - aqme-10 7.72 - - - -
AIGSolve(2.27)
qmaiga(2.32)
quantor-3.1(3.3)
aqme-10(7.72)
nenofex-qbfeval10(27.49)