Unique instances for caqe-minisat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


InstanceTimeResult
BLOCKS4ii.7.241.97UNSAT
toilet_c_10_01.17175.84UNSAT