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

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

Instance	Result	Time
Qq2k3k3v20v20m80s1	SAT	0.01
ncf_8_16_4_edau.1	SAT	0.01
Qq2k3k3v20v20m80s8	SAT	0.01
ncf_8_16_4_edau.4	SAT	0.01
Qq2k3k3v20v20m80s4	SAT	0.01
ncf_8_16_4_edau.5	UNSAT	0.02
ncf_8_16_4_edau.10	SAT	0.02
Qq2k3k3v20v20m80s6	SAT	0.02
Qq2k3k3v20v20m80s2	SAT	0.02
ncf_8_16_4_d.10	SAT	0.02
ncf_8_16_4_u.1	SAT	0.02
ncf_8_16_4_d.4	SAT	0.02
Qq2k3k3v20v20m80s5	SAT	0.02
Qq2k3k3v20v20m80s3	SAT	0.02
Qq2k3k3v20v20m80s9	SAT	0.02
ncf_8_16_4_euad.1	SAT	0.02
ncf_8_16_4_euad.5	UNSAT	0.02
ncf_8_16_4_d.1	SAT	0.02
ncf_8_16_4_euad.10	SAT	0.02
ncf_8_16_4_u.5	UNSAT	0.02
Qq2k3k3v20v20m120s3	SAT	0.02
ncf_8_16_4_u.10	SAT	0.02
Qq2k3k3v20v20m80s7	SAT	0.02
ncf_8_16_4_d.5	UNSAT	0.02
ncf_8_16_4_edau.6	UNSAT	0.03
ncf_8_16_4_d.6	UNSAT	0.03
ncf_8_16_4_u.6	UNSAT	0.03
Qq2k3k3v20v20m80s10	SAT	0.03
ncf_8_16_4_euad.2	UNSAT	0.03
ncf_8_16_4_u.2	UNSAT	0.03
ncf_8_16_4_edau.2	UNSAT	0.03
ncf_8_16_4_u.8	UNSAT	0.03
ncf_8_16_4_d.8	UNSAT	0.03
ncf_8_16_4_edau.8	UNSAT	0.04
ncf_8_16_4_euad.6	UNSAT	0.04
Qq2k3k3v20v20m120s10	SAT	0.04
ncf_8_16_4_euad.4	SAT	0.04
Qq2k3k3v20v20m400s4	UNSAT	0.04
Qq2k3k3v20v20m120s7	SAT	0.04
ncf_8_16_4_d.2	UNSAT	0.04
ncf_8_16_4_euad.8	UNSAT	0.04
Qq2k3k3v20v20m120s5	SAT	0.04
Qq2k3k3v20v20m120s2	SAT	0.04
ncf_8_16_4_u.4	SAT	0.05
Qq2k3k3v20v20m360s3	UNSAT	0.05
Qq2k3k3v20v20m120s9	SAT	0.05
Qq2k3k3v20v20m400s3	UNSAT	0.06
Qq2k3k3v20v20m120s6	SAT	0.06
Qq2k3k3v20v20m120s8	SAT	0.06
Qq2k3k3v20v20m120s4	SAT	0.06
Qq2k3k3v20v20m400s10	UNSAT	0.07
Qq2k3k3v20v20m120s1	SAT	0.07
Qq2k3k3v20v20m400s1	UNSAT	0.08
ncf_8_16_4_d.3	SAT	0.08
Qq2k3k3v20v20m400s6	UNSAT	0.09
ncf_16_32_8_edau.4	SAT	0.09
ncf_16_32_8_d.4	SAT	0.09
ncf_16_32_8_euad.4	SAT	0.1
ncf_16_32_8_u.4	SAT	0.1
ncf_16_32_8_edau.3	SAT	0.1
ncf_16_32_8_d.8	UNSAT	0.1
ncf_16_32_8_d.3	SAT	0.11
ncf_16_32_8_edau.8	UNSAT	0.11
ncf_16_32_8_d.10	SAT	0.11
ncf_16_32_8_edau.10	SAT	0.11
ncf_8_16_4_edau.3	SAT	0.11
ncf_8_16_4_d.9	UNSAT	0.14
Qq2k3k3v20v20m160s3	SAT	0.17
Qq2k3k3v20v20m360s1	UNSAT	0.19
Qq2k3k3v20v20m400s9	UNSAT	0.21
Qq2k3k3v20v20m360s4	UNSAT	0.22
Qq2k3k3v20v20m160s8	SAT	0.24
Qq2k3k3v20v20m400s2	UNSAT	0.25
x30.5	UNSAT	0.25
Qq2k3k3v20v20m400s5	UNSAT	0.26
x30.0	UNSAT	0.26
ncf_16_32_8_u.3	SAT	0.29
ncf_8_16_4_d.7	SAT	0.29
Qq2k3k3v20v20m160s9	SAT	0.29
x30.2	UNSAT	0.3
Qq2k3k3v20v20m160s7	SAT	0.31
Qq2k3k3v20v20m160s10	SAT	0.31
x30.9	UNSAT	0.32
x30.8	UNSAT	0.32
x30.4	SAT	0.32
x30.7	UNSAT	0.33
x30.6	SAT	0.34
Qq2k3k3v20v20m160s5	SAT	0.36
Qq2k3k3v20v20m160s4	SAT	0.37
ncf_8_16_4_edau.9	UNSAT	0.38
x30.3	SAT	0.39
x30.1	UNSAT	0.42
Qq2k3k3v20v20m160s1	SAT	0.45
Qq2k3k3v50v50m200s7	SAT	0.49
Qq2k3k3v50v50m200s10	SAT	0.61
Qq2k3k3v20v20m160s2	SAT	0.62
Qq2k3k3v20v20m400s8	UNSAT	0.69
Qq2k3k3v20v20m160s6	SAT	0.74
Qq2k3k3v20v20m360s6	UNSAT	0.84
ncf_8_16_4_u.3	SAT	0.88
x60.1	UNSAT	0.95
ncf_8_16_4_euad.3	SAT	0.98
ncf_8_16_4_edau.7	SAT	1.04
Qq2k3k3v20v20m360s2	UNSAT	1.1
Qq2k3k3v20v20m200s8	SAT	1.11
x60.3	UNSAT	1.12
x60.8	UNSAT	1.13
Qq2k3k3v50v50m200s8	SAT	1.14
x60.6	UNSAT	1.15
Qq2k3k3v50v50m200s9	SAT	1.16
x60.5	UNSAT	1.29
x60.0	UNSAT	1.44
x60.2	UNSAT	1.5
ncf_16_32_8_euad.3	SAT	1.51
x60.4	UNSAT	1.66
Qq2k3k3v20v20m200s7	SAT	1.69
T-edau-5	UNSAT	1.72
x60.9	UNSAT	1.78
T-edau-6	UNSAT	1.82
T-edau-1	UNSAT	1.88
T-adeu-5	UNSAT	1.91
S-edau-5	UNSAT	1.93
Qq2k3k3v20v20m200s3	SAT	1.96
Qq2k3k3v50v50m200s3	SAT	1.98
ncf_16_32_8_euad.7	SAT	1.99
S-edau-6	UNSAT	2.01
S-edau-1	UNSAT	2.06
S-adeu-5	UNSAT	2.06
T-edau-0	UNSAT	2.06
T-edau-4	UNSAT	2.07
T-edau-9	UNSAT	2.07
T-edau-7	UNSAT	2.1
S-adeu-4	UNSAT	2.12
T-adeu-4	UNSAT	2.12
T-adeu-7	UNSAT	2.15
T-edau-3	UNSAT	2.18
T-edau-8	UNSAT	2.22
T-adeu-8	UNSAT	2.23
S-adeu-7	UNSAT	2.25
S-edau-4	UNSAT	2.28
ncf_8_16_4_u.7	SAT	2.3
S-edau-7	UNSAT	2.32
S-edau-9	UNSAT	2.32
S-adeu-8	UNSAT	2.33
T-edau-2	UNSAT	2.38
S-edau-0	UNSAT	2.38
Qq2k3k3v20v20m200s9	SAT	2.4
S-edau-3	UNSAT	2.43
Qq2k3k3v50v50m200s4	SAT	2.44
S-edau-8	UNSAT	2.46
ncf_8_16_4_u.9	UNSAT	2.51
Qq2k3k3v20v20m200s4	SAT	2.52
Qq2k3k3v20v20m320s2	UNSAT	2.61
S-edau-2	UNSAT	2.66
Qq2k3k3v20v20m200s5	SAT	2.71
S-adeu-1	UNSAT	2.82
x60.7	UNSAT	2.89
ncf_8_16_4_euad.9	UNSAT	2.95
Qq2k3k3v20v20m200s10	SAT	3
Qq2k3k3v20v20m200s1	SAT	3
T-adeu-6	UNSAT	3.27
T-adeu-1	UNSAT	3.3
T-adeu-9	UNSAT	3.3
S-adeu-3	UNSAT	3.32
Qq2k3k3v20v20m400s7	UNSAT	3.34
S-adeu-9	UNSAT	3.42
S-adeu-0	UNSAT	3.45
S-adeu-6	UNSAT	3.46
T-adeu-0	UNSAT	3.54
S-adeu-2	UNSAT	3.66
Qq2k3k3v50v50m200s6	SAT	3.76
robots_1_5_2_85.2	SAT	3.81
ncf_8_16_4_euad.7	SAT	3.84
T-adeu-3	UNSAT	3.92
Qq2k3k3v20v20m200s6	SAT	4
T-adeu-2	UNSAT	4.02
Qq2k3k3v20v20m200s2	SAT	4.18
Qq2k3k3v20v20m360s9	UNSAT	4.53
Qq2k3k3v50v50m200s1	SAT	4.99
robots_1_5_4_73.2	SAT	5.45
robots_1_5_5_75.2	SAT	5.52
Qq2k3k3v20v20m320s4	UNSAT	5.53
robots_1_5_4_75.2	SAT	5.59
robots_1_5_2_31.2	SAT	7.07
Qq2k3k3v20v20m360s10	UNSAT	7.24
Qq2k3k3v20v20m240s9	SAT	8.77
robots_1_5_2_100.2	SAT	10.01
Qq2k3k3v20v20m240s8	SAT	10.54
x120.4	UNSAT	11.09
Qq2k3k3v20v20m240s4	SAT	11.21
robots_1_5_4_100.2	SAT	11.31
Qq2k3k3v20v20m240s5	SAT	11.84
robots_1_5_2_33.2	SAT	12.07
robots_1_5_3_52.2	SAT	12.08
x120.1	UNSAT	12.11
Qq2k3k3v20v20m240s10	SAT	12.71
Qq2k3k3v20v20m240s7	SAT	12.75
Qq2k3k3v20v20m320s9	UNSAT	12.91
robots_1_5_2_49.2	SAT	13.73
Qq2k3k3v50v50m200s5	SAT	13.88
Qq2k3k3v20v20m360s7	UNSAT	13.89
Qq2k3k3v20v20m240s3	SAT	13.99
robots_1_5_2_47.2	SAT	14.16
robots_1_5_5_38.2	SAT	15.13
robots_1_5_5_15.2	SAT	15.22
robots_1_5_5_56.2	SAT	15.31
Qq2k3k3v20v20m240s1	SAT	15.41
robots_1_5_2_81.2	SAT	15.46
Qq2k3k3v50v50m200s2	SAT	15.63
robots_1_5_2_85.4	SAT	15.89
Qq2k3k3v20v20m320s6	UNSAT	21.75
Qq2k3k3v20v20m240s2	SAT	22.52
robots_1_5_3_44.4	SAT	23.3
robots_1_5_2_80.4	SAT	25
Qq2k3k3v20v20m240s6	SAT	25.25
robots_1_5_5_24.2	SAT	25.26
Qq2k3k3v20v20m280s10	SAT	25.76
robots_1_5_2_2.4	SAT	25.87
x120.0	UNSAT	26.52
robots_1_5_5_61.2	SAT	29.65
Qq2k3k3v20v20m280s4	SAT	31
robots_1_5_3_100.4	SAT	31.72
Qq2k3k3v20v20m280s5	SAT	31.78
robots_1_5_2_100.4	SAT	32.01
Qq2k3k3v20v20m280s8	SAT	33.16
Qq2k3k3v20v20m280s7	SAT	33.45
Qq2k3k3v20v20m280s9	SAT	34.56
robots_1_5_2_99.4	SAT	35.31
robots_1_5_4_44.2	SAT	37.74
Qq2k3k3v20v20m280s1	SAT	43.05
robots_1_5_5_31.2	SAT	48.41
Qq2k3k3v20v20m280s3	SAT	48.68
robots_1_5_4_81.2	SAT	49.64
ncf_16_32_8_u.7	SAT	49.88
Qq2k3k3v20v20m280s6	SAT	49.91
robots_1_5_5_87.4	SAT	50.14
Qq2k3k3v20v20m320s8	UNSAT	50.21
Qq2k3k3v20v20m280s2	SAT	51.76
robots_1_5_4_31.4	SAT	54.5
robots_1_5_4_52.2	SAT	57.86
Qq2k3k3v20v20m320s7	UNSAT	57.99
robots_1_5_4_32.2	SAT	62.5
robots_1_5_2_28.2	SAT	63.19
robots_1_5_5_97.2	SAT	63.7
Qq2k3k3v20v20m360s5	UNSAT	63.72
robots_1_5_4_71.2	SAT	64.13
Qq2k3k3v20v20m320s10	SAT	65.07
robots_1_5_3_100.2	SAT	65.86
robots_1_5_5_66.4	SAT	65.95
robots_1_5_4_22.2	SAT	66.17
robots_1_5_3_44.8	UNSAT	67.05
robots_1_5_5_62.2	SAT	67.77
robots_1_5_3_7.2	SAT	68.15
Qq2k3k3v20v20m320s5	SAT	69.15
robots_1_5_3_91.2	SAT	70.88
robots_1_5_4_59.2	SAT	71.12
robots_1_5_3_30.2	SAT	71.78
Qq2k3k3v20v20m320s1	SAT	75.83
Qq2k3k3v20v20m360s8	UNSAT	84.58
x120.7	UNSAT	84.94
robots_1_5_5_26.4	SAT	85.91
robots_1_5_5_12.4	SAT	94.02
robots_1_5_3_80.2	SAT	95.98
ncf_16_32_8_d.5	UNSAT	96.23
robots_1_5_3_51.2	SAT	103.79
robots_1_5_3_100.8	UNSAT	110.19
robots_1_5_5_10.8	UNSAT	110.99
robots_1_5_3_52.4	SAT	120.41
robots_1_5_3_24.4	SAT	123.44
robots_1_5_3_66.4	SAT	124.25
robots_1_5_3_20.4	SAT	125.91
robots_1_5_5_99.8	UNSAT	125.98
robots_1_5_3_26.2	SAT	129.27
robots_1_5_4_17.8	UNSAT	132.28
robots_1_5_5_100.8	UNSAT	132.35
robots_1_5_4_100.4	SAT	133.17
Qq2k3k3v20v20m320s3	SAT	138.28
x120.2	UNSAT	144.83
robots_1_5_4_87.4	SAT	148.14
robots_1_5_2_39.4	SAT	150.39
robots_1_5_3_2.4	SAT	151.47
robots_1_5_2_21.4	SAT	158.8
robots_1_5_3_25.2	SAT	168.42
robots_1_5_4_2.4	SAT	174.75
robots_1_5_3_62.2	SAT	175.04
robots_1_5_4_30.4	SAT	186.17
robots_1_5_2_82.8	UNSAT	187.32
robots_1_5_3_57.4	SAT	200.66
robots_1_5_5_66.8	SAT	200.99
robots_1_5_4_51.4	SAT	206.64
robots_1_5_5_100.4	SAT	209.02
robots_1_5_4_50.4	SAT	210.03
robots_1_5_5_8.4	SAT	210.03
robots_1_5_5_100.2	SAT	210.26
robots_1_5_2_3.4	SAT	212.92
robots_1_5_3_16.4	SAT	217.01
robots_1_5_5_45.4	SAT	222.09
robots_1_5_4_99.8	UNSAT	243.43
robots_1_5_2_9.8	UNSAT	244.42
robots_1_5_4_46.4	SAT	248.67
robots_1_5_3_8.8	UNSAT	259.09
ncf_16_32_8_edau.5	UNSAT	259.93
robots_1_5_4_98.4	SAT	260.34
robots_1_5_4_91.4	SAT	263.56
robots_1_5_3_55.8	UNSAT	263.94
robots_1_5_5_30.4	SAT	268.98
robots_1_5_4_1.8	UNSAT	272.11
robots_1_5_5_5.8	UNSAT	276.3
robots_1_5_3_70.8	UNSAT	282.57
robots_1_5_5_34.4	SAT	284.53
robots_1_5_5_95.8	UNSAT	311.4
ncf_16_32_8_u.8	UNSAT	315.2
robots_1_5_4_96.8	UNSAT	335.37
robots_1_5_4_24.8	UNSAT	365.22
robots_1_5_3_39.8	SAT	369.43
robots_1_5_3_78.4	SAT	373.86
robots_1_5_4_46.8	UNSAT	389.08
robots_1_5_4_91.8	UNSAT	393.17
robots_1_5_5_14.8	UNSAT	395.12
robots_1_5_2_10.2	SAT	407.98
robots_1_5_2_45.4	SAT	417.06
robots_1_5_2_14.2	SAT	425.32
robots_1_5_5_50.8	UNSAT	427.86
robots_1_5_2_61.8	UNSAT	428.77
robots_1_5_2_82.4	SAT	453.5
robots_1_5_5_93.4	SAT	470
ncf_16_32_8_d.6	SAT	510.1
robots_1_5_3_64.8	UNSAT	533.67
robots_1_5_5_12.8	UNSAT	540.86
robots_1_5_4_56.8	UNSAT	596.8
x120.5	UNSAT	697.97
robots_1_5_2_75.8	SAT	706.92
robots_1_5_4_75.8	UNSAT	725.08
robots_1_5_3_27.8	UNSAT	833.07
robots_1_5_3_90.8	UNSAT	845.38
robots_1_5_5_33.8	UNSAT	901.32
robots_1_5_4_100.8	UNSAT	901.76
robots_1_5_2_54.8	SAT	980.35
ncf_16_32_8_euad.8	UNSAT	997.73
ncf_16_32_8_u.10	SAT	1142.77
Qq2k3k3v50v50m700s8	FAIL	1200.01
Qq2k3k3v50v50m500s4	FAIL	1200.01
robots_1_5_2_91.8	FAIL	1200.01
Qq2k3k3v50v50m800s2	FAIL	1200.01
Qq2k3k3v50v50m1000s3	FAIL	1200.01
ncf_16_32_8_euad.2	FAIL	1200.01
Qq2k3k3v50v50m1000s7	FAIL	1200.01
Qq2k3k3v50v50m900s7	FAIL	1200.01
Qq2k3k3v50v50m600s3	FAIL	1200.01
Qq2k3k3v50v50m400s6	FAIL	1200.01
Qq2k3k3v100v100m400s7	FAIL	1200.01
Qq2k3k3v50v50m300s6	FAIL	1200.01
Qq2k3k3v50v50m300s8	FAIL	1200.01
Qq2k3k3v50v50m700s1	FAIL	1200.01
Qq2k3k3v50v50m1000s2	FAIL	1200.01
Qq2k3k3v50v50m400s7	FAIL	1200.01
Qq2k3k3v50v50m300s10	FAIL	1200.01
Qq2k3k3v50v50m300s2	FAIL	1200.01
ncf_16_32_8_d.7	FAIL	1200.01
Qq2k3k3v50v50m900s4	FAIL	1200.01
Qq2k3k3v50v50m700s9	FAIL	1200.01
Qq2k3k3v100v100m400s4	FAIL	1200.01
Qq2k3k3v50v50m400s5	FAIL	1200.01
Qq2k3k3v50v50m600s2	FAIL	1200.01
Qq2k3k3v50v50m300s4	FAIL	1200.01
Qq2k3k3v50v50m300s7	FAIL	1200.01
Qq2k3k3v50v50m300s9	FAIL	1200.01
Qq2k3k3v100v100m400s1	FAIL	1200.01
Qq2k3k3v50v50m500s7	FAIL	1200.01
Qq2k3k3v50v50m1000s10	FAIL	1200.01
Qq2k3k3v50v50m900s6	FAIL	1200.01
Qq2k3k3v50v50m600s8	FAIL	1200.01
ncf_16_32_8_euad.10	FAIL	1200.01
Qq2k3k3v50v50m700s6	FAIL	1200.01
Qq2k3k3v100v100m400s10	FAIL	1200.01
Qq2k3k3v50v50m700s4	FAIL	1200.01
Qq2k3k3v100v100m1600s5	FAIL	1200.02
ncf_16_32_8_euad.1	FAIL	1200.02
Qq2k3k3v50v50m900s3	FAIL	1200.02
robots_1_5_2_32.8	FAIL	1200.02
Qq2k3k3v50v50m700s2	FAIL	1200.02
Qq2k3k3v100v100m400s5	FAIL	1200.02
Qq2k3k3v50v50m300s1	FAIL	1200.02
Qq2k3k3v50v50m700s5	FAIL	1200.02
Qq2k3k3v100v100m1000s3	FAIL	1200.02
Qq2k3k3v50v50m600s9	FAIL	1200.02
Qq2k3k3v50v50m900s5	FAIL	1200.02
Qq2k3k3v50v50m900s9	FAIL	1200.02
Qq2k3k3v100v100m2000s5	FAIL	1200.02
Qq2k3k3v50v50m800s9	FAIL	1200.02
Qq2k3k3v100v100m1400s8	FAIL	1200.02
Qq2k3k3v100v100m400s2	FAIL	1200.02
Qq2k3k3v100v100m1000s8	FAIL	1200.02
Qq2k3k3v100v100m800s9	FAIL	1200.02
Qq2k3k3v50v50m900s8	FAIL	1200.02
Qq2k3k3v50v50m300s3	FAIL	1200.02
Qq2k3k3v50v50m800s8	FAIL	1200.02
Qq2k3k3v50v50m1000s9	FAIL	1200.02
Qq2k3k3v100v100m1000s5	FAIL	1200.02
Qq2k3k3v50v50m500s6	FAIL	1200.02
Qq2k3k3v50v50m800s1	FAIL	1200.02
Qq2k3k3v50v50m500s5	FAIL	1200.02
Qq2k3k3v50v50m800s3	FAIL	1200.02
Qq2k3k3v100v100m1200s5	FAIL	1200.02
Qq2k3k3v50v50m500s10	FAIL	1200.02
Qq2k3k3v50v50m800s4	FAIL	1200.02
Qq2k3k3v100v100m600s6	FAIL	1200.02
Qq2k3k3v100v100m1800s2	FAIL	1200.02
Qq2k3k3v100v100m1000s2	FAIL	1200.02
Qq2k3k3v50v50m500s1	FAIL	1200.02
Qq2k3k3v100v100m1000s10	FAIL	1200.02
Qq2k3k3v100v100m2000s4	FAIL	1200.02
Qq2k3k3v100v100m1000s7	FAIL	1200.02
Qq2k3k3v100v100m800s10	FAIL	1200.02
Qq2k3k3v50v50m500s3	FAIL	1200.02
robots_1_5_2_67.8	FAIL	1200.02
Qq2k3k3v50v50m500s8	FAIL	1200.02
Qq2k3k3v100v100m1800s1	FAIL	1200.02
Qq2k3k3v100v100m800s3	FAIL	1200.02
Qq2k3k3v100v100m800s2	FAIL	1200.02
robots_1_5_2_40.8	FAIL	1200.02
Qq2k3k3v50v50m400s9	FAIL	1200.02
Qq2k3k3v100v100m1400s2	FAIL	1200.02
Qq2k3k3v50v50m800s5	FAIL	1200.02
Qq2k3k3v100v100m600s10	FAIL	1200.02
Qq2k3k3v50v50m1000s5	FAIL	1200.02
Qq2k3k3v100v100m600s9	FAIL	1200.02
ncf_16_32_8_edau.1	FAIL	1200.02
Qq2k3k3v100v100m1800s3	FAIL	1200.02
Qq2k3k3v100v100m2000s8	FAIL	1200.02
Qq2k3k3v100v100m600s3	FAIL	1200.02
Qq2k3k3v100v100m400s8	FAIL	1200.02
Qq2k3k3v100v100m800s6	FAIL	1200.02
Qq2k3k3v50v50m600s1	FAIL	1200.02
Qq2k3k3v50v50m800s7	FAIL	1200.02
Qq2k3k3v100v100m1800s8	FAIL	1200.02
Qq2k3k3v50v50m400s2	FAIL	1200.02
Qq2k3k3v50v50m400s3	FAIL	1200.02
Qq2k3k3v50v50m500s9	FAIL	1200.02
Qq2k3k3v50v50m1000s8	FAIL	1200.02
ncf_16_32_8_u.9	FAIL	1200.02
Qq2k3k3v50v50m500s2	FAIL	1200.02
Qq2k3k3v50v50m1000s1	FAIL	1200.02
Qq2k3k3v50v50m600s5	FAIL	1200.02
Qq2k3k3v50v50m400s8	FAIL	1200.02
Qq2k3k3v50v50m600s4	FAIL	1200.02
ncf_16_32_8_euad.9	FAIL	1200.02
Qq2k3k3v100v100m1400s3	FAIL	1200.02
Qq2k3k3v100v100m1200s3	FAIL	1200.02
Qq2k3k3v50v50m600s7	FAIL	1200.02
Qq2k3k3v100v100m2000s1	FAIL	1200.02
Qq2k3k3v100v100m600s2	FAIL	1200.02
x120.3	FAIL	1200.02
x120.6	FAIL	1200.02
x120.8	FAIL	1200.02
x120.9	FAIL	1200.02
x240.0	FAIL	1200.02
x240.2	FAIL	1200.02
x240.7	FAIL	1200.02
Qq2k3k3v50v50m1000s6	FAIL	1200.02
Qq2k3k3v100v100m1200s6	FAIL	1200.02
Qq2k3k3v100v100m400s9	FAIL	1200.02
Qq2k3k3v100v100m400s6	FAIL	1200.02
Qq2k3k3v50v50m900s10	FAIL	1200.02
ncf_16_32_8_u.5	FAIL	1200.02
Qq2k3k3v100v100m1600s8	FAIL	1200.02
Qq2k3k3v100v100m1200s9	FAIL	1200.02
Qq2k3k3v100v100m1200s7	FAIL	1200.02
Qq2k3k3v50v50m800s6	FAIL	1200.02
robots_1_5_3_16.8	FAIL	1200.02
Qq2k3k3v100v100m1600s3	FAIL	1200.02
Qq2k3k3v100v100m1200s2	FAIL	1200.02
Qq2k3k3v100v100m600s8	FAIL	1200.02
Qq2k3k3v100v100m1200s4	FAIL	1200.02
Qq2k3k3v100v100m1800s10	FAIL	1200.02
Qq2k3k3v100v100m600s5	FAIL	1200.02
ncf_16_32_8_u.2	FAIL	1200.02
Qq2k3k3v50v50m600s10	FAIL	1200.02
Qq2k3k3v50v50m600s6	FAIL	1200.02
Qq2k3k3v100v100m600s7	FAIL	1200.02
Qq2k3k3v50v50m400s1	FAIL	1200.02
Qq2k3k3v100v100m1400s6	FAIL	1200.02
Qq2k3k3v100v100m800s4	FAIL	1200.02
Qq2k3k3v50v50m400s4	FAIL	1200.02
Qq2k3k3v50v50m700s10	FAIL	1200.02
Qq2k3k3v100v100m2000s2	FAIL	1200.02
robots_1_5_2_100.8	FAIL	1200.02
Qq2k3k3v50v50m800s10	FAIL	1200.02
Qq2k3k3v100v100m800s5	FAIL	1200.02
Qq2k3k3v50v50m300s5	FAIL	1200.02
Qq2k3k3v50v50m400s10	FAIL	1200.02
Qq2k3k3v50v50m1000s4	FAIL	1200.02
Qq2k3k3v100v100m800s7	FAIL	1200.02
Qq2k3k3v100v100m1400s4	FAIL	1200.02
Qq2k3k3v50v50m700s7	FAIL	1200.02
Qq2k3k3v100v100m400s3	FAIL	1200.02
Qq2k3k3v50v50m900s2	FAIL	1200.02
Qq2k3k3v100v100m1800s4	FAIL	1200.02
Qq2k3k3v100v100m1600s2	FAIL	1200.03
Qq2k3k3v100v100m2000s7	FAIL	1200.03
Qq2k3k3v100v100m1400s10	FAIL	1200.03
ncf_16_32_8_d.2	FAIL	1200.03
Qq2k3k3v100v100m1400s1	FAIL	1200.03
Qq2k3k3v50v50m900s1	FAIL	1200.03
Qq2k3k3v100v100m1600s6	FAIL	1200.03
Qq2k3k3v100v100m2000s6	FAIL	1200.03
Qq2k3k3v100v100m1600s9	FAIL	1200.03
Qq2k3k3v100v100m2000s10	FAIL	1200.03
x240.8	FAIL	1200.03
x240.6	FAIL	1200.03
x240.3	FAIL	1200.03
Qq2k3k3v100v100m1400s5	FAIL	1200.03
Qq2k3k3v100v100m1800s9	FAIL	1200.03
x240.1	FAIL	1200.03
Qq2k3k3v100v100m1000s6	FAIL	1200.03
Qq2k3k3v100v100m800s1	FAIL	1200.03
Qq2k3k3v100v100m600s4	FAIL	1200.03
Qq2k3k3v100v100m1400s9	FAIL	1200.03
ncf_16_32_8_euad.5	FAIL	1200.03
Qq2k3k3v100v100m2000s9	FAIL	1200.03
Qq2k3k3v100v100m1800s6	FAIL	1200.03
Qq2k3k3v100v100m2000s3	FAIL	1200.03
ncf_16_32_8_u.6	FAIL	1200.03
Qq2k3k3v100v100m1400s7	FAIL	1200.03
Qq2k3k3v100v100m1200s10	FAIL	1200.03
Qq2k3k3v100v100m1000s1	FAIL	1200.03
Qq2k3k3v100v100m1000s9	FAIL	1200.03
ncf_16_32_8_edau.9	FAIL	1200.03
ncf_16_32_8_edau.6	FAIL	1200.03
x240.9	FAIL	1200.03
Qq2k3k3v100v100m1800s5	FAIL	1200.03
Qq2k3k3v100v100m1000s4	FAIL	1200.03
Qq2k3k3v50v50m700s3	FAIL	1200.03
Qq2k3k3v100v100m1600s10	FAIL	1200.03
Qq2k3k3v100v100m1600s1	FAIL	1200.03
Qq2k3k3v100v100m1600s7	FAIL	1200.03
ncf_16_32_8_d.1	FAIL	1200.03
Qq2k3k3v100v100m600s1	FAIL	1200.03
ncf_16_32_8_euad.6	FAIL	1200.03
Qq2k3k3v100v100m1200s8	FAIL	1200.04
x240.5	FAIL	1200.04
Qq2k3k3v100v100m800s8	FAIL	1200.04
Qq2k3k3v100v100m1800s7	FAIL	1200.04
Qq2k3k3v100v100m1200s1	FAIL	1200.04
ncf_16_32_8_u.1	FAIL	1200.04
Qq2k3k3v100v100m1600s4	FAIL	1200.04
x240.4	FAIL	1200.04
ncf_16_32_8_edau.7	FAIL	1200.05
ncf_16_32_8_edau.2	FAIL	1200.05
ncf_16_32_8_d.9	FAIL	1200.1

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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