Detail page for q2k3k3 family


	Submitter:	Yannet Interian

	Suite:	Interian

	Domain:	Chen-Interian

	Description:	Formulas generated for the Random track of QBFEVAL'10.

	Number of instances:	270

	Results:	2010 - Track 4

	Instances:	Qq2k3k3v100v100m1000s1 Qq2k3k3v100v100m1000s10 Qq2k3k3v100v100m1000s2 Qq2k3k3v100v100m1000s3 Qq2k3k3v100v100m1000s4 Qq2k3k3v100v100m1000s5 Qq2k3k3v100v100m1000s6 Qq2k3k3v100v100m1000s7 Qq2k3k3v100v100m1000s8 Qq2k3k3v100v100m1000s9 Qq2k3k3v100v100m1200s1 Qq2k3k3v100v100m1200s10 Qq2k3k3v100v100m1200s2 Qq2k3k3v100v100m1200s3 Qq2k3k3v100v100m1200s4 Qq2k3k3v100v100m1200s5 Qq2k3k3v100v100m1200s6 Qq2k3k3v100v100m1200s7 Qq2k3k3v100v100m1200s8 Qq2k3k3v100v100m1200s9 Qq2k3k3v100v100m1400s1 Qq2k3k3v100v100m1400s10 Qq2k3k3v100v100m1400s2 Qq2k3k3v100v100m1400s3 Qq2k3k3v100v100m1400s4 Qq2k3k3v100v100m1400s5 Qq2k3k3v100v100m1400s6 Qq2k3k3v100v100m1400s7 Qq2k3k3v100v100m1400s8 Qq2k3k3v100v100m1400s9 Qq2k3k3v100v100m1600s1 Qq2k3k3v100v100m1600s10 Qq2k3k3v100v100m1600s2 Qq2k3k3v100v100m1600s3 Qq2k3k3v100v100m1600s4 Qq2k3k3v100v100m1600s5 Qq2k3k3v100v100m1600s6 Qq2k3k3v100v100m1600s7 Qq2k3k3v100v100m1600s8 Qq2k3k3v100v100m1600s9 Qq2k3k3v100v100m1800s1 Qq2k3k3v100v100m1800s10 Qq2k3k3v100v100m1800s2 Qq2k3k3v100v100m1800s3 Qq2k3k3v100v100m1800s4 Qq2k3k3v100v100m1800s5 Qq2k3k3v100v100m1800s6 Qq2k3k3v100v100m1800s7 Qq2k3k3v100v100m1800s8 Qq2k3k3v100v100m1800s9 Qq2k3k3v100v100m2000s1 Qq2k3k3v100v100m2000s10 Qq2k3k3v100v100m2000s2 Qq2k3k3v100v100m2000s3 Qq2k3k3v100v100m2000s4 Qq2k3k3v100v100m2000s5 Qq2k3k3v100v100m2000s6 Qq2k3k3v100v100m2000s7 Qq2k3k3v100v100m2000s8 Qq2k3k3v100v100m2000s9 Qq2k3k3v100v100m400s1 Qq2k3k3v100v100m400s10 Qq2k3k3v100v100m400s2 Qq2k3k3v100v100m400s3 Qq2k3k3v100v100m400s4 Qq2k3k3v100v100m400s5 Qq2k3k3v100v100m400s6 Qq2k3k3v100v100m400s7 Qq2k3k3v100v100m400s8 Qq2k3k3v100v100m400s9 Qq2k3k3v100v100m600s1 Qq2k3k3v100v100m600s10 Qq2k3k3v100v100m600s2 Qq2k3k3v100v100m600s3 Qq2k3k3v100v100m600s4 Qq2k3k3v100v100m600s5 Qq2k3k3v100v100m600s6 Qq2k3k3v100v100m600s7 Qq2k3k3v100v100m600s8 Qq2k3k3v100v100m600s9 Qq2k3k3v100v100m800s1 Qq2k3k3v100v100m800s10 Qq2k3k3v100v100m800s2 Qq2k3k3v100v100m800s3 Qq2k3k3v100v100m800s4 Qq2k3k3v100v100m800s5 Qq2k3k3v100v100m800s6 Qq2k3k3v100v100m800s7 Qq2k3k3v100v100m800s8 Qq2k3k3v100v100m800s9 Qq2k3k3v20v20m120s1 Qq2k3k3v20v20m120s10 Qq2k3k3v20v20m120s2 Qq2k3k3v20v20m120s3 Qq2k3k3v20v20m120s4 Qq2k3k3v20v20m120s5 Qq2k3k3v20v20m120s6 Qq2k3k3v20v20m120s7 Qq2k3k3v20v20m120s8 Qq2k3k3v20v20m120s9 Qq2k3k3v20v20m160s1 Qq2k3k3v20v20m160s10 Qq2k3k3v20v20m160s2 Qq2k3k3v20v20m160s3 Qq2k3k3v20v20m160s4 Qq2k3k3v20v20m160s5 Qq2k3k3v20v20m160s6 Qq2k3k3v20v20m160s7 Qq2k3k3v20v20m160s8 Qq2k3k3v20v20m160s9 Qq2k3k3v20v20m200s1 Qq2k3k3v20v20m200s10 Qq2k3k3v20v20m200s2 Qq2k3k3v20v20m200s3 Qq2k3k3v20v20m200s4 Qq2k3k3v20v20m200s5 Qq2k3k3v20v20m200s6 Qq2k3k3v20v20m200s7 Qq2k3k3v20v20m200s8 Qq2k3k3v20v20m200s9 Qq2k3k3v20v20m240s1 Qq2k3k3v20v20m240s10 Qq2k3k3v20v20m240s2 Qq2k3k3v20v20m240s3 Qq2k3k3v20v20m240s4 Qq2k3k3v20v20m240s5 Qq2k3k3v20v20m240s6 Qq2k3k3v20v20m240s7 Qq2k3k3v20v20m240s8 Qq2k3k3v20v20m240s9 Qq2k3k3v20v20m280s1 Qq2k3k3v20v20m280s10 Qq2k3k3v20v20m280s2 Qq2k3k3v20v20m280s3 Qq2k3k3v20v20m280s4 Qq2k3k3v20v20m280s5 Qq2k3k3v20v20m280s6 Qq2k3k3v20v20m280s7 Qq2k3k3v20v20m280s8 Qq2k3k3v20v20m280s9 Qq2k3k3v20v20m320s1 Qq2k3k3v20v20m320s10 Qq2k3k3v20v20m320s2 Qq2k3k3v20v20m320s3 Qq2k3k3v20v20m320s4 Qq2k3k3v20v20m320s5 Qq2k3k3v20v20m320s6 Qq2k3k3v20v20m320s7 Qq2k3k3v20v20m320s8 Qq2k3k3v20v20m320s9 Qq2k3k3v20v20m360s1 Qq2k3k3v20v20m360s10 Qq2k3k3v20v20m360s2 Qq2k3k3v20v20m360s3 Qq2k3k3v20v20m360s4 Qq2k3k3v20v20m360s5 Qq2k3k3v20v20m360s6 Qq2k3k3v20v20m360s7 Qq2k3k3v20v20m360s8 Qq2k3k3v20v20m360s9 Qq2k3k3v20v20m400s1 Qq2k3k3v20v20m400s10 Qq2k3k3v20v20m400s2 Qq2k3k3v20v20m400s3 Qq2k3k3v20v20m400s4 Qq2k3k3v20v20m400s5 Qq2k3k3v20v20m400s6 Qq2k3k3v20v20m400s7 Qq2k3k3v20v20m400s8 Qq2k3k3v20v20m400s9 Qq2k3k3v20v20m80s1 Qq2k3k3v20v20m80s10 Qq2k3k3v20v20m80s2 Qq2k3k3v20v20m80s3 Qq2k3k3v20v20m80s4 Qq2k3k3v20v20m80s5 Qq2k3k3v20v20m80s6 Qq2k3k3v20v20m80s7 Qq2k3k3v20v20m80s8 Qq2k3k3v20v20m80s9 Qq2k3k3v50v50m1000s1 Qq2k3k3v50v50m1000s10 Qq2k3k3v50v50m1000s2 Qq2k3k3v50v50m1000s3 Qq2k3k3v50v50m1000s4 Qq2k3k3v50v50m1000s5 Qq2k3k3v50v50m1000s6 Qq2k3k3v50v50m1000s7 Qq2k3k3v50v50m1000s8 Qq2k3k3v50v50m1000s9 Qq2k3k3v50v50m200s1 Qq2k3k3v50v50m200s10 Qq2k3k3v50v50m200s2 Qq2k3k3v50v50m200s3 Qq2k3k3v50v50m200s4 Qq2k3k3v50v50m200s5 Qq2k3k3v50v50m200s6 Qq2k3k3v50v50m200s7 Qq2k3k3v50v50m200s8 Qq2k3k3v50v50m200s9 Qq2k3k3v50v50m300s1 Qq2k3k3v50v50m300s10 Qq2k3k3v50v50m300s2 Qq2k3k3v50v50m300s3 Qq2k3k3v50v50m300s4 Qq2k3k3v50v50m300s5 Qq2k3k3v50v50m300s6 Qq2k3k3v50v50m300s7 Qq2k3k3v50v50m300s8 Qq2k3k3v50v50m300s9 Qq2k3k3v50v50m400s1 Qq2k3k3v50v50m400s10 Qq2k3k3v50v50m400s2 Qq2k3k3v50v50m400s3 Qq2k3k3v50v50m400s4 Qq2k3k3v50v50m400s5 Qq2k3k3v50v50m400s6 Qq2k3k3v50v50m400s7 Qq2k3k3v50v50m400s8 Qq2k3k3v50v50m400s9 Qq2k3k3v50v50m500s1 Qq2k3k3v50v50m500s10 Qq2k3k3v50v50m500s2 Qq2k3k3v50v50m500s3 Qq2k3k3v50v50m500s4 Qq2k3k3v50v50m500s5 Qq2k3k3v50v50m500s6 Qq2k3k3v50v50m500s7 Qq2k3k3v50v50m500s8 Qq2k3k3v50v50m500s9 Qq2k3k3v50v50m600s1 Qq2k3k3v50v50m600s10 Qq2k3k3v50v50m600s2 Qq2k3k3v50v50m600s3 Qq2k3k3v50v50m600s4 Qq2k3k3v50v50m600s5 Qq2k3k3v50v50m600s6 Qq2k3k3v50v50m600s7 Qq2k3k3v50v50m600s8 Qq2k3k3v50v50m600s9 Qq2k3k3v50v50m700s1 Qq2k3k3v50v50m700s10 Qq2k3k3v50v50m700s2 Qq2k3k3v50v50m700s3 Qq2k3k3v50v50m700s4 Qq2k3k3v50v50m700s5 Qq2k3k3v50v50m700s6 Qq2k3k3v50v50m700s7 Qq2k3k3v50v50m700s8 Qq2k3k3v50v50m700s9 Qq2k3k3v50v50m800s1 Qq2k3k3v50v50m800s10 Qq2k3k3v50v50m800s2 Qq2k3k3v50v50m800s3 Qq2k3k3v50v50m800s4 Qq2k3k3v50v50m800s5 Qq2k3k3v50v50m800s6 Qq2k3k3v50v50m800s7 Qq2k3k3v50v50m800s8 Qq2k3k3v50v50m800s9 Qq2k3k3v50v50m900s1 Qq2k3k3v50v50m900s10 Qq2k3k3v50v50m900s2 Qq2k3k3v50v50m900s3 Qq2k3k3v50v50m900s4 Qq2k3k3v50v50m900s5 Qq2k3k3v50v50m900s6 Qq2k3k3v50v50m900s7 Qq2k3k3v50v50m900s8 Qq2k3k3v50v50m900s9

The Quantified Boolean Formulas Satisfiability Library

Detail page for q2k3k3 family