Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: counter_e_8
Best Solver: quantor-3.1 Time: 2.9 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AIGSolve 4.62 - - qmaiga 48.39
- - nenofex-qbfeval10 10.42 - - - -
- - aqme-10 10.61 - - - -
quantor-3.1(2.9)
AIGSolve(4.62)
nenofex-qbfeval10(10.42)
aqme-10(10.61)
qmaiga(48.39)