Instances solved by nenofex-qbfeval10
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
ncf_8_16_4_d.5UNSAT0
ncf_8_16_4_euad.2UNSAT0.02
ncf_8_16_4_d.2UNSAT0.02
ncf_8_16_4_u.5UNSAT0.02
ncf_8_16_4_euad.5UNSAT0.02
ncf_8_16_4_d.1SAT0.02
ncf_8_16_4_edau.1SAT0.02
ncf_8_16_4_euad.1SAT0.02
ncf_8_16_4_u.2UNSAT0.02
ncf_8_16_4_edau.5UNSAT0.02
ncf_8_16_4_edau.2UNSAT0.03
ncf_8_16_4_u.1SAT0.03
ncf_8_16_4_edau.8UNSAT0.04
ncf_8_16_4_u.6UNSAT0.04
ncf_8_16_4_d.8UNSAT0.04
ncf_8_16_4_edau.6UNSAT0.04
ncf_8_16_4_u.8UNSAT0.05
ncf_8_16_4_d.6UNSAT0.05
ncf_8_16_4_euad.8UNSAT0.06
ncf_8_16_4_edau.10SAT0.08
ncf_8_16_4_u.10SAT0.09
ncf_8_16_4_d.10SAT0.15
ncf_8_16_4_edau.4SAT0.18
ncf_8_16_4_d.4SAT0.18
ncf_16_32_8_d.4SAT0.37
ncf_16_32_8_d.8UNSAT0.7
ncf_16_32_8_edau.8UNSAT0.76
ncf_16_32_8_edau.3SAT0.84
ncf_16_32_8_d.3SAT0.98
ncf_16_32_8_edau.4SAT1.13
ncf_16_32_8_u.8UNSAT1.31
ncf_16_32_8_euad.8UNSAT2.04
Qq2k3k3v20v20m80s3SAT4.42
Qq2k3k3v20v20m80s7SAT22.49
Qq2k3k3v20v20m80s2SAT33.94
Qq2k3k3v20v20m80s4SAT36.15
Qq2k3k3v20v20m80s1SAT37.11
robots_1_5_5_15.2SAT45.83
robots_1_5_4_100.2SAT45.97
robots_1_5_4_52.2SAT46.22
robots_1_5_5_38.2SAT46.22
robots_1_5_3_7.2SAT46.33
robots_1_5_5_75.2SAT46.84
robots_1_5_5_100.2SAT47.04
robots_1_5_4_59.2SAT47.13
robots_1_5_4_73.2SAT47.24
robots_1_5_5_62.2SAT47.42
robots_1_5_5_61.2SAT48.01
robots_1_5_5_56.2SAT49.38
robots_1_5_4_71.2SAT49.79
robots_1_5_4_22.2SAT49.85
robots_1_5_3_30.2SAT49.85
robots_1_5_4_32.2SAT49.96
robots_1_5_5_24.2SAT49.98
robots_1_5_5_97.2SAT50.08
robots_1_5_4_75.2SAT50.59
robots_1_5_4_81.2SAT50.88
ncf_8_16_4_u.7FAIL51.08
robots_1_5_5_31.2SAT52.22
ncf_8_16_4_edau.7FAIL52.62
robots_1_5_4_44.2SAT52.86
Qq2k3k3v20v20m80s8SAT55.87
ncf_8_16_4_euad.6UNSAT58.1
Qq2k3k3v20v20m80s6SAT64.1
Qq2k3k3v20v20m80s10SAT64.38
Qq2k3k3v20v20m80s9SAT66.94
ncf_16_32_8_u.3FAIL68.29
Qq2k3k3v20v20m80s5SAT71.49
Qq2k3k3v20v20m400s6FAIL82.71
Qq2k3k3v20v20m400s8FAIL83.26
Qq2k3k3v50v50m1000s3FAIL84.61
Qq2k3k3v50v50m1000s10FAIL85.21
ncf_16_32_8_edau.2FAIL86.01
Qq2k3k3v50v50m1000s2FAIL87.97
ncf_8_16_4_euad.7FAIL88.95
ncf_8_16_4_euad.4FAIL89.23
Qq2k3k3v20v20m400s2FAIL89.39
Qq2k3k3v20v20m400s4FAIL89.65
Qq2k3k3v20v20m400s9FAIL90.2
Qq2k3k3v50v50m600s6FAIL90.5
Qq2k3k3v50v50m600s10FAIL91.82
Qq2k3k3v50v50m600s9FAIL92.77
Qq2k3k3v50v50m900s8FAIL93.17
Qq2k3k3v20v20m400s5FAIL93.18
Qq2k3k3v50v50m700s3FAIL96.85
robots_1_5_3_62.2SAT97.87
robots_1_5_2_81.2SAT98.13
robots_1_5_3_100.2SAT98.25
Qq2k3k3v50v50m700s2FAIL98.41
Qq2k3k3v20v20m400s7FAIL98.48
Qq2k3k3v50v50m700s7FAIL98.92
Qq2k3k3v20v20m320s4FAIL99.18
robots_1_5_3_52.2SAT99.31
Qq2k3k3v50v50m700s8FAIL99.54
Qq2k3k3v50v50m700s10FAIL100
Qq2k3k3v50v50m700s9FAIL100.01
ncf_8_16_4_euad.3FAIL100.1
robots_1_5_2_47.2SAT100.59
Qq2k3k3v50v50m700s5FAIL100.75
Qq2k3k3v50v50m400s4FAIL100.93
robots_1_5_2_10.2SAT100.95
Qq2k3k3v50v50m400s1FAIL101.53
Qq2k3k3v50v50m400s10FAIL102.2
Qq2k3k3v50v50m500s5FAIL102.25
Qq2k3k3v20v20m360s7FAIL102.39
robots_1_5_2_14.2SAT103.14
Qq2k3k3v50v50m1000s7FAIL103.29
Qq2k3k3v50v50m1000s1FAIL103.71
Qq2k3k3v50v50m400s9FAIL103.98
Qq2k3k3v50v50m1000s4FAIL104.56
Qq2k3k3v50v50m600s1FAIL104.61
robots_1_5_3_51.2SAT104.8
Qq2k3k3v50v50m1000s5FAIL105.9
Qq2k3k3v50v50m600s4FAIL106.02
Qq2k3k3v50v50m600s7FAIL106.32
Qq2k3k3v20v20m320s9FAIL106.57
Qq2k3k3v50v50m600s8FAIL106.91
Qq2k3k3v50v50m600s5FAIL107.02
Qq2k3k3v50v50m1000s8FAIL107.28
Qq2k3k3v50v50m300s4FAIL107.33
Qq2k3k3v50v50m900s4FAIL107.46
Qq2k3k3v50v50m1000s6FAIL108.51
Qq2k3k3v50v50m600s3FAIL108.79
Qq2k3k3v50v50m1000s9FAIL109.36
Qq2k3k3v20v20m360s2FAIL109.59
Qq2k3k3v50v50m600s2FAIL110.56
robots_1_5_2_49.2SAT111.36
Qq2k3k3v50v50m300s10FAIL111.44
robots_1_5_2_100.2SAT111.85
Qq2k3k3v50v50m300s8FAIL112.06
Qq2k3k3v20v20m320s7FAIL112.31
Qq2k3k3v50v50m500s8FAIL112.33
Qq2k3k3v50v50m800s2FAIL112.46
robots_1_5_2_33.2SAT112.49
Qq2k3k3v50v50m800s9FAIL112.68
x30.5UNSAT113.57
robots_1_5_3_25.2SAT113.66
robots_1_5_2_85.2SAT113.79
Qq2k3k3v20v20m360s5FAIL114.08
robots_1_5_3_26.2SAT114.26
x30.9UNSAT114.34
Qq2k3k3v50v50m800s10FAIL114.36
Qq2k3k3v50v50m300s5FAIL114.74
Qq2k3k3v20v20m320s6FAIL114.84
Qq2k3k3v50v50m400s7FAIL115.1
Qq2k3k3v20v20m280s10FAIL115.3
robots_1_5_3_91.2SAT115.3
Qq2k3k3v20v20m360s9FAIL115.4
Qq2k3k3v50v50m800s8FAIL116.2
Qq2k3k3v50v50m300s6FAIL116.34
robots_1_5_2_28.2SAT116.47
Qq2k3k3v50v50m900s6FAIL116.72
Qq2k3k3v50v50m700s4FAIL117.48
Qq2k3k3v50v50m900s1FAIL117.48
Qq2k3k3v50v50m700s6FAIL118.08
robots_1_5_2_31.2SAT118.31
Qq2k3k3v50v50m700s1FAIL118.42
Qq2k3k3v50v50m400s8FAIL118.48
Qq2k3k3v20v20m280s4FAIL118.5
Qq2k3k3v20v20m320s8FAIL119.19
Qq2k3k3v20v20m120s7SAT119.26
robots_1_5_3_80.2SAT119.37
Qq2k3k3v50v50m900s5FAIL119.75
Qq2k3k3v20v20m280s9FAIL120.07
Qq2k3k3v50v50m800s4FAIL120.3
Qq2k3k3v50v50m400s6FAIL121.13
Qq2k3k3v50v50m400s3FAIL121.29
Qq2k3k3v50v50m400s5FAIL121.9
ncf_8_16_4_u.4FAIL122.36
Qq2k3k3v50v50m500s3FAIL122.95
Qq2k3k3v50v50m500s1FAIL123.4
Qq2k3k3v50v50m900s7FAIL124.1
Qq2k3k3v50v50m500s7FAIL124.78
Qq2k3k3v50v50m900s9FAIL125
Qq2k3k3v20v20m360s4FAIL125.49
Qq2k3k3v50v50m500s10FAIL125.51
Qq2k3k3v50v50m400s2FAIL126.66
Qq2k3k3v20v20m360s6FAIL126.84
Qq2k3k3v20v20m280s7FAIL126.96
x30.7UNSAT127.87
Qq2k3k3v20v20m320s1FAIL129.28
Qq2k3k3v20v20m400s1FAIL129.55
Qq2k3k3v50v50m800s6FAIL129.87
Qq2k3k3v20v20m320s10FAIL129.87
Qq2k3k3v50v50m500s4FAIL129.9
Qq2k3k3v20v20m360s10FAIL130.36
Qq2k3k3v50v50m300s1FAIL130.8
Qq2k3k3v50v50m800s7FAIL131.39
ncf_16_32_8_euad.10FAIL131.68
Qq2k3k3v20v20m280s8FAIL132.63
Qq2k3k3v50v50m500s2FAIL133.96
Qq2k3k3v50v50m200s6FAIL134.11
Qq2k3k3v20v20m400s10FAIL134.18
Qq2k3k3v50v50m200s4FAIL134.19
Qq2k3k3v100v100m1400s2FAIL134.8
Qq2k3k3v20v20m240s9FAIL134.83
Qq2k3k3v50v50m800s3FAIL134.99
Qq2k3k3v100v100m1400s4FAIL135.44
Qq2k3k3v50v50m800s5FAIL135.46
Qq2k3k3v100v100m1400s8FAIL135.52
Qq2k3k3v100v100m1400s5FAIL136.3
Qq2k3k3v50v50m300s9FAIL136.77
Qq2k3k3v50v50m800s1FAIL137.34
Qq2k3k3v100v100m1400s1FAIL137.41
Qq2k3k3v20v20m320s2FAIL138.75
Qq2k3k3v100v100m1400s6FAIL138.93
Qq2k3k3v20v20m400s3FAIL139.97
Qq2k3k3v100v100m1600s4FAIL140.17
Qq2k3k3v100v100m1600s10FAIL140.17
Qq2k3k3v50v50m300s7FAIL140.17
ncf_8_16_4_edau.9FAIL140.18
Qq2k3k3v50v50m500s9FAIL141.09
Qq2k3k3v50v50m900s10FAIL141.31
Qq2k3k3v20v20m120s2SAT141.64
Qq2k3k3v100v100m1600s9FAIL141.91
Qq2k3k3v100v100m1600s6FAIL142.39
Qq2k3k3v50v50m300s3FAIL142.49
Qq2k3k3v100v100m1600s1FAIL142.68
Qq2k3k3v20v20m360s3FAIL144
Qq2k3k3v50v50m500s6FAIL144.36
Qq2k3k3v50v50m900s3FAIL144.41
ncf_16_32_8_euad.4FAIL145.16
Qq2k3k3v100v100m800s1FAIL145.67
Qq2k3k3v100v100m800s4FAIL145.81
Qq2k3k3v100v100m800s10FAIL145.92
ncf_8_16_4_d.7FAIL146.21
Qq2k3k3v100v100m800s9FAIL146.85
Qq2k3k3v100v100m800s8FAIL146.98
Qq2k3k3v50v50m900s2FAIL147.39
Qq2k3k3v20v20m360s8FAIL148.43
ncf_16_32_8_edau.5FAIL148.96
Qq2k3k3v100v100m800s5FAIL151.05
Qq2k3k3v50v50m200s8FAIL151.29
Qq2k3k3v50v50m200s10FAIL151.85
Qq2k3k3v100v100m1400s10FAIL152.49
x30.0UNSAT152.59
Qq2k3k3v50v50m300s2FAIL153.04
ncf_16_32_8_euad.3FAIL153.09
ncf_8_16_4_d.9FAIL153.24
Qq2k3k3v20v20m120s3SAT153.33
ncf_16_32_8_u.5FAIL154.25
Qq2k3k3v100v100m400s7FAIL154.5
Qq2k3k3v20v20m320s5FAIL154.5
Qq2k3k3v100v100m1800s10FAIL154.52
Qq2k3k3v20v20m280s2FAIL155.29
Qq2k3k3v100v100m1400s3FAIL155.74
Qq2k3k3v100v100m1400s9FAIL155.84
Qq2k3k3v100v100m1400s7FAIL157.14
ncf_8_16_4_euad.9FAIL158.47
Qq2k3k3v100v100m1800s9FAIL158.73
Qq2k3k3v50v50m200s5FAIL159.75
Qq2k3k3v100v100m1800s1FAIL159.97
Qq2k3k3v20v20m280s1FAIL160.17
Qq2k3k3v100v100m1600s2FAIL162.68
Qq2k3k3v100v100m1800s2FAIL162.97
Qq2k3k3v20v20m120s4SAT163.03
Qq2k3k3v100v100m1600s5FAIL163.79
Qq2k3k3v100v100m1600s3FAIL164.35
ncf_16_32_8_edau.9FAIL164.58
Qq2k3k3v100v100m1600s7FAIL164.87
Qq2k3k3v100v100m1000s1FAIL166.23
Qq2k3k3v50v50m200s1FAIL166.32
Qq2k3k3v100v100m1200s4FAIL166.65
Qq2k3k3v20v20m320s3FAIL166.77
Qq2k3k3v100v100m800s2FAIL166.8
ncf_8_16_4_u.9FAIL167.66
Qq2k3k3v100v100m800s6FAIL168.82
Qq2k3k3v100v100m1600s8FAIL169.25
Qq2k3k3v100v100m1000s4FAIL169.49
ncf_16_32_8_u.1FAIL169.94
Qq2k3k3v100v100m800s3FAIL170.05
Qq2k3k3v100v100m800s7FAIL170.07
Qq2k3k3v100v100m1000s9FAIL170.19
Qq2k3k3v100v100m400s8FAIL170.28
Qq2k3k3v100v100m1000s2FAIL170.33
Qq2k3k3v20v20m280s6FAIL171.6
ncf_16_32_8_u.4FAIL171.64
Qq2k3k3v100v100m1200s1FAIL174.77
Qq2k3k3v20v20m120s6SAT175.75
Qq2k3k3v100v100m2000s3FAIL176.9
Qq2k3k3v20v20m360s1FAIL178.2
Qq2k3k3v100v100m2000s7FAIL178.48
Qq2k3k3v100v100m2000s6FAIL178.58
Qq2k3k3v100v100m2000s4FAIL178.7
Qq2k3k3v100v100m2000s2FAIL179.14
Qq2k3k3v50v50m200s7FAIL179.35
Qq2k3k3v20v20m240s2FAIL179.95
ncf_16_32_8_u.6FAIL180.29
Qq2k3k3v100v100m1800s4FAIL180.64
Qq2k3k3v100v100m1800s7FAIL181.04
Qq2k3k3v20v20m240s5FAIL182.09
ncf_16_32_8_d.10FAIL182.94
Qq2k3k3v100v100m1800s5FAIL182.95
Qq2k3k3v20v20m120s10SAT184.08
Qq2k3k3v100v100m1800s3FAIL185.47
Qq2k3k3v100v100m1800s6FAIL185.6
Qq2k3k3v100v100m400s6FAIL186.1
Qq2k3k3v100v100m400s4FAIL186.98
Qq2k3k3v20v20m240s7FAIL186.98
Qq2k3k3v100v100m1800s8FAIL187.78
Qq2k3k3v20v20m120s1SAT189.24
Qq2k3k3v100v100m400s9FAIL189.24
ncf_8_16_4_u.3FAIL189.27
ncf_16_32_8_edau.1FAIL189.52
Qq2k3k3v20v20m280s5FAIL190.48
x30.2UNSAT190.84
Qq2k3k3v20v20m280s3FAIL190.96
Qq2k3k3v100v100m400s3FAIL191.9
Qq2k3k3v100v100m1000s6FAIL192.1
Qq2k3k3v20v20m120s9SAT192.28
Qq2k3k3v100v100m400s2FAIL192.28
Qq2k3k3v100v100m1200s2FAIL192.67
Qq2k3k3v100v100m1000s7FAIL192.74
Qq2k3k3v100v100m1200s3FAIL193.85
Qq2k3k3v100v100m400s1FAIL194.21
Qq2k3k3v100v100m600s10FAIL194.57
Qq2k3k3v100v100m1200s7FAIL194.58
Qq2k3k3v100v100m1000s10FAIL195.6
Qq2k3k3v100v100m1000s3FAIL196.41
Qq2k3k3v100v100m1000s5FAIL197.08
Qq2k3k3v100v100m1200s9FAIL197.43
Qq2k3k3v100v100m600s5FAIL197.72
Qq2k3k3v100v100m1200s5FAIL197.73
Qq2k3k3v50v50m200s3FAIL197.76
Qq2k3k3v100v100m600s7FAIL198.08
Qq2k3k3v100v100m1000s8FAIL198.52
Qq2k3k3v100v100m1200s10FAIL198.52
Qq2k3k3v100v100m1200s6FAIL199
Qq2k3k3v100v100m2000s10FAIL200.13
Qq2k3k3v100v100m1200s8FAIL200.49
Qq2k3k3v100v100m600s1FAIL200.54
Qq2k3k3v100v100m600s6FAIL200.72
Qq2k3k3v100v100m2000s9FAIL202.45
Qq2k3k3v100v100m2000s5FAIL202.53
Qq2k3k3v100v100m2000s1FAIL202.63
Qq2k3k3v100v100m2000s8FAIL203.14
ncf_16_32_8_d.2FAIL203.63
Qq2k3k3v50v50m200s2FAIL209.27
Qq2k3k3v20v20m120s8SAT210.78
Qq2k3k3v20v20m240s6FAIL216.34
Qq2k3k3v20v20m120s5SAT219.85
Qq2k3k3v100v100m600s8FAIL221.22
ncf_16_32_8_edau.10FAIL222.03
Qq2k3k3v100v100m600s9FAIL227.09
Qq2k3k3v100v100m600s3FAIL228.43
Qq2k3k3v100v100m600s2FAIL229.27
Qq2k3k3v100v100m600s4FAIL231.57
x30.1UNSAT233.56
Qq2k3k3v50v50m200s9FAIL245.24
Qq2k3k3v20v20m240s8FAIL246.94
ncf_8_16_4_d.3FAIL249.48
ncf_16_32_8_d.9FAIL253.94
x30.8UNSAT263.52
Qq2k3k3v20v20m240s10FAIL263.84
ncf_16_32_8_u.7FAIL263.87
ncf_16_32_8_euad.6FAIL271.47
ncf_16_32_8_euad.2FAIL275.73
Qq2k3k3v100v100m400s5FAIL280.14
Qq2k3k3v100v100m400s10FAIL282.72
ncf_16_32_8_euad.5FAIL284.97
ncf_16_32_8_euad.7FAIL299.86
ncf_16_32_8_u.9FAIL308.54
x30.3FAIL309.05
ncf_16_32_8_d.7FAIL309.24
x30.6FAIL322.28
ncf_16_32_8_euad.1FAIL323.99
ncf_8_16_4_edau.3FAIL329.6
ncf_16_32_8_edau.7FAIL338.01
x30.4FAIL354.58
x60.0FAIL359.93
x60.3FAIL365.67
ncf_16_32_8_d.1FAIL375.36
ncf_16_32_8_d.5FAIL379.55
x60.2FAIL383.71
ncf_16_32_8_edau.6FAIL410.96
Qq2k3k3v20v20m240s1FAIL420.66
ncf_16_32_8_u.10FAIL431.43
Qq2k3k3v20v20m240s4FAIL432.95
robots_1_5_3_24.4SAT442.54
x60.8FAIL447.78
x60.5FAIL451.45
Qq2k3k3v20v20m160s7SAT453.6
ncf_16_32_8_euad.9FAIL454.34
robots_1_5_5_12.4SAT454.62
robots_1_5_3_44.4SAT457.67
robots_1_5_4_91.4SAT458.32
robots_1_5_3_16.4SAT458.59
robots_1_5_5_30.4SAT459.27
robots_1_5_3_100.4SAT460.72
Qq2k3k3v20v20m200s9FAIL463.74
robots_1_5_3_20.4SAT463.91
robots_1_5_4_30.4SAT469.18
ncf_16_32_8_d.6FAIL471.66
robots_1_5_4_46.4SAT473.05
robots_1_5_4_31.4SAT475.11
robots_1_5_3_66.4SAT479.76
x60.7FAIL480.54
x60.6FAIL485.25
Qq2k3k3v20v20m200s6FAIL489.07
robots_1_5_4_87.4SAT490.8
robots_1_5_5_93.4SAT520.12
x60.9FAIL524.68
robots_1_5_4_50.4SAT525.32
Qq2k3k3v20v20m240s3FAIL525.9
robots_1_5_3_52.4SAT526.16
Qq2k3k3v20v20m160s3SAT526.28
robots_1_5_5_45.4SAT526.35
robots_1_5_5_26.4SAT531
robots_1_5_3_57.4SAT535.96
robots_1_5_4_98.4SAT536.29
robots_1_5_4_100.4SAT537.1
robots_1_5_5_66.4SAT538.19
robots_1_5_2_2.4SAT541.76
robots_1_5_5_34.4SAT545.34
robots_1_5_5_87.4SAT551.03
robots_1_5_3_78.4SAT551.21
robots_1_5_4_2.4SAT556.08
robots_1_5_2_80.4SAT556.43
x60.4FAIL557.66
Qq2k3k3v20v20m160s2SAT560.11
robots_1_5_4_51.4SAT564.94
Qq2k3k3v20v20m160s10SAT566.77
robots_1_5_5_8.4SAT569.1
Qq2k3k3v20v20m160s4SAT572.85
robots_1_5_5_100.4SAT574.83
S-adeu-9FAIL584.68
robots_1_5_2_3.4SAT601.47
robots_1_5_2_85.4SAT603.06
S-adeu-5FAIL607.23
S-adeu-6FAIL616.75
S-adeu-3FAIL623.11
robots_1_5_3_2.4SAT625
S-adeu-0FAIL625.22
Qq2k3k3v20v20m160s1SAT630.86
robots_1_5_2_82.4SAT659.84
S-adeu-2FAIL663.06
robots_1_5_2_39.4SAT674.88
Qq2k3k3v20v20m160s5SAT677.22
robots_1_5_2_21.4SAT686.94
S-edau-6FAIL703.4
S-edau-4FAIL707.49
Qq2k3k3v20v20m160s8SAT744.95
S-adeu-1FAIL745.12
S-adeu-7FAIL750.09
S-adeu-4FAIL757
x60.1FAIL776.02
S-edau-2FAIL779.07
S-edau-0FAIL782.02
Qq2k3k3v20v20m160s9SAT810.85
S-edau-9FAIL812.53
S-edau-8FAIL819.75
S-edau-1FAIL821.22
S-edau-3FAIL831.38
S-edau-5FAIL831.56
S-adeu-8FAIL837.78
S-edau-7FAIL842.52
robots_1_5_2_99.4SAT887.32
robots_1_5_2_45.4SAT903.33
ncf_16_32_8_u.2FAIL972.02
Qq2k3k3v20v20m160s6SAT997.25
Qq2k3k3v20v20m200s5FAIL1082.66
robots_1_5_2_100.4FAIL1149.05
robots_1_5_3_44.8FAIL1199.66
T-edau-0FAIL1200.13
x240.8FAIL1200.14
x240.4FAIL1200.14
robots_1_5_3_100.8FAIL1200.14
T-edau-6FAIL1200.15
x120.2FAIL1200.15
robots_1_5_3_90.8FAIL1200.15
robots_1_5_3_39.8FAIL1200.15
robots_1_5_2_9.8FAIL1200.15
robots_1_5_2_67.8FAIL1200.15
T-adeu-1FAIL1200.15
robots_1_5_3_55.8FAIL1200.15
robots_1_5_2_40.8FAIL1200.15
x120.5FAIL1200.15
robots_1_5_4_46.8FAIL1200.15
x240.7FAIL1200.15
x240.9FAIL1200.15
x240.3FAIL1200.15
x120.3FAIL1200.15
robots_1_5_4_17.8FAIL1200.15
x120.0FAIL1200.15
x120.4FAIL1200.15
robots_1_5_4_96.8FAIL1200.15
x120.1FAIL1200.15
robots_1_5_2_54.8FAIL1200.16
x240.5FAIL1200.16
robots_1_5_2_82.8FAIL1200.16
robots_1_5_5_10.8FAIL1200.16
T-edau-8FAIL1200.16
robots_1_5_4_99.8FAIL1200.16
T-adeu-0FAIL1200.16
T-adeu-2FAIL1200.16
T-adeu-3FAIL1200.16
robots_1_5_4_100.8FAIL1200.16
robots_1_5_2_75.8FAIL1200.16
T-adeu-6FAIL1200.16
T-adeu-7FAIL1200.16
robots_1_5_5_50.8FAIL1200.16
robots_1_5_5_5.8FAIL1200.16
robots_1_5_5_66.8FAIL1200.16
robots_1_5_5_99.8FAIL1200.16
robots_1_5_5_100.8FAIL1200.16
T-adeu-9FAIL1200.16
robots_1_5_4_24.8FAIL1200.16
T-edau-1FAIL1200.16
T-edau-4FAIL1200.16
robots_1_5_3_16.8FAIL1200.16
robots_1_5_2_100.8FAIL1200.16
robots_1_5_5_14.8FAIL1200.16
x120.6FAIL1200.16
x240.2FAIL1200.16
robots_1_5_2_32.8FAIL1200.16
x240.6FAIL1200.16
robots_1_5_4_75.8FAIL1200.16
robots_1_5_3_70.8FAIL1200.16
robots_1_5_2_61.8FAIL1200.16
T-adeu-5FAIL1200.16
T-edau-5FAIL1200.16
robots_1_5_4_91.8FAIL1200.16
robots_1_5_4_1.8FAIL1200.16
x240.1FAIL1200.16
x240.0FAIL1200.16
x120.8FAIL1200.16
x120.7FAIL1200.16
robots_1_5_5_33.8FAIL1200.16
robots_1_5_5_12.8FAIL1200.16
x120.9FAIL1200.16
robots_1_5_2_91.8FAIL1200.17
robots_1_5_5_95.8FAIL1200.17
robots_1_5_4_56.8FAIL1200.17
robots_1_5_3_64.8FAIL1200.17
robots_1_5_3_8.8FAIL1200.17
T-edau-2FAIL1200.17
T-edau-9FAIL1200.17
T-edau-3FAIL1200.17
T-edau-7FAIL1200.17
T-adeu-4FAIL1200.17
T-adeu-8FAIL1200.18
robots_1_5_3_27.8FAIL1200.18
ncf_8_16_4_euad.10FAIL1200.21
Qq2k3k3v20v20m200s2FAIL1200.23
Qq2k3k3v20v20m200s7FAIL1200.23
Qq2k3k3v20v20m200s8FAIL1200.23
Qq2k3k3v20v20m200s3FAIL1200.24
Qq2k3k3v20v20m200s4FAIL1200.24
Qq2k3k3v20v20m200s1FAIL1200.25
Qq2k3k3v20v20m200s10FAIL1200.26