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

InstanceResultTime
ncf_8_16_4_u.5UNSAT0.01
ncf_8_16_4_u.1SAT0.01
ncf_4_16_2_d.2SAT0.01
ncf_4_16_2_d.6SAT0.01
ncf_4_16_2_d.9SAT0.01
x25.10UNSAT0.02
x25.15UNSAT0.02
x25.4UNSAT0.02
ncf_4_16_2_d.7SAT0.02
ncf_4_16_2_d.4SAT0.02
ncf_4_16_2_d.1UNSAT0.03
ncf_8_16_4_u.2UNSAT0.03
ncf_8_16_4_u.10SAT0.03
x25.8UNSAT0.03
x25.13UNSAT0.03
x25.19UNSAT0.03
x25.5UNSAT0.03
robots_1_5_2_46.1SAT0.04
robots_1_5_5_58.1SAT0.04
robots_1_5_5_91.1SAT0.04
ncf_4_16_2_d.5UNSAT0.04
x25.7UNSAT0.04
ncf_4_16_2_d.8SAT0.04
ncf_4_16_2_d.10UNSAT0.04
robots_1_5_2_65.1SAT0.04
robots_1_5_2_93.1SAT0.04
robots_1_5_5_45.1SAT0.04
robots_1_5_4_46.1SAT0.04
robots_1_5_4_54.1SAT0.04
robots_1_5_4_74.1SAT0.04
robots_1_5_3_98.1SAT0.04
robots_1_5_3_94.1SAT0.04
robots_1_5_3_56.1SAT0.04
x35.11UNSAT0.06
x25.16SAT0.07
robots_1_5_3_56.2SAT0.07
robots_1_5_3_94.2SAT0.07
robots_1_5_4_46.2SAT0.07
robots_1_5_3_98.2SAT0.07
x25.2SAT0.07
robots_1_5_4_54.2SAT0.07
robots_1_5_5_58.2SAT0.07
robots_1_5_4_74.2SAT0.07
robots_1_5_5_91.2SAT0.07
robots_1_5_2_93.2SAT0.07
robots_1_5_5_45.2SAT0.07
robots_1_5_2_46.2SAT0.07
x40.17UNSAT0.08
robots_1_5_2_65.2SAT0.08
ncf_8_16_4_u.6UNSAT0.09
x35.3UNSAT0.11
ncf_8_16_4_u.8UNSAT0.11
robots_1_5_5_58.3SAT0.12
robots_1_5_3_56.3SAT0.12
x35.2SAT0.12
robots_1_5_4_74.3SAT0.13
robots_1_5_5_91.3SAT0.13
x35.10UNSAT0.13
x35.15UNSAT0.13
robots_1_5_2_93.3SAT0.14
robots_1_5_4_46.3SAT0.14
robots_1_5_2_46.3SAT0.14
robots_1_5_3_94.3SAT0.15
x35.5UNSAT0.15
robots_1_5_4_54.3SAT0.15
robots_1_5_5_45.3SAT0.16
robots_1_5_3_98.3SAT0.17
x40.1UNSAT0.17
robots_1_5_2_65.3SAT0.18
x40.4UNSAT0.2
ncf_4_16_2_d.3UNSAT0.2
x40.10UNSAT0.21
x40.19UNSAT0.22
x70.6UNSAT0.25
x35.9SAT0.26
robots_1_5_3_56.4SAT0.28
x35.13UNSAT0.28
robots_1_5_4_54.7UNSAT0.3
x35.19UNSAT0.32
robots_1_5_5_58.4SAT0.32
T-edau-6UNSAT0.33
ncf_8_16_4_u.4SAT0.34
T-edau-20UNSAT0.35
x70.16UNSAT0.36
T-edau-44UNSAT0.36
robots_1_5_2_46.4SAT0.37
T-edau-9UNSAT0.37
robots_1_5_2_93.4SAT0.38
robots_1_5_4_54.8UNSAT0.39
x40.6UNSAT0.39
x35.1SAT0.41
x40.12SAT0.41
T-edau-26UNSAT0.42
T-edau-8UNSAT0.42
T-edau-18UNSAT0.42
T-edau-2UNSAT0.42
robots_1_5_5_91.4SAT0.43
T-edau-24UNSAT0.43
T-edau-23UNSAT0.44
robots_1_5_4_74.4SAT0.44
robots_1_5_4_54.4SAT0.48
robots_1_5_4_46.4SAT0.48
x40.5UNSAT0.5
x70.8UNSAT0.51
robots_1_5_3_94.4SAT0.52
x40.18SAT0.54
robots_1_5_3_98.4SAT0.55
robots_1_5_5_58.5UNSAT0.56
robots_1_5_5_91.8UNSAT0.57
robots_1_5_5_45.4SAT0.59
robots_1_5_4_54.9UNSAT0.6
robots_1_5_5_58.8UNSAT0.61
S-edau-29UNSAT0.66
S-edau-34UNSAT0.67
robots_1_5_5_58.6UNSAT0.68
S-edau-7UNSAT0.68
S-edau-43UNSAT0.69
S-edau-30UNSAT0.69
S-edau-17UNSAT0.7
S-edau-23UNSAT0.72
robots_1_5_2_65.4SAT0.72
robots_1_5_3_56.5SAT0.75
robots_1_5_5_91.5UNSAT0.75
robots_1_5_5_91.9UNSAT0.76
S-edau-1UNSAT0.76
S-edau-8UNSAT0.82
S-edau-20UNSAT0.83
x40.11SAT0.86
robots_1_5_5_91.6UNSAT0.99
robots_1_5_5_58.7UNSAT1.1
robots_1_5_2_46.5SAT1.23
robots_1_5_5_45.8UNSAT1.24
Q_2-3_v-80-100_r-5.1SAT1.37
robots_1_5_2_93.5SAT1.38
robots_1_5_4_54.5UNSAT1.7
robots_1_5_5_58.10UNSAT1.76
x70.0UNSAT1.85
robots_1_5_4_46.5SAT1.91
S-adeu-47UNSAT1.96
robots_1_5_4_74.5SAT1.97
robots_1_5_3_94.5SAT2.02
S-adeu-19UNSAT2.06
S-adeu-28UNSAT2.08
S-adeu-29UNSAT2.1
T-adeu-15UNSAT2.13
S-adeu-49UNSAT2.14
S-adeu-15UNSAT2.22
robots_1_5_3_98.5SAT2.23
S-adeu-32UNSAT2.27
x70.1UNSAT2.28
S-adeu-6UNSAT2.28
S-adeu-30UNSAT2.3
S-adeu-41UNSAT2.32
robots_1_5_3_56.6SAT2.4
robots_1_5_5_91.7UNSAT2.4
robots_1_5_4_54.6UNSAT2.48
x70.3UNSAT2.48
T-adeu-25UNSAT2.92
robots_1_5_4_54.10UNSAT2.93
robots_1_5_5_45.9UNSAT2.93
robots_1_5_5_45.5SAT3
robots_1_5_3_94.10UNSAT3.06
robots_1_5_5_91.10UNSAT3.17
robots_1_5_5_45.6UNSAT3.27
robots_1_5_2_65.5SAT3.27
robots_1_5_4_74.6UNSAT3.38
x70.5UNSAT3.5
x70.7UNSAT3.76
ncf_4_16_8_euad.7SAT4.26
robots_1_5_2_46.8UNSAT4.5
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspUNSAT4.52
Q_2-3_v-80-100_r-5.6SAT4.77
robots_1_5_5_45.10UNSAT4.82
robots_1_5_2_46.9UNSAT5.05
x70.10UNSAT5.21
robots_1_5_2_46.6SAT5.21
robots_1_5_2_93.6SAT5.7
Q_2-3_v-80-100_r-13.9UNSAT5.99
Q_2-3_v-80-100_r-5.9SAT6.35
T-adeu-49UNSAT7.13
Q_2-3_v-80-100_r-5.4SAT7.21
robots_1_5_5_58.9UNSAT7.26
ncf_16_64_4_d.2UNSAT7.35
robots_1_5_3_56.7SAT8.47
T-adeu-7UNSAT9.05
x70.12UNSAT9.29
robots_1_5_3_94.6SAT9.36
robots_1_5_4_46.6SAT9.51
robots_1_5_2_46.7UNSAT10.05
robots_1_5_3_98.6SAT10.32
robots_1_5_4_74.8UNSAT10.33
robots_1_5_2_46.10UNSAT10.78
ncf_16_64_4_d.1SAT11.69
robots_1_5_3_94.8UNSAT14.02
Q_2-3_v-80-100_r-5.2SAT14.16
ncf_8_16_4_u.9UNSAT14.43
robots_1_5_5_45.7UNSAT15.93
robots_1_5_4_74.9UNSAT16.88
robots_1_5_2_65.6SAT17.49
ncf_16_64_4_d.8UNSAT17.94
robots_1_5_4_74.7UNSAT18.05
T-adeu-39UNSAT20.98
robots_1_5_2_93.7SAT25.4
ncf_16_64_4_d.9SAT26.26
robots_1_5_3_56.8SAT27.37
Q_2-3_v-80-100_r-5.5SAT29
robots_1_5_3_94.9UNSAT32.96
robots_1_5_3_98.10UNSAT35.01
Q_2-3_v-80-100_r-5.3SAT36.01
ncf_8_16_4_u.3SAT36.22
robots_1_5_4_46.7UNSAT36.34
T-adeu-42UNSAT38
robots_1_5_4_46.9UNSAT40.71
robots_1_5_3_94.7UNSAT43.05
robots_1_5_4_46.10UNSAT43.69
robots_1_5_3_98.7SAT46.09
ncf_16_64_4_d.5UNSAT49.88
robots_1_5_3_98.9UNSAT49.9
T-adeu-38UNSAT51.62
robots_1_5_4_46.8UNSAT54.01
robots_1_5_2_65.7SAT81.02
Q_2-3_v-80-100_r-5.0SAT81.41
T-adeu-6UNSAT81.57
robots_1_5_4_74.10UNSAT84.95
ncf_8_16_4_u.7SAT88.59
robots_1_5_3_56.9SAT89.22
ncf_16_64_4_d.3UNSAT92.81
T-adeu-10UNSAT96.84
robots_1_5_2_93.8SAT105.67
Q_2-3_v-80-100_r-5.7SAT139.93
robots_1_5_3_98.8UNSAT161.05
T-adeu-9UNSAT185.87
Q_2-3_v-80-100_r-5.8SAT244.24
robots_1_5_3_56.10SAT261.88
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT325.83
robots_1_5_2_93.9SAT431.62
robots_1_5_2_65.8SAT441.68
Q_2-3_v-80-100_r-13.3UNSAT505.46
ncf_16_128_8_euad.2FAIL558.33
ncf_16_64_4_d.7UNSAT571.08
ncf_16_128_8_euad.9FAIL590.73
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspFAIL599.61
x300.1FAIL599.61
ncf_16_128_8_edau.5FAIL599.62
x300.3FAIL599.63
Q_2-2-3_v-100-100-100_r-55.2FAIL599.71
Q_3-3-3_v-100-100-100_r-60.7FAIL599.71
Q_3-3-3_v-100-100-100_r-70.1FAIL599.71
Q_2-2-3_v-100-100-100_r-55.4FAIL599.71
Q_3-3-3_v-100-100-100_r-70.0FAIL599.71
Q_3-3-3_v-100-100-100_r-60.9FAIL599.71
Q_3-3-3_v-100-100-100_r-60.8FAIL599.71
Q_2-2-3_v-100-100-100_r-55.1FAIL599.71
Q_2-2-3_v-100-100-100_r-35.7FAIL599.71
Q_2-2-3_v-100-100-100_r-45.6FAIL599.71
Q_2-2-3_v-100-100-100_r-45.1FAIL599.71
Q_2-2-3_v-100-100-100_r-35.5FAIL599.71
Q_2-2-3_v-100-100-100_r-45.3FAIL599.71
Q_2-2-3_v-100-100-100_r-45.2FAIL599.71
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspFAIL599.71
Q_2-2-3_v-100-100-100_r-35.9FAIL599.71
Q_2-2-3_v-100-100-100_r-35.6FAIL599.71
Q_2-2-3_v-100-100-100_r-45.4FAIL599.71
Q_2-2-3_v-100-100-100_r-45.9FAIL599.71
Q_2-3_v-80-100_r-11.8FAIL599.71
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspFAIL599.71
Q_3-3-3_v-100-100-100_r-70.4FAIL599.71
Q_2-3_v-80-100_r-11.6FAIL599.71
Q_2-3_v-80-100_r-11.5FAIL599.71
Q_2-2-3_v-100-100-100_r-65.1FAIL599.71
Q_2-3_v-80-100_r-11.3FAIL599.71
Q_2-3_v-80-100_r-11.2FAIL599.71
Q_2-3_v-80-100_r-11.0FAIL599.71
Q_2-2-3_v-100-100-100_r-75.9FAIL599.71
Q_2-2-3_v-100-100-100_r-65.5FAIL599.71
Q_2-2-3_v-100-100-100_r-35.2FAIL599.71
Q_2-2-3_v-100-100-100_r-75.8FAIL599.71
Q_2-2-3_v-100-100-100_r-75.7FAIL599.71
Q_2-2-3_v-100-100-100_r-75.5FAIL599.71
Q_2-2-3_v-100-100-100_r-75.3FAIL599.71
Q_2-2-3_v-100-100-100_r-75.1FAIL599.71
Q_2-2-3_v-100-100-100_r-75.0FAIL599.71
Q_2-2-3_v-100-100-100_r-65.8FAIL599.71
Q_2-3_v-80-100_r-11.7FAIL599.71
Q_2-2-3_v-100-100-100_r-35.1FAIL599.71
Q_2-2-3_v-100-100-100_r-65.4FAIL599.71
Q_2-2-3_v-100-100-100_r-55.6FAIL599.71
Q_3-3-3_v-100-100-100_r-70.7FAIL599.71
Q_3-3-3_v-100-100-100_r-70.9FAIL599.71
Q_2-2-3_v-100-100-100_r-55.7FAIL599.71
Q_2-2-3_v-100-100-100_r-55.8FAIL599.71
Q_2-3_v-80-100_r-13.7FAIL599.71
Q_2-2-3_v-100-100-100_r-65.0FAIL599.71
Q_2-3_v-80-100_r-13.6FAIL599.71
Q_2-3_v-80-100_r-13.4FAIL599.71
Q_2-3_v-80-100_r-13.2FAIL599.71
Q_2-3_v-80-100_r-13.0FAIL599.71
Q_2-3_v-80-100_r-11.9FAIL599.71
Q_2-2-3_v-100-100-100_r-35.3FAIL599.71
Q_2-2-3_v-100-100-100_r-65.2FAIL599.71
Q_2-2-3_v-100-100-100_r-65.3FAIL599.71
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspFAIL599.71
Q_2-2-3_v-100-100-100_r-65.6FAIL599.71
Q_3-3_v-100-100_r-15.4FAIL599.71
Q_3-3_v-100-100_r-11.7FAIL599.71
Q_3-3_v-100-100_r-11.5FAIL599.71
Q_3-3_v-100-100_r-11.4FAIL599.71
Q_3-3_v-100-100_r-11.2FAIL599.71
Q_3-3_v-100-100_r-11.0FAIL599.71
Q_2-3_v-80-100_r-9.9FAIL599.71
Q_2-3_v-80-100_r-9.8FAIL599.71
Q_2-3_v-80-100_r-9.7FAIL599.71
Q_2-3_v-80-100_r-9.6FAIL599.71
Q_2-3_v-80-100_r-9.5FAIL599.71
Q_3-3_v-100-100_r-19.3FAIL599.71
Q_2-3_v-80-100_r-9.2FAIL599.71
Q_2-3_v-80-100_r-9.1FAIL599.71
Q_2-3_v-80-100_r-9.0FAIL599.71
Q_2-3_v-80-100_r-7.9FAIL599.71
Q_3-3_v-100-100_r-13.0FAIL599.71
Q_3-3_v-100-100_r-13.1FAIL599.71
Q_3-3_v-100-100_r-13.5FAIL599.71
Q_3-3_v-100-100_r-15.6FAIL599.71
Q_3-3_v-100-100_r-15.2FAIL599.71
Q_3-3_v-100-100_r-15.7FAIL599.71
Q_3-3_v-100-100_r-15.8FAIL599.71
Q_3-3_v-100-100_r-15.9FAIL599.71
Q_3-3_v-100-100_r-17.1FAIL599.71
Q_3-3_v-100-100_r-17.3FAIL599.71
Q_3-3_v-100-100_r-17.4FAIL599.71
Q_3-3_v-100-100_r-17.8FAIL599.71
Q_3-3_v-100-100_r-17.9FAIL599.71
Q_3-3_v-100-100_r-19.0FAIL599.71
Q_3-3_v-100-100_r-15.0FAIL599.71
Q_3-3_v-100-100_r-13.8FAIL599.71
Q_3-3_v-100-100_r-13.7FAIL599.71
Q_3-3_v-100-100_r-13.6FAIL599.71
Q_2-3_v-80-100_r-7.8FAIL599.71
Q_2-3_v-80-100_r-7.6FAIL599.71
Q_2-3_v-80-100_r-7.4FAIL599.71
Q_3-3-3_v-100-100-100_r-40.7FAIL599.71
Q_3-3-3_v-100-100-100_r-40.8FAIL599.71
Q_3-3-3_v-100-100-100_r-40.9FAIL599.71
Q_3-3-3_v-100-100-100_r-50.0FAIL599.71
Q_3-3-3_v-100-100-100_r-50.3FAIL599.71
Q_3-3-3_v-100-100-100_r-50.7FAIL599.71
Q_3-3-3_v-100-100-100_r-50.8FAIL599.71
Q_3-3-3_v-100-100-100_r-50.9FAIL599.71
Q_3-3-3_v-100-100-100_r-60.0FAIL599.71
Q_3-3-3_v-100-100-100_r-60.1FAIL599.71
Q_3-3-3_v-100-100-100_r-60.2FAIL599.71
Q_2-3_v-80-100_r-13.8FAIL599.71
Q_3-3-3_v-100-100-100_r-60.3FAIL599.71
Q_3-3-3_v-100-100-100_r-60.4FAIL599.71
Q_3-3-3_v-100-100-100_r-60.5FAIL599.71
Q_3-3-3_v-100-100-100_r-40.6FAIL599.71
Q_3-3-3_v-100-100-100_r-40.5FAIL599.71
Q_3-3-3_v-100-100-100_r-40.4FAIL599.71
Q_2-3_v-80-100_r-7.1FAIL599.71
Q_3-3_v-100-100_r-19.6FAIL599.71
Q_3-3_v-100-100_r-19.8FAIL599.71
Q_3-3-3_v-100-100-100_r-30.0FAIL599.71
Q_3-3-3_v-100-100-100_r-30.1FAIL599.71
Q_3-3-3_v-100-100-100_r-30.2FAIL599.71
Q_3-3-3_v-100-100-100_r-30.3FAIL599.71
Q_3-3-3_v-100-100-100_r-30.4FAIL599.71
Q_3-3-3_v-100-100-100_r-30.7FAIL599.71
Q_2-3_v-80-100_r-9.3FAIL599.71
Q_3-3-3_v-100-100-100_r-30.8FAIL599.71
Q_3-3-3_v-100-100-100_r-30.9FAIL599.71
Q_3-3-3_v-100-100-100_r-40.0FAIL599.71
Q_3-3-3_v-100-100-100_r-40.1FAIL599.71
Q_3-3-3_v-100-100-100_r-40.3FAIL599.71
Q_3-3-3_v-100-100-100_r-60.6FAIL599.71
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspFAIL599.71
x300.6FAIL599.71
ncf_16_64_4_d.10FAIL599.71
x300.19FAIL599.71
x300.16FAIL599.71
x300.15FAIL599.71
x300.12FAIL599.71
x220.9FAIL599.71
ncf_16_128_8_edau.2FAIL599.71
ncf_16_32_8_u.7FAIL599.71
x220.2FAIL599.71
x220.19FAIL599.71
ncf_16_128_2_u.6FAIL599.71
x300.8FAIL599.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspFAIL599.71
ncf_16_128_8_edau.7FAIL599.71
ncf_4_16_8_euad.6FAIL599.71
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspFAIL599.71
ncf_16_128_8_euad.4FAIL599.71
x220.12FAIL599.71
x220.10FAIL599.71
x165.19FAIL599.71
ncf_16_128_8_edau.8FAIL599.71
ncf_16_32_8_u.8FAIL599.71
ncf_16_128_2_u.5FAIL599.71
x165.13FAIL599.71
x165.11FAIL599.71
x165.10FAIL599.71
ncf_16_32_8_u.9FAIL599.71
ncf_16_128_2_u.10FAIL599.71
ncf_16_128_8_edau.10FAIL599.71
ncf_16_32_8_u.5FAIL599.71
robots_1_5_2_65.9FAIL599.71
ncf_16_128_2_u.9FAIL599.71
x165.6FAIL599.71
ncf_4_16_8_euad.1FAIL599.71
ncf_4_16_8_euad.4FAIL599.71
x210.6FAIL599.71
ncf_16_128_2_u.7FAIL599.71
x210.1FAIL599.71
x210.16FAIL599.71
ncf_16_64_4_d.4FAIL599.71
x210.12FAIL599.71
ncf_16_128_8_euad.8FAIL599.71
ncf_16_128_8_edau.9FAIL599.71
ncf_16_128_8_euad.7FAIL599.71
x165.8FAIL599.71
robots_1_5_2_65.10FAIL599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL599.71
ncf_16_64_4_d.6FAIL599.71
ncf_16_128_8_edau.6FAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL599.71
ncf_16_128_2_u.1FAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL599.71
ncf_4_16_8_euad.2FAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL599.71
ncf_16_128_2_u.8FAIL599.71
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL599.71
ncf_16_32_8_u.1FAIL599.71
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspFAIL599.71
ncf_16_128_2_u.2FAIL599.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL599.71
ncf_16_128_8_euad.5FAIL599.71
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL599.71
ncf_4_16_8_euad.5FAIL599.71
ncf_16_32_8_u.4FAIL599.71
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL599.71
ncf_16_32_8_u.10FAIL599.71
ncf_16_128_8_edau.3FAIL599.71
ncf_16_128_2_u.4FAIL599.71
x220.8FAIL599.71
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspFAIL599.71
ncf_4_16_8_euad.3FAIL599.71
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL599.71
ncf_16_128_8_edau.1FAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL599.71
Q_3-3-3_v-100-100-100_r-70.8FAIL599.72
Q_3-3-3_v-100-100-100_r-50.5FAIL599.72
ncf_16_128_8_euad.1FAIL599.72
Q_3-3-3_v-100-100-100_r-70.6FAIL599.72
Q_3-3_v-100-100_r-19.4FAIL599.72
Q_3-3_v-100-100_r-17.7FAIL599.72
Q_3-3_v-100-100_r-17.6FAIL599.72
Q_3-3_v-100-100_r-17.5FAIL599.72
Q_3-3-3_v-100-100-100_r-50.2FAIL599.72
Q_3-3-3_v-100-100-100_r-50.4FAIL599.72
Q_3-3-3_v-100-100-100_r-30.6FAIL599.72
Q_3-3-3_v-100-100-100_r-50.6FAIL599.72
Q_3-3_v-100-100_r-19.2FAIL599.72
ncf_16_128_8_euad.3FAIL599.72
Q_3-3-3_v-100-100-100_r-30.5FAIL599.72
ncf_16_128_2_u.3FAIL599.72
ncf_16_128_8_euad.6FAIL599.72
ncf_16_32_8_u.2FAIL599.72
ncf_4_16_8_euad.9FAIL599.72
ncf_16_128_8_euad.10FAIL599.72
Q_3-3-3_v-100-100-100_r-70.2FAIL599.72
Q_3-3_v-100-100_r-19.5FAIL599.72
Q_3-3-3_v-100-100-100_r-40.2FAIL599.72
ncf_16_128_8_edau.4FAIL599.72
Q_3-3-3_v-100-100-100_r-50.1FAIL599.72
ncf_16_32_8_u.6FAIL599.72
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspFAIL599.72
Q_2-2-3_v-100-100-100_r-75.6FAIL599.72
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspFAIL599.72
Q_2-3_v-80-100_r-11.1FAIL599.72
Q_2-3_v-80-100_r-13.5FAIL599.72
x300.5FAIL599.72
Q_2-3_v-80-100_r-7.0FAIL599.72
Q_2-3_v-80-100_r-7.2FAIL599.72
Q_2-3_v-80-100_r-7.3FAIL599.72
Q_2-3_v-80-100_r-7.5FAIL599.72
x220.16FAIL599.72
x220.0FAIL599.72
Q_2-2-3_v-100-100-100_r-55.0FAIL599.72
Q_2-2-3_v-100-100-100_r-75.4FAIL599.72
Q_2-2-3_v-100-100-100_r-75.2FAIL599.72
Q_2-2-3_v-100-100-100_r-35.0FAIL599.72
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL599.72
Q_2-2-3_v-100-100-100_r-35.8FAIL599.72
x210.7FAIL599.72
Q_2-2-3_v-100-100-100_r-45.0FAIL599.72
Q_2-2-3_v-100-100-100_r-45.5FAIL599.72
Q_2-2-3_v-100-100-100_r-45.8FAIL599.72
Q_2-2-3_v-100-100-100_r-55.3FAIL599.72
Q_2-2-3_v-100-100-100_r-55.5FAIL599.72
Q_2-2-3_v-100-100-100_r-55.9FAIL599.72
Q_2-2-3_v-100-100-100_r-65.7FAIL599.72
x210.9FAIL599.72
Q_2-3_v-80-100_r-11.4FAIL599.72
x210.15FAIL599.72
Q_3-3_v-100-100_r-13.9FAIL599.72
x165.0FAIL599.72
Q_3-3_v-100-100_r-13.3FAIL599.72
robots_1_5_2_93.10FAIL599.72
Q_3-3_v-100-100_r-11.9FAIL599.72
x165.17FAIL599.72
Q_3-3_v-100-100_r-13.4FAIL599.72
Q_3-3_v-100-100_r-11.6FAIL599.72
x165.9FAIL599.72
Q_3-3_v-100-100_r-15.5FAIL599.72
Q_3-3_v-100-100_r-11.3FAIL599.72
x300.4FAIL599.72
x210.11FAIL599.72
Q_3-3_v-100-100_r-11.1FAIL599.72
Q_2-3_v-80-100_r-9.4FAIL599.73
x210.17FAIL599.81
Q_2-2-3_v-100-100-100_r-45.7FAIL599.81
Q_3-3_v-100-100_r-19.9FAIL599.81
ncf_4_16_8_euad.10FAIL599.81
Q_3-3_v-100-100_r-15.3FAIL599.81
Q_3-3_v-100-100_r-17.0FAIL599.81
ncf_4_16_8_euad.8FAIL599.81
Q_3-3_v-100-100_r-17.2FAIL599.81
Q_3-3-3_v-100-100-100_r-70.5FAIL599.81
Q_2-2-3_v-100-100-100_r-35.4FAIL599.81
Q_3-3_v-100-100_r-11.8FAIL599.81
Q_2-2-3_v-100-100-100_r-65.9FAIL599.81
x220.13FAIL599.81
Q_2-3_v-80-100_r-7.7FAIL599.81
Q_3-3_v-100-100_r-19.7FAIL599.81
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspFAIL599.81
Q_2-3_v-80-100_r-13.1FAIL599.81
x165.3FAIL599.81
Q_3-3_v-100-100_r-13.2FAIL599.81
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspFAIL599.81
Q_3-3_v-100-100_r-19.1FAIL599.81
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL599.81
x210.3FAIL599.82
x220.6FAIL599.82
Q_3-3_v-100-100_r-15.1FAIL599.82
ncf_16_32_8_u.3FAIL599.82
Q_3-3-3_v-100-100-100_r-70.3FAIL599.91