Results for instance cube_c7_ser---23_
QBFEVAL'10 - Competitive Track.



Solver Time Result
qmaiga666.83FAIL
aqme-101143.26FAIL
AIGSolve1200FAIL
quantor-3.11200FAIL
QuBE7-c1200.02FAIL
QuBE7-m1200.02FAIL
QuBE71200.03FAIL
struqs-101200.08FAIL
depqbf1200.16FAIL
depqbf-pre1200.16FAIL
nenofex-qbfeval101200.21FAIL