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

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

Instance	Result	Time
ncf_4_16_2_d.7	SAT	0.03
ncf_4_16_2_d.9	SAT	0.03
ncf_8_16_4_u.2	UNSAT	0.03
ncf_8_16_4_u.1	SAT	0.03
ncf_4_16_2_d.4	SAT	0.03
ncf_8_16_4_u.6	UNSAT	0.03
ncf_4_16_2_d.6	SAT	0.03
ncf_4_16_2_d.2	SAT	0.03
ncf_8_16_4_u.8	UNSAT	0.03
ncf_8_16_4_u.10	SAT	0.03
ncf_8_16_4_u.5	UNSAT	0.03
robots_1_5_3_94.1	SAT	0.04
robots_1_5_5_91.1	SAT	0.04
robots_1_5_5_58.1	SAT	0.04
robots_1_5_3_98.1	SAT	0.04
ncf_4_16_2_d.10	UNSAT	0.04
ncf_4_16_2_d.5	UNSAT	0.04
robots_1_5_4_46.1	SAT	0.04
ncf_8_16_4_u.3	SAT	0.04
ncf_4_16_8_euad.7	SAT	0.04
ncf_8_16_4_u.4	SAT	0.04
ncf_4_16_2_d.8	SAT	0.04
robots_1_5_4_74.1	SAT	0.04
robots_1_5_2_65.1	SAT	0.05
robots_1_5_2_93.1	SAT	0.05
robots_1_5_2_46.1	SAT	0.05
ncf_16_32_8_u.3	SAT	0.05
robots_1_5_3_56.1	SAT	0.05
ncf_16_32_8_u.4	SAT	0.05
robots_1_5_4_54.1	SAT	0.05
robots_1_5_5_45.1	SAT	0.05
ncf_4_16_2_d.1	UNSAT	0.07
ncf_16_32_8_u.10	SAT	0.07
ncf_16_32_8_u.8	UNSAT	0.08
ncf_16_32_8_u.6	SAT	0.2
robots_1_5_5_58.2	SAT	0.23
robots_1_5_5_91.2	SAT	0.23
robots_1_5_5_45.2	SAT	0.23
robots_1_5_4_74.2	SAT	0.23
robots_1_5_4_54.2	SAT	0.24
robots_1_5_4_46.2	SAT	0.24
robots_1_5_3_56.2	SAT	0.25
robots_1_5_3_98.2	SAT	0.25
robots_1_5_2_93.2	SAT	0.26
robots_1_5_3_94.2	SAT	0.26
robots_1_5_2_65.2	SAT	0.27
robots_1_5_2_46.2	SAT	0.28
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp	UNSAT	0.3
ncf_4_16_8_euad.10	SAT	0.34
ncf_4_16_2_d.3	UNSAT	0.36
robots_1_5_4_74.3	SAT	0.49
robots_1_5_4_54.3	SAT	0.5
robots_1_5_5_91.3	SAT	0.51
robots_1_5_5_58.3	SAT	0.51
robots_1_5_5_45.3	SAT	0.52
robots_1_5_4_46.3	SAT	0.52
ncf_4_16_8_euad.8	UNSAT	0.53
ncf_4_16_8_euad.2	SAT	0.55
ncf_4_16_8_euad.4	SAT	0.56
ncf_4_16_8_euad.5	UNSAT	0.65
robots_1_5_3_98.3	SAT	0.65
robots_1_5_3_94.3	SAT	0.67
robots_1_5_3_56.3	SAT	0.7
ncf_4_16_8_euad.9	SAT	0.7
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp	UNSAT	0.72
robots_1_5_2_93.3	SAT	0.78
robots_1_5_2_65.3	SAT	0.82
ncf_4_16_8_euad.1	SAT	0.84
robots_1_5_5_58.4	SAT	0.87
robots_1_5_4_54.4	SAT	0.88
robots_1_5_5_45.4	SAT	0.93
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp	UNSAT	0.94
ncf_4_16_8_euad.3	SAT	0.94
robots_1_5_4_74.4	SAT	0.94
T-edau-20	UNSAT	0.96
T-edau-18	UNSAT	0.98
robots_1_5_5_91.4	SAT	1
S-edau-8	UNSAT	1
robots_1_5_4_46.4	SAT	1.04
S-adeu-32	UNSAT	1.05
T-edau-8	UNSAT	1.06
T-edau-23	UNSAT	1.08
ncf_8_16_4_u.9	UNSAT	1.18
S-adeu-30	UNSAT	1.18
x40.10	UNSAT	1.21
S-edau-20	UNSAT	1.24
S-edau-17	UNSAT	1.25
robots_1_5_2_46.3	SAT	1.29
ncf_16_32_8_u.7	SAT	1.3
S-edau-30	UNSAT	1.3
x35.3	UNSAT	1.33
S-edau-34	UNSAT	1.35
robots_1_5_4_74.5	SAT	1.35
robots_1_5_3_94.4	SAT	1.36
x35.10	UNSAT	1.37
T-adeu-25	UNSAT	1.37
S-adeu-49	UNSAT	1.37
robots_1_5_5_45.5	SAT	1.39
robots_1_5_5_58.5	UNSAT	1.42
S-adeu-28	UNSAT	1.44
robots_1_5_3_98.4	SAT	1.46
x35.5	UNSAT	1.49
robots_1_5_4_46.5	SAT	1.49
robots_1_5_2_46.4	SAT	1.53
x35.2	SAT	1.59
robots_1_5_5_91.5	UNSAT	1.6
robots_1_5_4_54.5	UNSAT	1.61
S-edau-7	UNSAT	1.66
robots_1_5_3_56.4	SAT	1.66
robots_1_5_2_93.4	SAT	1.73
x35.1	SAT	1.78
S-edau-29	UNSAT	1.79
x35.9	SAT	1.8
x35.19	UNSAT	1.81
x40.19	UNSAT	1.85
S-edau-23	UNSAT	1.88
ncf_16_32_8_u.9	UNSAT	1.99
x40.1	UNSAT	2.08
x40.5	UNSAT	2.11
x40.4	UNSAT	2.13
x40.17	UNSAT	2.26
ncf_16_64_4_d.1	SAT	2.29
x35.11	UNSAT	2.36
x35.15	UNSAT	2.36
robots_1_5_5_58.6	UNSAT	2.38
x35.13	UNSAT	2.4
robots_1_5_4_54.6	UNSAT	2.4
x40.12	SAT	2.42
robots_1_5_3_94.5	SAT	2.42
x25.19	UNSAT	2.46
S-edau-43	UNSAT	2.51
robots_1_5_5_45.8	UNSAT	2.52
robots_1_5_5_58.8	UNSAT	2.56
x25.5	UNSAT	2.57
robots_1_5_4_54.8	UNSAT	2.63
robots_1_5_2_65.4	SAT	2.64
robots_1_5_3_56.5	SAT	2.64
ncf_16_32_8_u.5	UNSAT	2.66
robots_1_5_5_91.6	UNSAT	2.67
x25.4	UNSAT	2.7
robots_1_5_4_46.6	SAT	2.7
x40.18	SAT	2.73
robots_1_5_3_98.5	SAT	2.76
robots_1_5_4_74.6	UNSAT	2.84
x25.15	UNSAT	2.84
robots_1_5_4_74.8	UNSAT	2.86
x25.10	UNSAT	2.86
x40.6	UNSAT	2.89
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp	UNSAT	2.89
x25.2	SAT	2.89
robots_1_5_5_45.6	UNSAT	2.9
robots_1_5_4_54.9	UNSAT	2.92
robots_1_5_5_45.9	UNSAT	2.96
robots_1_5_4_46.7	UNSAT	3.07
robots_1_5_5_58.7	UNSAT	3.08
robots_1_5_2_93.5	SAT	3.11
robots_1_5_5_91.8	UNSAT	3.12
robots_1_5_5_58.9	UNSAT	3.13
robots_1_5_2_46.5	SAT	3.23
robots_1_5_4_74.7	UNSAT	3.25
x25.7	UNSAT	3.28
robots_1_5_4_54.7	UNSAT	3.28
ncf_4_16_8_euad.6	SAT	3.3
robots_1_5_5_91.7	UNSAT	3.32
robots_1_5_5_58.10	UNSAT	3.33
robots_1_5_3_56.6	SAT	3.35
x25.16	SAT	3.38
robots_1_5_5_45.7	UNSAT	3.38
T-edau-6	UNSAT	3.39
ncf_16_64_4_d.2	UNSAT	3.46
x25.13	UNSAT	3.61
ncf_16_32_8_u.1	SAT	3.69
T-edau-2	UNSAT	3.71
x70.16	UNSAT	3.75
robots_1_5_2_65.5	SAT	3.75
ncf_16_64_4_d.9	SAT	3.76
x40.11	SAT	3.8
robots_1_5_4_46.9	UNSAT	3.86
robots_1_5_4_74.10	UNSAT	3.86
robots_1_5_5_91.10	UNSAT	3.91
robots_1_5_4_46.8	UNSAT	3.92
ncf_16_64_4_d.5	UNSAT	3.96
ncf_8_16_4_u.7	SAT	4.04
ncf_16_64_4_d.7	UNSAT	4.12
S-edau-1	UNSAT	4.15
x70.1	UNSAT	4.2
T-adeu-6	UNSAT	4.55
T-edau-24	UNSAT	4.68
T-adeu-15	UNSAT	4.91
S-adeu-6	UNSAT	4.92
robots_1_5_5_45.10	UNSAT	4.92
robots_1_5_4_74.9	UNSAT	4.96
robots_1_5_3_94.6	SAT	4.99
x25.8	UNSAT	5.02
T-edau-26	UNSAT	5.07
robots_1_5_3_98.6	SAT	5.1
S-adeu-29	UNSAT	5.28
x70.10	UNSAT	5.45
robots_1_5_2_46.7	UNSAT	5.49
T-edau-44	UNSAT	5.52
T-adeu-42	UNSAT	5.6
x70.5	UNSAT	5.72
ncf_16_64_4_d.10	UNSAT	5.76
S-adeu-15	UNSAT	5.82
T-adeu-38	UNSAT	5.89
robots_1_5_4_54.10	UNSAT	6.39
robots_1_5_4_46.10	UNSAT	6.5
robots_1_5_5_91.9	UNSAT	6.6
robots_1_5_3_56.7	SAT	6.76
T-adeu-10	UNSAT	6.9
S-adeu-41	UNSAT	6.94
T-adeu-7	UNSAT	7.14
robots_1_5_2_93.6	SAT	7.26
robots_1_5_2_46.6	SAT	7.61
x70.3	UNSAT	8.01
S-adeu-47	UNSAT	8.17
x70.8	UNSAT	8.83
robots_1_5_3_94.9	UNSAT	9.07
x70.7	UNSAT	9.49
x70.12	UNSAT	9.61
robots_1_5_3_94.7	UNSAT	10.06
ncf_16_32_8_u.2	UNSAT	10.11
robots_1_5_3_94.10	UNSAT	10.22
x70.6	UNSAT	10.61
robots_1_5_3_94.8	UNSAT	10.68
T-adeu-49	UNSAT	11.56
S-adeu-19	UNSAT	12.32
ncf_16_64_4_d.6	UNSAT	14.49
x70.0	UNSAT	14.54
robots_1_5_2_65.6	SAT	15.1
T-adeu-39	UNSAT	16.13
robots_1_5_3_98.7	SAT	17.07
T-edau-9	UNSAT	18.57
robots_1_5_3_98.9	UNSAT	18.99
ncf_16_64_4_d.4	UNSAT	19.42
T-adeu-9	UNSAT	21.4
robots_1_5_3_56.8	SAT	23.82
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp	UNSAT	36.52
robots_1_5_3_98.10	UNSAT	37.04
ncf_16_64_4_d.8	UNSAT	41.17
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp	UNSAT	42.42
robots_1_5_2_46.10	UNSAT	44.76
robots_1_5_3_56.9	SAT	45.66
robots_1_5_2_46.8	UNSAT	45.95
robots_1_5_2_93.7	SAT	63.68
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp	SAT	83.73
robots_1_5_2_65.7	SAT	106.95
x165.8	UNSAT	112.46
robots_1_5_2_46.9	UNSAT	124.08
ncf_16_64_4_d.3	UNSAT	126.2
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp	SAT	152.79
x165.17	UNSAT	154.25
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp	UNSAT	184.47
Q_2-3_v-80-100_r-13.2	UNSAT	218.16
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp	SAT	218.41
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp	SAT	224.08
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp	UNSAT	226.65
x165.10	UNSAT	236.4
robots_1_5_3_56.10	SAT	265.4
robots_1_5_3_98.8	UNSAT	277.34
x210.7	UNSAT	321.74
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	UNSAT	328.3
x165.9	UNSAT	339.33
robots_1_5_2_93.8	SAT	362.13
x210.16	UNSAT	464.45
x165.13	UNSAT	491.64
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp	UNSAT	572.41
x220.16	FAIL	597.21
Q_2-2-3_v-100-100-100_r-55.1	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.0	FAIL	599.71
Q_3-3_v-100-100_r-15.4	FAIL	599.71
Q_3-3_v-100-100_r-15.8	FAIL	599.71
Q_3-3_v-100-100_r-15.5	FAIL	599.71
Q_3-3_v-100-100_r-15.6	FAIL	599.71
Q_3-3_v-100-100_r-15.7	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-55.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-65.2	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-65.0	FAIL	599.71
Q_3-3_v-100-100_r-15.0	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.9	FAIL	599.71
Q_3-3_v-100-100_r-15.2	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-55.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.4	FAIL	599.71
Q_3-3_v-100-100_r-15.3	FAIL	599.71
Q_3-3_v-100-100_r-15.9	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.2	FAIL	599.71
ncf_16_128_8_edau.1	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#408.w#2.s#2.asp	FAIL	599.71
Q_3-3_v-100-100_r-19.6	FAIL	599.71
Q_3-3_v-100-100_r-19.8	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	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-17.0	FAIL	599.71
Q_3-3_v-100-100_r-17.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.8	FAIL	599.71
Q_3-3_v-100-100_r-17.3	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.4	FAIL	599.71
Q_3-3_v-100-100_r-17.7	FAIL	599.71
Q_2-3_v-80-100_r-5.9	FAIL	599.71
ncf_16_128_8_edau.4	FAIL	599.71
ncf_16_128_8_euad.2	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp	FAIL	599.71
Q_2-3_v-80-100_r-7.9	FAIL	599.71
Q_2-3_v-80-100_r-5.5	FAIL	599.71
Q_2-3_v-80-100_r-9.5	FAIL	599.71
Q_2-3_v-80-100_r-9.6	FAIL	599.71
Q_2-3_v-80-100_r-5.2	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-9.8	FAIL	599.71
Q_2-3_v-80-100_r-9.9	FAIL	599.71
Q_2-3_v-80-100_r-13.6	FAIL	599.71
Q_2-3_v-80-100_r-5.6	FAIL	599.71
Q_2-3_v-80-100_r-5.7	FAIL	599.71
Q_2-3_v-80-100_r-5.8	FAIL	599.71
Q_2-3_v-80-100_r-7.8	FAIL	599.71
Q_2-3_v-80-100_r-7.7	FAIL	599.71
Q_2-3_v-80-100_r-9.2	FAIL	599.71
Q_2-3_v-80-100_r-7.5	FAIL	599.71
Q_2-3_v-80-100_r-7.4	FAIL	599.71
Q_2-3_v-80-100_r-9.3	FAIL	599.71
Q_2-3_v-80-100_r-7.2	FAIL	599.71
Q_2-3_v-80-100_r-7.1	FAIL	599.71
Q_2-3_v-80-100_r-7.0	FAIL	599.71
Q_2-3_v-80-100_r-13.5	FAIL	599.71
Q_2-3_v-80-100_r-13.4	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.4	FAIL	599.71
Q_3-3_v-100-100_r-13.1	FAIL	599.71
Q_3-3_v-100-100_r-13.2	FAIL	599.71
Q_3-3_v-100-100_r-13.3	FAIL	599.71
Q_3-3_v-100-100_r-13.4	FAIL	599.71
Q_2-3_v-80-100_r-9.1	FAIL	599.71
Q_3-3_v-100-100_r-13.6	FAIL	599.71
Q_3-3_v-100-100_r-13.7	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.0	FAIL	599.71
Q_2-3_v-80-100_r-11.1	FAIL	599.71
Q_3-3_v-100-100_r-11.0	FAIL	599.71
Q_3-3_v-100-100_r-11.1	FAIL	599.71
Q_3-3_v-100-100_r-11.2	FAIL	599.71
Q_2-3_v-80-100_r-13.0	FAIL	599.71
Q_3-3_v-100-100_r-11.4	FAIL	599.71
Q_2-3_v-80-100_r-11.5	FAIL	599.71
Q_2-3_v-80-100_r-11.4	FAIL	599.71
Q_3-3_v-100-100_r-11.7	FAIL	599.71
Q_2-3_v-80-100_r-11.2	FAIL	599.71
Q_3-3_v-100-100_r-13.9	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.5	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-60.5	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.2	FAIL	599.71
ncf_16_128_2_u.4	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp	FAIL	599.71
x210.11	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.8	FAIL	599.71
x210.17	FAIL	599.71
x210.1	FAIL	599.71
x210.6	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp	FAIL	599.71
x210.9	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp	FAIL	599.71
ncf_16_128_8_edau.7	FAIL	599.71
x165.19	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.6	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.7	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.8	FAIL	599.71
robots_1_5_2_65.8	FAIL	599.71
x300.8	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-40.7	FAIL	599.71
ncf_16_128_2_u.6	FAIL	599.71
ncf_16_128_8_euad.1	FAIL	599.71
ncf_16_128_2_u.3	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.3	FAIL	599.71
x220.0	FAIL	599.71
x220.12	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-30.2	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.6	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.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
Q_3-3-3_v-100-100-100_r-30.1	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.8	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#376.w#2.s#5.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.0	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#6.s#6.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp	FAIL	599.71
x300.1	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.5	FAIL	599.71
x220.13	FAIL	599.71
x220.19	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp	FAIL	599.71
x220.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.4	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp	FAIL	599.71
x220.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.2	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#352.w#4.s#8.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp	FAIL	599.71
x300.15	FAIL	599.72
Q_2-2-3_v-100-100-100_r-65.8	FAIL	599.72
Q_3-3-3_v-100-100-100_r-70.1	FAIL	599.81
Q_3-3_v-100-100_r-17.6	FAIL	599.81
Q_3-3_v-100-100_r-19.9	FAIL	599.81
Q_3-3_v-100-100_r-17.5	FAIL	599.81
Q_3-3_v-100-100_r-17.4	FAIL	599.81
Q_3-3_v-100-100_r-17.2	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.0	FAIL	599.81
Q_3-3_v-100-100_r-17.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.6	FAIL	599.81
Q_2-3_v-80-100_r-9.7	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.7	FAIL	599.81
Q_3-3_v-100-100_r-17.9	FAIL	599.81
Q_2-3_v-80-100_r-9.4	FAIL	599.81
Q_3-3_v-100-100_r-15.1	FAIL	599.81
Q_3-3_v-100-100_r-19.7	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.7	FAIL	599.81
Q_3-3_v-100-100_r-19.5	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-70.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.4	FAIL	599.81
Q_3-3_v-100-100_r-19.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.3	FAIL	599.81
Q_3-3_v-100-100_r-19.0	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-30.8	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.8	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.0	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.9	FAIL	599.81
Q_3-3_v-100-100_r-11.8	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.9	FAIL	599.81
Q_3-3_v-100-100_r-11.9	FAIL	599.81
Q_3-3_v-100-100_r-13.0	FAIL	599.81
Q_3-3_v-100-100_r-13.8	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.6	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.4	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-40.0	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-40.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.6	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.3	FAIL	599.81
Q_3-3_v-100-100_r-11.3	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.5	FAIL	599.81
Q_3-3_v-100-100_r-11.5	FAIL	599.81
Q_3-3_v-100-100_r-11.6	FAIL	599.81
Q_3-3_v-100-100_r-13.5	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#296.w#2.s#6.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp	FAIL	599.81
ncf_16_128_8_edau.3	FAIL	599.81
ncf_16_128_8_euad.5	FAIL	599.81
ncf_16_128_8_euad.3	FAIL	599.81
ncf_16_128_8_edau.2	FAIL	599.81
ncf_16_128_8_euad.4	FAIL	599.81
ncf_16_128_2_u.7	FAIL	599.81
ncf_16_128_8_edau.5	FAIL	599.81
ncf_16_128_8_euad.6	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#296.w#6.s#1.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
ci.e#1.a#3.E#40.A#60.c#376.w#6.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
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#368.w#2.s#2.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.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#296.w#6.s#7.asp	FAIL	599.81
ncf_16_128_8_euad.8	FAIL	599.81
ncf_16_128_8_edau.9	FAIL	599.81
x210.15	FAIL	599.81
x210.3	FAIL	599.81
x220.10	FAIL	599.81
x220.2	FAIL	599.81
x220.9	FAIL	599.81
x300.12	FAIL	599.81
x300.16	FAIL	599.81
x300.19	FAIL	599.81
x300.3	FAIL	599.81
x300.4	FAIL	599.81
x300.5	FAIL	599.81
x210.12	FAIL	599.81
x165.6	FAIL	599.81
x165.3	FAIL	599.81
ncf_16_128_2_u.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_edau.10	FAIL	599.81
ncf_16_128_8_edau.8	FAIL	599.81
ncf_16_128_8_euad.9	FAIL	599.81
robots_1_5_2_65.9	FAIL	599.81
robots_1_5_2_93.9	FAIL	599.81
robots_1_5_2_93.10	FAIL	599.81
x165.0	FAIL	599.81
x165.11	FAIL	599.81
x300.6	FAIL	599.81
Q_2-3_v-80-100_r-9.0	FAIL	599.81
Q_2-3_v-80-100_r-11.7	FAIL	599.81
Q_2-3_v-80-100_r-11.3	FAIL	599.81
Q_2-2-3_v-100-100-100_r-75.8	FAIL	599.81
Q_2-2-3_v-100-100-100_r-75.6	FAIL	599.81
Q_2-2-3_v-100-100-100_r-75.5	FAIL	599.81
Q_2-2-3_v-100-100-100_r-75.3	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-75.1	FAIL	599.81
Q_2-2-3_v-100-100-100_r-75.0	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.9	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.7	FAIL	599.81
Q_2-3_v-80-100_r-11.8	FAIL	599.81
Q_2-3_v-80-100_r-11.9	FAIL	599.81
Q_2-3_v-80-100_r-7.6	FAIL	599.81
Q_2-3_v-80-100_r-7.3	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.1	FAIL	599.81
Q_2-3_v-80-100_r-5.4	FAIL	599.81
Q_2-3_v-80-100_r-5.3	FAIL	599.81
Q_2-3_v-80-100_r-13.9	FAIL	599.81
Q_2-3_v-80-100_r-13.8	FAIL	599.81
Q_2-3_v-80-100_r-13.7	FAIL	599.81
Q_2-3_v-80-100_r-13.3	FAIL	599.81
ncf_16_128_8_euad.7	FAIL	599.81
Q_2-3_v-80-100_r-13.1	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.6	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.5	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.4	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.9	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.7	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.6	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.5	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.3	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.2	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.0	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
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp	FAIL	599.81
ncf_16_128_8_edau.6	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.0	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.1	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-55.8	FAIL	599.81
Q_2-2-3_v-100-100-100_r-55.7	FAIL	599.81
Q_2-2-3_v-100-100-100_r-55.3	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.9	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.8	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.7	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.5	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.4	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.3	FAIL	599.81
ncf_16_128_2_u.1	FAIL	599.81
Q_2-3_v-80-100_r-11.6	FAIL	599.82
robots_1_5_2_65.10	FAIL	599.91

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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