Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_branch_n-4
Best Solver: AIGSolve Time: 0.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 0.89 - - aqme-10 8.43
- - QuBE7-c 1.88 - - QuBE7 14.36
- - QuBE7-m 1.95 - - nenofex-qbfeval10 17.79
- - - - - - depqbf-pre 70.87
AIGSolve(0.75)
qmaiga(0.89)
QuBE7-c(1.88)
QuBE7-m(1.95)
aqme-10(8.43)
QuBE7(14.36)
nenofex-qbfeval10(17.79)
depqbf-pre(70.87)
struqs-10(232.41)
depqbf(257.63)