Instances solved by iprover-QBF-bloqqer
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
ncf_8_16_4_u.2FAIL0.04
ncf_4_16_2_d.4SAT0.04
ncf_8_16_4_u.1SAT0.04
ncf_4_16_2_d.6SAT0.04
ncf_4_16_2_d.2SAT0.04
ncf_4_16_2_d.9SAT0.04
ncf_8_16_4_u.5FAIL0.04
ncf_8_16_4_u.6FAIL0.05
ncf_8_16_4_u.10SAT0.05
ncf_4_16_2_d.7SAT0.05
robots_1_5_5_91.1SAT0.06
robots_1_5_5_58.1SAT0.06
robots_1_5_5_45.1SAT0.06
ncf_4_16_2_d.10FAIL0.06
robots_1_5_4_74.1SAT0.06
ncf_8_16_4_u.8FAIL0.06
ncf_4_16_2_d.8SAT0.07
robots_1_5_2_65.1SAT0.07
robots_1_5_3_56.1SAT0.07
robots_1_5_4_54.1SAT0.07
robots_1_5_3_98.1SAT0.07
ncf_4_16_2_d.5FAIL0.07
robots_1_5_3_94.1SAT0.07
robots_1_5_4_46.1SAT0.07
robots_1_5_2_93.1SAT0.08
robots_1_5_2_46.1SAT0.08
ncf_4_16_8_euad.7SAT0.08
ncf_8_16_4_u.4SAT0.08
ncf_4_16_2_d.1FAIL0.11
ncf_8_16_4_u.3SAT0.12
ncf_16_32_8_u.4SAT0.14
ncf_16_32_8_u.3SAT0.2
ncf_16_32_8_u.8FAIL0.31
ncf_16_32_8_u.10SAT0.31
ncf_16_32_8_u.6SAT0.52
robots_1_5_4_74.2SAT0.66
robots_1_5_5_58.2SAT0.68
robots_1_5_5_91.2SAT0.69
robots_1_5_4_46.2SAT0.71
robots_1_5_4_54.2SAT0.72
robots_1_5_5_45.2SAT0.75
robots_1_5_4_74.3SAT1.31
ncf_16_32_8_u.5FAIL1.32
robots_1_5_5_58.3SAT1.38
robots_1_5_4_46.3SAT1.46
robots_1_5_4_54.3SAT1.48
robots_1_5_5_91.3SAT1.51
robots_1_5_5_45.3SAT1.57
robots_1_5_3_98.2SAT1.67
robots_1_5_3_94.2SAT1.69
robots_1_5_3_56.2SAT1.71
robots_1_5_2_46.2SAT1.93
robots_1_5_2_93.2SAT2.27
S-edau-43FAIL2.52
robots_1_5_5_58.4SAT2.54
robots_1_5_4_74.4SAT2.59
robots_1_5_5_91.4SAT2.67
robots_1_5_5_45.4SAT3.02
T-edau-20FAIL3.07
T-edau-23FAIL3.08
robots_1_5_4_46.4SAT3.1
robots_1_5_3_56.3SAT3.16
T-edau-18FAIL3.18
robots_1_5_4_54.4SAT3.31
T-edau-8FAIL3.39
robots_1_5_2_65.2SAT3.78
robots_1_5_3_98.3SAT3.79
robots_1_5_3_94.3SAT4.06
robots_1_5_5_91.5FAIL4.19
S-edau-30FAIL4.29
robots_1_5_5_58.5FAIL4.31
robots_1_5_4_74.5SAT4.38
S-edau-7FAIL4.42
S-edau-8FAIL4.49
robots_1_5_2_65.3SAT4.52
robots_1_5_3_56.4SAT4.8
robots_1_5_2_46.3SAT4.94
Q_2-2-3_v-100-100-100_r-75.4FAIL55.44
Q_2-2-3_v-100-100-100_r-75.2FAIL55.54
Q_2-2-3_v-100-100-100_r-75.9FAIL55.54
Q_2-2-3_v-100-100-100_r-75.8FAIL55.64
Q_2-2-3_v-100-100-100_r-75.3FAIL55.73
Q_2-2-3_v-100-100-100_r-75.0FAIL55.76
Q_2-2-3_v-100-100-100_r-75.5FAIL55.84
Q_2-2-3_v-100-100-100_r-75.7FAIL55.85
Q_2-2-3_v-100-100-100_r-75.6FAIL55.94
Q_2-2-3_v-100-100-100_r-75.1FAIL55.94
Q_2-2-3_v-100-100-100_r-65.2FAIL90.63
Q_3-3-3_v-100-100-100_r-60.7FAIL152.24
Q_3-3-3_v-100-100-100_r-60.6FAIL152.35
Q_3-3-3_v-100-100-100_r-60.5FAIL152.74
Q_3-3-3_v-100-100-100_r-60.3FAIL152.75
Q_3-3-3_v-100-100-100_r-60.4FAIL152.84
Q_3-3-3_v-100-100-100_r-60.0FAIL152.95
Q_3-3-3_v-100-100-100_r-60.2FAIL153.24
Q_3-3-3_v-100-100-100_r-60.9FAIL153.44
Q_3-3-3_v-100-100-100_r-60.1FAIL153.54
Q_3-3-3_v-100-100-100_r-60.8FAIL153.74
ncf_16_128_8_edau.9FAIL174.23
ncf_16_128_8_edau.3FAIL175.13
ncf_16_128_8_edau.6FAIL175.43
ncf_16_128_8_edau.7FAIL175.84
ncf_16_128_8_edau.5FAIL176.33
ncf_16_128_8_edau.10FAIL176.63
Q_3-3-3_v-100-100-100_r-70.2FAIL176.94
Q_3-3-3_v-100-100-100_r-70.9FAIL177.45
Q_3-3-3_v-100-100-100_r-70.1FAIL177.54
Q_3-3-3_v-100-100-100_r-70.7FAIL177.64
Q_3-3-3_v-100-100-100_r-70.8FAIL177.64
Q_3-3-3_v-100-100-100_r-70.0FAIL177.65
ncf_16_128_8_edau.2FAIL177.83
Q_3-3-3_v-100-100-100_r-70.3FAIL177.85
Q_3-3-3_v-100-100-100_r-70.6FAIL177.96
Q_3-3-3_v-100-100-100_r-70.4FAIL178.06
ncf_16_128_8_edau.4FAIL178.64
ncf_16_128_8_edau.1FAIL180.44
Q_3-3-3_v-100-100-100_r-70.5FAIL181.14
ncf_16_128_8_edau.8FAIL181.53
ncf_4_16_2_d.3UNSAT189.12
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL207.24
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL216.76
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL221.64
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL221.84
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL222.26
Q_3-3-3_v-100-100-100_r-50.4FAIL224.64
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL224.65
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspFAIL225.65
Q_3-3-3_v-100-100-100_r-50.8FAIL226.47
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL228.35
Q_3-3-3_v-100-100-100_r-50.1FAIL229.54
Q_3-3-3_v-100-100-100_r-50.3FAIL231.15
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspFAIL231.24
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL232.16
Q_3-3-3_v-100-100-100_r-50.9FAIL232.44
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspFAIL232.44
Q_3-3-3_v-100-100-100_r-50.5FAIL233.14
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.aspFAIL233.55
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL234.15
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL234.36
Q_3-3-3_v-100-100-100_r-50.0FAIL234.84
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspFAIL235.24
T-adeu-38FAIL235.34
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspFAIL235.75
Q_3-3-3_v-100-100-100_r-50.2FAIL235.84
Q_3-3-3_v-100-100-100_r-50.6FAIL237.75
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspFAIL239.05
x35.2FAIL239.86
Q_3-3_v-100-100_r-17.0FAIL240.54
Q_3-3-3_v-100-100-100_r-50.7FAIL241.84
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL242.34
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL242.64
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL243.54
Q_3-3_v-100-100_r-19.7FAIL243.84
Q_3-3_v-100-100_r-19.3FAIL244.64
robots_1_5_4_54.10FAIL244.94
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL245.94
Q_3-3_v-100-100_r-15.0FAIL249.24
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL249.44
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL249.54
Q_3-3_v-100-100_r-19.5FAIL250.85
Q_3-3_v-100-100_r-19.9FAIL251.64
robots_1_5_5_58.10FAIL251.84
Q_3-3_v-100-100_r-19.6FAIL252.14
Q_3-3_v-100-100_r-15.8FAIL252.34
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL253.34
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspFAIL254.04
Q_3-3_v-100-100_r-19.2FAIL255.54
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspFAIL256.56
ncf_16_128_8_euad.1FAIL256.64
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL256.64
ncf_16_128_8_euad.6FAIL257.83
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspFAIL257.84
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL258.24
Q_3-3_v-100-100_r-19.4FAIL258.24
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL258.85
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL260.44
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.aspFAIL261.25
Q_3-3_v-100-100_r-15.1FAIL262.74
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspFAIL262.95
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL264.15
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL264.35
Q_3-3_v-100-100_r-17.5FAIL264.54
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspFAIL266.45
Q_3-3_v-100-100_r-17.2FAIL266.74
T-adeu-6FAIL269.04
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspFAIL269.44
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspFAIL269.74
ncf_16_128_8_euad.2FAIL270.33
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL270.66
Q_3-3_v-100-100_r-15.7FAIL271.35
Q_3-3_v-100-100_r-15.9FAIL271.44
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL272.04
Q_3-3_v-100-100_r-19.1FAIL272.04
Q_3-3_v-100-100_r-17.6FAIL273.54
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspFAIL274.65
Q_3-3-3_v-100-100-100_r-40.1FAIL275.06
Q_3-3-3_v-100-100-100_r-40.4FAIL275.84
Q_3-3_v-100-100_r-15.4FAIL276.16
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL276.55
ncf_16_128_8_euad.9FAIL276.73
T-edau-9FAIL277.04
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.aspFAIL277.15
Q_3-3_v-100-100_r-13.5FAIL277.25
Q_3-3_v-100-100_r-17.8FAIL277.84
Q_3-3_v-100-100_r-17.3FAIL277.84
Q_3-3-3_v-100-100-100_r-40.7FAIL278.45
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL278.45
ncf_16_128_8_euad.3FAIL278.83
Q_3-3_v-100-100_r-15.2FAIL279.14
Q_3-3_v-100-100_r-13.9FAIL279.46
Q_3-3_v-100-100_r-15.6FAIL279.55
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspFAIL280.04
Q_3-3_v-100-100_r-19.0FAIL281.25
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL281.65
Q_3-3_v-100-100_r-17.7FAIL282.14
ncf_16_128_8_euad.10FAIL283.13
Q_2-3_v-80-100_r-13.8FAIL283.14
Q_3-3_v-100-100_r-13.8FAIL285.34
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL285.55
Q_3-3_v-100-100_r-17.1FAIL286.05
Q_3-3_v-100-100_r-17.4FAIL286.44
Q_3-3-3_v-100-100-100_r-40.2FAIL287.25
Q_3-3-3_v-100-100-100_r-40.6FAIL287.44
Q_2-3_v-80-100_r-13.9FAIL287.75
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspFAIL288.36
Q_2-3_v-80-100_r-13.5FAIL288.84
Q_3-3-3_v-100-100-100_r-40.8FAIL289.04
Q_3-3_v-100-100_r-13.3FAIL289.35
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspFAIL289.74
Q_2-2-3_v-100-100-100_r-55.0FAIL289.84
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL290.46
Q_3-3-3_v-100-100-100_r-40.3FAIL290.55
Q_3-3_v-100-100_r-19.8FAIL290.75
Q_3-3-3_v-100-100-100_r-30.5FAIL291.24
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.aspFAIL291.94
Q_2-3_v-80-100_r-13.1FAIL292.25
T-adeu-9FAIL292.84
Q_2-3_v-80-100_r-11.1FAIL293.94
Q_2-3_v-80-100_r-13.4FAIL293.94
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.aspFAIL294.54
Q_2-2-3_v-100-100-100_r-55.6FAIL294.74
Q_3-3_v-100-100_r-15.3FAIL295.24
Q_2-3_v-80-100_r-13.0FAIL295.64
Q_3-3-3_v-100-100-100_r-40.0FAIL295.95
x35.11FAIL295.96
ncf_16_128_8_euad.4FAIL296.33
Q_3-3_v-100-100_r-15.5FAIL297.05
x165.9FAIL297.84
T-edau-6FAIL298.34
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.aspFAIL298.64
Q_3-3-3_v-100-100-100_r-40.9FAIL298.84
Q_3-3-3_v-100-100-100_r-30.3FAIL300.14
Q_3-3_v-100-100_r-13.0FAIL301.04
Q_2-3_v-80-100_r-11.6FAIL302.05
Q_3-3_v-100-100_r-11.9FAIL302.94
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL303.76
Q_3-3_v-100-100_r-13.1FAIL304.94
Q_3-3_v-100-100_r-11.8FAIL307.24
Q_2-3_v-80-100_r-13.7FAIL308.54
Q_2-3_v-80-100_r-13.3FAIL308.65
Q_2-2-3_v-100-100-100_r-55.3FAIL309.34
Q_3-3_v-100-100_r-13.7FAIL310.14
Q_2-2-3_v-100-100-100_r-55.9FAIL310.54
Q_3-3_v-100-100_r-11.7FAIL311.14
Q_3-3_v-100-100_r-13.4FAIL311.94
x165.19FAIL312.04
Q_2-2-3_v-100-100-100_r-55.5FAIL312.55
Q_3-3_v-100-100_r-11.2FAIL312.64
Q_3-3_v-100-100_r-13.6FAIL313.04
ncf_16_128_8_euad.5FAIL314.53
x25.7FAIL315.76
Q_2-2-3_v-100-100-100_r-35.9FAIL317.95
x35.9FAIL318.36
Q_3-3_v-100-100_r-11.5FAIL319.44
Q_2-2-3_v-100-100-100_r-45.7FAIL319.93
Q_3-3_v-100-100_r-17.9FAIL320.15
Q_2-3_v-80-100_r-11.8FAIL320.64
Q_2-3_v-80-100_r-11.2FAIL320.74
Q_2-3_v-80-100_r-13.6FAIL320.95
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspFAIL321.14
Q_3-3-3_v-100-100-100_r-40.5FAIL322.54
Q_2-3_v-80-100_r-11.0FAIL322.94
Q_2-2-3_v-100-100-100_r-55.7FAIL323.04
Q_2-3_v-80-100_r-9.6FAIL324.14
Q_3-3_v-100-100_r-11.3FAIL324.14
Q_3-3_v-100-100_r-13.2FAIL324.15
Q_3-3_v-100-100_r-11.6FAIL325.14
ncf_4_16_8_euad.10FAIL325.65
Q_2-3_v-80-100_r-11.9FAIL325.65
x35.10FAIL327.86
Q_3-3_v-100-100_r-11.1FAIL328.84
Q_2-3_v-80-100_r-9.8FAIL329.24
Q_2-2-3_v-100-100-100_r-35.4FAIL329.84
x70.12FAIL330.54
Q_2-3_v-80-100_r-13.2FAIL332.04
x40.17FAIL332.15
Q_2-3_v-80-100_r-9.3FAIL333.05
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL333.65
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspFAIL333.85
Q_2-3_v-80-100_r-7.8FAIL334.46
x70.0FAIL334.94
Q_2-3_v-80-100_r-9.9FAIL335.04
Q_2-3_v-80-100_r-11.3FAIL335.55
Q_2-3_v-80-100_r-9.5FAIL335.85
x70.8FAIL335.94
S-adeu-32FAIL336.14
Q_2-3_v-80-100_r-11.4FAIL337.24
x70.16FAIL338.14
x70.1FAIL338.74
Q_2-3_v-80-100_r-5.8FAIL340.85
ncf_16_32_8_u.7FAIL341.53
x70.6FAIL342.04
Q_2-3_v-80-100_r-9.4FAIL342.75
Q_2-3_v-80-100_r-9.1FAIL343.65
Q_2-3_v-80-100_r-9.0FAIL343.65
x25.15FAIL343.85
Q_2-3_v-80-100_r-7.6FAIL344.06
x70.5FAIL344.24
Q_3-3-3_v-100-100-100_r-30.6FAIL345.14
x165.13FAIL345.84
Q_2-3_v-80-100_r-11.7FAIL346.14
Q_2-2-3_v-100-100-100_r-45.1FAIL348.14
Q_3-3_v-100-100_r-11.0FAIL348.24
Q_2-3_v-80-100_r-5.0FAIL348.35
Q_2-3_v-80-100_r-9.2FAIL348.65
Q_2-3_v-80-100_r-7.1FAIL349.55
x70.3FAIL349.95
Q_2-3_v-80-100_r-11.5FAIL350.15
x70.7FAIL350.34
x70.10FAIL350.34
Q_3-3-3_v-100-100-100_r-30.4FAIL350.64
ncf_4_16_8_euad.4FAIL351.64
Q_2-2-3_v-100-100-100_r-35.6FAIL351.84
Q_2-3_v-80-100_r-7.0FAIL353.95
Q_2-3_v-80-100_r-7.3FAIL354.36
Q_2-3_v-80-100_r-7.2FAIL355.46
T-edau-26FAIL356.65
Q_2-2-3_v-100-100-100_r-45.8FAIL357.04
Q_2-3_v-80-100_r-7.4FAIL357.35
Q_2-2-3_v-100-100-100_r-55.8FAIL359.34
S-adeu-19FAIL359.85
Q_2-3_v-80-100_r-7.7FAIL360.55
x165.3FAIL361.95
T-edau-2FAIL362.15
Q_2-3_v-80-100_r-5.5FAIL362.84
x40.1FAIL364.34
Q_2-2-3_v-100-100-100_r-45.6FAIL364.64
Q_2-3_v-80-100_r-5.1FAIL364.74
Q_2-2-3_v-100-100-100_r-55.4FAIL365.13
x165.17FAIL365.44
ncf_16_128_8_euad.7FAIL367.24
x210.15FAIL367.64
x210.16FAIL367.65
x210.17FAIL367.74
x210.9FAIL368.34
x210.11FAIL368.34
x165.11FAIL368.55
x165.0FAIL369.04
Q_2-3_v-80-100_r-5.3FAIL369.44
T-adeu-10FAIL372.65
ncf_16_64_4_d.1FAIL372.94
Q_2-2-3_v-100-100-100_r-55.2FAIL373.84
Q_2-2-3_v-100-100-100_r-35.2FAIL374.44
Q_3-3-3_v-100-100-100_r-30.7FAIL376.74
Q_3-3-3_v-100-100-100_r-30.0FAIL377.94
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL378.46
Q_2-3_v-80-100_r-5.2FAIL378.55
x165.8FAIL378.64
x35.13FAIL379.05
x165.6FAIL379.34
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspFAIL380.54
x25.8FAIL381.44
robots_1_5_4_46.5FAIL383.84
Q_2-2-3_v-100-100-100_r-45.5FAIL384.44
Q_2-2-3_v-100-100-100_r-45.9FAIL384.83
Q_2-2-3_v-100-100-100_r-55.1FAIL388.74
Q_3-3_v-100-100_r-11.4FAIL388.84
Q_2-3_v-80-100_r-7.5FAIL389.04
x40.11FAIL389.46
x165.10FAIL392.04
Q_2-3_v-80-100_r-9.7FAIL392.05
Q_2-2-3_v-100-100-100_r-45.4FAIL393.85
x25.5FAIL396.75
ncf_16_32_8_u.2FAIL400.03
Q_3-3-3_v-100-100-100_r-30.8FAIL400.95
Q_2-3_v-80-100_r-5.7FAIL401.74
Q_2-3_v-80-100_r-5.9FAIL402.44
Q_3-3-3_v-100-100-100_r-30.2FAIL402.65
x220.13FAIL402.94
x220.9FAIL403.44
x220.10FAIL403.54
S-edau-1FAIL403.75
x220.16FAIL404.24
x220.8FAIL404.24
x220.2FAIL404.34
Q_2-2-3_v-100-100-100_r-35.8FAIL404.84
Q_2-3_v-80-100_r-5.6FAIL405.05
x220.6FAIL405.14
ncf_4_16_8_euad.1FAIL405.34
Q_3-3-3_v-100-100-100_r-30.9FAIL408.94
Q_2-2-3_v-100-100-100_r-35.0FAIL410.14
Q_2-3_v-80-100_r-5.4FAIL412.56
ncf_16_128_8_euad.8FAIL413.34
Q_2-2-3_v-100-100-100_r-45.0FAIL415.04
Q_2-3_v-80-100_r-7.9FAIL415.64
Q_2-2-3_v-100-100-100_r-35.5FAIL417.05
ncf_4_16_8_euad.9FAIL421.94
robots_1_5_5_45.10FAIL423.44
x25.10FAIL425.05
x35.15FAIL425.14
robots_1_5_4_54.5FAIL425.35
robots_1_5_3_94.5FAIL426.86
x25.19FAIL433.05
Q_2-2-3_v-100-100-100_r-45.3FAIL438.84
robots_1_5_5_58.6FAIL441.86
x35.3FAIL443.55
robots_1_5_5_91.6FAIL444.56
Q_2-2-3_v-100-100-100_r-45.2FAIL446.14
T-edau-44FAIL447.94
Q_3-3-3_v-100-100-100_r-30.1FAIL449.95
x25.4FAIL450.35
T-adeu-42FAIL453.35
robots_1_5_5_45.6FAIL454.46
robots_1_5_5_58.8FAIL455.85
x35.1FAIL457.34
Q_2-2-3_v-100-100-100_r-35.1FAIL457.65
x25.2FAIL457.66
Q_2-2-3_v-100-100-100_r-35.7FAIL459.44
robots_1_5_3_94.4FAIL459.96
S-adeu-15FAIL460.34
robots_1_5_5_45.5FAIL461.65
robots_1_5_3_98.4FAIL462.84
Q_2-2-3_v-100-100-100_r-35.3FAIL465.23
robots_1_5_3_98.7FAIL466.34
ncf_16_32_8_u.9FAIL468.23
x40.5FAIL470.35
ncf_8_16_4_u.9FAIL472.75
x40.19FAIL475.04
T-edau-24FAIL475.94
robots_1_5_3_94.9FAIL478.34
ncf_4_16_8_euad.6FAIL479.14
robots_1_5_4_54.6FAIL480.35
T-adeu-25FAIL481.64
ncf_4_16_8_euad.8FAIL486.04
robots_1_5_3_56.8FAIL486.54
robots_1_5_2_65.4FAIL489.25
x35.19FAIL490.05
ncf_4_16_8_euad.2FAIL491.54
robots_1_5_3_56.9FAIL492.14
x40.18FAIL492.44
x25.13FAIL492.55
x40.12FAIL493.05
robots_1_5_5_58.7FAIL493.96
S-adeu-28FAIL497.84
robots_1_5_4_74.8FAIL502.55
robots_1_5_3_56.5FAIL504.34
robots_1_5_4_46.6FAIL505.65
robots_1_5_2_93.4FAIL507.15
robots_1_5_3_98.5FAIL511.67
x35.5FAIL513.34
robots_1_5_4_54.8FAIL513.64
robots_1_5_4_74.7FAIL515.05
Q_2-2-3_v-100-100-100_r-65.5FAIL517.54
ncf_8_16_4_u.7FAIL521.94
robots_1_5_4_46.7FAIL523.35
ncf_4_16_8_euad.3FAIL524.44
robots_1_5_3_94.8FAIL526.84
robots_1_5_5_91.7FAIL531.85
robots_1_5_2_46.4FAIL534.76
robots_1_5_3_94.6FAIL537.44
ncf_16_32_8_u.1FAIL538.93
robots_1_5_5_45.7FAIL539.45
robots_1_5_2_46.7FAIL545.34
x40.4FAIL548.05
robots_1_5_4_74.9FAIL548.84
robots_1_5_3_56.10FAIL550.64
robots_1_5_4_46.8FAIL552.25
ncf_4_16_8_euad.5FAIL553.53
robots_1_5_2_93.6FAIL553.64
ncf_16_64_4_d.9FAIL561.83
robots_1_5_4_74.6FAIL561.84
robots_1_5_3_98.8FAIL571.94
robots_1_5_4_46.9FAIL574.04
robots_1_5_3_98.10FAIL575.14
T-adeu-15FAIL575.35
T-adeu-39FAIL575.64
S-edau-23FAIL580.34
S-adeu-49FAIL580.64
robots_1_5_3_98.9FAIL584.05
robots_1_5_4_54.7FAIL584.35
T-adeu-49FAIL586.24
robots_1_5_3_98.6FAIL587.34
x40.10FAIL587.64
robots_1_5_3_56.7FAIL590.54
robots_1_5_5_58.9FAIL593.16
ncf_16_64_4_d.10FAIL598.03
ncf_16_64_4_d.5FAIL599.12
robots_1_5_2_93.7FAIL599.12
x300.5FAIL599.12
robots_1_5_3_56.6FAIL599.12
robots_1_5_5_91.9FAIL599.12
robots_1_5_4_74.10FAIL599.12
robots_1_5_2_46.6FAIL599.12
robots_1_5_2_65.10FAIL599.12
robots_1_5_2_46.10FAIL599.12
S-edau-20FAIL599.12
robots_1_5_2_93.10FAIL599.13
x300.15FAIL599.13
robots_1_5_2_93.9FAIL599.13
robots_1_5_2_65.9FAIL599.13
x300.3FAIL599.13
robots_1_5_5_91.8FAIL599.13
S-adeu-6FAIL599.13
robots_1_5_2_65.7FAIL599.22
ncf_16_128_2_u.4FAIL599.22
ncf_16_128_2_u.3FAIL599.22
robots_1_5_2_65.5FAIL599.22
robots_1_5_4_46.10FAIL599.22
ncf_16_128_2_u.1FAIL599.22
ncf_16_64_4_d.7FAIL599.22
ncf_16_64_4_d.6FAIL599.22
ncf_16_128_2_u.6FAIL599.22
ncf_16_128_2_u.2FAIL599.22
robots_1_5_3_94.7FAIL599.22
robots_1_5_2_65.6FAIL599.22
robots_1_5_2_93.3FAIL599.22
robots_1_5_2_46.8FAIL599.22
robots_1_5_2_65.8FAIL599.22
robots_1_5_2_93.8FAIL599.22
ncf_16_128_2_u.5FAIL599.22
ncf_16_64_4_d.2FAIL599.22
ncf_16_64_4_d.8FAIL599.22
ncf_16_128_2_u.8FAIL599.22
S-edau-29FAIL599.22
x300.1FAIL599.22
S-adeu-47FAIL599.22
x300.6FAIL599.22
S-edau-17FAIL599.22
x300.8FAIL599.22
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL599.22
T-adeu-7FAIL599.22
Q_2-2-3_v-100-100-100_r-65.9FAIL599.22
S-adeu-30FAIL599.22
S-edau-34FAIL599.22
x300.16FAIL599.22
S-adeu-29FAIL599.22
Q_2-2-3_v-100-100-100_r-65.7FAIL599.22
Q_2-2-3_v-100-100-100_r-65.8FAIL599.22
x220.0FAIL599.22
Q_2-2-3_v-100-100-100_r-65.1FAIL599.22
x25.16FAIL599.22
x220.19FAIL599.22
ncf_16_64_4_d.3FAIL599.23
ncf_16_128_2_u.10FAIL599.23
Q_2-2-3_v-100-100-100_r-65.0FAIL599.23
Q_2-2-3_v-100-100-100_r-65.6FAIL599.23
Q_2-2-3_v-100-100-100_r-65.4FAIL599.23
Q_2-2-3_v-100-100-100_r-65.3FAIL599.23
ncf_16_64_4_d.4FAIL599.23
ncf_16_128_2_u.7FAIL599.23
x210.7FAIL599.23
ncf_16_128_2_u.9FAIL599.23
x300.4FAIL599.23
robots_1_5_5_91.10FAIL599.23
robots_1_5_5_45.9FAIL599.23
x210.12FAIL599.23
x210.3FAIL599.23
x210.6FAIL599.23
robots_1_5_5_45.8FAIL599.23
x220.12FAIL599.23
robots_1_5_3_94.10FAIL599.23
x300.12FAIL599.23
x300.19FAIL599.23
robots_1_5_2_46.9FAIL599.23
x40.6FAIL599.23
x210.1FAIL599.23
robots_1_5_2_93.5FAIL599.23
robots_1_5_2_46.5FAIL599.23
S-adeu-41FAIL599.23
robots_1_5_4_54.9FAIL599.23