Instances solved by <a href='solver_detail.php?solver=278'>qbfrelay-limited-depqbf</a> <br> QBFEVAL'17

Instances solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Random QBFs Track

Instance	Result	Time
hex_hein_4x4_04	SAT	0.18
Q_2-3_v-80-100_r-13.1	UNSAT	0.18
ttt_5x5-shape-0-GTTT-1-2-torus-0	SAT	0.2
ttt_5x5-shape-0-GTTT-2-2-torus-1	SAT	0.22
Q_2-3_v-80-100_r-13.6	UNSAT	0.22
Q_2-3_v-80-100_r-13.8	UNSAT	0.23
Q_2-3_v-80-100_r-13.7	UNSAT	0.24
ttt_5x5-shape-0-GTTT-1-2-torus-1	SAT	0.24
ttt_5x5-shape-0-GTTT-2-2-torus-0	SAT	0.26
Q_2-3_v-80-100_r-13.5	UNSAT	0.27
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp	SAT	0.28
Q_2-3_v-80-100_r-13.4	UNSAT	0.28
Q_2-3_v-80-100_r-13.0	UNSAT	0.29
ttt_5x5-shape-0-GTTT-1-1-torus-1	SAT	0.35
ttt_5x5-shape-2-GTTT-1-2-torus-0	SAT	0.41
ttt_5x5-shape-0-GTTT-1-1-torus-0	SAT	0.44
hex_hein_7x7_18	SAT	1.23
Q_2-3_v-80-100_r-11.3	UNSAT	1.33
ttt_5x5-shape-1-GTTT-1-1-torus-1	SAT	3.39
ttt_5x5-shape-1-GTTT-1-1-torus-0	SAT	3.76
ttt_5x5-shape-2-GTTT-1-1-torus-0	SAT	3.95
ttt_5x5-shape-2-GTTT-1-1-torus-1	SAT	4.24
Q_2-3_v-80-100_r-11.2	UNSAT	4.82
hex_hein_4x4_09	SAT	5.18
ttt_5x5-shape-2-GTTT-2-2-torus-0	SAT	5.29
ttt_5x5-shape-4-GTTT-2-2-torus-1	SAT	5.94
ttt_5x5-shape-1-GTTT-2-1-torus-0	SAT	6.28
ttt_5x5-shape-1-GTTT-2-1-torus-1	SAT	6.52
ttt_5x5-shape-2-GTTT-2-1-torus-0	SAT	6.78
ttt_5x5-shape-6-GTTT-2-2-torus-1	SAT	6.91
ttt_5x5-shape-2-GTTT-2-1-torus-1	SAT	6.96
ttt_5x5-shape-5-GTTT-2-2-torus-1	SAT	9.78
Q_2-3_v-80-100_r-11.6	UNSAT	10.25
ttt_5x5-shape-5-GTTT-2-2-torus-0	SAT	13.12
hex_hein_4x4_12	SAT	16.04
Q_2-3_v-80-100_r-11.0	UNSAT	61.34
ttt_5x5-shape-1-GTTT-1-2-torus-1	SAT	76.72
ttt_5x5-shape-2-GTTT-1-2-torus-1	SAT	77.07
ttt_5x5-shape-1-GTTT-1-2-torus-0	SAT	77.32
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp	SAT	81.95
ncf_16_128_2_u.2	UNSAT	84.31
klieber2017q-084-21-t1	UNSAT	84.32
ttt_5x5-shape-2-GTTT-2-2-torus-1	SAT	84.65
ttt_5x5-shape-4-GTTT-2-2-torus-0	SAT	85.65
ttt_5x5-shape-6-GTTT-1-2-torus-1	SAT	86.65
ttt_5x5-shape-5-GTTT-1-2-torus-1	SAT	87.55
ttt_5x5-shape-4-GTTT-1-2-torus-1	SAT	87.7
Q_2-3_v-80-100_r-11.4	UNSAT	92.71
ttt_5x5-shape-6-GTTT-2-2-torus-0	SAT	93.66
klieber2017q-078-19-t1	UNSAT	95.21
klieber2017q-076-19-t1	UNSAT	95.99
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp	SAT	98.04
ncf_16_128_8_edau.7	UNSAT	112.5
ttt_5x5-shape-5-GTTT-1-2-torus-0	SAT	120.45
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp	SAT	177.71
ttt_5x5-shape-1-GTTT-2-2-torus-0	SAT	190.08
hex_rand_6x6-20m-4	UNSAT	190.9
x165.13	UNSAT	207.21
x165.8	UNSAT	210.4
hex_hein_4x4_06	SAT	240.62
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	UNSAT	243.27
x210.6	UNSAT	254.92
ttt_5x5-shape-1-GTTT-2-2-torus-1	SAT	269.69
ttt_5x5-shape-4-GTTT-1-2-torus-0	SAT	276.61
ttt_5x5-shape-6-GTTT-1-1-torus-1	SAT	319.53
ttt_5x5-shape-5-GTTT-1-1-torus-0	SAT	340.96
ttt_5x5-shape-4-GTTT-1-1-torus-1	SAT	350.43
ttt_5x5-shape-5-GTTT-1-1-torus-1	SAT	378.96
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	UNSAT	385.32
x210.12	UNSAT	402.32
x165.9	UNSAT	418.63
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp	UNSAT	446.32
x210.7	UNSAT	540.65
x210.1	UNSAT	594.9
ttt_5x5-shape-6-GTTT-1-1-torus-0	SAT	601.4
hex_hein_4x4_07	SAT	604.91
ttt_5x5-shape-4-GTTT-1-1-torus-0	SAT	620.38
x165.0	UNSAT	734.6
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp	SAT	737.3
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp	UNSAT	800.44
ncf_16_64_4_d.10	UNSAT	805.07
robots_1_5_2_93.9	SAT	815.33
Q_2-2-3_v-100-100-100_r-45.6	FAIL	885.93
Q_2-2-3_v-100-100-100_r-35.6	FAIL	886.04
Q_3-3-3_v-100-100-100_r-70.2	FAIL	886.3
ncf_16_128_8_euad.10	FAIL	886.41
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp	FAIL	886.42
ttt_5x5-shape-7-GTTT-1-1-torus-0	FAIL	886.49
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp	FAIL	886.6
ttt_5x5-shape-0-GTTT-2-1-torus-0	FAIL	886.75
Q_2-3_v-80-100_r-9.1	FAIL	886.79
Q_3-3-3_v-100-100-100_r-60.5	FAIL	886.91
hex_rand_6x6-20m-7	FAIL	886.95
ncf_16_128_8_edau.1	FAIL	886.99
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp	FAIL	886.99
Q_2-2-3_v-100-100-100_r-55.3	FAIL	887.02
Q_2-2-3_v-100-100-100_r-35.5	FAIL	887.03
klieber2017q-108-27-t1	FAIL	887.05
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.asp	FAIL	887.09
Q_2-2-3_v-100-100-100_r-45.2	FAIL	887.1
ttt_5x5-shape-7-GTTT-1-2-torus-0	FAIL	887.1
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp	FAIL	887.11
ncf_16_128_2_u.9	FAIL	887.11
ttt_5x5-shape-3-GTTT-1-1-torus-1	FAIL	887.12
Q_2-2-3_v-100-100-100_r-45.7	FAIL	887.14
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp	FAIL	887.17
Q_2-2-3_v-100-100-100_r-45.9	FAIL	887.17
ncf_16_128_8_edau.9	FAIL	887.18
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp	FAIL	887.19
Q_3-3-3_v-100-100-100_r-70.3	FAIL	887.2
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp	FAIL	887.23
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp	FAIL	887.25
Q_3-3-3_v-100-100-100_r-70.0	FAIL	887.28
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp	FAIL	887.28
hex_hein_5x5_05	FAIL	887.32
Q_3-3-3_v-100-100-100_r-60.8	FAIL	887.33
Q_3-3_v-100-100_r-19.9	FAIL	887.33
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	FAIL	887.34
klieber2017q-100-25-t1	FAIL	887.35
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp	FAIL	887.36
klieber2017q-116-29-eq	FAIL	887.39
ncf_16_128_8_edau.4	FAIL	887.4
hex_rand_6x6-6m-9	FAIL	887.4
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp	FAIL	887.42
Q_3-3_v-100-100_r-19.1	FAIL	887.43
Q_2-2-3_v-100-100-100_r-55.1	FAIL	887.44
klieber2017q-092-23-t1	FAIL	887.45
Q_2-2-3_v-100-100-100_r-35.0	FAIL	887.51
hex_rand_6x6-12m-5	FAIL	887.53
hex_rand_6x6-12m-7	FAIL	887.54
ttt_5x5-shape-3-GTTT-2-2-torus-0	FAIL	887.57
hex_rand_6x6-6m-0	FAIL	887.58
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.asp	FAIL	887.59
Q_3-3-3_v-100-100-100_r-60.6	FAIL	887.61
ncf_16_128_8_euad.8	FAIL	887.61
Q_2-2-3_v-100-100-100_r-45.3	FAIL	887.61
Q_3-3-3_v-100-100-100_r-70.1	FAIL	887.62
Q_3-3-3_v-100-100-100_r-50.7	FAIL	887.62
Q_2-3_v-80-100_r-11.7	FAIL	887.62
ttt_5x5-shape-5-GTTT-2-1-torus-1	FAIL	887.63
Q_3-3-3_v-100-100-100_r-60.0	FAIL	887.64
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp	FAIL	887.64
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.asp	FAIL	887.69
Q_2-3_v-80-100_r-9.2	FAIL	887.69
Q_3-3_v-100-100_r-19.8	FAIL	887.69
Q_2-2-3_v-100-100-100_r-65.2	FAIL	887.69
ttt_5x5-shape-0-GTTT-2-1-torus-1	FAIL	887.71
Q_3-3-3_v-100-100-100_r-40.5	FAIL	887.71
ncf_16_128_8_edau.10	FAIL	887.72
Q_3-3-3_v-100-100-100_r-30.8	FAIL	887.73
Q_2-2-3_v-100-100-100_r-65.4	FAIL	887.73
Q_3-3_v-100-100_r-19.6	FAIL	887.73
ncf_16_128_8_euad.4	FAIL	887.75
Q_2-2-3_v-100-100-100_r-55.4	FAIL	887.77
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp	FAIL	887.78
Q_3-3-3_v-100-100-100_r-70.7	FAIL	887.78
Q_3-3-3_v-100-100-100_r-40.0	FAIL	887.78
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.asp	FAIL	887.8
Q_3-3-3_v-100-100-100_r-50.8	FAIL	887.81
Q_2-2-3_v-100-100-100_r-55.5	FAIL	887.81
ncf_16_128_8_euad.9	FAIL	887.82
Q_2-2-3_v-100-100-100_r-35.1	FAIL	887.82
Q_3-3-3_v-100-100-100_r-30.2	FAIL	887.83
hex_rand_6x6-20m-0	FAIL	887.83
hex_hein_5x5_11	FAIL	887.84
ttt_5x5-shape-3-GTTT-1-2-torus-0	FAIL	887.86
Q_2-3_v-80-100_r-9.5	FAIL	887.87
Q_3-3_v-100-100_r-17.9	FAIL	887.88
Q_3-3_v-100-100_r-17.7	FAIL	887.89
Q_2-2-3_v-100-100-100_r-45.5	FAIL	887.91
Q_2-3_v-80-100_r-9.6	FAIL	887.91
Q_2-2-3_v-100-100-100_r-55.6	FAIL	887.92
Q_2-3_v-80-100_r-7.0	FAIL	887.94
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.asp	FAIL	887.94
klieber2017q-100-25-eq	FAIL	887.95
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.asp	FAIL	887.95
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp	FAIL	887.96
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp	FAIL	887.98
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.asp	FAIL	887.99
Q_2-3_v-80-100_r-5.1	FAIL	888
Q_3-3_v-100-100_r-15.2	FAIL	888.01
Q_3-3_v-100-100_r-19.4	FAIL	888.01
hex_rand_6x6-20m-8	FAIL	888.01
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#12.asp	FAIL	888.02
Q_3-3-3_v-100-100-100_r-60.4	FAIL	888.02
klieber2017q-104-26-t1	FAIL	888.04
Q_3-3_v-100-100_r-13.8	FAIL	888.05
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp	FAIL	888.08
Q_3-3_v-100-100_r-13.4	FAIL	888.1
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.asp	FAIL	888.1
Q_2-3_v-80-100_r-11.5	FAIL	888.11
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.asp	FAIL	888.12
hex_rand_6x6-12m-0	FAIL	888.12
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp	FAIL	888.13
hex_rand_6x6-12m-4	FAIL	888.13
Q_3-3-3_v-100-100-100_r-30.5	FAIL	888.13
Q_3-3-3_v-100-100-100_r-50.5	FAIL	888.13
Q_3-3-3_v-100-100-100_r-70.9	FAIL	888.15
ncf_16_128_8_euad.3	FAIL	888.16
Q_3-3-3_v-100-100-100_r-50.6	FAIL	888.17
klieber2017q-096-24-eq	FAIL	888.17
Q_2-3_v-80-100_r-9.0	FAIL	888.18
Q_3-3-3_v-100-100-100_r-50.2	FAIL	888.18
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp	FAIL	888.19
hex_rand_6x6-12m-3	FAIL	888.19
hex_rand_6x6-6m-7	FAIL	888.19
klieber2017q-112-28-eq	FAIL	888.21
ttt_5x5-shape-7-GTTT-1-1-torus-1	FAIL	888.21
ncf_16_128_8_edau.6	FAIL	888.22
Q_2-3_v-80-100_r-5.3	FAIL	888.23
Q_3-3_v-100-100_r-17.5	FAIL	888.24
Q_3-3-3_v-100-100-100_r-30.4	FAIL	888.27
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.asp	FAIL	888.27
Q_2-3_v-80-100_r-7.2	FAIL	888.28
ttt_5x5-shape-6-GTTT-2-1-torus-0	FAIL	888.29
Q_3-3-3_v-100-100-100_r-30.9	FAIL	888.3
Q_3-3_v-100-100_r-17.6	FAIL	888.3
hex_hein_6x6_20	FAIL	888.31
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp	FAIL	888.31
hex_rand_6x6-6m-3	FAIL	888.31
ncf_16_128_2_u.3	FAIL	888.32
Q_2-2-3_v-100-100-100_r-45.1	FAIL	888.32
hex_hein_6x6_03	FAIL	888.33
ncf_16_128_2_u.10	FAIL	888.39
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.asp	FAIL	888.4
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp	FAIL	888.41
ttt_5x5-shape-7-GTTT-1-2-torus-1	FAIL	888.41
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp	FAIL	888.41
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp	FAIL	888.41
Q_3-3_v-100-100_r-13.6	FAIL	888.41
hex_rand_6x6-6m-1	FAIL	888.42
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.asp	FAIL	888.45
Q_3-3_v-100-100_r-15.9	FAIL	888.46
Q_3-3_v-100-100_r-15.3	FAIL	888.47
Q_2-3_v-80-100_r-7.1	FAIL	888.51
Q_3-3_v-100-100_r-11.3	FAIL	888.51
Q_2-2-3_v-100-100-100_r-65.7	FAIL	888.51
Q_2-3_v-80-100_r-9.4	FAIL	888.51
Q_3-3_v-100-100_r-17.3	FAIL	888.52
Q_3-3-3_v-100-100-100_r-50.0	FAIL	888.53
Q_3-3-3_v-100-100-100_r-40.7	FAIL	888.53
Q_3-3-3_v-100-100-100_r-50.4	FAIL	888.54
Q_3-3_v-100-100_r-13.2	FAIL	888.55
Q_2-3_v-80-100_r-7.6	FAIL	888.55
ncf_16_128_8_edau.3	FAIL	888.56
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.asp	FAIL	888.58
Q_3-3_v-100-100_r-13.0	FAIL	888.59
klieber2017q-082-20-eq	FAIL	888.6
ncf_16_128_2_u.6	FAIL	888.6
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp	FAIL	888.62
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp	FAIL	888.62
Q_3-3_v-100-100_r-15.0	FAIL	888.63
Q_2-2-3_v-100-100-100_r-65.9	FAIL	888.65
Q_3-3-3_v-100-100-100_r-70.4	FAIL	888.66
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.asp	FAIL	888.66
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.asp	FAIL	888.66
Q_2-3_v-80-100_r-7.8	FAIL	888.69
Q_2-3_v-80-100_r-9.9	FAIL	888.7
ncf_16_128_8_edau.2	FAIL	888.7
Q_2-2-3_v-100-100-100_r-35.2	FAIL	888.72
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.asp	FAIL	888.73
ncf_16_128_2_u.5	FAIL	888.73
klieber2017q-086-21-t1	FAIL	888.73
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp	FAIL	888.75
Q_2-2-3_v-100-100-100_r-45.4	FAIL	888.77
Q_2-3_v-80-100_r-5.2	FAIL	888.77
klieber2017q-086-21-eq	FAIL	888.77
ncf_16_128_2_u.1	FAIL	888.78
Q_2-3_v-80-100_r-11.8	FAIL	888.78
ttt_5x5-shape-3-GTTT-2-2-torus-1	FAIL	888.78
klieber2017q-104-26-eq	FAIL	888.8
Q_2-2-3_v-100-100-100_r-45.8	FAIL	888.81
hex_rand_6x6-20m-5	FAIL	888.83
Q_3-3_v-100-100_r-11.0	FAIL	888.83
klieber2017q-112-28-t1	FAIL	888.83
Q_3-3_v-100-100_r-15.5	FAIL	888.83
Q_3-3_v-100-100_r-15.8	FAIL	888.83
Q_2-2-3_v-100-100-100_r-65.6	FAIL	888.84
Q_2-3_v-80-100_r-5.0	FAIL	888.87
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp	FAIL	888.87
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.asp	FAIL	888.88
Q_3-3-3_v-100-100-100_r-50.1	FAIL	888.9
Q_3-3_v-100-100_r-13.1	FAIL	888.9
Q_3-3_v-100-100_r-13.5	FAIL	888.9
Q_3-3_v-100-100_r-15.1	FAIL	888.91
Q_2-3_v-80-100_r-5.8	FAIL	888.91
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	888.92
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp	FAIL	888.92
Q_3-3_v-100-100_r-17.0	FAIL	888.93
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp	FAIL	888.93
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.asp	FAIL	888.93
Q_2-3_v-80-100_r-11.9	FAIL	888.96
Q_2-3_v-80-100_r-7.3	FAIL	889.01
Q_2-3_v-80-100_r-11.1	FAIL	889.02
Q_3-3_v-100-100_r-17.4	FAIL	889.03
Q_3-3-3_v-100-100-100_r-40.1	FAIL	889.05
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp	FAIL	889.09
x220.2	FAIL	889.1
Q_3-3_v-100-100_r-19.2	FAIL	889.1
Q_2-3_v-80-100_r-7.7	FAIL	889.11
ncf_16_128_8_euad.7	FAIL	889.12
ttt_5x5-shape-6-GTTT-2-1-torus-1	FAIL	889.15
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp	FAIL	889.18
klieber2017q-084-21-eq	FAIL	889.18
Q_3-3-3_v-100-100-100_r-70.5	FAIL	889.21
Q_2-2-3_v-100-100-100_r-75.9	FAIL	889.22
Q_2-3_v-80-100_r-5.7	FAIL	889.22
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp	FAIL	889.28
Q_3-3_v-100-100_r-11.2	FAIL	889.29
Q_2-2-3_v-100-100-100_r-75.4	FAIL	889.31
hex_hein_5x5_16	FAIL	889.33
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.asp	FAIL	889.33
klieber2017q-108-27-eq	FAIL	889.35
Q_3-3-3_v-100-100-100_r-70.6	FAIL	889.35
Q_3-3-3_v-100-100-100_r-70.8	FAIL	889.38
Q_3-3-3_v-100-100-100_r-30.1	FAIL	889.41
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.asp	FAIL	889.42
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp	FAIL	889.42
Q_2-2-3_v-100-100-100_r-75.0	FAIL	889.43
Q_2-2-3_v-100-100-100_r-35.4	FAIL	889.43
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	889.44
ttt_5x5-shape-7-GTTT-2-1-torus-1	FAIL	889.45
Q_3-3_v-100-100_r-19.0	FAIL	889.47
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp	FAIL	889.48
Q_3-3_v-100-100_r-15.6	FAIL	889.5
Q_2-2-3_v-100-100-100_r-35.3	FAIL	889.51
Q_3-3-3_v-100-100-100_r-60.7	FAIL	889.52
Q_3-3-3_v-100-100-100_r-60.2	FAIL	889.54
Q_3-3_v-100-100_r-15.7	FAIL	889.6
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp	FAIL	889.61
Q_3-3-3_v-100-100-100_r-30.3	FAIL	889.61
Q_2-3_v-80-100_r-5.5	FAIL	889.62
x210.16	FAIL	889.62
klieber2017q-096-24-t1	FAIL	889.62
Q_2-2-3_v-100-100-100_r-65.3	FAIL	889.63
ncf_16_128_2_u.4	FAIL	889.65
hex_rand_6x6-6m-5	FAIL	889.66
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.asp	FAIL	889.66
hex_rand_6x6-12m-8	FAIL	889.68
Q_3-3-3_v-100-100-100_r-60.9	FAIL	889.69
Q_2-2-3_v-100-100-100_r-55.7	FAIL	889.69
Q_2-3_v-80-100_r-9.3	FAIL	889.69
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp	FAIL	889.7
ttt_5x5-shape-3-GTTT-2-1-torus-1	FAIL	889.71
Q_2-2-3_v-100-100-100_r-75.6	FAIL	889.71
klieber2017q-092-23-eq	FAIL	889.72
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp	FAIL	889.72
Q_2-2-3_v-100-100-100_r-55.9	FAIL	889.72
klieber2017q-078-19-eq	FAIL	889.73
hex_rand_6x6-6m-8	FAIL	889.75
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp	FAIL	889.75
Q_2-3_v-80-100_r-5.9	FAIL	889.76
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp	FAIL	889.76
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.asp	FAIL	889.76
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.asp	FAIL	889.78
Q_2-3_v-80-100_r-5.6	FAIL	889.79
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.asp	FAIL	889.8
Q_2-2-3_v-100-100-100_r-35.7	FAIL	889.81
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.asp	FAIL	889.81
ncf_16_128_8_euad.1	FAIL	889.82
Q_3-3-3_v-100-100-100_r-60.3	FAIL	889.83
Q_2-2-3_v-100-100-100_r-35.9	FAIL	889.84
Q_3-3_v-100-100_r-17.1	FAIL	889.88
Q_2-3_v-80-100_r-9.7	FAIL	889.9
hex_rand_6x6-20m-2	FAIL	889.91
Q_3-3_v-100-100_r-19.7	FAIL	889.91
ttt_5x5-shape-6-GTTT-1-2-torus-0	FAIL	889.91
ncf_16_128_8_euad.5	FAIL	889.91
Q_3-3-3_v-100-100-100_r-50.9	FAIL	889.91
ncf_16_128_8_euad.6	FAIL	889.91
klieber2017q-116-29-t1	FAIL	889.92
ncf_16_128_2_u.8	FAIL	889.92
Q_3-3-3_v-100-100-100_r-60.1	FAIL	889.92
x220.13	FAIL	889.92
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.asp	FAIL	889.92
ttt_5x5-shape-7-GTTT-2-2-torus-1	FAIL	889.97
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.asp	FAIL	889.97
hex_hein_5x5_19	FAIL	889.99
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.asp	FAIL	889.99
hex_rand_6x6-12m-9	FAIL	890
Q_3-3-3_v-100-100-100_r-40.4	FAIL	890.01
hex_rand_6x6-20m-1	FAIL	890.01
Q_3-3_v-100-100_r-11.8	FAIL	890.01
ttt_5x5-shape-4-GTTT-2-1-torus-1	FAIL	890.01
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp	FAIL	890.02
Q_2-2-3_v-100-100-100_r-65.5	FAIL	890.02
Q_2-2-3_v-100-100-100_r-55.0	FAIL	890.03
x220.6	FAIL	890.03
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.asp	FAIL	890.03
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.asp	FAIL	890.04
ncf_16_128_8_edau.5	FAIL	890.05
Q_3-3_v-100-100_r-11.6	FAIL	890.07
ncf_16_128_2_u.7	FAIL	890.08
Q_2-2-3_v-100-100-100_r-55.8	FAIL	890.1
ttt_5x5-shape-7-GTTT-2-1-torus-0	FAIL	890.1
hex_rand_6x6-6m-2	FAIL	890.1
klieber2017q-088-22-eq	FAIL	890.11
hex_rand_6x6-12m-6	FAIL	890.11
Q_3-3_v-100-100_r-13.7	FAIL	890.11
Q_2-3_v-80-100_r-7.5	FAIL	890.11
Q_3-3-3_v-100-100-100_r-50.3	FAIL	890.14
hex_rand_6x6-12m-2	FAIL	890.15
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.asp	FAIL	890.15
Q_3-3_v-100-100_r-11.7	FAIL	890.15
Q_3-3_v-100-100_r-11.4	FAIL	890.16
ttt_5x5-shape-4-GTTT-2-1-torus-0	FAIL	890.17
x220.10	FAIL	890.19
hex_rand_6x6-12m-1	FAIL	890.2
Q_3-3-3_v-100-100-100_r-40.2	FAIL	890.21
Q_2-2-3_v-100-100-100_r-35.8	FAIL	890.21
Q_2-2-3_v-100-100-100_r-75.7	FAIL	890.21
klieber2017q-080-20-t1	FAIL	890.21
Q_2-2-3_v-100-100-100_r-55.2	FAIL	890.21
Q_2-2-3_v-100-100-100_r-45.0	FAIL	890.22
Q_2-3_v-80-100_r-7.9	FAIL	890.24
Q_2-3_v-80-100_r-7.4	FAIL	890.24
Q_3-3_v-100-100_r-13.9	FAIL	890.25
ttt_5x5-shape-3-GTTT-1-1-torus-0	FAIL	890.27
ttt_5x5-shape-5-GTTT-2-1-torus-0	FAIL	890.29
Q_3-3-3_v-100-100-100_r-40.8	FAIL	890.3
klieber2017q-088-22-t1	FAIL	890.31
Q_2-2-3_v-100-100-100_r-75.5	FAIL	890.31
Q_3-3_v-100-100_r-17.2	FAIL	890.35
klieber2017q-082-20-t1	FAIL	890.36
ttt_5x5-shape-7-GTTT-2-2-torus-0	FAIL	890.36
Q_3-3-3_v-100-100-100_r-30.6	FAIL	890.37
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.asp	FAIL	890.38
Q_3-3-3_v-100-100-100_r-40.6	FAIL	890.41
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.asp	FAIL	890.42
Q_3-3_v-100-100_r-15.4	FAIL	890.42
klieber2017q-076-19-eq	FAIL	890.42
Q_3-3-3_v-100-100-100_r-30.0	FAIL	890.42
Q_2-3_v-80-100_r-9.8	FAIL	890.46
hex_rand_6x6-6m-4	FAIL	890.5
Q_3-3-3_v-100-100-100_r-40.9	FAIL	890.53
ttt_5x5-shape-3-GTTT-2-1-torus-0	FAIL	890.59
Q_2-2-3_v-100-100-100_r-75.8	FAIL	890.61
hex_hein_5x5_08	FAIL	890.61
Q_3-3-3_v-100-100-100_r-30.7	FAIL	890.61
ttt_5x5-shape-3-GTTT-1-2-torus-1	FAIL	890.61
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp	FAIL	890.62
Q_3-3_v-100-100_r-19.5	FAIL	890.63
hex_hein_5x5_02	FAIL	890.63
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.asp	FAIL	890.66
Q_2-2-3_v-100-100-100_r-65.1	FAIL	890.71
x165.6	FAIL	890.71
klieber2017q-074-18-t1	FAIL	890.75
Q_2-3_v-80-100_r-5.4	FAIL	890.77
Q_3-3_v-100-100_r-11.1	FAIL	890.78
Q_3-3_v-100-100_r-11.5	FAIL	890.78
x220.16	FAIL	890.82
Q_3-3_v-100-100_r-11.9	FAIL	890.82
robots_1_5_2_65.8	FAIL	890.9
x210.11	FAIL	890.9
Q_3-3_v-100-100_r-13.3	FAIL	890.91
hex_hein_5x5_14	FAIL	890.99
klieber2017q-080-20-eq	FAIL	891.01
ncf_16_128_8_edau.8	FAIL	891.06
hex_rand_6x6-20m-3	FAIL	891.18
hex_rand_6x6-20m-9	FAIL	891.2
Q_2-2-3_v-100-100-100_r-75.2	FAIL	891.22
Q_2-2-3_v-100-100-100_r-75.1	FAIL	891.23
x165.17	FAIL	891.28
Q_2-2-3_v-100-100-100_r-65.0	FAIL	891.32
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.asp	FAIL	891.32
hex_rand_6x6-6m-6	FAIL	891.42
hex_hein_5x5_15	FAIL	891.52
klieber2017q-074-18-eq	FAIL	891.57
x165.10	FAIL	891.62
Q_2-2-3_v-100-100-100_r-75.3	FAIL	891.65
hex_hein_6x6_17	FAIL	891.71
x165.3	FAIL	891.72
hex_hein_5x5_10	FAIL	891.73
x210.15	FAIL	891.75
Q_2-2-3_v-100-100-100_r-65.8	FAIL	891.9
hex_rand_6x6-20m-6	FAIL	891.92
x220.9	FAIL	892.02
x300.8	FAIL	892.02
x210.9	FAIL	892.02
x165.19	FAIL	892.03
x220.19	FAIL	892.13
x220.12	FAIL	892.22
x210.17	FAIL	892.23
robots_1_5_2_65.10	FAIL	892.31
hex_hein_5x5_13	FAIL	892.33
x220.8	FAIL	892.44
x210.3	FAIL	892.45
x165.11	FAIL	892.49
robots_1_5_2_65.9	FAIL	892.55
x300.3	FAIL	893.04
x300.5	FAIL	893.13
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp	FAIL	893.36
x300.19	FAIL	893.55
Q_3-3_v-100-100_r-17.8	FAIL	893.62
x300.15	FAIL	894.93
robots_1_5_2_93.10	FAIL	895.01
x300.12	FAIL	895.62
x300.6	FAIL	895.81
x300.1	FAIL	896.03
x300.16	FAIL	896.06
x220.0	FAIL	896.2
Q_3-3_v-100-100_r-19.3	FAIL	900
ncf_16_128_8_euad.2	FAIL	900
Q_3-3-3_v-100-100-100_r-40.3	FAIL	900
x300.4	FAIL	900

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Random QBFs Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qbfrelay-limited-depqbf QBFEVAL'17 - Random QBFs Track

Instances solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Random QBFs Track