Instances solved by prefix-opt-depqbf
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
hex_hein_4x4_04SAT0
Q_2-3_v-80-100_r-13.7UNSAT0.03
Q_2-3_v-80-100_r-13.0UNSAT0.04
Q_2-3_v-80-100_r-13.4UNSAT0.04
Q_2-3_v-80-100_r-13.1UNSAT0.05
Q_2-3_v-80-100_r-13.6UNSAT0.06
Q_2-3_v-80-100_r-13.5UNSAT0.06
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT0.07
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT0.07
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT0.07
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT0.11
Q_2-3_v-80-100_r-13.8UNSAT0.12
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT0.14
ttt_5x5-shape-0-GTTT-1-1-torus-1SAT0.21
ttt_5x5-shape-2-GTTT-1-2-torus-0SAT0.21
ttt_5x5-shape-0-GTTT-1-1-torus-0SAT0.22
hex_hein_7x7_18SAT0.87
Q_2-3_v-80-100_r-11.3UNSAT1.68
ttt_5x5-shape-1-GTTT-1-1-torus-1SAT3.25
ttt_5x5-shape-1-GTTT-1-1-torus-0SAT3.53
ttt_5x5-shape-2-GTTT-1-1-torus-0SAT3.83
ttt_5x5-shape-2-GTTT-1-1-torus-1SAT4.14
hex_hein_4x4_09SAT4.97
ttt_5x5-shape-2-GTTT-2-2-torus-0SAT5.13
Q_2-3_v-80-100_r-11.2UNSAT5.35
ttt_5x5-shape-4-GTTT-2-2-torus-1SAT5.73
ttt_5x5-shape-1-GTTT-2-1-torus-0SAT6.06
ttt_5x5-shape-1-GTTT-2-1-torus-1SAT6.35
ttt_5x5-shape-2-GTTT-2-1-torus-0SAT6.55
ttt_5x5-shape-6-GTTT-2-2-torus-1SAT6.69
ttt_5x5-shape-2-GTTT-2-1-torus-1SAT6.82
ttt_5x5-shape-5-GTTT-2-2-torus-1SAT9.52
Q_2-3_v-80-100_r-11.6UNSAT10.17
ttt_5x5-shape-5-GTTT-2-2-torus-0SAT12.79
hex_hein_4x4_12SAT15.85
Q_2-3_v-80-100_r-11.0UNSAT33.26
hex_rand_6x6-20m-4UNSAT79.66
ttt_5x5-shape-6-GTTT-1-1-torus-1SAT100.22
ttt_5x5-shape-5-GTTT-1-2-torus-0SAT100.9
ttt_5x5-shape-6-GTTT-1-1-torus-0SAT101.05
ttt_5x5-shape-4-GTTT-1-1-torus-1SAT104.33
Q_2-3_v-80-100_r-11.4UNSAT108.13
ttt_5x5-shape-5-GTTT-1-2-torus-1SAT111.99
ttt_5x5-shape-5-GTTT-1-1-torus-0SAT130.28
ttt_5x5-shape-5-GTTT-1-1-torus-1SAT133.98
hex_hein_4x4_06SAT181.3
ttt_5x5-shape-4-GTTT-1-1-torus-0SAT240.02
hex_rand_6x6-20m-7UNSAT280.87
Q_2-3_v-80-100_r-11.8UNSAT369.43
hex_hein_4x4_07SAT424.76
hex_rand_6x6-20m-8UNSAT453.2
klieber2017q-096-24-t1UNSAT552.02
ncf_16_128_2_u.8UNSAT703.87
klieber2017q-078-19-t1UNSAT857.81
klieber2017q-100-25-eqFAIL900
klieber2017q-096-24-eqFAIL900
klieber2017q-092-23-t1FAIL900
klieber2017q-092-23-eqFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.aspFAIL900
klieber2017q-100-25-t1FAIL900
klieber2017q-104-26-eqFAIL900
klieber2017q-108-27-eqFAIL900
klieber2017q-112-28-eqFAIL900
klieber2017q-108-27-t1FAIL900
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.aspFAIL900
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspFAIL900
klieber2017q-104-26-t1FAIL900
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.aspFAIL900
klieber2017q-088-22-t1FAIL900
klieber2017q-088-22-eqFAIL900
klieber2017q-076-19-t1FAIL900
klieber2017q-078-19-eqFAIL900
klieber2017q-080-20-eqFAIL900
klieber2017q-080-20-t1FAIL900
klieber2017q-082-20-eqFAIL900
klieber2017q-076-19-eqFAIL900
klieber2017q-084-21-eqFAIL900
klieber2017q-074-18-eqFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.aspFAIL900
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.aspFAIL900
klieber2017q-082-20-t1FAIL900
klieber2017q-084-21-t1FAIL900
klieber2017q-086-21-eqFAIL900
klieber2017q-086-21-t1FAIL900
klieber2017q-074-18-t1FAIL900
Q_3-3_v-100-100_r-19.1FAIL900
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-40.2FAIL900
Q_3-3-3_v-100-100-100_r-40.3FAIL900
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-30.7FAIL900
Q_3-3-3_v-100-100-100_r-30.6FAIL900
Q_3-3_v-100-100_r-19.2FAIL900
Q_3-3_v-100-100_r-19.3FAIL900
Q_3-3_v-100-100_r-19.4FAIL900
Q_3-3_v-100-100_r-19.5FAIL900
Q_3-3_v-100-100_r-19.6FAIL900
Q_3-3_v-100-100_r-19.7FAIL900
Q_3-3_v-100-100_r-19.8FAIL900
Q_3-3_v-100-100_r-19.9FAIL900
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.5FAIL900
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-70.0FAIL900
Q_3-3-3_v-100-100-100_r-70.1FAIL900
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
Q_3-3-3_v-100-100-100_r-70.5FAIL900
Q_3-3-3_v-100-100-100_r-70.6FAIL900
Q_3-3-3_v-100-100-100_r-70.7FAIL900
Q_3-3-3_v-100-100-100_r-70.8FAIL900
Q_3-3-3_v-100-100-100_r-70.9FAIL900
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspFAIL900
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspFAIL900
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspFAIL900
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.aspFAIL900
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-50.4FAIL900
Q_3-3-3_v-100-100-100_r-50.5FAIL900
Q_3-3-3_v-100-100-100_r-50.6FAIL900
Q_3-3-3_v-100-100-100_r-50.7FAIL900
Q_3-3-3_v-100-100-100_r-50.8FAIL900
Q_3-3-3_v-100-100-100_r-50.9FAIL900
Q_3-3-3_v-100-100-100_r-60.0FAIL900
Q_3-3-3_v-100-100-100_r-60.1FAIL900
Q_3-3-3_v-100-100-100_r-60.2FAIL900
Q_3-3-3_v-100-100-100_r-60.3FAIL900
Q_3-3-3_v-100-100-100_r-60.4FAIL900
Q_3-3-3_v-100-100-100_r-60.5FAIL900
Q_3-3-3_v-100-100-100_r-60.6FAIL900
Q_3-3-3_v-100-100-100_r-60.7FAIL900
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspFAIL900
klieber2017q-112-28-t1FAIL900
ttt_5x5-shape-3-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-6-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-6-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-7-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-7-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-7-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-7-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-7-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-7-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-7-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-7-GTTT-2-2-torus-1FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.aspFAIL900
ttt_5x5-shape-6-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-6-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-3-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-3-GTTT-2-2-torus-1FAIL900
x220.6FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL900
ttt_5x5-shape-4-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-4-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-4-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-4-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-4-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-5-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-5-GTTT-2-1-torus-1FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.aspFAIL900
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#3.s#13.aspFAIL900
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#5.s#20.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#128.A#48.c#.w#7.s#17.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL900
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#15.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspFAIL900
klieber2017q-116-29-eqFAIL900
hex_rand_6x6-20m-3FAIL900
hex_rand_6x6-20m-5FAIL900
hex_rand_6x6-20m-6FAIL900
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-20m-2FAIL900
hex_rand_6x6-20m-1FAIL900
hex_rand_6x6-20m-0FAIL900
klieber2017q-116-29-t1FAIL900
hex_rand_6x6-12m-0FAIL900
hex_rand_6x6-12m-1FAIL900
hex_rand_6x6-12m-2FAIL900
hex_rand_6x6-12m-3FAIL900
hex_rand_6x6-12m-4FAIL900
hex_rand_6x6-12m-5FAIL900
hex_rand_6x6-12m-6FAIL900
hex_rand_6x6-12m-7FAIL900
hex_rand_6x6-12m-8FAIL900
hex_rand_6x6-12m-9FAIL900
hex_rand_6x6-6m-7FAIL900
hex_rand_6x6-6m-8FAIL900
hex_rand_6x6-6m-9FAIL900
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-1-GTTT-2-2-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-2-torus-1FAIL900
ttt_5x5-shape-3-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-3-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-3-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-3-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900
hex_hein_6x6_20FAIL900
hex_hein_6x6_17FAIL900
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
hex_hein_6x6_03FAIL900
ttt_5x5-shape-3-GTTT-2-1-torus-0FAIL900
x220.2FAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspFAIL900
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#304.w#4.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#304.w#6.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#288.w#6.s#2.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL900
x220.8FAIL900
x220.9FAIL900
x300.12FAIL900
x300.15FAIL900
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#280.w#6.s#7.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#4.s#8.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#384.w#6.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.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
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL900
Q_2-2-3_v-100-100-100_r-35.0FAIL900
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#376.w#6.s#6.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#360.w#4.s#1.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
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#368.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL900
Q_2-2-3_v-100-100-100_r-35.1FAIL900
ncf_16_128_8_euad.7FAIL900
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_2_u.5FAIL900
ncf_16_64_4_d.10FAIL900
ncf_16_128_2_u.10FAIL900
ncf_16_128_8_edau.10FAIL900
ncf_16_128_8_edau.8FAIL900
ncf_16_128_8_euad.1FAIL900
ncf_16_128_2_u.3FAIL900
ncf_16_128_2_u.2FAIL900
ncf_16_128_8_euad.10FAIL900
ncf_16_128_8_edau.4FAIL900
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_8_edau.7FAIL900
ncf_16_128_8_euad.3FAIL900
ncf_16_128_8_edau.2FAIL900
ncf_16_128_8_euad.9FAIL900
robots_1_5_2_65.10FAIL900
robots_1_5_2_65.8FAIL900
x210.15FAIL900
x210.16FAIL900
x210.17FAIL900
x210.1FAIL900
x210.3FAIL900
x210.6FAIL900
x210.7FAIL900
x210.9FAIL900
x220.0FAIL900
x220.10FAIL900
x220.12FAIL900
x220.13FAIL900
x220.16FAIL900
x210.12FAIL900
x210.11FAIL900
robots_1_5_2_65.9FAIL900
robots_1_5_2_93.9FAIL900
robots_1_5_2_93.10FAIL900
x165.0FAIL900
x165.10FAIL900
x165.11FAIL900
x165.13FAIL900
x165.17FAIL900
x165.19FAIL900
x165.3FAIL900
x165.6FAIL900
x165.8FAIL900
x165.9FAIL900
x220.19FAIL900
Q_2-2-3_v-100-100-100_r-35.2FAIL900
Q_2-3_v-80-100_r-7.0FAIL900
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_2-3_v-80-100_r-9.9FAIL900
Q_3-3_v-100-100_r-11.0FAIL900
Q_3-3_v-100-100_r-11.1FAIL900
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.4FAIL900
Q_3-3_v-100-100_r-11.5FAIL900
Q_3-3_v-100-100_r-11.6FAIL900
Q_3-3_v-100-100_r-11.7FAIL900
Q_3-3_v-100-100_r-11.8FAIL900
Q_2-3_v-80-100_r-9.5FAIL900
Q_2-3_v-80-100_r-9.4FAIL900
Q_2-3_v-80-100_r-7.1FAIL900
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.4FAIL900
Q_2-3_v-80-100_r-7.5FAIL900
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-7.8FAIL900
Q_2-3_v-80-100_r-7.9FAIL900
Q_2-3_v-80-100_r-9.0FAIL900
Q_2-3_v-80-100_r-9.1FAIL900
Q_2-3_v-80-100_r-9.2FAIL900
Q_2-3_v-80-100_r-9.3FAIL900
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.1FAIL900
Q_3-3_v-100-100_r-15.7FAIL900
Q_3-3_v-100-100_r-15.8FAIL900
Q_3-3_v-100-100_r-15.9FAIL900
Q_3-3_v-100-100_r-17.0FAIL900
Q_3-3_v-100-100_r-17.1FAIL900
Q_3-3_v-100-100_r-17.2FAIL900
Q_3-3_v-100-100_r-17.3FAIL900
Q_3-3_v-100-100_r-17.4FAIL900
Q_3-3_v-100-100_r-17.5FAIL900
Q_3-3_v-100-100_r-17.6FAIL900
Q_3-3_v-100-100_r-17.7FAIL900
Q_3-3_v-100-100_r-17.8FAIL900
Q_3-3_v-100-100_r-17.9FAIL900
Q_3-3_v-100-100_r-15.6FAIL900
Q_3-3_v-100-100_r-15.5FAIL900
Q_3-3_v-100-100_r-13.2FAIL900
Q_3-3_v-100-100_r-13.3FAIL900
Q_3-3_v-100-100_r-13.4FAIL900
Q_3-3_v-100-100_r-13.5FAIL900
Q_3-3_v-100-100_r-13.6FAIL900
Q_3-3_v-100-100_r-13.7FAIL900
Q_3-3_v-100-100_r-13.8FAIL900
Q_3-3_v-100-100_r-13.9FAIL900
Q_3-3_v-100-100_r-15.0FAIL900
Q_3-3_v-100-100_r-15.1FAIL900
Q_3-3_v-100-100_r-15.2FAIL900
Q_3-3_v-100-100_r-15.3FAIL900
Q_3-3_v-100-100_r-15.4FAIL900
Q_3-3_v-100-100_r-19.0FAIL900
Q_2-2-3_v-100-100-100_r-35.3FAIL900
Q_2-2-3_v-100-100-100_r-45.9FAIL900
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-65.1FAIL900
Q_2-2-3_v-100-100-100_r-45.8FAIL900
Q_2-2-3_v-100-100-100_r-45.7FAIL900
Q_2-2-3_v-100-100-100_r-35.4FAIL900
Q_2-2-3_v-100-100-100_r-35.5FAIL900
Q_2-2-3_v-100-100-100_r-35.6FAIL900
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-65.2FAIL900
Q_2-2-3_v-100-100-100_r-65.3FAIL900
Q_2-2-3_v-100-100-100_r-65.4FAIL900
Q_2-3_v-80-100_r-11.1FAIL900
Q_2-3_v-80-100_r-11.5FAIL900
Q_2-3_v-80-100_r-11.7FAIL900
Q_2-3_v-80-100_r-11.9FAIL900
Q_2-3_v-80-100_r-5.0FAIL900
Q_2-3_v-80-100_r-5.1FAIL900
Q_2-3_v-80-100_r-5.2FAIL900
Q_2-3_v-80-100_r-5.3FAIL900
Q_2-3_v-80-100_r-5.4FAIL900
Q_2-3_v-80-100_r-5.5FAIL900
Q_2-3_v-80-100_r-5.6FAIL900
Q_2-3_v-80-100_r-5.7FAIL900
Q_2-3_v-80-100_r-5.8FAIL900
Q_2-2-3_v-100-100-100_r-75.9FAIL900
Q_2-2-3_v-100-100-100_r-75.8FAIL900
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-2-3_v-100-100-100_r-75.4FAIL900
Q_2-2-3_v-100-100-100_r-75.5FAIL900
Q_2-2-3_v-100-100-100_r-75.6FAIL900
Q_2-2-3_v-100-100-100_r-75.7FAIL900
Q_2-3_v-80-100_r-5.9FAIL900