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

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

Instance	Result	Time
ncf_8_16_4_u.5	UNSAT	0.03
ncf_4_16_2_d.4	SAT	0.03
ncf_8_16_4_u.2	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.10	SAT	0.03
ncf_4_16_2_d.7	SAT	0.03
ncf_4_16_2_d.9	SAT	0.03
robots_1_5_5_45.1	SAT	0.04
robots_1_5_5_91.1	SAT	0.04
ncf_8_16_4_u.3	SAT	0.04
ncf_4_16_2_d.5	UNSAT	0.04
ncf_8_16_4_u.6	UNSAT	0.04
robots_1_5_4_74.1	SAT	0.04
ncf_8_16_4_u.1	SAT	0.04
ncf_4_16_2_d.8	SAT	0.04
robots_1_5_4_46.1	SAT	0.04
robots_1_5_3_94.1	SAT	0.04
ncf_4_16_8_euad.7	SAT	0.04
ncf_8_16_4_u.8	UNSAT	0.04
robots_1_5_2_65.1	SAT	0.04
ncf_4_16_2_d.10	UNSAT	0.04
ncf_8_16_4_u.4	SAT	0.04
robots_1_5_5_58.1	SAT	0.05
robots_1_5_4_54.1	SAT	0.05
robots_1_5_2_93.1	SAT	0.05
ncf_16_32_8_u.4	SAT	0.05
robots_1_5_3_98.1	SAT	0.05
robots_1_5_3_56.1	SAT	0.05
robots_1_5_2_46.1	SAT	0.05
ncf_16_32_8_u.10	SAT	0.06
ncf_16_32_8_u.3	SAT	0.06
ncf_4_16_2_d.1	UNSAT	0.07
ncf_16_32_8_u.8	UNSAT	0.08
ncf_16_32_8_u.6	SAT	0.2
robots_1_5_5_91.2	SAT	0.23
robots_1_5_4_74.2	SAT	0.23
robots_1_5_5_45.2	SAT	0.23
robots_1_5_5_58.2	SAT	0.23
robots_1_5_4_46.2	SAT	0.23
robots_1_5_4_54.2	SAT	0.24
robots_1_5_3_98.2	SAT	0.25
robots_1_5_3_94.2	SAT	0.25
robots_1_5_3_56.2	SAT	0.25
robots_1_5_2_93.2	SAT	0.27
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.46
robots_1_5_4_74.3	SAT	0.48
robots_1_5_5_58.3	SAT	0.51
robots_1_5_4_54.3	SAT	0.51
robots_1_5_5_91.3	SAT	0.51
robots_1_5_4_46.3	SAT	0.52
robots_1_5_5_45.3	SAT	0.52
ncf_4_16_8_euad.10	SAT	0.61
robots_1_5_3_98.3	SAT	0.65
robots_1_5_3_94.3	SAT	0.67
ncf_4_16_2_d.3	UNSAT	0.69
robots_1_5_3_56.3	SAT	0.7
robots_1_5_2_93.3	SAT	0.78
robots_1_5_2_65.3	SAT	0.82
robots_1_5_4_54.4	SAT	0.88
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp	UNSAT	0.89
robots_1_5_5_58.4	SAT	0.9
robots_1_5_5_45.4	SAT	0.92
robots_1_5_4_74.4	SAT	0.94
T-edau-20	UNSAT	0.97
T-edau-18	UNSAT	0.98
ncf_4_16_8_euad.2	SAT	1
ncf_4_16_8_euad.4	SAT	1
robots_1_5_5_91.4	SAT	1
S-edau-8	UNSAT	1.02
robots_1_5_4_46.4	SAT	1.04
S-adeu-32	UNSAT	1.04
T-edau-8	UNSAT	1.07
T-edau-23	UNSAT	1.08
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp	UNSAT	1.13
ncf_4_16_8_euad.8	UNSAT	1.16
ncf_4_16_8_euad.5	UNSAT	1.18
S-adeu-30	UNSAT	1.18
S-edau-17	UNSAT	1.24
S-edau-20	UNSAT	1.24
ncf_4_16_8_euad.1	SAT	1.26
S-edau-30	UNSAT	1.29
robots_1_5_2_46.3	SAT	1.3
ncf_4_16_8_euad.9	SAT	1.31
robots_1_5_4_74.5	SAT	1.35
robots_1_5_3_94.4	SAT	1.35
S-adeu-49	UNSAT	1.36
S-edau-34	UNSAT	1.36
T-adeu-25	UNSAT	1.37
ncf_4_16_8_euad.3	SAT	1.38
robots_1_5_5_45.5	SAT	1.39
robots_1_5_5_58.5	UNSAT	1.41
S-adeu-28	UNSAT	1.44
robots_1_5_4_46.5	SAT	1.49
robots_1_5_3_98.4	SAT	1.52
robots_1_5_2_46.4	SAT	1.54
robots_1_5_5_91.5	UNSAT	1.6
robots_1_5_4_54.5	UNSAT	1.6
robots_1_5_3_56.4	SAT	1.61
S-edau-7	UNSAT	1.66
robots_1_5_2_93.4	SAT	1.75
S-edau-29	UNSAT	1.79
S-edau-23	UNSAT	1.88
ncf_8_16_4_u.9	UNSAT	2.07
x40.10	UNSAT	2.19
x35.10	UNSAT	2.45
S-edau-43	UNSAT	2.53
x35.3	UNSAT	2.54
x35.5	UNSAT	2.63
robots_1_5_3_56.5	SAT	2.64
x35.2	SAT	2.72
robots_1_5_3_94.5	SAT	2.76
robots_1_5_4_46.6	SAT	2.83
ncf_16_32_8_u.7	SAT	2.86
robots_1_5_5_58.6	UNSAT	2.91
robots_1_5_4_74.6	UNSAT	2.93
robots_1_5_2_65.4	SAT	3.02
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp	UNSAT	3.04
robots_1_5_4_46.8	UNSAT	3.08
x35.1	SAT	3.09
robots_1_5_4_54.6	UNSAT	3.1
robots_1_5_5_45.8	UNSAT	3.12
x35.9	SAT	3.17
robots_1_5_5_58.8	UNSAT	3.19
robots_1_5_3_98.5	SAT	3.25
robots_1_5_4_54.8	UNSAT	3.26
robots_1_5_5_91.6	UNSAT	3.26
x40.19	UNSAT	3.32
robots_1_5_4_74.8	UNSAT	3.34
ncf_16_32_8_u.5	UNSAT	3.35
x35.19	UNSAT	3.45
robots_1_5_5_45.6	UNSAT	3.48
x40.4	UNSAT	3.56
x40.1	UNSAT	3.59
x25.13	UNSAT	3.6
robots_1_5_4_46.7	UNSAT	3.65
x40.5	UNSAT	3.66
robots_1_5_5_58.7	UNSAT	3.67
robots_1_5_4_54.9	UNSAT	3.7
robots_1_5_4_54.7	UNSAT	3.72
robots_1_5_5_45.9	UNSAT	3.75
robots_1_5_3_56.6	SAT	3.76
robots_1_5_2_93.5	SAT	3.83
x40.12	SAT	3.85
robots_1_5_5_91.7	UNSAT	3.88
robots_1_5_5_91.8	UNSAT	3.89
robots_1_5_5_58.9	UNSAT	3.94
robots_1_5_4_74.7	UNSAT	3.94
robots_1_5_5_45.7	UNSAT	3.98
x35.11	UNSAT	4.02
robots_1_5_2_46.5	SAT	4.05
x35.13	UNSAT	4.08
x40.17	UNSAT	4.15
robots_1_5_5_58.10	UNSAT	4.35
x40.18	SAT	4.4
robots_1_5_2_65.5	SAT	4.44
x40.6	UNSAT	4.54
robots_1_5_5_91.10	UNSAT	4.61
x25.19	UNSAT	4.82
robots_1_5_4_46.9	UNSAT	4.83
robots_1_5_4_74.10	UNSAT	4.84
ncf_4_16_8_euad.6	SAT	4.98
ncf_16_64_4_d.1	SAT	5
x25.8	UNSAT	5.02
ncf_16_32_8_u.1	SAT	5.13
x25.5	UNSAT	5.13
x25.4	UNSAT	5.35
x35.15	UNSAT	5.38
x25.15	UNSAT	5.44
robots_1_5_3_94.6	SAT	5.45
robots_1_5_5_45.10	UNSAT	5.54
x25.2	SAT	5.64
x25.10	UNSAT	5.75
robots_1_5_4_54.10	UNSAT	5.91
robots_1_5_4_74.9	UNSAT	5.94
x40.11	SAT	6.04
x70.16	UNSAT	6.11
ncf_16_32_8_u.9	UNSAT	6.19
ncf_16_64_4_d.2	UNSAT	6.22
x25.7	UNSAT	6.28
ncf_16_64_4_d.9	SAT	6.31
robots_1_5_2_93.6	SAT	6.4
robots_1_5_3_56.7	SAT	6.5
ncf_8_16_4_u.7	SAT	6.61
robots_1_5_3_98.6	SAT	6.64
T-edau-6	UNSAT	6.75
x25.16	SAT	6.79
ncf_16_64_4_d.7	UNSAT	7.11
T-edau-2	UNSAT	7.45
ncf_16_64_4_d.5	UNSAT	7.58
robots_1_5_4_46.10	UNSAT	7.61
robots_1_5_3_94.8	UNSAT	7.8
robots_1_5_2_46.6	SAT	7.82
robots_1_5_5_91.9	UNSAT	7.88
x70.1	UNSAT	7.93
x70.5	UNSAT	7.95
x70.10	UNSAT	8.13
T-adeu-6	UNSAT	8.35
ncf_16_64_4_d.10	UNSAT	8.46
robots_1_5_2_46.7	UNSAT	8.58
S-adeu-6	UNSAT	8.87
T-edau-26	UNSAT	9.66
robots_1_5_3_94.7	UNSAT	9.86
T-edau-44	UNSAT	10.07
x70.12	UNSAT	10.11
T-adeu-38	UNSAT	10.39
T-adeu-42	UNSAT	10.52
x70.7	UNSAT	10.56
T-edau-24	UNSAT	11.11
x70.8	UNSAT	11.18
S-adeu-29	UNSAT	11.42
T-adeu-15	UNSAT	12.09
S-edau-1	UNSAT	12.11
x70.3	UNSAT	12.27
T-adeu-10	UNSAT	12.43
ncf_16_32_8_u.2	UNSAT	13.46
T-adeu-7	UNSAT	14.16
x70.6	UNSAT	14.5
robots_1_5_2_65.6	SAT	14.72
robots_1_5_3_94.9	UNSAT	15.53
S-adeu-41	UNSAT	15.55
S-adeu-15	UNSAT	15.68
S-adeu-47	UNSAT	15.93
robots_1_5_3_94.10	UNSAT	15.96
x70.0	UNSAT	17.06
S-adeu-19	UNSAT	17.18
ncf_16_64_4_d.6	UNSAT	17.25
T-adeu-49	UNSAT	17.55
robots_1_5_3_56.8	SAT	18.79
robots_1_5_3_98.7	SAT	19.18
robots_1_5_3_98.8	UNSAT	20.05
ncf_16_64_4_d.4	UNSAT	22.37
T-adeu-39	UNSAT	23.12
robots_1_5_3_98.9	UNSAT	28.82
robots_1_5_2_46.10	UNSAT	30.37
robots_1_5_3_56.9	SAT	36.12
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp	UNSAT	36.29
T-edau-9	UNSAT	36.64
T-adeu-9	UNSAT	40.33
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp	UNSAT	42.53
robots_1_5_3_98.10	UNSAT	42.78
ncf_16_64_4_d.8	UNSAT	44.6
robots_1_5_2_93.7	SAT	49.32
robots_1_5_2_46.9	UNSAT	50.21
robots_1_5_2_46.8	UNSAT	54.52
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp	SAT	83.74
robots_1_5_2_65.7	SAT	91.49
ncf_16_64_4_d.3	UNSAT	130.45
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp	SAT	152.09
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp	UNSAT	185.61
Q_2-3_v-80-100_r-13.2	UNSAT	211.46
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp	SAT	218.97
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp	SAT	223.14
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp	UNSAT	230.59
robots_1_5_3_56.10	SAT	235.21
robots_1_5_2_93.8	SAT	251.68
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	UNSAT	325.38
x165.9	UNSAT	367.87
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp	UNSAT	565.8
Q_3-3-3_v-100-100-100_r-50.9	FAIL	599.61
Q_2-2-3_v-100-100-100_r-45.8	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-65.6	FAIL	599.71
Q_2-3_v-80-100_r-11.0	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.7	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-35.2	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-40.7	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.0	FAIL	599.71
Q_2-3_v-80-100_r-11.1	FAIL	599.71
Q_2-3_v-80-100_r-11.3	FAIL	599.71
Q_2-3_v-80-100_r-11.5	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.8	FAIL	599.71
Q_2-3_v-80-100_r-11.2	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.0	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.5	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.7	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp	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.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.7	FAIL	599.71
Q_2-3_v-80-100_r-11.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-30.9	FAIL	599.71
Q_3-3_v-100-100_r-15.2	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-7.4	FAIL	599.71
Q_2-3_v-80-100_r-7.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-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.5	FAIL	599.71
Q_2-3_v-80-100_r-5.4	FAIL	599.71
Q_2-3_v-80-100_r-5.3	FAIL	599.71
Q_2-3_v-80-100_r-7.9	FAIL	599.71
Q_2-3_v-80-100_r-9.1	FAIL	599.71
Q_2-3_v-80-100_r-9.3	FAIL	599.71
Q_3-3_v-100-100_r-15.0	FAIL	599.71
Q_3-3_v-100-100_r-13.8	FAIL	599.71
Q_3-3_v-100-100_r-13.4	FAIL	599.71
Q_3-3_v-100-100_r-13.3	FAIL	599.71
Q_3-3_v-100-100_r-13.1	FAIL	599.71
Q_3-3_v-100-100_r-13.0	FAIL	599.71
Q_3-3_v-100-100_r-11.9	FAIL	599.71
Q_3-3_v-100-100_r-11.8	FAIL	599.71
Q_3-3_v-100-100_r-11.3	FAIL	599.71
Q_3-3_v-100-100_r-11.1	FAIL	599.71
Q_2-3_v-80-100_r-9.9	FAIL	599.71
Q_2-3_v-80-100_r-9.6	FAIL	599.71
Q_3-3_v-100-100_r-15.3	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-17.9	FAIL	599.71
Q_3-3_v-100-100_r-19.0	FAIL	599.71
Q_3-3_v-100-100_r-19.1	FAIL	599.71
Q_3-3_v-100-100_r-19.2	FAIL	599.71
Q_3-3_v-100-100_r-19.3	FAIL	599.71
Q_3-3_v-100-100_r-19.6	FAIL	599.71
Q_3-3_v-100-100_r-19.7	FAIL	599.71
Q_3-3_v-100-100_r-19.9	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.4	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.8	FAIL	599.71
Q_2-3_v-80-100_r-11.8	FAIL	599.71
Q_3-3_v-100-100_r-17.8	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-3_v-100-100-100_r-70.9	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.9	FAIL	599.71
Q_2-3_v-80-100_r-13.7	FAIL	599.71
Q_2-3_v-80-100_r-13.4	FAIL	599.71
Q_2-3_v-80-100_r-13.3	FAIL	599.71
Q_2-3_v-80-100_r-13.0	FAIL	599.71
Q_2-3_v-80-100_r-11.9	FAIL	599.71
Q_3-3_v-100-100_r-15.8	FAIL	599.71
Q_3-3_v-100-100_r-15.9	FAIL	599.71
Q_3-3_v-100-100_r-17.1	FAIL	599.71
Q_2-3_v-80-100_r-11.7	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp	FAIL	599.71
ncf_16_128_2_u.5	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp	FAIL	599.71
x220.16	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp	FAIL	599.71
x165.17	FAIL	599.71
x220.9	FAIL	599.71
ncf_16_128_8_edau.9	FAIL	599.71
x220.13	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp	FAIL	599.71
robots_1_5_2_65.9	FAIL	599.71
ncf_16_128_8_euad.3	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp	FAIL	599.71
robots_1_5_2_65.8	FAIL	599.71
ncf_16_128_8_euad.9	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp	FAIL	599.71
ncf_16_128_8_edau.10	FAIL	599.71
x220.12	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#360.w#2.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
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#7.asp	FAIL	599.71
x210.17	FAIL	599.71
x165.6	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp	FAIL	599.71
x220.10	FAIL	599.71
ncf_16_128_8_edau.6	FAIL	599.71
Q_2-3_v-80-100_r-5.2	FAIL	599.72
x300.6	FAIL	599.72
x300.4	FAIL	599.72
x300.16	FAIL	599.72
x300.12	FAIL	599.72
Q_3-3_v-100-100_r-11.5	FAIL	599.81
x210.12	FAIL	599.81
robots_1_5_2_65.10	FAIL	599.81
x165.8	FAIL	599.81
Q_3-3_v-100-100_r-17.0	FAIL	599.81
Q_3-3_v-100-100_r-11.0	FAIL	599.81
x165.3	FAIL	599.81
Q_3-3_v-100-100_r-17.2	FAIL	599.81
Q_2-3_v-80-100_r-9.8	FAIL	599.81
Q_3-3_v-100-100_r-17.4	FAIL	599.81
x210.15	FAIL	599.81
ncf_16_128_8_edau.8	FAIL	599.81
ncf_16_128_2_u.10	FAIL	599.81
Q_3-3_v-100-100_r-17.7	FAIL	599.81
x165.10	FAIL	599.81
ncf_16_128_2_u.9	FAIL	599.81
Q_3-3_v-100-100_r-11.2	FAIL	599.81
x210.11	FAIL	599.81
Q_3-3_v-100-100_r-11.6	FAIL	599.81
Q_3-3_v-100-100_r-13.7	FAIL	599.81
Q_3-3_v-100-100_r-13.6	FAIL	599.81
x165.11	FAIL	599.81
Q_3-3_v-100-100_r-13.5	FAIL	599.81
Q_3-3_v-100-100_r-11.7	FAIL	599.81
Q_3-3_v-100-100_r-15.1	FAIL	599.81
x165.0	FAIL	599.81
robots_1_5_2_93.10	FAIL	599.81
Q_3-3_v-100-100_r-13.2	FAIL	599.81
Q_3-3_v-100-100_r-15.4	FAIL	599.81
robots_1_5_2_93.9	FAIL	599.81
x165.19	FAIL	599.81
Q_3-3_v-100-100_r-11.4	FAIL	599.81
Q_3-3_v-100-100_r-13.9	FAIL	599.81
Q_3-3_v-100-100_r-17.3	FAIL	599.81
ncf_16_128_8_euad.8	FAIL	599.81
Q_3-3_v-100-100_r-15.7	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-60.2	FAIL	599.81
ncf_16_128_2_u.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.0	FAIL	599.81
ncf_16_128_8_edau.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.8	FAIL	599.81
ncf_16_128_2_u.4	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-50.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.4	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.3	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.2	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-60.6	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.8	FAIL	599.81
ncf_16_128_8_euad.7	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.6	FAIL	599.81
ncf_16_128_2_u.2	FAIL	599.81
ncf_16_128_8_euad.10	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.3	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.2	FAIL	599.81
ncf_16_128_8_edau.4	FAIL	599.81
ncf_16_128_2_u.8	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.9	FAIL	599.81
ncf_16_128_8_euad.2	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-50.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.0	FAIL	599.81
ncf_16_128_2_u.3	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.2	FAIL	599.81
ncf_16_128_8_euad.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.0	FAIL	599.81
ncf_16_128_2_u.6	FAIL	599.81
Q_3-3_v-100-100_r-19.8	FAIL	599.81
ncf_16_128_8_euad.4	FAIL	599.81
ncf_16_128_2_u.7	FAIL	599.81
Q_3-3_v-100-100_r-19.5	FAIL	599.81
Q_3-3_v-100-100_r-19.4	FAIL	599.81
ncf_16_128_8_edau.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.6	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.9	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.8	FAIL	599.81
ncf_16_128_8_edau.3	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-40.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.4	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.3	FAIL	599.81
ncf_16_128_8_euad.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.1	FAIL	599.81
ncf_16_128_8_edau.7	FAIL	599.81
ncf_16_128_8_edau.2	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.7	FAIL	599.81
ncf_16_128_8_euad.6	FAIL	599.81
Q_2-3_v-80-100_r-9.7	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.2	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.6	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.5	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#304.w#6.s#8.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.2	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-45.0	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.8	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp	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-55.1	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.1	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-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.6	FAIL	599.81
Q_2-2-3_v-100-100-100_r-55.5	FAIL	599.81
Q_2-2-3_v-100-100-100_r-55.4	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-55.2	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
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#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
x210.7	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp	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#384.w#6.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#376.w#4.s#6.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#368.w#2.s#2.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp	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.4	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.3	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.1	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.0	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#336.w#4.s#5.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.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#376.w#4.s#1.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.3	FAIL	599.81
x210.16	FAIL	599.81
Q_2-3_v-80-100_r-5.9	FAIL	599.81
x220.19	FAIL	599.81
x220.2	FAIL	599.81
Q_2-3_v-80-100_r-5.6	FAIL	599.81
x220.6	FAIL	599.81
Q_2-3_v-80-100_r-13.8	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
x220.8	FAIL	599.81
x220.0	FAIL	599.81
Q_2-3_v-80-100_r-7.5	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.2	FAIL	599.81
x210.1	FAIL	599.81
Q_2-3_v-80-100_r-9.0	FAIL	599.81
x210.3	FAIL	599.81
x210.6	FAIL	599.81
x210.9	FAIL	599.81
Q_2-3_v-80-100_r-7.6	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.4	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.4	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.8	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.7	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp	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-75.8	FAIL	599.81
Q_2-2-3_v-100-100-100_r-75.9	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp	FAIL	599.81
x165.13	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#288.w#4.s#8.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	FAIL	599.81
Q_2-3_v-80-100_r-11.4	FAIL	599.81
x300.3	FAIL	599.82
x300.19	FAIL	599.82
x300.15	FAIL	599.82
x300.1	FAIL	599.82
x300.8	FAIL	599.82
x300.5	FAIL	599.82
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp	FAIL	599.91
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp	FAIL	599.91

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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