Results for instance s27_d3_u
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.



Solver Time Result
depqbf-cert-v10.12UNSAT
caqe-picosat-cert1.13UNSAT
depqbf-cert-v2309.75FAIL
caqe-minisat-cert599.72FAIL
cheq601.83FAIL