Instances solved by caqe-picosat
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ncf_8_16_4_u.1SAT0.01
ncf_8_16_4_u.5UNSAT0.01
ncf_8_16_4_u.2UNSAT0.01
ncf_4_16_2_d.9SAT0.01
ncf_4_16_2_d.4SAT0.01
ncf_4_16_2_d.6SAT0.01
ncf_4_16_2_d.2SAT0.01
ncf_4_16_2_d.7SAT0.02
ncf_8_16_4_u.10SAT0.02
ncf_8_16_4_u.6UNSAT0.02
robots_1_5_5_45.1SAT0.03
robots_1_5_4_74.1SAT0.03
ncf_4_16_2_d.10UNSAT0.03
robots_1_5_5_58.1SAT0.03
robots_1_5_5_91.1SAT0.03
ncf_8_16_4_u.8UNSAT0.03
robots_1_5_3_94.1SAT0.04
robots_1_5_4_54.1SAT0.04
robots_1_5_3_56.1SAT0.04
robots_1_5_4_46.1SAT0.04
robots_1_5_3_98.1SAT0.04
ncf_4_16_2_d.8SAT0.04
ncf_8_16_4_u.4SAT0.05
robots_1_5_2_93.1SAT0.05
ncf_4_16_2_d.5UNSAT0.05
robots_1_5_2_65.1SAT0.05
robots_1_5_2_46.1SAT0.05
ncf_4_16_8_euad.7SAT0.05
ncf_4_16_2_d.1UNSAT0.09
ncf_8_16_4_u.3SAT0.09
ncf_16_32_8_u.4SAT0.11
Q_2-3_v-80-100_r-13.2UNSAT0.15
Q_2-3_v-80-100_r-13.1UNSAT0.16
ncf_16_32_8_u.3SAT0.17
Q_2-3_v-80-100_r-13.3UNSAT0.19
ncf_16_32_8_u.8UNSAT0.28
ncf_16_32_8_u.10SAT0.28
Q_2-3_v-80-100_r-13.5UNSAT0.47
ncf_16_32_8_u.6SAT0.48
robots_1_5_4_74.2SAT0.64
robots_1_5_5_58.2SAT0.65
robots_1_5_4_54.2SAT0.68
robots_1_5_4_46.2SAT0.68
Q_2-3_v-80-100_r-13.7UNSAT0.69
robots_1_5_5_45.2SAT0.72
robots_1_5_5_91.2SAT0.72
Q_2-3_v-80-100_r-13.0UNSAT1.05
robots_1_5_4_74.3SAT1.23
x25.19UNSAT1.31
ncf_16_32_8_u.5UNSAT1.33
ncf_16_64_4_d.1SAT1.33
robots_1_5_5_58.3SAT1.36
ncf_4_16_8_euad.2SAT1.4
x25.10UNSAT1.41
x25.5UNSAT1.41
robots_1_5_4_46.3SAT1.42
robots_1_5_5_91.3SAT1.44
x25.4UNSAT1.45
x25.8UNSAT1.46
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.aspUNSAT1.46
robots_1_5_4_54.3SAT1.49
x25.15UNSAT1.49
x25.13UNSAT1.51
robots_1_5_5_45.3SAT1.53
robots_1_5_3_98.2SAT1.63
x35.15UNSAT1.67
robots_1_5_3_94.2SAT1.67
x25.16SAT1.73
x25.2SAT1.76
x25.7UNSAT1.76
robots_1_5_3_56.2SAT1.77
x35.3UNSAT1.81
x35.13UNSAT1.81
robots_1_5_2_46.2SAT1.9
x35.10UNSAT1.94
x35.5UNSAT1.96
x40.10UNSAT1.97
x35.11UNSAT1.99
x40.17UNSAT2.11
ncf_4_16_8_euad.10SAT2.16
ncf_4_16_8_euad.3SAT2.25
x40.1UNSAT2.25
x35.2SAT2.27
robots_1_5_2_93.2SAT2.27
x35.1SAT2.28
ncf_16_32_8_u.7SAT2.29
ncf_4_16_8_euad.4SAT2.36
x40.4UNSAT2.37
x40.5UNSAT2.45
S-edau-43UNSAT2.51
x35.9SAT2.51
x40.19UNSAT2.52
x35.19UNSAT2.52
robots_1_5_5_58.4SAT2.56
robots_1_5_4_74.4SAT2.57
robots_1_5_5_91.4SAT2.69
ncf_16_64_4_d.8UNSAT2.72
x40.18SAT2.8
ncf_4_16_8_euad.8UNSAT2.82
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspUNSAT2.83
ncf_16_64_4_d.7UNSAT2.91
robots_1_5_5_45.4SAT2.96
x40.6UNSAT2.97
robots_1_5_3_56.3SAT3.06
ncf_4_16_8_euad.9SAT3.07
robots_1_5_4_46.4SAT3.07
ncf_16_64_4_d.5UNSAT3.11
T-edau-23UNSAT3.13
T-edau-18UNSAT3.16
T-edau-20UNSAT3.17
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT3.3
robots_1_5_4_54.4SAT3.37
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspSAT3.39
T-edau-8UNSAT3.48
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspUNSAT3.54
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT3.61
robots_1_5_2_93.3SAT3.61
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT3.66
T-adeu-6UNSAT3.68
robots_1_5_2_65.2SAT3.71
robots_1_5_3_98.3SAT3.77
ncf_8_16_4_u.9UNSAT3.81
ncf_16_64_4_d.4UNSAT3.84
x40.12SAT3.9
x40.11SAT3.95
robots_1_5_3_94.3SAT4.02
robots_1_5_5_91.5UNSAT4.05
ncf_16_64_4_d.6UNSAT4.2
robots_1_5_5_58.5UNSAT4.28
robots_1_5_4_74.5SAT4.29
S-edau-30UNSAT4.32
T-adeu-38UNSAT4.33
T-edau-26UNSAT4.35
S-edau-7UNSAT4.41
robots_1_5_2_65.3SAT4.51
S-edau-8UNSAT4.52
robots_1_5_2_46.3SAT4.86
robots_1_5_3_56.4SAT4.88
robots_1_5_4_54.5UNSAT5.09
robots_1_5_4_46.5SAT5.22
robots_1_5_2_93.4SAT5.22
T-edau-6UNSAT5.44
T-edau-44UNSAT5.47
T-edau-24UNSAT5.6
robots_1_5_5_45.5SAT5.68
T-edau-2UNSAT5.75
S-adeu-19UNSAT5.76
T-adeu-10UNSAT5.78
S-adeu-32UNSAT5.79
T-adeu-9UNSAT5.82
T-edau-9UNSAT5.86
ncf_4_16_8_euad.1SAT5.93
robots_1_5_3_98.4SAT6.13
S-edau-1UNSAT6.18
robots_1_5_3_94.4SAT6.21
robots_1_5_4_54.6UNSAT6.27
Q_2-3_v-80-100_r-13.6UNSAT6.27
x70.16UNSAT6.35
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT6.36
robots_1_5_2_46.4SAT6.47
robots_1_5_2_65.4SAT6.49
robots_1_5_5_91.6UNSAT6.59
robots_1_5_3_94.5SAT6.61
x70.12UNSAT6.66
robots_1_5_5_58.6UNSAT6.74
robots_1_5_5_45.6UNSAT6.81
x70.10UNSAT6.81
ncf_16_32_8_u.9UNSAT6.83
x70.0UNSAT7.02
x70.5UNSAT7.19
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT7.27
x70.8UNSAT7.28
robots_1_5_5_58.7UNSAT7.61
robots_1_5_3_56.5SAT7.82
x70.7UNSAT7.91
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspUNSAT7.98
S-adeu-30UNSAT7.98
S-adeu-28UNSAT8.14
robots_1_5_4_46.6SAT8.33
x70.3UNSAT8.4
robots_1_5_4_54.7UNSAT8.45
ncf_4_16_2_d.3UNSAT8.61
x70.1UNSAT8.7
S-adeu-29UNSAT8.83
robots_1_5_5_91.7UNSAT8.9
robots_1_5_3_98.5SAT8.92
S-adeu-47UNSAT8.93
x70.6UNSAT8.97
robots_1_5_2_93.5SAT9
robots_1_5_4_74.6UNSAT9.23
Q_2-3_v-80-100_r-13.4UNSAT9.61
robots_1_5_5_91.8UNSAT9.77
S-adeu-49UNSAT9.8
robots_1_5_4_54.8UNSAT10.05
robots_1_5_5_58.8UNSAT10.42
robots_1_5_3_56.6SAT10.42
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspSAT10.44
robots_1_5_5_45.7UNSAT10.99
T-adeu-42UNSAT11
robots_1_5_5_91.9UNSAT11.21
robots_1_5_2_46.5SAT11.38
T-adeu-25UNSAT11.48
robots_1_5_5_45.8UNSAT11.76
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspUNSAT11.96
robots_1_5_4_74.7UNSAT12.25
robots_1_5_5_58.9UNSAT12.46
robots_1_5_4_54.9UNSAT12.66
S-adeu-41UNSAT12.72
robots_1_5_5_45.9UNSAT13.19
T-adeu-49UNSAT13.55
robots_1_5_4_74.8UNSAT14.04
ncf_16_32_8_u.1SAT14.09
robots_1_5_2_65.5SAT14.26
robots_1_5_3_94.6SAT15.01
S-adeu-6UNSAT15.24
robots_1_5_4_74.9UNSAT15.62
S-edau-20UNSAT15.73
robots_1_5_4_46.9UNSAT15.78
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspSAT15.85
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT16.05
robots_1_5_3_56.7SAT16.16
robots_1_5_3_98.6SAT16.17
ncf_8_16_4_u.7SAT16.69
robots_1_5_5_91.10UNSAT17.19
S-edau-17UNSAT17.34
Q_2-3_v-80-100_r-13.8UNSAT17.45
robots_1_5_2_93.6SAT17.51
robots_1_5_4_54.10UNSAT17.54
ncf_16_64_4_d.2UNSAT17.54
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT17.55
T-adeu-7UNSAT17.65
T-adeu-39UNSAT18.1
T-adeu-15UNSAT18.79
robots_1_5_5_58.10UNSAT18.9
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspSAT19.14
robots_1_5_4_74.10UNSAT19.74
robots_1_5_4_46.7UNSAT20.96
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT22.14
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT22.61
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT22.78
robots_1_5_2_46.6SAT22.94
S-edau-29UNSAT22.94
ncf_4_16_8_euad.5UNSAT23.41
ncf_16_64_4_d.9SAT23.99
ncf_16_128_2_u.7UNSAT24.62
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT24.9
robots_1_5_3_94.7UNSAT25.72
robots_1_5_3_94.9UNSAT26.63
S-edau-23FAIL26.74
S-edau-34UNSAT27.44
S-adeu-15UNSAT27.52
robots_1_5_3_56.8SAT27.66
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT28.56
ncf_4_16_8_euad.6SAT29.46
robots_1_5_4_46.8UNSAT29.85
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspSAT31.9
robots_1_5_2_46.7UNSAT36.24
ncf_16_128_2_u.3UNSAT38.64
robots_1_5_4_46.10UNSAT38.85
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspSAT39.22
robots_1_5_3_56.9SAT39.27
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspSAT39.88
robots_1_5_2_65.6SAT42.15
Q_2-3_v-80-100_r-13.9UNSAT42.41
ncf_16_32_8_u.2UNSAT43.64
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspSAT44.06
robots_1_5_2_46.8UNSAT46.73
robots_1_5_3_98.7SAT47.08
robots_1_5_3_94.10UNSAT47.3
robots_1_5_2_46.10UNSAT48.12
ncf_16_64_4_d.3UNSAT54.29
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspSAT58.29
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspSAT63.11
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT67.48
robots_1_5_5_45.10UNSAT67.88
x165.11UNSAT69.55
robots_1_5_2_46.9UNSAT76.45
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT77.25
robots_1_5_2_93.7SAT77.52
robots_1_5_3_94.8UNSAT79.72
ncf_16_128_2_u.8UNSAT80.5
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspUNSAT84.05
robots_1_5_3_56.10SAT84.25
x165.6UNSAT120.41
ncf_16_128_8_edau.7UNSAT128.64
robots_1_5_2_65.7SAT150.95
robots_1_5_3_98.8UNSAT157.05
robots_1_5_3_98.10UNSAT158.06
robots_1_5_2_93.8SAT205.36
ncf_16_128_2_u.1UNSAT206.32
ncf_16_128_2_u.10UNSAT214.96
x165.8UNSAT235.8
robots_1_5_3_98.9UNSAT239.6
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspUNSAT282.31
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspUNSAT287.95
x165.13UNSAT290.45
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT377.95
ncf_16_128_2_u.6UNSAT381.7
robots_1_5_2_93.9SAT586.2
robots_1_5_2_65.9FAIL599.64
ncf_16_128_8_edau.2FAIL599.64
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL599.65
ncf_16_128_8_edau.8FAIL599.67
Q_2-2-3_v-100-100-100_r-65.2FAIL599.67
Q_2-2-3_v-100-100-100_r-75.3FAIL599.67
robots_1_5_2_65.8FAIL599.68
robots_1_5_2_65.10FAIL599.69
robots_1_5_2_93.10FAIL599.69
Q_2-3_v-80-100_r-11.8FAIL599.69
ncf_16_128_8_edau.5FAIL599.69
Q_3-3-3_v-100-100-100_r-70.8FAIL599.69
Q_2-2-3_v-100-100-100_r-75.4FAIL599.69
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL599.7
ncf_16_128_8_euad.2FAIL599.7
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL599.7
ncf_16_128_8_euad.5FAIL599.7
Q_2-2-3_v-100-100-100_r-75.7FAIL599.7
Q_2-2-3_v-100-100-100_r-75.2FAIL599.7
Q_2-3_v-80-100_r-9.3FAIL599.7
Q_2-2-3_v-100-100-100_r-65.6FAIL599.7
Q_3-3_v-100-100_r-11.5FAIL599.7
ncf_16_128_8_edau.4FAIL599.7
ncf_16_128_2_u.2FAIL599.7
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL599.7
x300.6FAIL599.7
x300.15FAIL599.7
x210.9FAIL599.7
x210.1FAIL599.7
x300.3FAIL599.7
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL599.7
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL599.71
Q_2-2-3_v-100-100-100_r-65.1FAIL599.71
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL599.71
x220.16FAIL599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL599.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
x220.19FAIL599.71
Q_2-2-3_v-100-100-100_r-55.5FAIL599.71
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL599.71
Q_2-2-3_v-100-100-100_r-55.4FAIL599.71
Q_2-2-3_v-100-100-100_r-45.8FAIL599.71
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL599.71
Q_3-3_v-100-100_r-13.0FAIL599.71
Q_2-2-3_v-100-100-100_r-35.2FAIL599.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
ncf_16_128_8_edau.9FAIL599.71
ncf_16_128_8_edau.3FAIL599.71
x300.12FAIL599.71
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL599.71
x300.1FAIL599.71
x300.4FAIL599.71
ncf_16_128_8_euad.9FAIL599.71
Q_2-2-3_v-100-100-100_r-35.1FAIL599.72
Q_2-2-3_v-100-100-100_r-35.0FAIL599.72
Q_2-3_v-80-100_r-5.8FAIL599.72
x220.8FAIL599.72
Q_2-3_v-80-100_r-5.0FAIL599.72
Q_2-3_v-80-100_r-5.1FAIL599.72
Q_2-3_v-80-100_r-5.6FAIL599.72
x300.5FAIL599.72
ncf_16_128_8_edau.6FAIL599.72
Q_3-3_v-100-100_r-11.8FAIL599.72
ncf_16_128_8_euad.4FAIL599.72
Q_2-3_v-80-100_r-5.9FAIL599.72
Q_2-3_v-80-100_r-11.5FAIL599.72
Q_2-3_v-80-100_r-11.2FAIL599.72
Q_2-2-3_v-100-100-100_r-65.0FAIL599.72
Q_2-2-3_v-100-100-100_r-65.8FAIL599.72
x220.2FAIL599.72
ncf_16_128_8_euad.8FAIL599.72
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL599.72
x210.15FAIL599.72
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL599.72
x210.11FAIL599.72
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL599.72
x165.17FAIL599.72
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL599.72
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL599.72
x165.9FAIL599.72
Q_2-2-3_v-100-100-100_r-65.7FAIL599.73
Q_2-2-3_v-100-100-100_r-75.6FAIL599.73
Q_3-3-3_v-100-100-100_r-50.9FAIL599.73
x300.16FAIL599.73
Q_2-2-3_v-100-100-100_r-75.1FAIL599.73
Q_2-3_v-80-100_r-9.7FAIL599.73
Q_2-2-3_v-100-100-100_r-55.6FAIL599.73
Q_2-2-3_v-100-100-100_r-55.1FAIL599.73
Q_2-2-3_v-100-100-100_r-55.2FAIL599.73
Q_2-2-3_v-100-100-100_r-75.9FAIL599.73
Q_2-2-3_v-100-100-100_r-45.4FAIL599.73
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL599.73
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL599.73
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL599.73
Q_2-3_v-80-100_r-5.7FAIL599.73
ncf_16_128_8_euad.1FAIL599.73
Q_2-3_v-80-100_r-11.6FAIL599.73
x165.0FAIL599.73
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL599.73
Q_2-2-3_v-100-100-100_r-35.4FAIL599.73
ncf_16_128_8_edau.10FAIL599.73
x220.0FAIL599.73
Q_2-2-3_v-100-100-100_r-35.9FAIL599.73
Q_3-3_v-100-100_r-15.9FAIL599.74
Q_2-2-3_v-100-100-100_r-65.4FAIL599.74
x210.16FAIL599.74
ncf_16_128_8_edau.1FAIL599.74
Q_2-3_v-80-100_r-11.9FAIL599.74
Q_2-3_v-80-100_r-7.9FAIL599.74
Q_2-3_v-80-100_r-9.6FAIL599.74
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL599.74
Q_3-3_v-100-100_r-11.9FAIL599.74
ncf_16_128_8_euad.3FAIL599.75
Q_2-3_v-80-100_r-7.3FAIL599.75
Q_2-2-3_v-100-100-100_r-65.5FAIL599.75
Q_2-3_v-80-100_r-7.4FAIL599.75
Q_2-2-3_v-100-100-100_r-55.0FAIL599.75
ncf_16_128_8_euad.6FAIL599.76
Q_2-3_v-80-100_r-11.0FAIL599.76
ncf_16_128_8_euad.7FAIL599.76
x210.3FAIL599.76
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL599.76
Q_2-3_v-80-100_r-7.8FAIL599.77
Q_3-3_v-100-100_r-11.3FAIL599.77
Q_2-2-3_v-100-100-100_r-45.7FAIL599.77
x220.12FAIL599.77
Q_3-3_v-100-100_r-19.1FAIL599.78
Q_2-2-3_v-100-100-100_r-75.5FAIL599.78
Q_2-2-3_v-100-100-100_r-75.0FAIL599.78
Q_2-3_v-80-100_r-7.2FAIL599.79
Q_2-3_v-80-100_r-5.2FAIL599.79
Q_3-3_v-100-100_r-17.2FAIL599.79
Q_3-3_v-100-100_r-13.8FAIL599.79
Q_3-3_v-100-100_r-13.3FAIL599.79
Q_3-3_v-100-100_r-15.4FAIL599.79
Q_2-3_v-80-100_r-7.7FAIL599.79
Q_2-3_v-80-100_r-5.5FAIL599.79
Q_3-3_v-100-100_r-19.4FAIL599.79
Q_2-3_v-80-100_r-9.2FAIL599.79
Q_3-3_v-100-100_r-17.9FAIL599.79
Q_2-2-3_v-100-100-100_r-55.7FAIL599.79
Q_2-3_v-80-100_r-11.4FAIL599.79
ncf_16_128_8_euad.10FAIL599.79
Q_2-3_v-80-100_r-9.5FAIL599.8
Q_3-3_v-100-100_r-15.6FAIL599.8
Q_3-3_v-100-100_r-17.7FAIL599.8
Q_3-3_v-100-100_r-11.4FAIL599.8
Q_3-3_v-100-100_r-15.5FAIL599.8
Q_3-3_v-100-100_r-17.6FAIL599.8
Q_2-3_v-80-100_r-9.8FAIL599.8
Q_3-3_v-100-100_r-19.9FAIL599.8
Q_3-3-3_v-100-100-100_r-30.7FAIL599.8
Q_3-3_v-100-100_r-15.0FAIL599.8
Q_3-3_v-100-100_r-15.1FAIL599.8
Q_3-3-3_v-100-100-100_r-40.6FAIL599.8
Q_2-3_v-80-100_r-9.1FAIL599.8
Q_3-3_v-100-100_r-17.4FAIL599.8
Q_3-3_v-100-100_r-13.6FAIL599.8
Q_3-3-3_v-100-100-100_r-30.4FAIL599.8
Q_2-3_v-80-100_r-7.0FAIL599.8
Q_3-3-3_v-100-100-100_r-60.0FAIL599.8
Q_2-2-3_v-100-100-100_r-45.5FAIL599.8
Q_2-2-3_v-100-100-100_r-45.0FAIL599.8
Q_2-2-3_v-100-100-100_r-45.2FAIL599.8
Q_2-2-3_v-100-100-100_r-45.6FAIL599.8
Q_3-3-3_v-100-100-100_r-60.8FAIL599.8
Q_3-3_v-100-100_r-15.2FAIL599.8
x220.13FAIL599.8
x210.17FAIL599.8
x300.8FAIL599.8
Q_2-3_v-80-100_r-5.3FAIL599.8
ncf_16_128_2_u.5FAIL599.8
x210.7FAIL599.8
Q_2-3_v-80-100_r-5.4FAIL599.8
Q_2-2-3_v-100-100-100_r-45.1FAIL599.81
Q_3-3_v-100-100_r-11.7FAIL599.81
Q_2-2-3_v-100-100-100_r-35.7FAIL599.81
Q_3-3_v-100-100_r-13.4FAIL599.81
Q_3-3-3_v-100-100-100_r-70.3FAIL599.81
Q_3-3_v-100-100_r-15.7FAIL599.81
Q_3-3-3_v-100-100-100_r-50.3FAIL599.81
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL599.81
Q_2-2-3_v-100-100-100_r-65.3FAIL599.81
Q_3-3-3_v-100-100-100_r-40.9FAIL599.81
Q_3-3-3_v-100-100-100_r-30.9FAIL599.81
Q_3-3-3_v-100-100-100_r-40.2FAIL599.81
Q_2-3_v-80-100_r-9.9FAIL599.81
Q_2-2-3_v-100-100-100_r-75.8FAIL599.81
Q_2-3_v-80-100_r-9.0FAIL599.81
Q_3-3_v-100-100_r-19.5FAIL599.81
Q_3-3-3_v-100-100-100_r-60.9FAIL599.81
Q_3-3_v-100-100_r-11.0FAIL599.81
Q_3-3_v-100-100_r-11.1FAIL599.81
x300.19FAIL599.81
Q_2-3_v-80-100_r-7.1FAIL599.81
Q_3-3-3_v-100-100-100_r-30.0FAIL599.81
Q_2-3_v-80-100_r-7.5FAIL599.81
x220.9FAIL599.81
Q_3-3-3_v-100-100-100_r-30.6FAIL599.82
x165.19FAIL599.82
Q_3-3_v-100-100_r-17.5FAIL599.82
Q_3-3_v-100-100_r-19.6FAIL599.82
Q_3-3_v-100-100_r-17.8FAIL599.82
x220.10FAIL599.82
Q_3-3_v-100-100_r-19.0FAIL599.82
x220.6FAIL599.82
x165.3FAIL599.82
x210.6FAIL599.82
Q_3-3_v-100-100_r-11.6FAIL599.82
Q_2-2-3_v-100-100-100_r-45.3FAIL599.82
Q_2-3_v-80-100_r-9.4FAIL599.82
Q_2-2-3_v-100-100-100_r-35.8FAIL599.82
Q_2-3_v-80-100_r-11.1FAIL599.82
Q_3-3-3_v-100-100-100_r-50.7FAIL599.82
Q_2-2-3_v-100-100-100_r-35.6FAIL599.82
Q_3-3-3_v-100-100-100_r-50.2FAIL599.82
Q_2-2-3_v-100-100-100_r-35.5FAIL599.82
Q_2-3_v-80-100_r-11.3FAIL599.82
ncf_16_128_2_u.4FAIL599.82
Q_3-3_v-100-100_r-15.8FAIL599.82
Q_2-2-3_v-100-100-100_r-35.3FAIL599.82
Q_3-3_v-100-100_r-11.2FAIL599.82
Q_3-3-3_v-100-100-100_r-60.5FAIL599.83
Q_3-3-3_v-100-100-100_r-60.6FAIL599.83
Q_3-3-3_v-100-100-100_r-40.0FAIL599.83
Q_3-3-3_v-100-100-100_r-70.6FAIL599.83
Q_3-3-3_v-100-100-100_r-50.8FAIL599.83
Q_3-3-3_v-100-100-100_r-70.0FAIL599.83
Q_3-3-3_v-100-100-100_r-40.1FAIL599.83
Q_3-3-3_v-100-100-100_r-70.4FAIL599.83
Q_3-3-3_v-100-100-100_r-40.5FAIL599.83
Q_3-3-3_v-100-100-100_r-30.3FAIL599.83
Q_3-3-3_v-100-100-100_r-30.2FAIL599.83
Q_2-2-3_v-100-100-100_r-65.9FAIL599.83
Q_3-3_v-100-100_r-13.7FAIL599.83
Q_3-3_v-100-100_r-13.5FAIL599.83
ncf_16_128_2_u.9FAIL599.83
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL599.83
Q_3-3_v-100-100_r-13.1FAIL599.83
Q_2-3_v-80-100_r-7.6FAIL599.83
Q_2-3_v-80-100_r-11.7FAIL599.83
Q_2-2-3_v-100-100-100_r-45.9FAIL599.83
Q_2-2-3_v-100-100-100_r-55.3FAIL599.83
x165.10FAIL599.83
Q_3-3_v-100-100_r-13.9FAIL599.83
Q_3-3_v-100-100_r-15.3FAIL599.83
Q_3-3_v-100-100_r-19.2FAIL599.83
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL599.83
Q_3-3_v-100-100_r-17.3FAIL599.83
Q_3-3_v-100-100_r-19.8FAIL599.83
x210.12FAIL599.83
Q_3-3-3_v-100-100-100_r-50.1FAIL599.84
Q_3-3_v-100-100_r-17.0FAIL599.84
Q_3-3-3_v-100-100-100_r-60.3FAIL599.86
Q_3-3-3_v-100-100-100_r-70.9FAIL599.86
Q_3-3-3_v-100-100-100_r-60.4FAIL599.87
Q_3-3-3_v-100-100-100_r-70.7FAIL599.88
Q_3-3_v-100-100_r-19.3FAIL599.89
Q_3-3-3_v-100-100-100_r-70.5FAIL599.89
Q_3-3-3_v-100-100-100_r-30.5FAIL599.9
Q_3-3_v-100-100_r-19.7FAIL599.9
Q_3-3-3_v-100-100-100_r-40.7FAIL599.9
Q_3-3-3_v-100-100-100_r-40.8FAIL599.9
Q_3-3-3_v-100-100-100_r-50.0FAIL599.9
Q_3-3-3_v-100-100-100_r-70.1FAIL599.91
Q_3-3-3_v-100-100-100_r-30.8FAIL599.91
Q_3-3-3_v-100-100-100_r-50.5FAIL599.91
Q_3-3-3_v-100-100-100_r-60.1FAIL599.91
Q_3-3-3_v-100-100-100_r-50.6FAIL599.91
Q_3-3-3_v-100-100-100_r-30.1FAIL599.92
ncf_16_64_4_d.10FAIL599.92
Q_3-3-3_v-100-100-100_r-40.3FAIL599.92
Q_3-3-3_v-100-100-100_r-50.4FAIL599.92
Q_3-3-3_v-100-100-100_r-40.4FAIL599.92
Q_3-3-3_v-100-100-100_r-60.2FAIL599.92
Q_3-3_v-100-100_r-13.2FAIL599.93
Q_3-3_v-100-100_r-17.1FAIL599.93
Q_3-3-3_v-100-100-100_r-60.7FAIL599.94
Q_3-3-3_v-100-100-100_r-70.2FAIL599.95