Instances solved by caqe_hit18
QBFEVAL'18 - Hard Instances Track

InstanceResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.aspSAT648.44
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspSAT705.34
hex_rand_6x6-20m-0SAT901.44
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspSAT999.49
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.aspSAT1082.94
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspSAT1417.32
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.aspSAT1648.39
hex_hein_5x5_08SAT1713.38
hex_hein_5x5_19SAT1806.76
sortnetsort10.AE.stepl.007UNSAT2456.49
hex_rand_6x6-20m-9SAT2686.04
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspSAT2805.81
sortnetsort10.AE.stepl.006SAT3174.12
amba4c7n.satSAT3250.45
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspSAT3364.52
Q_3-3-3_v-100-100-100_r-40.7FAIL3600
Q_3-3-3_v-100-100-100_r-40.8FAIL3600
Q_3-3-3_v-100-100-100_r-40.9FAIL3600
Q_3-3-3_v-100-100-100_r-50.0FAIL3600
Q_3-3-3_v-100-100-100_r-40.6FAIL3600
Q_3-3-3_v-100-100-100_r-40.5FAIL3600
Q_3-3-3_v-100-100-100_r-30.2FAIL3600
Q_3-3-3_v-100-100-100_r-30.3FAIL3600
Q_3-3-3_v-100-100-100_r-30.4FAIL3600
Q_3-3-3_v-100-100-100_r-30.6FAIL3600
Q_3-3-3_v-100-100-100_r-30.7FAIL3600
Q_3-3-3_v-100-100-100_r-30.8FAIL3600
Q_3-3-3_v-100-100-100_r-30.9FAIL3600
Q_3-3-3_v-100-100-100_r-40.0FAIL3600
Q_3-3-3_v-100-100-100_r-40.1FAIL3600
Q_3-3-3_v-100-100-100_r-40.2FAIL3600
Q_3-3-3_v-100-100-100_r-40.3FAIL3600
Q_3-3-3_v-100-100-100_r-40.4FAIL3600
Q_3-3-3_v-100-100-100_r-30.1FAIL3600
Q_3-3-3_v-100-100-100_r-50.1FAIL3600
Q_3-3-3_v-100-100-100_r-50.2FAIL3600
Q_3-3-3_v-100-100-100_r-60.7FAIL3600
Q_3-3-3_v-100-100-100_r-60.8FAIL3600
Q_3-3-3_v-100-100-100_r-60.9FAIL3600
Q_3-3-3_v-100-100-100_r-70.0FAIL3600
Q_3-3-3_v-100-100-100_r-70.1FAIL3600
Q_3-3-3_v-100-100-100_r-70.2FAIL3600
Q_3-3-3_v-100-100-100_r-70.3FAIL3600
Q_3-3-3_v-100-100-100_r-70.4FAIL3600
Q_3-3-3_v-100-100-100_r-70.5FAIL3600
Q_3-3-3_v-100-100-100_r-70.6FAIL3600
Q_3-3-3_v-100-100-100_r-70.7FAIL3600
Q_3-3-3_v-100-100-100_r-70.8FAIL3600
Q_3-3-3_v-100-100-100_r-60.6FAIL3600
Q_3-3-3_v-100-100-100_r-60.5FAIL3600
Q_3-3-3_v-100-100-100_r-50.3FAIL3600
Q_3-3-3_v-100-100-100_r-50.4FAIL3600
Q_3-3-3_v-100-100-100_r-50.5FAIL3600
Q_3-3-3_v-100-100-100_r-50.6FAIL3600
Q_3-3-3_v-100-100-100_r-50.7FAIL3600
Q_3-3-3_v-100-100-100_r-50.8FAIL3600
Q_3-3-3_v-100-100-100_r-50.9FAIL3600
Q_3-3-3_v-100-100-100_r-60.0FAIL3600
Q_3-3-3_v-100-100-100_r-60.1FAIL3600
Q_3-3-3_v-100-100-100_r-60.2FAIL3600
Q_3-3-3_v-100-100-100_r-60.3FAIL3600
Q_3-3-3_v-100-100-100_r-60.4FAIL3600
Q_3-3-3_v-100-100-100_r-70.9FAIL3600
Q_3-3-3_v-100-100-100_r-30.0FAIL3600
Q_2-3_v-80-100_r-9.0FAIL3600
Q_3-3_v-100-100_r-11.6FAIL3600
Q_3-3_v-100-100_r-11.7FAIL3600
Q_3-3_v-100-100_r-11.8FAIL3600
Q_3-3_v-100-100_r-11.9FAIL3600
Q_3-3_v-100-100_r-13.0FAIL3600
Q_3-3_v-100-100_r-13.1FAIL3600
Q_3-3_v-100-100_r-13.2FAIL3600
Q_3-3_v-100-100_r-13.3FAIL3600
Q_3-3_v-100-100_r-13.4FAIL3600
Q_3-3_v-100-100_r-13.5FAIL3600
Q_3-3_v-100-100_r-13.6FAIL3600
Q_3-3_v-100-100_r-13.7FAIL3600
Q_3-3_v-100-100_r-13.8FAIL3600
Q_3-3_v-100-100_r-11.5FAIL3600
Q_3-3_v-100-100_r-11.4FAIL3600
Q_2-3_v-80-100_r-9.1FAIL3600
Q_2-3_v-80-100_r-9.2FAIL3600
Q_2-3_v-80-100_r-9.3FAIL3600
Q_2-3_v-80-100_r-9.4FAIL3600
Q_2-3_v-80-100_r-9.5FAIL3600
Q_2-3_v-80-100_r-9.6FAIL3600
Q_2-3_v-80-100_r-9.7FAIL3600
Q_2-3_v-80-100_r-9.8FAIL3600
Q_2-3_v-80-100_r-9.9FAIL3600
Q_3-3_v-100-100_r-11.0FAIL3600
Q_3-3_v-100-100_r-11.1FAIL3600
Q_3-3_v-100-100_r-11.2FAIL3600
Q_3-3_v-100-100_r-11.3FAIL3600
Q_3-3_v-100-100_r-13.9FAIL3600
Q_3-3_v-100-100_r-15.0FAIL3600
Q_3-3_v-100-100_r-17.6FAIL3600
Q_3-3_v-100-100_r-17.7FAIL3600
Q_3-3_v-100-100_r-17.8FAIL3600
Q_3-3_v-100-100_r-17.9FAIL3600
Q_3-3_v-100-100_r-19.0FAIL3600
Q_3-3_v-100-100_r-19.1FAIL3600
Q_3-3_v-100-100_r-19.2FAIL3600
Q_3-3_v-100-100_r-19.3FAIL3600
Q_3-3_v-100-100_r-19.4FAIL3600
Q_3-3_v-100-100_r-19.5FAIL3600
Q_3-3_v-100-100_r-19.6FAIL3600
Q_3-3_v-100-100_r-19.7FAIL3600
Q_3-3_v-100-100_r-19.8FAIL3600
Q_3-3_v-100-100_r-17.5FAIL3600
Q_3-3_v-100-100_r-17.4FAIL3600
Q_3-3_v-100-100_r-15.1FAIL3600
Q_3-3_v-100-100_r-15.2FAIL3600
Q_3-3_v-100-100_r-15.3FAIL3600
Q_3-3_v-100-100_r-15.4FAIL3600
Q_3-3_v-100-100_r-15.5FAIL3600
Q_3-3_v-100-100_r-15.6FAIL3600
Q_3-3_v-100-100_r-15.7FAIL3600
Q_3-3_v-100-100_r-15.8FAIL3600
Q_3-3_v-100-100_r-15.9FAIL3600
Q_3-3_v-100-100_r-17.0FAIL3600
Q_3-3_v-100-100_r-17.1FAIL3600
Q_3-3_v-100-100_r-17.2FAIL3600
Q_3-3_v-100-100_r-17.3FAIL3600
Q_3-3_v-100-100_r-19.9FAIL3600
hex_rand_6x6-6m-8FAIL3600
ttt_5x5-shape-3-GTTT-1-2-torus-1FAIL3600
ttt_5x5-shape-3-GTTT-2-1-torus-0FAIL3600
ttt_5x5-shape-3-GTTT-2-1-torus-1FAIL3600
ttt_5x5-shape-3-GTTT-2-2-torus-0FAIL3600
ttt_5x5-shape-3-GTTT-2-2-torus-1FAIL3600
ttt_5x5-shape-4-GTTT-2-1-torus-0FAIL3600
ttt_5x5-shape-4-GTTT-2-1-torus-1FAIL3600
ttt_5x5-shape-5-GTTT-2-1-torus-0FAIL3600
ttt_5x5-shape-5-GTTT-2-1-torus-1FAIL3600
ttt_5x5-shape-6-GTTT-1-2-torus-0FAIL3600
ttt_5x5-shape-6-GTTT-2-1-torus-0FAIL3600
ttt_5x5-shape-6-GTTT-2-1-torus-1FAIL3600
ttt_5x5-shape-3-GTTT-1-2-torus-0FAIL3600
ttt_5x5-shape-3-GTTT-1-1-torus-1FAIL3600
ttt_5x5-shape-3-GTTT-1-1-torus-0FAIL3600
hex_rand_6x6-6m-9FAIL3600
hex_hein_5x5_02FAIL3600
hex_hein_5x5_05FAIL3600
hex_hein_5x5_10FAIL3600
hex_hein_5x5_11FAIL3600
hex_hein_5x5_13FAIL3600
hex_hein_5x5_14FAIL3600
hex_hein_5x5_15FAIL3600
hex_hein_5x5_16FAIL3600
hex_hein_6x6_03FAIL3600
hex_hein_6x6_17FAIL3600
hex_hein_6x6_20FAIL3600
ttt_5x5-shape-7-GTTT-1-1-torus-0FAIL3600
ttt_5x5-shape-7-GTTT-1-1-torus-1FAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.aspFAIL3600
ttt_5x5-shape-7-GTTT-1-2-torus-0FAIL3600
ttt_5x5-shape-7-GTTT-1-2-torus-1FAIL3600
ttt_5x5-shape-7-GTTT-2-1-torus-0FAIL3600
ttt_5x5-shape-7-GTTT-2-1-torus-1FAIL3600
ttt_5x5-shape-7-GTTT-2-2-torus-0FAIL3600
ttt_5x5-shape-7-GTTT-2-2-torus-1FAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#12.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.aspFAIL3600
nreachq_query42_1344nFAIL3600
add7_COMPLETEFAIL3600
LoginServiceFAIL3600
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.aspFAIL3600
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.aspFAIL3600
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.aspFAIL3600
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#1.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#60.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#1.aspFAIL3600
amba5b5n.satFAIL3600
add7_CHOOSEFAIL3600
add7_REDUCEDFAIL3600
load_full_4_comp3_REAL.satFAIL3600
query44_query42_1344nFAIL3600
query49_query42_1344nFAIL3600
query57_query42_1344nFAIL3600
query60_query42_1344nFAIL3600
query71_query42_1344nFAIL3600
bobsmfpuFAIL3600
LoginService2FAIL3600
ProcessBeanFAIL3600
ProjectService3FAIL3600
amba4b9y.satFAIL3600
genbuf10b4n.satFAIL3600
load_3c_comp_comp7_REAL.satFAIL3600
genbuf12b4y.satFAIL3600
genbuf14b4y.satFAIL3600
hex_rand_6x6-12m-6FAIL3600
hex_rand_6x6-12m-7FAIL3600
hex_rand_6x6-12m-8FAIL3600
hex_rand_6x6-12m-9FAIL3600
hex_rand_6x6-20m-2FAIL3600
hex_rand_6x6-6m-0FAIL3600
hex_rand_6x6-6m-1FAIL3600
hex_rand_6x6-6m-2FAIL3600
hex_rand_6x6-6m-3FAIL3600
hex_rand_6x6-6m-4FAIL3600
hex_rand_6x6-6m-5FAIL3600
hex_rand_6x6-6m-6FAIL3600
hex_rand_6x6-12m-5FAIL3600
hex_rand_6x6-12m-4FAIL3600
hex_rand_6x6-12m-3FAIL3600
genbuf7b4n.satFAIL3600
genbuf8b4n.satFAIL3600
load_3c_comp_comp6_REAL.satFAIL3600
load_4c_comp_comp4_REAL.satFAIL3600
load_full_3_comp5_REAL.satFAIL3600
ltl2dba_E6_comp2_REAL.satFAIL3600
ltl2dba_Q4_comp4_REAL.satFAIL3600
ltl2dba_U1-4_comp4_REAL.satFAIL3600
mult_bool_matrix_dyn_7_7.satFAIL3600
hex_rand_6x6-12m-0FAIL3600
hex_rand_6x6-12m-1FAIL3600
hex_rand_6x6-12m-2FAIL3600
hex_rand_6x6-6m-7FAIL3600
cf_7_8x7_r_FAIL3600
x300.16FAIL3600
x300.19FAIL3600
x300.1FAIL3600
x300.3FAIL3600
x300.4FAIL3600
x300.5FAIL3600
x300.6FAIL3600
x300.8FAIL3600
eijk.bs3384.S-f4FAIL3600
sortnetsort9.AE.stepl.006FAIL3600
c1_Debug_s3_f1_e1_v1FAIL3600
c3_Debug_s3_f2_e2_v2FAIL3600
x300.15FAIL3600
x300.12FAIL3600
cf_7_8x8_r_FAIL3600
x210.11FAIL3600
x220.0FAIL3600
x220.10FAIL3600
x220.12FAIL3600
x220.13FAIL3600
x220.16FAIL3600
x220.19FAIL3600
x220.2FAIL3600
x220.6FAIL3600
x220.8FAIL3600
x220.9FAIL3600
c3_Debug_s3_f2_e2_v3FAIL3600
c4_Debug_s3_f1_e1_v2FAIL3600
c4_Debug_s3_f1_e2_v2FAIL3600
k12_4_2FAIL3600
k8_3_4FAIL3600
k12_3_2FAIL3600
k10_4_3FAIL3600
k8_2_3FAIL3600
k7_4_4FAIL3600
k7_2_2FAIL3600
k8_3_2FAIL3600
k14_4_4FAIL3600
k14_2_3FAIL3600
k8_4_3FAIL3600
AR-fixpoint-9FAIL3600
ssa7552-158-00FAIL3600
f600-50FAIL3600
c4_Debug_s3_f1_e2_v3FAIL3600
c4_Debug_s5_f2_e2_v1FAIL3600
blocks_enc_2_b4_ser--opt-26_FAIL3600
ring_r7_ser--opt-20_FAIL3600
c5_BMC_p1_k128FAIL3600
c5_BMC_p1_k64FAIL3600
c5_BMC_p2_k1024FAIL3600
c5_BMC_p2_k128FAIL3600
c5_BMC_p2_k256FAIL3600
c5_BMC_p2_k512FAIL3600
c5_BMC_p2_k64FAIL3600
f600-00FAIL3600
small-equiv-fixpoint-6FAIL3600
cf_6_9x7_r_FAIL3600
ev-pr-6x6-17-5-0-1-2-lgFAIL3600
ncf_16_128_8_euad.2FAIL3600
ncf_16_128_8_edau.6FAIL3600
test2_quant_squaring3FAIL3600
s1269_d10_sFAIL3600
connect_7x6_4_RFAIL3600
ev-pr-8x8-19-7-0-1-2-lgFAIL3600
ncf_16_128_8_edau.1FAIL3600
connect_8x7_5_RFAIL3600
connect_9x8_6_RFAIL3600
s3330_d10_uFAIL3600
test2_quant3FAIL3600
ncf_16_128_2_u.4FAIL3600
C6288.blif_0.10_0.20_0_0_inp_exactFAIL3600
connect_8x7_4_RFAIL3600
counter_re_32FAIL3600
connect_8x7_6_RFAIL3600
ncf_16_128_8_euad.7FAIL3600
ev-pr-6x6-11-5-0-1-2-sFAIL3600
C6288.blif_0.10_0.20_0_0_out_exactFAIL3600
ncf_16_128_8_euad.10FAIL3600
ev-pr-6x6-13-5-0-1-2-sFAIL3600
ev-pr-6x6-17-5-0-1-2-sFAIL3600
C6288.blif_0.10_1.00_0_0_out_exactFAIL3600
ev-pr-6x6-19-5-0-1-2-lgFAIL3600
test2_quant_squaring2FAIL3600
ev-pr-6x6-9-5-0-1-2-sFAIL3600
ncf_16_128_8_edau.3FAIL3600
ncf_16_128_8_euad.5FAIL3600
k_ph_p-20FAIL3600
ev-pr-6x6-15-5-0-1-2-sFAIL3600
ncf_16_128_2_u.10FAIL3600
ncf_16_128_8_edau.10FAIL3600
C5315.blif_0.10_0.20_0_0_inp_exactFAIL3600
ev-pr-8x8-17-7-0-1-2-lgFAIL3600
ncf_16_128_8_edau.8FAIL3600
ncf_16_128_8_euad.9FAIL3600
k_ph_p-21FAIL3600
k_ph_p-17FAIL3600
k_ph_p-18FAIL3600
k_ph_p-19FAIL3600
cf_3_9x6_r_FAIL3600
connect_9x8_3_RFAIL3600
ncf_16_128_8_edau.9FAIL3600
C5315.blif_0.10_0.20_0_0_out_exactFAIL3600
ncf_16_128_8_euad.3FAIL3600
ncf_16_128_8_edau.2FAIL3600
ncf_16_128_8_euad.1FAIL3600
ncf_16_128_8_euad.4FAIL3600
counter_64FAIL3600
ev-pr-6x6-19-5-0-1-2-sFAIL3600
C6288.blif_0.10_1.00_0_0_inp_exactFAIL3600
C5315.blif_0.10_0.20_0_1_out_exactFAIL3600
ncf_16_128_8_edau.5FAIL3600
ncf_16_128_8_euad.6FAIL3600
ncf_16_128_8_euad.8FAIL3600
cf_4_9x9_r_FAIL3600
small-pipeline-fixpoint-6FAIL3600
Q_2-2-3_v-100-100-100_r-45.4FAIL3600
Q_2-2-3_v-100-100-100_r-55.9FAIL3600
Q_2-2-3_v-100-100-100_r-65.0FAIL3600
Q_2-2-3_v-100-100-100_r-65.1FAIL3600
Q_2-2-3_v-100-100-100_r-65.2FAIL3600
Q_2-2-3_v-100-100-100_r-65.3FAIL3600
Q_2-2-3_v-100-100-100_r-65.4FAIL3600
Q_2-2-3_v-100-100-100_r-65.5FAIL3600
Q_2-2-3_v-100-100-100_r-65.6FAIL3600
Q_2-2-3_v-100-100-100_r-65.7FAIL3600
Q_2-2-3_v-100-100-100_r-65.8FAIL3600
Q_2-2-3_v-100-100-100_r-65.9FAIL3600
Q_2-2-3_v-100-100-100_r-75.0FAIL3600
Q_2-2-3_v-100-100-100_r-55.8FAIL3600
Q_2-2-3_v-100-100-100_r-55.7FAIL3600
Q_2-2-3_v-100-100-100_r-45.5FAIL3600
Q_2-2-3_v-100-100-100_r-45.6FAIL3600
Q_2-2-3_v-100-100-100_r-45.7FAIL3600
Q_2-2-3_v-100-100-100_r-45.8FAIL3600
Q_2-2-3_v-100-100-100_r-45.9FAIL3600
Q_2-2-3_v-100-100-100_r-55.0FAIL3600
Q_2-2-3_v-100-100-100_r-55.1FAIL3600
Q_2-2-3_v-100-100-100_r-55.2FAIL3600
Q_2-2-3_v-100-100-100_r-55.3FAIL3600
Q_2-2-3_v-100-100-100_r-55.4FAIL3600
Q_2-2-3_v-100-100-100_r-55.5FAIL3600
Q_2-2-3_v-100-100-100_r-55.6FAIL3600
Q_2-2-3_v-100-100-100_r-75.1FAIL3600
Q_2-2-3_v-100-100-100_r-75.2FAIL3600
Q_2-2-3_v-100-100-100_r-75.3FAIL3600
Q_2-3_v-80-100_r-5.7FAIL3600
Q_2-3_v-80-100_r-5.8FAIL3600
Q_2-3_v-80-100_r-5.9FAIL3600
Q_2-3_v-80-100_r-7.0FAIL3600
Q_2-3_v-80-100_r-7.1FAIL3600
Q_2-3_v-80-100_r-7.2FAIL3600
Q_2-3_v-80-100_r-7.3FAIL3600
Q_2-3_v-80-100_r-7.4FAIL3600
Q_2-3_v-80-100_r-7.5FAIL3600
Q_2-3_v-80-100_r-7.6FAIL3600
Q_2-3_v-80-100_r-7.7FAIL3600
Q_2-3_v-80-100_r-7.8FAIL3600
Q_2-3_v-80-100_r-5.6FAIL3600
Q_2-3_v-80-100_r-5.5FAIL3600
Q_2-2-3_v-100-100-100_r-75.4FAIL3600
Q_2-2-3_v-100-100-100_r-75.5FAIL3600
Q_2-2-3_v-100-100-100_r-75.6FAIL3600
Q_2-2-3_v-100-100-100_r-75.7FAIL3600
Q_2-2-3_v-100-100-100_r-75.8FAIL3600
Q_2-2-3_v-100-100-100_r-75.9FAIL3600
Q_2-3_v-80-100_r-11.1FAIL3600
Q_2-3_v-80-100_r-5.0FAIL3600
Q_2-3_v-80-100_r-5.1FAIL3600
Q_2-3_v-80-100_r-5.2FAIL3600
Q_2-3_v-80-100_r-5.3FAIL3600
Q_2-3_v-80-100_r-5.4FAIL3600
Q_2-3_v-80-100_r-7.9FAIL3600
Q_2-2-3_v-100-100-100_r-45.3FAIL3600
small-pipeline-fixpoint-4FAIL3600
filesys_fastfat_easup.cFAIL3600
AVStream_hwsim.cppFAIL3600
filesys_cdfs_namesup.cFAIL3600
filesys_cdfs_allocsup.cFAIL3600
input_pnpi8042_moudep.cFAIL3600
hid_hclient_ecdisp.cFAIL3600
network_irda_miniport_nscirda_comm.cFAIL3600
network_usbnwifi_mp_util.cFAIL3600
network_ndis_rtlnwifi_extsta_st_misc.cFAIL3600
kmdf_AMCC5933_sys_S5933DK1.cFAIL3600
input_mouser_cseries.cFAIL3600
b22_C_2_12FAIL3600
network_irda_miniport_nscirda_settings.cFAIL3600
hid_firefly_app_firefly.cppFAIL3600
AR-fixpoint-3FAIL3600
small-equiv-fixpoint-9FAIL3600
small-pipeline-fixpoint-10FAIL3600
small-pipeline-fixpoint-5FAIL3600
AR-fixpoint-5FAIL3600
small-equiv-fixpoint-7FAIL3600
AR-fixpoint-7FAIL3600
small-pipeline-fixpoint-9FAIL3600
small-equiv-fixpoint-10FAIL3600
small-pipeline-fixpoint-7FAIL3600
small-pipeline-fixpoint-8FAIL3600
audio_ac97_wavepcistream.cppFAIL3600
query10_query06_1344nFAIL3600
query10_query34_1344nFAIL3600
query42_query60_1344nFAIL3600
Q_2-2-3_v-100-100-100_r-35.0FAIL3600
Q_2-2-3_v-100-100-100_r-35.1FAIL3600
Q_2-2-3_v-100-100-100_r-35.2FAIL3600
Q_2-2-3_v-100-100-100_r-35.3FAIL3600
Q_2-2-3_v-100-100-100_r-35.4FAIL3600
Q_2-2-3_v-100-100-100_r-35.5FAIL3600
Q_2-2-3_v-100-100-100_r-35.6FAIL3600
Q_2-2-3_v-100-100-100_r-35.7FAIL3600
Q_2-2-3_v-100-100-100_r-35.8FAIL3600
Q_2-2-3_v-100-100-100_r-35.9FAIL3600
Q_2-2-3_v-100-100-100_r-45.0FAIL3600
Q_2-2-3_v-100-100-100_r-45.1FAIL3600
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.aspFAIL3600
query60_query10_1344nFAIL3600
query60_query33_1344nFAIL3600
query71_query34_1344nFAIL3600
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL3600
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL3600
Q_2-2-3_v-100-100-100_r-45.2FAIL3600