Instances solved by heretiq
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
hex_hein_4x4_04SAT0.01
hex_hein_7x7_18SAT0.22
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT0.26
Q_2-3_v-80-100_r-13.7UNSAT0.26
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT0.27
Q_2-3_v-80-100_r-13.4UNSAT0.34
ttt_5x5-shape-0-GTTT-2-1-torus-1UNSAT0.42
Q_2-3_v-80-100_r-13.5UNSAT0.57
klieber2017q-088-22-t1UNSAT0.6
klieber2017q-074-18-t1UNSAT1.21
klieber2017q-096-24-t1UNSAT1.33
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT1.5
klieber2017q-080-20-t1UNSAT1.8
klieber2017q-082-20-t1UNSAT2.32
Q_2-3_v-80-100_r-13.6UNSAT2.78
klieber2017q-100-25-t1UNSAT3
klieber2017q-092-23-t1UNSAT4.43
klieber2017q-076-19-t1UNSAT4.93
klieber2017q-078-19-t1UNSAT6.63
klieber2017q-086-21-t1UNSAT6.88
klieber2017q-116-29-t1UNSAT8.37
klieber2017q-084-21-t1UNSAT9.83
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT10.35
Q_2-3_v-80-100_r-13.1UNSAT20.82
Q_2-3_v-80-100_r-13.8UNSAT30.18
Q_2-3_v-80-100_r-13.0UNSAT30.18
Q_2-3_v-80-100_r-11.3UNSAT30.21
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT31.32
hex_hein_4x4_09SAT32.28
hex_hein_4x4_12SAT38.06
Q_2-3_v-80-100_r-11.4UNSAT38.16
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspUNSAT44.79
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT44.82
Q_2-3_v-80-100_r-11.6UNSAT46.88
hex_rand_6x6-20m-4UNSAT47.4
x165.6UNSAT54.72
x165.13UNSAT56.24
hex_hein_4x4_06SAT57.05
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT59.15
klieber2017q-104-26-t1UNSAT63.58
ttt_5x5-shape-0-GTTT-2-1-torus-0UNSAT72.23
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspUNSAT95.08
klieber2017q-108-27-t1UNSAT101.22
Q_2-3_v-80-100_r-11.7UNSAT104.7
hex_rand_6x6-20m-7UNSAT120.08
x165.11UNSAT132.92
Q_2-3_v-80-100_r-11.0UNSAT154.04
Q_2-3_v-80-100_r-11.9UNSAT189.67
ncf_16_128_2_u.3UNSAT215.43
hex_hein_4x4_07SAT300.1
klieber2017q-112-28-t1UNSAT389.93
hex_rand_6x6-20m-8UNSAT392.9
ncf_16_128_2_u.6UNSAT455.83
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT520.67
x165.9UNSAT651.9
ncf_16_128_2_u.1UNSAT753.56
ncf_16_128_2_u.5UNSAT761.93
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspSAT762.14
Q_3-3-3_v-100-100-100_r-30.5FAIL900
Q_3-3-3_v-100-100-100_r-30.8FAIL900
Q_3-3-3_v-100-100-100_r-30.7FAIL900
klieber2017q-096-24-eqFAIL900
klieber2017q-100-25-eqFAIL900
Q_3-3-3_v-100-100-100_r-30.6FAIL900
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.8FAIL900
Q_3-3-3_v-100-100-100_r-40.7FAIL900
Q_3-3-3_v-100-100-100_r-40.6FAIL900
Q_3-3-3_v-100-100-100_r-40.5FAIL900
klieber2017q-088-22-eqFAIL900
Q_3-3-3_v-100-100-100_r-40.4FAIL900
Q_3-3-3_v-100-100-100_r-40.3FAIL900
klieber2017q-092-23-eqFAIL900
Q_3-3-3_v-100-100-100_r-40.1FAIL900
Q_3-3-3_v-100-100-100_r-30.4FAIL900
klieber2017q-104-26-eqFAIL900
hex_rand_6x6-12m-3FAIL900
hex_rand_6x6-12m-4FAIL900
hex_rand_6x6-12m-5FAIL900
Q_3-3_v-100-100_r-19.8FAIL900
hex_rand_6x6-12m-6FAIL900
hex_rand_6x6-12m-7FAIL900
Q_3-3_v-100-100_r-19.7FAIL900
hex_rand_6x6-12m-8FAIL900
hex_rand_6x6-12m-9FAIL900
hex_rand_6x6-12m-2FAIL900
hex_rand_6x6-12m-1FAIL900
hex_rand_6x6-12m-0FAIL900
klieber2017q-108-27-eqFAIL900
Q_3-3-3_v-100-100-100_r-30.3FAIL900
Q_3-3-3_v-100-100-100_r-30.2FAIL900
Q_3-3-3_v-100-100-100_r-30.1FAIL900
Q_3-3-3_v-100-100-100_r-30.0FAIL900
Q_3-3-3_v-100-100-100_r-40.2FAIL900
klieber2017q-112-28-eqFAIL900
klieber2017q-116-29-eqFAIL900
Q_3-3_v-100-100_r-19.9FAIL900
hex_rand_6x6-20m-0FAIL900
Q_3-3-3_v-100-100-100_r-40.9FAIL900
Q_3-3-3_v-100-100-100_r-60.5FAIL900
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
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.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
Q_3-3-3_v-100-100-100_r-70.7FAIL900
Q_3-3-3_v-100-100-100_r-70.6FAIL900
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.2FAIL900
Q_3-3-3_v-100-100-100_r-70.3FAIL900
Q_3-3-3_v-100-100-100_r-60.4FAIL900
Q_3-3-3_v-100-100-100_r-70.5FAIL900
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
klieber2017q-086-21-eqFAIL900
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-50.6FAIL900
Q_3-3-3_v-100-100-100_r-50.5FAIL900
Q_3-3-3_v-100-100-100_r-50.4FAIL900
Q_3-3-3_v-100-100-100_r-70.4FAIL900
Q_3-3-3_v-100-100-100_r-50.3FAIL900
Q_3-3-3_v-100-100-100_r-50.2FAIL900
Q_3-3-3_v-100-100-100_r-50.1FAIL900
Q_3-3-3_v-100-100-100_r-50.9FAIL900
klieber2017q-084-21-eqFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.aspFAIL900
klieber2017q-074-18-eqFAIL900
klieber2017q-076-19-eqFAIL900
Q_3-3-3_v-100-100-100_r-60.3FAIL900
klieber2017q-078-19-eqFAIL900
Q_3-3-3_v-100-100-100_r-60.2FAIL900
klieber2017q-080-20-eqFAIL900
Q_3-3-3_v-100-100-100_r-60.1FAIL900
klieber2017q-082-20-eqFAIL900
Q_3-3-3_v-100-100-100_r-60.0FAIL900
Q_3-3-3_v-100-100-100_r-50.0FAIL900
ttt_5x5-shape-4-GTTT-2-1-torus-0FAIL900
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-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
ttt_5x5-shape-6-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-6-GTTT-1-1-torus-1FAIL900
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-5-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-5-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-5-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#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#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#7.s#19.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#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
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#20.aspFAIL900
hex_rand_6x6-20m-1FAIL900
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
hex_hein_6x6_17FAIL900
hex_rand_6x6-6m-9FAIL900
hex_rand_6x6-6m-8FAIL900
hex_rand_6x6-6m-7FAIL900
hex_rand_6x6-20m-2FAIL900
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_hein_6x6_20FAIL900
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-0-GTTT-1-1-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-3-GTTT-2-1-torus-0FAIL900
ttt_5x5-shape-3-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-3-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-3-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-4-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-4-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-4-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-2-GTTT-2-2-torus-0FAIL900
ttt_5x5-shape-2-GTTT-2-1-torus-1FAIL900
ttt_5x5-shape-2-GTTT-2-1-torus-0FAIL900
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-1-GTTT-2-2-torus-1FAIL900
ttt_5x5-shape-2-GTTT-1-1-torus-0FAIL900
ttt_5x5-shape-2-GTTT-1-1-torus-1FAIL900
ttt_5x5-shape-2-GTTT-1-2-torus-0FAIL900
ttt_5x5-shape-2-GTTT-1-2-torus-1FAIL900
ttt_5x5-shape-4-GTTT-1-2-torus-1FAIL900
x300.16FAIL900
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#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#4.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#296.w#6.s#3.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#4.s#7.aspFAIL900
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#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#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#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#408.w#4.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-35.3FAIL900
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
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#400.w#6.s#4.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#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#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-45.0FAIL900
x300.15FAIL900
ncf_16_128_8_euad.7FAIL900
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_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.9FAIL900
robots_1_5_2_65.10FAIL900
ncf_16_128_8_euad.4FAIL900
ncf_16_128_8_euad.1FAIL900
ncf_16_128_8_edau.2FAIL900
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_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
robots_1_5_2_65.8FAIL900
robots_1_5_2_65.9FAIL900
robots_1_5_2_93.9FAIL900
x210.7FAIL900
x210.9FAIL900
x220.0FAIL900
x220.10FAIL900
x220.12FAIL900
x220.13FAIL900
x220.16FAIL900
x220.19FAIL900
x220.2FAIL900
x220.6FAIL900
x220.8FAIL900
x220.9FAIL900
x210.6FAIL900
x210.3FAIL900
x210.1FAIL900
robots_1_5_2_93.10FAIL900
x165.0FAIL900
x165.10FAIL900
x165.17FAIL900
x165.19FAIL900
x165.3FAIL900
x165.8FAIL900
x210.11FAIL900
x210.12FAIL900
x210.15FAIL900
x210.16FAIL900
x210.17FAIL900
x300.12FAIL900
Q_2-2-3_v-100-100-100_r-45.1FAIL900
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.2FAIL900
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-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-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-55.7FAIL900
Q_2-2-3_v-100-100-100_r-55.6FAIL900
Q_2-2-3_v-100-100-100_r-55.5FAIL900
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-45.8FAIL900
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-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-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-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-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.1FAIL900
Q_2-3_v-80-100_r-11.2FAIL900
Q_2-3_v-80-100_r-11.5FAIL900
Q_2-3_v-80-100_r-11.8FAIL900
Q_2-3_v-80-100_r-5.0FAIL900
Q_2-3_v-80-100_r-7.6FAIL900