Instances solved by qbfrelay
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
hex_hein_4x4_04SAT0.1
Q_2-3_v-80-100_r-13.4UNSAT0.66
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT1.81
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT1.82
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT1.82
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT1.82
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT1.98
Q_2-3_v-80-100_r-11.2FAIL2.97
Q_2-3_v-80-100_r-11.4FAIL3.08
Q_2-3_v-80-100_r-11.3FAIL3.1
Q_2-3_v-80-100_r-11.6FAIL3.1
Q_2-3_v-80-100_r-11.8FAIL3.13
Q_2-3_v-80-100_r-11.1FAIL3.14
Q_2-3_v-80-100_r-11.5FAIL3.23
Q_2-3_v-80-100_r-11.9FAIL3.24
Q_3-3_v-100-100_r-11.2FAIL3.27
Q_2-3_v-80-100_r-11.0FAIL3.28
Q_3-3_v-100-100_r-11.1FAIL3.31
Q_3-3_v-100-100_r-11.7FAIL3.31
Q_3-3_v-100-100_r-13.4FAIL3.32
Q_3-3_v-100-100_r-11.6FAIL3.33
Q_2-3_v-80-100_r-5.0FAIL3.35
Q_3-3_v-100-100_r-11.9FAIL3.4
Q_2-3_v-80-100_r-13.8FAIL3.4
Q_2-3_v-80-100_r-7.9FAIL3.41
Q_2-3_v-80-100_r-13.7FAIL3.42
Q_2-3_v-80-100_r-13.0FAIL3.43
Q_2-3_v-80-100_r-13.6FAIL3.45
Q_3-3_v-100-100_r-13.3FAIL3.45
Q_3-3_v-100-100_r-11.0FAIL3.46
Q_2-3_v-80-100_r-7.3FAIL3.46
Q_2-3_v-80-100_r-13.5FAIL3.47
Q_3-3_v-100-100_r-11.3FAIL3.48
Q_2-3_v-80-100_r-13.1FAIL3.51
Q_2-3_v-80-100_r-5.8FAIL3.52
Q_2-3_v-80-100_r-5.7FAIL3.52
Q_2-3_v-80-100_r-7.4FAIL3.53
Q_2-3_v-80-100_r-7.5FAIL3.54
Q_3-3_v-100-100_r-13.5FAIL3.54
Q_2-3_v-80-100_r-7.2FAIL3.56
Q_3-3_v-100-100_r-13.2FAIL3.56
Q_2-3_v-80-100_r-5.5FAIL3.56
Q_2-3_v-80-100_r-9.4FAIL3.57
Q_2-3_v-80-100_r-11.7FAIL3.58
Q_3-3_v-100-100_r-11.8FAIL3.58
Q_3-3_v-100-100_r-15.5FAIL3.6
Q_3-3_v-100-100_r-17.7FAIL3.6
Q_3-3_v-100-100_r-15.7FAIL3.61
Q_3-3_v-100-100_r-13.8FAIL3.61
Q_3-3_v-100-100_r-11.5FAIL3.61
Q_3-3_v-100-100_r-13.6FAIL3.61
Q_2-3_v-80-100_r-5.3FAIL3.63
Q_3-3_v-100-100_r-13.1FAIL3.63
Q_2-3_v-80-100_r-9.1FAIL3.65
Q_3-3_v-100-100_r-17.4FAIL3.65
Q_2-3_v-80-100_r-7.6FAIL3.65
Q_3-3_v-100-100_r-11.4FAIL3.68
Q_2-3_v-80-100_r-5.2FAIL3.7
Q_2-3_v-80-100_r-9.6FAIL3.71
Q_2-3_v-80-100_r-9.0FAIL3.72
Q_3-3_v-100-100_r-15.9FAIL3.73
Q_2-3_v-80-100_r-7.1FAIL3.73
Q_3-3_v-100-100_r-15.4FAIL3.74
Q_3-3_v-100-100_r-17.3FAIL3.75
Q_2-3_v-80-100_r-5.9FAIL3.75
Q_3-3_v-100-100_r-15.1FAIL3.77
Q_2-3_v-80-100_r-5.4FAIL3.77
Q_2-3_v-80-100_r-7.8FAIL3.77
Q_3-3_v-100-100_r-17.6FAIL3.78
Q_3-3_v-100-100_r-17.9FAIL3.79
Q_3-3_v-100-100_r-15.8FAIL3.79
Q_3-3_v-100-100_r-15.6FAIL3.8
Q_3-3_v-100-100_r-15.0FAIL3.8
Q_2-3_v-80-100_r-7.0FAIL3.81
Q_2-3_v-80-100_r-5.6FAIL3.81
Q_2-3_v-80-100_r-9.3FAIL3.82
Q_2-3_v-80-100_r-5.1FAIL3.83
Q_3-3_v-100-100_r-19.4FAIL3.83
Q_3-3_v-100-100_r-13.9FAIL3.83
Q_2-3_v-80-100_r-9.9FAIL3.84
Q_2-3_v-80-100_r-9.7FAIL3.84
Q_3-3_v-100-100_r-13.0FAIL3.87
Q_3-3_v-100-100_r-13.7FAIL3.88
Q_3-3_v-100-100_r-17.8FAIL3.88
Q_3-3_v-100-100_r-17.0FAIL3.9
Q_3-3_v-100-100_r-17.2FAIL3.91
Q_3-3_v-100-100_r-19.2FAIL3.92
Q_3-3_v-100-100_r-15.2FAIL3.93
Q_3-3_v-100-100_r-17.5FAIL3.93
Q_2-3_v-80-100_r-9.5FAIL3.93
Q_2-3_v-80-100_r-9.8FAIL3.96
Q_3-3_v-100-100_r-19.7FAIL3.96
Q_3-3_v-100-100_r-17.1FAIL3.98
Q_3-3_v-100-100_r-19.5FAIL3.99
Q_3-3_v-100-100_r-15.3FAIL4
Q_3-3_v-100-100_r-19.3FAIL4.01
Q_2-3_v-80-100_r-9.2FAIL4.02
Q_3-3_v-100-100_r-19.1FAIL4.1
Q_3-3_v-100-100_r-19.8FAIL4.11
Q_3-3_v-100-100_r-19.9FAIL4.16
Q_3-3_v-100-100_r-19.0FAIL4.24
Q_3-3_v-100-100_r-19.6FAIL4.87
Q_2-3_v-80-100_r-7.7FAIL6.49
klieber2017q-104-26-eqFAIL6.61
klieber2017q-108-27-t1FAIL6.99
klieber2017q-104-26-t1FAIL7.01
klieber2017q-112-28-t1FAIL7.68
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspFAIL7.77
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.aspFAIL7.89
klieber2017q-112-28-eqFAIL7.92
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspSAT8.1
klieber2017q-116-29-eqFAIL8.27
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL8.36
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspFAIL8.39
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL8.4
klieber2017q-108-27-eqFAIL8.41
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL8.66
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL8.92
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL8.96
klieber2017q-092-23-eqFAIL8.97
klieber2017q-096-24-eqFAIL9.02
klieber2017q-100-25-eqFAIL9.08
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL9.19
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL9.27
klieber2017q-100-25-t1FAIL9.35
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL9.37
klieber2017q-096-24-t1FAIL9.37
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.aspFAIL9.38
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL9.52
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL9.65
klieber2017q-092-23-t1FAIL9.7
klieber2017q-116-29-t1FAIL9.91
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspFAIL10.15
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.aspFAIL10.31
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.aspFAIL10.36
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.aspFAIL10.36
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.aspFAIL10.37
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.aspFAIL10.51
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.aspFAIL10.59
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.aspFAIL10.61
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.aspFAIL10.66
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.aspFAIL10.85
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#12.aspFAIL10.91
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.aspFAIL10.97
hex_hein_7x7_18SAT11.65
klieber2017q-084-21-t1UNSAT12.16
klieber2017q-076-19-t1UNSAT13.63
hex_rand_6x6-12m-9FAIL13.96
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspFAIL15.46
hex_rand_6x6-12m-8FAIL15.71
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.aspFAIL16.13
hex_rand_6x6-12m-5FAIL17.7
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL18.39
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL18.73
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL18.86
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.aspFAIL19.06
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL19.06
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL19.16
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.aspFAIL19.21
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.aspFAIL19.4
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.aspFAIL19.57
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.aspFAIL19.57
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.aspFAIL19.63
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.aspFAIL19.86
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL20
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspFAIL20.17
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL20.41
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.aspFAIL20.51
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL20.88
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.aspFAIL20.91
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspFAIL21.24
ttt_5x5-shape-3-GTTT-1-2-torus-1FAIL21.32
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.aspFAIL21.41
hex_rand_6x6-12m-4FAIL21.59
hex_rand_6x6-12m-0FAIL21.61
ncf_16_64_4_d.10FAIL21.64
hex_rand_6x6-12m-3FAIL22.09
ttt_5x5-shape-3-GTTT-2-1-torus-0FAIL22.21
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL22.28
ttt_5x5-shape-3-GTTT-1-1-torus-0FAIL22.38
ttt_5x5-shape-3-GTTT-2-2-torus-1FAIL22.7
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL22.77
ttt_5x5-shape-3-GTTT-1-1-torus-1FAIL22.83
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL23.02
ttt_5x5-shape-2-GTTT-1-1-torus-0FAIL23.03
ttt_5x5-shape-2-GTTT-1-2-torus-1FAIL23.05
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL23.08
ttt_5x5-shape-3-GTTT-2-1-torus-1FAIL23.11
ttt_5x5-shape-1-GTTT-2-1-torus-0FAIL23.13
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL23.15
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL23.17
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL23.49
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspFAIL24.03
ttt_5x5-shape-1-GTTT-2-2-torus-1FAIL24.23
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL24.83
ttt_5x5-shape-3-GTTT-1-2-torus-0FAIL24.98
ttt_5x5-shape-7-GTTT-2-2-torus-1FAIL25.27
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspFAIL25.3
ttt_5x5-shape-7-GTTT-1-2-torus-0FAIL25.46
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL25.59
ttt_5x5-shape-2-GTTT-2-2-torus-0FAIL25.59
ttt_5x5-shape-4-GTTT-1-2-torus-0FAIL25.62
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL25.69
ttt_5x5-shape-7-GTTT-1-1-torus-1FAIL25.77
ttt_5x5-shape-3-GTTT-2-2-torus-0FAIL25.78
ttt_5x5-shape-7-GTTT-1-1-torus-0FAIL26.03
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL26.1
ttt_5x5-shape-7-GTTT-1-2-torus-1FAIL26.44
ttt_5x5-shape-2-GTTT-1-2-torus-0FAIL26.62
ttt_5x5-shape-7-GTTT-2-1-torus-1FAIL26.65
ttt_5x5-shape-7-GTTT-2-1-torus-0FAIL26.66
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL26.72
ttt_5x5-shape-7-GTTT-2-2-torus-0FAIL27.09
ttt_5x5-shape-2-GTTT-1-1-torus-1FAIL27.12
ttt_5x5-shape-4-GTTT-2-2-torus-0FAIL27.19
ttt_5x5-shape-2-GTTT-2-2-torus-1FAIL27.44
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL27.64
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL27.84
ttt_5x5-shape-6-GTTT-1-1-torus-0FAIL27.89
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL27.92
ttt_5x5-shape-6-GTTT-1-2-torus-1FAIL27.98
ttt_5x5-shape-6-GTTT-2-1-torus-0FAIL28.12
ttt_5x5-shape-4-GTTT-1-1-torus-0FAIL28.16
ttt_5x5-shape-4-GTTT-1-2-torus-1FAIL28.43
ttt_5x5-shape-2-GTTT-2-1-torus-1FAIL28.73
ttt_5x5-shape-6-GTTT-2-2-torus-1FAIL29.02
ttt_5x5-shape-2-GTTT-2-1-torus-0FAIL29.12
ttt_5x5-shape-6-GTTT-1-1-torus-1FAIL29.19
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL29.3
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL29.32
ttt_5x5-shape-6-GTTT-2-1-torus-1FAIL29.51
ttt_5x5-shape-4-GTTT-2-1-torus-1FAIL29.85
ttt_5x5-shape-4-GTTT-2-1-torus-0FAIL30.17
ttt_5x5-shape-4-GTTT-1-1-torus-1FAIL30.39
ttt_5x5-shape-6-GTTT-2-2-torus-0FAIL30.46
ttt_5x5-shape-5-GTTT-2-2-torus-0FAIL31.1
ttt_5x5-shape-5-GTTT-1-2-torus-0FAIL31.13
ttt_5x5-shape-5-GTTT-1-1-torus-0FAIL31.3
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL31.44
ttt_5x5-shape-4-GTTT-2-2-torus-1FAIL32.01
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspFAIL32.12
hex_rand_6x6-12m-2FAIL32.36
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL32.81
ncf_16_128_2_u.7FAIL32.86
hex_rand_6x6-12m-7FAIL32.91
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.aspFAIL33
Q_2-2-3_v-100-100-100_r-35.5FAIL33.51
ttt_5x5-shape-5-GTTT-2-1-torus-0FAIL33.57
Q_2-2-3_v-100-100-100_r-35.3FAIL33.58
Q_2-2-3_v-100-100-100_r-35.7FAIL33.63
Q_2-2-3_v-100-100-100_r-35.9FAIL33.65
Q_2-2-3_v-100-100-100_r-35.8FAIL33.66
Q_2-2-3_v-100-100-100_r-35.0FAIL33.68
Q_3-3-3_v-100-100-100_r-30.5FAIL33.7
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL33.71
Q_2-2-3_v-100-100-100_r-35.6FAIL33.72
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.aspFAIL33.73
Q_2-2-3_v-100-100-100_r-35.1FAIL33.74
Q_2-2-3_v-100-100-100_r-35.4FAIL33.74
Q_3-3-3_v-100-100-100_r-30.2FAIL33.76
Q_3-3-3_v-100-100-100_r-30.6FAIL33.76
Q_2-2-3_v-100-100-100_r-35.2FAIL33.77
Q_3-3-3_v-100-100-100_r-30.1FAIL33.79
Q_3-3-3_v-100-100-100_r-30.8FAIL33.81
Q_3-3-3_v-100-100-100_r-30.9FAIL33.83
Q_3-3-3_v-100-100-100_r-30.4FAIL33.84
ttt_5x5-shape-5-GTTT-1-2-torus-1FAIL33.91
Q_3-3-3_v-100-100-100_r-30.7FAIL33.95
Q_3-3-3_v-100-100-100_r-30.0FAIL33.96
Q_3-3-3_v-100-100-100_r-30.3FAIL33.96
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.aspFAIL34.54
ncf_16_128_2_u.3FAIL34.56
Q_2-2-3_v-100-100-100_r-45.2FAIL34.62
Q_2-2-3_v-100-100-100_r-45.5FAIL34.87
Q_2-2-3_v-100-100-100_r-45.6FAIL34.9
Q_2-2-3_v-100-100-100_r-45.9FAIL34.98
Q_2-2-3_v-100-100-100_r-45.4FAIL35.01
Q_3-3-3_v-100-100-100_r-40.1FAIL35.04
Q_2-2-3_v-100-100-100_r-45.8FAIL35.06
Q_3-3-3_v-100-100-100_r-40.9FAIL35.11
Q_3-3-3_v-100-100-100_r-40.3FAIL35.11
ncf_16_128_2_u.1FAIL35.14
Q_3-3-3_v-100-100-100_r-40.2FAIL35.16
Q_3-3-3_v-100-100-100_r-40.4FAIL35.16
Q_3-3-3_v-100-100-100_r-40.6FAIL35.16
Q_3-3-3_v-100-100-100_r-40.8FAIL35.17
Q_2-2-3_v-100-100-100_r-45.3FAIL35.18
Q_3-3-3_v-100-100-100_r-40.5FAIL35.22
Q_2-2-3_v-100-100-100_r-45.7FAIL35.29
Q_3-3-3_v-100-100-100_r-40.0FAIL35.3
Q_3-3-3_v-100-100-100_r-40.7FAIL35.33
Q_2-2-3_v-100-100-100_r-45.0FAIL35.35
ttt_5x5-shape-5-GTTT-2-2-torus-1FAIL35.35
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.aspFAIL35.51
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.aspFAIL35.55
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspFAIL35.57
Q_2-2-3_v-100-100-100_r-45.1FAIL35.59
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL35.62
ncf_16_128_2_u.5FAIL35.64
ncf_16_128_2_u.9FAIL35.64
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL35.65
ncf_16_128_2_u.4FAIL35.79
ttt_5x5-shape-5-GTTT-2-1-torus-1FAIL35.84
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL35.92
ncf_16_128_2_u.6FAIL36.61
ttt_5x5-shape-5-GTTT-1-1-torus-1FAIL36.64
Q_3-3-3_v-100-100-100_r-50.2FAIL37.17
Q_3-3-3_v-100-100-100_r-50.4FAIL37.22
Q_3-3-3_v-100-100-100_r-50.5FAIL37.23
Q_3-3-3_v-100-100-100_r-50.8FAIL37.24
Q_3-3-3_v-100-100-100_r-50.1FAIL37.26
Q_3-3-3_v-100-100-100_r-50.7FAIL37.27
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.aspFAIL37.29
Q_3-3-3_v-100-100-100_r-50.0FAIL37.31
Q_3-3-3_v-100-100-100_r-50.3FAIL37.34
Q_3-3-3_v-100-100-100_r-50.9FAIL37.37
Q_3-3-3_v-100-100-100_r-50.6FAIL37.47
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.aspFAIL37.58
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspFAIL37.84
ncf_16_128_2_u.10FAIL37.98
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL38.6
ncf_16_128_2_u.8FAIL38.62
Q_3-3-3_v-100-100-100_r-60.3FAIL39.21
Q_3-3-3_v-100-100-100_r-60.2FAIL39.26
Q_3-3-3_v-100-100-100_r-60.4FAIL39.35
Q_3-3-3_v-100-100-100_r-60.1FAIL39.36
ncf_16_128_2_u.2FAIL39.37
Q_3-3-3_v-100-100-100_r-60.0FAIL39.37
Q_3-3-3_v-100-100-100_r-60.8FAIL39.38
Q_3-3-3_v-100-100-100_r-60.9FAIL39.39
Q_3-3-3_v-100-100-100_r-60.5FAIL39.5
Q_3-3-3_v-100-100-100_r-60.7FAIL39.51
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.aspFAIL39.51
hex_rand_6x6-12m-6FAIL39.51
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.aspFAIL40.05
Q_3-3-3_v-100-100-100_r-60.6FAIL41.3
Q_3-3-3_v-100-100-100_r-70.2FAIL41.33
Q_3-3-3_v-100-100-100_r-70.6FAIL41.47
Q_3-3-3_v-100-100-100_r-70.5FAIL41.54
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.aspFAIL41.56
Q_3-3-3_v-100-100-100_r-70.1FAIL41.57
Q_3-3-3_v-100-100-100_r-70.4FAIL41.65
Q_3-3-3_v-100-100-100_r-70.9FAIL41.75
Q_3-3-3_v-100-100-100_r-70.8FAIL41.76
Q_3-3-3_v-100-100-100_r-70.0FAIL41.78
Q_3-3-3_v-100-100-100_r-70.3FAIL41.8
Q_3-3-3_v-100-100-100_r-70.7FAIL41.85
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.aspFAIL43.87
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.aspFAIL45.3
hex_rand_6x6-12m-1FAIL46.08
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL46.31
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL46.7
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL46.73
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL47.15
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.aspFAIL48
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL48.01
Q_2-2-3_v-100-100-100_r-55.4FAIL67.35
Q_2-2-3_v-100-100-100_r-55.8FAIL67.55
Q_2-2-3_v-100-100-100_r-55.9FAIL67.65
Q_2-2-3_v-100-100-100_r-55.0FAIL67.66
Q_2-2-3_v-100-100-100_r-55.3FAIL67.82
Q_2-2-3_v-100-100-100_r-55.6FAIL67.91
Q_2-2-3_v-100-100-100_r-55.7FAIL68.32
Q_2-2-3_v-100-100-100_r-55.5FAIL68.76
Q_2-2-3_v-100-100-100_r-55.2FAIL69.09
Q_2-2-3_v-100-100-100_r-55.1FAIL71.06
klieber2017q-078-19-t1UNSAT84.51
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL86.28
hex_rand_6x6-6m-5FAIL91.93
Q_2-2-3_v-100-100-100_r-65.4FAIL96.18
Q_2-2-3_v-100-100-100_r-65.2FAIL97.83
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspFAIL97.84
Q_2-2-3_v-100-100-100_r-65.3FAIL99.65
hex_rand_6x6-6m-7FAIL105.27
hex_rand_6x6-6m-1FAIL107.05
Q_2-2-3_v-100-100-100_r-65.7FAIL126.63
hex_hein_6x6_03FAIL139.8
Q_2-2-3_v-100-100-100_r-65.9FAIL147.18
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL159.62
hex_rand_6x6-6m-3FAIL160.32
ncf_16_128_8_edau.8FAIL160.87
ncf_16_128_8_euad.8FAIL163.59
ncf_16_128_8_edau.7FAIL166.97
ncf_16_128_8_euad.4FAIL169.15
ncf_16_128_8_euad.9FAIL170.72
ncf_16_128_8_edau.4FAIL170.97
ncf_16_128_8_euad.10FAIL178.97
ncf_16_128_8_euad.3FAIL179.16
ncf_16_128_8_euad.5FAIL180.14
ncf_16_128_8_euad.1FAIL182.6
ncf_16_128_8_edau.9FAIL186.18
ncf_16_128_8_edau.5FAIL188.15
Q_2-2-3_v-100-100-100_r-65.1FAIL188.15
ncf_16_128_8_euad.7FAIL189.56
Q_2-2-3_v-100-100-100_r-75.2FAIL195.98
ncf_16_128_8_euad.6FAIL196.14
Q_2-2-3_v-100-100-100_r-75.3FAIL196.17
Q_2-2-3_v-100-100-100_r-75.4FAIL196.77
ncf_16_128_8_edau.6FAIL197.03
Q_2-2-3_v-100-100-100_r-75.0FAIL197.73
hex_rand_6x6-6m-0FAIL197.74
ncf_16_128_8_edau.3FAIL197.86
Q_2-2-3_v-100-100-100_r-75.6FAIL197.86
ncf_16_128_8_euad.2FAIL198.88
Q_2-2-3_v-100-100-100_r-75.5FAIL199.03
Q_2-2-3_v-100-100-100_r-75.9FAIL199.14
ncf_16_128_8_edau.1FAIL199.58
Q_2-2-3_v-100-100-100_r-75.7FAIL199.67
Q_2-2-3_v-100-100-100_r-65.5FAIL200.39
Q_2-2-3_v-100-100-100_r-75.8FAIL200.86
Q_2-2-3_v-100-100-100_r-75.1FAIL201.98
ncf_16_128_8_edau.10FAIL215.67
klieber2017q-082-20-t1UNSAT219.61
ncf_16_128_8_edau.2FAIL220.62
Q_2-2-3_v-100-100-100_r-65.8FAIL266.77
Q_2-2-3_v-100-100-100_r-65.0FAIL274.17
hex_hein_5x5_05FAIL296.9
hex_rand_6x6-6m-4FAIL310.05
Q_2-2-3_v-100-100-100_r-65.6FAIL315.32
x165.13FAIL318.96
x165.8FAIL347.44
x165.10FAIL350.14
x165.17FAIL353.84
klieber2017q-086-21-t1UNSAT384.98
x165.11FAIL431.15
hex_hein_6x6_20FAIL449.6
hex_rand_6x6-6m-9FAIL455.77
x165.19FAIL457.44
x165.9FAIL470.75
x165.0FAIL481.51
x165.6FAIL496.22
hex_rand_6x6-6m-8FAIL565
hex_rand_6x6-6m-6FAIL585.39
x165.3FAIL586.17
hex_rand_6x6-20m-9FAIL606.96
x220.12FAIL614.69
hex_rand_6x6-20m-2FAIL638.18
klieber2017q-088-22-eqFAIL651.77
hex_rand_6x6-20m-5FAIL653.58
hex_hein_5x5_08FAIL654.2
hex_hein_4x4_06FAIL664.05
hex_rand_6x6-20m-7FAIL673.16
hex_rand_6x6-20m-4FAIL674.81
hex_hein_4x4_09FAIL690.17
hex_rand_6x6-20m-0FAIL693.94
klieber2017q-088-22-t1FAIL703.19
hex_hein_4x4_07FAIL705
hex_rand_6x6-20m-1FAIL708.34
hex_hein_5x5_02FAIL710.22
x220.9FAIL711.45
x210.16FAIL712.97
hex_rand_6x6-6m-2FAIL724.53
x210.11FAIL727.87
hex_rand_6x6-20m-6FAIL728.55
hex_rand_6x6-20m-3FAIL733.82
x210.17FAIL739.13
hex_rand_6x6-20m-8FAIL740.24
x210.1FAIL755.16
x210.6FAIL768.28
hex_hein_4x4_12FAIL770.09
x220.2FAIL771.63
hex_hein_5x5_11FAIL771.85
hex_hein_5x5_13FAIL774.17
hex_hein_5x5_10FAIL791.72
x220.10FAIL794.97
klieber2017q-080-20-eqFAIL811.46
hex_hein_5x5_15FAIL826.01
hex_hein_5x5_16FAIL828.36
klieber2017q-082-20-eqFAIL829.96
hex_hein_5x5_19FAIL833.52
x210.15FAIL853.07
x220.6FAIL859.85
x210.9FAIL861.07
klieber2017q-086-21-eqFAIL863.84
x210.12FAIL869.62
klieber2017q-080-20-t1FAIL869.81
klieber2017q-084-21-eqFAIL874.24
x300.15FAIL880.82
x220.8FAIL881.35
x300.6FAIL881.82
x210.3FAIL885.1
x300.4FAIL886.12
x300.12FAIL887.6
x220.0FAIL887.62
x220.13FAIL889.05
x220.16FAIL889.47
x300.5FAIL890.18
x300.19FAIL890.47
x300.1FAIL891.31
x300.3FAIL891.52
x300.16FAIL892.26
hex_hein_6x6_17FAIL893.98
x210.7FAIL894.1
hex_hein_5x5_14FAIL894.69
x300.8FAIL894.75
x220.19FAIL894.94
klieber2017q-074-18-eqFAIL895.34
robots_1_5_2_93.9FAIL895.48
robots_1_5_2_65.10FAIL895.91
robots_1_5_2_65.8FAIL896.14
robots_1_5_2_93.10FAIL896.86
klieber2017q-078-19-eqFAIL900
klieber2017q-076-19-eqFAIL900
klieber2017q-074-18-t1FAIL900
robots_1_5_2_65.9FAIL900