Unique instances for skizzo_v0.5
QBFEVAL'05


InstanceTimeResult
robots_1_5_5_99.8685.03UNSAT
ncf_4_32_2_euad.3708.93UNSAT
ncf_4_32_2_d.5679.36UNSAT
robots_1_5_4_1.8339.34UNSAT
robots_1_5_5_12.8673.25UNSAT
robots_1_5_5_14.8705.61UNSAT