Instances of family q2k3k3 solved by <a href='solver_detail.php?solver=107'>depqbf</a> <br> QBFEVAL'10

Instances of family q2k3k3 solved by depqbf
QBFEVAL'10 - Random QBFs Track.

Instance	Result	Time
Qq2k3k3v20v20m80s9	SAT	0
Qq2k3k3v20v20m80s7	SAT	0
Qq2k3k3v20v20m80s6	SAT	0.01
Qq2k3k3v20v20m80s1	SAT	0.01
Qq2k3k3v20v20m80s5	SAT	0.01
Qq2k3k3v20v20m80s3	SAT	0.01
Qq2k3k3v20v20m80s8	SAT	0.01
Qq2k3k3v20v20m80s2	SAT	0.02
Qq2k3k3v20v20m80s10	SAT	0.02
Qq2k3k3v20v20m80s4	SAT	0.02
Qq2k3k3v20v20m120s3	SAT	0.02
Qq2k3k3v20v20m400s5	UNSAT	0.03
Qq2k3k3v20v20m120s10	SAT	0.04
Qq2k3k3v20v20m120s7	SAT	0.04
Qq2k3k3v20v20m120s6	SAT	0.05
Qq2k3k3v20v20m120s5	SAT	0.06
Qq2k3k3v20v20m120s4	SAT	0.06
Qq2k3k3v20v20m120s8	SAT	0.07
Qq2k3k3v20v20m120s1	SAT	0.09
Qq2k3k3v20v20m120s9	SAT	0.1
Qq2k3k3v20v20m120s2	SAT	0.1
Qq2k3k3v20v20m400s4	UNSAT	0.11
Qq2k3k3v20v20m400s10	UNSAT	0.12
Qq2k3k3v20v20m400s6	UNSAT	0.14
Qq2k3k3v20v20m360s4	UNSAT	0.14
Qq2k3k3v20v20m400s2	UNSAT	0.17
Qq2k3k3v20v20m160s3	SAT	0.22
Qq2k3k3v20v20m160s7	SAT	0.28
Qq2k3k3v20v20m400s7	UNSAT	0.3
Qq2k3k3v20v20m160s10	SAT	0.3
Qq2k3k3v20v20m360s5	UNSAT	0.3
Qq2k3k3v20v20m160s8	SAT	0.33
Qq2k3k3v20v20m160s1	SAT	0.37
Qq2k3k3v20v20m160s4	SAT	0.4
Qq2k3k3v20v20m160s9	SAT	0.4
Qq2k3k3v20v20m160s5	SAT	0.41
Qq2k3k3v20v20m160s6	SAT	0.5
Qq2k3k3v20v20m160s2	SAT	0.51
Qq2k3k3v20v20m400s9	UNSAT	0.69
Qq2k3k3v20v20m400s1	UNSAT	0.8
Qq2k3k3v20v20m400s8	UNSAT	0.83
Qq2k3k3v20v20m200s3	SAT	0.87
Qq2k3k3v20v20m200s8	SAT	1.06
Qq2k3k3v20v20m200s7	SAT	1.18
Qq2k3k3v20v20m200s5	SAT	1.24
Qq2k3k3v20v20m360s3	UNSAT	1.46
Qq2k3k3v20v20m400s3	UNSAT	1.57
Qq2k3k3v20v20m200s4	SAT	1.58
Qq2k3k3v20v20m200s9	SAT	1.63
Qq2k3k3v20v20m200s10	SAT	1.75
Qq2k3k3v20v20m200s1	SAT	1.76
Qq2k3k3v20v20m320s4	UNSAT	1.77
Qq2k3k3v50v50m200s7	SAT	1.82
Qq2k3k3v20v20m200s2	SAT	1.85
Qq2k3k3v50v50m200s10	SAT	2.12
Qq2k3k3v20v20m200s6	SAT	2.21
Qq2k3k3v20v20m360s6	UNSAT	2.25
Qq2k3k3v20v20m240s3	SAT	3.14
Qq2k3k3v50v50m200s9	SAT	3.17
Qq2k3k3v20v20m360s1	UNSAT	3.49
Qq2k3k3v20v20m240s7	SAT	4.08
Qq2k3k3v20v20m360s9	UNSAT	4.46
Qq2k3k3v20v20m360s2	UNSAT	4.51
Qq2k3k3v20v20m320s2	UNSAT	4.56
Qq2k3k3v20v20m240s5	SAT	5.13
Qq2k3k3v20v20m240s10	SAT	5.16
Qq2k3k3v50v50m200s8	SAT	5.25
Qq2k3k3v20v20m240s8	SAT	5.43
Qq2k3k3v20v20m240s9	SAT	5.58
Qq2k3k3v20v20m360s10	UNSAT	5.82
Qq2k3k3v20v20m240s1	SAT	6
Qq2k3k3v20v20m240s2	SAT	6.82
Qq2k3k3v20v20m240s4	SAT	7.06
Qq2k3k3v50v50m200s3	SAT	7.56
Qq2k3k3v20v20m240s6	SAT	8.09
Qq2k3k3v20v20m320s6	UNSAT	9.38
Qq2k3k3v20v20m280s1	SAT	10.64
Qq2k3k3v20v20m280s7	SAT	10.97
Qq2k3k3v20v20m280s3	SAT	11.15
Qq2k3k3v20v20m280s10	SAT	13.5
Qq2k3k3v20v20m320s7	UNSAT	13.53
Qq2k3k3v20v20m280s9	SAT	15.17
Qq2k3k3v20v20m280s5	SAT	15.43
Qq2k3k3v20v20m320s9	UNSAT	16.76
Qq2k3k3v20v20m280s8	SAT	16.99
Qq2k3k3v20v20m280s6	SAT	18.76
Qq2k3k3v50v50m200s6	SAT	19.35
Qq2k3k3v20v20m280s2	SAT	19.93
Qq2k3k3v20v20m320s8	UNSAT	21.15
Qq2k3k3v20v20m280s4	SAT	21.77
Qq2k3k3v20v20m320s1	SAT	24.24
Qq2k3k3v50v50m200s4	SAT	25.61
Qq2k3k3v20v20m360s7	UNSAT	25.71
Qq2k3k3v20v20m320s3	SAT	27.45
Qq2k3k3v20v20m320s10	SAT	29
Qq2k3k3v50v50m200s1	SAT	31.53
Qq2k3k3v50v50m200s2	SAT	31.84
Qq2k3k3v20v20m320s5	SAT	32.98
Qq2k3k3v20v20m360s8	UNSAT	34.2
Qq2k3k3v50v50m200s5	SAT	67.19
Qq2k3k3v50v50m900s8	FAIL	1199.78
Qq2k3k3v100v100m600s8	FAIL	1200.04
Qq2k3k3v50v50m900s10	FAIL	1200.05
Qq2k3k3v100v100m1800s3	FAIL	1200.13
Qq2k3k3v50v50m900s9	FAIL	1200.14
Qq2k3k3v100v100m1400s10	FAIL	1200.14
Qq2k3k3v50v50m900s5	FAIL	1200.15
Qq2k3k3v50v50m600s8	FAIL	1200.16
Qq2k3k3v100v100m600s7	FAIL	1200.16
Qq2k3k3v50v50m1000s7	FAIL	1200.16
Qq2k3k3v100v100m1200s8	FAIL	1200.16
Qq2k3k3v100v100m2000s4	FAIL	1200.16
Qq2k3k3v50v50m700s9	FAIL	1200.16
Qq2k3k3v100v100m400s4	FAIL	1200.16
Qq2k3k3v50v50m500s3	FAIL	1200.16
Qq2k3k3v100v100m1400s5	FAIL	1200.16
Qq2k3k3v50v50m600s5	FAIL	1200.16
Qq2k3k3v50v50m900s2	FAIL	1200.16
Qq2k3k3v50v50m700s1	FAIL	1200.16
Qq2k3k3v100v100m600s4	FAIL	1200.16
Qq2k3k3v100v100m800s10	FAIL	1200.16
Qq2k3k3v50v50m300s9	FAIL	1200.16
Qq2k3k3v50v50m1000s1	FAIL	1200.16
Qq2k3k3v50v50m800s10	FAIL	1200.16
Qq2k3k3v50v50m900s3	FAIL	1200.16
Qq2k3k3v50v50m800s5	FAIL	1200.16
Qq2k3k3v100v100m2000s9	FAIL	1200.16
Qq2k3k3v100v100m1000s7	FAIL	1200.16
Qq2k3k3v50v50m800s6	FAIL	1200.16
Qq2k3k3v100v100m1600s5	FAIL	1200.16
Qq2k3k3v50v50m600s10	FAIL	1200.16
Qq2k3k3v50v50m300s5	FAIL	1200.16
Qq2k3k3v50v50m300s7	FAIL	1200.16
Qq2k3k3v50v50m700s5	FAIL	1200.16
Qq2k3k3v50v50m900s6	FAIL	1200.16
Qq2k3k3v50v50m600s7	FAIL	1200.16
Qq2k3k3v50v50m400s6	FAIL	1200.16
Qq2k3k3v50v50m600s2	FAIL	1200.16
Qq2k3k3v100v100m400s1	FAIL	1200.16
Qq2k3k3v50v50m700s3	FAIL	1200.16
Qq2k3k3v50v50m600s6	FAIL	1200.16
Qq2k3k3v100v100m2000s2	FAIL	1200.16
Qq2k3k3v50v50m300s10	FAIL	1200.16
Qq2k3k3v50v50m1000s5	FAIL	1200.16
Qq2k3k3v50v50m1000s9	FAIL	1200.16
Qq2k3k3v50v50m500s5	FAIL	1200.16
Qq2k3k3v100v100m1600s8	FAIL	1200.16
Qq2k3k3v50v50m500s9	FAIL	1200.16
Qq2k3k3v50v50m400s8	FAIL	1200.16
Qq2k3k3v50v50m400s4	FAIL	1200.16
Qq2k3k3v50v50m900s1	FAIL	1200.16
Qq2k3k3v100v100m600s2	FAIL	1200.16
Qq2k3k3v50v50m800s9	FAIL	1200.16
Qq2k3k3v100v100m1800s5	FAIL	1200.16
Qq2k3k3v100v100m1400s3	FAIL	1200.16
Qq2k3k3v100v100m800s5	FAIL	1200.16
Qq2k3k3v50v50m1000s4	FAIL	1200.16
Qq2k3k3v100v100m600s9	FAIL	1200.16
Qq2k3k3v50v50m700s2	FAIL	1200.16
Qq2k3k3v50v50m500s2	FAIL	1200.17
Qq2k3k3v100v100m1400s8	FAIL	1200.17
Qq2k3k3v50v50m600s1	FAIL	1200.17
Qq2k3k3v100v100m1600s3	FAIL	1200.17
Qq2k3k3v100v100m1400s4	FAIL	1200.17
Qq2k3k3v100v100m1200s1	FAIL	1200.17
Qq2k3k3v100v100m1600s10	FAIL	1200.17
Qq2k3k3v50v50m300s6	FAIL	1200.17
Qq2k3k3v50v50m500s6	FAIL	1200.17
Qq2k3k3v100v100m800s9	FAIL	1200.17
Qq2k3k3v100v100m1400s1	FAIL	1200.17
Qq2k3k3v50v50m400s2	FAIL	1200.17
Qq2k3k3v100v100m800s2	FAIL	1200.17
Qq2k3k3v50v50m700s8	FAIL	1200.17
Qq2k3k3v100v100m1200s4	FAIL	1200.17
Qq2k3k3v100v100m1000s10	FAIL	1200.17
Qq2k3k3v50v50m400s5	FAIL	1200.17
Qq2k3k3v100v100m800s6	FAIL	1200.17
Qq2k3k3v100v100m1800s10	FAIL	1200.17
Qq2k3k3v100v100m1000s4	FAIL	1200.17
Qq2k3k3v50v50m1000s2	FAIL	1200.17
Qq2k3k3v50v50m900s7	FAIL	1200.17
Qq2k3k3v50v50m300s4	FAIL	1200.17
Qq2k3k3v50v50m600s3	FAIL	1200.17
Qq2k3k3v50v50m500s7	FAIL	1200.17
Qq2k3k3v50v50m800s4	FAIL	1200.17
Qq2k3k3v100v100m1400s7	FAIL	1200.17
Qq2k3k3v100v100m400s8	FAIL	1200.17
Qq2k3k3v100v100m1800s4	FAIL	1200.17
Qq2k3k3v50v50m400s1	FAIL	1200.17
Qq2k3k3v100v100m1400s6	FAIL	1200.17
Qq2k3k3v100v100m1000s6	FAIL	1200.17
Qq2k3k3v50v50m300s1	FAIL	1200.17
Qq2k3k3v50v50m700s6	FAIL	1200.17
Qq2k3k3v50v50m300s3	FAIL	1200.17
Qq2k3k3v100v100m1600s6	FAIL	1200.17
Qq2k3k3v100v100m600s10	FAIL	1200.17
Qq2k3k3v100v100m1200s6	FAIL	1200.17
Qq2k3k3v100v100m2000s1	FAIL	1200.17
Qq2k3k3v100v100m600s3	FAIL	1200.17
Qq2k3k3v50v50m600s4	FAIL	1200.17
Qq2k3k3v100v100m400s3	FAIL	1200.17
Qq2k3k3v100v100m400s7	FAIL	1200.17
Qq2k3k3v50v50m800s2	FAIL	1200.17
Qq2k3k3v50v50m1000s10	FAIL	1200.17
Qq2k3k3v100v100m1000s8	FAIL	1200.17
Qq2k3k3v50v50m700s4	FAIL	1200.17
Qq2k3k3v100v100m1200s7	FAIL	1200.17
Qq2k3k3v100v100m2000s7	FAIL	1200.17
Qq2k3k3v100v100m1200s10	FAIL	1200.17
Qq2k3k3v50v50m900s4	FAIL	1200.17
Qq2k3k3v100v100m2000s5	FAIL	1200.17
Qq2k3k3v100v100m1600s2	FAIL	1200.17
Qq2k3k3v50v50m800s1	FAIL	1200.17
Qq2k3k3v50v50m700s10	FAIL	1200.17
Qq2k3k3v100v100m400s9	FAIL	1200.17
Qq2k3k3v50v50m500s4	FAIL	1200.17
Qq2k3k3v100v100m1200s9	FAIL	1200.17
Qq2k3k3v50v50m400s3	FAIL	1200.17
Qq2k3k3v50v50m800s7	FAIL	1200.17
Qq2k3k3v100v100m400s10	FAIL	1200.17
Qq2k3k3v100v100m1000s1	FAIL	1200.17
Qq2k3k3v100v100m600s1	FAIL	1200.17
Qq2k3k3v50v50m1000s3	FAIL	1200.17
Qq2k3k3v50v50m300s2	FAIL	1200.17
Qq2k3k3v100v100m1800s6	FAIL	1200.17
Qq2k3k3v100v100m600s6	FAIL	1200.17
Qq2k3k3v100v100m1800s2	FAIL	1200.17
Qq2k3k3v50v50m400s9	FAIL	1200.17
Qq2k3k3v100v100m1800s1	FAIL	1200.17
Qq2k3k3v100v100m800s8	FAIL	1200.17
Qq2k3k3v100v100m2000s10	FAIL	1200.17
Qq2k3k3v50v50m1000s8	FAIL	1200.17
Qq2k3k3v100v100m1200s2	FAIL	1200.17
Qq2k3k3v50v50m700s7	FAIL	1200.17
Qq2k3k3v100v100m600s5	FAIL	1200.17
Qq2k3k3v100v100m1600s1	FAIL	1200.17
Qq2k3k3v100v100m2000s6	FAIL	1200.17
Qq2k3k3v100v100m400s5	FAIL	1200.17
Qq2k3k3v100v100m800s3	FAIL	1200.17
Qq2k3k3v100v100m1000s5	FAIL	1200.17
Qq2k3k3v50v50m800s3	FAIL	1200.17
Qq2k3k3v100v100m1000s2	FAIL	1200.17
Qq2k3k3v50v50m800s8	FAIL	1200.17
Qq2k3k3v50v50m500s8	FAIL	1200.17
Qq2k3k3v100v100m1400s9	FAIL	1200.18
Qq2k3k3v100v100m1200s5	FAIL	1200.18
Qq2k3k3v100v100m1600s9	FAIL	1200.18
Qq2k3k3v100v100m1800s7	FAIL	1200.18
Qq2k3k3v100v100m1000s9	FAIL	1200.18
Qq2k3k3v50v50m500s10	FAIL	1200.18
Qq2k3k3v50v50m500s1	FAIL	1200.18
Qq2k3k3v100v100m1600s7	FAIL	1200.18
Qq2k3k3v100v100m800s7	FAIL	1200.18
Qq2k3k3v100v100m2000s3	FAIL	1200.18
Qq2k3k3v50v50m300s8	FAIL	1200.18
Qq2k3k3v50v50m600s9	FAIL	1200.18
Qq2k3k3v100v100m400s6	FAIL	1200.18
Qq2k3k3v100v100m800s1	FAIL	1200.18
Qq2k3k3v100v100m1800s8	FAIL	1200.18
Qq2k3k3v100v100m400s2	FAIL	1200.18
Qq2k3k3v50v50m400s10	FAIL	1200.18
Qq2k3k3v100v100m800s4	FAIL	1200.18
Qq2k3k3v50v50m400s7	FAIL	1200.18
Qq2k3k3v100v100m1400s2	FAIL	1200.18
Qq2k3k3v100v100m2000s8	FAIL	1200.18
Qq2k3k3v100v100m1600s4	FAIL	1200.18
Qq2k3k3v100v100m1200s3	FAIL	1200.18
Qq2k3k3v100v100m1000s3	FAIL	1200.18
Qq2k3k3v100v100m1800s9	FAIL	1200.18
Qq2k3k3v50v50m1000s6	FAIL	1200.18

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family q2k3k3 solved by depqbf
QBFEVAL'10 - Random QBFs Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family q2k3k3 solved by depqbf QBFEVAL'10 - Random QBFs Track.

Instances of family q2k3k3 solved by depqbf
QBFEVAL'10 - Random QBFs Track.