Unique instances for caqe-picosat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceTimeResult
cnt08e211.37SAT
s499_d24_u584.8UNSAT
s820_d11_u352.6UNSAT
s820_d12_u336.19UNSAT
s820_d14_u578.73UNSAT