Instances solved by depqbf-v2
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ncf_8_16_4_u.5UNSAT0.02
ncf_4_16_2_d.9SAT0.02
ncf_8_16_4_u.2UNSAT0.02
ncf_4_16_2_d.6SAT0.02
ncf_8_16_4_u.1SAT0.03
ncf_8_16_4_u.6UNSAT0.05
ncf_4_16_2_d.2SAT0.06
ncf_4_16_2_d.8SAT0.06
ncf_8_16_4_u.8UNSAT0.07
ncf_8_16_4_u.10SAT0.08
ncf_4_16_2_d.7SAT0.08
ncf_4_16_2_d.4SAT0.1
ncf_4_16_2_d.10UNSAT0.11
ncf_4_16_2_d.1UNSAT0.11
ncf_4_16_2_d.5UNSAT0.11
Q_2-3_v-80-100_r-13.0UNSAT0.12
Q_2-3_v-80-100_r-13.7UNSAT0.21
Q_2-3_v-80-100_r-13.8UNSAT0.21
Q_2-3_v-80-100_r-13.9UNSAT0.21
Q_2-3_v-80-100_r-11.3UNSAT0.21
ncf_8_16_4_u.3SAT0.21
Q_2-3_v-80-100_r-13.1UNSAT0.21
Q_2-3_v-80-100_r-13.4UNSAT0.21
Q_2-3_v-80-100_r-13.6UNSAT0.21
Q_2-3_v-80-100_r-13.5UNSAT0.21
ncf_8_16_4_u.4SAT0.21
Q_2-3_v-80-100_r-13.3UNSAT0.21
ncf_4_16_8_euad.7SAT0.21
Q_2-3_v-80-100_r-13.2UNSAT0.21
ncf_16_32_8_u.3SAT0.41
ncf_16_32_8_u.4SAT0.51
ncf_4_16_8_euad.10SAT0.51
robots_1_5_4_54.1SAT0.61
robots_1_5_4_74.1SAT0.61
robots_1_5_4_46.1SAT0.61
robots_1_5_5_45.1SAT0.61
robots_1_5_5_58.1SAT0.61
robots_1_5_5_91.1SAT0.61
ncf_4_16_8_euad.2SAT0.71
robots_1_5_3_94.1SAT0.81
ncf_4_16_8_euad.9SAT0.81
robots_1_5_3_56.1SAT0.81
ncf_16_32_8_u.10SAT0.81
robots_1_5_2_46.1SAT0.81
robots_1_5_2_65.1SAT0.81
robots_1_5_2_93.1SAT0.81
robots_1_5_3_98.1SAT0.81
ncf_16_32_8_u.8UNSAT0.81
ncf_4_16_2_d.3UNSAT0.91
ncf_4_16_8_euad.1SAT1.02
ncf_16_32_8_u.6SAT1.12
x25.10UNSAT1.12
ncf_4_16_8_euad.3SAT1.12
ncf_4_16_8_euad.8UNSAT1.21
x25.4UNSAT1.21
x25.13UNSAT1.31
ncf_8_16_4_u.9UNSAT1.31
x25.19UNSAT1.31
x25.5UNSAT1.39
x25.8UNSAT1.41
ncf_4_16_8_euad.5UNSAT1.41
ncf_4_16_8_euad.4SAT1.41
x25.2SAT1.51
x25.15UNSAT1.51
x25.16SAT1.51
ncf_8_16_4_u.7SAT1.61
ncf_4_16_8_euad.6SAT1.61
x35.3UNSAT1.61
x35.11UNSAT1.71
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.aspUNSAT1.81
x25.7UNSAT1.81
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT1.81
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspUNSAT1.81
x35.15UNSAT1.81
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT1.81
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspUNSAT1.91
x35.13UNSAT1.91
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT1.91
x35.10UNSAT2.01
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspUNSAT2.01
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT2.01
x40.10UNSAT2.01
x35.5UNSAT2.11
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspUNSAT2.12
x40.4UNSAT2.22
x40.1UNSAT2.22
x35.2SAT2.22
x35.1SAT2.22
robots_1_5_5_91.2SAT2.31
robots_1_5_5_58.2SAT2.31
robots_1_5_4_54.2SAT2.31
robots_1_5_4_46.2SAT2.32
robots_1_5_4_74.2SAT2.32
robots_1_5_5_45.2SAT2.32
x35.19UNSAT2.32
x40.17UNSAT2.51
x35.9SAT2.51
ncf_16_32_8_u.7SAT2.61
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT2.71
ncf_16_32_8_u.2UNSAT2.81
ncf_16_64_4_d.2UNSAT2.91
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT2.91
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspSAT2.91
robots_1_5_3_98.2SAT3.01
robots_1_5_3_94.2SAT3.01
robots_1_5_3_56.2SAT3.01
robots_1_5_2_65.2SAT3.11
robots_1_5_2_93.2SAT3.11
robots_1_5_2_46.2SAT3.11
ncf_16_32_8_u.9UNSAT3.21
ncf_16_32_8_u.5UNSAT3.32
x40.5UNSAT3.32
x40.19UNSAT3.41
x40.12SAT3.61
x40.6UNSAT3.91
x40.11SAT4.01
ncf_16_64_4_d.7UNSAT4.01
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspSAT4.21
robots_1_5_5_58.3SAT5.01
robots_1_5_5_45.3SAT5.01
robots_1_5_4_46.3SAT5.01
robots_1_5_4_54.3SAT5.01
robots_1_5_4_74.3SAT5.01
robots_1_5_5_91.3SAT5.01
x40.18SAT5.52
x70.5UNSAT6.21
T-adeu-6UNSAT6.31
robots_1_5_3_56.3SAT6.41
T-edau-6UNSAT6.41
robots_1_5_3_94.3SAT6.41
robots_1_5_3_98.3SAT6.52
T-adeu-38UNSAT6.52
robots_1_5_2_46.3SAT6.62
S-adeu-32UNSAT6.62
x70.12UNSAT6.71
T-edau-26UNSAT6.81
S-adeu-47UNSAT6.81
robots_1_5_2_65.3SAT6.81
robots_1_5_2_93.3SAT6.82
T-adeu-25UNSAT7.01
T-edau-18UNSAT7.11
T-edau-2UNSAT7.21
T-adeu-42UNSAT7.31
S-adeu-6UNSAT7.31
T-edau-9UNSAT7.41
T-edau-44UNSAT7.62
T-edau-24UNSAT7.72
T-adeu-7UNSAT7.72
T-adeu-9UNSAT7.82
S-edau-8UNSAT8.01
T-adeu-10UNSAT8.11
S-adeu-30UNSAT8.11
S-adeu-19UNSAT8.11
x70.1UNSAT8.21
S-adeu-29UNSAT8.31
S-edau-7UNSAT8.41
S-edau-20UNSAT8.51
S-edau-30UNSAT8.51
S-edau-29UNSAT8.61
S-adeu-49UNSAT8.61
T-edau-8UNSAT8.72
robots_1_5_5_91.4SAT8.72
robots_1_5_4_74.4SAT8.72
robots_1_5_4_54.4SAT8.72
robots_1_5_5_45.4SAT8.72
robots_1_5_4_46.4SAT8.82
T-adeu-15UNSAT8.82
S-edau-34UNSAT8.82
T-adeu-39UNSAT8.91
robots_1_5_5_58.4SAT8.91
S-adeu-15UNSAT9.01
T-edau-20UNSAT9.01
S-adeu-28UNSAT9.01
T-adeu-49UNSAT9.11
S-adeu-41UNSAT9.11
S-edau-1UNSAT9.31
S-edau-43UNSAT9.41
T-edau-23UNSAT9.41
S-edau-17UNSAT9.61
x70.10UNSAT9.71
S-edau-23UNSAT9.71
x70.8UNSAT9.82
robots_1_5_3_56.4SAT10.92
x70.7UNSAT10.92
ncf_16_64_4_d.1SAT11.02
robots_1_5_3_98.4SAT11.02
robots_1_5_3_94.4SAT11.02
robots_1_5_2_65.4SAT11.31
robots_1_5_2_93.4SAT11.41
x70.16UNSAT11.51
robots_1_5_2_46.4SAT11.81
x70.0UNSAT12.71
ncf_16_64_4_d.6UNSAT13.12
ncf_16_64_4_d.9SAT13.31
robots_1_5_5_45.5SAT14.32
robots_1_5_5_58.5UNSAT14.32
robots_1_5_4_46.5SAT14.32
robots_1_5_4_54.5UNSAT14.32
robots_1_5_4_74.5SAT14.51
robots_1_5_5_91.5UNSAT14.61
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspSAT14.61
ncf_16_32_8_u.1SAT15.01
robots_1_5_3_94.5SAT17.52
robots_1_5_2_93.5SAT17.62
robots_1_5_3_56.5SAT18.51
robots_1_5_4_54.6UNSAT18.72
robots_1_5_2_65.5SAT18.81
robots_1_5_5_91.6UNSAT18.91
robots_1_5_5_58.6UNSAT19.01
robots_1_5_4_74.6UNSAT19.01
robots_1_5_5_45.6UNSAT19.11
robots_1_5_2_46.5SAT19.82
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspSAT20.21
robots_1_5_3_98.5SAT20.71
robots_1_5_4_46.6SAT21.21
robots_1_5_3_56.6SAT22.02
x70.6UNSAT23.51
robots_1_5_3_98.6SAT23.71
robots_1_5_3_94.6SAT24.51
robots_1_5_4_46.7UNSAT25.22
robots_1_5_5_58.7UNSAT25.71
robots_1_5_4_74.7UNSAT25.81
robots_1_5_5_91.7UNSAT25.91
robots_1_5_2_46.6SAT26.32
robots_1_5_4_54.7UNSAT26.61
robots_1_5_5_45.7UNSAT28.21
Q_2-3_v-80-100_r-11.4UNSAT28.41
robots_1_5_2_93.6SAT30.21
robots_1_5_4_74.8UNSAT31.81
robots_1_5_4_46.8UNSAT32.41
robots_1_5_4_54.8UNSAT32.81
robots_1_5_3_56.7SAT33.71
robots_1_5_3_94.7UNSAT34.41
robots_1_5_5_58.8UNSAT35.41
robots_1_5_5_91.8UNSAT36.32
robots_1_5_5_45.8UNSAT38.01
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspUNSAT38.52
robots_1_5_5_91.9UNSAT38.91
Q_2-3_v-80-100_r-11.6UNSAT39.11
robots_1_5_5_58.9UNSAT39.52
robots_1_5_4_54.10UNSAT40.91
x70.3UNSAT41.61
robots_1_5_4_74.9UNSAT42.01
robots_1_5_5_45.9UNSAT42.41
robots_1_5_5_45.10UNSAT42.51
robots_1_5_4_74.10UNSAT42.92
robots_1_5_5_91.10UNSAT43.21
robots_1_5_4_54.9UNSAT43.41
robots_1_5_4_46.9UNSAT43.91
robots_1_5_5_58.10UNSAT43.92
robots_1_5_2_65.6SAT47.51
robots_1_5_4_46.10UNSAT47.81
x165.11UNSAT48.42
robots_1_5_2_46.7UNSAT49.81
robots_1_5_3_98.7SAT51.11
robots_1_5_3_98.8UNSAT53.41
robots_1_5_3_98.10UNSAT53.92
robots_1_5_2_46.9UNSAT54.61
ncf_16_64_4_d.8UNSAT56.31
robots_1_5_3_94.10UNSAT57.12
robots_1_5_3_94.9UNSAT58.22
robots_1_5_3_94.8UNSAT64.21
robots_1_5_3_98.9UNSAT65.41
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspSAT68.51
x165.13UNSAT72.71
robots_1_5_3_56.9SAT89.21
x165.3UNSAT89.31
robots_1_5_2_93.7SAT92.42
robots_1_5_2_46.10UNSAT94.11
robots_1_5_2_65.7SAT111.12
x165.6UNSAT141.71
Q_2-3_v-80-100_r-11.2UNSAT142.02
x210.16UNSAT145.22
x165.9UNSAT151.11
robots_1_5_3_56.10SAT202.11
ncf_16_64_4_d.3UNSAT241.51
robots_1_5_2_93.8SAT257.61
x210.6UNSAT260.01
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT279.71
robots_1_5_2_46.8UNSAT331.31
x165.10UNSAT357.21
Q_2-3_v-80-100_r-11.0UNSAT368.43
x165.0UNSAT424.72
x220.19UNSAT430.31
x210.1UNSAT460.21
x210.17UNSAT545.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspUNSAT547.82
x300.4FAIL592.32
x300.6FAIL592.33
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL592.42
ncf_16_128_8_edau.8FAIL592.42
Q_2-3_v-80-100_r-11.5FAIL592.42
ncf_16_128_2_u.2FAIL592.42
ncf_16_128_8_euad.1FAIL592.43
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspFAIL592.52
Q_2-3_v-80-100_r-7.1FAIL592.52
x300.1FAIL592.52
ncf_16_128_8_edau.6FAIL592.53
ncf_16_128_8_euad.2FAIL592.53
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL592.62
robots_1_5_2_93.10FAIL592.62
Q_3-3_v-100-100_r-11.5FAIL592.62
Q_3-3-3_v-100-100-100_r-50.4FAIL592.62
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL592.62
ncf_16_128_2_u.10FAIL592.62
Q_2-3_v-80-100_r-9.2FAIL592.62
Q_3-3_v-100-100_r-19.5FAIL592.62
x210.15FAIL592.62
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL592.72
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL592.72
Q_2-3_v-80-100_r-7.4FAIL592.72
Q_3-3-3_v-100-100-100_r-70.6FAIL592.72
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL592.72
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL592.72
x210.7FAIL592.72
ncf_16_128_8_euad.8FAIL592.72
ncf_16_128_8_euad.6FAIL592.72
ncf_16_64_4_d.4FAIL592.72
Q_2-2-3_v-100-100-100_r-65.9FAIL592.72
Q_3-3_v-100-100_r-19.9FAIL592.72
Q_2-3_v-80-100_r-11.1FAIL592.72
Q_2-2-3_v-100-100-100_r-35.7FAIL592.72
x220.12FAIL592.72
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL592.72
x220.2FAIL592.72
x165.17FAIL592.72
x300.12FAIL592.72
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL592.83
Q_3-3-3_v-100-100-100_r-50.2FAIL592.83
Q_3-3-3_v-100-100-100_r-50.6FAIL592.83
Q_2-3_v-80-100_r-11.8FAIL592.83
Q_3-3_v-100-100_r-19.7FAIL592.83
Q_2-2-3_v-100-100-100_r-35.2FAIL592.83
Q_3-3-3_v-100-100-100_r-70.9FAIL592.83
x300.15FAIL592.83
x300.19FAIL592.83
x210.11FAIL592.83
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL592.83
Q_2-2-3_v-100-100-100_r-45.8FAIL592.83
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspFAIL592.83
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspFAIL592.83
Q_3-3_v-100-100_r-17.1FAIL592.83
Q_3-3_v-100-100_r-13.2FAIL592.83
Q_3-3-3_v-100-100-100_r-40.0FAIL592.84
ncf_16_128_8_edau.2FAIL592.84
robots_1_5_2_93.9FAIL592.84
x300.16FAIL592.85
ncf_16_128_8_euad.10FAIL592.85
ncf_16_128_8_euad.5FAIL592.85
ncf_16_128_2_u.9FAIL592.93
x300.8FAIL592.93
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL592.93
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL592.93
Q_2-2-3_v-100-100-100_r-65.3FAIL592.93
x220.13FAIL592.93
ncf_16_128_8_edau.3FAIL592.93
Q_2-3_v-80-100_r-7.7FAIL592.93
Q_3-3-3_v-100-100-100_r-70.4FAIL592.93
Q_3-3_v-100-100_r-17.3FAIL592.93
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL592.93
Q_3-3-3_v-100-100-100_r-30.4FAIL592.94
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL592.94
Q_2-2-3_v-100-100-100_r-75.4FAIL592.94
ncf_16_128_8_edau.1FAIL592.94
Q_3-3-3_v-100-100-100_r-40.7FAIL592.94
Q_3-3_v-100-100_r-15.4FAIL592.94
Q_2-3_v-80-100_r-11.7FAIL592.94
ncf_16_128_8_edau.10FAIL592.94
Q_3-3_v-100-100_r-17.8FAIL592.95
x300.3FAIL592.95
ncf_16_128_8_euad.4FAIL592.95
Q_2-2-3_v-100-100-100_r-65.7FAIL593.02
Q_3-3-3_v-100-100-100_r-30.3FAIL593.02
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL593.02
robots_1_5_2_65.8FAIL593.02
Q_3-3_v-100-100_r-13.9FAIL593.02
robots_1_5_2_65.10FAIL593.02
Q_2-2-3_v-100-100-100_r-55.7FAIL593.02
Q_3-3-3_v-100-100-100_r-30.6FAIL593.02
Q_3-3-3_v-100-100-100_r-30.9FAIL593.02
robots_1_5_2_65.9FAIL593.02
ncf_16_128_2_u.8FAIL593.02
ncf_16_128_8_edau.9FAIL593.02
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL593.02
Q_3-3_v-100-100_r-19.0FAIL593.02
x210.9FAIL593.02
ncf_16_128_8_edau.4FAIL593.02
Q_3-3-3_v-100-100-100_r-70.2FAIL593.03
Q_3-3_v-100-100_r-13.4FAIL593.03
Q_2-3_v-80-100_r-9.7FAIL593.03
Q_3-3_v-100-100_r-13.6FAIL593.03
x210.12FAIL593.03
ncf_16_128_2_u.1FAIL593.03
ncf_16_128_8_euad.3FAIL593.12
x210.3FAIL593.12
ncf_16_128_8_edau.7FAIL593.12
Q_3-3-3_v-100-100-100_r-70.7FAIL593.12
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL593.12
Q_2-3_v-80-100_r-9.0FAIL593.12
Q_2-3_v-80-100_r-5.3FAIL593.12
x220.10FAIL593.12
ncf_16_128_2_u.4FAIL593.12
Q_2-3_v-80-100_r-5.4FAIL593.12
Q_3-3_v-100-100_r-19.2FAIL593.12
Q_3-3-3_v-100-100-100_r-40.1FAIL593.12
Q_3-3-3_v-100-100-100_r-30.7FAIL593.12
Q_2-2-3_v-100-100-100_r-55.6FAIL593.12
Q_2-2-3_v-100-100-100_r-45.9FAIL593.13
x300.5FAIL593.22
Q_3-3_v-100-100_r-11.3FAIL593.22
Q_3-3_v-100-100_r-11.1FAIL593.22
Q_3-3_v-100-100_r-11.4FAIL593.22
Q_3-3_v-100-100_r-15.2FAIL593.22
Q_2-3_v-80-100_r-7.8FAIL593.22
x220.9FAIL593.22
Q_3-3_v-100-100_r-15.3FAIL593.22
Q_3-3-3_v-100-100-100_r-60.3FAIL593.22
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspFAIL593.22
robots_1_5_3_56.8FAIL593.22
x220.0FAIL593.22
Q_2-2-3_v-100-100-100_r-35.5FAIL593.22
ncf_16_128_2_u.7FAIL593.22
x165.19FAIL593.23
Q_2-2-3_v-100-100-100_r-65.2FAIL593.23
ncf_16_128_8_euad.9FAIL593.32
Q_3-3-3_v-100-100-100_r-60.1FAIL593.32
x220.8FAIL593.32
Q_3-3-3_v-100-100-100_r-50.9FAIL593.32
Q_2-2-3_v-100-100-100_r-35.1FAIL593.32
ncf_16_128_8_edau.5FAIL593.32
Q_3-3-3_v-100-100-100_r-60.8FAIL593.32
Q_3-3_v-100-100_r-17.2FAIL593.32
Q_3-3_v-100-100_r-19.6FAIL593.32
Q_3-3-3_v-100-100-100_r-70.8FAIL593.32
Q_3-3-3_v-100-100-100_r-70.5FAIL593.32
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL593.32
Q_3-3-3_v-100-100-100_r-50.8FAIL593.32
Q_2-2-3_v-100-100-100_r-45.2FAIL593.32
Q_3-3-3_v-100-100-100_r-70.0FAIL593.32
Q_2-2-3_v-100-100-100_r-55.8FAIL593.32
Q_3-3-3_v-100-100-100_r-70.3FAIL593.32
x220.16FAIL593.32
Q_3-3-3_v-100-100-100_r-40.2FAIL593.32
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspFAIL593.32
Q_3-3-3_v-100-100-100_r-50.0FAIL593.32
Q_2-2-3_v-100-100-100_r-65.4FAIL593.32
Q_3-3_v-100-100_r-19.8FAIL593.32
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL593.32
Q_3-3-3_v-100-100-100_r-50.3FAIL593.32
Q_3-3-3_v-100-100-100_r-70.1FAIL593.32
Q_3-3-3_v-100-100-100_r-60.5FAIL593.33
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspFAIL593.42
ncf_16_64_4_d.10FAIL593.42
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL593.42
Q_3-3_v-100-100_r-17.7FAIL593.42
Q_2-2-3_v-100-100-100_r-75.3FAIL593.42
Q_3-3_v-100-100_r-17.0FAIL593.42
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL593.42
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL593.42
Q_3-3_v-100-100_r-19.1FAIL593.42
Q_3-3-3_v-100-100-100_r-40.5FAIL593.42
Q_3-3-3_v-100-100-100_r-30.1FAIL593.42
Q_3-3-3_v-100-100-100_r-30.0FAIL593.42
Q_3-3-3_v-100-100-100_r-40.8FAIL593.42
Q_2-2-3_v-100-100-100_r-65.6FAIL593.42
Q_2-2-3_v-100-100-100_r-55.9FAIL593.42
Q_2-2-3_v-100-100-100_r-45.4FAIL593.42
Q_3-3-3_v-100-100-100_r-60.0FAIL593.42
Q_2-2-3_v-100-100-100_r-35.4FAIL593.42
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL593.42
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL593.42
Q_2-3_v-80-100_r-5.0FAIL593.42
ncf_16_128_2_u.3FAIL593.42
ncf_16_128_2_u.5FAIL593.42
Q_3-3-3_v-100-100-100_r-60.2FAIL593.42
Q_2-2-3_v-100-100-100_r-75.8FAIL593.43
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL593.43
x220.6FAIL593.43
Q_3-3_v-100-100_r-13.0FAIL593.52
Q_3-3_v-100-100_r-13.8FAIL593.52
Q_3-3_v-100-100_r-15.8FAIL593.52
Q_3-3_v-100-100_r-15.1FAIL593.52
Q_3-3-3_v-100-100-100_r-60.6FAIL593.52
Q_3-3_v-100-100_r-17.9FAIL593.52
Q_3-3_v-100-100_r-19.3FAIL593.52
Q_3-3-3_v-100-100-100_r-60.4FAIL593.52
Q_3-3-3_v-100-100-100_r-40.9FAIL593.52
Q_3-3-3_v-100-100-100_r-40.6FAIL593.52
Q_2-2-3_v-100-100-100_r-55.2FAIL593.52
Q_2-2-3_v-100-100-100_r-45.3FAIL593.52
Q_3-3_v-100-100_r-15.7FAIL593.52
Q_2-3_v-80-100_r-7.3FAIL593.52
Q_2-2-3_v-100-100-100_r-55.5FAIL593.52
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL593.52
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL593.52
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL593.52
Q_2-3_v-80-100_r-9.1FAIL593.52
Q_2-2-3_v-100-100-100_r-45.1FAIL593.53
Q_3-3_v-100-100_r-15.0FAIL593.53
Q_2-2-3_v-100-100-100_r-75.9FAIL593.62
Q_2-2-3_v-100-100-100_r-75.7FAIL593.62
ncf_16_128_8_euad.7FAIL593.62
Q_2-3_v-80-100_r-5.6FAIL593.62
Q_2-3_v-80-100_r-5.7FAIL593.62
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL593.62
Q_2-2-3_v-100-100-100_r-65.0FAIL593.62
Q_2-2-3_v-100-100-100_r-45.7FAIL593.62
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspFAIL593.62
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspFAIL593.62
Q_3-3-3_v-100-100-100_r-60.9FAIL593.62
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL593.62
Q_3-3-3_v-100-100-100_r-50.7FAIL593.62
Q_3-3-3_v-100-100-100_r-50.5FAIL593.62
Q_3-3-3_v-100-100-100_r-50.1FAIL593.62
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL593.62
Q_2-2-3_v-100-100-100_r-55.3FAIL593.62
Q_2-3_v-80-100_r-7.0FAIL593.62
Q_2-3_v-80-100_r-9.5FAIL593.62
Q_2-3_v-80-100_r-9.6FAIL593.62
Q_3-3_v-100-100_r-13.5FAIL593.62
Q_3-3_v-100-100_r-13.3FAIL593.62
Q_2-3_v-80-100_r-7.2FAIL593.62
Q_2-3_v-80-100_r-7.6FAIL593.62
Q_3-3_v-100-100_r-15.5FAIL593.62
Q_3-3_v-100-100_r-11.9FAIL593.62
Q_3-3_v-100-100_r-11.8FAIL593.62
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL593.63
Q_2-2-3_v-100-100-100_r-55.0FAIL593.72
Q_2-2-3_v-100-100-100_r-55.1FAIL593.72
Q_3-3-3_v-100-100-100_r-40.3FAIL593.72
Q_2-3_v-80-100_r-9.4FAIL593.72
Q_3-3-3_v-100-100-100_r-40.4FAIL593.72
Q_2-2-3_v-100-100-100_r-45.5FAIL593.72
Q_2-2-3_v-100-100-100_r-35.9FAIL593.72
Q_2-2-3_v-100-100-100_r-35.8FAIL593.72
Q_2-2-3_v-100-100-100_r-35.0FAIL593.72
ncf_16_64_4_d.5FAIL593.72
ncf_16_128_2_u.6FAIL593.72
Q_3-3_v-100-100_r-11.6FAIL593.72
Q_3-3_v-100-100_r-11.7FAIL593.72
x165.8FAIL593.72
Q_3-3_v-100-100_r-15.9FAIL593.72
Q_2-3_v-80-100_r-5.1FAIL593.72
Q_2-2-3_v-100-100-100_r-75.6FAIL593.72
Q_3-3-3_v-100-100-100_r-30.2FAIL593.72
Q_2-2-3_v-100-100-100_r-75.5FAIL593.72
Q_3-3_v-100-100_r-15.6FAIL593.72
Q_2-2-3_v-100-100-100_r-75.1FAIL593.72
Q_2-2-3_v-100-100-100_r-75.0FAIL593.72
Q_3-3_v-100-100_r-19.4FAIL593.72
Q_3-3_v-100-100_r-17.5FAIL593.72
Q_3-3_v-100-100_r-17.6FAIL593.72
Q_2-2-3_v-100-100-100_r-45.6FAIL593.73
Q_2-3_v-80-100_r-9.8FAIL593.82
Q_2-3_v-80-100_r-11.9FAIL593.82
Q_2-3_v-80-100_r-7.5FAIL593.82
Q_2-2-3_v-100-100-100_r-75.2FAIL593.82
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL593.82
Q_2-3_v-80-100_r-9.9FAIL593.82
Q_3-3_v-100-100_r-11.2FAIL593.82
Q_2-2-3_v-100-100-100_r-35.3FAIL593.82
Q_3-3_v-100-100_r-13.1FAIL593.82
Q_2-3_v-80-100_r-9.3FAIL593.82
Q_3-3-3_v-100-100-100_r-30.8FAIL593.82
Q_2-3_v-80-100_r-5.2FAIL593.82
Q_2-2-3_v-100-100-100_r-65.8FAIL593.82
Q_3-3-3_v-100-100-100_r-30.5FAIL593.82
Q_2-2-3_v-100-100-100_r-65.5FAIL593.82
Q_3-3_v-100-100_r-11.0FAIL593.82
Q_2-3_v-80-100_r-7.9FAIL593.82
Q_2-2-3_v-100-100-100_r-45.0FAIL593.83
Q_2-3_v-80-100_r-5.8FAIL593.83
Q_3-3-3_v-100-100-100_r-60.7FAIL593.93
Q_3-3_v-100-100_r-13.7FAIL593.94
Q_2-2-3_v-100-100-100_r-65.1FAIL593.94
Q_2-3_v-80-100_r-5.9FAIL593.94
Q_3-3_v-100-100_r-17.4FAIL594.03
Q_2-3_v-80-100_r-5.5FAIL594.03
Q_2-2-3_v-100-100-100_r-55.4FAIL594.04
Q_2-2-3_v-100-100-100_r-35.6FAIL594.04