Instances solved by <a href='solver_detail.php?solver=249'>xb-qsts</a> <br> QBFEVAL'16

Instances solved by xb-qsts
QBFEVAL'16 - Random QBFs Track.

Instance	Result	Time
ncf_4_16_2_d.2	SAT	0.01
ncf_8_16_4_u.5	UNSAT	0.01
ncf_4_16_2_d.9	SAT	0.01
ncf_8_16_4_u.2	UNSAT	0.01
ncf_4_16_2_d.4	SAT	0.01
ncf_4_16_2_d.6	SAT	0.01
ncf_8_16_4_u.1	SAT	0.01
ncf_8_16_4_u.10	SAT	0.02
ncf_4_16_2_d.7	SAT	0.02
ncf_8_16_4_u.6	UNSAT	0.02
ncf_8_16_4_u.8	UNSAT	0.03
robots_1_5_5_91.1	SAT	0.03
ncf_4_16_2_d.10	UNSAT	0.03
robots_1_5_5_58.1	SAT	0.03
robots_1_5_4_54.1	SAT	0.03
robots_1_5_4_46.1	SAT	0.03
robots_1_5_4_74.1	SAT	0.03
robots_1_5_5_45.1	SAT	0.03
ncf_4_16_2_d.5	UNSAT	0.04
ncf_4_16_2_d.8	SAT	0.04
robots_1_5_2_65.1	SAT	0.04
robots_1_5_3_56.1	SAT	0.04
robots_1_5_3_98.1	SAT	0.04
robots_1_5_3_94.1	SAT	0.04
robots_1_5_2_46.1	SAT	0.05
ncf_8_16_4_u.4	SAT	0.05
robots_1_5_2_93.1	SAT	0.05
ncf_4_16_8_euad.7	SAT	0.05
ncf_8_16_4_u.3	SAT	0.08
ncf_4_16_2_d.1	UNSAT	0.09
ncf_16_32_8_u.4	SAT	0.11
ncf_16_32_8_u.3	SAT	0.16
ncf_16_32_8_u.8	UNSAT	0.28
ncf_16_32_8_u.10	SAT	0.28
ncf_16_32_8_u.6	SAT	0.48
robots_1_5_4_74.2	SAT	0.63
robots_1_5_5_58.2	SAT	0.64
ncf_4_16_8_euad.10	SAT	0.67
robots_1_5_4_46.2	SAT	0.68
robots_1_5_4_54.2	SAT	0.69
robots_1_5_5_91.2	SAT	0.69
robots_1_5_5_45.2	SAT	0.71
ncf_4_16_8_euad.2	SAT	0.8
ncf_4_16_8_euad.4	SAT	1.22
ncf_16_32_8_u.5	UNSAT	1.26
robots_1_5_4_74.3	SAT	1.27
ncf_4_16_2_d.3	UNSAT	1.28
robots_1_5_5_58.3	SAT	1.34
robots_1_5_5_91.3	SAT	1.42
robots_1_5_4_46.3	SAT	1.42
robots_1_5_4_54.3	SAT	1.44
ncf_8_16_4_u.9	UNSAT	1.44
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp	UNSAT	1.46
ncf_4_16_8_euad.1	SAT	1.47
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp	UNSAT	1.51
robots_1_5_5_45.3	SAT	1.53
ncf_4_16_8_euad.8	UNSAT	1.59
robots_1_5_3_98.2	SAT	1.63
robots_1_5_3_94.2	SAT	1.64
robots_1_5_3_56.2	SAT	1.65
ncf_4_16_8_euad.3	SAT	1.67
robots_1_5_2_46.2	SAT	1.88
ncf_4_16_8_euad.9	SAT	1.93
ncf_16_32_8_u.9	UNSAT	2.12
ncf_16_64_4_d.2	UNSAT	2.14
robots_1_5_2_93.2	SAT	2.23
ncf_16_64_4_d.3	UNSAT	2.29
ncf_16_32_8_u.7	SAT	2.34
robots_1_5_4_74.4	SAT	2.45
S-edau-43	UNSAT	2.49
robots_1_5_5_58.4	SAT	2.51
ncf_16_64_4_d.4	UNSAT	2.64
robots_1_5_5_91.4	SAT	2.64
ncf_4_16_8_euad.5	UNSAT	2.71
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp	SAT	2.79
robots_1_5_5_45.4	SAT	2.99
T-edau-23	UNSAT	3.03
robots_1_5_3_56.3	SAT	3.03
T-edau-20	UNSAT	3.04
robots_1_5_4_46.4	SAT	3.08
T-edau-18	UNSAT	3.11
ncf_16_64_4_d.9	SAT	3.18
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp	SAT	3.23
robots_1_5_4_54.4	SAT	3.27
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp	SAT	3.42
T-edau-8	UNSAT	3.43
robots_1_5_2_65.2	SAT	3.72
robots_1_5_3_98.3	SAT	3.82
robots_1_5_3_94.3	SAT	3.97
robots_1_5_5_91.5	UNSAT	4.04
robots_1_5_5_58.5	UNSAT	4.12
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp	SAT	4.18
S-edau-30	UNSAT	4.23
robots_1_5_4_74.5	SAT	4.24
x25.19	UNSAT	4.31
x25.5	UNSAT	4.33
S-edau-7	UNSAT	4.37
x25.16	SAT	4.43
S-edau-8	UNSAT	4.43
robots_1_5_2_65.3	SAT	4.46
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp	SAT	4.55
ncf_16_64_4_d.10	UNSAT	4.63
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp	UNSAT	4.65
robots_1_5_3_56.4	SAT	4.75
robots_1_5_2_46.3	SAT	4.77
x25.10	UNSAT	4.85
robots_1_5_5_45.5	SAT	4.89
ncf_8_16_4_u.7	SAT	4.99
robots_1_5_4_54.5	UNSAT	5.03
x25.8	UNSAT	5.35
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp	SAT	5.41
x35.13	UNSAT	5.46
robots_1_5_4_46.5	SAT	5.52
x25.2	SAT	5.6
x35.1	SAT	5.74
x40.12	SAT	5.82
x25.4	UNSAT	5.88
robots_1_5_5_45.6	UNSAT	5.88
x25.7	UNSAT	5.99
robots_1_5_4_54.6	UNSAT	6
robots_1_5_3_98.4	SAT	6.07
robots_1_5_3_94.4	SAT	6.19
robots_1_5_5_91.6	UNSAT	6.26
robots_1_5_3_94.5	SAT	6.27
x40.18	SAT	6.29
x35.11	UNSAT	6.37
x35.3	UNSAT	6.41
x25.13	UNSAT	6.5
robots_1_5_4_46.6	SAT	6.51
robots_1_5_5_58.6	UNSAT	6.75
x35.10	UNSAT	6.96
S-adeu-32	UNSAT	6.99
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp	SAT	7.07
robots_1_5_2_93.3	SAT	7.27
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp	SAT	7.41
x35.9	SAT	7.46
robots_1_5_5_58.7	UNSAT	7.61
x40.10	UNSAT	7.66
robots_1_5_2_93.4	SAT	7.74
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp	SAT	7.77
x35.5	UNSAT	7.8
x35.15	UNSAT	7.84
robots_1_5_3_56.5	SAT	7.87
robots_1_5_3_98.5	SAT	7.93
robots_1_5_4_74.6	UNSAT	7.99
x40.1	UNSAT	8.02
S-adeu-19	UNSAT	8.28
robots_1_5_4_54.7	UNSAT	8.36
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	SAT	8.37
T-edau-26	UNSAT	8.44
T-adeu-6	UNSAT	8.52
T-edau-24	UNSAT	8.58
S-adeu-28	UNSAT	8.69
x35.2	SAT	8.75
robots_1_5_5_91.7	UNSAT	8.91
S-adeu-49	UNSAT	9.12
ncf_4_16_8_euad.6	SAT	9.17
T-edau-2	UNSAT	9.42
robots_1_5_5_45.7	UNSAT	9.68
robots_1_5_4_54.8	UNSAT	9.7
T-adeu-9	UNSAT	9.9
robots_1_5_3_56.6	SAT	9.92
robots_1_5_5_91.8	UNSAT	9.99
S-edau-1	UNSAT	10.06
robots_1_5_2_93.5	SAT	10.07
x40.5	UNSAT	10.2
robots_1_5_2_46.4	SAT	10.35
x40.19	UNSAT	10.44
x40.11	SAT	10.48
S-adeu-30	UNSAT	10.92
S-adeu-41	UNSAT	10.93
robots_1_5_5_45.8	UNSAT	10.93
robots_1_5_4_74.7	UNSAT	10.95
S-adeu-47	UNSAT	10.98
x40.17	UNSAT	11.02
robots_1_5_5_58.8	UNSAT	11.03
T-adeu-49	UNSAT	11.06
robots_1_5_3_94.6	SAT	11.11
S-edau-34	UNSAT	11.21
robots_1_5_3_98.6	SAT	11.28
S-adeu-15	UNSAT	11.34
robots_1_5_5_91.9	UNSAT	11.42
S-adeu-6	UNSAT	11.49
x40.4	UNSAT	11.49
T-adeu-42	UNSAT	11.5
x25.15	UNSAT	11.62
T-adeu-10	UNSAT	11.63
T-adeu-15	UNSAT	11.71
x35.19	UNSAT	11.9
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp	UNSAT	12.16
T-adeu-25	UNSAT	12.2
T-adeu-38	UNSAT	12.32
S-edau-20	UNSAT	12.32
robots_1_5_4_54.9	UNSAT	12.33
S-edau-23	UNSAT	12.39
robots_1_5_2_65.4	SAT	12.4
robots_1_5_4_74.8	UNSAT	12.52
robots_1_5_5_45.9	UNSAT	12.54
T-edau-6	UNSAT	12.56
x40.6	UNSAT	12.74
S-edau-17	UNSAT	12.81
T-adeu-7	UNSAT	12.91
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp	SAT	13.22
robots_1_5_5_58.9	UNSAT	13.41
robots_1_5_2_46.5	SAT	13.59
ncf_16_64_4_d.6	UNSAT	13.8
robots_1_5_2_65.5	SAT	14.03
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp	SAT	14.31
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp	SAT	14.45
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp	SAT	14.52
S-adeu-29	UNSAT	14.63
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp	UNSAT	14.68
robots_1_5_4_46.7	UNSAT	14.76
T-adeu-39	UNSAT	14.89
robots_1_5_3_94.7	UNSAT	15.05
robots_1_5_3_56.7	SAT	15.36
robots_1_5_4_46.10	UNSAT	15.47
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp	SAT	15.62
robots_1_5_2_93.6	SAT	15.72
ncf_16_32_8_u.2	UNSAT	15.84
T-edau-44	UNSAT	15.87
ncf_16_64_4_d.5	UNSAT	15.98
S-edau-29	UNSAT	16.09
T-edau-9	UNSAT	16.38
robots_1_5_4_46.9	UNSAT	16.58
robots_1_5_4_74.10	UNSAT	16.84
robots_1_5_4_74.9	UNSAT	16.85
robots_1_5_5_91.10	UNSAT	17.26
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp	SAT	17.4
robots_1_5_4_46.8	UNSAT	18.34
robots_1_5_4_54.10	UNSAT	18.56
robots_1_5_5_58.10	UNSAT	19.68
robots_1_5_3_94.8	UNSAT	19.82
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp	SAT	19.86
robots_1_5_2_46.7	UNSAT	19.94
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp	UNSAT	19.99
robots_1_5_2_46.6	SAT	20.5
robots_1_5_2_65.6	SAT	20.77
ncf_16_32_8_u.1	SAT	20.89
ncf_16_64_4_d.1	SAT	21.16
ncf_16_64_4_d.7	UNSAT	22.86
robots_1_5_3_98.7	SAT	23.08
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp	SAT	23.6
robots_1_5_5_45.10	UNSAT	23.63
robots_1_5_3_56.8	SAT	24.86
robots_1_5_2_46.8	UNSAT	25.01
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp	SAT	25.83
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp	SAT	26.5
x70.10	UNSAT	27.64
robots_1_5_3_98.10	UNSAT	29.62
x70.5	UNSAT	29.65
robots_1_5_3_98.9	UNSAT	29.86
x70.6	UNSAT	30.33
x70.3	UNSAT	30.57
robots_1_5_3_94.9	UNSAT	32.99
robots_1_5_3_56.9	SAT	33.65
x70.1	UNSAT	33.71
x70.0	UNSAT	33.73
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp	UNSAT	36.04
x70.8	UNSAT	36.52
x70.16	UNSAT	37.89
robots_1_5_3_94.10	UNSAT	38.14
robots_1_5_2_93.7	SAT	39.15
x70.12	UNSAT	39.57
x70.7	UNSAT	40.33
robots_1_5_2_46.9	UNSAT	41.01
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp	UNSAT	42.73
robots_1_5_2_65.7	SAT	43.1
ncf_16_128_8_edau.5	UNSAT	46.33
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp	SAT	46.53
ncf_16_128_8_edau.8	UNSAT	53.29
robots_1_5_2_46.10	UNSAT	54.15
robots_1_5_3_98.8	UNSAT	60.3
robots_1_5_2_93.8	SAT	76.62
ncf_16_64_4_d.8	UNSAT	78.88
Q_2-3_v-80-100_r-13.9	UNSAT	82.9
x165.6	UNSAT	101.09
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp	UNSAT	105
robots_1_5_3_56.10	SAT	112.71
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	UNSAT	134.35
ncf_16_128_8_edau.2	UNSAT	134.56
robots_1_5_2_65.8	SAT	170.66
x210.9	UNSAT	174.47
x165.13	UNSAT	192.69
x165.11	UNSAT	266.81
x165.9	UNSAT	271.98
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp	SAT	301.29
robots_1_5_2_93.9	SAT	304.3
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp	UNSAT	304.83
x165.0	UNSAT	323.59
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp	UNSAT	417.24
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	SAT	451.32
x165.8	UNSAT	541.58
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	UNSAT	567.3
robots_1_5_2_65.9	FAIL	599.53
robots_1_5_2_65.10	FAIL	599.61
Q_2-2-3_v-100-100-100_r-75.3	FAIL	599.61
x220.13	FAIL	599.61
x300.1	FAIL	599.61
ncf_16_128_8_euad.2	FAIL	599.61
Q_2-2-3_v-100-100-100_r-65.8	FAIL	599.61
x210.7	FAIL	599.62
robots_1_5_2_93.10	FAIL	599.62
Q_3-3-3_v-100-100-100_r-70.5	FAIL	599.63
Q_3-3_v-100-100_r-15.8	FAIL	599.71
Q_3-3_v-100-100_r-11.1	FAIL	599.71
Q_3-3_v-100-100_r-11.0	FAIL	599.71
Q_2-3_v-80-100_r-9.9	FAIL	599.71
Q_2-3_v-80-100_r-9.8	FAIL	599.71
Q_2-3_v-80-100_r-9.6	FAIL	599.71
Q_2-3_v-80-100_r-9.5	FAIL	599.71
Q_2-3_v-80-100_r-9.3	FAIL	599.71
Q_2-3_v-80-100_r-9.1	FAIL	599.71
Q_2-3_v-80-100_r-9.0	FAIL	599.71
Q_2-3_v-80-100_r-7.7	FAIL	599.71
Q_2-3_v-80-100_r-7.6	FAIL	599.71
Q_2-3_v-80-100_r-7.5	FAIL	599.71
Q_3-3_v-100-100_r-11.2	FAIL	599.71
Q_3-3_v-100-100_r-11.3	FAIL	599.71
Q_3-3_v-100-100_r-15.7	FAIL	599.71
Q_3-3_v-100-100_r-15.6	FAIL	599.71
Q_3-3_v-100-100_r-15.4	FAIL	599.71
Q_3-3_v-100-100_r-15.3	FAIL	599.71
Q_3-3_v-100-100_r-13.9	FAIL	599.71
Q_3-3_v-100-100_r-13.6	FAIL	599.71
Q_3-3_v-100-100_r-13.5	FAIL	599.71
Q_3-3_v-100-100_r-13.3	FAIL	599.71
Q_3-3_v-100-100_r-13.2	FAIL	599.71
Q_3-3_v-100-100_r-13.0	FAIL	599.71
Q_3-3_v-100-100_r-11.7	FAIL	599.71
Q_3-3_v-100-100_r-15.9	FAIL	599.71
Q_3-3_v-100-100_r-11.6	FAIL	599.71
Q_2-3_v-80-100_r-7.4	FAIL	599.71
Q_2-3_v-80-100_r-11.7	FAIL	599.71
Q_2-3_v-80-100_r-11.5	FAIL	599.71
Q_2-3_v-80-100_r-11.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.9	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.7	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.6	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.4	FAIL	599.71
ncf_16_128_2_u.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.1	FAIL	599.71
Q_2-3_v-80-100_r-11.8	FAIL	599.71
Q_2-3_v-80-100_r-11.9	FAIL	599.71
Q_2-3_v-80-100_r-13.0	FAIL	599.71
Q_2-3_v-80-100_r-7.0	FAIL	599.71
Q_2-3_v-80-100_r-5.9	FAIL	599.71
Q_2-3_v-80-100_r-5.8	FAIL	599.71
Q_2-3_v-80-100_r-5.7	FAIL	599.71
Q_2-3_v-80-100_r-5.6	FAIL	599.71
Q_2-3_v-80-100_r-5.5	FAIL	599.71
Q_2-3_v-80-100_r-5.4	FAIL	599.71
Q_2-3_v-80-100_r-5.1	FAIL	599.71
Q_2-3_v-80-100_r-5.0	FAIL	599.71
Q_2-3_v-80-100_r-13.6	FAIL	599.71
Q_2-3_v-80-100_r-13.5	FAIL	599.71
Q_2-3_v-80-100_r-13.1	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.0	FAIL	599.71
Q_3-3_v-100-100_r-17.1	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.0	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.7	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.4	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.3	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.2	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.1	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.0	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.7	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.1	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.2	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.7	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.4	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.3	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.2	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.1	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.0	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.9	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.7	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.5	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.4	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.9	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.4	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.3	FAIL	599.71
Q_3-3_v-100-100_r-19.6	FAIL	599.71
Q_3-3_v-100-100_r-19.5	FAIL	599.71
Q_3-3_v-100-100_r-19.4	FAIL	599.71
Q_3-3_v-100-100_r-19.3	FAIL	599.71
Q_3-3_v-100-100_r-19.2	FAIL	599.71
Q_3-3_v-100-100_r-19.1	FAIL	599.71
Q_3-3_v-100-100_r-19.0	FAIL	599.71
Q_3-3_v-100-100_r-17.9	FAIL	599.71
Q_3-3_v-100-100_r-17.8	FAIL	599.71
Q_3-3_v-100-100_r-17.7	FAIL	599.71
Q_3-3_v-100-100_r-17.6	FAIL	599.71
Q_3-3_v-100-100_r-17.5	FAIL	599.71
Q_3-3_v-100-100_r-19.7	FAIL	599.71
Q_3-3_v-100-100_r-19.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.2	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.1	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.0	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.9	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.7	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.5	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.4	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.2	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.1	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.0	FAIL	599.71
Q_3-3_v-100-100_r-17.4	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.9	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.1	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp	FAIL	599.71
ncf_16_128_8_euad.4	FAIL	599.71
ncf_16_128_2_u.7	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp	FAIL	599.71
ncf_16_128_2_u.6	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.0	FAIL	599.71
ncf_16_128_8_edau.4	FAIL	599.71
ncf_16_128_2_u.8	FAIL	599.71
ncf_16_128_2_u.1	FAIL	599.71
ncf_16_128_8_edau.1	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp	FAIL	599.71
ncf_16_128_2_u.4	FAIL	599.71
ncf_16_128_8_edau.7	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp	FAIL	599.71
ncf_16_128_8_euad.3	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp	FAIL	599.71
ncf_16_128_8_euad.6	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp	FAIL	599.71
x220.0	FAIL	599.71
x220.12	FAIL	599.71
x220.19	FAIL	599.71
x220.2	FAIL	599.71
x220.6	FAIL	599.71
x220.9	FAIL	599.71
x300.12	FAIL	599.71
x300.15	FAIL	599.71
x300.16	FAIL	599.71
x300.19	FAIL	599.71
x300.3	FAIL	599.71
x300.4	FAIL	599.71
x210.6	FAIL	599.71
x210.3	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp	FAIL	599.71
ncf_16_128_8_euad.8	FAIL	599.71
ncf_16_128_8_edau.9	FAIL	599.71
ncf_16_128_2_u.5	FAIL	599.71
ncf_16_128_2_u.10	FAIL	599.71
ncf_16_128_8_edau.10	FAIL	599.71
ncf_16_128_8_euad.9	FAIL	599.71
x165.17	FAIL	599.71
x165.3	FAIL	599.71
x210.15	FAIL	599.71
x210.1	FAIL	599.71
x300.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.9	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.7	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.1	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.7	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.0	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.3	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.4	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.7	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.0	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.0	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.1	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.3	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.4	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.9	FAIL	599.71
ncf_16_128_8_euad.10	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.7	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.6	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.6	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.3	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.6	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.4	FAIL	599.71
Q_2-3_v-80-100_r-13.4	FAIL	599.72
Q_2-3_v-80-100_r-13.7	FAIL	599.72
x165.10	FAIL	599.72
ncf_16_128_2_u.9	FAIL	599.72
Q_2-3_v-80-100_r-13.2	FAIL	599.72
x165.19	FAIL	599.72
Q_3-3-3_v-100-100-100_r-30.3	FAIL	599.72
x210.11	FAIL	599.72
Q_3-3-3_v-100-100-100_r-70.6	FAIL	599.72
x300.8	FAIL	599.72
x220.8	FAIL	599.72
Q_2-3_v-80-100_r-11.0	FAIL	599.72
Q_3-3-3_v-100-100-100_r-60.3	FAIL	599.72
x220.16	FAIL	599.72
Q_2-3_v-80-100_r-11.1	FAIL	599.72
x220.10	FAIL	599.72
Q_3-3-3_v-100-100-100_r-40.5	FAIL	599.72
Q_2-3_v-80-100_r-11.4	FAIL	599.72
Q_3-3-3_v-100-100-100_r-50.5	FAIL	599.72
x210.17	FAIL	599.72
x210.16	FAIL	599.72
Q_2-3_v-80-100_r-11.6	FAIL	599.72
x210.12	FAIL	599.72
x300.6	FAIL	599.72
Q_2-3_v-80-100_r-9.7	FAIL	599.72
Q_3-3_v-100-100_r-17.0	FAIL	599.72
Q_2-3_v-80-100_r-7.3	FAIL	599.72
ncf_16_128_8_euad.1	FAIL	599.72
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp	FAIL	599.72
ncf_16_128_2_u.3	FAIL	599.72
Q_3-3_v-100-100_r-15.1	FAIL	599.72
Q_3-3_v-100-100_r-13.8	FAIL	599.72
Q_3-3_v-100-100_r-13.4	FAIL	599.72
ncf_16_128_8_euad.5	FAIL	599.72
ncf_16_128_8_edau.3	FAIL	599.72
Q_3-3_v-100-100_r-13.1	FAIL	599.72
Q_2-3_v-80-100_r-7.9	FAIL	599.72
Q_3-3_v-100-100_r-11.8	FAIL	599.72
Q_2-2-3_v-100-100-100_r-35.5	FAIL	599.72
Q_2-3_v-80-100_r-9.2	FAIL	599.72
ncf_16_128_8_edau.6	FAIL	599.72
Q_2-3_v-80-100_r-9.4	FAIL	599.72
Q_2-3_v-80-100_r-7.2	FAIL	599.72
Q_2-2-3_v-100-100-100_r-35.9	FAIL	599.72
Q_2-3_v-80-100_r-5.3	FAIL	599.72
Q_3-3_v-100-100_r-15.0	FAIL	599.72
Q_3-3_v-100-100_r-11.5	FAIL	599.72
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp	FAIL	599.72
Q_2-2-3_v-100-100-100_r-45.3	FAIL	599.72
Q_3-3_v-100-100_r-11.9	FAIL	599.72
Q_2-2-3_v-100-100-100_r-45.1	FAIL	599.72
Q_3-3_v-100-100_r-17.3	FAIL	599.72
Q_2-2-3_v-100-100-100_r-45.4	FAIL	599.72
Q_3-3_v-100-100_r-11.4	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp	FAIL	599.81
Q_3-3_v-100-100_r-19.9	FAIL	599.81
ncf_16_128_8_euad.7	FAIL	599.81
Q_2-3_v-80-100_r-5.2	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.6	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.9	FAIL	599.81
Q_2-3_v-80-100_r-7.1	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp	FAIL	599.81
Q_3-3_v-100-100_r-15.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.9	FAIL	599.81
Q_3-3_v-100-100_r-15.2	FAIL	599.81
Q_3-3_v-100-100_r-17.2	FAIL	599.81
Q_3-3_v-100-100_r-13.7	FAIL	599.81
Q_2-3_v-80-100_r-7.8	FAIL	599.81
Q_2-3_v-80-100_r-13.8	FAIL	599.82
Q_2-3_v-80-100_r-13.3	FAIL	599.82
Q_2-3_v-80-100_r-11.3	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by xb-qsts
QBFEVAL'16 - Random QBFs Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by xb-qsts QBFEVAL'16 - Random QBFs Track.

Instances solved by xb-qsts
QBFEVAL'16 - Random QBFs Track.