Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: k_ph_p-9
Best Solver: QuBE7 Time: 0.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - quantor-3.1 5.68 AIGSolve 9.49
- - - - - - QuBE7-c 19.44
- - - - - - qmaiga 21.49
- - - - - - QuBE7-m 45.86
QuBE7(0.68)
quantor-3.1(5.68)
AIGSolve(9.49)
QuBE7-c(19.44)
qmaiga(21.49)
QuBE7-m(45.86)
aqme-10(71.39)
nenofex-qbfeval10(91.32)
struqs-10(124.97)
depqbf(158.6)
depqbf-pre(185.5)