Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_d4_p-7
Best Solver: qmaiga Time: 0.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AIGSolve 0.18 aqme-10 1.34 nenofex-qbfeval10 2.4
- - - - - - QuBE7-m 2.98
- - - - - - QuBE7-c 4.15
- - - - - - quantor-3.1 5.21
qmaiga(0.18)
AIGSolve(0.18)
aqme-10(1.34)
nenofex-qbfeval10(2.4)
QuBE7-m(2.98)
QuBE7-c(4.15)
quantor-3.1(5.21)
struqs-10(59.53)
depqbf-pre(415.21)