Instances solved by <a href='solver_detail.php?solver=112'>QuBE7-c</a> <br> QBFEVAL'10

Instances solved by QuBE7-c
QBFEVAL'10 - Random QBFs Track.

Instance	Result	Time
Qq2k3k3v20v20m80s8	SAT	0.01
Qq2k3k3v20v20m80s6	SAT	0.01
ncf_8_16_4_euad.1	SAT	0.01
Qq2k3k3v20v20m80s3	SAT	0.01
Qq2k3k3v20v20m80s4	SAT	0.01
ncf_8_16_4_edau.10	SAT	0.01
Qq2k3k3v20v20m80s7	SAT	0.01
Qq2k3k3v20v20m80s9	SAT	0.02
ncf_8_16_4_u.1	SAT	0.02
ncf_8_16_4_edau.5	UNSAT	0.02
ncf_8_16_4_d.5	UNSAT	0.02
ncf_8_16_4_edau.4	SAT	0.02
Qq2k3k3v20v20m80s5	SAT	0.02
ncf_8_16_4_d.1	SAT	0.02
ncf_8_16_4_d.4	SAT	0.02
ncf_8_16_4_d.6	UNSAT	0.02
Qq2k3k3v20v20m80s10	SAT	0.02
ncf_8_16_4_euad.5	UNSAT	0.02
ncf_8_16_4_d.10	SAT	0.02
ncf_8_16_4_euad.10	SAT	0.02
Qq2k3k3v20v20m80s2	SAT	0.02
ncf_8_16_4_u.5	UNSAT	0.02
Qq2k3k3v20v20m80s1	SAT	0.02
ncf_8_16_4_edau.1	SAT	0.02
ncf_8_16_4_edau.6	UNSAT	0.02
ncf_8_16_4_u.10	SAT	0.02
ncf_8_16_4_d.2	UNSAT	0.03
ncf_8_16_4_d.8	UNSAT	0.03
ncf_8_16_4_edau.8	UNSAT	0.03
ncf_8_16_4_euad.2	UNSAT	0.03
Qq2k3k3v20v20m120s3	SAT	0.03
Qq2k3k3v20v20m120s7	SAT	0.03
ncf_8_16_4_edau.2	UNSAT	0.03
ncf_8_16_4_euad.6	UNSAT	0.03
ncf_8_16_4_u.2	UNSAT	0.04
ncf_8_16_4_u.6	UNSAT	0.04
ncf_8_16_4_u.8	UNSAT	0.04
Qq2k3k3v20v20m120s10	SAT	0.04
Qq2k3k3v20v20m120s2	SAT	0.04
Qq2k3k3v20v20m400s4	UNSAT	0.04
ncf_8_16_4_euad.8	UNSAT	0.05
ncf_8_16_4_euad.4	SAT	0.05
Qq2k3k3v20v20m120s5	SAT	0.05
Qq2k3k3v20v20m360s3	UNSAT	0.05
ncf_8_16_4_u.4	SAT	0.05
Qq2k3k3v20v20m120s9	SAT	0.06
Qq2k3k3v20v20m120s8	SAT	0.06
Qq2k3k3v20v20m120s6	SAT	0.06
Qq2k3k3v20v20m120s1	SAT	0.07
Qq2k3k3v20v20m120s4	SAT	0.07
Qq2k3k3v20v20m400s10	UNSAT	0.07
Qq2k3k3v20v20m400s3	UNSAT	0.08
ncf_16_32_8_d.4	SAT	0.08
ncf_16_32_8_edau.4	SAT	0.08
Qq2k3k3v20v20m400s1	UNSAT	0.09
ncf_16_32_8_d.8	UNSAT	0.09
ncf_8_16_4_d.3	SAT	0.1
Qq2k3k3v20v20m400s6	UNSAT	0.1
ncf_16_32_8_u.4	SAT	0.1
ncf_16_32_8_euad.4	SAT	0.1
ncf_16_32_8_edau.8	UNSAT	0.1
ncf_16_32_8_edau.3	SAT	0.11
ncf_16_32_8_d.3	SAT	0.11
ncf_8_16_4_edau.3	SAT	0.11
ncf_16_32_8_d.10	SAT	0.12
ncf_16_32_8_edau.10	SAT	0.12
ncf_8_16_4_d.9	UNSAT	0.15
Qq2k3k3v20v20m160s3	SAT	0.17
Qq2k3k3v20v20m360s1	UNSAT	0.18
Qq2k3k3v20v20m400s9	UNSAT	0.22
Qq2k3k3v20v20m360s4	UNSAT	0.22
x30.5	UNSAT	0.24
Qq2k3k3v20v20m400s5	UNSAT	0.24
Qq2k3k3v20v20m160s8	SAT	0.24
x30.0	UNSAT	0.26
Qq2k3k3v20v20m160s9	SAT	0.27
ncf_16_32_8_u.3	SAT	0.27
Qq2k3k3v20v20m160s4	SAT	0.28
x30.2	UNSAT	0.3
Qq2k3k3v20v20m160s7	SAT	0.3
x30.8	UNSAT	0.3
x30.4	SAT	0.31
Qq2k3k3v20v20m160s10	SAT	0.31
x30.7	UNSAT	0.32
x30.6	SAT	0.32
x30.9	UNSAT	0.36
Qq2k3k3v50v50m200s7	SAT	0.37
Qq2k3k3v20v20m160s5	SAT	0.38
x30.3	SAT	0.38
Qq2k3k3v20v20m400s2	UNSAT	0.38
Qq2k3k3v20v20m160s1	SAT	0.38
ncf_8_16_4_edau.9	UNSAT	0.39
x30.1	UNSAT	0.4
ncf_8_16_4_d.7	SAT	0.48
Qq2k3k3v20v20m160s2	SAT	0.5
Qq2k3k3v20v20m160s6	SAT	0.51
Qq2k3k3v20v20m400s8	UNSAT	0.59
Qq2k3k3v50v50m200s10	SAT	0.65
ncf_8_16_4_euad.3	SAT	0.69
Qq2k3k3v20v20m360s6	UNSAT	0.81
ncf_8_16_4_u.3	SAT	0.86
x60.1	UNSAT	0.94
x60.8	UNSAT	1.06
Qq2k3k3v50v50m200s9	SAT	1.07
Qq2k3k3v20v20m360s2	UNSAT	1.08
x60.3	UNSAT	1.1
ncf_8_16_4_edau.7	SAT	1.14
x60.6	UNSAT	1.18
x60.4	UNSAT	1.2
Qq2k3k3v20v20m200s8	SAT	1.24
x60.5	UNSAT	1.31
Qq2k3k3v50v50m200s8	SAT	1.32
ncf_16_32_8_euad.3	SAT	1.46
x60.2	UNSAT	1.47
Qq2k3k3v20v20m200s9	SAT	1.61
T-adeu-5	UNSAT	1.66
Qq2k3k3v50v50m200s3	SAT	1.67
T-edau-5	UNSAT	1.72
x60.0	UNSAT	1.73
T-edau-6	UNSAT	1.75
T-edau-1	UNSAT	1.82
Qq2k3k3v20v20m200s3	SAT	1.87
S-edau-5	UNSAT	1.88
Qq2k3k3v20v20m200s7	SAT	1.89
S-adeu-5	UNSAT	1.9
S-edau-6	UNSAT	1.93
x60.9	UNSAT	1.97
S-edau-1	UNSAT	1.98
T-edau-0	UNSAT	1.98
T-edau-9	UNSAT	1.99
T-edau-4	UNSAT	2
T-adeu-4	UNSAT	2.01
S-adeu-4	UNSAT	2.06
T-edau-7	UNSAT	2.08
T-edau-3	UNSAT	2.12
Qq2k3k3v20v20m200s10	SAT	2.14
T-adeu-8	UNSAT	2.15
T-edau-8	UNSAT	2.17
ncf_8_16_4_u.7	SAT	2.18
S-adeu-7	UNSAT	2.22
S-edau-4	UNSAT	2.23
S-edau-9	UNSAT	2.29
S-edau-0	UNSAT	2.3
Qq2k3k3v20v20m200s1	SAT	2.3
S-adeu-8	UNSAT	2.3
S-edau-7	UNSAT	2.3
T-edau-2	UNSAT	2.32
T-adeu-7	UNSAT	2.33
Qq2k3k3v20v20m320s2	UNSAT	2.35
S-edau-3	UNSAT	2.37
S-edau-8	UNSAT	2.4
Qq2k3k3v20v20m200s4	SAT	2.4
Qq2k3k3v20v20m200s5	SAT	2.53
ncf_8_16_4_euad.9	UNSAT	2.54
S-edau-2	UNSAT	2.58
T-adeu-6	UNSAT	2.65
S-adeu-1	UNSAT	2.66
T-adeu-1	UNSAT	2.81
Qq2k3k3v50v50m200s4	SAT	2.9
S-adeu-9	UNSAT	2.9
T-adeu-0	UNSAT	2.93
T-adeu-9	UNSAT	2.99
Qq2k3k3v20v20m200s6	SAT	3.01
S-adeu-0	UNSAT	3.07
S-adeu-6	UNSAT	3.11
S-adeu-2	UNSAT	3.13
ncf_8_16_4_u.9	UNSAT	3.13
S-adeu-3	UNSAT	3.15
x60.7	UNSAT	3.17
T-adeu-2	UNSAT	3.21
Qq2k3k3v20v20m400s7	UNSAT	3.29
ncf_8_16_4_euad.7	SAT	3.38
T-adeu-3	UNSAT	3.39
Qq2k3k3v20v20m200s2	SAT	3.56
robots_1_5_2_85.2	SAT	3.84
Qq2k3k3v20v20m360s9	UNSAT	3.94
Qq2k3k3v50v50m200s6	SAT	4.52
Qq2k3k3v20v20m320s4	UNSAT	5.46
robots_1_5_4_73.2	SAT	5.57
robots_1_5_4_75.2	SAT	5.58
robots_1_5_5_75.2	SAT	5.62
Qq2k3k3v50v50m200s1	SAT	5.97
Qq2k3k3v20v20m360s10	UNSAT	6.56
Qq2k3k3v20v20m240s8	SAT	6.76
Qq2k3k3v20v20m240s9	SAT	7.09
robots_1_5_2_31.2	SAT	7.14
Qq2k3k3v20v20m240s4	SAT	7.84
Qq2k3k3v20v20m240s10	SAT	8.71
Qq2k3k3v20v20m240s7	SAT	9.02
robots_1_5_2_100.2	SAT	10
Qq2k3k3v20v20m240s5	SAT	10.55
Qq2k3k3v20v20m320s9	UNSAT	11.13
robots_1_5_4_100.2	SAT	11.4
Qq2k3k3v20v20m240s3	SAT	11.87
robots_1_5_2_33.2	SAT	12.06
robots_1_5_3_52.2	SAT	12.14
Qq2k3k3v20v20m240s1	SAT	12.18
Qq2k3k3v50v50m200s2	SAT	13.3
Qq2k3k3v20v20m240s6	SAT	13.5
robots_1_5_2_49.2	SAT	13.73
Qq2k3k3v50v50m200s5	SAT	14.14
robots_1_5_2_47.2	SAT	14.32
robots_1_5_5_56.2	SAT	14.99
robots_1_5_5_38.2	SAT	15.17
robots_1_5_5_15.2	SAT	15.24
robots_1_5_2_81.2	SAT	15.45
robots_1_5_2_85.4	SAT	16.06
Qq2k3k3v20v20m280s10	SAT	19.32
Qq2k3k3v20v20m280s4	SAT	19.33
Qq2k3k3v20v20m240s2	SAT	20.17
Qq2k3k3v20v20m280s9	SAT	20.21
x120.0	UNSAT	21.78
Qq2k3k3v20v20m320s6	UNSAT	22.43
Qq2k3k3v20v20m360s7	UNSAT	22.66
robots_1_5_3_44.4	SAT	23.45
robots_1_5_2_80.4	SAT	24.81
robots_1_5_5_24.2	SAT	24.91
robots_1_5_2_2.4	SAT	25.58
Qq2k3k3v20v20m280s7	SAT	28.37
Qq2k3k3v20v20m280s1	SAT	29.22
robots_1_5_5_61.2	SAT	29.35
ncf_16_32_8_u.7	SAT	30.07
Qq2k3k3v20v20m280s8	SAT	30.72
robots_1_5_3_100.4	SAT	31.71
robots_1_5_2_100.4	SAT	31.86
robots_1_5_2_99.4	SAT	35.4
robots_1_5_4_44.2	SAT	37.98
Qq2k3k3v20v20m280s3	SAT	38.27
Qq2k3k3v20v20m280s6	SAT	38.72
Qq2k3k3v20v20m320s7	UNSAT	38.79
Qq2k3k3v20v20m360s5	UNSAT	39.01
Qq2k3k3v20v20m280s5	SAT	41.9
Qq2k3k3v20v20m280s2	SAT	45.02
x120.7	UNSAT	47.62
robots_1_5_5_31.2	SAT	49.38
robots_1_5_4_81.2	SAT	49.42
robots_1_5_5_87.4	SAT	50.12
Qq2k3k3v20v20m320s10	SAT	53.85
robots_1_5_4_31.4	SAT	54.33
robots_1_5_4_52.2	SAT	56.83
Qq2k3k3v20v20m320s8	UNSAT	59.59
robots_1_5_4_32.2	SAT	61.76
robots_1_5_3_44.8	UNSAT	62.62
Qq2k3k3v20v20m320s1	SAT	62.72
robots_1_5_5_97.2	SAT	63.45
robots_1_5_2_28.2	SAT	63.48
robots_1_5_4_71.2	SAT	63.6
Qq2k3k3v20v20m360s8	UNSAT	64.43
Qq2k3k3v20v20m320s5	SAT	65.22
robots_1_5_5_66.4	SAT	66.04
robots_1_5_4_22.2	SAT	66.04
robots_1_5_3_100.2	SAT	66.06
robots_1_5_5_62.2	SAT	68.51
robots_1_5_4_59.2	SAT	69.06
robots_1_5_3_7.2	SAT	69.27
robots_1_5_3_91.2	SAT	71.1
robots_1_5_3_30.2	SAT	72.32
robots_1_5_5_26.4	SAT	86.41
robots_1_5_5_10.8	UNSAT	91.69
x120.4	UNSAT	93.88
robots_1_5_5_12.4	SAT	94.53
robots_1_5_3_80.2	SAT	95.08
robots_1_5_3_51.2	SAT	106.2
Qq2k3k3v20v20m320s3	SAT	107.45
robots_1_5_5_99.8	UNSAT	113.3
robots_1_5_4_17.8	UNSAT	113.66
robots_1_5_3_100.8	UNSAT	119.48
robots_1_5_3_52.4	SAT	121
robots_1_5_3_66.4	SAT	122.89
robots_1_5_3_24.4	SAT	122.9
robots_1_5_3_26.2	SAT	125.58
robots_1_5_3_20.4	SAT	126.56
ncf_16_32_8_d.5	UNSAT	131.25
robots_1_5_5_100.8	UNSAT	132.6
robots_1_5_4_100.4	SAT	132.72
robots_1_5_2_39.4	SAT	147.75
robots_1_5_3_2.4	SAT	149.75
robots_1_5_4_87.4	SAT	153.36
robots_1_5_2_21.4	SAT	159.16
robots_1_5_3_25.2	SAT	165.85
robots_1_5_3_62.2	SAT	170.15
robots_1_5_4_2.4	SAT	170.86
robots_1_5_4_30.4	SAT	182.11
robots_1_5_2_82.8	UNSAT	186.97
robots_1_5_2_9.8	UNSAT	196.87
robots_1_5_3_57.4	SAT	201
robots_1_5_5_66.8	SAT	203.4
robots_1_5_4_51.4	SAT	205.86
robots_1_5_5_100.2	SAT	206.19
robots_1_5_5_8.4	SAT	207.08
robots_1_5_5_100.4	SAT	208.38
robots_1_5_4_50.4	SAT	210.97
robots_1_5_2_3.4	SAT	212.95
robots_1_5_3_16.4	SAT	216.63
robots_1_5_5_45.4	SAT	217.24
robots_1_5_4_1.8	UNSAT	233.58
robots_1_5_4_99.8	UNSAT	234.13
robots_1_5_4_46.4	SAT	246.48
robots_1_5_3_55.8	UNSAT	248.98
ncf_16_32_8_edau.5	UNSAT	251.5
robots_1_5_5_5.8	UNSAT	254.85
ncf_16_32_8_euad.7	SAT	260.91
robots_1_5_3_8.8	UNSAT	261.53
robots_1_5_4_91.4	SAT	264.02
robots_1_5_4_98.4	SAT	264.89
robots_1_5_5_30.4	SAT	266.44
robots_1_5_3_70.8	UNSAT	281.91
robots_1_5_5_34.4	SAT	291.87
ncf_16_32_8_euad.5	UNSAT	303.8
robots_1_5_5_95.8	UNSAT	312.08
robots_1_5_4_24.8	UNSAT	347.65
robots_1_5_3_78.4	SAT	376.45
robots_1_5_4_91.8	UNSAT	395.24
robots_1_5_2_10.2	SAT	403.61
robots_1_5_4_96.8	UNSAT	414.2
robots_1_5_2_45.4	SAT	419.76
robots_1_5_5_50.8	UNSAT	421.19
robots_1_5_5_14.8	UNSAT	421.59
robots_1_5_4_46.8	UNSAT	422.66
ncf_16_32_8_u.8	UNSAT	427.14
robots_1_5_2_14.2	SAT	428.26
robots_1_5_2_61.8	UNSAT	434.53
robots_1_5_2_82.4	SAT	453.28
robots_1_5_5_93.4	SAT	476.55
robots_1_5_3_39.8	SAT	480.83
robots_1_5_5_12.8	UNSAT	523.88
robots_1_5_3_64.8	UNSAT	574.18
robots_1_5_4_56.8	UNSAT	597.09
ncf_16_32_8_d.6	SAT	658.27
x120.5	UNSAT	685
robots_1_5_4_75.8	UNSAT	734.1
ncf_16_32_8_euad.10	SAT	739.51
robots_1_5_2_75.8	SAT	776.8
robots_1_5_3_27.8	UNSAT	791.87
robots_1_5_3_90.8	UNSAT	846.12
ncf_16_32_8_euad.8	UNSAT	893.49
robots_1_5_5_33.8	UNSAT	903.67
robots_1_5_4_100.8	UNSAT	903.98
ncf_16_32_8_u.10	SAT	1002.85
Qq2k3k3v50v50m300s8	FAIL	1200.01
Qq2k3k3v50v50m700s5	FAIL	1200.01
x120.1	FAIL	1200.01
Qq2k3k3v50v50m900s6	FAIL	1200.01
Qq2k3k3v100v100m400s9	FAIL	1200.01
robots_1_5_2_54.8	FAIL	1200.01
x120.8	FAIL	1200.01
ncf_16_32_8_euad.6	FAIL	1200.01
Qq2k3k3v50v50m500s7	FAIL	1200.01
Qq2k3k3v50v50m800s1	FAIL	1200.01
Qq2k3k3v50v50m300s2	FAIL	1200.01
Qq2k3k3v50v50m300s7	FAIL	1200.01
Qq2k3k3v50v50m1000s4	FAIL	1200.01
Qq2k3k3v100v100m600s8	FAIL	1200.01
Qq2k3k3v50v50m300s10	FAIL	1200.01
Qq2k3k3v50v50m1000s6	FAIL	1200.01
ncf_16_32_8_u.5	FAIL	1200.01
robots_1_5_2_67.8	FAIL	1200.01
Qq2k3k3v50v50m800s5	FAIL	1200.01
Qq2k3k3v50v50m800s10	FAIL	1200.01
ncf_16_32_8_euad.2	FAIL	1200.01
robots_1_5_3_16.8	FAIL	1200.01
Qq2k3k3v50v50m300s6	FAIL	1200.01
x120.9	FAIL	1200.01
Qq2k3k3v50v50m700s7	FAIL	1200.01
Qq2k3k3v50v50m900s2	FAIL	1200.01
Qq2k3k3v50v50m800s7	FAIL	1200.01
ncf_16_32_8_u.1	FAIL	1200.01
Qq2k3k3v50v50m600s9	FAIL	1200.01
Qq2k3k3v50v50m600s1	FAIL	1200.01
Qq2k3k3v50v50m300s1	FAIL	1200.01
Qq2k3k3v50v50m1000s1	FAIL	1200.01
Qq2k3k3v50v50m700s2	FAIL	1200.01
Qq2k3k3v50v50m1000s8	FAIL	1200.01
Qq2k3k3v100v100m400s3	FAIL	1200.01
Qq2k3k3v50v50m900s1	FAIL	1200.01
Qq2k3k3v50v50m500s2	FAIL	1200.01
Qq2k3k3v100v100m400s10	FAIL	1200.01
Qq2k3k3v100v100m400s8	FAIL	1200.01
Qq2k3k3v100v100m1600s5	FAIL	1200.02
Qq2k3k3v100v100m600s4	FAIL	1200.02
x240.5	FAIL	1200.02
Qq2k3k3v50v50m1000s5	FAIL	1200.02
Qq2k3k3v100v100m600s9	FAIL	1200.02
Qq2k3k3v50v50m500s6	FAIL	1200.02
Qq2k3k3v50v50m900s3	FAIL	1200.02
Qq2k3k3v50v50m1000s9	FAIL	1200.02
x240.4	FAIL	1200.02
Qq2k3k3v50v50m300s3	FAIL	1200.02
Qq2k3k3v50v50m600s3	FAIL	1200.02
Qq2k3k3v50v50m700s6	FAIL	1200.02
Qq2k3k3v100v100m800s2	FAIL	1200.02
Qq2k3k3v100v100m400s5	FAIL	1200.02
Qq2k3k3v100v100m1400s9	FAIL	1200.02
x240.8	FAIL	1200.02
Qq2k3k3v50v50m700s1	FAIL	1200.02
Qq2k3k3v100v100m1000s7	FAIL	1200.02
Qq2k3k3v100v100m1800s9	FAIL	1200.02
Qq2k3k3v50v50m400s7	FAIL	1200.02
Qq2k3k3v50v50m400s6	FAIL	1200.02
Qq2k3k3v50v50m300s9	FAIL	1200.02
Qq2k3k3v50v50m500s5	FAIL	1200.02
Qq2k3k3v100v100m800s3	FAIL	1200.02
Qq2k3k3v100v100m1400s5	FAIL	1200.02
Qq2k3k3v100v100m1400s8	FAIL	1200.02
x240.6	FAIL	1200.02
Qq2k3k3v100v100m1600s2	FAIL	1200.02
Qq2k3k3v100v100m800s1	FAIL	1200.02
Qq2k3k3v100v100m800s10	FAIL	1200.02
x240.0	FAIL	1200.02
Qq2k3k3v50v50m800s8	FAIL	1200.02
Qq2k3k3v100v100m2000s4	FAIL	1200.02
robots_1_5_2_40.8	FAIL	1200.02
Qq2k3k3v100v100m600s10	FAIL	1200.02
Qq2k3k3v100v100m1400s2	FAIL	1200.02
Qq2k3k3v50v50m400s9	FAIL	1200.02
ncf_16_32_8_d.7	FAIL	1200.02
Qq2k3k3v50v50m600s10	FAIL	1200.02
ncf_16_32_8_euad.1	FAIL	1200.02
Qq2k3k3v50v50m900s8	FAIL	1200.02
Qq2k3k3v50v50m700s10	FAIL	1200.02
Qq2k3k3v100v100m1800s1	FAIL	1200.02
Qq2k3k3v50v50m500s4	FAIL	1200.02
x120.3	FAIL	1200.02
Qq2k3k3v50v50m800s4	FAIL	1200.02
x240.2	FAIL	1200.02
Qq2k3k3v50v50m800s9	FAIL	1200.02
Qq2k3k3v100v100m2000s7	FAIL	1200.02
Qq2k3k3v50v50m800s3	FAIL	1200.02
Qq2k3k3v100v100m1200s5	FAIL	1200.02
Qq2k3k3v50v50m500s10	FAIL	1200.02
Qq2k3k3v50v50m900s5	FAIL	1200.02
Qq2k3k3v50v50m900s9	FAIL	1200.02
Qq2k3k3v100v100m800s9	FAIL	1200.02
Qq2k3k3v100v100m600s6	FAIL	1200.02
Qq2k3k3v50v50m500s1	FAIL	1200.02
Qq2k3k3v100v100m800s8	FAIL	1200.02
x120.2	FAIL	1200.02
robots_1_5_2_91.8	FAIL	1200.02
Qq2k3k3v50v50m500s8	FAIL	1200.02
Qq2k3k3v100v100m400s2	FAIL	1200.02
Qq2k3k3v50v50m600s6	FAIL	1200.02
Qq2k3k3v100v100m2000s1	FAIL	1200.02
Qq2k3k3v100v100m400s7	FAIL	1200.02
Qq2k3k3v100v100m1800s10	FAIL	1200.02
Qq2k3k3v50v50m700s8	FAIL	1200.02
Qq2k3k3v100v100m1200s1	FAIL	1200.02
Qq2k3k3v50v50m600s7	FAIL	1200.02
Qq2k3k3v100v100m1000s1	FAIL	1200.02
Qq2k3k3v50v50m700s3	FAIL	1200.02
Qq2k3k3v100v100m400s6	FAIL	1200.02
Qq2k3k3v100v100m600s5	FAIL	1200.02
robots_1_5_2_100.8	FAIL	1200.02
Qq2k3k3v50v50m800s6	FAIL	1200.02
Qq2k3k3v50v50m1000s2	FAIL	1200.02
Qq2k3k3v100v100m1600s10	FAIL	1200.02
Qq2k3k3v100v100m1600s1	FAIL	1200.02
Qq2k3k3v100v100m600s1	FAIL	1200.02
Qq2k3k3v100v100m1200s9	FAIL	1200.02
Qq2k3k3v100v100m1600s8	FAIL	1200.02
Qq2k3k3v50v50m900s10	FAIL	1200.02
Qq2k3k3v50v50m400s10	FAIL	1200.02
Qq2k3k3v50v50m400s1	FAIL	1200.02
Qq2k3k3v50v50m400s3	FAIL	1200.02
Qq2k3k3v100v100m600s3	FAIL	1200.02
Qq2k3k3v100v100m1400s3	FAIL	1200.02
Qq2k3k3v100v100m1200s3	FAIL	1200.02
Qq2k3k3v50v50m400s5	FAIL	1200.02
ncf_16_32_8_u.2	FAIL	1200.02
Qq2k3k3v100v100m1800s7	FAIL	1200.02
Qq2k3k3v100v100m1600s3	FAIL	1200.02
Qq2k3k3v50v50m500s9	FAIL	1200.02
Qq2k3k3v100v100m2000s9	FAIL	1200.02
Qq2k3k3v50v50m600s4	FAIL	1200.02
Qq2k3k3v100v100m400s1	FAIL	1200.02
Qq2k3k3v100v100m1000s9	FAIL	1200.02
Qq2k3k3v100v100m800s7	FAIL	1200.02
Qq2k3k3v50v50m600s8	FAIL	1200.02
Qq2k3k3v50v50m400s2	FAIL	1200.02
Qq2k3k3v50v50m600s5	FAIL	1200.02
Qq2k3k3v100v100m1800s8	FAIL	1200.02
Qq2k3k3v100v100m1400s10	FAIL	1200.02
Qq2k3k3v50v50m400s8	FAIL	1200.02
Qq2k3k3v50v50m600s2	FAIL	1200.02
Qq2k3k3v50v50m400s4	FAIL	1200.02
Qq2k3k3v100v100m2000s8	FAIL	1200.02
Qq2k3k3v50v50m300s4	FAIL	1200.02
ncf_16_32_8_euad.9	FAIL	1200.02
ncf_16_32_8_u.6	FAIL	1200.02
Qq2k3k3v100v100m600s2	FAIL	1200.02
ncf_16_32_8_u.9	FAIL	1200.02
Qq2k3k3v100v100m2000s2	FAIL	1200.02
Qq2k3k3v100v100m1200s6	FAIL	1200.02
robots_1_5_2_32.8	FAIL	1200.02
Qq2k3k3v50v50m300s5	FAIL	1200.02
Qq2k3k3v100v100m1000s6	FAIL	1200.02
Qq2k3k3v100v100m400s4	FAIL	1200.02
Qq2k3k3v100v100m2000s5	FAIL	1200.02
Qq2k3k3v50v50m1000s10	FAIL	1200.02
Qq2k3k3v50v50m1000s3	FAIL	1200.02
Qq2k3k3v100v100m600s7	FAIL	1200.02
Qq2k3k3v50v50m800s2	FAIL	1200.02
Qq2k3k3v100v100m1000s4	FAIL	1200.02
Qq2k3k3v50v50m1000s7	FAIL	1200.02
Qq2k3k3v100v100m1000s3	FAIL	1200.02
Qq2k3k3v50v50m900s7	FAIL	1200.02
Qq2k3k3v100v100m1400s6	FAIL	1200.02
Qq2k3k3v100v100m800s4	FAIL	1200.02
Qq2k3k3v50v50m900s4	FAIL	1200.02
Qq2k3k3v100v100m1800s3	FAIL	1200.03
Qq2k3k3v100v100m1400s7	FAIL	1200.03
Qq2k3k3v100v100m800s5	FAIL	1200.03
ncf_16_32_8_d.2	FAIL	1200.03
Qq2k3k3v50v50m700s9	FAIL	1200.03
Qq2k3k3v100v100m1600s4	FAIL	1200.03
x240.1	FAIL	1200.03
x240.7	FAIL	1200.03
x240.9	FAIL	1200.03
Qq2k3k3v100v100m2000s10	FAIL	1200.03
Qq2k3k3v100v100m1600s9	FAIL	1200.03
ncf_16_32_8_d.9	FAIL	1200.03
x240.3	FAIL	1200.03
Qq2k3k3v100v100m1200s10	FAIL	1200.03
Qq2k3k3v100v100m1200s2	FAIL	1200.03
Qq2k3k3v100v100m2000s3	FAIL	1200.03
x120.6	FAIL	1200.03
ncf_16_32_8_d.1	FAIL	1200.03
Qq2k3k3v100v100m1200s4	FAIL	1200.03
Qq2k3k3v100v100m1000s2	FAIL	1200.03
Qq2k3k3v100v100m1600s7	FAIL	1200.03
Qq2k3k3v100v100m800s6	FAIL	1200.03
Qq2k3k3v100v100m1800s6	FAIL	1200.03
Qq2k3k3v100v100m1600s6	FAIL	1200.03
Qq2k3k3v100v100m1800s2	FAIL	1200.03
Qq2k3k3v100v100m1000s5	FAIL	1200.03
Qq2k3k3v100v100m1000s8	FAIL	1200.03
Qq2k3k3v50v50m700s4	FAIL	1200.03
Qq2k3k3v100v100m1800s5	FAIL	1200.03
Qq2k3k3v100v100m1400s4	FAIL	1200.03
Qq2k3k3v50v50m500s3	FAIL	1200.03
Qq2k3k3v100v100m1200s8	FAIL	1200.03
Qq2k3k3v100v100m1000s10	FAIL	1200.03
Qq2k3k3v100v100m2000s6	FAIL	1200.04
ncf_16_32_8_edau.6	FAIL	1200.04
Qq2k3k3v100v100m1200s7	FAIL	1200.04
ncf_16_32_8_edau.2	FAIL	1200.04
Qq2k3k3v100v100m1800s4	FAIL	1200.04
Qq2k3k3v100v100m1400s1	FAIL	1200.04
ncf_16_32_8_edau.9	FAIL	1200.04
ncf_16_32_8_edau.7	FAIL	1200.04
ncf_16_32_8_edau.1	FAIL	1200.06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QuBE7-c
QBFEVAL'10 - Random QBFs Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QuBE7-c QBFEVAL'10 - Random QBFs Track.

Instances solved by QuBE7-c
QBFEVAL'10 - Random QBFs Track.