Unique instances for rareqs
QBFEVAL'16 - Random QBFs Track.


InstanceTimeResult
robots_1_5_2_65.10451.26SAT
robots_1_5_2_65.9134.17SAT
robots_1_5_2_93.10108.86SAT
x210.368.04UNSAT