Instances solved by caqe_2017_v1
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
hex_hein_4x4_04SAT0
hex_hein_7x7_18SAT0.2
klieber2017q-074-18-t1UNSAT0.46
klieber2017q-084-21-t1UNSAT0.5
klieber2017q-080-20-t1UNSAT0.68
klieber2017q-082-20-t1UNSAT0.7
klieber2017q-100-25-t1UNSAT1.01
klieber2017q-108-27-t1UNSAT1.44
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT1.51
klieber2017q-092-23-t1UNSAT1.53
klieber2017q-078-19-t1UNSAT1.61
klieber2017q-104-26-t1UNSAT2.12
klieber2017q-088-22-t1UNSAT3.22
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspSAT3.91
klieber2017q-086-21-t1UNSAT5.7
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT6.33
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT6.41
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT9.3
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT9.3
Q_2-3_v-80-100_r-13.4UNSAT10.63
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspSAT10.66
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspSAT11.2
Q_2-3_v-80-100_r-13.0UNSAT11.46
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspSAT11.54
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT11.91
klieber2017q-076-19-t1UNSAT12.34
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspSAT12.63
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspSAT15.33
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT15.96
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspSAT16
Q_2-3_v-80-100_r-13.7UNSAT16.75
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT17.19
Q_2-3_v-80-100_r-13.1UNSAT18.57
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT19.06
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspSAT22.32
hex_hein_4x4_09SAT23.18
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspSAT23.87
klieber2017q-116-29-t1UNSAT24.01
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspSAT24.17
klieber2017q-096-24-t1UNSAT28.22
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspSAT31.37
hex_hein_4x4_12SAT32.76
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspSAT52.91
klieber2017q-112-28-t1UNSAT58.31
Q_2-3_v-80-100_r-13.6UNSAT64.95
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspSAT139.72
hex_hein_4x4_06SAT147.77
Q_2-3_v-80-100_r-13.8UNSAT152.11
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspSAT155.65
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspSAT160.19
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspSAT162.66
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspSAT164.41
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspSAT178.3
ncf_16_128_8_edau.4UNSAT216.46
robots_1_5_2_93.9SAT278.12
robots_1_5_2_65.8SAT294.78
hex_rand_6x6-20m-4UNSAT325.33
hex_rand_6x6-20m-5SAT416.6
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspSAT440.9
hex_rand_6x6-20m-6SAT445.04
hex_hein_4x4_07SAT505.3
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspSAT712.15
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspSAT738.89
hex_rand_6x6-20m-8UNSAT778.47
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspSAT824.68
hex_rand_6x6-20m-1SAT885.74
hex_rand_6x6-20m-2FAIL900
klieber2017q-078-19-eqFAIL900
hex_rand_6x6-12m-1FAIL900
klieber2017q-080-20-eqFAIL900
hex_rand_6x6-20m-3FAIL900
hex_rand_6x6-20m-0FAIL900
hex_rand_6x6-12m-4FAIL900
klieber2017q-096-24-eqFAIL900
klieber2017q-100-25-eqFAIL900
hex_rand_6x6-12m-3FAIL900
klieber2017q-104-26-eqFAIL900
hex_rand_6x6-12m-2FAIL900
klieber2017q-108-27-eqFAIL900
klieber2017q-112-28-eqFAIL900
hex_rand_6x6-12m-0FAIL900
hex_rand_6x6-12m-5FAIL900
klieber2017q-092-23-eqFAIL900
klieber2017q-082-20-eqFAIL900
klieber2017q-084-21-eqFAIL900
hex_rand_6x6-12m-9FAIL900
klieber2017q-086-21-eqFAIL900
hex_rand_6x6-12m-8FAIL900
klieber2017q-116-29-eqFAIL900
klieber2017q-088-22-eqFAIL900
hex_rand_6x6-12m-7FAIL900
hex_rand_6x6-12m-6FAIL900
Q_3-3_v-100-100_r-19.8FAIL900
klieber2017q-076-19-eqFAIL900
Q_3-3_v-100-100_r-19.9FAIL900
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-50.5FAIL900
Q_3-3-3_v-100-100-100_r-50.6FAIL900
Q_3-3-3_v-100-100-100_r-40.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.5FAIL900
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.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-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#118.A#48.c#.w#5.s#7.aspFAIL900
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
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.aspFAIL900
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.aspFAIL900
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.aspFAIL900
klieber2017q-074-18-eqFAIL900
Q_3-3-3_v-100-100-100_r-70.5FAIL900
Q_3-3-3_v-100-100-100_r-70.3FAIL900
Q_3-3-3_v-100-100-100_r-70.2FAIL900
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
Q_3-3-3_v-100-100-100_r-60.8FAIL900
Q_3-3-3_v-100-100-100_r-60.9FAIL900
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.4FAIL900
x220.6FAIL900
ttt_5x5-shape-5-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-6-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-6-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-6-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-6-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-6-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-6-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-6-GTTT-2-2-torus-1FAIL900
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-5-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-5-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-4-GTTT-1-1-torus-1FAIL900
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-4-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-5-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-5-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-5-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-5-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-5-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-7-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-7-GTTT-2-1-torus-0FAIL900
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#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#5.s#16.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#19.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#17.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#10.aspFAIL900
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
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#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
ttt_5x5-shape-4-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-3-GTTT-2-2-torus-1FAIL900
hex_rand_6x6-20m-7FAIL900
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
hex_hein_6x6_17FAIL900
hex_hein_6x6_20FAIL900
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL900
hex_hein_5x5_05FAIL900
hex_hein_5x5_02FAIL900
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-6m-9FAIL900
ttt_5x5-shape-2-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-0-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-2-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-2-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-2-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-2-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-2-GTTT-2-2-torus-0FAIL900
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-3-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-3-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-2-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-1-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-0-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-0-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-0-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-1-GTTT-1-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-1-torus-0FAIL900
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-3-GTTT-2-2-torus-0FAIL900
Q_3-3_v-100-100_r-19.7FAIL900
x220.8FAIL900
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#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
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#352.w#6.s#8.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#344.w#4.s#5.aspFAIL900
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#336.w#4.s#5.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
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-45.7FAIL900
Q_2-2-3_v-100-100-100_r-35.5FAIL900
Q_2-2-3_v-100-100-100_r-35.4FAIL900
Q_2-2-3_v-100-100-100_r-35.3FAIL900
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
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-45.8FAIL900
x220.2FAIL900
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_euad.1FAIL900
ncf_16_128_2_u.3FAIL900
ncf_16_128_8_edau.2FAIL900
ncf_16_128_2_u.2FAIL900
ncf_16_128_8_euad.10FAIL900
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_8_edau.7FAIL900
ncf_16_128_8_euad.3FAIL900
ncf_16_128_8_edau.8FAIL900
ncf_16_128_8_euad.9FAIL900
robots_1_5_2_65.10FAIL900
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.15FAIL900
x210.12FAIL900
x210.11FAIL900
robots_1_5_2_65.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-3_v-80-100_r-7.8FAIL900
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_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-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-11.3FAIL900
Q_3-3_v-100-100_r-11.2FAIL900
Q_3-3_v-100-100_r-11.1FAIL900
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_2-3_v-80-100_r-9.4FAIL900
Q_2-3_v-80-100_r-9.5FAIL900
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-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-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-19.0FAIL900
Q_3-3_v-100-100_r-19.1FAIL900
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-17.3FAIL900
Q_3-3_v-100-100_r-17.2FAIL900
Q_3-3_v-100-100_r-17.1FAIL900
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-15.5FAIL900
Q_3-3_v-100-100_r-15.6FAIL900
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-19.6FAIL900
Q_2-3_v-80-100_r-7.7FAIL900
Q_2-2-3_v-100-100-100_r-45.9FAIL900
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-65.4FAIL900
Q_2-2-3_v-100-100-100_r-65.3FAIL900
Q_2-2-3_v-100-100-100_r-65.2FAIL900
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-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-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-3_v-80-100_r-5.9FAIL900
Q_2-3_v-80-100_r-7.0FAIL900
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-5.3FAIL900
Q_2-3_v-80-100_r-5.2FAIL900
Q_2-3_v-80-100_r-5.1FAIL900
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.2FAIL900
Q_2-3_v-80-100_r-11.3FAIL900
Q_2-3_v-80-100_r-11.4FAIL900
Q_2-3_v-80-100_r-11.5FAIL900
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.5FAIL900
Q_2-3_v-80-100_r-5.0FAIL900
Q_2-3_v-80-100_r-7.6FAIL900