Instances solved by aqua-f3v
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ncf_4_16_2_d.6SAT0
ncf_4_16_2_d.4SAT0
ncf_4_16_2_d.2SAT0
ncf_4_16_2_d.9SAT0
ncf_4_16_2_d.10UNSAT0.01
ncf_4_16_2_d.7SAT0.01
ncf_8_16_4_u.2UNSAT0.01
ncf_4_16_2_d.5UNSAT0.01
ncf_8_16_4_u.10SAT0.01
ncf_8_16_4_u.6UNSAT0.01
ncf_4_16_2_d.8SAT0.01
ncf_8_16_4_u.8UNSAT0.01
ncf_8_16_4_u.5UNSAT0.01
ncf_8_16_4_u.1SAT0.01
ncf_4_16_2_d.1UNSAT0.01
ncf_4_16_2_d.3UNSAT0.02
ncf_8_16_4_u.9UNSAT0.02
ncf_8_16_4_u.4SAT0.02
ncf_4_16_8_euad.7SAT0.02
Q_2-3_v-80-100_r-13.2UNSAT0.05
Q_2-3_v-80-100_r-13.7UNSAT0.05
Q_2-3_v-80-100_r-13.6UNSAT0.06
ncf_16_32_8_u.4SAT0.06
Q_2-3_v-80-100_r-13.4UNSAT0.06
Q_2-3_v-80-100_r-13.3UNSAT0.06
ncf_4_16_8_euad.5UNSAT0.07
ncf_16_32_8_u.8UNSAT0.07
ncf_16_32_8_u.3SAT0.07
Q_2-3_v-80-100_r-13.8UNSAT0.07
ncf_8_16_4_u.3SAT0.08
Q_2-3_v-80-100_r-13.5UNSAT0.09
ncf_4_16_8_euad.3SAT0.09
Q_2-3_v-80-100_r-13.1UNSAT0.09
x25.15UNSAT0.1
x25.4UNSAT0.1
x25.7UNSAT0.11
Q_2-3_v-80-100_r-11.7UNSAT0.11
ncf_4_16_8_euad.8UNSAT0.11
x25.5UNSAT0.11
x25.19UNSAT0.11
Q_2-3_v-80-100_r-13.0UNSAT0.11
x25.10UNSAT0.11
ncf_4_16_8_euad.10SAT0.12
x25.13UNSAT0.12
x25.8UNSAT0.12
x25.16SAT0.13
x25.2SAT0.13
Q_2-3_v-80-100_r-13.9UNSAT0.14
x35.10UNSAT0.18
ncf_16_32_8_u.2UNSAT0.18
ncf_16_32_8_u.5UNSAT0.19
ncf_16_32_8_u.7SAT0.2
x35.3UNSAT0.22
robots_1_5_4_54.1SAT0.22
robots_1_5_5_45.1SAT0.22
robots_1_5_5_58.1SAT0.22
robots_1_5_5_91.1SAT0.22
x35.19UNSAT0.22
x35.11UNSAT0.22
robots_1_5_4_46.1SAT0.22
robots_1_5_2_46.1SAT0.23
robots_1_5_2_93.1SAT0.23
robots_1_5_4_74.1SAT0.23
robots_1_5_3_56.1SAT0.23
x35.2SAT0.23
robots_1_5_3_94.1SAT0.23
robots_1_5_3_98.1SAT0.23
robots_1_5_2_65.1SAT0.23
x35.5UNSAT0.24
x35.13UNSAT0.24
x35.15UNSAT0.25
x40.4UNSAT0.26
x40.17UNSAT0.26
x40.1UNSAT0.28
x40.10UNSAT0.28
ncf_4_16_8_euad.2SAT0.28
x35.9SAT0.29
ncf_16_32_8_u.10SAT0.3
x40.5UNSAT0.31
x40.19UNSAT0.31
x40.6UNSAT0.32
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.aspUNSAT0.35
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT0.36
ncf_8_16_4_u.7SAT0.36
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspUNSAT0.36
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT0.37
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT0.37
x35.1SAT0.37
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT0.37
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspUNSAT0.37
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT0.37
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspUNSAT0.38
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspUNSAT0.4
x40.11SAT0.41
ncf_16_32_8_u.6SAT0.41
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspUNSAT0.41
ncf_4_16_8_euad.4SAT0.43
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspUNSAT0.43
Q_2-3_v-80-100_r-11.3UNSAT0.45
x40.12SAT0.45
x40.18SAT0.47
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspSAT0.48
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT0.49
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT0.5
ncf_4_16_8_euad.9SAT0.67
x70.8UNSAT0.71
ncf_16_64_4_d.9SAT0.72
x70.5UNSAT0.73
x70.7UNSAT0.74
x70.0UNSAT0.75
ncf_16_64_4_d.2UNSAT0.75
x70.12UNSAT0.75
ncf_16_64_4_d.1SAT0.78
x70.6UNSAT0.87
x70.16UNSAT0.9
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspSAT0.92
x70.1UNSAT0.97
x70.10UNSAT0.99
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT1.03
ncf_16_64_4_d.5UNSAT1.06
T-adeu-15UNSAT1.09
T-adeu-49UNSAT1.1
T-edau-23UNSAT1.14
S-adeu-49UNSAT1.2
T-adeu-25UNSAT1.21
S-adeu-15UNSAT1.25
S-edau-23UNSAT1.27
T-adeu-39UNSAT1.29
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspSAT1.29
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT1.3
x70.3UNSAT1.38
Q_2-3_v-80-100_r-11.2UNSAT1.4
T-edau-26UNSAT1.4
S-adeu-32UNSAT1.42
S-edau-34UNSAT1.43
T-adeu-7UNSAT1.44
T-edau-18UNSAT1.45
ncf_16_64_4_d.6UNSAT1.5
S-adeu-47UNSAT1.5
T-edau-8UNSAT1.51
S-adeu-19UNSAT1.53
S-edau-30UNSAT1.56
S-adeu-30UNSAT1.57
T-edau-9UNSAT1.58
S-edau-17UNSAT1.6
S-adeu-6UNSAT1.64
S-edau-7UNSAT1.64
S-edau-29UNSAT1.65
S-edau-8UNSAT1.65
T-edau-20UNSAT1.66
S-adeu-29UNSAT1.67
S-adeu-41UNSAT1.71
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT1.73
S-edau-43UNSAT1.75
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspSAT1.75
T-adeu-9UNSAT1.76
S-edau-20UNSAT1.86
S-adeu-28UNSAT1.87
T-adeu-10UNSAT1.92
T-edau-2UNSAT1.97
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT2
Q_2-3_v-80-100_r-11.4UNSAT2.02
S-edau-1UNSAT2.06
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT2.06
T-edau-6UNSAT2.09
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspUNSAT2.13
T-edau-44UNSAT2.14
T-edau-24UNSAT2.16
T-adeu-38UNSAT2.21
ncf_4_16_8_euad.1SAT2.21
T-adeu-42UNSAT2.22
T-adeu-6UNSAT2.58
ncf_16_32_8_u.1SAT2.62
Q_2-3_v-80-100_r-11.9UNSAT2.7
Q_2-3_v-80-100_r-11.8UNSAT2.89
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspSAT2.9
Q_2-3_v-80-100_r-11.0UNSAT2.9
robots_1_5_5_58.2SAT3.1
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT3.15
ncf_16_64_4_d.8UNSAT3.31
robots_1_5_4_74.2SAT3.4
robots_1_5_5_91.2SAT3.42
Q_2-3_v-80-100_r-11.1UNSAT3.96
ncf_16_128_2_u.1UNSAT4.32
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspSAT4.68
ncf_16_64_4_d.10UNSAT4.68
x165.8UNSAT4.8
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspSAT5.41
ncf_16_64_4_d.7UNSAT5.75
robots_1_5_4_74.3SAT5.93
robots_1_5_5_58.3SAT6.16
ncf_16_64_4_d.3UNSAT7.77
ncf_16_32_8_u.9UNSAT7.81
x165.13UNSAT7.83
robots_1_5_5_91.3SAT8.88
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspSAT8.95
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspSAT10.47
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspSAT12.24
robots_1_5_4_54.2SAT12.78
robots_1_5_3_98.2SAT14.56
robots_1_5_5_58.4SAT15.6
robots_1_5_4_74.4SAT17.05
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT20.53
robots_1_5_4_54.3SAT21.35
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspUNSAT22.47
robots_1_5_4_46.2SAT24.28
Q_2-3_v-80-100_r-11.6UNSAT24.78
robots_1_5_3_98.3SAT26.28
robots_1_5_3_56.3SAT27.93
robots_1_5_5_58.5UNSAT28.97
robots_1_5_3_98.4SAT32.48
robots_1_5_3_56.4SAT34.94
robots_1_5_4_46.3SAT36.43
robots_1_5_3_56.2SAT37.77
robots_1_5_5_58.6UNSAT37.9
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT39.65
ncf_16_64_4_d.4UNSAT39.7
robots_1_5_3_98.5SAT40.04
robots_1_5_3_56.5SAT42.85
robots_1_5_4_74.5SAT45.74
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT47
robots_1_5_5_45.2SAT50.49
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspUNSAT51.93
robots_1_5_5_58.7UNSAT52.55
robots_1_5_3_56.6SAT52.68
robots_1_5_3_94.3SAT55.33
x220.9UNSAT58.27
robots_1_5_5_58.8UNSAT58.4
robots_1_5_3_98.6SAT59.63
robots_1_5_4_46.4SAT62.11
robots_1_5_3_94.4SAT63.32
robots_1_5_4_54.4SAT63.5
robots_1_5_2_93.3SAT64.72
robots_1_5_5_45.3SAT68.85
robots_1_5_3_56.7SAT69.83
robots_1_5_2_93.2SAT69.84
robots_1_5_3_94.5SAT71.87
robots_1_5_2_93.4SAT72.77
robots_1_5_2_46.3SAT75.28
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspSAT79.54
robots_1_5_2_46.4SAT81.33
robots_1_5_2_65.3SAT81.36
robots_1_5_2_93.5SAT81.87
robots_1_5_5_91.4SAT83.14
robots_1_5_5_58.9UNSAT84.8
robots_1_5_3_94.6SAT87.33
robots_1_5_5_45.4SAT88.49
robots_1_5_2_46.5SAT88.51
robots_1_5_2_65.2SAT88.6
robots_1_5_2_65.4SAT88.98
ncf_4_16_8_euad.6SAT92.15
robots_1_5_5_58.10UNSAT93.99
robots_1_5_2_46.2SAT96.35
robots_1_5_2_93.6SAT97.01
robots_1_5_5_45.7UNSAT97.9
robots_1_5_5_91.5UNSAT98.59
robots_1_5_5_45.8UNSAT99.12
robots_1_5_3_94.2SAT100.05
robots_1_5_2_46.6SAT100.69
robots_1_5_5_45.9UNSAT100.76
robots_1_5_2_65.5SAT101.54
robots_1_5_5_45.6UNSAT101.65
robots_1_5_4_54.5UNSAT102.12
robots_1_5_5_91.6UNSAT102.42
robots_1_5_5_91.7UNSAT102.64
robots_1_5_4_46.5SAT102.72
robots_1_5_4_54.6UNSAT103.04
robots_1_5_5_91.8UNSAT103.51
robots_1_5_4_54.7UNSAT103.89
robots_1_5_5_45.5SAT104.4
robots_1_5_5_91.9UNSAT104.41
robots_1_5_4_54.8UNSAT105
robots_1_5_3_94.7UNSAT105.35
robots_1_5_4_54.9UNSAT105.53
robots_1_5_4_54.10UNSAT106.46
robots_1_5_5_91.10UNSAT106.97
robots_1_5_4_74.7UNSAT107.73
robots_1_5_4_46.6SAT113.3
robots_1_5_4_74.6UNSAT114.36
robots_1_5_3_56.8SAT118.06
robots_1_5_5_45.10UNSAT120.93
robots_1_5_2_65.6SAT122.18
x165.0UNSAT124.31
robots_1_5_2_46.10UNSAT124.49
robots_1_5_4_74.8UNSAT125.8
robots_1_5_4_74.9UNSAT129.33
robots_1_5_4_74.10UNSAT137.08
robots_1_5_2_93.7SAT141.67
robots_1_5_2_46.7UNSAT142.61
robots_1_5_3_94.8UNSAT145.68
robots_1_5_3_98.7SAT149.86
robots_1_5_4_46.7UNSAT151.21
x165.6UNSAT155.44
robots_1_5_2_46.8UNSAT164.49
robots_1_5_2_46.9UNSAT165.88
robots_1_5_4_46.9UNSAT168.95
robots_1_5_4_46.8UNSAT181.83
robots_1_5_4_46.10UNSAT200.74
robots_1_5_3_98.8UNSAT206.86
robots_1_5_3_94.9UNSAT217.72
robots_1_5_2_65.7SAT260.39
x165.19UNSAT278.04
robots_1_5_3_94.10UNSAT311.7
robots_1_5_2_93.8SAT394.32
robots_1_5_3_98.9UNSAT455.82
robots_1_5_3_56.9SAT544.11
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL599.71
robots_1_5_2_93.9FAIL599.71
robots_1_5_2_65.9FAIL599.71
Q_2-2-3_v-100-100-100_r-35.2FAIL599.71
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL599.71
robots_1_5_3_98.10FAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL599.72
Q_2-2-3_v-100-100-100_r-45.9FAIL599.72
Q_2-2-3_v-100-100-100_r-55.0FAIL599.72
Q_3-3-3_v-100-100-100_r-60.7FAIL599.72
Q_2-2-3_v-100-100-100_r-55.2FAIL599.72
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL599.72
Q_2-2-3_v-100-100-100_r-45.5FAIL599.72
Q_2-2-3_v-100-100-100_r-45.0FAIL599.72
x220.10FAIL599.72
x220.2FAIL599.72
Q_2-3_v-80-100_r-5.9FAIL599.72
robots_1_5_3_56.10FAIL599.72
Q_2-3_v-80-100_r-5.8FAIL599.72
Q_2-2-3_v-100-100-100_r-75.4FAIL599.72
Q_2-3_v-80-100_r-7.3FAIL599.72
Q_2-3_v-80-100_r-5.3FAIL599.72
x165.17FAIL599.72
Q_2-3_v-80-100_r-7.0FAIL599.72
Q_2-2-3_v-100-100-100_r-75.5FAIL599.73
Q_2-3_v-80-100_r-9.1FAIL599.73
x300.4FAIL599.73
Q_3-3_v-100-100_r-13.0FAIL599.73
Q_3-3-3_v-100-100-100_r-70.0FAIL599.73
Q_3-3-3_v-100-100-100_r-70.5FAIL599.74
ncf_16_128_8_edau.2FAIL599.75
Q_2-2-3_v-100-100-100_r-45.7FAIL599.76
Q_2-2-3_v-100-100-100_r-35.4FAIL599.76
Q_3-3_v-100-100_r-19.8FAIL599.81
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL599.81
Q_2-3_v-80-100_r-9.0FAIL599.81
Q_3-3_v-100-100_r-11.7FAIL599.81
Q_3-3-3_v-100-100-100_r-30.2FAIL599.81
Q_2-3_v-80-100_r-7.7FAIL599.81
Q_2-3_v-80-100_r-5.6FAIL599.81
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL599.81
robots_1_5_2_65.8FAIL599.81
robots_1_5_2_93.10FAIL599.81
Q_3-3_v-100-100_r-13.4FAIL599.81
Q_2-3_v-80-100_r-5.4FAIL599.81
robots_1_5_2_65.10FAIL599.81
x220.16FAIL599.81
x210.6FAIL599.81
Q_3-3_v-100-100_r-17.2FAIL599.81
Q_2-3_v-80-100_r-7.6FAIL599.81
Q_3-3_v-100-100_r-17.4FAIL599.81
Q_2-3_v-80-100_r-5.1FAIL599.81
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL599.81
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL599.81
Q_2-3_v-80-100_r-9.7FAIL599.82
Q_2-3_v-80-100_r-5.7FAIL599.82
Q_2-3_v-80-100_r-9.3FAIL599.82
Q_3-3_v-100-100_r-13.6FAIL599.82
Q_3-3_v-100-100_r-11.2FAIL599.82
Q_2-3_v-80-100_r-9.2FAIL599.82
Q_3-3_v-100-100_r-11.8FAIL599.82
Q_3-3_v-100-100_r-11.3FAIL599.82
Q_2-3_v-80-100_r-7.8FAIL599.82
Q_3-3_v-100-100_r-11.1FAIL599.82
Q_3-3_v-100-100_r-11.0FAIL599.82
Q_2-3_v-80-100_r-9.9FAIL599.82
Q_2-3_v-80-100_r-9.8FAIL599.82
Q_2-3_v-80-100_r-5.2FAIL599.82
Q_2-3_v-80-100_r-5.0FAIL599.82
Q_2-3_v-80-100_r-7.2FAIL599.82
Q_2-3_v-80-100_r-9.6FAIL599.82
Q_2-3_v-80-100_r-7.4FAIL599.82
Q_2-3_v-80-100_r-9.5FAIL599.82
Q_2-3_v-80-100_r-7.5FAIL599.82
Q_2-3_v-80-100_r-5.5FAIL599.82
Q_2-3_v-80-100_r-7.9FAIL599.82
Q_3-3_v-100-100_r-11.4FAIL599.82
Q_3-3-3_v-100-100-100_r-70.2FAIL599.82
Q_3-3-3_v-100-100-100_r-30.8FAIL599.82
Q_3-3-3_v-100-100-100_r-30.6FAIL599.82
Q_3-3-3_v-100-100-100_r-30.3FAIL599.82
Q_3-3-3_v-100-100-100_r-30.1FAIL599.82
Q_3-3_v-100-100_r-19.7FAIL599.82
Q_3-3_v-100-100_r-19.6FAIL599.82
Q_3-3-3_v-100-100-100_r-70.4FAIL599.82
Q_3-3-3_v-100-100-100_r-70.6FAIL599.82
Q_3-3_v-100-100_r-19.4FAIL599.82
Q_3-3_v-100-100_r-19.3FAIL599.82
Q_3-3-3_v-100-100-100_r-30.9FAIL599.82
Q_3-3-3_v-100-100-100_r-40.1FAIL599.82
Q_3-3-3_v-100-100-100_r-40.5FAIL599.82
Q_3-3-3_v-100-100-100_r-60.9FAIL599.82
Q_3-3-3_v-100-100-100_r-60.4FAIL599.82
Q_3-3-3_v-100-100-100_r-60.3FAIL599.82
Q_3-3-3_v-100-100-100_r-60.0FAIL599.82
Q_3-3-3_v-100-100-100_r-50.7FAIL599.82
Q_3-3-3_v-100-100-100_r-50.5FAIL599.82
Q_3-3-3_v-100-100-100_r-50.3FAIL599.82
Q_3-3-3_v-100-100-100_r-50.1FAIL599.82
Q_3-3-3_v-100-100-100_r-50.0FAIL599.82
Q_3-3-3_v-100-100-100_r-40.6FAIL599.82
Q_3-3_v-100-100_r-19.1FAIL599.82
Q_3-3_v-100-100_r-19.0FAIL599.82
Q_3-3_v-100-100_r-17.9FAIL599.82
Q_3-3_v-100-100_r-15.0FAIL599.82
Q_3-3_v-100-100_r-13.9FAIL599.82
Q_3-3_v-100-100_r-13.8FAIL599.82
Q_3-3_v-100-100_r-13.7FAIL599.82
Q_3-3_v-100-100_r-13.5FAIL599.82
Q_3-3_v-100-100_r-13.3FAIL599.82
Q_3-3_v-100-100_r-13.2FAIL599.82
Q_3-3_v-100-100_r-13.1FAIL599.82
Q_3-3_v-100-100_r-11.9FAIL599.82
Q_3-3_v-100-100_r-11.6FAIL599.82
Q_3-3_v-100-100_r-15.1FAIL599.82
Q_3-3_v-100-100_r-15.2FAIL599.82
Q_3-3_v-100-100_r-15.3FAIL599.82
Q_3-3_v-100-100_r-17.8FAIL599.82
Q_3-3_v-100-100_r-17.7FAIL599.82
Q_3-3_v-100-100_r-17.6FAIL599.82
Q_3-3_v-100-100_r-17.5FAIL599.82
Q_3-3_v-100-100_r-17.0FAIL599.82
Q_3-3_v-100-100_r-15.9FAIL599.82
Q_3-3_v-100-100_r-15.8FAIL599.82
Q_3-3_v-100-100_r-15.7FAIL599.82
Q_3-3_v-100-100_r-15.5FAIL599.82
Q_3-3_v-100-100_r-15.4FAIL599.82
Q_3-3_v-100-100_r-11.5FAIL599.82
Q_2-3_v-80-100_r-11.5FAIL599.82
Q_2-2-3_v-100-100-100_r-35.8FAIL599.82
ncf_16_128_2_u.6FAIL599.82
x210.9FAIL599.82
Q_3-3_v-100-100_r-19.5FAIL599.82
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL599.82
x210.3FAIL599.82
x300.8FAIL599.82
Q_2-2-3_v-100-100-100_r-35.7FAIL599.82
Q_2-2-3_v-100-100-100_r-35.6FAIL599.82
Q_2-2-3_v-100-100-100_r-35.5FAIL599.82
Q_2-2-3_v-100-100-100_r-35.3FAIL599.82
Q_2-2-3_v-100-100-100_r-35.1FAIL599.82
Q_2-2-3_v-100-100-100_r-35.0FAIL599.82
x210.16FAIL599.82
x210.1FAIL599.82
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL599.82
x300.12FAIL599.82
x300.15FAIL599.82
x210.7FAIL599.82
x300.16FAIL599.82
x300.19FAIL599.82
x300.1FAIL599.82
x300.6FAIL599.82
x300.5FAIL599.82
x220.8FAIL599.82
ncf_16_128_8_euad.8FAIL599.82
x220.12FAIL599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL599.82
x220.13FAIL599.82
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL599.82
ncf_16_128_2_u.7FAIL599.82
x220.19FAIL599.82
x220.6FAIL599.82
x300.3FAIL599.82
Q_2-2-3_v-100-100-100_r-45.2FAIL599.82
Q_2-2-3_v-100-100-100_r-75.9FAIL599.82
Q_2-2-3_v-100-100-100_r-75.1FAIL599.82
Q_2-2-3_v-100-100-100_r-75.0FAIL599.82
Q_2-2-3_v-100-100-100_r-65.9FAIL599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL599.82
Q_2-2-3_v-100-100-100_r-65.7FAIL599.82
Q_2-2-3_v-100-100-100_r-75.2FAIL599.82
Q_2-2-3_v-100-100-100_r-65.5FAIL599.82
Q_2-2-3_v-100-100-100_r-65.3FAIL599.82
x210.12FAIL599.82
x210.11FAIL599.82
Q_2-2-3_v-100-100-100_r-65.4FAIL599.82
Q_2-2-3_v-100-100-100_r-75.8FAIL599.82
Q_2-2-3_v-100-100-100_r-75.7FAIL599.82
Q_2-2-3_v-100-100-100_r-45.8FAIL599.82
x165.10FAIL599.82
x165.11FAIL599.82
x165.3FAIL599.82
x165.9FAIL599.82
Q_2-2-3_v-100-100-100_r-75.6FAIL599.82
Q_2-2-3_v-100-100-100_r-65.2FAIL599.82
x210.15FAIL599.82
Q_2-2-3_v-100-100-100_r-55.6FAIL599.82
Q_2-2-3_v-100-100-100_r-45.3FAIL599.82
Q_2-2-3_v-100-100-100_r-45.4FAIL599.82
Q_2-2-3_v-100-100-100_r-45.6FAIL599.82
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL599.82
Q_2-2-3_v-100-100-100_r-55.1FAIL599.82
Q_2-2-3_v-100-100-100_r-55.3FAIL599.82
Q_2-2-3_v-100-100-100_r-55.4FAIL599.82
Q_2-2-3_v-100-100-100_r-55.7FAIL599.82
Q_2-2-3_v-100-100-100_r-55.9FAIL599.82
Q_2-2-3_v-100-100-100_r-55.8FAIL599.82
Q_2-2-3_v-100-100-100_r-65.0FAIL599.82
Q_2-2-3_v-100-100-100_r-65.1FAIL599.82
Q_2-2-3_v-100-100-100_r-35.9FAIL599.83
Q_3-3-3_v-100-100-100_r-50.2FAIL599.83
Q_2-2-3_v-100-100-100_r-75.3FAIL599.83
Q_3-3-3_v-100-100-100_r-70.7FAIL599.83
Q_3-3_v-100-100_r-19.2FAIL599.83
Q_2-3_v-80-100_r-9.4FAIL599.83
ncf_16_128_8_euad.9FAIL599.83
Q_2-2-3_v-100-100-100_r-45.1FAIL599.83
Q_3-3-3_v-100-100-100_r-50.9FAIL599.83
Q_2-2-3_v-100-100-100_r-55.5FAIL599.83
Q_3-3-3_v-100-100-100_r-50.6FAIL599.83
Q_3-3-3_v-100-100-100_r-70.9FAIL599.83
Q_3-3-3_v-100-100-100_r-60.6FAIL599.83
Q_3-3-3_v-100-100-100_r-70.3FAIL599.83
Q_3-3-3_v-100-100-100_r-30.4FAIL599.83
Q_3-3-3_v-100-100-100_r-40.9FAIL599.84
Q_3-3-3_v-100-100-100_r-60.8FAIL599.84
ncf_16_128_8_euad.1FAIL599.84
Q_2-2-3_v-100-100-100_r-65.8FAIL599.84
ncf_16_128_8_edau.7FAIL599.85
ncf_16_128_8_euad.4FAIL599.85
ncf_16_128_8_euad.3FAIL599.85
ncf_16_128_2_u.3FAIL599.86
ncf_16_128_8_euad.5FAIL599.9
x210.17FAIL599.91
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL599.91
Q_3-3_v-100-100_r-15.6FAIL599.92
Q_3-3-3_v-100-100-100_r-50.4FAIL599.92
x220.0FAIL599.92
Q_3-3-3_v-100-100-100_r-70.1FAIL599.92
ncf_16_128_2_u.2FAIL599.92
Q_3-3-3_v-100-100-100_r-60.1FAIL599.92
Q_3-3-3_v-100-100-100_r-60.2FAIL599.92
Q_2-2-3_v-100-100-100_r-65.6FAIL599.92
Q_3-3-3_v-100-100-100_r-60.5FAIL599.92
Q_3-3-3_v-100-100-100_r-40.2FAIL599.92
Q_3-3-3_v-100-100-100_r-40.8FAIL599.92
Q_3-3_v-100-100_r-19.9FAIL599.92
ncf_16_128_2_u.10FAIL599.92
ncf_16_128_8_edau.8FAIL599.92
Q_3-3-3_v-100-100-100_r-30.5FAIL599.92
Q_3-3_v-100-100_r-17.1FAIL599.92
Q_3-3-3_v-100-100-100_r-30.7FAIL599.92
ncf_16_128_2_u.5FAIL599.92
ncf_16_128_2_u.9FAIL599.92
Q_3-3-3_v-100-100-100_r-40.0FAIL599.92
Q_3-3-3_v-100-100-100_r-70.8FAIL599.92
ncf_16_128_2_u.4FAIL599.92
ncf_16_128_2_u.8FAIL599.92
Q_3-3-3_v-100-100-100_r-40.4FAIL599.92
Q_3-3_v-100-100_r-17.3FAIL599.92
Q_3-3-3_v-100-100-100_r-40.7FAIL599.92
Q_2-3_v-80-100_r-7.1FAIL599.92
Q_3-3-3_v-100-100-100_r-40.3FAIL599.93
ncf_16_128_8_edau.1FAIL599.93
ncf_16_128_8_edau.9FAIL599.93
Q_3-3-3_v-100-100-100_r-30.0FAIL599.93
ncf_16_128_8_edau.10FAIL599.93
Q_3-3-3_v-100-100-100_r-50.8FAIL599.93
ncf_16_128_8_edau.3FAIL599.94
ncf_16_128_8_euad.10FAIL599.94
ncf_16_128_8_euad.2FAIL599.95
ncf_16_128_8_euad.7FAIL599.96
ncf_16_128_8_euad.6FAIL599.98
ncf_16_128_8_edau.6FAIL600.02
ncf_16_128_8_edau.4FAIL600.03
ncf_16_128_8_edau.5FAIL600.04