Instances solved by AIGSolve
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
hex_hein_4x4_04SAT0.04
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT0.43
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT0.46
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT0.47
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT0.49
hex_hein_7x7_18SAT7.59
klieber2017q-078-19-t1UNSAT80.49
klieber2017q-074-18-eqSAT91.03
klieber2017q-074-18-t1UNSAT98.12
klieber2017q-084-21-t1UNSAT114.01
klieber2017q-076-19-t1UNSAT123.23
klieber2017q-082-20-t1UNSAT130.58
klieber2017q-086-21-t1UNSAT132.6
klieber2017q-076-19-eqSAT137.73
klieber2017q-080-20-t1UNSAT185.93
klieber2017q-078-19-eqSAT186.89
Q_3-3-3_v-100-100-100_r-30.5SAT320.91
klieber2017q-082-20-eqSAT430.47
klieber2017q-080-20-eqSAT447.67
ttt_5x5-shape-2-GTTT-2-2-torus-0FAIL581.31
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL591.68
Q_2-3_v-80-100_r-5.8FAIL594.25
Q_3-3_v-100-100_r-19.1FAIL603.32
ttt_5x5-shape-2-GTTT-1-1-torus-0FAIL605.67
Q_3-3_v-100-100_r-17.8FAIL622.49
Q_3-3_v-100-100_r-17.2FAIL622.53
klieber2017q-108-27-t1FAIL626.73
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL645.05
Q_2-3_v-80-100_r-9.3FAIL646.29
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL654.95
Q_3-3_v-100-100_r-19.2FAIL661.58
ttt_5x5-shape-2-GTTT-1-2-torus-0FAIL662.49
Q_2-3_v-80-100_r-11.2FAIL672.75
Q_3-3_v-100-100_r-19.9FAIL684.71
Q_3-3_v-100-100_r-13.1FAIL689.63
Q_3-3_v-100-100_r-19.7FAIL702.53
ttt_5x5-shape-3-GTTT-1-2-torus-0FAIL703.66
klieber2017q-096-24-t1FAIL708.05
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL711.6
ttt_5x5-shape-7-GTTT-2-1-torus-1FAIL717.78
Q_2-3_v-80-100_r-5.2FAIL722.67
Q_2-3_v-80-100_r-5.0FAIL722.79
Q_2-3_v-80-100_r-7.4FAIL723.88
Q_3-3_v-100-100_r-15.0FAIL724.67
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL725.39
Q_3-3_v-100-100_r-15.2FAIL726.64
Q_2-3_v-80-100_r-5.7FAIL731.29
Q_3-3_v-100-100_r-13.4FAIL732.34
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.aspFAIL732.35
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL732.38
Q_2-3_v-80-100_r-7.9FAIL735.34
ttt_5x5-shape-6-GTTT-1-2-torus-1FAIL738.26
Q_3-3_v-100-100_r-15.7FAIL738.42
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL744.7
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL744.85
ttt_5x5-shape-7-GTTT-1-2-torus-0FAIL746.4
klieber2017q-088-22-t1FAIL748.75
Q_3-3_v-100-100_r-11.6FAIL748.88
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL753.12
Q_2-3_v-80-100_r-7.1FAIL754.81
Q_3-3_v-100-100_r-17.1FAIL756.49
Q_2-3_v-80-100_r-5.5FAIL757.67
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.aspFAIL758.15
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL758.96
klieber2017q-100-25-eqFAIL759.37
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspFAIL761.54
Q_3-3_v-100-100_r-17.7FAIL761.68
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL762.54
klieber2017q-096-24-eqFAIL765.09
ttt_5x5-shape-7-GTTT-1-1-torus-0FAIL765.1
Q_3-3_v-100-100_r-15.6FAIL766.01
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.aspFAIL766.54
Q_2-3_v-80-100_r-11.4FAIL766.8
Q_2-3_v-80-100_r-9.0FAIL768.54
Q_3-3_v-100-100_r-19.4FAIL769.86
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspFAIL770.03
Q_2-3_v-80-100_r-7.8FAIL772.88
Q_3-3_v-100-100_r-15.5FAIL773.15
ttt_5x5-shape-3-GTTT-2-2-torus-0FAIL773.33
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.aspFAIL773.9
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL776.31
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.aspFAIL777.2
Q_3-3_v-100-100_r-13.2FAIL784.76
Q_3-3_v-100-100_r-15.1FAIL785.03
Q_3-3_v-100-100_r-19.8FAIL785.05
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspFAIL785.82
Q_3-3_v-100-100_r-17.0FAIL785.99
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL794.92
klieber2017q-084-21-eqFAIL794.94
Q_3-3_v-100-100_r-19.6FAIL796.25
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL796.83
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspFAIL797.17
Q_2-3_v-80-100_r-7.5FAIL798.63
ttt_5x5-shape-4-GTTT-1-2-torus-1FAIL802.11
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL805.65
klieber2017q-100-25-t1FAIL805.98
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.aspFAIL806.03
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL806.6
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspFAIL807.6
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspFAIL809.82
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL810
ttt_5x5-shape-5-GTTT-1-2-torus-1FAIL810.69
ttt_5x5-shape-5-GTTT-2-1-torus-1FAIL812.74
Q_2-3_v-80-100_r-5.3FAIL813.4
Q_2-3_v-80-100_r-13.1FAIL814.01
ttt_5x5-shape-7-GTTT-1-2-torus-1FAIL814.7
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.aspFAIL814.72
ttt_5x5-shape-5-GTTT-1-1-torus-1FAIL815.34
ttt_5x5-shape-2-GTTT-2-1-torus-1FAIL816.17
Q_3-3_v-100-100_r-17.5FAIL817.29
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL818.24
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL819.01
ttt_5x5-shape-6-GTTT-2-1-torus-1FAIL821.26
Q_3-3_v-100-100_r-13.3FAIL823.73
Q_3-3_v-100-100_r-15.8FAIL824
Q_3-3_v-100-100_r-15.4FAIL825.44
Q_2-3_v-80-100_r-9.4FAIL826.65
ttt_5x5-shape-5-GTTT-2-2-torus-1FAIL827.4
Q_2-3_v-80-100_r-13.5FAIL829.97
klieber2017q-092-23-t1FAIL830.85
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL831.99
ttt_5x5-shape-2-GTTT-1-1-torus-1FAIL832.5
Q_3-3_v-100-100_r-19.3FAIL834.46
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL834.51
ttt_5x5-shape-3-GTTT-1-2-torus-1FAIL834.82
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL834.9
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspFAIL835.55
Q_3-3_v-100-100_r-15.3FAIL836.92
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.aspFAIL837.17
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.aspFAIL839.17
ttt_5x5-shape-6-GTTT-1-1-torus-1FAIL839.6
Q_2-3_v-80-100_r-5.9FAIL839.91
Q_2-3_v-80-100_r-5.4FAIL840.2
ttt_5x5-shape-2-GTTT-2-2-torus-1FAIL840.67
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL844.72
klieber2017q-086-21-eqFAIL845.68
ttt_5x5-shape-3-GTTT-1-1-torus-1FAIL848.72
robots_1_5_2_65.8FAIL849.99
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.aspFAIL851.49
Q_3-3_v-100-100_r-11.1FAIL852.46
ttt_5x5-shape-7-GTTT-2-2-torus-0FAIL854.02
klieber2017q-104-26-t1FAIL858.38
ttt_5x5-shape-3-GTTT-1-1-torus-0FAIL858.41
klieber2017q-112-28-t1FAIL858.78
Q_3-3_v-100-100_r-11.5FAIL859.24
klieber2017q-104-26-eqFAIL860.28
Q_3-3_v-100-100_r-13.6FAIL860.85
ttt_5x5-shape-4-GTTT-2-2-torus-1FAIL860.96
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspFAIL861.47
Q_3-3_v-100-100_r-11.4FAIL865.09
Q_3-3_v-100-100_r-13.8FAIL865.33
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL866.22
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL866.33
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL867.82
klieber2017q-092-23-eqFAIL867.92
Q_2-3_v-80-100_r-5.1FAIL871.34
ttt_5x5-shape-7-GTTT-2-1-torus-0FAIL875.07
Q_2-3_v-80-100_r-11.5FAIL876.7
Q_2-3_v-80-100_r-11.3FAIL878.86
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.aspFAIL880.11
Q_3-3_v-100-100_r-13.9FAIL881.28
klieber2017q-108-27-eqFAIL881.54
ttt_5x5-shape-4-GTTT-2-1-torus-1FAIL883.37
Q_3-3_v-100-100_r-19.5FAIL885.15
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.aspFAIL885.56
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.aspFAIL889.24
ttt_5x5-shape-4-GTTT-1-1-torus-1FAIL889.5
Q_2-3_v-80-100_r-9.5FAIL890.54
Q_3-3_v-100-100_r-17.4FAIL891.1
klieber2017q-116-29-eqFAIL891.19
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspFAIL891.66
ttt_5x5-shape-7-GTTT-1-1-torus-1FAIL894.73
Q_2-3_v-80-100_r-9.2FAIL895.37
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL896.76
ttt_5x5-shape-5-GTTT-2-1-torus-0FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.aspFAIL900
ttt_5x5-shape-5-GTTT-1-2-torus-0FAIL900
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.aspFAIL900
ttt_5x5-shape-6-GTTT-2-2-torus-1FAIL900
Q_3-3-3_v-100-100-100_r-70.8FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL900
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.aspFAIL900
Q_3-3-3_v-100-100-100_r-60.4FAIL900
ttt_5x5-shape-6-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-6-GTTT-2-2-torus-0FAIL900
hex_hein_6x6_03FAIL900
ttt_5x5-shape-7-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-6-GTTT-1-1-torus-0FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#12.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.aspFAIL900
ttt_5x5-shape-5-GTTT-2-2-torus-0FAIL900
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.aspFAIL900
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspFAIL900
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspFAIL900
Q_3-3-3_v-100-100-100_r-70.1FAIL900
Q_3-3-3_v-100-100-100_r-70.0FAIL900
Q_3-3-3_v-100-100-100_r-60.9FAIL900
Q_3-3-3_v-100-100-100_r-60.8FAIL900
Q_3-3-3_v-100-100-100_r-60.7FAIL900
Q_3-3-3_v-100-100-100_r-60.6FAIL900
Q_3-3-3_v-100-100-100_r-60.5FAIL900
Q_3-3-3_v-100-100-100_r-60.3FAIL900
Q_3-3-3_v-100-100-100_r-60.2FAIL900
Q_3-3-3_v-100-100-100_r-60.1FAIL900
Q_3-3-3_v-100-100-100_r-60.0FAIL900
Q_3-3-3_v-100-100-100_r-50.9FAIL900
Q_3-3-3_v-100-100-100_r-50.8FAIL900
Q_3-3-3_v-100-100-100_r-50.7FAIL900
Q_3-3-3_v-100-100-100_r-70.2FAIL900
Q_3-3-3_v-100-100-100_r-70.3FAIL900
Q_3-3-3_v-100-100-100_r-70.4FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL900
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspFAIL900
Q_3-3-3_v-100-100-100_r-70.9FAIL900
Q_3-3-3_v-100-100-100_r-70.7FAIL900
Q_3-3-3_v-100-100-100_r-70.6FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspFAIL900
Q_3-3-3_v-100-100-100_r-70.5FAIL900
Q_3-3-3_v-100-100-100_r-50.6FAIL900
hex_rand_6x6-20m-0FAIL900
hex_rand_6x6-20m-5FAIL900
hex_rand_6x6-20m-6FAIL900
hex_rand_6x6-20m-7FAIL900
hex_rand_6x6-20m-8FAIL900
hex_rand_6x6-20m-9FAIL900
hex_rand_6x6-6m-0FAIL900
hex_rand_6x6-6m-1FAIL900
hex_rand_6x6-6m-2FAIL900
hex_rand_6x6-6m-3FAIL900
hex_rand_6x6-6m-4FAIL900
hex_rand_6x6-6m-5FAIL900
hex_rand_6x6-6m-6FAIL900
hex_rand_6x6-6m-7FAIL900
hex_rand_6x6-6m-8FAIL900
hex_rand_6x6-20m-4FAIL900
hex_rand_6x6-20m-1FAIL900
hex_rand_6x6-12m-9FAIL900
hex_rand_6x6-12m-8FAIL900
hex_rand_6x6-12m-7FAIL900
hex_rand_6x6-12m-6FAIL900
hex_rand_6x6-12m-5FAIL900
hex_rand_6x6-12m-4FAIL900
hex_rand_6x6-12m-3FAIL900
hex_rand_6x6-12m-2FAIL900
hex_rand_6x6-12m-1FAIL900
hex_rand_6x6-12m-0FAIL900
klieber2017q-116-29-t1FAIL900
hex_rand_6x6-20m-2FAIL900
klieber2017q-112-28-eqFAIL900
hex_rand_6x6-20m-3FAIL900
hex_rand_6x6-6m-9FAIL900
hex_hein_4x4_06FAIL900
ttt_5x5-shape-1-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-1-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-2-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-2-GTTT-2-1-torus-0FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL900
ttt_5x5-shape-3-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-3-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-3-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-4-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-4-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-4-GTTT-2-1-torus-0FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.aspFAIL900
ttt_5x5-shape-4-GTTT-2-2-torus-0FAIL900
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.aspFAIL900
hex_hein_6x6_20FAIL900
hex_hein_6x6_17FAIL900
hex_hein_4x4_07FAIL900
klieber2017q-088-22-eqFAIL900
hex_hein_4x4_09FAIL900
hex_hein_4x4_12FAIL900
hex_hein_5x5_02FAIL900
hex_hein_5x5_05FAIL900
hex_hein_5x5_08FAIL900
hex_hein_5x5_10FAIL900
hex_hein_5x5_11FAIL900
hex_hein_5x5_13FAIL900
hex_hein_5x5_14FAIL900
hex_hein_5x5_15FAIL900
hex_hein_5x5_16FAIL900
hex_hein_5x5_19FAIL900
ttt_5x5-shape-5-GTTT-1-1-torus-0FAIL900
x210.7FAIL900
x300.16FAIL900
x300.19FAIL900
x300.1FAIL900
x300.3FAIL900
x300.4FAIL900
x300.5FAIL900
x300.6FAIL900
x300.8FAIL900
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL900
x300.15FAIL900
x300.12FAIL900
x210.9FAIL900
x220.0FAIL900
x220.10FAIL900
x220.12FAIL900
x220.13FAIL900
x220.16FAIL900
x220.19FAIL900
x220.2FAIL900
x220.6FAIL900
x220.8FAIL900
x220.9FAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL900
Q_2-2-3_v-100-100-100_r-35.0FAIL900
Q_2-2-3_v-100-100-100_r-35.1FAIL900
Q_2-2-3_v-100-100-100_r-35.2FAIL900
Q_2-2-3_v-100-100-100_r-35.3FAIL900
Q_2-2-3_v-100-100-100_r-35.4FAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL900
Q_2-2-3_v-100-100-100_r-35.5FAIL900
x210.6FAIL900
ncf_16_128_8_euad.7FAIL900
ncf_16_128_8_edau.2FAIL900
ncf_16_128_2_u.3FAIL900
ncf_16_128_8_euad.1FAIL900
ncf_16_128_2_u.6FAIL900
ncf_16_128_8_euad.4FAIL900
ncf_16_128_2_u.7FAIL900
ncf_16_128_8_edau.5FAIL900
ncf_16_128_8_euad.6FAIL900
ncf_16_128_8_euad.8FAIL900
ncf_16_128_8_edau.9FAIL900
ncf_16_128_2_u.9FAIL900
ncf_16_128_8_euad.3FAIL900
ncf_16_128_8_edau.7FAIL900
ncf_16_128_2_u.2FAIL900
ncf_16_128_8_euad.10FAIL900
ncf_16_128_8_edau.4FAIL900
ncf_16_128_2_u.8FAIL900
ncf_16_128_8_euad.2FAIL900
ncf_16_128_8_edau.6FAIL900
ncf_16_128_2_u.1FAIL900
ncf_16_128_8_edau.1FAIL900
ncf_16_128_2_u.4FAIL900
ncf_16_128_8_edau.3FAIL900
ncf_16_128_8_euad.5FAIL900
ncf_16_128_2_u.5FAIL900
ncf_16_64_4_d.10FAIL900
x165.19FAIL900
x165.3FAIL900
x165.6FAIL900
x165.8FAIL900
x165.9FAIL900
x210.11FAIL900
x210.12FAIL900
x210.15FAIL900
x210.16FAIL900
x210.17FAIL900
x210.1FAIL900
x165.17FAIL900
x165.13FAIL900
ncf_16_128_2_u.10FAIL900
ncf_16_128_8_edau.10FAIL900
ncf_16_128_8_edau.8FAIL900
ncf_16_128_8_euad.9FAIL900
robots_1_5_2_65.10FAIL900
robots_1_5_2_65.9FAIL900
robots_1_5_2_93.9FAIL900
robots_1_5_2_93.10FAIL900
x165.0FAIL900
x165.10FAIL900
x165.11FAIL900
x210.3FAIL900
Q_2-3_v-80-100_r-13.7FAIL900
Q_3-3_v-100-100_r-11.2FAIL900
Q_3-3_v-100-100_r-11.3FAIL900
Q_3-3_v-100-100_r-11.7FAIL900
Q_3-3_v-100-100_r-11.8FAIL900
Q_3-3_v-100-100_r-11.9FAIL900
Q_3-3_v-100-100_r-13.0FAIL900
Q_3-3_v-100-100_r-13.5FAIL900
Q_3-3_v-100-100_r-13.7FAIL900
Q_3-3_v-100-100_r-15.9FAIL900
Q_3-3_v-100-100_r-17.3FAIL900
Q_3-3_v-100-100_r-17.6FAIL900
Q_3-3_v-100-100_r-11.0FAIL900
Q_2-3_v-80-100_r-9.9FAIL900
Q_2-3_v-80-100_r-13.8FAIL900
Q_2-3_v-80-100_r-5.6FAIL900
Q_2-3_v-80-100_r-7.0FAIL900
Q_2-3_v-80-100_r-7.2FAIL900
Q_2-3_v-80-100_r-7.3FAIL900
Q_2-3_v-80-100_r-7.6FAIL900
Q_2-3_v-80-100_r-7.7FAIL900
Q_2-3_v-80-100_r-9.1FAIL900
Q_2-3_v-80-100_r-9.6FAIL900
Q_2-3_v-80-100_r-9.7FAIL900
Q_2-3_v-80-100_r-9.8FAIL900
Q_3-3_v-100-100_r-17.9FAIL900
Q_3-3_v-100-100_r-19.0FAIL900
Q_3-3-3_v-100-100-100_r-40.4FAIL900
Q_3-3-3_v-100-100-100_r-40.5FAIL900
Q_3-3-3_v-100-100-100_r-40.6FAIL900
Q_3-3-3_v-100-100-100_r-40.7FAIL900
Q_3-3-3_v-100-100-100_r-40.8FAIL900
Q_3-3-3_v-100-100-100_r-40.9FAIL900
Q_3-3-3_v-100-100-100_r-50.0FAIL900
Q_3-3-3_v-100-100-100_r-50.1FAIL900
Q_3-3-3_v-100-100-100_r-50.2FAIL900
Q_3-3-3_v-100-100-100_r-50.3FAIL900
Q_3-3-3_v-100-100-100_r-50.4FAIL900
Q_3-3-3_v-100-100-100_r-40.3FAIL900
Q_3-3-3_v-100-100-100_r-40.2FAIL900
Q_3-3-3_v-100-100-100_r-30.0FAIL900
Q_3-3-3_v-100-100-100_r-30.1FAIL900
Q_3-3-3_v-100-100-100_r-30.2FAIL900
Q_3-3-3_v-100-100-100_r-30.3FAIL900
Q_3-3-3_v-100-100-100_r-30.4FAIL900
Q_3-3-3_v-100-100-100_r-30.6FAIL900
Q_3-3-3_v-100-100-100_r-30.7FAIL900
Q_3-3-3_v-100-100-100_r-30.8FAIL900
Q_3-3-3_v-100-100-100_r-30.9FAIL900
Q_3-3-3_v-100-100-100_r-40.0FAIL900
Q_3-3-3_v-100-100-100_r-40.1FAIL900
Q_3-3-3_v-100-100-100_r-50.5FAIL900
Q_2-3_v-80-100_r-13.6FAIL900
Q_2-2-3_v-100-100-100_r-35.6FAIL900
Q_2-2-3_v-100-100-100_r-55.0FAIL900
Q_2-2-3_v-100-100-100_r-55.1FAIL900
Q_2-2-3_v-100-100-100_r-55.2FAIL900
Q_2-2-3_v-100-100-100_r-55.3FAIL900
Q_2-2-3_v-100-100-100_r-55.4FAIL900
Q_2-2-3_v-100-100-100_r-55.5FAIL900
Q_2-2-3_v-100-100-100_r-55.6FAIL900
Q_2-2-3_v-100-100-100_r-55.7FAIL900
Q_2-2-3_v-100-100-100_r-55.8FAIL900
Q_2-2-3_v-100-100-100_r-55.9FAIL900
Q_2-2-3_v-100-100-100_r-65.0FAIL900
Q_2-2-3_v-100-100-100_r-45.9FAIL900
Q_2-2-3_v-100-100-100_r-45.8FAIL900
Q_2-2-3_v-100-100-100_r-35.7FAIL900
Q_2-2-3_v-100-100-100_r-35.8FAIL900
Q_2-2-3_v-100-100-100_r-35.9FAIL900
Q_2-2-3_v-100-100-100_r-45.0FAIL900
Q_2-2-3_v-100-100-100_r-45.1FAIL900
Q_2-2-3_v-100-100-100_r-45.2FAIL900
Q_2-2-3_v-100-100-100_r-45.3FAIL900
Q_2-2-3_v-100-100-100_r-45.4FAIL900
Q_2-2-3_v-100-100-100_r-45.5FAIL900
Q_2-2-3_v-100-100-100_r-45.6FAIL900
Q_2-2-3_v-100-100-100_r-45.7FAIL900
Q_2-2-3_v-100-100-100_r-65.1FAIL900
Q_2-2-3_v-100-100-100_r-65.2FAIL900
Q_2-2-3_v-100-100-100_r-75.6FAIL900
Q_2-2-3_v-100-100-100_r-75.7FAIL900
Q_2-2-3_v-100-100-100_r-75.8FAIL900
Q_2-2-3_v-100-100-100_r-75.9FAIL900
Q_2-3_v-80-100_r-11.0FAIL900
Q_2-3_v-80-100_r-11.1FAIL900
Q_2-3_v-80-100_r-11.6FAIL900
Q_2-3_v-80-100_r-11.7FAIL900
Q_2-3_v-80-100_r-11.8FAIL900
Q_2-3_v-80-100_r-11.9FAIL900
Q_2-3_v-80-100_r-13.0FAIL900
Q_2-2-3_v-100-100-100_r-75.5FAIL900
Q_2-2-3_v-100-100-100_r-75.4FAIL900
Q_2-2-3_v-100-100-100_r-65.3FAIL900
Q_2-2-3_v-100-100-100_r-65.4FAIL900
Q_2-2-3_v-100-100-100_r-65.5FAIL900
Q_2-2-3_v-100-100-100_r-65.6FAIL900
Q_2-2-3_v-100-100-100_r-65.7FAIL900
Q_2-2-3_v-100-100-100_r-65.8FAIL900
Q_2-2-3_v-100-100-100_r-65.9FAIL900
Q_2-2-3_v-100-100-100_r-75.0FAIL900
Q_2-2-3_v-100-100-100_r-75.1FAIL900
Q_2-2-3_v-100-100-100_r-75.2FAIL900
Q_2-2-3_v-100-100-100_r-75.3FAIL900
Q_2-3_v-80-100_r-13.4FAIL900