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

InstanceResultTime
ncf_4_16_2_d.2SAT0
ncf_8_16_4_u.1SAT0
ncf_4_16_2_d.9SAT0
ncf_4_16_2_d.4SAT0
ncf_4_16_2_d.6SAT0
ncf_8_16_4_u.5UNSAT0.01
ncf_8_16_4_u.8UNSAT0.01
ncf_8_16_4_u.6UNSAT0.01
ncf_8_16_4_u.2UNSAT0.01
ncf_4_16_2_d.10UNSAT0.01
ncf_4_16_2_d.1UNSAT0.01
ncf_4_16_2_d.7SAT0.01
ncf_4_16_2_d.8SAT0.01
ncf_4_16_2_d.5UNSAT0.01
ncf_8_16_4_u.10SAT0.01
ncf_4_16_8_euad.7SAT0.02
ncf_8_16_4_u.9UNSAT0.02
ncf_4_16_2_d.3UNSAT0.02
ncf_8_16_4_u.4SAT0.02
Q_2-3_v-80-100_r-13.7UNSAT0.05
Q_2-3_v-80-100_r-13.2UNSAT0.05
ncf_8_16_4_u.3SAT0.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.6UNSAT0.06
ncf_4_16_8_euad.8UNSAT0.07
ncf_16_32_8_u.8UNSAT0.07
Q_2-3_v-80-100_r-13.3UNSAT0.07
ncf_16_32_8_u.3SAT0.07
Q_2-3_v-80-100_r-13.1UNSAT0.09
x25.15UNSAT0.1
x25.4UNSAT0.1
x25.19UNSAT0.11
x25.5UNSAT0.11
x25.7UNSAT0.11
x25.10UNSAT0.11
Q_2-3_v-80-100_r-13.5UNSAT0.12
x25.13UNSAT0.12
ncf_4_16_8_euad.5UNSAT0.12
x25.8UNSAT0.12
x25.16SAT0.12
x25.2SAT0.13
ncf_4_16_8_euad.3SAT0.14
ncf_16_32_8_u.2UNSAT0.15
ncf_16_32_8_u.7SAT0.16
Q_2-3_v-80-100_r-13.0UNSAT0.16
ncf_4_16_8_euad.2SAT0.17
ncf_16_32_8_u.10SAT0.18
ncf_16_32_8_u.5UNSAT0.18
x35.10UNSAT0.19
x35.5UNSAT0.22
robots_1_5_4_74.1SAT0.22
robots_1_5_5_91.1SAT0.22
robots_1_5_5_58.1SAT0.22
ncf_16_64_4_d.1SAT0.22
x35.3UNSAT0.22
robots_1_5_5_45.1SAT0.22
x35.19UNSAT0.22
robots_1_5_3_94.1SAT0.23
robots_1_5_3_98.1SAT0.23
robots_1_5_2_93.1SAT0.23
robots_1_5_2_65.1SAT0.23
robots_1_5_4_46.1SAT0.23
robots_1_5_2_46.1SAT0.23
x35.13UNSAT0.23
robots_1_5_3_56.1SAT0.23
robots_1_5_4_54.1SAT0.23
x35.11UNSAT0.23
x35.2SAT0.24
x35.9SAT0.26
x40.17UNSAT0.26
x35.15UNSAT0.26
x40.4UNSAT0.26
x40.10UNSAT0.27
x40.1UNSAT0.27
ncf_16_64_4_d.6UNSAT0.29
x40.19UNSAT0.29
Q_2-3_v-80-100_r-13.8UNSAT0.3
x40.5UNSAT0.31
x35.1SAT0.31
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
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#432.w#2.s#1.aspUNSAT0.36
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspUNSAT0.36
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT0.36
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#432.w#2.s#8.aspUNSAT0.37
ncf_4_16_8_euad.9SAT0.38
x40.6UNSAT0.39
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspUNSAT0.39
x40.11SAT0.41
x40.12SAT0.41
x40.18SAT0.41
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT0.44
ncf_16_64_4_d.5UNSAT0.46
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspSAT0.48
ncf_4_16_8_euad.4SAT0.48
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT0.48
ncf_8_16_4_u.7SAT0.49
ncf_16_32_8_u.6SAT0.54
Q_2-3_v-80-100_r-11.3UNSAT0.54
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspUNSAT0.56
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspUNSAT0.61
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT0.69
x70.8UNSAT0.7
x70.0UNSAT0.74
x70.5UNSAT0.74
x70.7UNSAT0.74
x70.12UNSAT0.75
x70.16UNSAT0.85
ncf_4_16_8_euad.10SAT0.87
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspSAT0.89
x70.10UNSAT0.93
ncf_16_64_4_d.2UNSAT0.93
x70.6UNSAT0.95
ncf_4_16_8_euad.1SAT0.95
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT0.98
x70.1UNSAT0.99
T-adeu-49UNSAT1.09
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT1.1
T-adeu-15UNSAT1.1
T-edau-23UNSAT1.14
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT1.15
T-adeu-25UNSAT1.23
S-adeu-15UNSAT1.23
S-adeu-49UNSAT1.23
S-edau-23UNSAT1.25
T-adeu-39UNSAT1.29
S-adeu-19UNSAT1.35
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspSAT1.37
T-adeu-38UNSAT1.37
S-edau-34UNSAT1.4
T-adeu-7UNSAT1.44
Q_2-3_v-80-100_r-13.9UNSAT1.44
T-edau-18UNSAT1.44
S-adeu-32UNSAT1.45
T-edau-44UNSAT1.45
ncf_16_32_8_u.1SAT1.48
T-edau-8UNSAT1.49
T-edau-9UNSAT1.49
S-adeu-47UNSAT1.5
S-adeu-30UNSAT1.53
T-edau-26UNSAT1.53
T-adeu-9UNSAT1.54
S-edau-30UNSAT1.55
T-adeu-10UNSAT1.57
S-edau-17UNSAT1.57
T-edau-2UNSAT1.59
S-edau-7UNSAT1.6
T-edau-20UNSAT1.62
T-adeu-42UNSAT1.63
S-edau-8UNSAT1.63
S-adeu-41UNSAT1.63
S-adeu-6UNSAT1.63
S-edau-29UNSAT1.65
S-adeu-29UNSAT1.66
ncf_16_64_4_d.7UNSAT1.73
S-edau-43UNSAT1.75
T-edau-6UNSAT1.76
ncf_16_128_2_u.1UNSAT1.8
T-edau-24UNSAT1.8
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT1.82
S-edau-20UNSAT1.82
S-adeu-28UNSAT1.87
S-edau-1UNSAT1.88
T-adeu-6UNSAT1.94
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspSAT2.35
x70.3UNSAT2.45
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT2.63
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspSAT2.77
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspSAT2.79
robots_1_5_5_58.2SAT3.08
robots_1_5_5_91.2SAT3.37
robots_1_5_4_74.2SAT3.4
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspSAT3.91
ncf_16_64_4_d.4UNSAT4.58
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspSAT5.19
robots_1_5_4_74.3SAT5.92
robots_1_5_5_58.3SAT6.14
x165.8UNSAT6.54
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspSAT6.72
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT8.11
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspUNSAT8.74
robots_1_5_5_91.3SAT8.94
x165.13UNSAT10.57
robots_1_5_4_54.2SAT12.82
robots_1_5_3_98.2SAT14.59
robots_1_5_5_58.4SAT15.63
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT16.29
robots_1_5_4_74.4SAT17.04
x165.3UNSAT19.14
ncf_16_64_4_d.3UNSAT20.24
Q_2-3_v-80-100_r-11.7UNSAT21.21
robots_1_5_4_54.3SAT21.47
robots_1_5_4_46.2SAT24.67
robots_1_5_3_98.3SAT26.39
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT26.65
robots_1_5_3_56.3SAT27.36
robots_1_5_5_58.5UNSAT28.79
Q_2-3_v-80-100_r-11.8UNSAT29.41
robots_1_5_3_98.4SAT32.37
robots_1_5_3_56.4SAT35.13
robots_1_5_4_46.3SAT37.09
robots_1_5_3_56.2SAT37.55
robots_1_5_5_58.6UNSAT37.75
robots_1_5_3_98.5SAT39.96
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspSAT40.4
robots_1_5_3_56.5SAT42.77
robots_1_5_4_74.5SAT45.82
x165.6UNSAT48.47
robots_1_5_5_45.2SAT50.43
robots_1_5_3_56.6SAT52.69
robots_1_5_5_58.7UNSAT52.79
robots_1_5_3_94.3SAT56.14
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspUNSAT56.8
robots_1_5_5_58.8UNSAT58.73
robots_1_5_3_98.6SAT58.95
robots_1_5_4_46.4SAT62.28
robots_1_5_4_54.4SAT63.16
robots_1_5_2_93.3SAT63.66
robots_1_5_3_94.4SAT63.91
robots_1_5_3_98.8UNSAT64.51
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT66.47
robots_1_5_5_45.3SAT69.05
robots_1_5_2_93.2SAT70.44
robots_1_5_3_94.5SAT71.59
robots_1_5_3_56.7SAT72.54
robots_1_5_2_93.4SAT73.29
robots_1_5_2_46.3SAT74.8
robots_1_5_2_65.3SAT80.57
robots_1_5_2_46.4SAT80.74
robots_1_5_2_93.5SAT82.15
robots_1_5_5_58.9UNSAT84.25
robots_1_5_5_91.4SAT84.89
robots_1_5_3_94.7UNSAT87.17
robots_1_5_3_94.6SAT87.3
robots_1_5_2_65.4SAT88.31
robots_1_5_2_65.2SAT88.58
robots_1_5_5_45.4SAT88.9
ncf_16_64_4_d.9SAT89.2
robots_1_5_2_46.5SAT90.22
robots_1_5_5_58.10UNSAT93.84
robots_1_5_2_46.2SAT94.72
robots_1_5_2_93.6SAT95.81
robots_1_5_5_45.7UNSAT97.42
robots_1_5_5_45.8UNSAT97.53
robots_1_5_5_91.5UNSAT97.86
robots_1_5_5_45.9UNSAT98.12
robots_1_5_5_45.6UNSAT100.03
robots_1_5_3_94.2SAT100.05
robots_1_5_5_91.6UNSAT100.34
robots_1_5_2_65.5SAT100.36
robots_1_5_5_91.7UNSAT100.37
robots_1_5_5_91.8UNSAT100.4
robots_1_5_5_91.9UNSAT100.41
robots_1_5_5_91.10UNSAT100.43
robots_1_5_4_54.5UNSAT100.44
robots_1_5_4_54.6UNSAT100.47
robots_1_5_4_54.7UNSAT100.51
robots_1_5_4_54.8UNSAT100.53
robots_1_5_4_54.9UNSAT100.57
robots_1_5_4_54.10UNSAT100.58
robots_1_5_4_74.7UNSAT101.51
robots_1_5_4_74.9UNSAT101.61
robots_1_5_4_74.8UNSAT101.64
robots_1_5_4_74.10UNSAT101.69
robots_1_5_2_46.8UNSAT102.1
robots_1_5_5_45.10UNSAT102.35
robots_1_5_4_46.5SAT102.78
robots_1_5_2_46.6SAT102.84
robots_1_5_2_46.10UNSAT103.26
robots_1_5_5_45.5SAT104.07
robots_1_5_4_46.8UNSAT106.01
robots_1_5_4_46.9UNSAT107.33
robots_1_5_4_46.10UNSAT107.39
robots_1_5_4_74.6UNSAT108.04
x220.9UNSAT108.34
robots_1_5_3_94.8UNSAT109.19
robots_1_5_3_98.10UNSAT110.98
robots_1_5_3_98.9UNSAT111.46
robots_1_5_4_46.6SAT113.21
x165.0UNSAT113.79
ncf_16_32_8_u.9UNSAT116.74
robots_1_5_3_94.9UNSAT116.74
robots_1_5_2_65.6SAT118.53
robots_1_5_3_56.8SAT125.76
robots_1_5_2_46.7UNSAT127.53
ncf_4_16_8_euad.6SAT132.13
robots_1_5_3_98.7SAT132.24
robots_1_5_3_94.10UNSAT134.65
robots_1_5_2_93.7SAT137.32
robots_1_5_4_46.7UNSAT139.2
robots_1_5_2_46.9UNSAT146.94
x220.19UNSAT167.87
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspSAT189.29
x165.19UNSAT205.6
robots_1_5_2_65.7SAT240.95
robots_1_5_3_56.9SAT366.63
robots_1_5_2_93.8SAT403.24
x165.11FAIL599.71
robots_1_5_3_56.10FAIL599.71
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL599.71
x300.12FAIL599.72
Q_2-2-3_v-100-100-100_r-65.1FAIL599.72
Q_2-2-3_v-100-100-100_r-75.7FAIL599.72
robots_1_5_2_93.9FAIL599.72
Q_2-2-3_v-100-100-100_r-75.9FAIL599.72
Q_2-2-3_v-100-100-100_r-75.4FAIL599.72
Q_2-3_v-80-100_r-5.7FAIL599.72
Q_2-2-3_v-100-100-100_r-75.8FAIL599.72
x300.16FAIL599.72
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL599.72
Q_2-2-3_v-100-100-100_r-75.2FAIL599.72
Q_3-3-3_v-100-100-100_r-60.2FAIL599.73
Q_2-2-3_v-100-100-100_r-65.2FAIL599.73
Q_3-3_v-100-100_r-15.9FAIL599.74
Q_2-2-3_v-100-100-100_r-55.5FAIL599.74
Q_2-2-3_v-100-100-100_r-65.8FAIL599.74
Q_2-2-3_v-100-100-100_r-45.1FAIL599.74
Q_2-2-3_v-100-100-100_r-45.5FAIL599.75
ncf_16_128_8_euad.7FAIL599.75
Q_3-3_v-100-100_r-15.6FAIL599.81
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL599.81
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL599.81
x210.7FAIL599.81
ncf_16_64_4_d.8FAIL599.81
Q_2-3_v-80-100_r-5.2FAIL599.81
Q_2-3_v-80-100_r-7.7FAIL599.81
Q_2-3_v-80-100_r-7.3FAIL599.81
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL599.81
Q_2-3_v-80-100_r-5.5FAIL599.81
Q_2-3_v-80-100_r-5.3FAIL599.81
ncf_16_128_8_euad.10FAIL599.81
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL599.81
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL599.81
Q_2-3_v-80-100_r-5.1FAIL599.81
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL599.81
robots_1_5_2_65.8FAIL599.81
x210.11FAIL599.81
x210.9FAIL599.81
x165.9FAIL599.81
x210.1FAIL599.81
ncf_16_64_4_d.10FAIL599.81
robots_1_5_2_93.10FAIL599.81
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL599.81
x300.15FAIL599.81
Q_2-3_v-80-100_r-7.1FAIL599.82
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL599.82
Q_3-3-3_v-100-100-100_r-40.5FAIL599.82
Q_2-3_v-80-100_r-5.0FAIL599.82
Q_3-3-3_v-100-100-100_r-40.9FAIL599.82
ncf_16_128_2_u.2FAIL599.82
Q_2-3_v-80-100_r-7.4FAIL599.82
Q_3-3-3_v-100-100-100_r-40.2FAIL599.82
Q_2-3_v-80-100_r-5.4FAIL599.82
Q_3-3-3_v-100-100-100_r-40.0FAIL599.82
Q_2-3_v-80-100_r-5.6FAIL599.82
Q_3-3_v-100-100_r-19.9FAIL599.82
Q_2-3_v-80-100_r-7.2FAIL599.82
Q_2-3_v-80-100_r-5.8FAIL599.82
Q_2-3_v-80-100_r-5.9FAIL599.82
Q_2-3_v-80-100_r-7.0FAIL599.82
Q_3-3-3_v-100-100-100_r-70.9FAIL599.82
Q_3-3-3_v-100-100-100_r-50.0FAIL599.82
Q_3-3-3_v-100-100-100_r-60.6FAIL599.82
Q_3-3-3_v-100-100-100_r-60.8FAIL599.82
Q_3-3-3_v-100-100-100_r-60.9FAIL599.82
Q_2-2-3_v-100-100-100_r-75.6FAIL599.82
Q_3-3-3_v-100-100-100_r-70.1FAIL599.82
Q_2-2-3_v-100-100-100_r-75.5FAIL599.82
Q_2-3_v-80-100_r-9.2FAIL599.82
Q_3-3-3_v-100-100-100_r-70.2FAIL599.82
Q_2-3_v-80-100_r-11.0FAIL599.82
Q_3-3-3_v-100-100-100_r-50.8FAIL599.82
Q_2-3_v-80-100_r-11.9FAIL599.82
Q_3-3-3_v-100-100-100_r-50.1FAIL599.82
Q_2-3_v-80-100_r-11.6FAIL599.82
Q_2-3_v-80-100_r-11.5FAIL599.82
Q_2-3_v-80-100_r-11.4FAIL599.82
Q_3-3-3_v-100-100-100_r-50.2FAIL599.82
Q_2-3_v-80-100_r-11.1FAIL599.82
Q_3-3-3_v-100-100-100_r-50.4FAIL599.82
Q_2-2-3_v-100-100-100_r-75.3FAIL599.82
Q_2-3_v-80-100_r-7.5FAIL599.82
Q_3-3_v-100-100_r-11.7FAIL599.82
Q_3-3_v-100-100_r-17.9FAIL599.82
Q_3-3_v-100-100_r-11.8FAIL599.82
Q_3-3_v-100-100_r-11.9FAIL599.82
Q_3-3_v-100-100_r-13.0FAIL599.82
Q_3-3_v-100-100_r-13.2FAIL599.82
Q_3-3_v-100-100_r-17.1FAIL599.82
Q_3-3_v-100-100_r-13.3FAIL599.82
Q_3-3_v-100-100_r-13.4FAIL599.82
Q_3-3-3_v-100-100-100_r-30.3FAIL599.82
Q_3-3_v-100-100_r-13.5FAIL599.82
Q_3-3_v-100-100_r-13.6FAIL599.82
Q_3-3_v-100-100_r-13.7FAIL599.82
Q_3-3_v-100-100_r-13.8FAIL599.82
Q_3-3_v-100-100_r-17.8FAIL599.82
Q_3-3_v-100-100_r-15.1FAIL599.82
Q_3-3_v-100-100_r-17.0FAIL599.82
Q_3-3_v-100-100_r-11.6FAIL599.82
Q_3-3_v-100-100_r-19.0FAIL599.82
Q_3-3_v-100-100_r-11.5FAIL599.82
Q_2-3_v-80-100_r-7.6FAIL599.82
Q_3-3_v-100-100_r-19.8FAIL599.82
Q_2-3_v-80-100_r-7.8FAIL599.82
Q_2-3_v-80-100_r-9.0FAIL599.82
Q_3-3_v-100-100_r-19.5FAIL599.82
Q_2-3_v-80-100_r-9.3FAIL599.82
Q_2-3_v-80-100_r-9.4FAIL599.82
Q_2-3_v-80-100_r-9.5FAIL599.82
Q_2-3_v-80-100_r-9.7FAIL599.82
Q_2-3_v-80-100_r-9.8FAIL599.82
Q_2-3_v-80-100_r-9.9FAIL599.82
Q_3-3_v-100-100_r-11.0FAIL599.82
Q_3-3_v-100-100_r-11.1FAIL599.82
Q_3-3_v-100-100_r-11.2FAIL599.82
Q_3-3_v-100-100_r-19.2FAIL599.82
Q_3-3_v-100-100_r-11.3FAIL599.82
Q_3-3_v-100-100_r-11.4FAIL599.82
Q_3-3_v-100-100_r-15.7FAIL599.82
robots_1_5_2_65.10FAIL599.82
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL599.82
ncf_16_128_2_u.7FAIL599.82
ncf_16_128_8_edau.5FAIL599.82
x220.12FAIL599.82
x165.17FAIL599.82
ncf_16_128_8_edau.9FAIL599.82
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL599.82
x220.10FAIL599.82
ncf_16_128_2_u.6FAIL599.82
ncf_16_128_8_euad.1FAIL599.82
Q_2-2-3_v-100-100-100_r-35.3FAIL599.82
Q_2-2-3_v-100-100-100_r-35.2FAIL599.82
Q_2-2-3_v-100-100-100_r-35.1FAIL599.82
x220.8FAIL599.82
x220.6FAIL599.82
x220.2FAIL599.82
x220.16FAIL599.82
x220.13FAIL599.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#3.aspFAIL599.82
x210.6FAIL599.82
robots_1_5_2_65.9FAIL599.82
x210.3FAIL599.82
x210.17FAIL599.82
x210.16FAIL599.82
x210.15FAIL599.82
x210.12FAIL599.82
x165.10FAIL599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.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#6.s#6.aspFAIL599.82
x220.0FAIL599.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#4.s#1.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL599.82
Q_2-2-3_v-100-100-100_r-35.4FAIL599.82
Q_2-2-3_v-100-100-100_r-35.5FAIL599.82
Q_2-2-3_v-100-100-100_r-45.2FAIL599.82
Q_2-2-3_v-100-100-100_r-55.3FAIL599.82
x300.6FAIL599.82
Q_2-2-3_v-100-100-100_r-65.5FAIL599.82
x300.5FAIL599.82
x300.4FAIL599.82
x300.3FAIL599.82
x300.1FAIL599.82
Q_2-2-3_v-100-100-100_r-55.4FAIL599.82
x300.19FAIL599.82
Q_2-2-3_v-100-100-100_r-55.6FAIL599.82
Q_2-2-3_v-100-100-100_r-55.7FAIL599.82
Q_2-2-3_v-100-100-100_r-55.8FAIL599.82
Q_2-2-3_v-100-100-100_r-55.9FAIL599.82
Q_2-2-3_v-100-100-100_r-65.0FAIL599.82
Q_2-2-3_v-100-100-100_r-65.6FAIL599.82
Q_2-2-3_v-100-100-100_r-55.2FAIL599.82
Q_2-2-3_v-100-100-100_r-55.1FAIL599.82
Q_2-2-3_v-100-100-100_r-35.7FAIL599.82
x300.8FAIL599.82
Q_2-2-3_v-100-100-100_r-45.0FAIL599.82
Q_2-2-3_v-100-100-100_r-75.0FAIL599.82
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL599.82
Q_2-2-3_v-100-100-100_r-65.9FAIL599.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
Q_2-2-3_v-100-100-100_r-45.7FAIL599.82
Q_2-2-3_v-100-100-100_r-55.0FAIL599.82
Q_2-2-3_v-100-100-100_r-65.3FAIL599.82
Q_2-2-3_v-100-100-100_r-45.9FAIL599.82
Q_2-2-3_v-100-100-100_r-65.7FAIL599.82
Q_2-2-3_v-100-100-100_r-45.8FAIL599.82
Q_3-3-3_v-100-100-100_r-30.2FAIL599.83
Q_3-3_v-100-100_r-19.7FAIL599.83
Q_3-3-3_v-100-100-100_r-70.6FAIL599.83
Q_3-3-3_v-100-100-100_r-30.0FAIL599.83
Q_3-3-3_v-100-100-100_r-30.4FAIL599.83
Q_3-3-3_v-100-100-100_r-30.6FAIL599.83
Q_3-3-3_v-100-100-100_r-70.5FAIL599.83
Q_3-3-3_v-100-100-100_r-50.7FAIL599.83
Q_3-3-3_v-100-100-100_r-50.3FAIL599.83
Q_3-3-3_v-100-100-100_r-50.9FAIL599.83
Q_3-3-3_v-100-100-100_r-40.8FAIL599.83
Q_3-3-3_v-100-100-100_r-40.7FAIL599.83
Q_3-3-3_v-100-100-100_r-40.3FAIL599.83
Q_3-3-3_v-100-100-100_r-60.5FAIL599.83
Q_3-3-3_v-100-100-100_r-50.5FAIL599.83
Q_3-3-3_v-100-100-100_r-70.3FAIL599.83
Q_3-3-3_v-100-100-100_r-50.6FAIL599.83
ncf_16_128_8_euad.4FAIL599.83
ncf_16_128_2_u.9FAIL599.83
Q_2-2-3_v-100-100-100_r-75.1FAIL599.83
ncf_16_128_8_edau.4FAIL599.83
ncf_16_128_2_u.4FAIL599.83
ncf_16_128_8_euad.9FAIL599.83
Q_3-3-3_v-100-100-100_r-30.8FAIL599.84
Q_2-2-3_v-100-100-100_r-35.9FAIL599.84
ncf_16_128_8_edau.3FAIL599.84
Q_3-3-3_v-100-100-100_r-60.4FAIL599.84
Q_3-3-3_v-100-100-100_r-70.0FAIL599.84
Q_2-2-3_v-100-100-100_r-35.0FAIL599.85
ncf_16_128_8_euad.8FAIL599.87
ncf_16_128_8_euad.6FAIL599.87
ncf_16_128_8_euad.3FAIL599.87
ncf_16_128_8_edau.7FAIL599.87
ncf_16_128_8_edau.6FAIL599.88
Q_3-3_v-100-100_r-15.0FAIL599.91
Q_3-3-3_v-100-100-100_r-40.6FAIL599.91
Q_3-3_v-100-100_r-19.4FAIL599.91
Q_2-2-3_v-100-100-100_r-35.6FAIL599.92
ncf_16_128_2_u.3FAIL599.92
Q_2-3_v-80-100_r-7.9FAIL599.92
Q_2-2-3_v-100-100-100_r-65.4FAIL599.92
Q_2-3_v-80-100_r-9.1FAIL599.92
Q_3-3-3_v-100-100-100_r-30.7FAIL599.92
Q_2-2-3_v-100-100-100_r-35.8FAIL599.92
Q_2-3_v-80-100_r-11.2FAIL599.92
Q_2-2-3_v-100-100-100_r-45.3FAIL599.92
Q_3-3-3_v-100-100-100_r-60.0FAIL599.92
Q_3-3-3_v-100-100-100_r-60.1FAIL599.92
ncf_16_128_2_u.8FAIL599.92
Q_3-3-3_v-100-100-100_r-60.7FAIL599.92
ncf_16_128_8_euad.5FAIL599.92
Q_3-3-3_v-100-100-100_r-70.7FAIL599.92
Q_2-3_v-80-100_r-9.6FAIL599.92
Q_3-3_v-100-100_r-19.1FAIL599.92
Q_3-3_v-100-100_r-15.4FAIL599.92
Q_3-3_v-100-100_r-15.5FAIL599.92
Q_3-3_v-100-100_r-17.4FAIL599.92
Q_3-3_v-100-100_r-17.5FAIL599.92
Q_3-3_v-100-100_r-19.6FAIL599.92
Q_3-3_v-100-100_r-15.8FAIL599.92
Q_3-3_v-100-100_r-19.3FAIL599.92
Q_3-3_v-100-100_r-17.6FAIL599.92
Q_3-3_v-100-100_r-17.2FAIL599.92
Q_3-3-3_v-100-100-100_r-30.1FAIL599.92
Q_3-3_v-100-100_r-15.3FAIL599.92
Q_3-3_v-100-100_r-15.2FAIL599.92
Q_3-3-3_v-100-100-100_r-40.4FAIL599.92
ncf_16_128_2_u.5FAIL599.92
Q_3-3-3_v-100-100-100_r-40.1FAIL599.92
Q_3-3_v-100-100_r-13.1FAIL599.92
Q_3-3-3_v-100-100-100_r-30.9FAIL599.92
Q_3-3_v-100-100_r-17.3FAIL599.92
Q_3-3_v-100-100_r-13.9FAIL599.92
Q_3-3-3_v-100-100-100_r-30.5FAIL599.92
Q_3-3_v-100-100_r-17.7FAIL599.92
Q_3-3-3_v-100-100-100_r-70.4FAIL599.93
Q_3-3-3_v-100-100-100_r-70.8FAIL599.93
Q_3-3-3_v-100-100-100_r-60.3FAIL599.93
ncf_16_128_8_edau.2FAIL599.96
ncf_16_128_8_edau.10FAIL600
ncf_16_128_8_euad.2FAIL600.02
ncf_16_128_2_u.10FAIL600.02
ncf_16_128_8_edau.8FAIL600.03
ncf_16_128_8_edau.1FAIL600.04