Unique instances for aqme-10
QBFEVAL'10 - Random QBFs Track.


InstanceTimeResult
Qq2k3k3v50v50m1000s6267.48UNSAT
Qq2k3k3v100v100m400s42.02SAT
Qq2k3k3v100v100m400s92.03SAT
Qq2k3k3v50v50m300s82.24SAT
Qq2k3k3v50v50m900s1012.65UNSAT
Qq2k3k3v100v100m400s61.98SAT
Qq2k3k3v50v50m400s310.2SAT
Qq2k3k3v50v50m400s223.65SAT
Qq2k3k3v50v50m400s570.45SAT
Qq2k3k3v100v100m400s81.96SAT
Qq2k3k3v100v100m600s3960.35SAT
Qq2k3k3v50v50m1000s82.79UNSAT
Qq2k3k3v100v100m400s11.99SAT
Qq2k3k3v50v50m400s849.22SAT
Qq2k3k3v50v50m1000s12.93UNSAT
Qq2k3k3v100v100m2000s866.74UNSAT
Qq2k3k3v100v100m400s101.98SAT
Qq2k3k3v50v50m900s2736.21UNSAT
Qq2k3k3v100v100m400s32SAT
Qq2k3k3v50v50m400s116.27SAT
Qq2k3k3v50v50m400s1017.78SAT
Qq2k3k3v100v100m400s71.94SAT
Qq2k3k3v100v100m600s1976.24SAT
Qq2k3k3v50v50m1000s24.03UNSAT
Qq2k3k3v50v50m1000s35.92UNSAT
Qq2k3k3v100v100m600s71153.88SAT
Qq2k3k3v50v50m900s73.02UNSAT
Qq2k3k3v50v50m900s4717.03UNSAT
Qq2k3k3v50v50m400s424.53SAT
Qq2k3k3v50v50m300s62.1SAT
Qq2k3k3v50v50m900s9772.57UNSAT
Qq2k3k3v50v50m1000s102.28UNSAT
Qq2k3k3v50v50m300s52.37SAT
Qq2k3k3v100v100m600s825.11SAT
Qq2k3k3v50v50m1000s42.32UNSAT
Qq2k3k3v50v50m300s42.24SAT
Qq2k3k3v50v50m300s12SAT
Qq2k3k3v50v50m300s71.92SAT
Qq2k3k3v50v50m1000s72.52UNSAT
Qq2k3k3v50v50m900s373.15UNSAT
Qq2k3k3v100v100m400s21.94SAT
Qq2k3k3v50v50m300s22.1SAT
Qq2k3k3v100v100m400s51.94SAT
robots_1_5_2_40.8646.61UNSAT
Qq2k3k3v50v50m400s724.8SAT
Qq2k3k3v50v50m300s101.9SAT
Qq2k3k3v50v50m1000s52.64UNSAT
Qq2k3k3v100v100m600s9916.95SAT
Qq2k3k3v50v50m300s32.02SAT
Qq2k3k3v50v50m1000s99.13UNSAT
Qq2k3k3v50v50m900s11167.87UNSAT
Qq2k3k3v100v100m600s6798.53SAT
Qq2k3k3v100v100m2000s31200UNSAT
Qq2k3k3v50v50m900s66.65UNSAT
Qq2k3k3v100v100m600s10685.2SAT
Qq2k3k3v50v50m400s936.73SAT
Qq2k3k3v50v50m500s31103.17SAT
Qq2k3k3v50v50m900s883.87UNSAT
Qq2k3k3v50v50m900s572.97UNSAT
Qq2k3k3v100v100m2000s715.53UNSAT
Qq2k3k3v50v50m300s92.26SAT
Qq2k3k3v50v50m400s635.71SAT