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

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

Instance	Result	Time
Qq2k3k3v20v20m80s7	SAT	0
Qq2k3k3v20v20m80s9	SAT	0
ncf_8_16_4_euad.5	UNSAT	0.01
ncf_8_16_4_u.5	UNSAT	0.01
Qq2k3k3v20v20m80s1	SAT	0.01
Qq2k3k3v20v20m80s6	SAT	0.01
Qq2k3k3v20v20m80s8	SAT	0.01
ncf_8_16_4_edau.5	UNSAT	0.01
ncf_8_16_4_d.10	SAT	0.01
ncf_8_16_4_edau.1	SAT	0.01
ncf_8_16_4_d.5	UNSAT	0.01
Qq2k3k3v20v20m80s5	SAT	0.01
ncf_8_16_4_u.10	SAT	0.01
ncf_8_16_4_u.1	SAT	0.01
Qq2k3k3v20v20m80s3	SAT	0.01
ncf_8_16_4_d.8	UNSAT	0.01
Qq2k3k3v20v20m80s10	SAT	0.02
ncf_8_16_4_euad.10	SAT	0.02
Qq2k3k3v20v20m80s4	SAT	0.02
Qq2k3k3v20v20m80s2	SAT	0.02
ncf_8_16_4_euad.8	UNSAT	0.02
ncf_8_16_4_edau.8	UNSAT	0.02
ncf_8_16_4_edau.10	SAT	0.02
ncf_8_16_4_euad.1	SAT	0.02
ncf_8_16_4_d.1	SAT	0.02
ncf_8_16_4_u.2	UNSAT	0.02
Qq2k3k3v20v20m120s3	SAT	0.02
ncf_8_16_4_d.6	UNSAT	0.02
ncf_8_16_4_u.4	SAT	0.02
ncf_8_16_4_euad.6	UNSAT	0.02
ncf_8_16_4_edau.2	UNSAT	0.02
ncf_8_16_4_edau.4	SAT	0.02
ncf_8_16_4_d.2	UNSAT	0.02
ncf_8_16_4_u.8	UNSAT	0.02
ncf_8_16_4_euad.2	UNSAT	0.02
ncf_8_16_4_euad.4	SAT	0.03
Qq2k3k3v20v20m400s5	UNSAT	0.03
ncf_8_16_4_u.6	UNSAT	0.03
ncf_8_16_4_edau.6	UNSAT	0.03
ncf_8_16_4_d.4	SAT	0.03
Qq2k3k3v20v20m120s10	SAT	0.04
Qq2k3k3v20v20m120s7	SAT	0.04
ncf_8_16_4_d.9	UNSAT	0.04
ncf_8_16_4_euad.3	SAT	0.04
Qq2k3k3v20v20m120s6	SAT	0.05
ncf_8_16_4_edau.9	UNSAT	0.05
ncf_16_32_8_edau.8	UNSAT	0.06
Qq2k3k3v20v20m120s4	SAT	0.06
Qq2k3k3v20v20m120s5	SAT	0.06
ncf_16_32_8_d.8	UNSAT	0.06
Qq2k3k3v20v20m120s8	SAT	0.07
ncf_16_32_8_d.10	SAT	0.08
Qq2k3k3v20v20m120s1	SAT	0.09
Qq2k3k3v20v20m120s9	SAT	0.1
ncf_8_16_4_euad.9	UNSAT	0.1
Qq2k3k3v20v20m120s2	SAT	0.1
ncf_16_32_8_u.8	UNSAT	0.1
Qq2k3k3v20v20m400s4	UNSAT	0.11
Qq2k3k3v20v20m400s10	UNSAT	0.12
ncf_8_16_4_edau.3	SAT	0.13
ncf_8_16_4_u.9	UNSAT	0.13
Qq2k3k3v20v20m400s6	UNSAT	0.14
ncf_16_32_8_d.5	UNSAT	0.14
ncf_16_32_8_euad.8	UNSAT	0.14
ncf_16_32_8_d.4	SAT	0.14
Qq2k3k3v20v20m360s4	UNSAT	0.14
ncf_8_16_4_u.3	SAT	0.16
Qq2k3k3v20v20m400s2	UNSAT	0.17
ncf_8_16_4_d.3	SAT	0.17
ncf_16_32_8_d.3	SAT	0.18
ncf_16_32_8_edau.4	SAT	0.18
ncf_16_32_8_d.7	SAT	0.18
ncf_8_16_4_edau.7	SAT	0.19
ncf_16_32_8_euad.4	SAT	0.19
robots_1_5_2_49.2	SAT	0.2
robots_1_5_5_24.2	SAT	0.21
robots_1_5_2_85.2	SAT	0.21
Qq2k3k3v20v20m160s3	SAT	0.22
robots_1_5_2_81.2	SAT	0.22
ncf_16_32_8_d.6	SAT	0.22
robots_1_5_3_100.2	SAT	0.23
robots_1_5_3_51.2	SAT	0.24
ncf_16_32_8_u.3	SAT	0.25
ncf_16_32_8_u.4	SAT	0.26
robots_1_5_2_100.2	SAT	0.27
robots_1_5_2_47.2	SAT	0.27
robots_1_5_3_25.2	SAT	0.27
Qq2k3k3v20v20m160s7	SAT	0.28
robots_1_5_2_31.2	SAT	0.28
ncf_16_32_8_euad.5	UNSAT	0.28
robots_1_5_2_28.2	SAT	0.29
ncf_16_32_8_euad.3	SAT	0.3
Qq2k3k3v20v20m160s10	SAT	0.3
Qq2k3k3v20v20m400s7	UNSAT	0.3
Qq2k3k3v20v20m360s5	UNSAT	0.3
ncf_16_32_8_d.2	UNSAT	0.32
robots_1_5_3_52.2	SAT	0.32
Qq2k3k3v20v20m160s8	SAT	0.33
ncf_16_32_8_euad.2	UNSAT	0.34
robots_1_5_2_33.2	SAT	0.35
ncf_16_32_8_edau.6	SAT	0.35
robots_1_5_3_62.2	SAT	0.35
robots_1_5_3_26.2	SAT	0.36
Qq2k3k3v20v20m160s1	SAT	0.37
robots_1_5_2_14.2	SAT	0.37
robots_1_5_2_10.2	SAT	0.38
robots_1_5_4_81.2	SAT	0.38
robots_1_5_4_75.2	SAT	0.38
robots_1_5_5_61.2	SAT	0.39
robots_1_5_4_73.2	SAT	0.39
robots_1_5_4_44.2	SAT	0.39
robots_1_5_5_38.2	SAT	0.39
robots_1_5_5_15.2	SAT	0.39
robots_1_5_5_62.2	SAT	0.39
robots_1_5_5_56.2	SAT	0.4
robots_1_5_5_75.2	SAT	0.4
robots_1_5_4_100.2	SAT	0.4
Qq2k3k3v20v20m160s4	SAT	0.4
Qq2k3k3v20v20m160s9	SAT	0.4
Qq2k3k3v20v20m160s5	SAT	0.41
ncf_16_32_8_edau.10	SAT	0.41
robots_1_5_3_80.2	SAT	0.42
ncf_16_32_8_edau.3	SAT	0.42
robots_1_5_3_91.2	SAT	0.43
ncf_8_16_4_d.7	SAT	0.48
robots_1_5_4_71.2	SAT	0.5
Qq2k3k3v20v20m160s6	SAT	0.5
robots_1_5_5_31.2	SAT	0.51
Qq2k3k3v20v20m160s2	SAT	0.51
robots_1_5_4_32.2	SAT	0.52
robots_1_5_3_30.2	SAT	0.52
robots_1_5_5_66.4	SAT	0.52
robots_1_5_5_26.4	SAT	0.53
robots_1_5_5_97.2	SAT	0.53
ncf_16_32_8_euad.10	SAT	0.53
robots_1_5_5_100.2	SAT	0.54
robots_1_5_4_59.2	SAT	0.54
robots_1_5_3_7.2	SAT	0.54
robots_1_5_4_22.2	SAT	0.55
robots_1_5_4_52.2	SAT	0.55
x30.0	UNSAT	0.56
robots_1_5_2_21.4	SAT	0.6
robots_1_5_2_3.4	SAT	0.6
robots_1_5_2_85.4	SAT	0.63
ncf_8_16_4_u.7	SAT	0.66
Qq2k3k3v20v20m400s9	UNSAT	0.69
ncf_16_32_8_edau.5	UNSAT	0.79
Qq2k3k3v20v20m400s1	UNSAT	0.8
Qq2k3k3v20v20m400s8	UNSAT	0.83
x30.8	UNSAT	0.85
S-edau-5	UNSAT	0.86
Qq2k3k3v20v20m200s3	SAT	0.87
ncf_16_32_8_d.1	SAT	0.89
T-edau-2	UNSAT	0.9
S-edau-6	UNSAT	0.94
ncf_16_32_8_edau.2	UNSAT	1.02
S-edau-2	UNSAT	1.06
ncf_16_32_8_euad.7	SAT	1.06
Qq2k3k3v20v20m200s8	SAT	1.06
S-edau-7	UNSAT	1.12
Qq2k3k3v20v20m200s7	SAT	1.18
Qq2k3k3v20v20m200s5	SAT	1.24
ncf_16_32_8_edau.7	SAT	1.41
ncf_16_32_8_d.9	UNSAT	1.42
x30.9	UNSAT	1.43
Qq2k3k3v20v20m360s3	UNSAT	1.46
robots_1_5_5_66.8	SAT	1.5
ncf_16_32_8_u.10	SAT	1.53
x30.5	UNSAT	1.54
Qq2k3k3v20v20m400s3	UNSAT	1.57
Qq2k3k3v20v20m200s4	SAT	1.58
Qq2k3k3v20v20m200s9	SAT	1.63
Qq2k3k3v20v20m200s10	SAT	1.75
Qq2k3k3v20v20m200s1	SAT	1.76
Qq2k3k3v20v20m320s4	UNSAT	1.77
x30.4	SAT	1.77
Qq2k3k3v50v50m200s7	SAT	1.82
x30.2	UNSAT	1.84
Qq2k3k3v20v20m200s2	SAT	1.85
ncf_16_32_8_u.5	UNSAT	1.89
ncf_16_32_8_u.7	SAT	2.07
S-edau-9	UNSAT	2.11
Qq2k3k3v50v50m200s10	SAT	2.12
Qq2k3k3v20v20m200s6	SAT	2.21
S-edau-1	UNSAT	2.22
Qq2k3k3v20v20m360s6	UNSAT	2.25
S-edau-3	UNSAT	2.31
x30.6	SAT	2.38
x30.1	UNSAT	2.66
robots_1_5_3_39.8	SAT	2.7
T-adeu-4	UNSAT	2.76
S-edau-4	UNSAT	2.89
robots_1_5_2_75.8	SAT	2.95
S-edau-8	UNSAT	3.01
x30.7	UNSAT	3.02
T-adeu-8	UNSAT	3.1
Qq2k3k3v20v20m240s3	SAT	3.14
Qq2k3k3v50v50m200s9	SAT	3.17
Qq2k3k3v20v20m360s1	UNSAT	3.49
ncf_16_32_8_u.6	SAT	3.52
robots_1_5_2_100.4	SAT	3.56
S-adeu-4	UNSAT	3.96
Qq2k3k3v20v20m240s7	SAT	4.08
S-edau-0	UNSAT	4.11
T-edau-8	UNSAT	4.21
x30.3	SAT	4.26
robots_1_5_4_100.4	SAT	4.32
Qq2k3k3v20v20m360s9	UNSAT	4.46
Qq2k3k3v20v20m360s2	UNSAT	4.51
Qq2k3k3v20v20m320s2	UNSAT	4.56
robots_1_5_4_50.4	SAT	4.75
S-adeu-8	UNSAT	4.85
ncf_16_32_8_euad.6	SAT	4.96
Qq2k3k3v20v20m240s5	SAT	5.13
Qq2k3k3v20v20m240s10	SAT	5.16
robots_1_5_4_31.4	SAT	5.2
T-edau-0	UNSAT	5.23
Qq2k3k3v50v50m200s8	SAT	5.25
robots_1_5_2_2.4	SAT	5.33
robots_1_5_5_87.4	SAT	5.36
robots_1_5_3_44.4	SAT	5.39
Qq2k3k3v20v20m240s8	SAT	5.43
robots_1_5_4_30.4	SAT	5.46
Qq2k3k3v20v20m240s9	SAT	5.58
ncf_8_16_4_euad.7	SAT	5.68
Qq2k3k3v20v20m360s10	UNSAT	5.82
T-adeu-5	UNSAT	5.9
Qq2k3k3v20v20m240s1	SAT	6
robots_1_5_4_98.4	SAT	6.11
robots_1_5_3_16.4	SAT	6.45
robots_1_5_3_100.4	SAT	6.47
robots_1_5_2_45.4	SAT	6.5
robots_1_5_4_46.4	SAT	6.56
robots_1_5_2_80.4	SAT	6.58
Qq2k3k3v20v20m240s2	SAT	6.82
robots_1_5_4_87.4	SAT	6.82
Qq2k3k3v20v20m240s4	SAT	7.06
robots_1_5_2_99.4	SAT	7.26
robots_1_5_4_2.4	SAT	7.48
Qq2k3k3v50v50m200s3	SAT	7.56
robots_1_5_4_91.4	SAT	7.69
robots_1_5_5_30.4	SAT	7.78
robots_1_5_3_66.4	SAT	8
Qq2k3k3v20v20m240s6	SAT	8.09
robots_1_5_5_45.4	SAT	8.43
T-edau-4	UNSAT	8.45
robots_1_5_3_20.4	SAT	8.62
T-edau-6	UNSAT	8.72
robots_1_5_3_24.4	SAT	8.75
robots_1_5_5_34.4	SAT	9.01
robots_1_5_2_82.4	SAT	9.25
Qq2k3k3v20v20m320s6	UNSAT	9.38
robots_1_5_4_51.4	SAT	9.41
robots_1_5_3_78.4	SAT	9.69
robots_1_5_3_57.4	SAT	10.17
robots_1_5_3_2.4	SAT	10.32
robots_1_5_2_39.4	SAT	10.41
Qq2k3k3v20v20m280s1	SAT	10.64
T-edau-7	UNSAT	10.79
robots_1_5_5_100.4	SAT	10.81
robots_1_5_5_8.4	SAT	10.85
Qq2k3k3v20v20m280s7	SAT	10.97
Qq2k3k3v20v20m280s3	SAT	11.15
ncf_16_32_8_u.2	UNSAT	11.54
robots_1_5_3_52.4	SAT	11.65
robots_1_5_5_93.4	SAT	11.75
T-edau-1	UNSAT	11.76
robots_1_5_5_12.4	SAT	12.3
S-adeu-5	UNSAT	12.6
Qq2k3k3v20v20m280s10	SAT	13.5
Qq2k3k3v20v20m320s7	UNSAT	13.53
T-edau-9	UNSAT	14.4
T-edau-3	UNSAT	14.71
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
T-edau-5	UNSAT	20.66
Qq2k3k3v20v20m320s8	UNSAT	21.15
Qq2k3k3v20v20m280s4	SAT	21.77
x60.6	UNSAT	23.69
Qq2k3k3v20v20m320s1	SAT	24.24
S-adeu-7	UNSAT	25.5
Qq2k3k3v50v50m200s4	SAT	25.61
Qq2k3k3v20v20m360s7	UNSAT	25.71
Qq2k3k3v20v20m320s3	SAT	27.45
Qq2k3k3v20v20m320s10	SAT	29
Qq2k3k3v50v50m200s1	SAT	31.53
Qq2k3k3v50v50m200s2	SAT	31.84
ncf_16_32_8_euad.9	UNSAT	32.69
Qq2k3k3v20v20m320s5	SAT	32.98
Qq2k3k3v20v20m360s8	UNSAT	34.2
robots_1_5_5_33.8	UNSAT	34.39
ncf_16_32_8_euad.1	SAT	34.51
ncf_16_32_8_u.1	SAT	34.53
robots_1_5_3_44.8	UNSAT	43.22
robots_1_5_2_61.8	UNSAT	43.49
robots_1_5_3_8.8	UNSAT	44.44
T-adeu-7	UNSAT	47.04
robots_1_5_4_100.8	UNSAT	50.14
robots_1_5_3_70.8	UNSAT	56.9
robots_1_5_5_10.8	UNSAT	59.36
T-adeu-6	UNSAT	60.76
T-adeu-9	UNSAT	65.86
T-adeu-1	UNSAT	66.4
Qq2k3k3v50v50m200s5	SAT	67.19
T-adeu-2	UNSAT	71.34
robots_1_5_2_82.8	UNSAT	74.71
robots_1_5_4_17.8	UNSAT	75.59
robots_1_5_3_64.8	UNSAT	82.97
x60.4	UNSAT	86.58
robots_1_5_3_55.8	UNSAT	108.11
robots_1_5_4_91.8	UNSAT	114.19
S-adeu-9	UNSAT	114.7
ncf_16_32_8_edau.1	SAT	120.12
T-adeu-0	UNSAT	121.08
robots_1_5_4_75.8	UNSAT	150.37
S-adeu-3	UNSAT	157.96
S-adeu-1	UNSAT	176.14
S-adeu-6	UNSAT	200.41
T-adeu-3	UNSAT	202.37
S-adeu-2	UNSAT	211.7
robots_1_5_3_100.8	UNSAT	215.24
robots_1_5_3_27.8	UNSAT	222.65
robots_1_5_5_12.8	UNSAT	272.74
robots_1_5_4_1.8	UNSAT	303.24
robots_1_5_4_56.8	UNSAT	306.62
robots_1_5_2_9.8	UNSAT	323.53
robots_1_5_2_91.8	SAT	404.69
robots_1_5_4_46.8	UNSAT	412
robots_1_5_2_100.8	SAT	433.01
robots_1_5_5_14.8	UNSAT	489.59
robots_1_5_5_5.8	UNSAT	600.01
robots_1_5_3_90.8	UNSAT	674.37
S-adeu-0	UNSAT	719.75
robots_1_5_5_50.8	UNSAT	739.86
robots_1_5_5_100.8	UNSAT	881.17
ncf_16_32_8_edau.9	UNSAT	902.39
x60.8	UNSAT	990.07
Qq2k3k3v50v50m900s8	FAIL	1199.78
Qq2k3k3v100v100m600s8	FAIL	1200.04
Qq2k3k3v50v50m900s10	FAIL	1200.05
Qq2k3k3v100v100m1800s3	FAIL	1200.13
robots_1_5_4_96.8	FAIL	1200.13
Qq2k3k3v100v100m1400s10	FAIL	1200.14
Qq2k3k3v50v50m900s9	FAIL	1200.14
Qq2k3k3v50v50m900s5	FAIL	1200.15
Qq2k3k3v50v50m600s10	FAIL	1200.16
Qq2k3k3v100v100m800s5	FAIL	1200.16
Qq2k3k3v50v50m800s10	FAIL	1200.16
Qq2k3k3v100v100m1800s5	FAIL	1200.16
Qq2k3k3v100v100m2000s9	FAIL	1200.16
Qq2k3k3v100v100m2000s2	FAIL	1200.16
Qq2k3k3v50v50m700s5	FAIL	1200.16
Qq2k3k3v50v50m400s4	FAIL	1200.16
x120.6	FAIL	1200.16
Qq2k3k3v50v50m900s6	FAIL	1200.16
Qq2k3k3v50v50m500s5	FAIL	1200.16
x240.1	FAIL	1200.16
Qq2k3k3v100v100m600s7	FAIL	1200.16
Qq2k3k3v100v100m2000s4	FAIL	1200.16
Qq2k3k3v50v50m600s6	FAIL	1200.16
Qq2k3k3v50v50m600s7	FAIL	1200.16
Qq2k3k3v100v100m1600s8	FAIL	1200.16
x60.1	FAIL	1200.16
Qq2k3k3v50v50m800s5	FAIL	1200.16
Qq2k3k3v100v100m1000s7	FAIL	1200.16
Qq2k3k3v100v100m600s2	FAIL	1200.16
Qq2k3k3v50v50m700s1	FAIL	1200.16
Qq2k3k3v50v50m1000s5	FAIL	1200.16
Qq2k3k3v100v100m600s9	FAIL	1200.16
Qq2k3k3v100v100m1200s8	FAIL	1200.16
Qq2k3k3v100v100m400s4	FAIL	1200.16
Qq2k3k3v50v50m1000s7	FAIL	1200.16
Qq2k3k3v50v50m300s7	FAIL	1200.16
Qq2k3k3v50v50m1000s9	FAIL	1200.16
Qq2k3k3v50v50m900s1	FAIL	1200.16
Qq2k3k3v50v50m1000s4	FAIL	1200.16
Qq2k3k3v50v50m800s6	FAIL	1200.16
Qq2k3k3v100v100m600s4	FAIL	1200.16
Qq2k3k3v50v50m300s5	FAIL	1200.16
Qq2k3k3v50v50m700s9	FAIL	1200.16
Qq2k3k3v50v50m600s8	FAIL	1200.16
Qq2k3k3v100v100m800s10	FAIL	1200.16
Qq2k3k3v50v50m400s6	FAIL	1200.16
Qq2k3k3v100v100m1600s5	FAIL	1200.16
Qq2k3k3v50v50m700s3	FAIL	1200.16
Qq2k3k3v50v50m900s2	FAIL	1200.16
Qq2k3k3v50v50m300s10	FAIL	1200.16
Qq2k3k3v100v100m1400s5	FAIL	1200.16
Qq2k3k3v50v50m300s9	FAIL	1200.16
Qq2k3k3v100v100m1400s3	FAIL	1200.16
Qq2k3k3v50v50m500s9	FAIL	1200.16
Qq2k3k3v50v50m500s3	FAIL	1200.16
Qq2k3k3v50v50m700s2	FAIL	1200.16
Qq2k3k3v50v50m600s2	FAIL	1200.16
Qq2k3k3v50v50m900s3	FAIL	1200.16
Qq2k3k3v50v50m400s8	FAIL	1200.16
Qq2k3k3v50v50m600s5	FAIL	1200.16
Qq2k3k3v50v50m800s9	FAIL	1200.16
Qq2k3k3v50v50m1000s1	FAIL	1200.16
Qq2k3k3v100v100m400s1	FAIL	1200.16
Qq2k3k3v100v100m1400s8	FAIL	1200.17
robots_1_5_2_67.8	FAIL	1200.17
Qq2k3k3v100v100m1000s5	FAIL	1200.17
Qq2k3k3v100v100m800s9	FAIL	1200.17
Qq2k3k3v50v50m500s6	FAIL	1200.17
Qq2k3k3v50v50m700s4	FAIL	1200.17
Qq2k3k3v50v50m700s6	FAIL	1200.17
Qq2k3k3v100v100m800s2	FAIL	1200.17
x60.5	FAIL	1200.17
Qq2k3k3v100v100m2000s10	FAIL	1200.17
x60.3	FAIL	1200.17
Qq2k3k3v100v100m1000s10	FAIL	1200.17
robots_1_5_2_40.8	FAIL	1200.17
x60.7	FAIL	1200.17
Qq2k3k3v50v50m600s3	FAIL	1200.17
Qq2k3k3v50v50m300s3	FAIL	1200.17
x60.2	FAIL	1200.17
robots_1_5_4_24.8	FAIL	1200.17
Qq2k3k3v100v100m2000s7	FAIL	1200.17
x240.3	FAIL	1200.17
Qq2k3k3v50v50m500s4	FAIL	1200.17
x120.0	FAIL	1200.17
Qq2k3k3v50v50m800s8	FAIL	1200.17
Qq2k3k3v50v50m500s8	FAIL	1200.17
Qq2k3k3v100v100m1800s1	FAIL	1200.17
x120.9	FAIL	1200.17
Qq2k3k3v100v100m600s10	FAIL	1200.17
x120.8	FAIL	1200.17
Qq2k3k3v50v50m400s9	FAIL	1200.17
Qq2k3k3v50v50m700s10	FAIL	1200.17
x120.2	FAIL	1200.17
Qq2k3k3v100v100m800s8	FAIL	1200.17
x240.4	FAIL	1200.17
Qq2k3k3v100v100m1800s2	FAIL	1200.17
x60.0	FAIL	1200.17
robots_1_5_3_16.8	FAIL	1200.17
Qq2k3k3v50v50m800s1	FAIL	1200.17
Qq2k3k3v100v100m1800s6	FAIL	1200.17
Qq2k3k3v50v50m800s3	FAIL	1200.17
Qq2k3k3v50v50m500s7	FAIL	1200.17
Qq2k3k3v50v50m800s4	FAIL	1200.17
Qq2k3k3v100v100m1600s6	FAIL	1200.17
Qq2k3k3v100v100m1400s1	FAIL	1200.17
Qq2k3k3v100v100m600s6	FAIL	1200.17
Qq2k3k3v100v100m1000s2	FAIL	1200.17
x240.7	FAIL	1200.17
x120.3	FAIL	1200.17
x60.9	FAIL	1200.17
Qq2k3k3v100v100m400s10	FAIL	1200.17
Qq2k3k3v100v100m600s1	FAIL	1200.17
Qq2k3k3v100v100m1600s1	FAIL	1200.17
Qq2k3k3v100v100m1600s10	FAIL	1200.17
Qq2k3k3v100v100m1400s7	FAIL	1200.17
Qq2k3k3v50v50m1000s2	FAIL	1200.17
Qq2k3k3v50v50m400s5	FAIL	1200.17
Qq2k3k3v50v50m600s4	FAIL	1200.17
Qq2k3k3v50v50m1000s3	FAIL	1200.17
Qq2k3k3v50v50m600s1	FAIL	1200.17
Qq2k3k3v50v50m800s7	FAIL	1200.17
Qq2k3k3v50v50m900s7	FAIL	1200.17
Qq2k3k3v100v100m1400s6	FAIL	1200.17
Qq2k3k3v50v50m900s4	FAIL	1200.17
Qq2k3k3v100v100m2000s6	FAIL	1200.17
Qq2k3k3v50v50m300s6	FAIL	1200.17
Qq2k3k3v100v100m1200s10	FAIL	1200.17
Qq2k3k3v100v100m800s6	FAIL	1200.17
Qq2k3k3v100v100m1000s4	FAIL	1200.17
Qq2k3k3v100v100m1200s2	FAIL	1200.17
Qq2k3k3v100v100m1800s4	FAIL	1200.17
Qq2k3k3v100v100m400s3	FAIL	1200.17
x120.7	FAIL	1200.17
Qq2k3k3v50v50m700s7	FAIL	1200.17
Qq2k3k3v100v100m1400s4	FAIL	1200.17
Qq2k3k3v50v50m400s1	FAIL	1200.17
Qq2k3k3v100v100m1000s1	FAIL	1200.17
Qq2k3k3v100v100m1200s1	FAIL	1200.17
Qq2k3k3v100v100m1800s10	FAIL	1200.17
Qq2k3k3v100v100m1600s3	FAIL	1200.17
Qq2k3k3v100v100m400s7	FAIL	1200.17
Qq2k3k3v50v50m1000s8	FAIL	1200.17
Qq2k3k3v100v100m600s5	FAIL	1200.17
Qq2k3k3v100v100m600s3	FAIL	1200.17
Qq2k3k3v100v100m400s8	FAIL	1200.17
Qq2k3k3v100v100m1200s4	FAIL	1200.17
Qq2k3k3v50v50m400s2	FAIL	1200.17
Qq2k3k3v100v100m400s5	FAIL	1200.17
Qq2k3k3v50v50m300s2	FAIL	1200.17
Qq2k3k3v100v100m1200s9	FAIL	1200.17
Qq2k3k3v100v100m1000s6	FAIL	1200.17
Qq2k3k3v100v100m1200s7	FAIL	1200.17
Qq2k3k3v100v100m400s9	FAIL	1200.17
Qq2k3k3v50v50m300s4	FAIL	1200.17
Qq2k3k3v100v100m1600s2	FAIL	1200.17
Qq2k3k3v100v100m2000s5	FAIL	1200.17
Qq2k3k3v100v100m1000s8	FAIL	1200.17
Qq2k3k3v100v100m1200s6	FAIL	1200.17
Qq2k3k3v50v50m1000s10	FAIL	1200.17
Qq2k3k3v50v50m300s1	FAIL	1200.17
Qq2k3k3v100v100m800s3	FAIL	1200.17
Qq2k3k3v50v50m800s2	FAIL	1200.17
Qq2k3k3v50v50m500s2	FAIL	1200.17
Qq2k3k3v50v50m700s8	FAIL	1200.17
Qq2k3k3v50v50m400s3	FAIL	1200.17
Qq2k3k3v100v100m2000s1	FAIL	1200.17
Qq2k3k3v100v100m2000s8	FAIL	1200.18
Qq2k3k3v100v100m1400s9	FAIL	1200.18
Qq2k3k3v100v100m1000s9	FAIL	1200.18
robots_1_5_2_54.8	FAIL	1200.18
robots_1_5_5_95.8	FAIL	1200.18
Qq2k3k3v50v50m600s9	FAIL	1200.18
Qq2k3k3v100v100m1200s3	FAIL	1200.18
Qq2k3k3v100v100m1600s9	FAIL	1200.18
Qq2k3k3v50v50m400s7	FAIL	1200.18
Qq2k3k3v50v50m1000s6	FAIL	1200.18
Qq2k3k3v100v100m1800s9	FAIL	1200.18
x240.0	FAIL	1200.18
robots_1_5_5_99.8	FAIL	1200.18
Qq2k3k3v100v100m800s1	FAIL	1200.18
robots_1_5_2_32.8	FAIL	1200.18
Qq2k3k3v100v100m800s7	FAIL	1200.18
Qq2k3k3v50v50m400s10	FAIL	1200.18
Qq2k3k3v100v100m400s2	FAIL	1200.18
Qq2k3k3v100v100m1600s4	FAIL	1200.18
Qq2k3k3v100v100m1400s2	FAIL	1200.18
Qq2k3k3v100v100m1200s5	FAIL	1200.18
Qq2k3k3v50v50m500s10	FAIL	1200.18
x240.9	FAIL	1200.18
x240.2	FAIL	1200.18
Qq2k3k3v100v100m800s4	FAIL	1200.18
x240.8	FAIL	1200.18
Qq2k3k3v50v50m500s1	FAIL	1200.18
x240.5	FAIL	1200.18
Qq2k3k3v100v100m400s6	FAIL	1200.18
Qq2k3k3v100v100m1600s7	FAIL	1200.18
Qq2k3k3v100v100m1800s7	FAIL	1200.18
Qq2k3k3v100v100m1000s3	FAIL	1200.18
robots_1_5_4_99.8	FAIL	1200.18
Qq2k3k3v100v100m1800s8	FAIL	1200.18
x120.1	FAIL	1200.18
Qq2k3k3v50v50m300s8	FAIL	1200.18
x240.6	FAIL	1200.18
x120.4	FAIL	1200.18
x120.5	FAIL	1200.18
Qq2k3k3v100v100m2000s3	FAIL	1200.18
ncf_16_32_8_u.9	FAIL	1200.19

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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