Instances solved by quantor-3.1
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
ncf_8_16_4_euad.1SAT0
ncf_8_16_4_u.2UNSAT0
ncf_8_16_4_edau.1SAT0
ncf_8_16_4_euad.2UNSAT0
ncf_8_16_4_edau.5UNSAT0
Qq2k3k3v20v20m80s3SAT0.01
Qq2k3k3v20v20m80s7SAT0.01
ncf_8_16_4_d.1SAT0.01
ncf_8_16_4_u.1SAT0.01
ncf_8_16_4_edau.2UNSAT0.01
Qq2k3k3v20v20m80s1SAT0.01
ncf_8_16_4_edau.8UNSAT0.01
Qq2k3k3v20v20m80s6SAT0.01
Qq2k3k3v20v20m80s5SAT0.01
ncf_8_16_4_d.10SAT0.01
ncf_8_16_4_d.5UNSAT0.01
ncf_8_16_4_d.2UNSAT0.01
ncf_8_16_4_edau.6UNSAT0.01
ncf_8_16_4_d.8UNSAT0.01
ncf_8_16_4_u.5UNSAT0.01
ncf_8_16_4_edau.10SAT0.01
Qq2k3k3v20v20m80s10SAT0.02
Qq2k3k3v20v20m80s2SAT0.02
ncf_8_16_4_d.6UNSAT0.02
Qq2k3k3v20v20m80s9SAT0.02
ncf_8_16_4_euad.5UNSAT0.02
Qq2k3k3v20v20m80s4SAT0.02
Qq2k3k3v20v20m80s8SAT0.02
ncf_16_32_8_edau.4SAT0.02
ncf_16_32_8_d.4SAT0.03
Qq2k3k3v20v20m120s3SAT0.07
Qq2k3k3v20v20m120s4SAT0.12
Qq2k3k3v20v20m120s7SAT0.12
Qq2k3k3v20v20m120s10SAT0.17
Qq2k3k3v20v20m120s2SAT0.19
Qq2k3k3v20v20m120s1SAT0.2
Qq2k3k3v20v20m120s6SAT0.22
Qq2k3k3v20v20m120s8SAT0.24
Qq2k3k3v20v20m120s5SAT0.26
Qq2k3k3v20v20m120s9SAT0.26
robots_1_5_5_24.2SAT0.95
Qq2k3k3v20v20m160s7SAT1.1
robots_1_5_2_85.2SAT1.1
robots_1_5_5_75.2SAT1.12
robots_1_5_4_75.2SAT1.12
robots_1_5_4_73.2SAT1.12
robots_1_5_4_44.2SAT1.13
robots_1_5_5_61.2SAT1.14
robots_1_5_4_81.2SAT1.15
robots_1_5_4_100.2SAT1.2
robots_1_5_5_62.2SAT1.22
robots_1_5_5_56.2SAT1.22
robots_1_5_5_38.2SAT1.23
robots_1_5_5_15.2SAT1.23
robots_1_5_3_51.2SAT1.29
Qq2k3k3v20v20m160s4SAT1.3
robots_1_5_2_33.2SAT1.32
robots_1_5_2_10.2SAT1.33
robots_1_5_3_100.2SAT1.36
robots_1_5_2_81.2SAT1.36
robots_1_5_2_47.2SAT1.39
robots_1_5_2_14.2SAT1.39
robots_1_5_2_100.2SAT1.4
robots_1_5_2_49.2SAT1.43
Qq2k3k3v20v20m160s3SAT1.43
robots_1_5_2_28.2SAT1.52
robots_1_5_2_31.2SAT1.56
robots_1_5_4_71.2SAT1.56
robots_1_5_4_32.2SAT1.59
robots_1_5_3_25.2SAT1.6
Qq2k3k3v20v20m160s1SAT1.62
robots_1_5_5_31.2SAT1.62
robots_1_5_5_100.2SAT1.65
robots_1_5_4_52.2SAT1.65
robots_1_5_5_97.2SAT1.65
robots_1_5_3_7.2SAT1.66
robots_1_5_4_59.2SAT1.69
robots_1_5_4_22.2SAT1.69
robots_1_5_3_91.2SAT1.7
robots_1_5_3_52.2SAT1.7
robots_1_5_3_80.2SAT1.72
robots_1_5_3_30.2SAT1.74
Qq2k3k3v20v20m160s2SAT1.81
robots_1_5_3_26.2SAT2.07
Qq2k3k3v20v20m160s9SAT2.09
robots_1_5_3_62.2SAT2.11
Qq2k3k3v20v20m160s10SAT2.18
Qq2k3k3v20v20m160s5SAT2.38
Qq2k3k3v20v20m160s8SAT2.78
Qq2k3k3v20v20m160s6SAT3.76
Qq2k3k3v20v20m200s7SAT6.76
Qq2k3k3v20v20m200s4SAT9.61
Qq2k3k3v20v20m200s2SAT9.89
Qq2k3k3v20v20m200s3SAT10.01
Qq2k3k3v20v20m200s1SAT11.41
Qq2k3k3v20v20m200s8SAT11.45
x30.4SAT11.63
Qq2k3k3v20v20m200s10SAT12.54
Qq2k3k3v20v20m200s5SAT12.95
x30.1UNSAT13.66
Qq2k3k3v20v20m200s9SAT15.85
x30.6SAT16.91
Qq2k3k3v20v20m200s6SAT18.75
x30.8UNSAT19.27
x30.2UNSAT19.4
x30.9UNSAT20.31
robots_1_5_4_56.8FAIL20.78
robots_1_5_4_75.8FAIL21.04
robots_1_5_4_46.8FAIL22.12
robots_1_5_4_17.8FAIL22.13
robots_1_5_4_24.8FAIL22.13
robots_1_5_5_100.8FAIL22.13
robots_1_5_5_99.8FAIL22.14
robots_1_5_5_33.8FAIL22.15
robots_1_5_4_99.8FAIL22.15
robots_1_5_5_10.8FAIL22.15
robots_1_5_5_95.8FAIL22.15
robots_1_5_5_12.8FAIL22.16
Qq2k3k3v100v100m600s10FAIL22.16
robots_1_5_5_50.8FAIL22.16
Qq2k3k3v100v100m600s1FAIL22.16
robots_1_5_4_91.8FAIL22.16
robots_1_5_4_100.8FAIL22.17
robots_1_5_4_1.8FAIL22.17
robots_1_5_3_90.8FAIL22.17
robots_1_5_5_14.8FAIL22.17
Qq2k3k3v100v100m600s7FAIL22.24
robots_1_5_5_5.8FAIL22.25
Qq2k3k3v100v100m600s5FAIL22.27
robots_1_5_5_66.8FAIL22.29
robots_1_5_4_96.8FAIL22.31
Qq2k3k3v100v100m600s6FAIL22.33
Qq2k3k3v100v100m600s2FAIL22.43
Qq2k3k3v100v100m600s4FAIL22.45
Qq2k3k3v100v100m600s9FAIL22.51
Qq2k3k3v50v50m400s9FAIL22.56
Qq2k3k3v100v100m600s3FAIL22.68
Qq2k3k3v100v100m1400s9FAIL22.84
Qq2k3k3v100v100m1400s8FAIL22.85
Qq2k3k3v100v100m600s8FAIL22.89
Qq2k3k3v100v100m1400s1FAIL22.91
Qq2k3k3v100v100m1400s5FAIL22.94
Qq2k3k3v100v100m800s1FAIL22.96
Qq2k3k3v100v100m800s10FAIL23.01
Qq2k3k3v100v100m800s9FAIL23.05
Qq2k3k3v100v100m800s2FAIL23.13
Qq2k3k3v100v100m800s8FAIL23.21
Qq2k3k3v50v50m400s6FAIL23.27
Qq2k3k3v50v50m500s3FAIL23.49
Qq2k3k3v50v50m500s4FAIL23.58
Qq2k3k3v50v50m500s8FAIL23.77
Qq2k3k3v100v100m1400s7FAIL23.77
Qq2k3k3v100v100m1400s2FAIL23.82
Qq2k3k3v100v100m1400s6FAIL23.83
Qq2k3k3v100v100m800s3FAIL23.88
Qq2k3k3v100v100m1400s3FAIL23.89
Qq2k3k3v100v100m1400s10FAIL23.9
Qq2k3k3v100v100m1400s4FAIL23.91
Qq2k3k3v100v100m800s6FAIL23.91
Qq2k3k3v100v100m800s5FAIL23.93
Qq2k3k3v100v100m800s7FAIL24
Qq2k3k3v50v50m400s8FAIL24.09
Qq2k3k3v100v100m1600s9FAIL24.11
Qq2k3k3v50v50m400s5FAIL24.12
Qq2k3k3v100v100m800s4FAIL24.13
Qq2k3k3v50v50m400s4FAIL24.17
Qq2k3k3v100v100m1600s5FAIL24.32
Qq2k3k3v50v50m900s8FAIL24.54
Qq2k3k3v50v50m900s5FAIL24.63
Qq2k3k3v50v50m500s1FAIL24.66
Qq2k3k3v50v50m500s5FAIL24.7
Qq2k3k3v50v50m500s6FAIL24.78
Qq2k3k3v50v50m500s7FAIL24.78
Qq2k3k3v50v50m200s10SAT24.92
Qq2k3k3v100v100m1000s5FAIL24.94
Qq2k3k3v100v100m1000s8FAIL24.97
Qq2k3k3v50v50m500s2FAIL25.01
Qq2k3k3v50v50m500s10FAIL25.04
Qq2k3k3v100v100m1000s9FAIL25.06
Qq2k3k3v50v50m500s9FAIL25.12
Qq2k3k3v50v50m600s9FAIL25.17
Qq2k3k3v100v100m1600s6FAIL25.25
Qq2k3k3v100v100m1600s7FAIL25.34
Qq2k3k3v100v100m1600s1FAIL25.35
x30.5UNSAT25.36
Qq2k3k3v100v100m1600s2FAIL25.36
Qq2k3k3v100v100m1600s10FAIL25.36
Qq2k3k3v100v100m1600s8FAIL25.39
Qq2k3k3v100v100m1600s3FAIL25.41
Qq2k3k3v100v100m1800s1FAIL25.47
Qq2k3k3v100v100m1600s4FAIL25.48
Qq2k3k3v50v50m900s6FAIL25.53
Qq2k3k3v100v100m1800s9FAIL25.56
ncf_8_16_4_edau.7FAIL25.57
Qq2k3k3v100v100m1000s1FAIL25.62
Qq2k3k3v50v50m900s7FAIL25.73
Qq2k3k3v50v50m900s2FAIL25.79
Qq2k3k3v50v50m900s3FAIL25.79
Qq2k3k3v50v50m900s1FAIL25.8
Qq2k3k3v100v100m400s4FAIL25.83
Qq2k3k3v100v100m1000s10FAIL25.85
Qq2k3k3v50v50m900s9FAIL25.87
Qq2k3k3v100v100m1000s3FAIL25.92
Qq2k3k3v50v50m900s4FAIL25.93
Qq2k3k3v50v50m900s10FAIL26.01
Qq2k3k3v100v100m1000s7FAIL26.03
Qq2k3k3v50v50m600s3FAIL26.04
Qq2k3k3v50v50m600s6FAIL26.1
Qq2k3k3v100v100m1000s4FAIL26.11
Qq2k3k3v100v100m1000s2FAIL26.11
Qq2k3k3v50v50m600s2FAIL26.12
Qq2k3k3v50v50m600s7FAIL26.14
Qq2k3k3v50v50m600s1FAIL26.17
Qq2k3k3v50v50m600s4FAIL26.2
Qq2k3k3v50v50m600s5FAIL26.21
Qq2k3k3v50v50m600s8FAIL26.23
robots_1_5_2_54.8FAIL26.25
Qq2k3k3v100v100m1000s6FAIL26.26
Qq2k3k3v50v50m700s9FAIL26.28
Qq2k3k3v50v50m700s10FAIL26.28
Qq2k3k3v50v50m600s10FAIL26.39
Qq2k3k3v50v50m400s3FAIL26.42
Qq2k3k3v100v100m400s7FAIL26.5
Qq2k3k3v50v50m700s2FAIL26.51
Qq2k3k3v100v100m400s8FAIL26.69
Qq2k3k3v100v100m400s9FAIL26.79
Qq2k3k3v100v100m400s3FAIL26.85
Qq2k3k3v100v100m1800s6FAIL26.91
Qq2k3k3v50v50m1000s2FAIL26.95
Qq2k3k3v100v100m1800s5FAIL26.95
Qq2k3k3v100v100m1800s4FAIL26.97
Qq2k3k3v100v100m1800s7FAIL26.97
Qq2k3k3v50v50m1000s6FAIL26.99
Qq2k3k3v100v100m1800s8FAIL26.99
Qq2k3k3v100v100m1800s2FAIL27.01
Qq2k3k3v100v100m1800s10FAIL27.01
Qq2k3k3v50v50m1000s3FAIL27.03
robots_1_5_2_40.8FAIL27.05
Qq2k3k3v50v50m1000s1FAIL27.07
Qq2k3k3v50v50m1000s8FAIL27.07
Qq2k3k3v100v100m1800s3FAIL27.09
robots_1_5_2_82.8FAIL27.09
Qq2k3k3v50v50m1000s5FAIL27.12
Qq2k3k3v50v50m1000s4FAIL27.12
Qq2k3k3v50v50m1000s9FAIL27.13
Qq2k3k3v50v50m1000s7FAIL27.13
robots_1_5_2_100.8FAIL27.15
Qq2k3k3v100v100m1200s6FAIL27.15
Qq2k3k3v100v100m1200s1FAIL27.16
Qq2k3k3v100v100m1200s10FAIL27.16
Qq2k3k3v50v50m1000s10FAIL27.19
robots_1_5_2_67.8FAIL27.2
robots_1_5_2_32.8FAIL27.2
Qq2k3k3v100v100m1200s2FAIL27.21
robots_1_5_2_75.8FAIL27.22
Qq2k3k3v100v100m1200s9FAIL27.25
Qq2k3k3v100v100m2000s7FAIL27.27
robots_1_5_2_61.8FAIL27.28
Qq2k3k3v100v100m1200s5FAIL27.3
robots_1_5_2_91.8FAIL27.34
robots_1_5_2_9.8FAIL27.36
Qq2k3k3v100v100m2000s10FAIL27.37
Qq2k3k3v100v100m1200s8FAIL27.39
Qq2k3k3v100v100m1200s4FAIL27.39
Qq2k3k3v100v100m400s1FAIL27.45
Qq2k3k3v100v100m1200s3FAIL27.55
Qq2k3k3v50v50m700s3FAIL27.66
Qq2k3k3v50v50m700s1FAIL27.79
Qq2k3k3v50v50m700s6FAIL27.8
Qq2k3k3v50v50m700s7FAIL27.88
Qq2k3k3v50v50m700s5FAIL27.91
Qq2k3k3v50v50m700s8FAIL28
Qq2k3k3v100v100m1200s7FAIL28.05
Qq2k3k3v100v100m400s2FAIL28.05
Qq2k3k3v50v50m700s4FAIL28.06
robots_1_5_3_55.8FAIL28.14
Qq2k3k3v100v100m400s10FAIL28.26
Qq2k3k3v100v100m400s5FAIL28.28
robots_1_5_3_70.8FAIL28.28
Qq2k3k3v100v100m400s6FAIL28.33
robots_1_5_3_27.8FAIL28.5
Qq2k3k3v100v100m2000s4FAIL28.58
Qq2k3k3v100v100m2000s6FAIL28.6
Qq2k3k3v50v50m800s9FAIL28.61
Qq2k3k3v100v100m2000s1FAIL28.63
Qq2k3k3v50v50m300s9FAIL28.65
Qq2k3k3v100v100m2000s9FAIL28.68
Qq2k3k3v100v100m2000s5FAIL28.69
Qq2k3k3v100v100m2000s2FAIL28.78
robots_1_5_3_100.8FAIL28.79
robots_1_5_3_16.8FAIL28.82
robots_1_5_3_8.8FAIL28.83
Qq2k3k3v100v100m2000s3FAIL28.89
Qq2k3k3v100v100m2000s8FAIL28.91
robots_1_5_3_44.8FAIL29.12
ncf_8_16_4_u.4FAIL29.31
robots_1_5_3_64.8FAIL29.32
Qq2k3k3v50v50m800s1FAIL29.33
Qq2k3k3v50v50m800s3FAIL29.45
robots_1_5_3_39.8FAIL29.57
Qq2k3k3v50v50m400s2FAIL29.65
Qq2k3k3v50v50m800s10FAIL29.68
Qq2k3k3v50v50m300s4FAIL29.68
Qq2k3k3v50v50m800s2FAIL29.7
Qq2k3k3v50v50m800s7FAIL29.72
Qq2k3k3v50v50m800s6FAIL29.72
Qq2k3k3v50v50m800s5FAIL29.85
Qq2k3k3v50v50m800s4FAIL29.9
Qq2k3k3v50v50m800s8FAIL29.94
Qq2k3k3v50v50m300s8FAIL29.99
Qq2k3k3v50v50m300s3FAIL30.02
ncf_16_32_8_u.5FAIL30.05
Qq2k3k3v50v50m300s5FAIL30.22
ncf_16_32_8_u.7FAIL30.36
Qq2k3k3v50v50m300s2FAIL30.68
Qq2k3k3v50v50m400s7FAIL30.73
Qq2k3k3v50v50m300s10FAIL30.74
Qq2k3k3v50v50m400s10FAIL30.88
Qq2k3k3v50v50m300s6FAIL31.07
ncf_16_32_8_u.6FAIL31.11
Qq2k3k3v50v50m400s1FAIL31.13
Qq2k3k3v50v50m300s7FAIL31.44
Qq2k3k3v50v50m300s1FAIL31.61
ncf_16_32_8_u.10FAIL31.65
ncf_8_16_4_d.7FAIL31.94
ncf_8_16_4_u.3FAIL32.41
ncf_16_32_8_edau.1FAIL32.55
ncf_16_32_8_edau.8FAIL32.6
ncf_16_32_8_u.9FAIL32.68
ncf_16_32_8_u.3FAIL32.69
ncf_16_32_8_edau.7FAIL32.75
ncf_16_32_8_euad.3FAIL32.85
ncf_16_32_8_u.8FAIL32.86
ncf_8_16_4_euad.8FAIL32.94
ncf_8_16_4_euad.3FAIL32.99
ncf_8_16_4_euad.10FAIL33.3
ncf_8_16_4_u.7FAIL33.41
ncf_8_16_4_edau.3FAIL33.42
Qq2k3k3v50v50m200s7FAIL33.54
ncf_8_16_4_u.10FAIL33.87
ncf_16_32_8_u.4FAIL33.91
ncf_8_16_4_euad.4FAIL34.02
Qq2k3k3v50v50m200s9FAIL34.03
ncf_8_16_4_euad.7FAIL34.15
ncf_16_32_8_euad.7FAIL34.23
ncf_16_32_8_edau.9FAIL34.26
ncf_16_32_8_edau.2FAIL34.34
ncf_8_16_4_euad.9FAIL34.82
ncf_16_32_8_d.2FAIL34.85
ncf_16_32_8_edau.3FAIL35
ncf_8_16_4_d.3FAIL35.87
ncf_16_32_8_d.10FAIL35.91
ncf_16_32_8_d.9FAIL36.32
Qq2k3k3v20v20m240s7SAT36.37
ncf_16_32_8_d.5FAIL36.38
ncf_16_32_8_euad.10FAIL36.41
ncf_8_16_4_euad.6FAIL36.51
ncf_8_16_4_u.9FAIL36.62
x30.0UNSAT37.07
ncf_16_32_8_edau.10FAIL37.3
ncf_16_32_8_euad.2FAIL38.04
ncf_16_32_8_edau.6FAIL38.13
ncf_8_16_4_edau.4FAIL38.19
ncf_16_32_8_euad.8FAIL38.36
ncf_8_16_4_u.8FAIL38.47
ncf_16_32_8_u.1FAIL38.55
ncf_16_32_8_euad.4FAIL39
ncf_16_32_8_d.6FAIL39.12
Qq2k3k3v20v20m320s9FAIL39.22
x30.7UNSAT39.93
ncf_16_32_8_edau.5FAIL40.11
ncf_16_32_8_u.2FAIL40.14
ncf_8_16_4_u.6FAIL40.69
Qq2k3k3v20v20m360s5FAIL40.84
ncf_16_32_8_euad.1FAIL41.01
ncf_16_32_8_euad.6FAIL41.65
ncf_16_32_8_euad.5FAIL41.99
ncf_16_32_8_d.8FAIL42.02
ncf_16_32_8_d.1FAIL42.3
Qq2k3k3v20v20m360s6FAIL42.84
ncf_16_32_8_d.7FAIL42.95
Qq2k3k3v20v20m360s8FAIL43.12
Qq2k3k3v20v20m360s9FAIL43.44
Qq2k3k3v20v20m400s5FAIL43.51
Qq2k3k3v20v20m360s3FAIL43.56
Qq2k3k3v20v20m240s3SAT43.7
Qq2k3k3v20v20m360s10FAIL43.88
Qq2k3k3v20v20m360s1FAIL44
Qq2k3k3v20v20m360s7FAIL44.18
Qq2k3k3v20v20m360s4FAIL44.34
Qq2k3k3v20v20m360s2FAIL44.64
ncf_16_32_8_euad.9FAIL44.76
Qq2k3k3v20v20m400s6FAIL45.46
Qq2k3k3v20v20m400s3FAIL45.87
Qq2k3k3v20v20m400s8FAIL45.9
Qq2k3k3v20v20m400s2FAIL45.98
Qq2k3k3v20v20m400s10FAIL46.3
Qq2k3k3v20v20m400s4FAIL46.35
Qq2k3k3v20v20m400s1FAIL46.4
Qq2k3k3v20v20m400s9FAIL46.43
ncf_8_16_4_d.9FAIL46.46
Qq2k3k3v20v20m400s7FAIL46.84
Qq2k3k3v20v20m240s4SAT47.09
robots_1_5_3_2.4FAIL47.5
Qq2k3k3v20v20m240s5SAT48.68
Qq2k3k3v50v50m200s3SAT48.95
Qq2k3k3v20v20m240s2SAT49.34
Qq2k3k3v20v20m240s1SAT49.38
ncf_8_16_4_d.4FAIL49.75
ncf_8_16_4_edau.9FAIL50.53
Qq2k3k3v20v20m240s8SAT51.55
x30.3SAT53.53
robots_1_5_3_66.4FAIL57.69
Qq2k3k3v20v20m320s3FAIL57.92
robots_1_5_3_57.4FAIL58.18
ncf_16_32_8_d.3FAIL58.9
robots_1_5_3_24.4FAIL58.92
Qq2k3k3v20v20m320s8FAIL58.96
Qq2k3k3v20v20m240s10SAT59.14
robots_1_5_3_52.4FAIL59.55
robots_1_5_3_16.4FAIL59.62
Qq2k3k3v20v20m320s7FAIL60.82
Qq2k3k3v20v20m320s6FAIL61.47
Qq2k3k3v20v20m320s4FAIL61.71
Qq2k3k3v20v20m320s1FAIL62.2
Qq2k3k3v20v20m320s10FAIL62.25
robots_1_5_3_100.4FAIL62.4
robots_1_5_2_39.4FAIL62.94
robots_1_5_2_99.4FAIL63
Qq2k3k3v50v50m200s5FAIL63
Qq2k3k3v20v20m320s2FAIL63.6
robots_1_5_2_100.4FAIL63.66
robots_1_5_2_80.4FAIL63.75
robots_1_5_2_21.4FAIL63.76
Qq2k3k3v20v20m320s5FAIL64.77
Qq2k3k3v20v20m280s6FAIL65.64
robots_1_5_2_82.4FAIL66.43
Qq2k3k3v20v20m280s9FAIL66.77
Qq2k3k3v20v20m240s9SAT66.89
robots_1_5_2_2.4FAIL67.36
x120.3FAIL68.36
robots_1_5_2_3.4FAIL69
Qq2k3k3v20v20m240s6SAT69.03
robots_1_5_3_44.4FAIL69.65
robots_1_5_2_85.4FAIL71.83
Qq2k3k3v50v50m200s6FAIL71.89
robots_1_5_2_45.4FAIL72.99
x240.7FAIL75.12
x240.4FAIL77.76
x240.0FAIL78.1
x120.0FAIL79.21
x120.2FAIL79.87
robots_1_5_5_66.4FAIL80.4
x240.5FAIL82.14
robots_1_5_5_26.4FAIL83.36
x240.9FAIL84.95
x240.3FAIL85.07
robots_1_5_4_87.4FAIL85.62
x240.6FAIL85.93
robots_1_5_5_30.4FAIL86.17
robots_1_5_4_46.4FAIL86.51
x240.1FAIL87.47
robots_1_5_4_98.4FAIL87.61
robots_1_5_5_45.4FAIL87.86
robots_1_5_4_2.4FAIL88.36
robots_1_5_3_78.4FAIL89.05
robots_1_5_5_34.4FAIL89.12
robots_1_5_4_91.4FAIL89.17
x60.6FAIL89.76
robots_1_5_4_51.4FAIL89.89
x240.8FAIL90.02
robots_1_5_3_20.4FAIL90.96
robots_1_5_5_93.4FAIL91.02
robots_1_5_5_12.4FAIL91.11
robots_1_5_4_30.4FAIL92.47
robots_1_5_5_87.4FAIL93.14
x60.0FAIL93.15
robots_1_5_4_50.4FAIL93.45
robots_1_5_4_100.4FAIL93.58
robots_1_5_4_31.4FAIL94.27
x240.2FAIL94.49
robots_1_5_5_100.4FAIL94.53
robots_1_5_5_8.4FAIL94.57
x60.2FAIL94.81
x60.9FAIL95.19
x60.5FAIL95.33
Qq2k3k3v50v50m200s8SAT95.97
x60.1FAIL96.43
x60.3FAIL96.45
x60.8FAIL99.03
T-edau-5FAIL101.09
x60.4FAIL101.11
S-edau-5FAIL105.01
Qq2k3k3v50v50m200s2SAT105.66
S-edau-2FAIL106.14
T-adeu-6FAIL106.37
x60.7FAIL108.51
x120.4FAIL108.56
T-adeu-9FAIL108.9
S-adeu-8FAIL109.22
S-adeu-2FAIL109.62
T-adeu-2FAIL110.39
T-edau-4FAIL110.76
S-adeu-5FAIL111.14
S-edau-1FAIL112.48
T-adeu-4FAIL113.17
S-edau-3FAIL113.43
T-edau-2FAIL113.53
T-edau-1FAIL113.61
S-edau-9FAIL113.94
S-edau-4FAIL114.59
S-edau-6FAIL114.78
T-edau-0FAIL115.36
T-adeu-1FAIL115.61
S-edau-8FAIL115.71
x120.8FAIL117.45
S-edau-7FAIL117.78
T-adeu-0FAIL118.81
T-edau-8FAIL119.26
T-edau-6FAIL120.04
Qq2k3k3v20v20m280s7SAT120.62
T-edau-3FAIL120.64
x120.1FAIL121.44
S-adeu-1FAIL121.81
T-adeu-7FAIL121.94
S-adeu-6FAIL122.44
S-adeu-3FAIL123.18
S-adeu-4FAIL123.36
S-adeu-9FAIL123.42
S-edau-0FAIL123.48
x120.6FAIL124.9
T-adeu-8FAIL126.27
T-adeu-3FAIL127
x120.5FAIL129.44
Qq2k3k3v20v20m280s1SAT129.46
x120.9FAIL136.64
x120.7FAIL138.05
S-adeu-7FAIL143.78
S-adeu-0FAIL147.51
Qq2k3k3v20v20m280s3SAT150.67
Qq2k3k3v20v20m280s5SAT159.59
Qq2k3k3v20v20m280s4SAT159.95
Qq2k3k3v20v20m280s10SAT163.13
Qq2k3k3v50v50m200s4SAT163.72
T-edau-7FAIL166.95
Qq2k3k3v20v20m280s2SAT171.23
T-edau-9FAIL172.26
Qq2k3k3v20v20m280s8SAT178.4
Qq2k3k3v50v50m200s1SAT180.98
T-adeu-5FAIL196.34