Results for instance C5315.blif_0.10_1.00_0_0_out_exact
QBFEVAL'10 - Competitive Track.



Solver Time Result
AIGSolve2.27UNSAT
qmaiga2.32UNSAT
quantor-3.13.3UNSAT
aqme-107.72UNSAT
nenofex-qbfeval1027.49UNSAT
QuBE7-c1200.06FAIL
QuBE71200.07FAIL
struqs-101200.09FAIL
QuBE7-m1200.09FAIL
depqbf-pre1200.16FAIL
depqbf1200.17FAIL