Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k4_2_2
Best Solver: quantor-3.1 Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 0.16 - - aqme-10 1.44
- - AIGSolve 0.2 - - nenofex-qbfeval10 3.12
quantor-3.1(0.05)
qmaiga(0.16)
AIGSolve(0.2)
aqme-10(1.44)
nenofex-qbfeval10(3.12)
depqbf(63.21)
depqbf-pre(106.24)