Instances solved by <a href='solver_detail.php?solver=226'>qestos</a> <br> QBFEVAL'16

Instances solved by qestos
QBFEVAL'16 - Random QBFs Track.

Instance	Result	Time
ncf_4_16_8_euad.7	SAT	0
ncf_8_16_4_u.2	UNSAT	0
ncf_8_16_4_u.8	UNSAT	0
ncf_4_16_2_d.7	SAT	0
ncf_8_16_4_u.4	SAT	0
ncf_4_16_2_d.4	SAT	0
ncf_4_16_2_d.8	SAT	0
ncf_8_16_4_u.1	SAT	0
ncf_4_16_2_d.6	SAT	0
ncf_4_16_2_d.2	SAT	0
ncf_4_16_2_d.9	SAT	0
ncf_8_16_4_u.5	UNSAT	0
ncf_8_16_4_u.6	UNSAT	0
ncf_8_16_4_u.10	SAT	0
ncf_16_32_8_u.3	SAT	0.01
ncf_4_16_2_d.5	UNSAT	0.01
robots_1_5_3_94.1	SAT	0.01
robots_1_5_3_56.1	SAT	0.01
robots_1_5_5_45.1	SAT	0.01
robots_1_5_5_58.1	SAT	0.01
robots_1_5_5_91.1	SAT	0.01
robots_1_5_4_46.1	SAT	0.01
robots_1_5_4_74.1	SAT	0.01
robots_1_5_2_93.1	SAT	0.01
robots_1_5_2_65.1	SAT	0.01
robots_1_5_2_46.1	SAT	0.01
robots_1_5_3_98.1	SAT	0.01
ncf_8_16_4_u.3	SAT	0.01
robots_1_5_4_54.1	SAT	0.01
ncf_16_32_8_u.4	SAT	0.01
ncf_4_16_2_d.10	UNSAT	0.01
ncf_16_32_8_u.10	SAT	0.03
ncf_4_16_2_d.1	UNSAT	0.03
ncf_16_32_8_u.8	UNSAT	0.04
ncf_16_32_8_u.6	SAT	0.16
robots_1_5_5_91.2	SAT	0.18
robots_1_5_5_45.2	SAT	0.18
robots_1_5_5_58.2	SAT	0.18
robots_1_5_4_46.2	SAT	0.18
robots_1_5_4_54.2	SAT	0.18
robots_1_5_4_74.2	SAT	0.18
robots_1_5_3_56.2	SAT	0.19
robots_1_5_3_94.2	SAT	0.19
robots_1_5_3_98.2	SAT	0.19
robots_1_5_2_46.2	SAT	0.21
robots_1_5_2_65.2	SAT	0.21
robots_1_5_2_93.2	SAT	0.21
ncf_4_16_2_d.3	UNSAT	0.41
robots_1_5_5_58.3	SAT	0.43
robots_1_5_5_91.3	SAT	0.45
robots_1_5_4_46.3	SAT	0.45
robots_1_5_5_45.3	SAT	0.46
ncf_4_16_8_euad.8	UNSAT	0.47
robots_1_5_4_74.3	SAT	0.47
ncf_4_16_8_euad.10	SAT	0.5
robots_1_5_4_54.3	SAT	0.53
robots_1_5_2_46.3	SAT	0.8
ncf_4_16_8_euad.3	SAT	0.82
robots_1_5_3_94.3	SAT	0.82
ncf_8_16_4_u.9	UNSAT	0.83
x25.19	UNSAT	0.84
robots_1_5_3_98.3	SAT	0.91
robots_1_5_2_93.3	SAT	0.94
robots_1_5_5_45.4	SAT	0.95
robots_1_5_2_65.3	SAT	0.98
robots_1_5_5_58.4	SAT	1
robots_1_5_4_46.4	SAT	1.03
robots_1_5_4_54.4	SAT	1.07
robots_1_5_4_74.4	SAT	1.08
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp	SAT	1.14
x35.15	UNSAT	1.18
S-adeu-15	UNSAT	1.23
robots_1_5_5_91.4	SAT	1.27
robots_1_5_3_56.3	SAT	1.3
x35.13	UNSAT	1.32
x25.10	UNSAT	1.33
x40.4	UNSAT	1.36
x35.3	UNSAT	1.37
x35.2	SAT	1.37
x35.11	UNSAT	1.4
x25.4	UNSAT	1.46
x25.15	UNSAT	1.53
x25.13	UNSAT	1.54
x35.9	SAT	1.56
x35.10	UNSAT	1.56
x35.1	SAT	1.57
ncf_4_16_8_euad.4	SAT	1.58
x35.5	UNSAT	1.61
x25.2	SAT	1.68
x35.19	UNSAT	1.71
x40.10	UNSAT	1.71
robots_1_5_5_58.5	UNSAT	1.75
T-edau-26	UNSAT	1.76
x40.17	UNSAT	1.81
robots_1_5_3_94.4	SAT	1.9
x40.6	UNSAT	1.94
x40.5	UNSAT	1.96
x25.8	UNSAT	1.96
x40.18	SAT	1.99
x40.1	UNSAT	2.02
x25.7	UNSAT	2.04
x40.11	SAT	2.04
x40.19	UNSAT	2.09
robots_1_5_5_91.5	UNSAT	2.11
x40.12	SAT	2.13
x25.5	UNSAT	2.18
T-adeu-10	UNSAT	2.24
robots_1_5_3_98.4	SAT	2.26
robots_1_5_2_46.4	SAT	2.39
T-edau-6	UNSAT	2.4
robots_1_5_5_91.6	UNSAT	2.4
S-edau-29	UNSAT	2.47
T-adeu-6	UNSAT	2.52
T-adeu-38	UNSAT	2.53
S-adeu-6	UNSAT	2.53
ncf_4_16_8_euad.2	SAT	2.58
robots_1_5_4_74.5	SAT	2.59
S-adeu-19	UNSAT	2.6
T-adeu-25	UNSAT	2.63
T-edau-9	UNSAT	2.63
S-edau-20	UNSAT	2.63
S-adeu-30	UNSAT	2.64
S-adeu-32	UNSAT	2.64
S-adeu-29	UNSAT	2.71
robots_1_5_4_54.6	UNSAT	2.75
S-adeu-47	UNSAT	2.76
T-adeu-42	UNSAT	2.78
robots_1_5_2_93.4	SAT	2.79
x25.16	SAT	2.83
T-adeu-39	UNSAT	2.9
S-adeu-28	UNSAT	2.95
S-adeu-41	UNSAT	2.98
S-edau-7	UNSAT	3.04
robots_1_5_3_56.4	SAT	3.04
T-adeu-9	UNSAT	3.06
T-edau-44	UNSAT	3.11
S-edau-1	UNSAT	3.23
T-edau-2	UNSAT	3.28
S-edau-8	UNSAT	3.33
T-edau-24	UNSAT	3.35
S-adeu-49	UNSAT	3.36
robots_1_5_4_54.5	UNSAT	3.37
T-edau-8	UNSAT	3.46
robots_1_5_5_91.7	UNSAT	3.48
T-adeu-15	UNSAT	3.51
S-edau-17	UNSAT	3.56
robots_1_5_2_65.4	SAT	3.59
S-edau-30	UNSAT	3.63
robots_1_5_5_58.7	UNSAT	3.63
T-adeu-7	UNSAT	3.71
T-edau-23	UNSAT	3.86
T-edau-18	UNSAT	3.89
T-adeu-49	UNSAT	3.96
robots_1_5_4_46.5	SAT	3.98
robots_1_5_5_58.8	UNSAT	4
robots_1_5_5_58.6	UNSAT	4.16
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp	SAT	4.19
robots_1_5_4_74.6	UNSAT	4.22
robots_1_5_5_91.8	UNSAT	4.26
S-edau-34	UNSAT	4.29
robots_1_5_4_54.7	UNSAT	4.32
T-edau-20	UNSAT	4.42
ncf_16_32_8_u.7	SAT	4.56
ncf_16_64_4_d.6	UNSAT	4.6
robots_1_5_3_56.5	SAT	4.77
S-edau-23	UNSAT	4.84
robots_1_5_4_54.8	UNSAT	4.92
robots_1_5_5_91.9	UNSAT	5.32
robots_1_5_5_45.8	UNSAT	5.35
robots_1_5_5_58.10	UNSAT	5.48
robots_1_5_3_94.5	SAT	5.51
robots_1_5_4_54.9	UNSAT	5.52
robots_1_5_5_58.9	UNSAT	5.58
robots_1_5_5_45.7	UNSAT	5.61
robots_1_5_5_45.6	UNSAT	5.7
ncf_16_32_8_u.5	UNSAT	5.74
robots_1_5_4_74.9	UNSAT	5.77
robots_1_5_3_56.6	SAT	6.01
S-edau-43	UNSAT	6.08
ncf_16_32_8_u.2	UNSAT	6.36
robots_1_5_4_54.10	UNSAT	6.42
robots_1_5_5_91.10	UNSAT	6.44
robots_1_5_2_93.5	SAT	6.59
ncf_4_16_8_euad.5	UNSAT	6.6
robots_1_5_3_98.5	SAT	6.75
robots_1_5_4_74.7	UNSAT	6.94
robots_1_5_4_74.8	UNSAT	7.03
robots_1_5_4_74.10	UNSAT	7.22
ncf_8_16_4_u.7	SAT	7.35
robots_1_5_5_45.10	UNSAT	7.43
robots_1_5_2_46.5	SAT	8.02
robots_1_5_3_56.7	SAT	8.7
robots_1_5_2_46.7	UNSAT	10.15
robots_1_5_3_94.9	UNSAT	11.33
robots_1_5_4_46.10	UNSAT	11.71
robots_1_5_3_94.7	UNSAT	13.07
ncf_16_32_8_u.9	UNSAT	13.52
robots_1_5_5_45.9	UNSAT	13.59
robots_1_5_3_94.6	SAT	14.64
robots_1_5_3_56.8	SAT	15.16
robots_1_5_4_46.7	UNSAT	18.9
robots_1_5_2_46.10	UNSAT	20.12
robots_1_5_4_46.6	SAT	20.64
robots_1_5_2_46.9	UNSAT	22.1
robots_1_5_4_46.9	UNSAT	22.73
robots_1_5_2_46.6	SAT	23.8
robots_1_5_5_45.5	SAT	24.76
x70.10	UNSAT	28.73
ncf_16_64_4_d.3	UNSAT	31.1
robots_1_5_2_65.5	SAT	31.39
x70.0	UNSAT	32.97
robots_1_5_3_56.9	SAT	36.19
robots_1_5_3_98.6	SAT	37.24
robots_1_5_3_94.8	UNSAT	40.01
x70.12	UNSAT	40.82
x70.6	UNSAT	41.03
ncf_16_64_4_d.2	UNSAT	42.93
robots_1_5_2_46.8	UNSAT	45.46
robots_1_5_2_93.6	SAT	53.31
x70.5	UNSAT	59.8
x70.1	UNSAT	66.66
x70.3	UNSAT	67.77
robots_1_5_3_94.10	UNSAT	68.69
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp	SAT	70.02
x70.16	UNSAT	72.38
ncf_16_64_4_d.8	UNSAT	79.88
ncf_16_64_4_d.1	SAT	86.4
x70.8	UNSAT	121.14
ncf_16_64_4_d.10	UNSAT	130.37
robots_1_5_4_46.8	UNSAT	131
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp	SAT	131.78
x210.7	FAIL	144.12
x210.12	FAIL	144.42
x210.1	FAIL	151.02
robots_1_5_3_98.7	SAT	157.86
x220.0	FAIL	160.43
ncf_4_16_8_euad.6	SAT	161.63
x220.12	FAIL	163.42
x210.6	FAIL	164.42
robots_1_5_3_56.10	SAT	164.65
x220.19	FAIL	172.53
x210.3	FAIL	172.82
x70.7	UNSAT	179.83
robots_1_5_2_93.7	SAT	188.28
x300.6	FAIL	199.62
x165.9	UNSAT	235.67
robots_1_5_2_65.6	SAT	245.66
x165.19	UNSAT	249.49
robots_1_5_2_93.10	FAIL	258.82
ncf_16_32_8_u.1	SAT	295.73
x165.6	UNSAT	369.53
x300.3	FAIL	376.62
x165.0	UNSAT	391.04
ncf_4_16_8_euad.1	SAT	456.66
robots_1_5_3_98.9	FAIL	480.82
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp	UNSAT	498.54
robots_1_5_3_98.10	FAIL	499.42
ncf_16_64_4_d.7	UNSAT	516.95
Q_3-3-3_v-100-100-100_r-50.1	FAIL	542.52
x165.11	UNSAT	548.05
Q_3-3-3_v-100-100-100_r-50.3	FAIL	555.52
Q_3-3-3_v-100-100-100_r-50.2	FAIL	569.63
Q_3-3-3_v-100-100-100_r-50.9	FAIL	577.82
Q_3-3-3_v-100-100-100_r-50.5	FAIL	584.32
Q_3-3-3_v-100-100-100_r-50.7	FAIL	597.72
Q_2-2-3_v-100-100-100_r-35.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.2	FAIL	599.71
Q_3-3_v-100-100_r-19.7	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.5	FAIL	599.71
Q_3-3_v-100-100_r-17.1	FAIL	599.71
ncf_16_128_8_edau.4	FAIL	599.71
Q_3-3_v-100-100_r-15.8	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-35.6	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp	FAIL	599.71
Q_3-3_v-100-100_r-11.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-35.2	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.1	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.0	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.9	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-65.2	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-65.7	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-75.0	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.1	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.3	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.7	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.9	FAIL	599.71
Q_2-3_v-80-100_r-11.3	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-55.5	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-45.1	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-45.3	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-45.4	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-45.6	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-45.9	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-55.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.3	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-30.7	FAIL	599.71
x300.15	FAIL	599.71
ncf_16_128_8_edau.10	FAIL	599.71
robots_1_5_2_65.9	FAIL	599.71
ncf_16_128_8_edau.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.5	FAIL	599.71
x300.19	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-60.1	FAIL	599.71
robots_1_5_2_65.8	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.3	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.6	FAIL	599.71
ncf_16_128_8_edau.5	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.4	FAIL	599.71
ncf_16_128_8_euad.5	FAIL	599.71
x220.8	FAIL	599.71
x220.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.0	FAIL	599.71
ncf_16_128_2_u.9	FAIL	599.71
x210.11	FAIL	599.71
x220.2	FAIL	599.71
x210.17	FAIL	599.71
x300.8	FAIL	599.71
ncf_16_128_8_euad.4	FAIL	599.72
Q_2-2-3_v-100-100-100_r-35.5	FAIL	599.72
Q_3-3_v-100-100_r-19.8	FAIL	599.72
Q_2-2-3_v-100-100-100_r-55.8	FAIL	599.72
x300.4	FAIL	599.72
Q_2-2-3_v-100-100-100_r-65.4	FAIL	599.72
Q_2-3_v-80-100_r-7.0	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.4	FAIL	599.81
Q_2-3_v-80-100_r-7.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.3	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.6	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.0	FAIL	599.81
Q_2-3_v-80-100_r-5.9	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.2	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.0	FAIL	599.81
Q_3-3_v-100-100_r-11.0	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.8	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.5	FAIL	599.81
Q_2-3_v-80-100_r-5.8	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.6	FAIL	599.81
Q_2-3_v-80-100_r-13.7	FAIL	599.81
Q_2-3_v-80-100_r-11.9	FAIL	599.81
Q_2-3_v-80-100_r-13.6	FAIL	599.81
Q_2-3_v-80-100_r-13.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.7	FAIL	599.81
Q_2-3_v-80-100_r-13.4	FAIL	599.81
Q_2-3_v-80-100_r-13.3	FAIL	599.81
Q_2-3_v-80-100_r-13.2	FAIL	599.81
Q_2-3_v-80-100_r-13.1	FAIL	599.81
Q_2-3_v-80-100_r-13.8	FAIL	599.81
Q_2-3_v-80-100_r-5.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.7	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.8	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.9	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.1	FAIL	599.81
Q_2-3_v-80-100_r-5.7	FAIL	599.81
Q_2-3_v-80-100_r-5.6	FAIL	599.81
Q_2-3_v-80-100_r-5.5	FAIL	599.81
Q_2-3_v-80-100_r-5.4	FAIL	599.81
Q_2-3_v-80-100_r-5.2	FAIL	599.81
Q_2-3_v-80-100_r-13.0	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.8	FAIL	599.81
Q_3-3_v-100-100_r-17.6	FAIL	599.81
Q_3-3_v-100-100_r-17.4	FAIL	599.81
Q_3-3_v-100-100_r-17.3	FAIL	599.81
Q_3-3_v-100-100_r-17.2	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.4	FAIL	599.81
Q_3-3_v-100-100_r-17.0	FAIL	599.81
Q_3-3_v-100-100_r-15.9	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.6	FAIL	599.81
Q_2-3_v-80-100_r-11.5	FAIL	599.81
Q_3-3_v-100-100_r-15.6	FAIL	599.81
Q_3-3_v-100-100_r-15.5	FAIL	599.81
Q_3-3_v-100-100_r-15.2	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.7	FAIL	599.81
Q_3-3_v-100-100_r-17.7	FAIL	599.81
Q_3-3_v-100-100_r-19.0	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.4	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.3	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.9	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.0	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.0	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.1	FAIL	599.81
Q_3-3_v-100-100_r-19.9	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.3	FAIL	599.81
Q_3-3_v-100-100_r-19.4	FAIL	599.81
Q_3-3_v-100-100_r-19.3	FAIL	599.81
Q_3-3_v-100-100_r-19.2	FAIL	599.81
Q_3-3_v-100-100_r-19.1	FAIL	599.81
Q_3-3_v-100-100_r-15.0	FAIL	599.81
Q_3-3_v-100-100_r-13.9	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.8	FAIL	599.81
Q_2-3_v-80-100_r-9.6	FAIL	599.81
Q_2-3_v-80-100_r-9.5	FAIL	599.81
Q_2-3_v-80-100_r-9.4	FAIL	599.81
Q_2-3_v-80-100_r-9.3	FAIL	599.81
Q_2-3_v-80-100_r-9.2	FAIL	599.81
Q_2-3_v-80-100_r-7.8	FAIL	599.81
Q_2-3_v-80-100_r-7.7	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.6	FAIL	599.81
Q_2-3_v-80-100_r-7.5	FAIL	599.81
Q_2-3_v-80-100_r-7.4	FAIL	599.81
Q_2-3_v-80-100_r-7.3	FAIL	599.81
Q_2-3_v-80-100_r-9.7	FAIL	599.81
Q_2-3_v-80-100_r-9.9	FAIL	599.81
Q_3-3_v-100-100_r-13.8	FAIL	599.81
Q_3-3_v-100-100_r-13.6	FAIL	599.81
Q_3-3_v-100-100_r-13.5	FAIL	599.81
Q_3-3_v-100-100_r-13.4	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.6	FAIL	599.81
Q_3-3_v-100-100_r-13.2	FAIL	599.81
Q_3-3_v-100-100_r-13.1	FAIL	599.81
Q_3-3_v-100-100_r-13.0	FAIL	599.81
Q_3-3_v-100-100_r-11.9	FAIL	599.81
Q_3-3_v-100-100_r-11.8	FAIL	599.81
Q_3-3_v-100-100_r-11.7	FAIL	599.81
Q_3-3_v-100-100_r-11.5	FAIL	599.81
Q_3-3_v-100-100_r-11.2	FAIL	599.81
Q_2-3_v-80-100_r-7.2	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	FAIL	599.81
ncf_16_128_2_u.2	FAIL	599.81
ncf_16_128_8_euad.10	FAIL	599.81
ncf_16_128_2_u.8	FAIL	599.81
ncf_16_128_8_euad.2	FAIL	599.81
ncf_16_128_8_edau.6	FAIL	599.81
ncf_16_128_2_u.1	FAIL	599.81
ncf_16_128_8_edau.1	FAIL	599.81
ncf_16_128_2_u.4	FAIL	599.81
ncf_16_128_8_edau.3	FAIL	599.81
ncf_16_128_8_edau.7	FAIL	599.81
ncf_16_128_8_euad.3	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp	FAIL	599.81
ncf_16_128_8_edau.2	FAIL	599.81
ncf_16_64_4_d.5	FAIL	599.81
x165.10	FAIL	599.81
x165.13	FAIL	599.81
x165.3	FAIL	599.81
x210.15	FAIL	599.81
x210.16	FAIL	599.81
x210.9	FAIL	599.81
x220.10	FAIL	599.81
x300.5	FAIL	599.81
x300.1	FAIL	599.81
x300.16	FAIL	599.81
x300.12	FAIL	599.81
x220.13	FAIL	599.81
x220.9	FAIL	599.81
robots_1_5_2_93.9	FAIL	599.81
robots_1_5_2_93.8	FAIL	599.81
robots_1_5_3_98.8	FAIL	599.81
ncf_16_128_8_euad.1	FAIL	599.81
ncf_16_128_2_u.6	FAIL	599.81
ncf_16_64_4_d.4	FAIL	599.81
ncf_16_128_8_euad.6	FAIL	599.81
ncf_16_128_8_edau.9	FAIL	599.81
ncf_4_16_8_euad.9	FAIL	599.81
ncf_16_128_2_u.5	FAIL	599.81
ncf_16_128_2_u.10	FAIL	599.81
ncf_16_128_8_euad.9	FAIL	599.81
robots_1_5_2_65.10	FAIL	599.81
robots_1_5_2_65.7	FAIL	599.81
x220.16	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-75.2	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.3	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.6	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.0	FAIL	599.81
Q_2-2-3_v-100-100-100_r-55.9	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.4	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.7	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp	FAIL	599.81
Q_2-3_v-80-100_r-13.9	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-55.7	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-75.5	FAIL	599.81
Q_2-3_v-80-100_r-11.0	FAIL	599.81
Q_2-3_v-80-100_r-11.1	FAIL	599.81
Q_2-3_v-80-100_r-11.2	FAIL	599.81
Q_2-3_v-80-100_r-11.4	FAIL	599.81
Q_2-3_v-80-100_r-11.6	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp	FAIL	599.81
Q_2-3_v-80-100_r-11.7	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-75.4	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.8	FAIL	599.81
Q_2-3_v-80-100_r-7.9	FAIL	599.82
Q_3-3_v-100-100_r-19.5	FAIL	599.82
Q_3-3_v-100-100_r-15.7	FAIL	599.82
ncf_16_128_8_euad.7	FAIL	599.82
ncf_16_128_8_euad.8	FAIL	599.82
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp	FAIL	599.82
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp	FAIL	599.91
Q_3-3_v-100-100_r-13.3	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp	FAIL	599.91
Q_2-3_v-80-100_r-5.0	FAIL	599.91
x165.8	FAIL	599.91
ncf_16_64_4_d.9	FAIL	599.91
Q_3-3-3_v-100-100-100_r-40.5	FAIL	599.91
Q_2-3_v-80-100_r-5.3	FAIL	599.91
x165.17	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp	FAIL	599.91
Q_3-3_v-100-100_r-17.8	FAIL	599.91
Q_3-3_v-100-100_r-11.4	FAIL	599.91
Q_3-3_v-100-100_r-17.5	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp	FAIL	599.91
Q_3-3_v-100-100_r-15.4	FAIL	599.91
Q_3-3_v-100-100_r-15.3	FAIL	599.91
Q_3-3_v-100-100_r-15.1	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp	FAIL	599.91
Q_3-3_v-100-100_r-17.9	FAIL	599.91
Q_3-3_v-100-100_r-11.1	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp	FAIL	599.91
ncf_16_128_2_u.7	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp	FAIL	599.91
ncf_16_128_2_u.3	FAIL	599.91
Q_3-3-3_v-100-100-100_r-40.2	FAIL	599.91
Q_2-3_v-80-100_r-9.0	FAIL	599.91
Q_2-3_v-80-100_r-9.1	FAIL	599.91
Q_2-3_v-80-100_r-11.8	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp	FAIL	599.91
Q_2-3_v-80-100_r-9.8	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp	FAIL	599.91
Q_3-3_v-100-100_r-19.6	FAIL	599.91
Q_3-3_v-100-100_r-13.7	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp	FAIL	599.92
Q_3-3_v-100-100_r-11.6	FAIL	600.01

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qestos
QBFEVAL'16 - Random QBFs Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qestos QBFEVAL'16 - Random QBFs Track.

Instances solved by qestos
QBFEVAL'16 - Random QBFs Track.