Instances solved by QuBE7
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
ncf_8_16_4_d.10SAT0.01
Qq2k3k3v20v20m80s9SAT0.01
ncf_8_16_4_u.1SAT0.01
Qq2k3k3v20v20m80s6SAT0.01
Qq2k3k3v20v20m80s5SAT0.01
ncf_8_16_4_u.5UNSAT0.02
ncf_8_16_4_edau.4SAT0.02
ncf_8_16_4_edau.10SAT0.02
Qq2k3k3v20v20m80s1SAT0.02
Qq2k3k3v20v20m80s4SAT0.02
Qq2k3k3v20v20m80s3SAT0.02
ncf_8_16_4_d.6UNSAT0.02
Qq2k3k3v20v20m80s10SAT0.02
ncf_8_16_4_euad.1SAT0.02
ncf_8_16_4_edau.1SAT0.02
ncf_8_16_4_euad.5UNSAT0.02
ncf_8_16_4_u.10SAT0.02
Qq2k3k3v20v20m80s2SAT0.02
Qq2k3k3v20v20m80s8SAT0.02
ncf_8_16_4_d.4SAT0.02
ncf_8_16_4_edau.5UNSAT0.02
ncf_8_16_4_u.2UNSAT0.02
ncf_8_16_4_edau.6UNSAT0.02
Qq2k3k3v20v20m80s7SAT0.02
Qq2k3k3v20v20m120s3SAT0.02
ncf_8_16_4_d.5UNSAT0.02
ncf_8_16_4_d.2UNSAT0.03
ncf_8_16_4_d.1SAT0.03
ncf_8_16_4_euad.6UNSAT0.03
ncf_8_16_4_edau.2UNSAT0.03
ncf_8_16_4_edau.8UNSAT0.03
ncf_8_16_4_euad.10SAT0.03
ncf_8_16_4_u.6UNSAT0.03
ncf_8_16_4_euad.2UNSAT0.03
ncf_8_16_4_d.8UNSAT0.03
Qq2k3k3v20v20m120s2SAT0.04
Qq2k3k3v20v20m400s6UNSAT0.04
ncf_8_16_4_u.8UNSAT0.04
ncf_8_16_4_euad.8UNSAT0.04
Qq2k3k3v20v20m120s5SAT0.04
Qq2k3k3v20v20m120s7SAT0.04
Qq2k3k3v20v20m120s6SAT0.04
Qq2k3k3v20v20m120s10SAT0.04
Qq2k3k3v20v20m120s4SAT0.05
Qq2k3k3v20v20m120s1SAT0.05
Qq2k3k3v20v20m120s9SAT0.06
Qq2k3k3v20v20m360s6UNSAT0.06
ncf_8_16_4_edau.9UNSAT0.07
ncf_8_16_4_d.9UNSAT0.07
ncf_8_16_4_d.3SAT0.07
Qq2k3k3v20v20m120s8SAT0.07
ncf_8_16_4_edau.3SAT0.08
ncf_16_32_8_edau.4SAT0.08
ncf_16_32_8_d.4SAT0.09
ncf_16_32_8_d.8UNSAT0.09
ncf_16_32_8_edau.8UNSAT0.09
Qq2k3k3v20v20m400s4UNSAT0.09
ncf_16_32_8_euad.4SAT0.09
Qq2k3k3v20v20m160s3SAT0.1
ncf_16_32_8_d.3SAT0.1
ncf_16_32_8_u.4SAT0.1
ncf_16_32_8_edau.3SAT0.1
ncf_16_32_8_edau.10SAT0.11
ncf_16_32_8_d.10SAT0.12
ncf_8_16_4_euad.4SAT0.12
ncf_8_16_4_u.4SAT0.13
ncf_16_32_8_u.8UNSAT0.17
ncf_16_32_8_euad.8UNSAT0.18
Qq2k3k3v20v20m160s7SAT0.18
Qq2k3k3v20v20m160s1SAT0.24
x30.7UNSAT0.24
x30.2UNSAT0.24
Qq2k3k3v20v20m360s2UNSAT0.24
Qq2k3k3v20v20m400s8UNSAT0.25
x30.5UNSAT0.26
ncf_8_16_4_u.9UNSAT0.29
x30.9UNSAT0.31
x30.8UNSAT0.32
x30.4SAT0.33
x30.0UNSAT0.34
x30.3SAT0.34
Qq2k3k3v20v20m160s5SAT0.34
ncf_8_16_4_euad.9UNSAT0.34
Qq2k3k3v50v50m200s7SAT0.35
Qq2k3k3v20v20m160s10SAT0.35
x30.1UNSAT0.36
x30.6SAT0.37
ncf_8_16_4_u.7SAT0.38
Qq2k3k3v20v20m400s2UNSAT0.38
ncf_8_16_4_edau.7SAT0.39
ncf_16_32_8_edau.2UNSAT0.4
ncf_8_16_4_d.7SAT0.4
Qq2k3k3v20v20m160s9SAT0.4
Qq2k3k3v20v20m160s4SAT0.4
Qq2k3k3v20v20m160s8SAT0.42
Qq2k3k3v20v20m400s5UNSAT0.44
Qq2k3k3v20v20m160s2SAT0.44
Qq2k3k3v20v20m160s6SAT0.61
ncf_16_32_8_d.2UNSAT0.75
Qq2k3k3v20v20m360s9UNSAT0.77
Qq2k3k3v50v50m200s10SAT0.77
Qq2k3k3v20v20m200s3SAT0.84
ncf_8_16_4_euad.3SAT0.85
Qq2k3k3v20v20m400s10UNSAT0.93
x60.4UNSAT0.96
Qq2k3k3v20v20m360s5UNSAT0.96
ncf_8_16_4_u.3SAT1.04
Qq2k3k3v50v50m200s9SAT1.07
x60.9UNSAT1.11
Qq2k3k3v20v20m400s1UNSAT1.19
Qq2k3k3v50v50m200s8SAT1.2
x60.1UNSAT1.2
x60.6UNSAT1.22
Qq2k3k3v50v50m200s3SAT1.22
x60.0UNSAT1.24
x60.3UNSAT1.25
Qq2k3k3v20v20m200s7SAT1.33
x60.7UNSAT1.43
ncf_8_16_4_euad.7SAT1.56
Qq2k3k3v20v20m400s7UNSAT1.57
x60.5UNSAT1.58
ncf_16_32_8_euad.10SAT1.63
Qq2k3k3v20v20m400s9UNSAT1.68
x60.8UNSAT1.75
ncf_16_32_8_u.3SAT1.82
Qq2k3k3v20v20m360s10UNSAT1.84
Qq2k3k3v20v20m200s8SAT1.84
Qq2k3k3v20v20m360s1UNSAT1.89
Qq2k3k3v50v50m200s1SAT1.93
T-adeu-5UNSAT1.94
ncf_16_32_8_euad.3SAT1.98
T-adeu-1UNSAT1.99
Qq2k3k3v20v20m200s1SAT1.99
S-adeu-4UNSAT2.02
S-edau-4UNSAT2.07
x60.2UNSAT2.14
T-adeu-0UNSAT2.14
T-edau-7UNSAT2.15
S-edau-5UNSAT2.2
T-adeu-9UNSAT2.2
T-adeu-4UNSAT2.21
T-adeu-7UNSAT2.23
S-edau-7UNSAT2.24
S-adeu-5UNSAT2.24
T-adeu-2UNSAT2.3
T-adeu-3UNSAT2.31
Qq2k3k3v50v50m200s4SAT2.32
S-edau-8UNSAT2.35
Qq2k3k3v20v20m200s5SAT2.36
T-adeu-8UNSAT2.36
S-adeu-8UNSAT2.37
Qq2k3k3v20v20m200s9SAT2.37
S-adeu-0UNSAT2.38
S-adeu-1UNSAT2.4
S-adeu-2UNSAT2.42
Qq2k3k3v50v50m200s6SAT2.43
Qq2k3k3v20v20m360s4UNSAT2.52
S-adeu-9UNSAT2.62
S-adeu-3UNSAT2.67
S-adeu-7UNSAT2.7
S-adeu-6UNSAT2.75
Qq2k3k3v20v20m200s2SAT2.83
Qq2k3k3v20v20m200s4SAT2.92
T-edau-5UNSAT3.05
Qq2k3k3v20v20m360s7UNSAT3.08
Qq2k3k3v20v20m320s4UNSAT3.32
T-edau-8UNSAT3.39
S-edau-2UNSAT3.5
Qq2k3k3v20v20m200s10SAT3.53
S-edau-3UNSAT3.54
x120.2UNSAT3.73
Qq2k3k3v20v20m200s6SAT3.8
robots_1_5_2_85.2SAT3.82
S-edau-1UNSAT3.92
S-edau-0UNSAT3.96
x120.5UNSAT4.02
T-edau-4UNSAT4.05
S-edau-9UNSAT4.06
T-edau-0UNSAT4.34
Qq2k3k3v50v50m200s2SAT4.38
T-edau-6UNSAT4.76
S-edau-6UNSAT4.76
T-edau-3UNSAT4.84
T-edau-1UNSAT5.26
Qq2k3k3v20v20m240s7SAT5.46
T-edau-9UNSAT5.48
T-adeu-6UNSAT5.53
robots_1_5_4_73.2SAT5.6
robots_1_5_4_75.2SAT5.63
robots_1_5_5_75.2SAT5.71
T-edau-2UNSAT5.86
Qq2k3k3v20v20m240s3SAT6.11
Qq2k3k3v20v20m320s6UNSAT6.86
robots_1_5_2_31.2SAT7.08
ncf_16_32_8_edau.6SAT7.23
Qq2k3k3v50v50m200s5SAT7.54
Qq2k3k3v20v20m240s1SAT7.57
x120.0UNSAT7.58
x120.3UNSAT8.82
robots_1_5_2_100.2SAT9.97
Qq2k3k3v20v20m280s1SAT11
robots_1_5_4_100.2SAT11.27
Qq2k3k3v20v20m240s2SAT11.58
Qq2k3k3v20v20m240s9SAT11.84
robots_1_5_2_33.2SAT12.06
robots_1_5_3_52.2SAT12.11
Qq2k3k3v20v20m240s4SAT12.45
Qq2k3k3v20v20m240s8SAT12.8
Qq2k3k3v20v20m240s5SAT13.19
x120.9UNSAT13.24
Qq2k3k3v20v20m320s9UNSAT13.57
robots_1_5_2_49.2SAT13.87
Qq2k3k3v20v20m240s10SAT13.92
robots_1_5_2_47.2SAT14.17
ncf_16_32_8_d.6SAT14.3
Qq2k3k3v20v20m240s6SAT14.54
Qq2k3k3v20v20m360s3UNSAT14.73
robots_1_5_2_85.4SAT14.88
robots_1_5_5_38.2SAT15.01
robots_1_5_5_15.2SAT15.11
robots_1_5_5_56.2SAT15.12
Qq2k3k3v20v20m360s8UNSAT15.42
Qq2k3k3v20v20m280s7SAT15.46
robots_1_5_2_81.2SAT15.47
x120.8UNSAT15.68
Qq2k3k3v20v20m320s8UNSAT18.69
Qq2k3k3v20v20m280s3SAT20.2
Qq2k3k3v20v20m400s3UNSAT20.45
Qq2k3k3v20v20m320s2UNSAT20.48
robots_1_5_3_44.4SAT23.53
Qq2k3k3v20v20m280s9SAT23.74
robots_1_5_2_80.4SAT24.03
ncf_16_32_8_d.7SAT24.22
robots_1_5_2_2.4SAT24.41
robots_1_5_5_24.2SAT24.88
x120.7UNSAT26.82
Qq2k3k3v20v20m280s6SAT28.47
robots_1_5_5_61.2SAT29.09
robots_1_5_2_100.4SAT30.07
x120.6UNSAT30.31
Qq2k3k3v20v20m280s5SAT30.79
robots_1_5_3_100.4SAT31.75
Qq2k3k3v20v20m280s4SAT31.83
Qq2k3k3v20v20m280s2SAT33.65
Qq2k3k3v20v20m280s10SAT33.74
Qq2k3k3v20v20m320s7UNSAT33.93
robots_1_5_2_99.4SAT34.2
Qq2k3k3v20v20m280s8SAT34.39
Qq2k3k3v20v20m320s1SAT35.19
ncf_16_32_8_euad.6SAT35.78
robots_1_5_4_44.2SAT37.53
ncf_16_32_8_u.10SAT39.37
Qq2k3k3v20v20m320s3SAT43.22
x120.4UNSAT44.75
x120.1UNSAT45.43
robots_1_5_5_31.2SAT49.06
robots_1_5_4_81.2SAT49.92
robots_1_5_5_87.4SAT49.94
robots_1_5_2_75.8SAT53.26
Qq2k3k3v20v20m320s10SAT53.54
robots_1_5_4_31.4SAT54.23
robots_1_5_4_52.2SAT56.02
robots_1_5_3_44.8UNSAT57.6
ncf_16_32_8_d.1FAIL58.56
ncf_16_32_8_u.6SAT60.28
robots_1_5_4_32.2SAT60.7
Qq2k3k3v20v20m320s5SAT61.97
robots_1_5_5_97.2SAT63.11
robots_1_5_2_28.2SAT64.11
robots_1_5_4_71.2SAT64.65
robots_1_5_4_22.2SAT64.73
robots_1_5_3_100.2SAT64.76
robots_1_5_5_66.4SAT65.57
robots_1_5_3_64.8UNSAT66.19
robots_1_5_5_62.2SAT66.87
robots_1_5_4_59.2SAT68.37
robots_1_5_3_7.2SAT68.4
robots_1_5_3_30.2SAT69.8
robots_1_5_3_91.2SAT71.12
robots_1_5_5_10.8UNSAT77.31
robots_1_5_5_26.4SAT86.67
robots_1_5_5_99.8UNSAT90.7
robots_1_5_4_17.8UNSAT91.99
robots_1_5_5_12.4SAT93.69
robots_1_5_3_80.2SAT94.2
robots_1_5_3_51.2SAT103.65
robots_1_5_5_100.8UNSAT119.35
robots_1_5_2_9.8UNSAT119.94
robots_1_5_3_52.4SAT122.14
robots_1_5_3_24.4SAT122.76
robots_1_5_3_66.4SAT123.08
robots_1_5_3_26.2SAT123.45
robots_1_5_3_20.4SAT125.99
robots_1_5_4_100.4SAT133.9
robots_1_5_4_96.8UNSAT138.72
robots_1_5_4_87.4SAT148.66
robots_1_5_3_2.4SAT149.02
robots_1_5_3_16.8UNSAT150.37
ncf_16_32_8_edau.7SAT150.95
robots_1_5_2_39.4SAT152.28
robots_1_5_2_21.4SAT155.91
robots_1_5_2_91.8SAT164.69
robots_1_5_3_25.2SAT165.5
robots_1_5_3_62.2SAT169.1
robots_1_5_3_100.8UNSAT169.43
robots_1_5_2_82.8UNSAT169.61
robots_1_5_4_2.4SAT169.82
robots_1_5_4_30.4SAT180.6
robots_1_5_3_55.8UNSAT199.9
robots_1_5_3_57.4SAT200.15
robots_1_5_5_66.8SAT200.34
ncf_16_32_8_u.5UNSAT204.58
robots_1_5_4_51.4SAT205.24
robots_1_5_2_100.8SAT205.54
robots_1_5_5_100.4SAT206.22
robots_1_5_5_100.2SAT207.14
robots_1_5_5_8.4SAT207.96
robots_1_5_4_50.4SAT208.06
robots_1_5_2_3.4SAT209.93
robots_1_5_3_16.4SAT214.76
robots_1_5_5_45.4SAT219.24
robots_1_5_5_5.8UNSAT226.07
robots_1_5_4_99.8UNSAT227.78
robots_1_5_4_1.8UNSAT232.4
robots_1_5_4_46.4SAT247.03
robots_1_5_3_8.8UNSAT253.42
robots_1_5_3_39.8SAT253.78
robots_1_5_4_98.4SAT256.08
robots_1_5_5_30.4SAT261.56
robots_1_5_4_91.4SAT264.29
robots_1_5_3_70.8UNSAT266.6
robots_1_5_5_95.8UNSAT280.84
robots_1_5_5_34.4SAT285.93
robots_1_5_2_67.8SAT317.38
robots_1_5_4_24.8UNSAT321.08
robots_1_5_4_46.8UNSAT338.32
robots_1_5_5_14.8UNSAT339.64
robots_1_5_2_61.8UNSAT345.81
robots_1_5_2_54.8SAT347.41
robots_1_5_3_78.4SAT370.96
robots_1_5_4_91.8UNSAT391.59
x240.5UNSAT392.26
robots_1_5_2_10.2SAT402.08
robots_1_5_5_50.8UNSAT407.23
ncf_16_32_8_edau.5UNSAT413.08
robots_1_5_2_45.4SAT413.96
robots_1_5_2_14.2SAT423.14
robots_1_5_2_82.4SAT446
robots_1_5_5_93.4SAT461.55
x240.9UNSAT471.2
robots_1_5_5_12.8UNSAT499.04
ncf_16_32_8_d.5UNSAT500.52
robots_1_5_4_56.8UNSAT604.3
robots_1_5_4_75.8UNSAT719.17
robots_1_5_3_27.8UNSAT724.99
robots_1_5_3_90.8UNSAT853.72
robots_1_5_5_33.8UNSAT902.03
robots_1_5_4_100.8UNSAT902.4
ncf_16_32_8_euad.5UNSAT1020.4
robots_1_5_2_32.8SAT1169.02
Qq2k3k3v50v50m1000s5FAIL1200.01
Qq2k3k3v100v100m400s7FAIL1200.01
robots_1_5_2_40.8FAIL1200.01
Qq2k3k3v50v50m700s4FAIL1200.01
Qq2k3k3v100v100m400s5FAIL1200.01
Qq2k3k3v50v50m600s1FAIL1200.01
Qq2k3k3v50v50m900s1FAIL1200.01
Qq2k3k3v100v100m400s4FAIL1200.01
Qq2k3k3v50v50m800s10FAIL1200.01
Qq2k3k3v50v50m700s6FAIL1200.01
Qq2k3k3v50v50m700s3FAIL1200.01
Qq2k3k3v50v50m400s8FAIL1200.01
Qq2k3k3v100v100m400s2FAIL1200.01
Qq2k3k3v50v50m900s3FAIL1200.01
Qq2k3k3v50v50m600s8FAIL1200.01
Qq2k3k3v50v50m900s2FAIL1200.01
Qq2k3k3v50v50m400s3FAIL1200.01
Qq2k3k3v50v50m300s10FAIL1200.01
Qq2k3k3v100v100m400s1FAIL1200.01
Qq2k3k3v50v50m400s1FAIL1200.01
Qq2k3k3v50v50m300s1FAIL1200.01
Qq2k3k3v100v100m1600s8FAIL1200.02
Qq2k3k3v100v100m1200s9FAIL1200.02
Qq2k3k3v100v100m2000s1FAIL1200.02
Qq2k3k3v100v100m1200s7FAIL1200.02
Qq2k3k3v50v50m1000s9FAIL1200.02
Qq2k3k3v50v50m800s1FAIL1200.02
Qq2k3k3v50v50m800s5FAIL1200.02
Qq2k3k3v50v50m800s3FAIL1200.02
Qq2k3k3v100v100m1200s5FAIL1200.02
Qq2k3k3v50v50m500s7FAIL1200.02
Qq2k3k3v100v100m600s4FAIL1200.02
Qq2k3k3v50v50m600s3FAIL1200.02
Qq2k3k3v100v100m1600s7FAIL1200.02
Qq2k3k3v50v50m300s3FAIL1200.02
Qq2k3k3v100v100m800s3FAIL1200.02
Qq2k3k3v100v100m1000s10FAIL1200.02
Qq2k3k3v100v100m1000s7FAIL1200.02
Qq2k3k3v100v100m600s9FAIL1200.02
Qq2k3k3v50v50m900s10FAIL1200.02
Qq2k3k3v100v100m1000s5FAIL1200.02
Qq2k3k3v50v50m700s1FAIL1200.02
Qq2k3k3v50v50m500s6FAIL1200.02
Qq2k3k3v50v50m800s6FAIL1200.02
Qq2k3k3v50v50m900s9FAIL1200.02
Qq2k3k3v100v100m600s6FAIL1200.02
Qq2k3k3v50v50m500s8FAIL1200.02
Qq2k3k3v50v50m500s3FAIL1200.02
Qq2k3k3v50v50m900s8FAIL1200.02
Qq2k3k3v50v50m500s4FAIL1200.02
Qq2k3k3v100v100m800s8FAIL1200.02
Qq2k3k3v50v50m700s2FAIL1200.02
Qq2k3k3v100v100m800s9FAIL1200.02
Qq2k3k3v50v50m600s9FAIL1200.02
Qq2k3k3v100v100m800s2FAIL1200.02
Qq2k3k3v50v50m900s5FAIL1200.02
Qq2k3k3v100v100m2000s7FAIL1200.02
Qq2k3k3v50v50m800s9FAIL1200.02
Qq2k3k3v100v100m800s1FAIL1200.02
x240.3FAIL1200.02
Qq2k3k3v50v50m300s9FAIL1200.02
x240.7FAIL1200.02
Qq2k3k3v100v100m1800s1FAIL1200.02
Qq2k3k3v50v50m700s10FAIL1200.02
Qq2k3k3v50v50m600s6FAIL1200.02
Qq2k3k3v100v100m1000s2FAIL1200.02
Qq2k3k3v50v50m300s8FAIL1200.02
Qq2k3k3v50v50m500s1FAIL1200.02
Qq2k3k3v50v50m700s5FAIL1200.02
Qq2k3k3v100v100m400s9FAIL1200.02
ncf_16_32_8_euad.9FAIL1200.02
Qq2k3k3v50v50m800s4FAIL1200.02
Qq2k3k3v50v50m900s6FAIL1200.02
Qq2k3k3v50v50m500s5FAIL1200.02
Qq2k3k3v50v50m1000s6FAIL1200.02
Qq2k3k3v50v50m800s8FAIL1200.02
Qq2k3k3v100v100m2000s4FAIL1200.02
Qq2k3k3v100v100m600s2FAIL1200.02
Qq2k3k3v100v100m600s10FAIL1200.02
Qq2k3k3v50v50m400s9FAIL1200.02
Qq2k3k3v50v50m700s9FAIL1200.02
Qq2k3k3v50v50m400s6FAIL1200.02
Qq2k3k3v50v50m300s2FAIL1200.02
Qq2k3k3v50v50m1000s1FAIL1200.02
Qq2k3k3v50v50m1000s8FAIL1200.02
Qq2k3k3v50v50m500s9FAIL1200.02
Qq2k3k3v50v50m600s2FAIL1200.02
Qq2k3k3v100v100m1600s1FAIL1200.02
Qq2k3k3v100v100m1600s10FAIL1200.02
Qq2k3k3v50v50m1000s2FAIL1200.02
Qq2k3k3v100v100m600s3FAIL1200.02
Qq2k3k3v50v50m600s10FAIL1200.02
Qq2k3k3v100v100m400s8FAIL1200.02
Qq2k3k3v100v100m800s6FAIL1200.02
Qq2k3k3v100v100m600s7FAIL1200.02
Qq2k3k3v50v50m900s7FAIL1200.02
Qq2k3k3v100v100m1400s6FAIL1200.02
Qq2k3k3v100v100m800s4FAIL1200.02
Qq2k3k3v50v50m900s4FAIL1200.02
Qq2k3k3v50v50m400s4FAIL1200.02
Qq2k3k3v100v100m1000s4FAIL1200.02
Qq2k3k3v100v100m1600s3FAIL1200.02
Qq2k3k3v100v100m1800s7FAIL1200.02
Qq2k3k3v50v50m600s5FAIL1200.02
Qq2k3k3v100v100m1400s10FAIL1200.02
Qq2k3k3v100v100m2000s8FAIL1200.02
Qq2k3k3v100v100m800s7FAIL1200.02
Qq2k3k3v100v100m1800s4FAIL1200.02
Qq2k3k3v100v100m400s3FAIL1200.02
Qq2k3k3v50v50m700s7FAIL1200.02
Qq2k3k3v100v100m1400s4FAIL1200.02
Qq2k3k3v100v100m1000s9FAIL1200.02
Qq2k3k3v50v50m400s10FAIL1200.02
Qq2k3k3v50v50m600s4FAIL1200.02
Qq2k3k3v100v100m1200s1FAIL1200.02
Qq2k3k3v50v50m700s8FAIL1200.02
Qq2k3k3v100v100m1800s10FAIL1200.02
Qq2k3k3v100v100m2000s9FAIL1200.02
Qq2k3k3v100v100m1200s3FAIL1200.02
Qq2k3k3v50v50m300s6FAIL1200.02
Qq2k3k3v100v100m1800s3FAIL1200.02
ncf_16_32_8_u.7FAIL1200.02
Qq2k3k3v50v50m1000s10FAIL1200.02
Qq2k3k3v100v100m1600s4FAIL1200.02
Qq2k3k3v100v100m800s5FAIL1200.02
Qq2k3k3v50v50m800s7FAIL1200.02
Qq2k3k3v100v100m1800s8FAIL1200.02
Qq2k3k3v50v50m400s2FAIL1200.02
Qq2k3k3v100v100m600s8FAIL1200.02
Qq2k3k3v100v100m1000s6FAIL1200.02
Qq2k3k3v100v100m1000s3FAIL1200.02
Qq2k3k3v50v50m300s5FAIL1200.02
Qq2k3k3v50v50m500s2FAIL1200.02
Qq2k3k3v50v50m300s7FAIL1200.02
Qq2k3k3v100v100m400s10FAIL1200.02
Qq2k3k3v50v50m300s4FAIL1200.02
Qq2k3k3v50v50m1000s7FAIL1200.02
Qq2k3k3v50v50m1000s4FAIL1200.02
Qq2k3k3v50v50m600s7FAIL1200.02
Qq2k3k3v50v50m800s2FAIL1200.02
Qq2k3k3v50v50m400s5FAIL1200.02
x240.0FAIL1200.03
Qq2k3k3v100v100m1400s9FAIL1200.03
Qq2k3k3v100v100m2000s10FAIL1200.03
x240.8FAIL1200.03
Qq2k3k3v100v100m1000s8FAIL1200.03
Qq2k3k3v100v100m1400s1FAIL1200.03
ncf_16_32_8_euad.7FAIL1200.03
Qq2k3k3v100v100m1600s5FAIL1200.03
Qq2k3k3v100v100m2000s5FAIL1200.03
Qq2k3k3v100v100m1200s2FAIL1200.03
Qq2k3k3v100v100m1600s2FAIL1200.03
Qq2k3k3v100v100m400s6FAIL1200.03
Qq2k3k3v100v100m1400s5FAIL1200.03
Qq2k3k3v100v100m1400s8FAIL1200.03
Qq2k3k3v50v50m400s7FAIL1200.03
Qq2k3k3v100v100m1800s9FAIL1200.03
x240.4FAIL1200.03
Qq2k3k3v100v100m1600s9FAIL1200.03
Qq2k3k3v100v100m1800s5FAIL1200.03
Qq2k3k3v100v100m1200s4FAIL1200.03
Qq2k3k3v100v100m1200s6FAIL1200.03
Qq2k3k3v50v50m1000s3FAIL1200.03
Qq2k3k3v100v100m1800s2FAIL1200.03
Qq2k3k3v100v100m1800s6FAIL1200.03
Qq2k3k3v100v100m2000s3FAIL1200.03
Qq2k3k3v100v100m1400s7FAIL1200.03
Qq2k3k3v50v50m500s10FAIL1200.03
Qq2k3k3v100v100m600s1FAIL1200.03
Qq2k3k3v100v100m1400s2FAIL1200.03
Qq2k3k3v100v100m1200s8FAIL1200.03
Qq2k3k3v100v100m600s5FAIL1200.03
Qq2k3k3v100v100m1200s10FAIL1200.03
Qq2k3k3v100v100m1400s3FAIL1200.03
ncf_16_32_8_u.9FAIL1200.03
Qq2k3k3v100v100m2000s6FAIL1200.03
Qq2k3k3v100v100m800s10FAIL1200.03
Qq2k3k3v100v100m1600s6FAIL1200.03
Qq2k3k3v100v100m2000s2FAIL1200.04
x240.6FAIL1200.04
Qq2k3k3v100v100m1000s1FAIL1200.04
ncf_16_32_8_edau.9FAIL1200.04
x240.1FAIL1200.04
x240.2FAIL1200.04
ncf_16_32_8_u.1FAIL1200.04
ncf_16_32_8_edau.1FAIL1200.06
ncf_16_32_8_u.2FAIL1200.06
ncf_16_32_8_euad.1FAIL1200.06
ncf_16_32_8_d.9FAIL1200.06
ncf_16_32_8_euad.2FAIL1200.06