Instances solved by struqs-10
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ncf_4_16_2_d.4SAT0.15
ncf_4_16_2_d.2SAT0.15
ncf_4_16_2_d.9SAT0.18
ncf_4_16_2_d.6SAT0.29
robots_1_5_4_46.1SAT0.44
robots_1_5_5_45.1SAT0.44
robots_1_5_4_54.1SAT0.44
robots_1_5_4_74.1SAT0.89
robots_1_5_5_91.1SAT0.9
robots_1_5_5_58.1SAT0.91
ncf_4_16_2_d.7SAT1.61
ncf_4_16_2_d.1UNSAT1.77
ncf_4_16_2_d.10UNSAT2.44
ncf_4_16_2_d.8SAT3.22
robots_1_5_3_56.1SAT4.52
robots_1_5_2_93.1SAT5.22
ncf_4_16_2_d.5UNSAT5.42
robots_1_5_2_46.1SAT8.88
ncf_4_16_2_d.3UNSAT10.06
robots_1_5_3_94.1SAT10.84
robots_1_5_2_65.1SAT11.69
robots_1_5_3_98.1SAT11.8
x25.10UNSAT65.93
x25.19UNSAT74.74
x25.5UNSAT102.95
x25.7UNSAT124.7
x35.10UNSAT234.12
x25.4UNSAT242.45
x35.3UNSAT249.23
x40.1UNSAT287.82
x40.19UNSAT303.89
x25.15UNSAT315.62
robots_1_5_5_91.2SAT507.52
robots_1_5_5_58.2SAT507.81
robots_1_5_4_74.2SAT524.75
Q_2-2-3_v-100-100-100_r-75.5FAIL599.62
Q_2-2-3_v-100-100-100_r-45.1FAIL599.71
Q_2-2-3_v-100-100-100_r-35.4FAIL599.71
Q_2-2-3_v-100-100-100_r-35.3FAIL599.71
Q_2-2-3_v-100-100-100_r-45.8FAIL599.71
Q_2-2-3_v-100-100-100_r-45.9FAIL599.71
Q_2-2-3_v-100-100-100_r-55.0FAIL599.71
Q_2-2-3_v-100-100-100_r-55.1FAIL599.71
Q_2-2-3_v-100-100-100_r-35.1FAIL599.71
Q_2-2-3_v-100-100-100_r-35.0FAIL599.71
Q_2-2-3_v-100-100-100_r-35.2FAIL599.71
Q_2-2-3_v-100-100-100_r-45.6FAIL599.71
Q_2-2-3_v-100-100-100_r-45.2FAIL599.71
Q_2-2-3_v-100-100-100_r-35.9FAIL599.71
Q_2-2-3_v-100-100-100_r-35.8FAIL599.71
Q_2-2-3_v-100-100-100_r-45.3FAIL599.71
Q_2-2-3_v-100-100-100_r-35.7FAIL599.71
Q_2-2-3_v-100-100-100_r-45.0FAIL599.71
Q_2-2-3_v-100-100-100_r-35.6FAIL599.71
Q_2-2-3_v-100-100-100_r-35.5FAIL599.71
Q_2-2-3_v-100-100-100_r-45.4FAIL599.71
Q_2-2-3_v-100-100-100_r-45.5FAIL599.71
Q_2-2-3_v-100-100-100_r-45.7FAIL599.71
Q_2-2-3_v-100-100-100_r-55.2FAIL599.71
Q_2-2-3_v-100-100-100_r-65.8FAIL599.71
Q_2-2-3_v-100-100-100_r-75.8FAIL599.71
Q_2-2-3_v-100-100-100_r-65.9FAIL599.71
Q_2-2-3_v-100-100-100_r-75.0FAIL599.71
Q_2-2-3_v-100-100-100_r-75.1FAIL599.71
Q_2-2-3_v-100-100-100_r-75.2FAIL599.71
Q_2-3_v-80-100_r-11.3FAIL599.71
Q_2-2-3_v-100-100-100_r-75.9FAIL599.71
Q_2-3_v-80-100_r-11.2FAIL599.71
Q_2-2-3_v-100-100-100_r-75.3FAIL599.71
Q_2-3_v-80-100_r-11.1FAIL599.71
Q_2-3_v-80-100_r-11.0FAIL599.71
Q_2-2-3_v-100-100-100_r-75.4FAIL599.71
Q_2-2-3_v-100-100-100_r-75.6FAIL599.71
Q_2-2-3_v-100-100-100_r-65.7FAIL599.71
Q_2-2-3_v-100-100-100_r-65.6FAIL599.71
Q_2-3_v-80-100_r-11.4FAIL599.71
Q_2-2-3_v-100-100-100_r-55.3FAIL599.71
Q_2-2-3_v-100-100-100_r-55.4FAIL599.71
Q_2-2-3_v-100-100-100_r-65.0FAIL599.71
Q_2-2-3_v-100-100-100_r-55.5FAIL599.71
Q_2-2-3_v-100-100-100_r-55.6FAIL599.71
Q_2-2-3_v-100-100-100_r-55.7FAIL599.71
Q_2-3_v-80-100_r-11.5FAIL599.71
Q_2-2-3_v-100-100-100_r-55.8FAIL599.71
Q_2-2-3_v-100-100-100_r-55.9FAIL599.71
Q_2-2-3_v-100-100-100_r-65.1FAIL599.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
Q_2-2-3_v-100-100-100_r-65.4FAIL599.71
Q_2-2-3_v-100-100-100_r-65.5FAIL599.71
Q_2-2-3_v-100-100-100_r-75.7FAIL599.71
S-edau-34FAIL599.71
T-edau-26FAIL599.71
T-edau-2FAIL599.71
T-edau-44FAIL599.71
T-edau-6FAIL599.71
T-edau-9FAIL599.71
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.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#288.w#4.s#8.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#296.w#4.s#5.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#6.s#1.aspFAIL599.71
T-edau-24FAIL599.71
T-edau-23FAIL599.71
T-edau-20FAIL599.71
S-edau-43FAIL599.71
S-edau-7FAIL599.71
S-edau-8FAIL599.71
T-adeu-10FAIL599.71
T-adeu-15FAIL599.71
T-adeu-25FAIL599.71
T-adeu-38FAIL599.71
T-adeu-39FAIL599.71
T-adeu-42FAIL599.71
T-adeu-49FAIL599.71
T-adeu-6FAIL599.71
T-adeu-7FAIL599.71
T-adeu-9FAIL599.71
T-edau-18FAIL599.71
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.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#400.w#2.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.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#6.s#4.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#4.s#3.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#424.w#2.s#1.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#3.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#424.w#4.s#2.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspFAIL599.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#376.w#4.s#6.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.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#320.w#4.s#8.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL599.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#360.w#2.s#8.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#368.w#2.s#2.aspFAIL599.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#7.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL599.71
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspFAIL599.71
Q_3-3_v-100-100_r-15.6FAIL599.71
Q_3-3_v-100-100_r-19.7FAIL599.71
Q_3-3_v-100-100_r-19.8FAIL599.71
Q_3-3_v-100-100_r-19.9FAIL599.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.4FAIL599.71
Q_3-3-3_v-100-100-100_r-30.5FAIL599.71
Q_3-3-3_v-100-100-100_r-30.6FAIL599.71
Q_3-3-3_v-100-100-100_r-30.7FAIL599.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.2FAIL599.71
Q_3-3-3_v-100-100-100_r-40.3FAIL599.71
Q_3-3_v-100-100_r-19.6FAIL599.71
Q_3-3_v-100-100_r-19.5FAIL599.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.0FAIL599.71
Q_3-3_v-100-100_r-17.1FAIL599.71
Q_3-3_v-100-100_r-17.2FAIL599.71
Q_3-3_v-100-100_r-17.3FAIL599.71
Q_3-3_v-100-100_r-17.5FAIL599.71
Q_3-3_v-100-100_r-17.6FAIL599.71
Q_3-3_v-100-100_r-17.7FAIL599.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-19.1FAIL599.71
Q_3-3_v-100-100_r-19.2FAIL599.71
Q_3-3_v-100-100_r-19.3FAIL599.71
Q_3-3-3_v-100-100-100_r-40.4FAIL599.71
Q_3-3-3_v-100-100-100_r-40.5FAIL599.71
Q_3-3-3_v-100-100-100_r-40.6FAIL599.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-60.6FAIL599.71
Q_3-3-3_v-100-100-100_r-60.7FAIL599.71
Q_3-3-3_v-100-100-100_r-60.8FAIL599.71
Q_3-3-3_v-100-100-100_r-60.9FAIL599.71
Q_3-3-3_v-100-100-100_r-70.0FAIL599.71
Q_3-3-3_v-100-100-100_r-70.1FAIL599.71
Q_3-3-3_v-100-100-100_r-70.2FAIL599.71
Q_3-3-3_v-100-100-100_r-70.3FAIL599.71
Q_3-3-3_v-100-100-100_r-70.4FAIL599.71
Q_3-3-3_v-100-100-100_r-70.5FAIL599.71
Q_3-3-3_v-100-100-100_r-70.6FAIL599.71
Q_3-3-3_v-100-100-100_r-70.7FAIL599.71
Q_3-3-3_v-100-100-100_r-70.8FAIL599.71
Q_3-3-3_v-100-100-100_r-60.3FAIL599.71
Q_3-3-3_v-100-100-100_r-60.2FAIL599.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.1FAIL599.71
Q_3-3-3_v-100-100-100_r-50.2FAIL599.71
Q_3-3-3_v-100-100-100_r-50.3FAIL599.71
Q_3-3-3_v-100-100-100_r-50.4FAIL599.71
Q_3-3-3_v-100-100-100_r-50.5FAIL599.71
Q_3-3-3_v-100-100-100_r-50.6FAIL599.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-70.9FAIL599.71
Q_2-3_v-80-100_r-11.6FAIL599.71
Q_2-3_v-80-100_r-5.5FAIL599.71
Q_2-3_v-80-100_r-5.6FAIL599.71
Q_2-3_v-80-100_r-5.7FAIL599.71
Q_2-3_v-80-100_r-5.8FAIL599.71
Q_2-3_v-80-100_r-5.9FAIL599.71
Q_2-3_v-80-100_r-7.0FAIL599.71
Q_2-3_v-80-100_r-7.1FAIL599.71
Q_2-3_v-80-100_r-7.2FAIL599.71
Q_2-3_v-80-100_r-7.3FAIL599.71
Q_2-3_v-80-100_r-7.4FAIL599.71
Q_2-3_v-80-100_r-7.5FAIL599.71
Q_2-3_v-80-100_r-7.6FAIL599.71
Q_2-3_v-80-100_r-7.7FAIL599.71
Q_2-3_v-80-100_r-7.8FAIL599.71
Q_2-3_v-80-100_r-7.9FAIL599.71
Q_2-3_v-80-100_r-5.4FAIL599.71
Q_2-3_v-80-100_r-5.3FAIL599.71
Q_2-3_v-80-100_r-11.7FAIL599.71
Q_2-3_v-80-100_r-11.8FAIL599.71
Q_2-3_v-80-100_r-11.9FAIL599.71
Q_2-3_v-80-100_r-13.0FAIL599.71
Q_2-3_v-80-100_r-13.1FAIL599.71
Q_2-3_v-80-100_r-13.2FAIL599.71
Q_2-3_v-80-100_r-13.3FAIL599.71
Q_2-3_v-80-100_r-13.4FAIL599.71
Q_2-3_v-80-100_r-13.5FAIL599.71
Q_2-3_v-80-100_r-13.6FAIL599.71
Q_2-3_v-80-100_r-13.8FAIL599.71
Q_2-3_v-80-100_r-13.9FAIL599.71
Q_2-3_v-80-100_r-5.0FAIL599.71
Q_2-3_v-80-100_r-5.1FAIL599.71
Q_2-3_v-80-100_r-5.2FAIL599.71
Q_2-3_v-80-100_r-9.0FAIL599.71
Q_2-3_v-80-100_r-9.1FAIL599.71
Q_2-3_v-80-100_r-9.2FAIL599.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.2FAIL599.71
Q_3-3_v-100-100_r-13.3FAIL599.71
Q_3-3_v-100-100_r-13.4FAIL599.71
Q_3-3_v-100-100_r-13.5FAIL599.71
Q_3-3_v-100-100_r-13.6FAIL599.71
Q_3-3_v-100-100_r-13.7FAIL599.71
Q_3-3_v-100-100_r-13.8FAIL599.71
Q_3-3_v-100-100_r-13.9FAIL599.71
Q_3-3_v-100-100_r-15.0FAIL599.71
Q_3-3_v-100-100_r-15.1FAIL599.71
Q_3-3_v-100-100_r-15.2FAIL599.71
Q_3-3_v-100-100_r-15.3FAIL599.71
Q_3-3_v-100-100_r-15.4FAIL599.71
Q_3-3_v-100-100_r-11.9FAIL599.71
Q_3-3_v-100-100_r-11.8FAIL599.71
Q_2-3_v-80-100_r-9.3FAIL599.71
Q_2-3_v-80-100_r-9.4FAIL599.71
Q_2-3_v-80-100_r-9.5FAIL599.71
Q_2-3_v-80-100_r-9.6FAIL599.71
Q_2-3_v-80-100_r-9.7FAIL599.71
Q_2-3_v-80-100_r-9.8FAIL599.71
Q_2-3_v-80-100_r-9.9FAIL599.71
Q_3-3_v-100-100_r-11.0FAIL599.71
Q_3-3_v-100-100_r-11.1FAIL599.71
Q_3-3_v-100-100_r-11.2FAIL599.71
Q_3-3_v-100-100_r-11.3FAIL599.71
Q_3-3_v-100-100_r-11.4FAIL599.71
Q_3-3_v-100-100_r-11.5FAIL599.71
Q_3-3_v-100-100_r-11.6FAIL599.71
Q_3-3_v-100-100_r-11.7FAIL599.71
Q_3-3_v-100-100_r-15.5FAIL599.71
ncf_16_128_8_euad.9FAIL599.71
robots_1_5_2_65.7FAIL599.71
robots_1_5_2_93.7FAIL599.71
robots_1_5_2_46.8FAIL599.71
robots_1_5_2_65.8FAIL599.71
robots_1_5_2_93.8FAIL599.71
robots_1_5_2_46.9FAIL599.71
robots_1_5_2_65.9FAIL599.71
robots_1_5_2_93.9FAIL599.71
robots_1_5_2_93.10FAIL599.71
robots_1_5_2_65.4FAIL599.71
robots_1_5_3_56.10FAIL599.71
robots_1_5_3_94.10FAIL599.71
robots_1_5_3_98.10FAIL599.71
robots_1_5_3_56.2FAIL599.71
robots_1_5_3_94.2FAIL599.71
robots_1_5_2_46.7FAIL599.71
robots_1_5_2_93.6FAIL599.71
robots_1_5_4_46.8FAIL599.71
robots_1_5_2_46.10FAIL599.71
robots_1_5_2_46.2FAIL599.71
robots_1_5_2_65.2FAIL599.71
robots_1_5_2_93.2FAIL599.71
robots_1_5_2_46.3FAIL599.71
robots_1_5_2_65.3FAIL599.71
robots_1_5_2_93.3FAIL599.71
robots_1_5_2_46.4FAIL599.71
robots_1_5_2_93.4FAIL599.71
robots_1_5_2_46.5FAIL599.71
robots_1_5_2_65.5FAIL599.71
robots_1_5_2_93.5FAIL599.71
robots_1_5_2_46.6FAIL599.71
robots_1_5_2_65.6FAIL599.71
robots_1_5_3_98.2FAIL599.71
robots_1_5_3_56.3FAIL599.71
robots_1_5_3_56.5FAIL599.71
ncf_16_64_4_d.9FAIL599.71
robots_1_5_4_46.10FAIL599.71
robots_1_5_4_54.10FAIL599.71
robots_1_5_4_74.10FAIL599.71
robots_1_5_4_46.2FAIL599.71
robots_1_5_4_54.2FAIL599.71
robots_1_5_4_46.3FAIL599.71
robots_1_5_4_54.3FAIL599.71
robots_1_5_4_74.3FAIL599.71
robots_1_5_4_54.4FAIL599.71
robots_1_5_4_74.4FAIL599.71
robots_1_5_4_46.5FAIL599.71
robots_1_5_4_54.5FAIL599.71
robots_1_5_4_74.5FAIL599.71
robots_1_5_3_98.9FAIL599.71
robots_1_5_3_94.9FAIL599.71
robots_1_5_3_98.3FAIL599.71
robots_1_5_3_56.4FAIL599.71
robots_1_5_3_94.4FAIL599.71
robots_1_5_3_98.4FAIL599.71
robots_1_5_3_94.5FAIL599.71
robots_1_5_3_98.5FAIL599.71
robots_1_5_3_56.6FAIL599.71
robots_1_5_3_94.6FAIL599.71
robots_1_5_3_98.6FAIL599.71
robots_1_5_3_56.7FAIL599.71
robots_1_5_3_94.7FAIL599.71
robots_1_5_3_56.8FAIL599.71
robots_1_5_3_94.8FAIL599.71
robots_1_5_3_98.8FAIL599.71
robots_1_5_3_56.9FAIL599.71
robots_1_5_4_46.6FAIL599.71
ncf_16_128_8_edau.8FAIL599.71
ncf_8_16_4_u.9FAIL599.71
ncf_4_16_8_euad.3FAIL599.71
ncf_4_16_8_euad.5FAIL599.71
ncf_16_32_8_u.4FAIL599.71
ncf_16_32_8_u.10FAIL599.71
ncf_16_128_2_u.4FAIL599.71
ncf_16_128_8_edau.3FAIL599.71
ncf_16_128_8_euad.5FAIL599.71
ncf_16_128_8_edau.7FAIL599.71
ncf_4_16_8_euad.6FAIL599.71
ncf_8_16_4_u.3FAIL599.71
ncf_16_128_8_euad.3FAIL599.71
ncf_16_128_8_edau.2FAIL599.71
ncf_8_16_4_u.6FAIL599.71
ncf_16_32_8_u.7FAIL599.71
ncf_16_64_4_d.5FAIL599.71
ncf_16_128_8_edau.1FAIL599.71
ncf_4_16_8_euad.2FAIL599.71
ncf_16_128_8_euad.7FAIL599.71
ncf_16_128_2_u.2FAIL599.71
ncf_16_32_8_u.1FAIL599.71
ncf_16_64_4_d.3FAIL599.71
ncf_4_16_8_euad.8FAIL599.71
ncf_8_16_4_u.4FAIL599.71
ncf_16_128_8_euad.10FAIL599.71
ncf_16_128_8_edau.4FAIL599.71
ncf_16_128_2_u.8FAIL599.71
ncf_16_64_4_d.6FAIL599.71
ncf_16_128_8_euad.2FAIL599.71
ncf_16_128_8_edau.6FAIL599.71
ncf_8_16_4_u.2FAIL599.71
ncf_16_64_4_d.7FAIL599.71
ncf_16_128_2_u.1FAIL599.71
ncf_16_128_2_u.3FAIL599.71
ncf_16_64_4_d.1FAIL599.71
ncf_16_128_2_u.9FAIL599.71
ncf_8_16_4_u.10FAIL599.71
ncf_16_32_8_u.6FAIL599.71
ncf_16_32_8_u.8FAIL599.71
ncf_16_64_4_d.8FAIL599.71
ncf_16_64_4_d.2FAIL599.71
ncf_16_128_2_u.5FAIL599.71
ncf_16_32_8_u.9FAIL599.71
ncf_16_64_4_d.10FAIL599.71
ncf_8_16_4_u.7FAIL599.71
ncf_4_16_8_euad.7FAIL599.71
ncf_8_16_4_u.8FAIL599.71
ncf_16_128_2_u.10FAIL599.71
ncf_16_128_8_edau.10FAIL599.71
ncf_4_16_8_euad.10FAIL599.71
ncf_4_16_8_euad.9FAIL599.71
ncf_16_128_8_edau.9FAIL599.71
ncf_16_128_2_u.6FAIL599.71
robots_1_5_4_46.4FAIL599.71
ncf_8_16_4_u.5FAIL599.71
ncf_16_128_8_euad.4FAIL599.71
ncf_8_16_4_u.1FAIL599.71
ncf_16_32_8_u.2FAIL599.71
robots_1_5_5_45.4FAIL599.71
ncf_4_16_8_euad.1FAIL599.71
ncf_4_16_8_euad.4FAIL599.71
ncf_16_128_2_u.7FAIL599.71
ncf_16_32_8_u.3FAIL599.71
ncf_16_64_4_d.4FAIL599.71
ncf_16_128_8_edau.5FAIL599.71
ncf_16_128_8_euad.6FAIL599.71
ncf_16_128_8_euad.8FAIL599.71
ncf_16_32_8_u.5FAIL599.71
x220.10FAIL599.71
x300.4FAIL599.71
x300.5FAIL599.71
x300.6FAIL599.71
x300.8FAIL599.71
x35.11FAIL599.71
x35.13FAIL599.71
x35.15FAIL599.71
x35.19FAIL599.71
x35.1FAIL599.71
x35.2FAIL599.71
x35.5FAIL599.71
x35.9FAIL599.71
x300.3FAIL599.71
x300.1FAIL599.71
x300.19FAIL599.71
x220.12FAIL599.71
x220.13FAIL599.71
x220.16FAIL599.71
x220.19FAIL599.71
x220.2FAIL599.71
x220.6FAIL599.71
x220.9FAIL599.71
x25.16FAIL599.71
S-edau-30FAIL599.71
x25.8FAIL599.71
x300.12FAIL599.71
x300.15FAIL599.71
x40.10FAIL599.71
x40.11FAIL599.71
ncf_16_128_8_euad.1FAIL599.71
S-adeu-28FAIL599.71
S-adeu-29FAIL599.71
S-adeu-30FAIL599.71
S-adeu-32FAIL599.71
S-adeu-41FAIL599.71
S-adeu-47FAIL599.71
S-adeu-49FAIL599.71
S-adeu-6FAIL599.71
S-edau-17FAIL599.71
S-edau-1FAIL599.71
S-edau-20FAIL599.71
S-edau-23FAIL599.71
S-adeu-19FAIL599.71
S-adeu-15FAIL599.71
x70.8FAIL599.71
x40.12FAIL599.71
x40.18FAIL599.71
x40.4FAIL599.71
x40.6FAIL599.71
x70.0FAIL599.71
x70.10FAIL599.71
x70.12FAIL599.71
x70.16FAIL599.71
x70.1FAIL599.71
x70.3FAIL599.71
x70.5FAIL599.71
x70.7FAIL599.71
S-edau-29FAIL599.71
robots_1_5_5_58.3FAIL599.71
robots_1_5_5_91.7FAIL599.71
robots_1_5_5_45.8FAIL599.71
robots_1_5_5_58.8FAIL599.71
robots_1_5_4_74.9FAIL599.71
robots_1_5_4_54.9FAIL599.71
robots_1_5_4_46.9FAIL599.71
robots_1_5_5_91.9FAIL599.71
robots_1_5_4_74.8FAIL599.71
x165.0FAIL599.71
x165.10FAIL599.71
x165.11FAIL599.71
x165.13FAIL599.71
x165.17FAIL599.71
robots_1_5_5_58.10FAIL599.71
robots_1_5_5_58.7FAIL599.71
robots_1_5_5_91.10FAIL599.71
robots_1_5_5_91.3FAIL599.71
robots_1_5_5_58.4FAIL599.71
robots_1_5_5_91.4FAIL599.71
robots_1_5_5_45.10FAIL599.71
robots_1_5_5_45.5FAIL599.71
robots_1_5_5_58.5FAIL599.71
robots_1_5_5_91.5FAIL599.71
robots_1_5_5_45.3FAIL599.71
robots_1_5_5_45.6FAIL599.71
robots_1_5_5_58.6FAIL599.71
robots_1_5_5_91.6FAIL599.71
robots_1_5_5_45.2FAIL599.71
robots_1_5_5_45.7FAIL599.71
robots_1_5_4_54.8FAIL599.71
robots_1_5_4_74.7FAIL599.71
robots_1_5_4_54.7FAIL599.71
x210.7FAIL599.71
x210.6FAIL599.71
robots_1_5_4_54.6FAIL599.71
x210.11FAIL599.71
robots_1_5_5_91.8FAIL599.71
x210.16FAIL599.71
x210.15FAIL599.71
x210.12FAIL599.71
x220.0FAIL599.71
x165.3FAIL599.71
x165.6FAIL599.71
robots_1_5_5_45.9FAIL599.71
x165.8FAIL599.71
robots_1_5_4_46.7FAIL599.71
x165.9FAIL599.71
robots_1_5_4_74.6FAIL599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspFAIL599.72
x210.9FAIL599.72
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL599.72
x210.3FAIL599.72
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspFAIL599.72
Q_3-3_v-100-100_r-17.8FAIL599.72
robots_1_5_2_65.10FAIL599.72
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL599.72
x220.8FAIL599.72
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL599.72
x25.13FAIL599.72
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL599.72
x210.17FAIL599.72
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL599.72
T-edau-8FAIL599.81
x70.6FAIL599.81
Q_2-3_v-80-100_r-13.7FAIL599.81
x25.2FAIL599.81
Q_3-3_v-100-100_r-17.4FAIL599.81
x300.16FAIL599.81
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL599.81
x165.19FAIL599.81
Q_3-3_v-100-100_r-19.4FAIL599.81
Q_3-3-3_v-100-100-100_r-30.0FAIL599.81
robots_1_5_3_94.3FAIL599.81
Q_3-3-3_v-100-100-100_r-30.3FAIL599.81
robots_1_5_5_58.9FAIL599.81
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL599.81
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspFAIL599.81
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspFAIL599.81
x40.17FAIL599.81
x40.5FAIL599.81
robots_1_5_3_98.7FAIL599.81
x210.1FAIL599.82
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspFAIL599.82