Benchmark Result Comparison

Loopus'15 Loopus'14
All 1659 1648
Bounded 806 431
Timeouts 6 20
Failed 847 1197
Total Runtime without Timeouts 20 min 9min
O(1) O(log n) O(n) O(n log n) O(n2) O(n3) O(n>=4) EXP
Loopus'15 205 0 489 0 97 13 2 0
Loopus'14 200 0 188 0 43 0 0 0
Show examples where
Source FileFunctionLoopus'15Loopus'14
BoundDegreeVariablesTime msBoundDegreeVariablesTime ms
automotive_bitcount_src_bitcnt_1.o.bit_count.o bit_count FAILED 500 FAILED 500
automotive_bitcount_src_bitcnts.o.bit_shifter.o bit_shifter 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 64 O(1) 0 500
automotive_bitcount_src_bitcnts.o.main1.o main1 FAILED 10 FAILED 500
automotive_bitcount_src_bitstrng.o.bitstring.o bitstring 1 + (0 + 1) × max(0, (biz ... O(n) 2 10 max(biz, 0) + max(0, (strwi... O(n) 2 500
automotive_bitcount_src_bstr_i.o.bstr_i.o bstr_i FAILED 10 FAILED 500
automotive_bitcount_src_loop-wrap.o.main.o main 1 + (0 + 1) × max(0, (*loo... O(n) 1 10 FAILED 500
automotive_qsort1_src_qsort.o.qsortx.o qsortx FAILED 4630 FAILED 1000
automotive_qsort1_src_qsort.o.shortsort.o shortsort FAILED 10 FAILED 500
automotive_qsort1_src_qsort.o.swap.o swap 1 + (0 + 1) × max(0, (widt... O(n) 1 10 FAILED 500
automotive_qsort1_src_qsort_large.o.main1.o main1 FAILED 40 FAILED 500
automotive_susan_c_src_susan.o.corner_draw.o corner_draw FAILED 10 FAILED 500
automotive_susan_c_src_susan.o.edge_draw.o edge_draw 1 + (0 + 1) × max(0, (0 + ... O(n2) 2 10 max(0, x_size × y_size) + ... O(n2) 2 500
automotive_susan_c_src_susan.o.enlarge.o enlarge 1 + (0 + 1) × max(0, (bord... O(n2) 2 30 FAILED 500
automotive_susan_c_src_susan.o.getint.o getint FAILED 30 max(*(inputStream fd ), 0) ... O(n) 1 500
automotive_susan_c_src_susan.o.int_to_uchar.o int_to_uchar 1 + (0 + 1) × max(0, (size... O(n) 1 10 max(size, 0) + max(size, 0) O(n) 1 500
automotive_susan_c_src_susan.o.main1.o main1 1 + (0 + 1) × max(0, (-3 +... O(n) 1 20 max(0, (-3 + min(argc, (arg... O(n) 1 500
automotive_susan_c_src_susan.o.median.o median 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 56 O(1) 0 500
automotive_susan_c_src_susan.o.setup_brightness_lut.o setup_brightness_lut 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 513 O(1) 0 500
automotive_susan_c_src_susan.o.susan_corners.o susan_corners 1 + (0 + 1) × max(0, (y_si... O(n2) 2 150 max(0, (y_size + -10)) + ma... O(n2) 2 500
automotive_susan_c_src_susan.o.susan_corners_quick.o susan_corners_quick 1 + (0 + 1) × max(0, (y_si... O(n2) 2 180 max(0, (y_size + -14)) + ma... O(n2) 2 500
automotive_susan_c_src_susan.o.susan_edges.o susan_edges 1 + (0 + 1) × max(0, (y_si... O(n2) 2 30 max(0, (y_size + -8)) + max... O(n2) 2 500
automotive_susan_c_src_susan.o.susan_edges_small.o susan_edges_small 1 + (0 + 1) × max(0, (y_si... O(n2) 2 20 max(0, (y_size + -4)) + max... O(n2) 2 500
automotive_susan_c_src_susan.o.susan_principle.o susan_principle 1 + (0 + 1) × max(0, (y_si... O(n2) 2 10 max(0, (y_size + -6)) + max... O(n2) 2 500
automotive_susan_c_src_susan.o.susan_principle_small.o susan_principle_small 1 + (0 + 1) × max(0, (y_si... O(n2) 2 10 max(0, (y_size + -2)) + max... O(n2) 2 500
automotive_susan_c_src_susan.o.susan_smoothing.o susan_smoothing 1 + (0 + 1) × max(0, (*y_s... O(n4) 3 200 FAILED 500
automotive_susan_c_src_susan.o.susan_thin.o susan_thin FAILED 6850 FAILED 1000
bzip2d_src_blocksort.o.BZ2_blockSort.o BZ2_blockSort 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
bzip2d_src_blocksort.o.fallbackQSort3.o fallbackQSort3 FAILED 1440 FAILED 500
bzip2d_src_blocksort.o.fallbackSimpleSort.o fallbackSimpleSort 1 + (0 + 1) × max(0, (hi +... O(n2) 2 50 max(0, (hi + -3 + -lo)) + m... O(n2) 2 500
bzip2d_src_blocksort.o.fallbackSort.o fallbackSort FAILED 830 FAILED 1000
bzip2d_src_blocksort.o.mainGtU.o mainGtU 1 + (0 + 1) × max(0, (nblo... O(n) 1 40 max(0, (nblock + 1)) O(n) 1 500
bzip2d_src_blocksort.o.mainQSort3.o mainQSort3 FAILED 340 FAILED 500
bzip2d_src_blocksort.o.mainSimpleSort.o mainSimpleSort FAILED 170 FAILED 500
bzip2d_src_blocksort.o.mainSort.o mainSort FAILED 830 FAILED 1000
bzip2d_src_bzip2.o.addFlagsFromEnvVar.o addFlagsFromEnvVar FAILED 70 FAILED 500
bzip2d_src_bzip2.o.compress.o compress 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20 4 O(1) 0 1000
bzip2d_src_bzip2.o.compressStream.o compressStream FAILED 500 FAILED 500
bzip2d_src_bzip2.o.main1.o main1 FAILED 450 FAILED 500
bzip2d_src_bzip2.o.pad.o pad FAILED 500 FAILED 500
bzip2d_src_bzip2.o.testStream.o testStream FAILED 10 FAILED 500
bzip2d_src_bzip2.o.uInt64_isZero.o uInt64_isZero 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10 8 O(1) 0 500
bzip2d_src_bzip2.o.uInt64_qrm10.o uInt64_qrm10 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 500 8 O(1) 0 500
bzip2d_src_bzip2.o.uInt64_to_double.o uInt64_to_double 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10 8 O(1) 0 500
bzip2d_src_bzip2.o.uInt64_toAscii.o uInt64_toAscii FAILED 10 FAILED 500
bzip2d_src_bzip2.o.uncompress.o uncompress 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 1000
bzip2d_src_bzip2.o.uncompressStream.o uncompressStream FAILED 20 FAILED 500
bzip2d_src_bzlib.o.add_pair_to_block.o add_pair_to_block 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
bzip2d_src_bzlib.o.BZ2_bzCompress.o BZ2_bzCompress FAILED 10 FAILED 500
bzip2d_src_bzlib.o.BZ2_bzDecompress.o BZ2_bzDecompress FAILED 30 FAILED 500
bzip2d_src_bzlib.o.BZ2_bzRead.o BZ2_bzRead FAILED 60 FAILED 500
bzip2d_src_bzlib.o.BZ2_bzReadOpen.o BZ2_bzReadOpen 1 + (0 + 1) × max(0, (nUnu... O(n) 1 50 max(nUnused, 0) O(n) 1 500
bzip2d_src_bzlib.o.BZ2_bzWrite.o BZ2_bzWrite FAILED 20 FAILED 500
bzip2d_src_bzlib.o.BZ2_bzWriteClose64.o BZ2_bzWriteClose64 FAILED 20 FAILED 500
bzip2d_src_bzlib.o.BZ2_indexIntoF.o BZ2_indexIntoF FAILED 20 FAILED 500
bzip2d_src_bzlib.o.bzopen_or_bzdopen.o bzopen_or_bzdopen FAILED 500 FAILED 500
bzip2d_src_bzlib.o.copy_input_until_stop.o copy_input_until_stop FAILED 10 FAILED 500
bzip2d_src_bzlib.o.copy_output_until_stop.o copy_output_until_stop FAILED 500 FAILED 500
bzip2d_src_bzlib.o.handle_compress.o handle_compress FAILED 130 FAILED 500
bzip2d_src_bzlib.o.prepare_new_block.o prepare_new_block 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 256 O(1) 0 500
bzip2d_src_bzlib.o.unRLE_obuf_to_output_FAST.o unRLE_obuf_to_output_FAST FAILED 500 FAILED 500
bzip2d_src_bzlib.o.unRLE_obuf_to_output_SMALL.o unRLE_obuf_to_output_SMALL FAILED 20 FAILED 500
bzip2d_src_compress.o.bsFinishWrite.o bsFinishWrite FAILED 500 FAILED 500
bzip2d_src_compress.o.bsW.o bsW FAILED 500 FAILED 500
bzip2d_src_compress.o.generateMTFValues.o generateMTFValues FAILED 140 FAILED 500
bzip2d_src_compress.o.makeMaps_e.o makeMaps_e 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 256 O(1) 0 500
bzip2d_src_compress.o.sendMTFValues.o sendMTFValues FAILED 2990 FAILED 500
bzip2d_src_decompress.o.BZ2_decompress.o BZ2_decompress FAILED 500 FAILED 500
bzip2d_src_decompress.o.makeMaps_d.o makeMaps_d 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 256 O(1) 0 500
bzip2d_src_huffman.o.BZ2_hbAssignCodes.o BZ2_hbAssignCodes 1 + (0 + 1) × max(0, (maxL... O(n2) 3 10 max(0, (maxLen + 1 + -minLe... O(n2) 3 500
bzip2d_src_huffman.o.BZ2_hbCreateDecodeTables.o BZ2_hbCreateDecodeTables 1 + (0 + 1) × max(0, (alph... O(n2) 3 100 68 + max(alphaSize, 0) + ma... O(n2) 3 500
bzip2d_src_huffman.o.BZ2_hbMakeCodeLengths.o BZ2_hbMakeCodeLengths FAILED 270 FAILED 500
consumer_jpeg_c_src_cdjpeg.o.keymatch.o keymatch FAILED 10 FAILED 500
consumer_jpeg_c_src_cjpeg.o.main1.o main1 FAILED 50 FAILED 500
consumer_jpeg_c_src_cjpeg.o.parse_switches.o parse_switches 1 + (0 + 1) × max(0, (-1 +... O(n) 2 30 max(0, (-1 + min(argc, (las... O(n) 2 1000
consumer_jpeg_c_src_d_djpeg.o.COM_handler.o COM_handler 1 + (0 + 1) × max(0, (jpeg... O(n) 2 20 max(0, (-2 + (*jpeg_getc(ci... O(n) 0 500
consumer_jpeg_c_src_d_djpeg.o.main1.o main1 FAILED 50 FAILED 500
consumer_jpeg_c_src_d_djpeg.o.parse_switches.o parse_switches 1 + (0 + 1) × max(0, (-1 +... O(n) 2 40 max(0, (-1 + min(argc, (las... O(n) 2 500
consumer_jpeg_c_src_d_rdcolmap.o.add_map_entry.o add_map_entry 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_d_rdcolmap.o.pbm_getc.o pbm_getc FAILED 500 max(0, (*(inputStream infil... O(n) 0 500
consumer_jpeg_c_src_d_rdcolmap.o.read_gif_map.o read_gif_map 1 + (0 + 1) × max(0, (0 + ... O(n) 1 20 FAILED 500
consumer_jpeg_c_src_d_rdcolmap.o.read_pbm_integer.o read_pbm_integer FAILED 40 FAILED 500
consumer_jpeg_c_src_d_rdcolmap.o.read_ppm_map.o read_ppm_map 1 + (0 + 1) × max(0, (read... O(n2) 2 30 max(0, max(0, *read_pbm_in... O(n2) 0 500
consumer_jpeg_c_src_d_wrbmp.o.finish_output_bmp.o finish_output_bmp 1 + (0 + 1) × max(0, (Sele... O(n2) 4 30 FAILED 500
consumer_jpeg_c_src_d_wrbmp.o.jinit_write_bmp.o jinit_write_bmp FAILED 20 FAILED 500
consumer_jpeg_c_src_d_wrbmp.o.put_gray_rows.o put_gray_rows 1 + (0 + 1) × max(0, (Sele... O(n) 4 20 FAILED 500
consumer_jpeg_c_src_d_wrbmp.o.put_pixel_rows.o put_pixel_rows 1 + (0 + 1) × max(0, (Sele... O(n) 4 20 FAILED 500
consumer_jpeg_c_src_d_wrbmp.o.write_colormap.o write_colormap 1 + (0 + 1) × max(0, (map_... O(n) 3 40 FAILED 500
consumer_jpeg_c_src_d_wrgif.o.compress_byte.o compress_byte FAILED 30 FAILED 500
consumer_jpeg_c_src_d_wrgif.o.emit_header.o emit_header FAILED 20 FAILED 500
consumer_jpeg_c_src_d_wrgif.o.output.o output FAILED 500 FAILED 500
consumer_jpeg_c_src_d_wrgif.o.put_pixel_rows.o put_pixel_rows 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_d_wrppm.o.copy_pixel_rows.o copy_pixel_rows 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_d_wrppm.o.put_demapped_gray.o put_demapped_gray 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_d_wrppm.o.put_demapped_rgb.o put_demapped_rgb 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_d_wrtarga.o.put_demapped_gray.o put_demapped_gray 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_d_wrtarga.o.put_gray_rows.o put_gray_rows 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_d_wrtarga.o.put_pixel_rows.o put_pixel_rows 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_d_wrtarga.o.start_output_tga.o start_output_tga 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jcapimin.o.jpeg_CreateCompress.o jpeg_CreateCompress 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 8 O(1) 0 500
consumer_jpeg_c_src_jcapimin.o.jpeg_suppress_tables.o jpeg_suppress_tables 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 8 O(1) 0 500
consumer_jpeg_c_src_jccoefct.o.compress_data.o compress_data FAILED 60 FAILED 500
consumer_jpeg_c_src_jccoefct.o.compress_first_pass.o compress_first_pass FAILED 170 FAILED 500
consumer_jpeg_c_src_jccoefct.o.compress_output.o compress_output FAILED 40 FAILED 500
consumer_jpeg_c_src_jccoefct.o.jinit_c_coef_controller.o jinit_c_coef_controller 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jccolor.o.cmyk_ycck_convert.o cmyk_ycck_convert 1 + (0 + 1) × max(0, (num_... O(n2) 3 10 FAILED 500
consumer_jpeg_c_src_jccolor.o.grayscale_convert.o grayscale_convert 1 + (0 + 1) × max(0, (num_... O(n2) 3 10 FAILED 500
consumer_jpeg_c_src_jccolor.o.null_convert.o null_convert 1 + (0 + 1) × max(0, (num_... O(n3) 4 20 FAILED 500
consumer_jpeg_c_src_jccolor.o.rgb_gray_convert.o rgb_gray_convert 1 + (0 + 1) × max(0, (num_... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jccolor.o.rgb_ycc_convert.o rgb_ycc_convert 1 + (0 + 1) × max(0, (num_... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jccolor.o.rgb_ycc_start.o rgb_ycc_start 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 256 O(1) 0 500
consumer_jpeg_c_src_jcdctmgr.o.forward_DCT.o forward_DCT 1 + (0 + 1) × max(0, (num_... O(n) 1 10 max(num_blocks, 0) + max(0,... O(n) 1 500
consumer_jpeg_c_src_jcdctmgr.o.forward_DCT_float.o forward_DCT_float 1 + (0 + 1) × max(0, (num_... O(n) 1 20 max(num_blocks, 0) + max(0,... O(n) 1 500
consumer_jpeg_c_src_jcdctmgr.o.jinit_forward_dct.o jinit_forward_dct 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20 4 O(1) 0 500
consumer_jpeg_c_src_jcdctmgr.o.start_pass_fdctmgr.o start_pass_fdctmgr 1 + (0 + 1) × max(0, (Sele... O(n) 2 40 FAILED 500
consumer_jpeg_c_src_jchuff.o.emit_bits.o emit_bits 1 + (0 + 1) × max(0, (size... O(n) 4 30 FAILED 500
consumer_jpeg_c_src_jchuff.o.emit_restart.o emit_restart 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 FAILED 500
consumer_jpeg_c_src_jchuff.o.encode_mcu_gather.o encode_mcu_gather 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 FAILED 500
consumer_jpeg_c_src_jchuff.o.encode_mcu_huff.o encode_mcu_huff 1 + (0 + 1) × max(0, (Sele... O(n) 2 30 FAILED 500
consumer_jpeg_c_src_jchuff.o.encode_one_block.o encode_one_block FAILED 80 FAILED 1000
consumer_jpeg_c_src_jchuff.o.finish_pass_gather.o finish_pass_gather 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jchuff.o.htest_one_block.o htest_one_block FAILED 60 FAILED 500
consumer_jpeg_c_src_jchuff.o.jinit_huff_encoder.o jinit_huff_encoder 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 500
consumer_jpeg_c_src_jchuff.o.jpeg_gen_optimal_table.o jpeg_gen_optimal_table FAILED 200 FAILED 500
consumer_jpeg_c_src_jchuff.o.jpeg_make_c_derived_tbl.o jpeg_make_c_derived_tbl FAILED 60 FAILED 500
consumer_jpeg_c_src_jchuff.o.start_pass_huff.o start_pass_huff 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jcmainct.o.jinit_c_main_controller.o jinit_c_main_controller 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jcmainct.o.process_data_simple_main.o process_data_simple_main FAILED 10 FAILED 500
consumer_jpeg_c_src_jcmarker.o.emit_dht.o emit_dht FAILED 70 FAILED 500
consumer_jpeg_c_src_jcmarker.o.emit_dqt.o emit_dqt 1 + (0 + 1) × max(0, (0 + ... O(1) 0 30 128 O(1) 0 500
consumer_jpeg_c_src_jcmarker.o.emit_sof.o emit_sof 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jcmarker.o.emit_sos.o emit_sos 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jcmarker.o.write_any_marker.o write_any_marker 1 + (0 + 1) × max(0, (data... O(n) 1 500 FAILED 500
consumer_jpeg_c_src_jcmarker.o.write_frame_header.o write_frame_header 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jcmarker.o.write_scan_header.o write_scan_header 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jcmarker.o.write_tables_only.o write_tables_only 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 8 O(1) 0 500
consumer_jpeg_c_src_jcmaster.o.initial_setup.o initial_setup 1 + (0 + 1) × max(0, (Sele... O(n) 2 30 FAILED 1000
consumer_jpeg_c_src_jcmaster.o.per_scan_setup.o per_scan_setup FAILED 20 FAILED 500
consumer_jpeg_c_src_jcmaster.o.select_scan_parameters.o select_scan_parameters 1 + (0 + 1) × max(0, (Sele... O(n) 4 20 FAILED 500
consumer_jpeg_c_src_jcmaster.o.validate_script.o validate_script FAILED 240 FAILED 500
consumer_jpeg_c_src_jcomapi.o.jpeg_abort.o jpeg_abort 1 + (0 + 1) × max(0, (0 + 1)) O(1) 0 500 1 O(1) 0 500
consumer_jpeg_c_src_jcparam.o.fill_dc_scans.o fill_dc_scans 1 + (0 + 1) × max(0, (ncom... O(n) 1 10 max(ncomps, 0) O(n) 1 500
consumer_jpeg_c_src_jcparam.o.fill_scans.o fill_scans 1 + (0 + 1) × max(0, (ncom... O(n) 1 500 max(ncomps, 0) O(n) 1 500
consumer_jpeg_c_src_jcparam.o.jpeg_add_quant_table.o jpeg_add_quant_table 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 64 O(1) 0 500
consumer_jpeg_c_src_jcparam.o.jpeg_set_colorspace.o jpeg_set_colorspace 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jcparam.o.jpeg_set_defaults.o jpeg_set_defaults 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 16 O(1) 0 500
consumer_jpeg_c_src_jcphuff.o.emit_bits.o emit_bits 1 + (0 + 1) × max(0, (size... O(n) 3 20 FAILED 500
consumer_jpeg_c_src_jcphuff.o.emit_buffered_bits.o emit_buffered_bits 1 + (0 + 1) × max(0, (nbit... O(n) 1 10 max(nbits, 0) O(n) 1 500
consumer_jpeg_c_src_jcphuff.o.emit_eobrun.o emit_eobrun FAILED 10 FAILED 500
consumer_jpeg_c_src_jcphuff.o.emit_restart.o emit_restart 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 FAILED 500
consumer_jpeg_c_src_jcphuff.o.encode_mcu_AC_first.o encode_mcu_AC_first FAILED 40 FAILED 500
consumer_jpeg_c_src_jcphuff.o.encode_mcu_AC_refine.o encode_mcu_AC_refine 1 + (0 + 1) × max(0, (-15 ... O(n) 3 70 FAILED 500
consumer_jpeg_c_src_jcphuff.o.encode_mcu_DC_first.o encode_mcu_DC_first FAILED 30 FAILED 500
consumer_jpeg_c_src_jcphuff.o.encode_mcu_DC_refine.o encode_mcu_DC_refine 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jcphuff.o.finish_pass_gather_phuff.o finish_pass_gather_phuff 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jcphuff.o.jinit_phuff_encoder.o jinit_phuff_encoder 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 500
consumer_jpeg_c_src_jcphuff.o.start_pass_phuff.o start_pass_phuff 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_jcprepct.o.create_context_buffer.o create_context_buffer 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jcprepct.o.expand_bottom_edge.o expand_bottom_edge 1 + (0 + 1) × max(0, (outp... O(n) 2 500 max(0, (output_rows - input... O(n) 2 500
consumer_jpeg_c_src_jcprepct.o.jinit_c_prep_controller.o jinit_c_prep_controller 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_jcprepct.o.pre_process_context.o pre_process_context FAILED 40 FAILED 500
consumer_jpeg_c_src_jcprepct.o.pre_process_data.o pre_process_data FAILED 30 FAILED 500
consumer_jpeg_c_src_jcsample.o.expand_right_edge.o expand_right_edge 1 + (0 + 1) × max(0, (num_... O(n2) 3 10 max(num_rows, 0) + max(0, ... O(n2) 3 500
consumer_jpeg_c_src_jcsample.o.fullsize_smooth_downsample.o fullsize_smooth_downsample 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jcsample.o.h2v1_downsample.o h2v1_downsample 1 + (0 + 1) × max(0, (Sele... O(n2) 3 10 FAILED 500
consumer_jpeg_c_src_jcsample.o.h2v2_downsample.o h2v2_downsample 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jcsample.o.h2v2_smooth_downsample.o h2v2_smooth_downsample 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jcsample.o.int_downsample.o int_downsample 1 + (0 + 1) × max(0, (Sele... O(n4) 7 20 FAILED 500
consumer_jpeg_c_src_jcsample.o.jinit_downsampler.o jinit_downsampler 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_jcsample.o.sep_downsample.o sep_downsample 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jctrans.o.compress_output.o compress_output FAILED 60 FAILED 500
consumer_jpeg_c_src_jctrans.o.jpeg_copy_critical_parameters.o jpeg_copy_critical_parameters 1 + (0 + 1) × max(0, (Sele... O(n) 2 40 FAILED 500
consumer_jpeg_c_src_jctrans.o.transencode_coef_controller.o transencode_coef_controller 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 10 O(1) 0 500
consumer_jpeg_c_src_jdapimin.o.jpeg_CreateDecompress.o jpeg_CreateDecompress 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 8 O(1) 0 1000
consumer_jpeg_c_src_jdapistd.o.output_pass_setup.o output_pass_setup FAILED 10 FAILED 500
consumer_jpeg_c_src_jdatasrc.o.skip_input_data.o skip_input_data FAILED 10 FAILED 500
consumer_jpeg_c_src_jdcoefct.o.consume_data.o consume_data FAILED 40 FAILED 500
consumer_jpeg_c_src_jdcoefct.o.decompress_data.o decompress_data FAILED 70 FAILED 500
consumer_jpeg_c_src_jdcoefct.o.decompress_onepass.o decompress_onepass FAILED 60 not analyzed
consumer_jpeg_c_src_jdcoefct.o.decompress_smooth_data.o decompress_smooth_data FAILED 70 FAILED 500
consumer_jpeg_c_src_jdcoefct.o.jinit_d_coef_controller.o jinit_d_coef_controller 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jdcoefct.o.smoothing_ok.o smoothing_ok 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_jdcolor.o.build_ycc_rgb_table.o build_ycc_rgb_table 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 256 O(1) 0 500
consumer_jpeg_c_src_jdcolor.o.jinit_color_deconverter.o jinit_color_deconverter 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_jdcolor.o.null_convert.o null_convert 1 + (0 + 1) × max(0, (num_... O(n3) 4 20 FAILED 500
consumer_jpeg_c_src_jdcolor.o.ycc_rgb_convert.o ycc_rgb_convert 1 + (0 + 1) × max(0, (num_... O(n2) 3 10 FAILED 500
consumer_jpeg_c_src_jdcolor.o.ycck_cmyk_convert.o ycck_cmyk_convert 1 + (0 + 1) × max(0, (num_... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jddctmgr.o.jinit_inverse_dct.o jinit_inverse_dct 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jddctmgr.o.start_pass.o start_pass 1 + (0 + 1) × max(0, (Sele... O(n) 2 60 FAILED 500
consumer_jpeg_c_src_jdhuff.o.decode_mcu.o decode_mcu FAILED 3370 FAILED 4000
consumer_jpeg_c_src_jdhuff.o.jinit_huff_decoder.o jinit_huff_decoder 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 500
consumer_jpeg_c_src_jdhuff.o.jpeg_fill_bit_buffer.o jpeg_fill_bit_buffer FAILED 180 FAILED 500
consumer_jpeg_c_src_jdhuff.o.jpeg_huff_decode.o jpeg_huff_decode FAILED 20 FAILED 500
consumer_jpeg_c_src_jdhuff.o.jpeg_make_d_derived_tbl.o jpeg_make_d_derived_tbl FAILED 110 FAILED 500
consumer_jpeg_c_src_jdhuff.o.start_pass_huff_decoder.o start_pass_huff_decoder 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jdinput.o.initial_setup.o initial_setup 1 + (0 + 1) × max(0, (Sele... O(n) 2 40 FAILED 500
consumer_jpeg_c_src_jdinput.o.latch_quant_tables.o latch_quant_tables 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jdinput.o.per_scan_setup.o per_scan_setup FAILED 20 FAILED 500
consumer_jpeg_c_src_jdmainct.o.alloc_funny_pointers.o alloc_funny_pointers 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jdmainct.o.jinit_d_main_controller.o jinit_d_main_controller 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_jdmainct.o.make_funny_pointers.o make_funny_pointers FAILED 40 FAILED 500
consumer_jpeg_c_src_jdmainct.o.set_bottom_pointers.o set_bottom_pointers FAILED 20 FAILED 500
consumer_jpeg_c_src_jdmainct.o.set_wraparound_pointers.o set_wraparound_pointers FAILED 20 FAILED 500
consumer_jpeg_c_src_jdmarker.o.get_sof.o get_sof 1 + (0 + 1) × max(0, (Sele... O(n) 2 250 FAILED 1000
consumer_jpeg_c_src_jdmarker.o.get_soi.o get_soi 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 16 O(1) 0 500
consumer_jpeg_c_src_jdmarker.o.jinit_marker_reader.o jinit_marker_reader 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 16 O(1) 0 500
consumer_jpeg_c_src_jdmarker.o.jpeg_resync_to_restart.o jpeg_resync_to_restart FAILED 30 FAILED 500
consumer_jpeg_c_src_jdmaster.o.jpeg_calc_output_dimensions.o jpeg_calc_output_dimensions FAILED 50 FAILED 500
consumer_jpeg_c_src_jdmaster.o.prepare_range_limit_table.o prepare_range_limit_table 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 640 O(1) 0 500
consumer_jpeg_c_src_jdmerge.o.build_ycc_rgb_table.o build_ycc_rgb_table 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 256 O(1) 0 500
consumer_jpeg_c_src_jdmerge.o.h2v1_merged_upsample.o h2v1_merged_upsample 1 + (0 + 1) × max(0, (0 + ... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jdmerge.o.h2v2_merged_upsample.o h2v2_merged_upsample 1 + (0 + 1) × max(0, (0 + ... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_jdphuff.o.decode_mcu_AC_first.o decode_mcu_AC_first FAILED 290 FAILED 500
consumer_jpeg_c_src_jdphuff.o.decode_mcu_AC_refine.o decode_mcu_AC_refine 1 + (0 + 1) × max(0, (0 + ... O(n) 3 10520 FAILED 19000
consumer_jpeg_c_src_jdphuff.o.decode_mcu_DC_first.o decode_mcu_DC_first 1 + (0 + 1) × max(0, (Sele... O(n) 2 70 FAILED 1000
consumer_jpeg_c_src_jdphuff.o.decode_mcu_DC_refine.o decode_mcu_DC_refine 1 + (0 + 1) × max(0, (Sele... O(n) 2 30 FAILED 500
consumer_jpeg_c_src_jdphuff.o.jinit_phuff_decoder.o jinit_phuff_decoder 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_jdphuff.o.start_pass_phuff_decoder.o start_pass_phuff_decoder 1 + (0 + 1) × max(0, (Sele... O(n2) 4 40 FAILED 500
consumer_jpeg_c_src_jdsample.o.h2v1_fancy_upsample.o h2v1_fancy_upsample 1 + (0 + 1) × max(0, (Sele... O(n2) 4 10 FAILED 500
consumer_jpeg_c_src_jdsample.o.h2v1_upsample.o h2v1_upsample 1 + (0 + 1) × max(0, (Sele... O(n2) 3 10 FAILED 500
consumer_jpeg_c_src_jdsample.o.h2v2_fancy_upsample.o h2v2_fancy_upsample 1 + (0 + 1) × max(0, (Sele... O(n2) 4 20 FAILED 500
consumer_jpeg_c_src_jdsample.o.h2v2_upsample.o h2v2_upsample 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jdsample.o.int_upsample.o int_upsample FAILED 20 FAILED 500
consumer_jpeg_c_src_jdsample.o.jinit_upsampler.o jinit_upsampler 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jdsample.o.sep_upsample.o sep_upsample 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jdtrans.o.jpeg_read_coefficients.o jpeg_read_coefficients FAILED 20 FAILED 500
consumer_jpeg_c_src_jerror.o.format_message.o format_message FAILED 80 FAILED 500
consumer_jpeg_c_src_jfdctflt.o.jpeg_fdct_float.o jpeg_fdct_float 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 16 O(1) 0 500
consumer_jpeg_c_src_jfdctfst.o.jpeg_fdct_ifast.o jpeg_fdct_ifast 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 16 O(1) 0 500
consumer_jpeg_c_src_jfdctint.o.jpeg_fdct_islow.o jpeg_fdct_islow 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 16 O(1) 0 500
consumer_jpeg_c_src_jidctflt.o.jpeg_idct_float.o jpeg_idct_float 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 16 O(1) 0 500
consumer_jpeg_c_src_jidctfst.o.jpeg_idct_ifast.o jpeg_idct_ifast 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 16 O(1) 0 500
consumer_jpeg_c_src_jidctint.o.jpeg_idct_islow.o jpeg_idct_islow 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 16 O(1) 0 500
consumer_jpeg_c_src_jidctred.o.jpeg_idct_2x2.o jpeg_idct_2x2 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 10 O(1) 0 500
consumer_jpeg_c_src_jidctred.o.jpeg_idct_4x4.o jpeg_idct_4x4 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 12 O(1) 0 500
consumer_jpeg_c_src_jmemmgr.o.access_virt_barray.o access_virt_barray 1 + (0 + 1) × max(0, (star... O(n) 5 30 FAILED 1000
consumer_jpeg_c_src_jmemmgr.o.access_virt_sarray.o access_virt_sarray 1 + (0 + 1) × max(0, (star... O(n) 5 20 FAILED 500
consumer_jpeg_c_src_jmemmgr.o.alloc_barray.o alloc_barray FAILED 40 FAILED 500
consumer_jpeg_c_src_jmemmgr.o.alloc_sarray.o alloc_sarray FAILED 40 FAILED 500
consumer_jpeg_c_src_jmemmgr.o.alloc_small.o alloc_small FAILED 300 FAILED 500
consumer_jpeg_c_src_jmemmgr.o.do_barray_io.o do_barray_io 1 + (0 + 1) × max(0, (0 + ... O(n) 6 60 FAILED 500
consumer_jpeg_c_src_jmemmgr.o.do_sarray_io.o do_sarray_io 1 + (0 + 1) × max(0, (0 + ... O(n) 6 60 FAILED 500
consumer_jpeg_c_src_jmemmgr.o.free_pool.o free_pool FAILED 80 FAILED 500
consumer_jpeg_c_src_jmemmgr.o.realize_virt_arrays.o realize_virt_arrays FAILED 70 FAILED 500
consumer_jpeg_c_src_jmemmgr.o.self_destruct.o self_destruct 1 + (0 + 1) × max(0, (0 + 2)) O(1) 0 500 2 O(1) 0 500
consumer_jpeg_c_src_jquant1.o.alloc_fs_workspace.o alloc_fs_workspace 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jquant1.o.color_quantize.o color_quantize 1 + (0 + 1) × max(0, (num_... O(n3) 4 20 FAILED 500
consumer_jpeg_c_src_jquant1.o.color_quantize3.o color_quantize3 1 + (0 + 1) × max(0, (num_... O(n2) 3 10 FAILED 500
consumer_jpeg_c_src_jquant1.o.create_colorindex.o create_colorindex FAILED 20 FAILED 500
consumer_jpeg_c_src_jquant1.o.create_colormap.o create_colormap FAILED 30 FAILED 500
consumer_jpeg_c_src_jquant1.o.create_odither_tables.o create_odither_tables 1 + (0 + 1) × max(0, (Sele... O(n2) 2 20 FAILED 500
consumer_jpeg_c_src_jquant1.o.make_odither_array.o make_odither_array 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 272 O(1) 0 500
consumer_jpeg_c_src_jquant1.o.quantize3_ord_dither.o quantize3_ord_dither 1 + (0 + 1) × max(0, (num_... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jquant1.o.quantize_fs_dither.o quantize_fs_dither 1 + (0 + 1) × max(0, (num_... O(n3) 4 20 FAILED 500
consumer_jpeg_c_src_jquant1.o.quantize_ord_dither.o quantize_ord_dither 1 + (0 + 1) × max(0, (num_... O(n3) 4 20 FAILED 500
consumer_jpeg_c_src_jquant1.o.select_ncolors.o select_ncolors FAILED 70 FAILED 500
consumer_jpeg_c_src_jquant1.o.start_pass_1_quant.o start_pass_1_quant 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jquant2.o.compute_color.o compute_color 1 + (0 + 1) × max(0, (Sele... O(n3) 7 20 FAILED 500
consumer_jpeg_c_src_jquant2.o.fill_inverse_cmap.o fill_inverse_cmap 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 164 O(1) 0 500
consumer_jpeg_c_src_jquant2.o.find_best_colors.o find_best_colors 1 + (0 + 1) × max(0, (numc... O(n) 1 30 128 + max(numcolors, 0) + m... O(n) 1 500
consumer_jpeg_c_src_jquant2.o.find_biggest_color_pop.o find_biggest_color_pop 1 + (0 + 1) × max(0, (numb... O(n) 1 10 max(numboxes, 0) O(n) 1 500
consumer_jpeg_c_src_jquant2.o.find_biggest_volume.o find_biggest_volume 1 + (0 + 1) × max(0, (numb... O(n) 1 500 max(numboxes, 0) O(n) 1 500
consumer_jpeg_c_src_jquant2.o.find_nearby_colors.o find_nearby_colors 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_jquant2.o.init_error_limit.o init_error_limit 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 320 O(1) 0 500
consumer_jpeg_c_src_jquant2.o.jinit_2pass_quantizer.o jinit_2pass_quantizer 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 32 O(1) 0 500
consumer_jpeg_c_src_jquant2.o.median_cut.o median_cut 1 + (0 + 1) × max(0, (desi... O(n) 2 10 max(0, (desired_colors - nu... O(n) 2 500
consumer_jpeg_c_src_jquant2.o.pass2_fs_dither.o pass2_fs_dither 1 + (0 + 1) × max(0, (num_... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jquant2.o.pass2_no_dither.o pass2_no_dither 1 + (0 + 1) × max(0, (num_... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jquant2.o.prescan_quantize.o prescan_quantize 1 + (0 + 1) × max(0, (num_... O(n2) 3 20 FAILED 500
consumer_jpeg_c_src_jquant2.o.select_colors.o select_colors 1 + (0 + 1) × max(0, (medi... O(n) 1 500 max(0, *median_cut(cinfo, *... O(n) 0 500
consumer_jpeg_c_src_jquant2.o.start_pass_2_quant.o start_pass_2_quant 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 32 O(1) 0 500
consumer_jpeg_c_src_jquant2.o.update_box.o update_box 1 + (0 + 1) × max(0, (1 + ... O(n3) 7 51710 TIMEOUT
consumer_jpeg_c_src_jutils.o.jcopy_sample_rows.o jcopy_sample_rows 1 + (0 + 1) × max(0, (num_... O(n) 1 500 max(num_rows, 0) O(n) 1 500
consumer_jpeg_c_src_rdbmp.o.get_24bit_row.o get_24bit_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_rdbmp.o.get_8bit_row.o get_8bit_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_rdbmp.o.read_colormap.o read_colormap 1 + (0 + 1) × max(0, (cmap... O(n) 1 10 max(cmaplen, 0) + max(cmapl... O(n) 1 500
consumer_jpeg_c_src_rdbmp.o.start_input_bmp.o start_input_bmp FAILED 820 FAILED 500
consumer_jpeg_c_src_rdgif.o.get_interlaced_row.o get_interlaced_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_rdgif.o.get_pixel_rows.o get_pixel_rows 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_rdgif.o.GetCode.o GetCode FAILED 10 FAILED 500
consumer_jpeg_c_src_rdgif.o.load_interlaced_image.o load_interlaced_image 1 + (0 + 1) × max(0, (Sele... O(n2) 3 10 FAILED 500
consumer_jpeg_c_src_rdgif.o.LZWReadByte.o LZWReadByte FAILED 30 FAILED 500
consumer_jpeg_c_src_rdgif.o.ReadColorMap.o ReadColorMap 1 + (0 + 1) × max(0, (cmap... O(n) 1 10 max(cmaplen, 0) O(n) 1 500
consumer_jpeg_c_src_rdgif.o.SkipDataBlocks.o SkipDataBlocks FAILED 10 FAILED 500
consumer_jpeg_c_src_rdgif.o.start_input_gif.o start_input_gif FAILED 20 FAILED 500
consumer_jpeg_c_src_rdppm.o.get_scaled_gray_row.o get_scaled_gray_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_rdppm.o.get_scaled_rgb_row.o get_scaled_rgb_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_rdppm.o.get_text_gray_row.o get_text_gray_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_rdppm.o.get_text_rgb_row.o get_text_rgb_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 500
consumer_jpeg_c_src_rdppm.o.get_word_gray_row.o get_word_gray_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_rdppm.o.get_word_rgb_row.o get_word_rgb_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_jpeg_c_src_rdppm.o.pbm_getc.o pbm_getc FAILED 10 max(0, (*(inputStream infil... O(n) 0 500
consumer_jpeg_c_src_rdppm.o.read_pbm_integer.o read_pbm_integer FAILED 30 FAILED 500
consumer_jpeg_c_src_rdppm.o.start_input_ppm.o start_input_ppm FAILED 100 FAILED 500
consumer_jpeg_c_src_rdswitch.o.read_quant_tables.o read_quant_tables 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 252 O(1) 0 500
consumer_jpeg_c_src_rdswitch.o.read_scan_integer.o read_scan_integer FAILED 10 FAILED 500
consumer_jpeg_c_src_rdswitch.o.read_scan_script.o read_scan_script 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 403 O(1) 0 500
consumer_jpeg_c_src_rdswitch.o.read_text_integer.o read_text_integer FAILED 20 FAILED 500
consumer_jpeg_c_src_rdswitch.o.set_quant_slots.o set_quant_slots FAILED 30 FAILED 500
consumer_jpeg_c_src_rdswitch.o.set_sample_factors.o set_sample_factors FAILED 60 FAILED 500
consumer_jpeg_c_src_rdswitch.o.text_getc.o text_getc FAILED 10 max(0, (*(inputStream file ... O(n) 0 500
consumer_jpeg_c_src_rdtarga.o.get_16bit_row.o get_16bit_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_rdtarga.o.get_24bit_row.o get_24bit_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 1000
consumer_jpeg_c_src_rdtarga.o.get_8bit_gray_row.o get_8bit_gray_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_rdtarga.o.get_8bit_row.o get_8bit_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_jpeg_c_src_rdtarga.o.read_colormap.o read_colormap 1 + (0 + 1) × max(0, (cmap... O(n) 1 20 max(cmaplen, 0) O(n) 1 500
consumer_jpeg_c_src_rdtarga.o.read_non_rle_pixel.o read_non_rle_pixel 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 500
consumer_jpeg_c_src_rdtarga.o.read_rle_pixel.o read_rle_pixel 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 500
consumer_jpeg_c_src_rdtarga.o.start_input_tga.o start_input_tga FAILED 20 FAILED 500
consumer_lame_src_decode_i386.o.synth_1to1.o synth_1to1 FAILED 20 FAILED 500
consumer_lame_src_decode_i386.o.synth_1to1_mono.o synth_1to1_mono 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 32 O(1) 0 500
consumer_lame_src_fft.o.fft_long.o fft_long 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 381 O(1) 0 500
consumer_lame_src_fft.o.fft_short.o fft_short 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 282 O(1) 0 500
consumer_lame_src_fft.o.fht.o fht FAILED 40 FAILED 500
consumer_lame_src_fft.o.init_fft.o init_fft 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 644 O(1) 0 500
consumer_lame_src_formatBitstream.o.BF_FlushBitstream.o BF_FlushBitstream FAILED 10 FAILED 500
consumer_lame_src_formatBitstream.o.BF_LoadHolderFromBitstreamPart.o BF_LoadHolderFromBitstreamPart 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 500
consumer_lame_src_formatBitstream.o.BF_PartLength.o BF_PartLength 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 500
consumer_lame_src_formatBitstream.o.BF_resizePartHolder.o BF_resizePartHolder 1 + (0 + 1) × max(0, (0 + ... O(n) 3 20 FAILED 500
consumer_lame_src_formatBitstream.o.free_side_info_link.o free_side_info_link 1 + (0 + 1) × max(0, (Sele... O(n2) 4 20 FAILED 500
consumer_lame_src_formatBitstream.o.free_side_queues.o free_side_queues FAILED 20 FAILED 1000
consumer_lame_src_formatBitstream.o.main_data.o main_data 1 + (0 + 1) × max(0, (Sele... O(n2) 3 10 FAILED 500
consumer_lame_src_formatBitstream.o.side_queue_elements.o side_queue_elements FAILED 500 FAILED 500
consumer_lame_src_formatBitstream.o.store_side_info.o store_side_info FAILED 130 FAILED 500
consumer_lame_src_formatBitstream.o.write_side_info.o write_side_info 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20 FAILED 500
consumer_lame_src_formatBitstream.o.writePartMainData.o writePartMainData 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_lame_src_formatBitstream.o.writePartSideInfo.o writePartSideInfo 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_lame_src_get_audio.o.fskip.o fskip FAILED 10 max(0, (*(inputStream sf ) ... O(n) 0 500
consumer_lame_src_get_audio.o.get_audio.o get_audio 1 + (0 + 1) × max(0, (0 + ... O(n) 2 20 FAILED 500
consumer_lame_src_get_audio.o.parse_aiff_header.o parse_aiff_header FAILED 10 FAILED 500
consumer_lame_src_get_audio.o.parse_wave_header.o parse_wave_header 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 20 O(1) 0 500
consumer_lame_src_get_audio.o.read_samples_mp3.o read_samples_mp3 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 1152 O(1) 0 500
consumer_lame_src_get_audio.o.read_samples_pcm.o read_samples_pcm 1 + (0 + 1) × max(0, (fram... O(n) 2 20 FAILED 500
consumer_lame_src_id3tag.o.id3_pad.o id3_pad 1 + (0 + 1) × max(0, (leng... O(n) 2 500 max(0, (length - *strlen(st... O(n) 1 500
consumer_lame_src_interface.o.decodeMP3.o decodeMP3 FAILED 40 FAILED 500
consumer_lame_src_interface.o.ExitMP3.o ExitMP3 FAILED 10 FAILED 500
consumer_lame_src_interface.o.read_buf_byte.o read_buf_byte FAILED 10 FAILED 500
consumer_lame_src_l3bitstream.o.CRC_BF_addEntry.o CRC_BF_addEntry 1 + (0 + 1) × max(0, (1 + ... O(n) 1 20 FAILED 500
consumer_lame_src_l3bitstream.o.drain_into_ancillary_data.o drain_into_ancillary_data 1 + (0 + 1) × max(0, (0 + ... O(n) 1 10 max(0, ((lengthInBits) / 32)) O(n) 1 500
consumer_lame_src_l3bitstream.o.encodeMainData.o encodeMainData FAILED 890 FAILED 1000
consumer_lame_src_l3bitstream.o.encodeSideInfo.o encodeSideInfo 1 + (0 + 1) × max(0, (Sele... O(n2) 3 100 FAILED 500
consumer_lame_src_l3bitstream.o.Huffmancodebits.o Huffmancodebits FAILED 330 FAILED 500
consumer_lame_src_l3bitstream.o.III_format_bitstream.o III_format_bitstream 1 + (0 + 1) × max(0, (Sele... O(n2) 3 80 FAILED 500
consumer_lame_src_lame.o.fill_buffer_resample.o fill_buffer_resample 1 + (0 + 1) × max(0, (desi... O(n) 1 50 5 + max(desired_len, 0) O(n) 1 500
consumer_lame_src_lame.o.lame_encode_buffer.o lame_encode_buffer FAILED 60 FAILED 500
consumer_lame_src_lame.o.lame_encode_buffer_interleaved.o lame_encode_buffer_interleaved FAILED 130 FAILED 500
consumer_lame_src_lame.o.lame_encode_finish.o lame_encode_finish FAILED 500 FAILED 500
consumer_lame_src_lame.o.lame_encode_frame.o lame_encode_frame 1 + (0 + 1) × max(0, (Sele... O(n2) 3 80 FAILED 500
consumer_lame_src_lame.o.lame_init_params.o lame_init_params 1 + (0 + 1) × max(0, (0 + ... O(1) 0 1080 101 O(1) 0 500
consumer_lame_src_layer3.o.do_layer3.o do_layer3 FAILED 420 FAILED 500
consumer_lame_src_layer3.o.III_antialias.o III_antialias FAILED 10 FAILED 500
consumer_lame_src_layer3.o.III_dequantize_sample.o III_dequantize_sample FAILED 450 FAILED 500
consumer_lame_src_layer3.o.III_get_scale_factors_1.o III_get_scale_factors_1 FAILED 280 FAILED 500
consumer_lame_src_layer3.o.III_get_scale_factors_2.o III_get_scale_factors_2 FAILED 140 FAILED 500
consumer_lame_src_layer3.o.III_get_side_info_1.o III_get_side_info_1 1 + (0 + 1) × max(0, (ster... O(n) 1 40 2 + max(stereo, 0) + max(0,... O(n) 1 500
consumer_lame_src_layer3.o.III_get_side_info_2.o III_get_side_info_2 1 + (0 + 1) × max(0, (ster... O(n) 1 20 max(stereo, 0) + max(0, (3 ... O(n) 1 500
consumer_lame_src_layer3.o.III_hybrid.o III_hybrid 1 + (0 + 1) × max(0, (Sele... O(n) 2 60 FAILED 500
consumer_lame_src_layer3.o.III_i_stereo.o III_i_stereo FAILED 140 FAILED 500
consumer_lame_src_layer3.o.init_layer3.o init_layer3 FAILED 630 FAILED 500
consumer_lame_src_main.o.main1.o main1 FAILED 30 FAILED 500
consumer_lame_src_mainmpglib.o.lame_decode.o lame_decode 1 + (0 + 1) × max(0, (Sele... O(n2) 4 10 FAILED 500
consumer_lame_src_mainmpglib.o.lame_decode_fromfile.o lame_decode_fromfile FAILED 40 FAILED 500
consumer_lame_src_mainmpglib.o.lame_decode_initfile.o lame_decode_initfile FAILED 500 max(0, (*(inputStream fd ) ... O(n) 0 500
consumer_lame_src_newmdct.o.mdct_init48.o mdct_init48 1 + (0 + 1) × max(0, (0 + ... O(1) 0 560 1270 O(1) 0 500
consumer_lame_src_newmdct.o.mdct_long.o mdct_long 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 11 O(1) 0 500
consumer_lame_src_newmdct.o.mdct_short.o mdct_short 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 24 O(1) 0 500
consumer_lame_src_newmdct.o.mdct_sub48.o mdct_sub48 1 + (0 + 1) × max(0, (Sele... O(n3) 5 90 FAILED 500
consumer_lame_src_newmdct.o.window_subband.o window_subband 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 271 O(1) 0 500
consumer_lame_src_parse.o.lame_parse_args.o lame_parse_args FAILED 290 FAILED 500
consumer_lame_src_portableio.o.ReadBytes.o ReadBytes FAILED 10 FAILED 500
consumer_lame_src_portableio.o.ReadBytesSwapped.o ReadBytesSwapped FAILED 20 FAILED 500
consumer_lame_src_portableio.o.WriteBytes.o WriteBytes 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_lame_src_portableio.o.WriteBytesSwapped.o WriteBytesSwapped 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_lame_src_psymodel.o.L3para_read.o L3para_read FAILED 290 FAILED 1000
consumer_lame_src_psymodel.o.L3psycho_anal.o L3psycho_anal FAILED 8000 FAILED 1000
consumer_lame_src_quantize-pvt.o.bin_search_StepSize2.o bin_search_StepSize2 FAILED 20 FAILED 500
consumer_lame_src_quantize-pvt.o.calc_xmin.o calc_xmin FAILED 60 FAILED 500
consumer_lame_src_quantize-pvt.o.compute_ath.o compute_ath FAILED 30 FAILED 500
consumer_lame_src_quantize-pvt.o.inner_loop.o inner_loop FAILED 500 FAILED 500
consumer_lame_src_quantize-pvt.o.iteration_init.o iteration_init 1 + (0 + 1) × max(0, (Sele... O(n2) 3 140 FAILED 500
consumer_lame_src_quantize-pvt.o.loop_break.o loop_break 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 FAILED 500
consumer_lame_src_quantize-pvt.o.ms_convert.o ms_convert 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 576 O(1) 0 500
consumer_lame_src_quantize-pvt.o.on_pe.o on_pe 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_lame_src_quantize-pvt.o.quantize_xrpow.o quantize_xrpow 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 144 O(1) 0 500
consumer_lame_src_quantize-pvt.o.reduce_side.o reduce_side 1 + (0 + 1) × max(0, (0 + 2)) O(1) 0 10 2 O(1) 0 500
consumer_lame_src_quantize-pvt.o.scale_bitcount.o scale_bitcount 1 + (0 + 1) × max(0, (0 + ... O(1) 0 150 96 O(1) 0 500
consumer_lame_src_quantize-pvt.o.scale_bitcount_lsf.o scale_bitcount_lsf FAILED 250 FAILED 500
consumer_lame_src_quantize.o.amp_scalefac_bands.o amp_scalefac_bands FAILED 190 FAILED 500
consumer_lame_src_quantize.o.calc_noise1.o calc_noise1 FAILED 50 FAILED 500
consumer_lame_src_quantize.o.init_outer_loop.o init_outer_loop 1 + (0 + 1) × max(0, (0 + ... O(1) 0 100 1360 O(1) 0 500
consumer_lame_src_quantize.o.iteration_loop.o iteration_loop 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20 FAILED 500
consumer_lame_src_quantize.o.outer_loop.o outer_loop FAILED 510 FAILED 500
consumer_lame_src_quantize.o.VBR_iteration_loop.o VBR_iteration_loop FAILED 9660 not analyzed
consumer_lame_src_tabinit.o.make_decode_tables.o make_decode_tables 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40 853 O(1) 0 500
consumer_lame_src_takehiro.o.best_huffman_divide.o best_huffman_divide 1 + (0 + 1) × max(0, (0 + ... O(1) 0 50 188 O(1) 0 500
consumer_lame_src_takehiro.o.best_scalefac_store.o best_scalefac_store FAILED 170 FAILED 500
consumer_lame_src_takehiro.o.choose_table.o choose_table 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 16 O(1) 0 500
consumer_lame_src_takehiro.o.choose_table_short.o choose_table_short 1 + (0 + 1) × max(0, (0 + ... O(1) 0 30 16 O(1) 0 500
consumer_lame_src_takehiro.o.count_bit_ESC.o count_bit_ESC 1 + (0 + 1) × max(0, (end ... O(n) 2 10 max(0, (end - ix)) O(n) 2 500
consumer_lame_src_takehiro.o.count_bit_noESC.o count_bit_noESC 1 + (0 + 1) × max(0, (end ... O(n) 2 20 max(0, (end + -2 + -ix)) O(n) 2 500
consumer_lame_src_takehiro.o.count_bit_noESC2.o count_bit_noESC2 1 + (0 + 1) × max(0, (-1 +... O(n) 2 10 max(0, (_1394iable... O(n) 2 500
consumer_lame_src_takehiro.o.count_bit_short_ESC.o count_bit_short_ESC 1 + (0 + 1) × max(0, (end ... O(n) 2 10 max(0, (3 + 2 × max(0, (en... O(n) 2 500
consumer_lame_src_takehiro.o.count_bit_short_noESC.o count_bit_short_noESC 1 + (0 + 1) × max(0, (end ... O(n) 2 10 max(0, (3 + 2 × max(0, (en... O(n) 2 500
consumer_lame_src_takehiro.o.count_bits.o count_bits 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 576 O(1) 0 500
consumer_lame_src_takehiro.o.count_bits_long.o count_bits_long FAILED 190 FAILED 500
consumer_lame_src_takehiro.o.ix_max.o ix_max 1 + (0 + 1) × max(0, (end ... O(n) 2 10 max(0, (end - ix)) O(n) 2 500
consumer_lame_src_takehiro.o.scfsi_calc.o scfsi_calc FAILED 100 FAILED 500
consumer_lame_src_util.o.BitrateIndex.o BitrateIndex 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 16 O(1) 0 500
consumer_lame_src_util.o.copy_buffer.o copy_buffer 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
consumer_lame_src_util.o.display_bitrates.o display_bitrates 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 28 O(1) 0 500
consumer_lame_src_util.o.putbits.o putbits FAILED 20 FAILED 500
consumer_lame_src_util.o.SwapBytesInWords.o SwapBytesInWords 1 + (0 + 1) × max(0, (word... O(n) 1 10 max(words, 0) O(n) 1 500
consumer_lame_src_vbrquantize.o.calc_sfb_ave_noise.o calc_sfb_ave_noise FAILED 10 FAILED 500
consumer_lame_src_vbrquantize.o.compute_scalefacs_long.o compute_scalefacs_long 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40 41 O(1) 0 500
consumer_lame_src_vbrquantize.o.compute_scalefacs_short.o compute_scalefacs_short 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 48 O(1) 0 500
consumer_lame_src_vbrquantize.o.find_scalefac.o find_scalefac FAILED 50 FAILED 500
consumer_lame_src_vbrquantize.o.VBR_iteration_loop_new.o VBR_iteration_loop_new 1 + (0 + 1) × max(0, (Sele... O(n2) 3 60 FAILED 500
consumer_lame_src_VbrTag.o.GetVbrTag.o GetVbrTag 1 + (0 + 1) × max(0, (0 + ... O(1) 0 30 100 O(1) 0 500
consumer_lame_src_VbrTag.o.InitVbrTag.o InitVbrTag 1 + (0 + 1) × max(0, (*Tot... O(n) 1 10 FAILED 1000
consumer_lame_src_VbrTag.o.PutVbrTag.o PutVbrTag 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 99 O(1) 0 500
consumer_mad_src_audio.o.audio_output.o audio_output 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 22 O(1) 0 500
consumer_mad_src_audio.o.audio_pcm_mulaw.o audio_pcm_mulaw 1 + (0 + 1) × max(0, (nsam... O(n) 1 30 FAILED 500
consumer_mad_src_audio.o.audio_pcm_s16be.o audio_pcm_s16be 1 + (0 + 1) × max(0, (nsam... O(n) 1 20 FAILED 500
consumer_mad_src_audio.o.audio_pcm_s16le.o audio_pcm_s16le 1 + (0 + 1) × max(0, (nsam... O(n) 1 20 FAILED 500
consumer_mad_src_audio.o.audio_pcm_s24be.o audio_pcm_s24be 1 + (0 + 1) × max(0, (nsam... O(n) 1 30 FAILED 500
consumer_mad_src_audio.o.audio_pcm_s24le.o audio_pcm_s24le 1 + (0 + 1) × max(0, (nsam... O(n) 1 20 FAILED 500
consumer_mad_src_audio.o.audio_pcm_s32be.o audio_pcm_s32be 1 + (0 + 1) × max(0, (nsam... O(n) 1 30 FAILED 500
consumer_mad_src_audio.o.audio_pcm_s32le.o audio_pcm_s32le 1 + (0 + 1) × max(0, (nsam... O(n) 1 30 FAILED 500
consumer_mad_src_audio.o.audio_pcm_s8.o audio_pcm_s8 1 + (0 + 1) × max(0, (nsam... O(n) 1 20 FAILED 500
consumer_mad_src_audio.o.audio_pcm_u8.o audio_pcm_u8 1 + (0 + 1) × max(0, (nsam... O(n) 1 20 FAILED 500
consumer_mad_src_audio.o.linear2mulaw.o linear2mulaw FAILED 10 FAILED 500
consumer_mad_src_audio_aiff.o.float80.o float80 1 + (0 + 1) × max(0, (1 + ... O(n) 1 20 FAILED 500
consumer_mad_src_audio_esd.o.output.o output FAILED 10 FAILED 500
consumer_mad_src_audio_null.o.update_stats.o update_stats 1 + (0 + 1) × max(0, (nsam... O(n) 1 500 FAILED 500
consumer_mad_src_audio_oss.o.output.o output FAILED 10 FAILED 500
consumer_mad_src_bit.o.mad_bit_crc.o mad_bit_crc 1 + (0 + 1) × max(0, (len ... O(n) 1 60 FAILED 500
consumer_mad_src_bit.o.mad_bit_read.o mad_bit_read 1 + (0 + 1) × max(0, (-7 +... O(n) 3 20 FAILED 500
consumer_mad_src_compat.o.id3_compat_fixup.o id3_compat_fixup FAILED 60 FAILED 500
consumer_mad_src_compat.o.id3_compat_lookup.o id3_compat_lookup FAILED 20 FAILED 500
consumer_mad_src_compat.o.translate_TCON.o translate_TCON FAILED 20 FAILED 500
consumer_mad_src_crc.o.id3_crc_calculate.o id3_crc_calculate 1 + (0 + 1) × max(0, (leng... O(n) 1 10 max(0, (length + -7)) O(n) 1 500
consumer_mad_src_decoder.o.mad_decoder_finish.o mad_decoder_finish FAILED 10 FAILED 500
consumer_mad_src_decoder.o.receive.o receive FAILED 10 FAILED 500
consumer_mad_src_decoder.o.receive_io.o receive_io FAILED 10 FAILED 500
consumer_mad_src_decoder.o.run_sync.o run_sync FAILED 1210 FAILED 1000
consumer_mad_src_decoder.o.send_io.o send_io FAILED 10 FAILED 500
consumer_mad_src_equalizer.o.equalizer_filter.o equalizer_filter 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40 FAILED 500
consumer_mad_src_equalizer.o.equalizer_init.o equalizer_init 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 32 O(1) 0 500
consumer_mad_src_field.o.id3_field_finish.o id3_field_finish 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_mad_src_field.o.id3_field_parse.o id3_field_parse FAILED 10 FAILED 500
consumer_mad_src_field.o.id3_field_render.o id3_field_render 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_mad_src_field.o.id3_field_setlatin1.o id3_field_setlatin1 FAILED 10 FAILED 500
consumer_mad_src_field.o.id3_field_setstring.o id3_field_setstring FAILED 500 FAILED 500
consumer_mad_src_field.o.id3_field_setstrings.o id3_field_setstrings 1 + (0 + 1) × max(0, (leng... O(n) 1 30 FAILED 500
consumer_mad_src_file.o.add_tag.o add_tag 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_mad_src_file.o.finish_file.o finish_file 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_mad_src_file.o.search_tags.o search_tags FAILED 20 FAILED 500
consumer_mad_src_file.o.update_primary.o update_primary 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_mad_src_filter.o.fadein_filter.o fadein_filter FAILED 60 FAILED 500
consumer_mad_src_filter.o.filter_free.o filter_free FAILED 10 FAILED 500
consumer_mad_src_filter.o.filter_run.o filter_run FAILED 10 FAILED 500
consumer_mad_src_filter.o.mono_filter.o mono_filter 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40 FAILED 500
consumer_mad_src_frame.o.id3_frame_delete.o id3_frame_delete 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_mad_src_frame.o.id3_frame_new.o id3_frame_new FAILED 40 FAILED 500
consumer_mad_src_frame.o.parse_data.o parse_data 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 500
consumer_mad_src_frame.o.render_data.o render_data 1 + (0 + 1) × max(0, (leng... O(n) 1 10 max(length, 0) O(n) 1 500
consumer_mad_src_frame2.o.free_bitrate.o free_bitrate FAILED 40 FAILED 1000
consumer_mad_src_frame2.o.mad_frame_mute.o mad_frame_mute 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 1782 O(1) 0 500
consumer_mad_src_frame2.o.mad_header_decode.o mad_header_decode FAILED 440 FAILED 500
consumer_mad_src_frametype.o.id3_frametype_lookup.o id3_frametype_lookup FAILED 10 FAILED 500
consumer_mad_src_genre.o.id3_genre_name.o id3_genre_name FAILED 20 FAILED 500
consumer_mad_src_latin1.o.id3_latin1_copy.o id3_latin1_copy FAILED 10 FAILED 500
consumer_mad_src_latin1.o.id3_latin1_decode.o id3_latin1_decode FAILED 10 FAILED 500
consumer_mad_src_latin1.o.id3_latin1_deserialize.o id3_latin1_deserialize FAILED 10 FAILED 500
consumer_mad_src_latin1.o.id3_latin1_encode.o id3_latin1_encode FAILED 500 FAILED 500
consumer_mad_src_latin1.o.id3_latin1_length.o id3_latin1_length FAILED 10 FAILED 500
consumer_mad_src_latin1.o.id3_latin1_serialize.o id3_latin1_serialize FAILED 500 FAILED 500
consumer_mad_src_layer12.o.II_samples.o II_samples 1 + (0 + 1) × max(0, (0 + ... O(1) 0 30 9 O(1) 0 500
consumer_mad_src_layer12.o.mad_layer_I.o mad_layer_I 1 + (0 + 1) × max(0, (0 + ... O(n) 3 490 FAILED 500
consumer_mad_src_layer12.o.mad_layer_II.o mad_layer_II FAILED 17760 FAILED 500
consumer_mad_src_layer3.o.III_aliasreduce.o III_aliasreduce 1 + (0 + 1) × max(0, (line... O(n) 2 10 max(0, (lines + -18)) + max... O(n) 1 500
consumer_mad_src_layer3.o.III_decode.o III_decode FAILED 440 FAILED 500
consumer_mad_src_layer3.o.III_exponents.o III_exponents FAILED 40 FAILED 500
consumer_mad_src_layer3.o.III_freqinver.o III_freqinver 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 12 O(1) 0 500
consumer_mad_src_layer3.o.III_huffdecode.o III_huffdecode FAILED 2040 FAILED 500
consumer_mad_src_layer3.o.III_imdct_l.o III_imdct_l 1 + (0 + 1) × max(0, (0 + ... O(1) 0 50 96 O(1) 0 500
consumer_mad_src_layer3.o.III_imdct_s.o III_imdct_s 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 18 O(1) 0 500
consumer_mad_src_layer3.o.III_overlap.o III_overlap 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 18 O(1) 0 500
consumer_mad_src_layer3.o.III_overlap_z.o III_overlap_z 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 18 O(1) 0 500
consumer_mad_src_layer3.o.III_reorder.o III_reorder FAILED 40 FAILED 500
consumer_mad_src_layer3.o.III_scalefactors.o III_scalefactors 1 + (0 + 1) × max(0, (0 + ... O(1) 0 430 FAILED 500
consumer_mad_src_layer3.o.III_scalefactors_lsf.o III_scalefactors_lsf FAILED 620 FAILED 500
consumer_mad_src_layer3.o.III_sideinfo.o III_sideinfo 1 + (0 + 1) × max(0, (nch ... O(n) 1 40 2 + max(nch, 0) + max(0, 2... O(n) 1 500
consumer_mad_src_layer3.o.III_stereo.o III_stereo FAILED 1230 FAILED 1000
consumer_mad_src_madplay.o.get_options.o get_options FAILED 130 FAILED 1000
consumer_mad_src_madplay.o.parse_decibels.o parse_decibels FAILED 20 FAILED 500
consumer_mad_src_madplay.o.parse_time.o parse_time FAILED 170 FAILED 500
consumer_mad_src_parse.o.id3_parse_latin1.o id3_parse_latin1 FAILED 500 FAILED 500
consumer_mad_src_parse.o.id3_parse_string.o id3_parse_string FAILED 10 FAILED 500
consumer_mad_src_player.o.decode_input_read.o decode_input_read FAILED 10 FAILED 500
consumer_mad_src_player.o.get_id3.o get_id3 FAILED 10 FAILED 500
consumer_mad_src_player.o.message.o message FAILED 20 FAILED 500
consumer_mad_src_player.o.play_all.o play_all FAILED 210 FAILED 500
consumer_mad_src_player.o.readkey.o readkey FAILED 500 FAILED 500
consumer_mad_src_player.o.setup_filters.o setup_filters 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 32 O(1) 0 500
consumer_mad_src_player.o.show_id3.o show_id3 FAILED 260 FAILED 500
consumer_mad_src_player.o.silence.o silence FAILED 10 FAILED 500
consumer_mad_src_player.o.tty_filter.o tty_filter 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 1 O(1) 0 500
consumer_mad_src_render.o.id3_render_paddedstring.o id3_render_paddedstring 1 + (0 + 1) × max(0, (leng... O(n) 1 30 FAILED 500
consumer_mad_src_resample.o.resample_block.o resample_block FAILED 20 FAILED 1000
consumer_mad_src_stream.o.mad_stream_sync.o mad_stream_sync 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 max(0, (_397 ... O(n) 1 500
consumer_mad_src_synth.o.mad_synth_mute.o mad_synth_mute 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 290 O(1) 0 500
consumer_mad_src_synth.o.synth_full.o synth_full 1 + (0 + 1) × max(0, (nch ... O(n2) 2 20 max(nch, 0) + max(0, 15 × ... O(n2) 2 500
consumer_mad_src_synth.o.synth_half.o synth_half 1 + (0 + 1) × max(0, (nch ... O(n2) 2 20 max(nch, 0) + max(0, 15 × ... O(n2) 2 500
consumer_mad_src_tag.o.id3_tag_clearframes.o id3_tag_clearframes 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 500
consumer_mad_src_tag.o.id3_tag_detachframe.o id3_tag_detachframe 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_mad_src_tag.o.id3_tag_findframe.o id3_tag_findframe 1 + (0 + 1) × max(0, (Sele... O(n) 2 40 FAILED 500
consumer_mad_src_tag.o.id3_tag_render.o id3_tag_render 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_mad_src_tag.o.trim.o trim 1 + (0 + 1) × max(0, (strl... O(n) 2 10 max(0, *strlen(str)) O(n) 0 500
consumer_mad_src_tag.o.v1_render.o v1_render 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 124 O(1) 0 500
consumer_mad_src_tag.o.v2_parse.o v2_parse FAILED 1400 FAILED 500
consumer_mad_src_timer.o.gcd.o gcd FAILED 10 FAILED 500
consumer_mad_src_timer.o.mad_timer_multiply.o mad_timer_multiply 1 + (0 + 1) × max(0, (1 + ... O(n) 1 20 FAILED 500
consumer_mad_src_ucs4.o.id3_ucs4_copy.o id3_ucs4_copy FAILED 500 FAILED 500
consumer_mad_src_ucs4.o.id3_ucs4_getnumber.o id3_ucs4_getnumber FAILED 500 FAILED 500
consumer_mad_src_ucs4.o.id3_ucs4_length.o id3_ucs4_length FAILED 10 FAILED 500
consumer_mad_src_ucs4.o.id3_ucs4_putnumber.o id3_ucs4_putnumber FAILED 20 FAILED 500
consumer_mad_src_ucs4.o.id3_ucs4_utf16size.o id3_ucs4_utf16size FAILED 500 FAILED 500
consumer_mad_src_ucs4.o.id3_ucs4_utf8size.o id3_ucs4_utf8size FAILED 500 FAILED 500
consumer_mad_src_utf16.o.id3_utf16_decode.o id3_utf16_decode FAILED 500 FAILED 500
consumer_mad_src_utf16.o.id3_utf16_decodechar.o id3_utf16_decodechar FAILED 20 FAILED 500
consumer_mad_src_utf16.o.id3_utf16_deserialize.o id3_utf16_deserialize FAILED 30 FAILED 500
consumer_mad_src_utf16.o.id3_utf16_encode.o id3_utf16_encode FAILED 10 FAILED 500
consumer_mad_src_utf16.o.id3_utf16_length.o id3_utf16_length FAILED 50 FAILED 500
consumer_mad_src_utf16.o.id3_utf16_serialize.o id3_utf16_serialize FAILED 500 FAILED 500
consumer_mad_src_utf16.o.id3_utf16_size.o id3_utf16_size FAILED 500 FAILED 500
consumer_mad_src_utf8.o.id3_utf8_decode.o id3_utf8_decode FAILED 10 FAILED 500
consumer_mad_src_utf8.o.id3_utf8_decodechar.o id3_utf8_decodechar FAILED 360 FAILED 500
consumer_mad_src_utf8.o.id3_utf8_deserialize.o id3_utf8_deserialize FAILED 500 FAILED 500
consumer_mad_src_utf8.o.id3_utf8_encode.o id3_utf8_encode FAILED 10 FAILED 500
consumer_mad_src_utf8.o.id3_utf8_length.o id3_utf8_length FAILED 1310 FAILED 500
consumer_mad_src_utf8.o.id3_utf8_serialize.o id3_utf8_serialize FAILED 500 FAILED 500
consumer_mad_src_utf8.o.id3_utf8_size.o id3_utf8_size FAILED 500 FAILED 500
consumer_mad_src_util.o.id3_util_deunsynchronise.o id3_util_deunsynchronise 1 + (0 + 1) × max(0, (leng... O(n) 2 20 max(0, (length + -1)) O(n) 1 500
consumer_mad_src_util.o.id3_util_unsynchronise.o id3_util_unsynchronise FAILED 50 FAILED 500
consumer_mad_src_xing.o.xing_parse.o xing_parse 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 100 O(1) 0 500
consumer_tiff2bw_src_tif_aux.o.TIFFDefaultRefBlackWhite.o TIFFDefaultRefBlackWhite 1 + (0 + 1) × max(0, (0 + 3)) O(1) 0 10 3 O(1) 0 500
consumer_tiff2bw_src_tif_aux.o.TIFFDefaultTransferFunction.o TIFFDefaultTransferFunction 1 + (0 + 1) × max(0, (-1 +... O(n) 2 500 FAILED 500
consumer_tiff2bw_src_tif_compress.o.TIFFFindCODEC.o TIFFFindCODEC FAILED 10 FAILED 500
consumer_tiff2bw_src_tif_compress.o.TIFFUnRegisterCODEC.o TIFFUnRegisterCODEC FAILED 10 FAILED 500
consumer_tiff2bw_src_tif_dir.o._TIFFVSetField.o _TIFFVSetField 1 + (0 + 1) × max(0, (*v_1... O(n) 1 10 FAILED 500
consumer_tiff2bw_src_tif_dir.o.checkInkNamesString.o checkInkNamesString 1 + (0 + 1) × max(0, (Sele... O(n) 5 30 FAILED 500
consumer_tiff2bw_src_tif_dir.o.setExtraSamples.o setExtraSamples 1 + (0 + 1) × max(0, (*v +... O(n) 1 30 FAILED 500
consumer_tiff2bw_src_tif_dir.o.TIFFNumberOfDirectories.o TIFFNumberOfDirectories FAILED 500 FAILED 500
consumer_tiff2bw_src_tif_dir.o.TIFFReassignTagToIgnore.o TIFFReassignTagToIgnore 1 + (0 + 1) × max(0, (*TIF... O(n) 1 10 FAILED 500
consumer_tiff2bw_src_tif_dir.o.TIFFSetDirectory.o TIFFSetDirectory 1 + (0 + 1) × max(0, (dirn... O(n) 1 10 max(dirn, 0) O(n) 1 500
consumer_tiff2bw_src_tif_dir.o.TIFFUnlinkDirectory.o TIFFUnlinkDirectory 1 + (0 + 1) × max(0, (dirn... O(n) 1 10 max(0, (dirn + -1)) O(n) 1 500
consumer_tiff2bw_src_tif_dirinfo.o._TIFFFindFieldInfo.o _TIFFFindFieldInfo 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_tiff2bw_src_tif_dirinfo.o._TIFFMergeFieldInfo.o _TIFFMergeFieldInfo 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 20 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_dirinfo.o._TIFFPrintFieldInfo.o _TIFFPrintFieldInfo 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 1000
consumer_tiff2bw_src_tif_dirread.o.ChopUpSingleUncompressedStrip.o ChopUpSingleUncompressedStrip 1 + (0 + 1) × max(0, (max(... O(n2) 4 20 FAILED 500
consumer_tiff2bw_src_tif_dirread.o.EstimateStripByteCounts.o EstimateStripByteCounts 1 + (0 + 1) × max(0, (dirc... O(n) 4 40 FAILED 500
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchAnyArray.o TIFFFetchAnyArray 1 + (0 + 1) × max(0, (Sele... O(n) 2 100 FAILED 500
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchPerSampleAnys.o TIFFFetchPerSampleAnys 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 FAILED 500
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchPerSampleShorts.o TIFFFetchPerSampleShorts 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 FAILED 500
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchRationalArray.o TIFFFetchRationalArray 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchRefBlackWhite.o TIFFFetchRefBlackWhite 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchStripThing.o TIFFFetchStripThing 1 + (0 + 1) × max(0, (nstr... O(n) 1 20 max(nstrips, 0) O(n) 1 500
consumer_tiff2bw_src_tif_dirread.o.TIFFReadDirectory.o TIFFReadDirectory FAILED 1400 FAILED 2000
consumer_tiff2bw_src_tif_dirwrite.o.TIFFLinkDirectory.o TIFFLinkDirectory FAILED 10 FAILED 500
consumer_tiff2bw_src_tif_dirwrite.o.TIFFWriteAnyArray.o TIFFWriteAnyArray 1 + (0 + 1) × max(0, (n + ... O(n) 1 70 max(n, 0) + max(n, 0) + max... O(n) 1 500
consumer_tiff2bw_src_tif_dirwrite.o.TIFFWritePerSampleAnys.o TIFFWritePerSampleAnys 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
consumer_tiff2bw_src_tif_dirwrite.o.TIFFWritePerSampleShorts.o TIFFWritePerSampleShorts 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
consumer_tiff2bw_src_tif_dirwrite.o.TIFFWriteRationalArray.o TIFFWriteRationalArray FAILED 30 FAILED 500
consumer_tiff2bw_src_tif_dirwrite.o.TIFFWriteShortTable.o TIFFWriteShortTable 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_dumpmode.o.DumpModeEncode.o DumpModeEncode FAILED 20 FAILED 500
consumer_tiff2bw_src_tif_fax3.o._TIFFFax3fillruns.o _TIFFFax3fillruns FAILED 330 FAILED 500
consumer_tiff2bw_src_tif_fax3.o.Fax3Close.o Fax3Close 1 + (0 + 1) × max(0, (0 + 6)) O(1) 0 10 6 O(1) 0 500
consumer_tiff2bw_src_tif_fax3.o.Fax3Decode1D.o Fax3Decode1D TIMEOUT FAILED 27000
consumer_tiff2bw_src_tif_fax3.o.Fax3Decode2D.o Fax3Decode2D TIMEOUT TIMEOUT
consumer_tiff2bw_src_tif_fax3.o.Fax3DecodeRLE.o Fax3DecodeRLE FAILED 31920 FAILED 28000
consumer_tiff2bw_src_tif_fax3.o.Fax3Encode.o Fax3Encode FAILED 30 FAILED 500
consumer_tiff2bw_src_tif_fax3.o.Fax3Encode1DRow.o Fax3Encode1DRow FAILED 20 FAILED 500
consumer_tiff2bw_src_tif_fax3.o.Fax3Encode2DRow.o Fax3Encode2DRow FAILED 1540 FAILED 2000
consumer_tiff2bw_src_tif_fax3.o.Fax3PutBits.o Fax3PutBits 1 + (0 + 1) × max(0, (0 + ... O(n) 4 20 FAILED 500
consumer_tiff2bw_src_tif_fax3.o.Fax3PutEOL.o Fax3PutEOL 1 + (0 + 1) × max(0, (0 + ... O(n) 3 160 FAILED 500
consumer_tiff2bw_src_tif_fax3.o.Fax4Decode.o Fax4Decode TIMEOUT TIMEOUT
consumer_tiff2bw_src_tif_fax3.o.Fax4Encode.o Fax4Encode FAILED 10 FAILED 500
consumer_tiff2bw_src_tif_fax3.o.find0span.o find0span FAILED 280 FAILED 500
consumer_tiff2bw_src_tif_fax3.o.find1span.o find1span FAILED 290 FAILED 500
consumer_tiff2bw_src_tif_fax3.o.putspan.o putspan FAILED 100 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.checkcmap.o checkcmap 1 + (0 + 1) × max(0, (0 + ... O(n) 2 10 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.cvtcmap.o cvtcmap 1 + (0 + 1) × max(0, (0 + ... O(n) 2 500 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.gtStripContig.o gtStripContig FAILED 30 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.gtStripSeparate.o gtStripSeparate FAILED 1510 FAILED 2000
consumer_tiff2bw_src_tif_getimage.o.gtTileContig.o gtTileContig FAILED 30 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.gtTileSeparate.o gtTileSeparate FAILED 790 FAILED 1000
consumer_tiff2bw_src_tif_getimage.o.makebwmap.o makebwmap 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 256 O(1) 0 500
consumer_tiff2bw_src_tif_getimage.o.makecmap.o makecmap 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 256 O(1) 0 500
consumer_tiff2bw_src_tif_getimage.o.put1bitbwtile.o put1bitbwtile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(h, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.put1bitcmaptile.o put1bitcmaptile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20 max(h, 0) + max(0, max(h, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.put2bitbwtile.o put2bitbwtile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(h, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.put2bitcmaptile.o put2bitcmaptile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(h, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.put4bitbwtile.o put4bitbwtile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(h, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.put4bitcmaptile.o put4bitcmaptile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20 max(h, 0) + max(0, max(h, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.put8bitcmaptile.o put8bitcmaptile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20 max(h, 0) + max(0, max(h, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr11tile.o putcontig8bitYCbCr11tile 1 + (0 + 1) × max(0, (h + 1)) O(n) 1 20 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr21tile.o putcontig8bitYCbCr21tile 1 + (0 + 1) × max(0, (h + 1)) O(n) 1 20 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr22tile.o putcontig8bitYCbCr22tile 1 + (0 + 1) × max(0, (h + ... O(n) 1 20 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr41tile.o putcontig8bitYCbCr41tile 1 + (0 + 1) × max(0, (h + 1)) O(n) 1 20 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr42tile.o putcontig8bitYCbCr42tile 1 + (0 + 1) × max(0, (h + ... O(n) 1 20 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr44tile.o putcontig8bitYCbCr44tile 1 + (0 + 1) × max(0, (h + ... O(n) 1 20 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.putgreytile.o putgreytile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBAAcontig16bittile.o putRGBAAcontig16bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBAAcontig8bittile.o putRGBAAcontig8bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(h, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBAAseparate16bittile.o putRGBAAseparate16bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBAAseparate8bittile.o putRGBAAseparate8bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(h, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBcontig16bittile.o putRGBcontig16bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBcontig8bitCMYKMaptile.o putRGBcontig8bitCMYKMaptile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBcontig8bitMaptile.o putRGBcontig8bitMaptile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBcontig8bittile.o putRGBcontig8bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(h, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBseparate16bittile.o putRGBseparate16bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBseparate8bitMaptile.o putRGBseparate8bitMaptile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBseparate8bittile.o putRGBseparate8bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20 max(h, 0) + max(0, max(h, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBUAcontig16bittile.o putRGBUAcontig16bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBUAcontig8bittile.o putRGBUAcontig8bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBUAseparate16bittile.o putRGBUAseparate16bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.putRGBUAseparate8bittile.o putRGBUAseparate8bittile 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10 max(h, 0) + max(0, max(w, ... O(n2) 2 500
consumer_tiff2bw_src_tif_getimage.o.setupMap.o setupMap 1 + (0 + 1) × max(0, (0 + ... O(n) 2 20 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.TIFFReadRGBATile.o TIFFReadRGBATile 1 + (0 + 1) × max(0, (*til... O(n) 4 90 FAILED 500
consumer_tiff2bw_src_tif_getimage.o.TIFFYCbCrToRGBInit.o TIFFYCbCrToRGBInit 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 512 O(1) 0 500
consumer_tiff2bw_src_tif_luv.o.L16fromY.o L16fromY 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.L16toGry.o L16toGry 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.L16toY.o L16toY 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.LogL16Decode.o LogL16Decode FAILED 60 FAILED 500
consumer_tiff2bw_src_tif_luv.o.LogL16Encode.o LogL16Encode FAILED 1290 FAILED 4000
consumer_tiff2bw_src_tif_luv.o.LogLuvDecode24.o LogLuvDecode24 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
consumer_tiff2bw_src_tif_luv.o.LogLuvDecode32.o LogLuvDecode32 FAILED 60 FAILED 500
consumer_tiff2bw_src_tif_luv.o.LogLuvEncode24.o LogLuvEncode24 FAILED 20 FAILED 500
consumer_tiff2bw_src_tif_luv.o.LogLuvEncode32.o LogLuvEncode32 FAILED 1290 FAILED 4000
consumer_tiff2bw_src_tif_luv.o.Luv24fromLuv48.o Luv24fromLuv48 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv24fromXYZ.o Luv24fromXYZ 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv24toLuv48.o Luv24toLuv48 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv24toRGB.o Luv24toRGB 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv24toXYZ.o Luv24toXYZ 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv32fromLuv48.o Luv32fromLuv48 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv32fromXYZ.o Luv32fromXYZ 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv32toLuv48.o Luv32toLuv48 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv32toRGB.o Luv32toRGB 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv32toXYZ.o Luv32toXYZ 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.uv_decode.o uv_decode 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40 161 O(1) 0 500
consumer_tiff2bw_src_tif_lzw.o.LZWDecode.o LZWDecode FAILED 1650 FAILED 1000
consumer_tiff2bw_src_tif_lzw.o.LZWDecodeCompat.o LZWDecodeCompat FAILED 4010 FAILED 1000
consumer_tiff2bw_src_tif_lzw.o.LZWSetupDecode.o LZWSetupDecode 0 + 1 O(1) 0 10 256 O(1) 0 500
consumer_tiff2bw_src_tif_next.o.NeXTDecode.o NeXTDecode FAILED 50 FAILED 500
consumer_tiff2bw_src_tif_open.o.TIFFClientOpen.o TIFFClientOpen FAILED 10 FAILED 500
consumer_tiff2bw_src_tif_packbits.o.PackBitsDecode.o PackBitsDecode FAILED 90 FAILED 500
consumer_tiff2bw_src_tif_packbits.o.PackBitsEncode.o PackBitsEncode FAILED 5830 FAILED 3000
consumer_tiff2bw_src_tif_packbits.o.PackBitsEncodeChunk.o PackBitsEncodeChunk FAILED 10 FAILED 500
consumer_tiff2bw_src_tif_predict.o.horAcc16.o horAcc16 FAILED 50 FAILED 1000
consumer_tiff2bw_src_tif_predict.o.horAcc8.o horAcc8 FAILED 80 FAILED 500
consumer_tiff2bw_src_tif_predict.o.horDiff16.o horDiff16 FAILED 60 FAILED 1000
consumer_tiff2bw_src_tif_predict.o.horDiff8.o horDiff8 FAILED 80 FAILED 500
consumer_tiff2bw_src_tif_predict.o.swabHorAcc16.o swabHorAcc16 FAILED 50 FAILED 500
consumer_tiff2bw_src_tif_print.o._TIFFprintAscii.o _TIFFprintAscii FAILED 20 FAILED 500
consumer_tiff2bw_src_tif_swab.o.TIFFReverseBits.o TIFFReverseBits 1 + (0 + 1) × max(0, (n + ... O(n) 1 10 max(n, 0) + max(0, (n + -8)) O(n) 1 500
consumer_tiff2bw_src_tif_swab.o.TIFFSwabArrayOfDouble.o TIFFSwabArrayOfDouble 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_swab.o.TIFFSwabArrayOfLong.o TIFFSwabArrayOfLong 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_swab.o.TIFFSwabArrayOfShort.o TIFFSwabArrayOfShort 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tif_thunder.o.ThunderDecode.o ThunderDecode FAILED 70 FAILED 500
consumer_tiff2bw_src_tif_thunder.o.ThunderDecodeRow.o ThunderDecodeRow FAILED 500 FAILED 500
consumer_tiff2bw_src_tiff2bw.o.checkcmap.o checkcmap 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tiff2bw.o.compresscontig.o compresscontig 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tiff2bw.o.compresspalette.o compresspalette 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tiff2bw.o.compresssep.o compresssep 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500 max(n, 0) O(n) 1 500
consumer_tiff2bw_src_tiff2bw.o.cpTags.o cpTags 1 + (0 + 1) × max(0, (tags... O(n) 1 500 1 O(1) 0 500
consumer_tiff2bw_src_tiff2bw.o.main1.o main1 FAILED 780 FAILED 500
consumer_tiff2bw_src_tiff2bw.o.usage.o usage FAILED 10 FAILED 500
consumer_tiff2bw_src_tiff2rgba_tiff2rgba.o.cvt_by_strip.o cvt_by_strip FAILED 30 FAILED 500
consumer_tiff2bw_src_tiff2rgba_tiff2rgba.o.cvt_by_tile.o cvt_by_tile FAILED 50 FAILED 500
consumer_tiff2bw_src_tiff2rgba_tiff2rgba.o.cvt_whole_image.o cvt_whole_image FAILED 30 FAILED 500
consumer_tiff2bw_src_tiff2rgba_tiff2rgba.o.main1.o main1 FAILED 20 FAILED 500
consumer_tiff2bw_src_tiff2rgba_tiff2rgba.o.usage.o usage FAILED 500 FAILED 500
consumer_tiff2bw_src_tiffdither_tiffdither.o.fsdither.o fsdither 1 + (0 + 1) × max(0, (*ima... O(n2) 2 20 FAILED 500
consumer_tiff2bw_src_tiffdither_tiffdither.o.main1.o main1 FAILED 500 FAILED 500
consumer_tiff2bw_src_tiffdither_tiffdither.o.processG3Options.o processG3Options FAILED 20 FAILED 500
consumer_tiff2bw_src_tiffdither_tiffdither.o.usage.o usage FAILED 10 FAILED 500
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.create_colorcell.o create_colorcell FAILED 60 FAILED 500
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.get_histogram.o get_histogram 1 + (0 + 1) × max(0, (*ima... O(n2) 2 20 FAILED 500
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.largest_box.o largest_box FAILED 500 FAILED 500
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.main1.o main1 FAILED 150 FAILED 500
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.map_colortable.o map_colortable FAILED 40 FAILED 500
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.quant.o quant 1 + (0 + 1) × max(0, (*ima... O(n2) 2 10 FAILED 500
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.quant_fsdither.o quant_fsdither FAILED 840 FAILED 500
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.shrinkbox.o shrinkbox 1 + (0 + 1) × max(0, (Sele... O(n3) 7 3350 FAILED 6000
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.splitbox.o splitbox 1 + (0 + 1) × max(0, (0 + ... O(n3) 7 1180 FAILED 1000
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.usage.o usage FAILED 500 FAILED 500
network_dijkstra_src_dijkstra_large.o.dijkstra.o dijkstra FAILED 20 FAILED 500
network_dijkstra_src_dijkstra_large.o.enqueue.o enqueue FAILED 10 FAILED 500
network_dijkstra_src_dijkstra_large.o.main.o main 1 + (0 + 1) × max(0, (*NUM... O(n2) 2 20 FAILED 500
network_patricia_src_patricia.o.pat_insert.o pat_insert FAILED 100 FAILED 500
network_patricia_src_patricia.o.pat_search.o pat_search FAILED 20 FAILED 500
network_patricia_src_patricia_test.o.main1.o main1 FAILED 20 FAILED 500
office_ghostscript_src_gdevabuf.o.abuf_flush.o abuf_flush FAILED 10 FAILED 500
office_ghostscript_src_gdevddrw.o.gx_default_fill_trapezoid.o gx_default_fill_trapezoid FAILED 520 FAILED 1000
office_ghostscript_src_gdevdflt.o.gx_default_copy_alpha.o gx_default_copy_alpha FAILED 770 FAILED 1000
office_ghostscript_src_gdevdflt.o.gx_default_copy_color.o gx_default_copy_color 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 410 FAILED 500
office_ghostscript_src_gdevdflt.o.gx_default_fill_mask.o gx_default_fill_mask FAILED 1930 FAILED 1000
office_ghostscript_src_gdevdflt.o.gx_default_strip_tile_rectangle.o gx_default_strip_tile_rectangle FAILED 980 FAILED 1000
office_ghostscript_src_gdevm1.o.mem_mono_copy_mono.o mem_mono_copy_mono FAILED 1320 FAILED 1000
office_ghostscript_src_gdevm1.o.mem_mono_strip_tile_rectangle.o mem_mono_strip_tile_rectangle FAILED 860 FAILED 1000
office_ghostscript_src_gdevm16.o.mem_true16_copy_mono.o mem_true16_copy_mono 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 210 FAILED 1000
office_ghostscript_src_gdevm16.o.mem_true16_fill_rectangle.o mem_true16_fill_rectangle 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 160 FAILED 500
office_ghostscript_src_gdevm2.o.mem_mapped2_copy_mono.o mem_mapped2_copy_mono 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 290 FAILED 1000
office_ghostscript_src_gdevm24.o.mem_true24_copy_alpha.o mem_true24_copy_alpha 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 210 FAILED 1000
office_ghostscript_src_gdevm24.o.mem_true24_copy_mono.o mem_true24_copy_mono FAILED 290 FAILED 1000
office_ghostscript_src_gdevm24.o.mem_true24_fill_rectangle.o mem_true24_fill_rectangle FAILED 760 FAILED 3000
office_ghostscript_src_gdevm32.o.mem_true32_copy_mono.o mem_true32_copy_mono 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 210 FAILED 500
office_ghostscript_src_gdevm32.o.mem_true32_fill_rectangle.o mem_true32_fill_rectangle 1 + (0 + 1) × max(0, (-1 +... O(n2) 7 1150 FAILED 3000
office_ghostscript_src_gdevm4.o.mem_mapped4_copy_mono.o mem_mapped4_copy_mono 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 200 FAILED 1000
office_ghostscript_src_gdevm8.o.mapped8_copy01.o mapped8_copy01 1 + (0 + 1) × max(0, (h + ... O(n2) 2 50 max(h, 0) + max(0, max(h, ... O(n2) 2 500
office_ghostscript_src_gdevm8.o.mapped8_copy0N.o mapped8_copy0N 1 + (0 + 1) × max(0, (h + ... O(n2) 2 50 max(h, 0) + max(0, max(h, ... O(n2) 2 500
office_ghostscript_src_gdevm8.o.mapped8_copyN1.o mapped8_copyN1 1 + (0 + 1) × max(0, (h + ... O(n2) 2 50 max(h, 0) + max(0, max(h, ... O(n2) 2 500
office_ghostscript_src_gdevmem.o.gdev_mem_max_height.o gdev_mem_max_height FAILED 10 FAILED 500
office_ghostscript_src_gdevmem.o.mem_mapped_map_rgb_color.o mem_mapped_map_rgb_color 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
office_ghostscript_src_gdevmem.o.mem_set_line_ptrs.o mem_set_line_ptrs 1 + (0 + 1) × max(0, (line... O(n) 3 10 FAILED 500
office_ghostscript_src_gdevmrop.o.mem_gray8_rgb24_strip_copy_rop.o mem_gray8_rgb24_strip_copy_rop FAILED 2360 TIMEOUT
office_ghostscript_src_gdevmrop.o.mem_mono_strip_copy_rop.o mem_mono_strip_copy_rop FAILED 17090 TIMEOUT
office_ghostscript_src_gdevpbm.o.pbm_print_page_loop.o pbm_print_page_loop 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gdevpbm.o.pbm_print_row.o pbm_print_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gdevpbm.o.pgm_print_row.o pgm_print_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
office_ghostscript_src_gdevpbm.o.pkm_print_row.o pkm_print_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
office_ghostscript_src_gdevpbm.o.ppgm_print_row.o ppgm_print_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 1000
office_ghostscript_src_gdevpbm.o.pxm_pbm_print_row.o pxm_pbm_print_row 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gdevpdf.o.dash_pattern_eq.o dash_pattern_eq 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gdevpdf.o.pdf_close.o pdf_close FAILED 210 FAILED 10000
office_ghostscript_src_gdevpdf.o.pdf_close_page.o pdf_close_page FAILED 80 FAILED 5000
office_ghostscript_src_gdevpdf.o.pdf_find_resource_by_gs_id.o pdf_find_resource_by_gs_id FAILED 10 FAILED 1000
office_ghostscript_src_gdevpdf.o.pdf_page_id.o pdf_page_id FAILED 20 FAILED 4000
office_ghostscript_src_gdevpdf.o.pdf_put_clip_path.o pdf_put_clip_path FAILED 20 FAILED 7000
office_ghostscript_src_gdevpdf.o.pdf_put_path.o pdf_put_path FAILED 30 FAILED 500
office_ghostscript_src_gdevpdf.o.pdf_reset_page.o pdf_reset_page 1 + (0 + 1) × max(0, (0 + 5)) O(1) 0 10 5 O(1) 0 500
office_ghostscript_src_gdevpdf.o.pdf_stroke_path.o pdf_stroke_path 1 + (0 + 1) × max(0, (Sele... O(n) 4 160 FAILED 24000
office_ghostscript_src_gdevpdfi.o.gdev_pdf_copy_color.o gdev_pdf_copy_color 1 + (0 + 1) × max(0, (h + 0)) O(n) 1 10 max(h, 0) O(n) 1 500
office_ghostscript_src_gdevpdfi.o.gdev_pdf_copy_mono.o gdev_pdf_copy_mono 1 + (0 + 1) × max(0, (h + 0)) O(n) 1 20 max(h, 0) O(n) 1 500
office_ghostscript_src_gdevpdfi.o.gdev_pdf_image_data.o gdev_pdf_image_data FAILED 40 FAILED 500
office_ghostscript_src_gdevpdfi.o.pdf_end_binary.o pdf_end_binary FAILED 10 FAILED 1000
office_ghostscript_src_gdevpdfi.o.pdf_write_image_params.o pdf_write_image_params FAILED 1040 not analyzed
office_ghostscript_src_gdevpdfm.o.pdf_key_member.o pdf_key_member FAILED 10 FAILED 500
office_ghostscript_src_gdevpdfm.o.pdfmark_annot.o pdfmark_annot FAILED 40 FAILED 1000
office_ghostscript_src_gdevpdfm.o.pdfmark_ARTICLE.o pdfmark_ARTICLE FAILED 20 FAILED 2000
office_ghostscript_src_gdevpdfm.o.pdfmark_DOCINFO.o pdfmark_DOCINFO 1 + (0 + 1) × max(0, (coun... O(n) 1 10 max(count, 0) O(n) 1 1000
office_ghostscript_src_gdevpdfm.o.pdfmark_find_key.o pdfmark_find_key 1 + (0 + 1) × max(0, (coun... O(n) 1 500 max(count, 0) O(n) 1 500
office_ghostscript_src_gdevpdfm.o.pdfmark_OUT.o pdfmark_OUT FAILED 10 FAILED 2000
office_ghostscript_src_gdevpdfm.o.pdfmark_process.o pdfmark_process FAILED 10 FAILED 1000
office_ghostscript_src_gdevpdfm.o.pdfmark_save_edited_pairs.o pdfmark_save_edited_pairs 1 + (0 + 1) × max(0, (add_... O(n) 2 80 max(add_count, 0) + max(add... O(n) 2 1000
office_ghostscript_src_gdevpdft.o.pdfshow_process.o pdfshow_process FAILED 460 FAILED 4000
office_ghostscript_src_gdevprn.o.gdev_prn_copy_scan_lines.o gdev_prn_copy_scan_lines 1 + (0 + 1) × max(0, (0 + ... O(n) 5 20 FAILED 500
office_ghostscript_src_gdevprn.o.gdev_prn_open_printer.o gdev_prn_open_printer FAILED 20 FAILED 500
office_ghostscript_src_gdevprn.o.gdev_prn_put_params.o gdev_prn_put_params FAILED 770 FAILED 500
office_ghostscript_src_gdevprn.o.gx_default_print_page_copies.o gx_default_print_page_copies 1 + (0 + 1) × max(0, (num_... O(n) 1 10 max(num_copies, 0) O(n) 1 500
office_ghostscript_src_gdevps.o.image_cache_reset.o image_cache_reset 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 137 O(1) 0 500
office_ghostscript_src_gdevps.o.psw_begin_image.o psw_begin_image FAILED 50 FAILED 2000
office_ghostscript_src_gdevps.o.psw_put_bits.o psw_put_bits 1 + (0 + 1) × max(0, (heig... O(n) 1 10 max(height, 0) O(n) 1 500
office_ghostscript_src_gdevps.o.psw_put_lines.o psw_put_lines FAILED 10 FAILED 500
office_ghostscript_src_gdevpsdf.o.psdf_put_enum_param.o psdf_put_enum_param FAILED 10 FAILED 500
office_ghostscript_src_gdevpsdf.o.psdf_put_image_params.o psdf_put_image_params FAILED 20 FAILED 500
office_ghostscript_src_gdevpsdf.o.psdf_setdash.o psdf_setdash 1 + (0 + 1) × max(0, (coun... O(n) 1 500 max(count, 0) O(n) 1 500
office_ghostscript_src_gdevpstr.o.pprintf_scan.o pprintf_scan FAILED 10 FAILED 500
office_ghostscript_src_gdevpx.o.pclxl_begin_image.o pclxl_begin_image FAILED 110 FAILED 500
office_ghostscript_src_gdevpx.o.pclxl_beginpage.o pclxl_beginpage 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 10 O(1) 0 500
office_ghostscript_src_gdevpx.o.pclxl_char_index.o pclxl_char_index FAILED 50 FAILED 1000
office_ghostscript_src_gdevpx.o.pclxl_copy_text_char.o pclxl_copy_text_char FAILED 20 FAILED 13000
office_ghostscript_src_gdevpx.o.pclxl_define_bitmap_char.o pclxl_define_bitmap_char 1 + (0 + 1) × max(0, (heig... O(n) 1 10 max(height, 0) O(n) 1 500
office_ghostscript_src_gdevpx.o.pclxl_end_image.o pclxl_end_image FAILED 10 FAILED 500
office_ghostscript_src_gdevpx.o.pclxl_flush_points.o pclxl_flush_points 1 + (0 + 1) × max(0, (Sele... O(n) 3 60 FAILED 14000
office_ghostscript_src_gdevpx.o.pclxl_remove_char.o pclxl_remove_char FAILED 30 FAILED 8000
office_ghostscript_src_gdevpx.o.pclxl_setdash.o pclxl_setdash 1 + (0 + 1) × max(0, (coun... O(n) 1 20 max(count, 0) O(n) 1 500
office_ghostscript_src_gdevpx.o.pclxl_write_image_data.o pclxl_write_image_data 1 + (0 + 1) × max(0, (heig... O(n) 1 60 max(height, 0) + max(height... O(n) 1 1000
office_ghostscript_src_gdevvec.o.dash_pattern_eq.o dash_pattern_eq 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gdevvec.o.gdev_vector_dopath.o gdev_vector_dopath FAILED 30 FAILED 6000
office_ghostscript_src_gdevvec.o.gdev_vector_end_image.o gdev_vector_end_image FAILED 10 FAILED 1000
office_ghostscript_src_gdevvec.o.gdev_vector_prepare_stroke.o gdev_vector_prepare_stroke 1 + (0 + 1) × max(0, (Sele... O(n) 4 20 FAILED 1000
office_ghostscript_src_gdevvec.o.gdev_vector_write_clip_path.o gdev_vector_write_clip_path FAILED 40 FAILED 4000
office_ghostscript_src_gdevvec.o.gdev_vector_write_polygon.o gdev_vector_write_polygon 1 + (0 + 1) × max(0, (coun... O(n) 1 20 max(0, (count + -1)) O(n) 1 4000
office_ghostscript_src_gp_unifn.o.gp_file_name_is_absolute.o gp_file_name_is_absolute 1 + (0 + 1) × max(0, (len ... O(n) 1 10 FAILED 500
office_ghostscript_src_gp_unifs.o.gp_enumerate_files_close.o gp_enumerate_files_close FAILED 500 FAILED 500
office_ghostscript_src_gp_unifs.o.gp_enumerate_files_init.o gp_enumerate_files_init FAILED 60 FAILED 500
office_ghostscript_src_gp_unifs.o.gp_enumerate_files_next.o gp_enumerate_files_next FAILED 1100 FAILED 1000
office_ghostscript_src_gp_unifs.o.rchr.o rchr 1 + (0 + 1) × max(0, (len ... O(n) 2 10 max(len, 0) O(n) 1 500
office_ghostscript_src_gsalloc.o.alloc_add_chunk.o alloc_add_chunk 0 + 1 O(1) 0 10 1 O(1) 0 500
office_ghostscript_src_gsalloc.o.alloc_link_chunk.o alloc_link_chunk FAILED 10 FAILED 500
office_ghostscript_src_gsalloc.o.alloc_obj.o alloc_obj FAILED 20 FAILED 500
office_ghostscript_src_gsalloc.o.chunk_locate_ptr.o chunk_locate_ptr FAILED 20 FAILED 500
office_ghostscript_src_gsalloc.o.compute_free_objects.o compute_free_objects FAILED 20 FAILED 500
office_ghostscript_src_gsalloc.o.i_alloc_string.o i_alloc_string FAILED 20 FAILED 500
office_ghostscript_src_gsalloc.o.i_status.o i_status FAILED 500 FAILED 500
office_ghostscript_src_gsalloc.o.i_unregister_root.o i_unregister_root FAILED 10 FAILED 500
office_ghostscript_src_gsalloc.o.ialloc_reset_free.o ialloc_reset_free 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 201 O(1) 0 500
office_ghostscript_src_gsargs.o.arg_finit.o arg_finit FAILED 10 FAILED 500
office_ghostscript_src_gsargs.o.arg_next.o arg_next FAILED 680 FAILED 2000
office_ghostscript_src_gsbitops.o.bits_bounding_box.o bits_bounding_box FAILED 250 FAILED 500
office_ghostscript_src_gsbitops.o.bits_compress_scaled.o bits_compress_scaled FAILED 480 FAILED 2000
office_ghostscript_src_gsbitops.o.bits_fill_rectangle.o bits_fill_rectangle FAILED 190 FAILED 500
office_ghostscript_src_gsbitops.o.bits_replicate_horizontally.o bits_replicate_horizontally FAILED 30 FAILED 500
office_ghostscript_src_gsbitops.o.bits_replicate_vertically.o bits_replicate_vertically FAILED 500 FAILED 500
office_ghostscript_src_gsbitops.o.bytes_copy_rectangle.o bytes_copy_rectangle 1 + (0 + 1) × max(0, (heig... O(n) 1 500 max(height, 0) O(n) 1 500
office_ghostscript_src_gsbitops.o.bytes_fill_rectangle.o bytes_fill_rectangle 1 + (0 + 1) × max(0, (heig... O(n) 1 500 max(height, 0) O(n) 1 500
office_ghostscript_src_gschar.o.show_enum_reloc_ptrs.o show_enum_reloc_ptrs 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 22000
office_ghostscript_src_gschar.o.show_proceed.o show_proceed FAILED 2720 TIMEOUT
office_ghostscript_src_gschar0.o.gs_stack_modal_fonts.o gs_stack_modal_fonts FAILED 30 FAILED 5000
office_ghostscript_src_gschar0.o.gs_type0_next_glyph.o gs_type0_next_glyph FAILED 1260 FAILED 11000
office_ghostscript_src_gscie.o.cie_cache_mult.o cie_cache_mult 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 512 O(1) 0 500
office_ghostscript_src_gscie.o.cie_cache_restrict.o cie_cache_restrict 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 512 O(1) 0 500
office_ghostscript_src_gscie.o.cie_joint_caches_complete.o cie_joint_caches_complete 1 + (0 + 1) × max(0, (0 + 3)) O(1) 0 500 3 O(1) 0 500
office_ghostscript_src_gscie.o.cie_joint_caches_init.o cie_joint_caches_init 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 2048 O(1) 0 500
office_ghostscript_src_gscie.o.cie_load_common_cache.o cie_load_common_cache 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 2048 O(1) 0 500
office_ghostscript_src_gscie.o.gs_cie_cache_to_fracs.o gs_cie_cache_to_fracs 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 512 O(1) 0 500
office_ghostscript_src_gscie.o.gs_cie_cs_common.o gs_cie_cs_common FAILED 20 FAILED 4000
office_ghostscript_src_gscie.o.gs_cie_render_complete.o gs_cie_render_complete 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 1539 O(1) 0 500
office_ghostscript_src_gscie.o.gs_setcolorrendering.o gs_setcolorrendering 1 + (0 + 1) × max(0, (Sele... O(n) 4 60 FAILED 2000
office_ghostscript_src_gscie.o.gx_install_CIEA.o gx_install_CIEA 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 512 O(1) 0 500
office_ghostscript_src_gscie.o.gx_install_CIEABC.o gx_install_CIEABC 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 2048 O(1) 0 500
office_ghostscript_src_gscolor.o.load_transfer_map.o load_transfer_map 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 256 O(1) 0 500
office_ghostscript_src_gsdevice.o.gs_copydevice.o gs_copydevice FAILED 10 FAILED 500
office_ghostscript_src_gsdevice.o.gs_copyscanlines.o gs_copyscanlines 1 + (0 + 1) × max(0, (0 + ... O(n) 2 10 max(0, ((size) / *gx_device... O(n) 1 500
office_ghostscript_src_gsdevice.o.gs_setdevice_no_erase.o gs_setdevice_no_erase FAILED 20 FAILED 3000
office_ghostscript_src_gsdevice.o.gx_device_set_margins.o gx_device_set_margins 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 500
office_ghostscript_src_gsdevmem.o.gs_initialize_wordimagedevice.o gs_initialize_wordimagedevice 1 + (0 + 1) × max(0, (0 + ... O(n) 1 100 max(colors_size, 256) O(n) 1 500
office_ghostscript_src_gsdparam.o.param_HWColorMap.o param_HWColorMap FAILED 20 FAILED 500
office_ghostscript_src_gsdps1.o.gs_rectappend.o gs_rectappend 1 + (0 + 1) × max(0, (coun... O(n) 1 20 FAILED 500
office_ghostscript_src_gsdps1.o.gs_rectfill.o gs_rectfill 1 + (0 + 1) × max(0, (coun... O(n) 1 260 max(count, 0) O(n) 1 500
office_ghostscript_src_gsfcmap.o.code_map_decode_next.o code_map_decode_next FAILED 40 FAILED 500
office_ghostscript_src_gsflip.o.flip3x1.o flip3x1 1 + (0 + 1) × max(0, (nbyt... O(n) 1 500 max(nbytes, 0) O(n) 1 500
office_ghostscript_src_gsflip.o.flip3x12.o flip3x12 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10 max(nbytes, 0) O(n) 1 500
office_ghostscript_src_gsflip.o.flip3x2.o flip3x2 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10 max(nbytes, 0) O(n) 1 500
office_ghostscript_src_gsflip.o.flip3x4.o flip3x4 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10 max(nbytes, 0) O(n) 1 500
office_ghostscript_src_gsflip.o.flip3x8.o flip3x8 1 + (0 + 1) × max(0, (nbyt... O(n) 1 500 max(nbytes, 0) O(n) 1 500
office_ghostscript_src_gsflip.o.flip4x1.o flip4x1 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10 max(nbytes, 0) O(n) 1 500
office_ghostscript_src_gsflip.o.flip4x12.o flip4x12 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10 max(nbytes, 0) O(n) 1 500
office_ghostscript_src_gsflip.o.flip4x2.o flip4x2 1 + (0 + 1) × max(0, (nbyt... O(n) 1 500 max(nbytes, 0) O(n) 1 500
office_ghostscript_src_gsflip.o.flip4x4.o flip4x4 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10 max(nbytes, 0) O(n) 1 500
office_ghostscript_src_gsflip.o.flip4x8.o flip4x8 1 + (0 + 1) × max(0, (nbyt... O(n) 1 500 max(nbytes, 0) O(n) 1 500
office_ghostscript_src_gsfont.o.font_dir_enum_ptrs.o font_dir_enum_ptrs 1 + (0 + 1) × max(0, (Sele... O(n) 4 30 FAILED 1000
office_ghostscript_src_gsfont.o.font_dir_reloc_ptrs.o font_dir_reloc_ptrs 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
office_ghostscript_src_gsfont0.o.gs_type0_adjust_matrix.o gs_type0_adjust_matrix 1 + (0 + 1) × max(0, (Sele... O(n) 3 30 FAILED 5000
office_ghostscript_src_gsht.o.gx_device_halftone_release.o gx_device_halftone_release 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gsht.o.gx_ht_construct_bits.o gx_ht_construct_bits FAILED 20 FAILED 500
office_ghostscript_src_gsht.o.gx_ht_construct_spot_order.o gx_ht_construct_spot_order 1 + (0 + 1) × max(0, (Sele... O(n3) 4 20 FAILED 500
office_ghostscript_src_gsht.o.gx_ht_process_screen_memory.o gx_ht_process_screen_memory FAILED 10 FAILED 500
office_ghostscript_src_gsht.o.gx_imager_dev_ht_install.o gx_imager_dev_ht_install 1 + (0 + 1) × max(0, (Sele... O(n) 2 140 FAILED 500
office_ghostscript_src_gsht.o.gx_imager_set_effective_xfer.o gx_imager_set_effective_xfer 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 500
office_ghostscript_src_gsht.o.gx_sort_ht_order.o gx_sort_ht_order 1 + (0 + 1) × max(0, (N + 0)) O(n) 1 500 max(N, 0) O(n) 1 500
office_ghostscript_src_gsht1.o.gs_sethalftone_prepare.o gs_sethalftone_prepare 1 + (0 + 1) × max(0, (Sele... O(n) 2 120 FAILED 500
office_ghostscript_src_gsht1.o.gx_ht_construct_threshold_order.o gx_ht_construct_threshold_order FAILED 30 FAILED 500
office_ghostscript_src_gshtscr.o.gx_compute_cell_values.o gx_compute_cell_values FAILED 50 FAILED 500
office_ghostscript_src_gshtscr.o.pick_cell_size.o pick_cell_size FAILED 140 FAILED 1000
office_ghostscript_src_gsimage.o.gs_image_cleanup.o gs_image_cleanup 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gsimage.o.gs_image_enum_reloc_ptrs.o gs_image_enum_reloc_ptrs 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 FAILED 500
office_ghostscript_src_gsimage.o.gs_image_next.o gs_image_next FAILED 250 FAILED 1000
office_ghostscript_src_gsimage.o.image_enum_init.o image_enum_init 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 500
office_ghostscript_src_gsimpath.o.gs_imagepath.o gs_imagepath 1 + (0 + 1) × max(0, (heig... O(n2) 2 10 max(height, 0) + max(0, ( m... O(n2) 2 500
office_ghostscript_src_gsimpath.o.trace_from.o trace_from FAILED 1370 FAILED 2000
office_ghostscript_src_gsiodev.o.gs_findiodevice.o gs_findiodevice FAILED 20 FAILED 500
office_ghostscript_src_gsiodev.o.gs_iodev_init.o gs_iodev_init FAILED 10 FAILED 500
office_ghostscript_src_gsline.o.gx_set_dash.o gx_set_dash FAILED 30 FAILED 500
office_ghostscript_src_gsmemory.o.gs_alloc_memset.o gs_alloc_memset 1 + (0 + 1) × max(0, (lsiz... O(n) 1 20 1 + max(0, (lsize + -214748... O(n) 1 500
office_ghostscript_src_gsmemory.o.gs_heap_free_object.o gs_heap_free_object FAILED 20 FAILED 500
office_ghostscript_src_gsmemory.o.gs_malloc_release.o gs_malloc_release FAILED 10 FAILED 500
office_ghostscript_src_gsmemory.o.heap_available.o heap_available 1 + 20 × max(0, 1) + (0 +... O(1) 0 20 FAILED 500
office_ghostscript_src_gsmisc.o.debug_dump_bitmap.o debug_dump_bitmap 1 + (0 + 1) × max(0, (heig... O(n) 1 500 max(height, 0) O(n) 1 500
office_ghostscript_src_gsmisc.o.debug_dump_bytes.o debug_dump_bytes FAILED 40 FAILED 500
office_ghostscript_src_gsmisc.o.debug_print_string.o debug_print_string 1 + (0 + 1) × max(0, (len ... O(n) 1 10 max(len, 0) O(n) 1 500
office_ghostscript_src_gsmisc.o.igcd.o igcd FAILED 30 FAILED 500
office_ghostscript_src_gsparam.o.c_param_find.o c_param_find FAILED 10 FAILED 500
office_ghostscript_src_gspath1.o.gs_arc_add.o gs_arc_add 1 + (0 + 1) × max(0, (-368... O(n) 2 270 max(0, ( 1474560 × max(0, (... O(n) 2 500
office_ghostscript_src_gspcolor.o.bitmap_PaintProc.o bitmap_PaintProc 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
office_ghostscript_src_gspcolor.o.gx_dc_pattern_fill_rectangle.o gx_dc_pattern_fill_rectangle FAILED 190 FAILED 2000
office_ghostscript_src_gspcolor.o.gx_dc_pattern_load.o gx_dc_pattern_load FAILED 10 FAILED 500
office_ghostscript_src_gsstate.o.gs_grestoreall.o gs_grestoreall FAILED 20 FAILED 4000
office_ghostscript_src_gsstate.o.gs_imager_state_initialize.o gs_imager_state_initialize 1 + (0 + 1) × max(0, (0 + 2)) O(1) 0 10 2 O(1) 0 500
office_ghostscript_src_gsstate.o.gstate_share_paths.o gstate_share_paths FAILED 350 FAILED 20000
office_ghostscript_src_gstype1.o.gs_type1_charstring_interpret.o gs_type1_charstring_interpret FAILED 500 FAILED 500
office_ghostscript_src_gstype2.o.gs_type2_charstring_interpret.o gs_type2_charstring_interpret FAILED 500 FAILED 500
office_ghostscript_src_gstype42.o.append_simple.o append_simple FAILED 750 FAILED 1000
office_ghostscript_src_gstype42.o.gs_type42_font_init.o gs_type42_font_init 1 + (0 + 1) × max(0, ([**O... O(n) 1 10 FAILED 500
office_ghostscript_src_gsutil.o.bytes_compare.o bytes_compare 1 + (0 + 1) × max(0, (1 + ... O(n) 2 20 FAILED 500
office_ghostscript_src_gsutil.o.string_match.o string_match FAILED 840 FAILED 500
office_ghostscript_src_gxacpath.o.accum_fill_rectangle.o accum_fill_rectangle FAILED 690 FAILED 6000
office_ghostscript_src_gxbcache.o.gx_bits_cache_alloc.o gx_bits_cache_alloc FAILED 20 FAILED 500
office_ghostscript_src_gxccache.o.compress_alpha_bits.o compress_alpha_bits 1 + (0 + 1) × max(0, (Sele... O(n2) 3 30 FAILED 6000
office_ghostscript_src_gxccache.o.gx_image_cached_char.o gx_image_cached_char 1 + (0 + 1) × max(0, (Sele... O(n) 2 920 TIMEOUT
office_ghostscript_src_gxccache.o.gx_lookup_cached_char.o gx_lookup_cached_char FAILED 30 FAILED 55000
office_ghostscript_src_gxccache.o.gx_lookup_fm_pair.o gx_lookup_fm_pair FAILED 390 TIMEOUT
office_ghostscript_src_gxccman.o.alloc_char.o alloc_char FAILED 20 TIMEOUT
office_ghostscript_src_gxccman.o.alloc_char_in_chunk.o alloc_char_in_chunk FAILED 30 FAILED 60000
office_ghostscript_src_gxccman.o.gs_purge_font_from_char_caches.o gs_purge_font_from_char_caches FAILED 10 FAILED 36000
office_ghostscript_src_gxccman.o.gx_add_cached_char.o gx_add_cached_char FAILED 20 FAILED 33000
office_ghostscript_src_gxccman.o.gx_add_char_bits.o gx_add_char_bits 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 31000
office_ghostscript_src_gxccman.o.gx_add_fm_pair.o gx_add_fm_pair FAILED 70 TIMEOUT
office_ghostscript_src_gxccman.o.gx_char_cache_alloc.o gx_char_cache_alloc FAILED 10 FAILED 500
office_ghostscript_src_gxccman.o.gx_char_cache_init.o gx_char_cache_init 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 TIMEOUT
office_ghostscript_src_gxccman.o.gx_lookup_xfont.o gx_lookup_xfont FAILED 180 not analyzed
office_ghostscript_src_gxccman.o.gx_purge_selected_cached_chars.o gx_purge_selected_cached_chars FAILED 10 FAILED 29000
office_ghostscript_src_gxccman.o.hash_remove_cached_char.o hash_remove_cached_char FAILED 500 FAILED 29000
office_ghostscript_src_gxcht.o.gx_dc_ht_colored_fill_rectangle.o gx_dc_ht_colored_fill_rectangle FAILED 820 FAILED 1000
office_ghostscript_src_gxcht.o.set_color_ht.o set_color_ht FAILED 100 FAILED 500
office_ghostscript_src_gxclbits.o.clist_add_tile.o clist_add_tile FAILED 20 FAILED 500
office_ghostscript_src_gxclbits.o.clist_change_bits.o clist_change_bits FAILED 10 FAILED 1000
office_ghostscript_src_gxclbits.o.clist_change_tile.o clist_change_tile FAILED 90 FAILED 2000
office_ghostscript_src_gxclbits.o.clist_delete_tile.o clist_delete_tile FAILED 10 FAILED 500
office_ghostscript_src_gxclbits.o.clist_find_bits.o clist_find_bits FAILED 10 FAILED 500
office_ghostscript_src_gxclbits.o.clist_new_tile_params.o clist_new_tile_params 1 + (0 + 1) × max(0, (-255... O(n3) 8 50 FAILED 1000
office_ghostscript_src_gxclbits.o.cmd_compress_bitmap.o cmd_compress_bitmap 1 + (0 + 1) × max(0, (heig... O(n) 1 10 max(0, (height + -1)) O(n) 1 500
office_ghostscript_src_gxclimag.o.clist_begin_image.o clist_begin_image FAILED 1420 FAILED 10000
office_ghostscript_src_gxclimag.o.clist_end_image.o clist_end_image FAILED 30 FAILED 1000
office_ghostscript_src_gxclimag.o.clist_fill_mask.o clist_fill_mask FAILED 32540 TIMEOUT
office_ghostscript_src_gxclimag.o.clist_image_data.o clist_image_data FAILED 1180 FAILED 2000
office_ghostscript_src_gxclimag.o.cmd_image_data.o cmd_image_data 1 + (0 + 1) × max(0, (h + 0)) O(n) 1 20 max(h, 0) O(n) 1 500
office_ghostscript_src_gxclimag.o.cmd_put_color_mapping.o cmd_put_color_mapping 1 + (0 + 1) × max(0, (0 + ... O(1) 0 150 11 O(1) 0 500
office_ghostscript_src_gxclimag.o.cmd_put_halftone.o cmd_put_halftone 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 1000
office_ghostscript_src_gxclimag.o.cmd_put_ht_order.o cmd_put_ht_order 1 + (0 + 1) × max(0, (Sele... O(n) 3 60 FAILED 500
office_ghostscript_src_gxclimag.o.image_band_box.o image_band_box 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 50 4 O(1) 0 500
office_ghostscript_src_gxclip2.o.tile_clip_initialize.o tile_clip_initialize 1 + (0 + 1) × max(0, (0 + ... O(n) 4 20 FAILED 500
office_ghostscript_src_gxclist.o.clist_init.o clist_init 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 12000
office_ghostscript_src_gxclist.o.clist_init_tile_cache.o clist_init_tile_cache FAILED 40 FAILED 1000
office_ghostscript_src_gxclist.o.cmd_put_w.o cmd_put_w FAILED 10 FAILED 500
office_ghostscript_src_gxclist.o.cmd_size_w.o cmd_size_w FAILED 500 FAILED 500
office_ghostscript_src_gxclist.o.cmd_write_band.o cmd_write_band FAILED 10 FAILED 500
office_ghostscript_src_gxclist.o.cmd_write_buffer.o cmd_write_buffer 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gxclpage.o.gdev_prn_render_pages.o gdev_prn_render_pages 1 + (0 + 1) × max(0, (coun... O(n) 1 30 max(count, 0) + max(count, 0) O(n) 1 1000
office_ghostscript_src_gxclpath.o.clist_fill_path.o clist_fill_path FAILED 1460 FAILED 4000
office_ghostscript_src_gxclpath.o.clist_stroke_path.o clist_stroke_path FAILED 1010 TIMEOUT
office_ghostscript_src_gxclpath.o.cmd_clear_known.o cmd_clear_known 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gxclpath.o.cmd_for_matrix.o cmd_for_matrix 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 10 O(1) 0 500
office_ghostscript_src_gxclpath.o.cmd_put_path.o cmd_put_path FAILED 680 FAILED 2000
office_ghostscript_src_gxclpath.o.cmd_put_segment.o cmd_put_segment 1 + (0 + 1) × max(0, (-1 +... O(n) 1 90 FAILED 2000
office_ghostscript_src_gxclpath.o.cmd_write_unknown.o cmd_write_unknown FAILED 6140 TIMEOUT
office_ghostscript_src_gxclread.o.clist_get_bits.o clist_get_bits 1 + (0 + 1) × max(0, (0 + ... O(n) 2 310 FAILED 43000
office_ghostscript_src_gxclread.o.clist_render_band.o clist_render_band TIMEOUT TIMEOUT
office_ghostscript_src_gxclread.o.clist_unpack_short_bits.o clist_unpack_short_bits 1 + (0 + 1) × max(0, (heig... O(n) 1 10 max(height, 0) O(n) 1 500
office_ghostscript_src_gxclread.o.cmd_get_w.o cmd_get_w FAILED 10 FAILED 500
office_ghostscript_src_gxclread.o.cmd_read_matrix.o cmd_read_matrix 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 10 O(1) 0 500
office_ghostscript_src_gxclread.o.cmd_resize_halftone.o cmd_resize_halftone 1 + (0 + 1) × max(0, (Sele... O(n) 3 500 FAILED 500
office_ghostscript_src_gxclread.o.s_band_read_process.o s_band_read_process FAILED 100 FAILED 500
office_ghostscript_src_gxclrect.o.clist_fill_rectangle.o clist_fill_rectangle FAILED 390 FAILED 1000
office_ghostscript_src_gxclrect.o.clist_strip_tile_rectangle.o clist_strip_tile_rectangle FAILED 1020 FAILED 2000
office_ghostscript_src_gxcpath.o.gx_clip_list_add_to_path.o gx_clip_list_add_to_path FAILED 500 FAILED 500
office_ghostscript_src_gxcpath.o.gx_clip_list_free.o gx_clip_list_free FAILED 10 FAILED 500
office_ghostscript_src_gxcpath.o.gx_cpath_scale_exp2.o gx_cpath_scale_exp2 FAILED 10 FAILED 500
office_ghostscript_src_gxctable.o.gx_color_interpolate_nearest.o gx_color_interpolate_nearest 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
office_ghostscript_src_gxdcolor.o.gx_dc_default_fill_masked.o gx_dc_default_fill_masked FAILED 870 FAILED 500
office_ghostscript_src_gxfill.o.add_y_line.o add_y_line FAILED 150 FAILED 500
office_ghostscript_src_gxfill.o.add_y_list.o add_y_list FAILED 540 FAILED 1000
office_ghostscript_src_gxfill.o.fill_loop_by_scan_lines.o fill_loop_by_scan_lines FAILED 1710 FAILED 2000
office_ghostscript_src_gxfill.o.fill_loop_by_trapezoids.o fill_loop_by_trapezoids FAILED 3110 FAILED 2000
office_ghostscript_src_gxfill.o.free_line_list.o free_line_list FAILED 500 FAILED 500
office_ghostscript_src_gxfill.o.insert_x_new.o insert_x_new FAILED 30 FAILED 500
office_ghostscript_src_gxfill.o.resort_x_line.o resort_x_line FAILED 20 FAILED 500
office_ghostscript_src_gxfill.o.unclose_path.o unclose_path FAILED 10 FAILED 500
office_ghostscript_src_gxhint1.o.compute_snaps.o compute_snaps 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
office_ghostscript_src_gxhint1.o.compute_zones.o compute_zones 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gxhint2.o.find_snap.o find_snap 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 500
office_ghostscript_src_gxhint2.o.find_zone.o find_zone 1 + (0 + 1) × max(0, (pcis... O(n) 4 30 FAILED 500
office_ghostscript_src_gxhint2.o.store_stem_deltas.o store_stem_deltas 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 FAILED 500
office_ghostscript_src_gxhint2.o.type1_stem.o type1_stem 1 + (0 + 1) × max(0, (psht... O(n) 3 10 FAILED 500
office_ghostscript_src_gxhint3.o.apply_final_hint.o apply_final_hint FAILED 50 FAILED 500
office_ghostscript_src_gxhint3.o.search_hints.o search_hints 1 + (0 + 1) × max(0, (psht... O(n) 3 20 FAILED 500
office_ghostscript_src_gxhint3.o.type1_apply_path_hints.o type1_apply_path_hints FAILED 20 FAILED 500
office_ghostscript_src_gxht.o.gx_ht_init_cache.o gx_ht_init_cache 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 70 FAILED 500
office_ghostscript_src_gxht.o.ht_tiles_reloc_ptrs.o ht_tiles_reloc_ptrs 1 + (0 + 1) × max(0, (size... O(n) 1 10 FAILED 500
office_ghostscript_src_gxht.o.render_ht.o render_ht 1 + (0 + 1) × max(0, (leve... O(n) 3 40 FAILED 500
office_ghostscript_src_gximage.o.gx_default_begin_image.o gx_default_begin_image FAILED 2840 TIMEOUT
office_ghostscript_src_gximage.o.image_init_colors.o image_init_colors FAILED 280 FAILED 500
office_ghostscript_src_gximage.o.image_init_map.o image_init_map FAILED 10 FAILED 500
office_ghostscript_src_gximage0.o.gx_default_image_data.o gx_default_image_data FAILED 770 FAILED 32000
office_ghostscript_src_gximage1.o.copy_landscape.o copy_landscape 1 + (0 + 1) × max(0, (1 + ... O(n) 2 10 FAILED 2000
office_ghostscript_src_gximage1.o.image_render_landscape.o image_render_landscape FAILED 60 FAILED 27000
office_ghostscript_src_gximage1.o.image_render_simple.o image_render_simple 1 + (0 + 1) × max(0, (Sele... O(n) 2 80 FAILED 29000
office_ghostscript_src_gximage1.o.image_simple_expand.o image_simple_expand TIMEOUT TIMEOUT
office_ghostscript_src_gximage2.o.image_render_mono.o image_render_mono FAILED 6000 TIMEOUT
office_ghostscript_src_gximage3.o.image_render_color.o image_render_color 1 + (0 + 1) × max(0, (w + ... O(n2) 5 700 TIMEOUT
office_ghostscript_src_gximage4.o.image_render_frac.o image_render_frac FAILED 750 FAILED 19000
office_ghostscript_src_gximage4.o.sample_unpack_12.o sample_unpack_12 1 + (0 + 1) × max(0, (-2 +... O(n) 2 30 max(0, (-2 + max(0, (dsize ... O(n) 2 500
office_ghostscript_src_gximage5.o.image_render_interpolate.o image_render_interpolate FAILED 230 FAILED 8000
office_ghostscript_src_gxpath.o.gx_path_add_lines_notes.o gx_path_add_lines_notes 1 + (0 + 1) × max(0, (coun... O(n) 1 30 max(count, 0) O(n) 1 500
office_ghostscript_src_gxpath.o.gx_path_release.o gx_path_release FAILED 10 FAILED 500
office_ghostscript_src_gxpath2.o.gx_path_bbox.o gx_path_bbox FAILED 10 FAILED 500
office_ghostscript_src_gxpath2.o.gx_path_copy_reversed.o gx_path_copy_reversed FAILED 250 FAILED 1000
office_ghostscript_src_gxpath2.o.gx_path_scale_exp2.o gx_path_scale_exp2 FAILED 10 FAILED 500
office_ghostscript_src_gxpath2.o.gx_path_translate.o gx_path_translate FAILED 10 FAILED 500
office_ghostscript_src_gxpath2.o.gx_subpath_is_rectangle.o gx_subpath_is_rectangle FAILED 180 FAILED 500
office_ghostscript_src_gxpcmap.o.gx_pattern_alloc_cache.o gx_pattern_alloc_cache 1 + (0 + 1) × max(0, (num_... O(n) 1 10 max(num_tiles, 0) O(n) 1 500
office_ghostscript_src_gxpcmap.o.gx_pattern_cache_add_entry.o gx_pattern_cache_add_entry FAILED 110 FAILED 52000
office_ghostscript_src_gxpcmap.o.gx_pattern_cache_winnow.o gx_pattern_cache_winnow 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gxpcopy.o.gx_curve_x_at_y.o gx_curve_x_at_y 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_gxpcopy.o.gx_path_copy_reducing.o gx_path_copy_reducing FAILED 110 FAILED 1000
office_ghostscript_src_gxpcopy.o.gx_path_is_monotonic.o gx_path_is_monotonic FAILED 30 FAILED 500
office_ghostscript_src_gxpcopy.o.monotonize_internal.o monotonize_internal FAILED 90 FAILED 500
office_ghostscript_src_gxpdash.o.gx_path_expand_dashes.o gx_path_expand_dashes FAILED 10 FAILED 500
office_ghostscript_src_gxpdash.o.subpath_expand_dashes.o subpath_expand_dashes FAILED 1000 FAILED 1000
office_ghostscript_src_gxpflat.o.gx_curve_log2_samples.o gx_curve_log2_samples 1 + (0 + 1) × max(0, (-409... O(n) 13 1360 FAILED 500
office_ghostscript_src_gxsample.o.sample_unpack_1.o sample_unpack_1 FAILED 10 FAILED 500
office_ghostscript_src_gxsample.o.sample_unpack_2.o sample_unpack_2 FAILED 10 FAILED 500
office_ghostscript_src_gxsample.o.sample_unpack_4.o sample_unpack_4 FAILED 10 FAILED 500
office_ghostscript_src_gxsample.o.sample_unpack_8.o sample_unpack_8 FAILED 20 FAILED 500
office_ghostscript_src_gxstroke.o.gx_stroke_path_only.o gx_stroke_path_only FAILED 2170 FAILED 3000
office_ghostscript_src_gxtype1.o.gs_type1_decrypt.o gs_type1_decrypt 1 + (0 + 1) × max(0, (len ... O(n) 1 10 FAILED 500
office_ghostscript_src_gxtype1.o.gs_type1_encrypt.o gs_type1_encrypt 1 + (0 + 1) × max(0, (len ... O(n) 1 500 FAILED 500
office_ghostscript_src_gxtype1.o.gs_type1_state_reloc_ptrs.o gs_type1_state_reloc_ptrs 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 500
office_ghostscript_src_ialloc.o.ialloc_init.o ialloc_init 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20 4 O(1) 0 500
office_ghostscript_src_icontext.o.context_state_free.o context_state_free 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 500
office_ghostscript_src_idebug.o.debug_dump_one_ref.o debug_dump_one_ref FAILED 500 FAILED 500
office_ghostscript_src_idebug.o.debug_dump_refs.o debug_dump_refs 1 + (0 + 1) × max(0, (size... O(n) 1 10 FAILED 500
office_ghostscript_src_idebug.o.debug_dump_stack.o debug_dump_stack 1 + (0 + 1) × max(0, (ref_... O(n) 1 500 FAILED 500
office_ghostscript_src_idict.o.dict_copy_entries.o dict_copy_entries FAILED 40 FAILED 500
office_ghostscript_src_idict.o.dict_create_contents.o dict_create_contents FAILED 20 FAILED 500
office_ghostscript_src_idict.o.dict_find.o dict_find FAILED 1870 FAILED 500
office_ghostscript_src_idict.o.dict_find_name_by_index.o dict_find_name_by_index FAILED 1870 FAILED 500
office_ghostscript_src_idict.o.dict_is_permanent_on_dstack.o dict_is_permanent_on_dstack 1 + (0 + 1) × max(0, (*min... O(n) 1 20 FAILED 500
office_ghostscript_src_idict.o.dict_next.o dict_next 1 + (0 + 1) × max(0, (inde... O(n) 1 20 max(index, 0) O(n) 1 500
office_ghostscript_src_idict.o.dict_put.o dict_put FAILED 40 FAILED 500
office_ghostscript_src_idict.o.dict_round_size_large.o dict_round_size_large FAILED 500 FAILED 500
office_ghostscript_src_idict.o.dict_unpack.o dict_unpack 1 + (0 + 1) × max(0, (Sele... O(n) 4 10 FAILED 500
office_ghostscript_src_idict.o.dstack_gc_cleanup.o dstack_gc_cleanup FAILED 40 FAILED 500
office_ghostscript_src_idparam.o.dict_check_uid_param.o dict_check_uid_param 1 + (0 + 1) × max(0, (0 + ... O(n) 2 10 FAILED 500
office_ghostscript_src_idparam.o.dict_int_array_param.o dict_int_array_param 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 FAILED 500
office_ghostscript_src_idparam.o.dict_uid_param.o dict_uid_param 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
office_ghostscript_src_igc.o.gc_clear_reloc.o gc_clear_reloc FAILED 20 FAILED 500
office_ghostscript_src_igc.o.gc_do_reloc.o gc_do_reloc FAILED 10 FAILED 500
office_ghostscript_src_igc.o.gc_extend_stack.o gc_extend_stack 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 4034 O(1) 0 500
office_ghostscript_src_igc.o.gc_free_empty_chunks.o gc_free_empty_chunks FAILED 500 FAILED 500
office_ghostscript_src_igc.o.gc_objects_clear_marks.o gc_objects_clear_marks FAILED 10 FAILED 500
office_ghostscript_src_igc.o.gc_objects_compact.o gc_objects_compact FAILED 10 FAILED 500
office_ghostscript_src_igc.o.gc_objects_set_reloc.o gc_objects_set_reloc FAILED 10 FAILED 500
office_ghostscript_src_igc.o.gc_rescan_chunk.o gc_rescan_chunk FAILED 100 FAILED 500
office_ghostscript_src_igc.o.gc_trace.o gc_trace FAILED 500 FAILED 500
office_ghostscript_src_igc.o.gc_trace_chunk.o gc_trace_chunk FAILED 50 FAILED 500
office_ghostscript_src_igc.o.gc_trace_finish.o gc_trace_finish FAILED 500 FAILED 500
office_ghostscript_src_igc.o.gc_unmark_names.o gc_unmark_names 1 + (0 + 1) × max(0, (Sele... O(n) 4 20 FAILED 500
office_ghostscript_src_igc.o.gs_reclaim.o gs_reclaim FAILED 17910 FAILED 1000
office_ghostscript_src_igcref.o.gs_igcref_init.o gs_igcref_init 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 21 O(1) 0 500
office_ghostscript_src_igcref.o.gs_reloc_ref_ptr.o gs_reloc_ref_ptr FAILED 20 FAILED 500
office_ghostscript_src_igcref.o.gs_reloc_refs.o gs_reloc_refs 1 + (0 + 1) × max(0, (to +... O(n) 2 10 max(0, (to - from)) O(n) 2 500
office_ghostscript_src_igcref.o.ref_struct_clear_marks.o ref_struct_clear_marks 1 + (0 + 1) × max(0, (size... O(n) 2 20 max(size, 0) O(n) 1 500
office_ghostscript_src_igcref.o.refs_clear_marks.o refs_clear_marks FAILED 10 FAILED 500
office_ghostscript_src_igcref.o.refs_clear_reloc.o refs_clear_reloc 1 + (0 + 1) × max(0, (size... O(n) 2 10 max(0, (size + -1 + (hdr + ... O(n) 2 500
office_ghostscript_src_igcref.o.refs_compact.o refs_compact FAILED 250 FAILED 500
office_ghostscript_src_igcref.o.refs_set_reloc.o refs_set_reloc FAILED 70 FAILED 500
office_ghostscript_src_igcstr.o.gc_mark_string.o gc_mark_string 1 + (0 + 1) × max(0, (size... O(n) 4 10 FAILED 500
office_ghostscript_src_igcstr.o.gc_strings_compact.o gc_strings_compact 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 FAILED 500
office_ghostscript_src_igcstr.o.gc_strings_set_reloc.o gc_strings_set_reloc 1 + (0 + 1) × max(0, (1 + ... O(n) 3 10 FAILED 500
office_ghostscript_src_iinit.o.gs_have_level2.o gs_have_level2 FAILED 20 FAILED 500
office_ghostscript_src_iinit.o.make_initial_dict.o make_initial_dict 1 + (0 + 1) × max(0, (0 + 5)) O(1) 0 500 5 O(1) 0 500
office_ghostscript_src_iinit.o.obj_init.o obj_init FAILED 70 FAILED 500
office_ghostscript_src_iinit.o.op_init.o op_init FAILED 50 FAILED 500
office_ghostscript_src_ilocate.o.gc_locate.o gc_locate FAILED 920 FAILED 500
office_ghostscript_src_imain.o.file_path_add.o file_path_add FAILED 30 FAILED 500
office_ghostscript_src_imain.o.init2_make_string_array.o init2_make_string_array FAILED 10 FAILED 500
office_ghostscript_src_imainarg.o.esc_strcat.o esc_strcat FAILED 10 FAILED 500
office_ghostscript_src_imainarg.o.gs_main_init_with_args.o gs_main_init_with_args FAILED 40 FAILED 500
office_ghostscript_src_imainarg.o.print_devices.o print_devices FAILED 10 FAILED 500
office_ghostscript_src_imainarg.o.print_emulators.o print_emulators FAILED 10 FAILED 500
office_ghostscript_src_imainarg.o.print_paths.o print_paths FAILED 20 FAILED 500
office_ghostscript_src_iname.o.name_alloc_sub.o name_alloc_sub 1 + (0 + 1) × max(0, (0 + ... O(n) 3 20 FAILED 500
office_ghostscript_src_iname.o.name_init.o name_init 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 259 O(1) 0 500
office_ghostscript_src_iname.o.name_next_valid_index.o name_next_valid_index FAILED 20 FAILED 500
office_ghostscript_src_iname.o.name_ref.o name_ref FAILED 40 FAILED 500
office_ghostscript_src_iname.o.name_restore.o name_restore 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
office_ghostscript_src_iname.o.name_scan_sub.o name_scan_sub 1 + (0 + 1) × max(0, (sub_... O(n) 1 50 FAILED 1000
office_ghostscript_src_iname.o.name_sub_reloc_ptrs.o name_sub_reloc_ptrs 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 128 O(1) 0 500
office_ghostscript_src_iname.o.name_table_reloc_ptrs.o name_table_reloc_ptrs 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_iname.o.name_trace_finish.o name_trace_finish FAILED 20 FAILED 500
office_ghostscript_src_iname.o.name_unmark_all.o name_unmark_all 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
office_ghostscript_src_interp.o.gs_call_interp.o gs_call_interp FAILED 130 FAILED 500
office_ghostscript_src_interp.o.gs_interp_make_oper.o gs_interp_make_oper 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 10 O(1) 0 500
office_ghostscript_src_interp.o.interp.o interp FAILED 500 FAILED 500
office_ghostscript_src_interp.o.set_gc_signal.o set_gc_signal 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 500
office_ghostscript_src_iparam.o.array_param_read.o array_param_read 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 max(0, (_1443iable... O(n) 2 500
office_ghostscript_src_iparam.o.ref_param_read_commit.o ref_param_read_commit 1 + (0 + 1) × max(0, (Sele... O(n) 2 500 FAILED 500
office_ghostscript_src_iparam.o.ref_param_read_int_array.o ref_param_read_int_array 1 + (0 + 1) × max(0, (Sele... O(n) 4 20 FAILED 500
office_ghostscript_src_iparam.o.ref_param_read_string_array.o ref_param_read_string_array 1 + (0 + 1) × max(0, (Sele... O(n) 4 10 FAILED 500
office_ghostscript_src_iparam.o.ref_param_write_float_array.o ref_param_write_float_array 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_iparam.o.ref_param_write_int_array.o ref_param_write_int_array 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_iparam.o.ref_param_write_name_array.o ref_param_write_name_array 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_iparam.o.ref_param_write_string_array.o ref_param_write_string_array 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_iparam.o.stack_param_read.o stack_param_read 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_ireclaim.o.ireclaim.o ireclaim 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20 4 O(1) 0 500
office_ghostscript_src_isave.o.alloc_find_save.o alloc_find_save FAILED 20 FAILED 500
office_ghostscript_src_isave.o.alloc_forget_save.o alloc_forget_save FAILED 110 FAILED 500
office_ghostscript_src_isave.o.alloc_is_since_save.o alloc_is_since_save FAILED 80 FAILED 500
office_ghostscript_src_isave.o.alloc_restore_all.o alloc_restore_all FAILED 10 FAILED 500
office_ghostscript_src_isave.o.alloc_restore_state_step.o alloc_restore_state_step FAILED 20 FAILED 500
office_ghostscript_src_isave.o.alloc_save_current.o alloc_save_current FAILED 20 FAILED 500
office_ghostscript_src_isave.o.combine_space.o combine_space FAILED 30 FAILED 500
office_ghostscript_src_isave.o.forget_changes.o forget_changes FAILED 10 FAILED 500
office_ghostscript_src_isave.o.restore_finalize.o restore_finalize FAILED 20 FAILED 500
office_ghostscript_src_isave.o.restore_free.o restore_free FAILED 10 FAILED 500
office_ghostscript_src_isave.o.restore_space.o restore_space FAILED 10 FAILED 500
office_ghostscript_src_isave.o.save_set_new.o save_set_new FAILED 140 FAILED 500
office_ghostscript_src_isave.o.save_set_new_changes.o save_set_new_changes FAILED 10 FAILED 500
office_ghostscript_src_iscan.o.dynamic_grow.o dynamic_grow 1 + (0 + 1) × max(0, (max(... O(n) 4 30 FAILED 500
office_ghostscript_src_iscanbin.o.scan_bin_num_array_continue.o scan_bin_num_array_continue 1 + (0 + 1) × max(0, (Sele... O(n) 5 20 FAILED 500
office_ghostscript_src_iscanbin.o.scan_bos_continue.o scan_bos_continue 1 + (0 + 1) × max(0, (-7 +... O(n) 3 280 max(0, (_1733iable... O(n) 2 500
office_ghostscript_src_iscanbin.o.scan_bos_resize.o scan_bos_resize 1 + (0 + 1) × max(0, (inde... O(n) 1 10 FAILED 500
office_ghostscript_src_iscanbin.o.scan_bos_string_continue.o scan_bos_string_continue FAILED 60 FAILED 1000
office_ghostscript_src_iscannum.o.scan_number.o scan_number FAILED 10930 FAILED 28000
office_ghostscript_src_istack.o.init_block.o init_block 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ghostscript_src_istack.o.ref_stack_counttomark.o ref_stack_counttomark FAILED 20 FAILED 500
office_ghostscript_src_istack.o.ref_stack_index.o ref_stack_index FAILED 10 FAILED 500
office_ghostscript_src_istack.o.ref_stack_pop.o ref_stack_pop FAILED 20 FAILED 500
office_ghostscript_src_istack.o.ref_stack_push.o ref_stack_push FAILED 10 FAILED 500
office_ghostscript_src_istack.o.ref_stack_store.o ref_stack_store FAILED 880 FAILED 500
office_ghostscript_src_iutil.o.array_get.o array_get 1 + (0 + 1) × max(0, (inde... O(n) 1 10 FAILED 500
office_ghostscript_src_iutil.o.make_reals.o make_reals FAILED 500 FAILED 500
office_ghostscript_src_iutil.o.num_params.o num_params 1 + (0 + 1) × max(0, (coun... O(n) 1 10 max(count, 0) O(n) 1 500
office_ghostscript_src_iutil.o.obj_eq.o obj_eq FAILED 160 FAILED 500
office_ghostscript_src_iutil.o.op_find_index.o op_find_index 1 + (0 + 1) × max(0, (*op_... O(n) 2 20 FAILED 500
office_ghostscript_src_iutil.o.refcpy_to_new.o refcpy_to_new 1 + (0 + 1) × max(0, (size... O(n) 1 10 FAILED 500
office_ghostscript_src_iutil.o.refcpy_to_old.o refcpy_to_old 1 + (0 + 1) × max(0, (size... O(n) 1 20 FAILED 500
office_ghostscript_src_iutil.o.refs_check_space.o refs_check_space 1 + (0 + 1) × max(0, (size... O(n) 1 10 FAILED 500
office_ghostscript_src_iutil.o.refset_null.o refset_null 1 + (0 + 1) × max(0, (size... O(n) 1 10 FAILED 500
office_ghostscript_src_iutil.o.write_matrix.o write_matrix 1 + (0 + 1) × max(0, (0 + 6)) O(1) 0 10 6 O(1) 0 500
office_ghostscript_src_sbcp.o.s_xBCPD_process.o s_xBCPD_process FAILED 340 FAILED 500
office_ghostscript_src_sbcp.o.s_xBCPE_process.o s_xBCPE_process 1 + (0 + 1) × max(0, (0 + ... O(n) 6 40 max(0, (_590 ... O(n) 4 500
office_ghostscript_src_sbhc.o.s_BHCD_process.o s_BHCD_process FAILED 1810 FAILED 2000
office_ghostscript_src_sbhc.o.s_BHCE_process.o s_BHCE_process FAILED 160 not analyzed
office_ghostscript_src_sbwbs.o.bwbs_compare_rotations.o bwbs_compare_rotations 1 + (0 + 1) × max(0, (0 + ... O(n) 5 140 FAILED 500
office_ghostscript_src_sbwbs.o.bwbsd_construct_offsets.o bwbsd_construct_offsets 1 + (0 + 1) × max(0, (0 + ... O(n2) 1 80 256 + max(0, 256 × max(0, ... O(n2) 1 500
office_ghostscript_src_sbwbs.o.bwbse_sort.o bwbse_sort 1 + (0 + 1) × max(0, (N + ... O(n) 1 40 512 + max(N, 0) + max(N, 0) O(n) 1 500
office_ghostscript_src_sbwbs.o.s_BWBSD_process.o s_BWBSD_process 1 + (0 + 1) × max(0, (0 + ... O(n) 3 70 8 + max(0, (_1066i... O(n) 2 500
office_ghostscript_src_sbwbs.o.s_BWBSE_process.o s_BWBSE_process 1 + (0 + 1) × max(0, (Sele... O(n) 5 190 FAILED 500
office_ghostscript_src_scfd.o.cf_decode_1d.o cf_decode_1d FAILED 500 FAILED 500
office_ghostscript_src_scfd.o.cf_decode_2d.o cf_decode_2d FAILED 500 FAILED 500
office_ghostscript_src_scfd.o.cf_decode_eol.o cf_decode_eol 1 + 11 × max(0, 7, 23) + ... O(n) 5 130 FAILED 500
office_ghostscript_src_scfd.o.s_CFD_process.o s_CFD_process FAILED 4200 FAILED 48000
office_ghostscript_src_scfe.o.cf_encode_1d.o cf_encode_1d FAILED 27750 FAILED 35000
office_ghostscript_src_scfe.o.cf_encode_2d.o cf_encode_2d TIMEOUT not analyzed
office_ghostscript_src_scfe.o.s_CFE_process.o s_CFE_process FAILED 1530 FAILED 500
office_ghostscript_src_sdctd.o.s_DCTD_process.o s_DCTD_process FAILED 890 FAILED 500
office_ghostscript_src_sdcte.o.s_DCTE_process.o s_DCTE_process FAILED 50 FAILED 500
office_ghostscript_src_seexec.o.s_exD_process.o s_exD_process 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 20 8 O(1) 0 500
office_ghostscript_src_sfilter1.o.s_PFBD_process.o s_PFBD_process FAILED 460 FAILED 500
office_ghostscript_src_sfilter1.o.s_SFD_process.o s_SFD_process 1 + (0 + 1) × max(0, (Sele... O(n) 5 160 FAILED 1000
office_ghostscript_src_sfilter2.o.s_A85D_process.o s_A85D_process 1 + (0 + 1) × max(0, (Sele... O(n) 3 40 max(0, (_678 ... O(n) 2 500
office_ghostscript_src_sfilter2.o.s_A85E_process.o s_A85E_process 1 + (0 + 1) × max(0, (-3 +... O(n) 3 150 FAILED 500
office_ghostscript_src_sfilter2.o.s_BT_process.o s_BT_process 1 + (0 + 1) × max(0, (1 + ... O(n) 6 20 FAILED 500
office_ghostscript_src_shc.o.hc_put_last_bits_proc.o hc_put_last_bits_proc 1 + (0 + 1) × max(0, (32 +... O(n) 1 500 max(0, (32 - bits_left)) O(n) 1 500
office_ghostscript_src_shcgen.o.hc_bytes_from_definition.o hc_bytes_from_definition FAILED 60 FAILED 500
office_ghostscript_src_shcgen.o.hc_compute.o hc_compute FAILED 230 FAILED 1000
office_ghostscript_src_shcgen.o.hc_definition_from_bytes.o hc_definition_from_bytes FAILED 30 FAILED 500
office_ghostscript_src_shcgen.o.hc_limit_code_lengths.o hc_limit_code_lengths FAILED 20 FAILED 500
office_ghostscript_src_shcgen.o.hc_make_decoding.o hc_make_decoding FAILED 60 FAILED 500
office_ghostscript_src_shcgen.o.hc_make_encoding.o hc_make_encoding FAILED 10 FAILED 500
office_ghostscript_src_shcgen.o.hc_sizeof_decoding.o hc_sizeof_decoding 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
office_ghostscript_src_shcgen.o.hc_sizes_from_bytes.o hc_sizes_from_bytes 1 + (0 + 1) × max(0, (num_... O(n) 1 500 max(num_bytes, 0) O(n) 1 500
office_ghostscript_src_siscale.o.calculate_contrib.o calculate_contrib FAILED 50 FAILED 500
office_ghostscript_src_siscale.o.calculate_dst_contrib.o calculate_dst_contrib 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10 8 O(1) 0 500
office_ghostscript_src_siscale.o.s_IScale_process.o s_IScale_process FAILED 50 FAILED 500
office_ghostscript_src_siscale.o.zoom_x.o zoom_x FAILED 60 FAILED 500
office_ghostscript_src_siscale.o.zoom_y.o zoom_y 1 + (0 + 1) × max(0, (0 + ... O(n3) 4 20 FAILED 500
office_ghostscript_src_sjpegc.o.gs_jpeg_format_message.o gs_jpeg_format_message FAILED 100 FAILED 500
office_ghostscript_src_slzwce.o.s_LZWE_process.o s_LZWE_process 1 + (0 + 1) × max(0, (Sele... O(n) 3 30 max(0, (_598 ... O(n) 2 500
office_ghostscript_src_slzwd.o.s_LZWD_process.o s_LZWD_process FAILED 500 FAILED 500
office_ghostscript_src_slzwd.o.s_LZWD_reset.o s_LZWD_reset 1 + (0 + 1) × max(0, (0 + ... O(n) 2 500 FAILED 500
office_ghostscript_src_smtf.o.s_MTF_init.o s_MTF_init 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 256 O(1) 0 500
office_ghostscript_src_smtf.o.s_MTFD_process.o s_MTFD_process FAILED 80 FAILED 500
office_ghostscript_src_smtf.o.s_MTFE_process.o s_MTFE_process FAILED 20 FAILED 500
office_ghostscript_src_spcxd.o.s_PCXD_process.o s_PCXD_process 1 + (0 + 1) × max(0, (max(... O(n) 3 20 max(0, (_587 ... O(n) 2 500
office_ghostscript_src_spdiff.o.s_PDiff_process.o s_PDiff_process FAILED 1180 FAILED 500
office_ghostscript_src_spngp.o.s_pngp_process.o s_pngp_process 1 + (0 + 1) × max(0, (coun... O(n) 1 60 FAILED 500
office_ghostscript_src_spngp.o.s_PNGPD_process.o s_PNGPD_process FAILED 10 FAILED 500
office_ghostscript_src_spngp.o.s_PNGPE_process.o s_PNGPE_process FAILED 10 FAILED 500
office_ghostscript_src_srld.o.s_RLD_process.o s_RLD_process FAILED 600 FAILED 1000
office_ghostscript_src_srle.o.s_RLE_process.o s_RLE_process FAILED 18960 FAILED 14000
office_ghostscript_src_sstring.o.s_AXD_process.o s_AXD_process FAILED 20 FAILED 500
office_ghostscript_src_sstring.o.s_AXE_process.o s_AXE_process 1 + (0 + 1) × max(0, (0 + ... O(n) 6 50 FAILED 500
office_ghostscript_src_sstring.o.s_hex_process.o s_hex_process FAILED 500 FAILED 500
office_ghostscript_src_sstring.o.s_PSSD_process.o s_PSSD_process 1 + (0 + 1) × max(0, (Sele... O(n) 3 820 max(0, ( max(0, (_739_local... O(n2) 3 500
office_ghostscript_src_sstring.o.s_PSSE_process.o s_PSSE_process 1 + (0 + 1) × max(0, (Sele... O(n) 3 80 max(0, (_672 ... O(n) 2 500
office_ghostscript_src_stream.o.s_std_read_flush.o s_std_read_flush FAILED 10 FAILED 500
office_ghostscript_src_stream.o.sgets.o sgets FAILED 100 FAILED 500
office_ghostscript_src_stream.o.spgetcc.o spgetcc FAILED 10 FAILED 500
office_ghostscript_src_stream.o.spputc.o spputc FAILED 10 FAILED 500
office_ghostscript_src_stream.o.spskip.o spskip FAILED 30 FAILED 500
office_ghostscript_src_stream.o.sputs.o sputs 1 + (0 + 1) × max(0, (wlen... O(n) 1 30 FAILED 500
office_ghostscript_src_stream.o.sreadbuf.o sreadbuf FAILED 40 FAILED 500
office_ghostscript_src_stream.o.swritebuf.o swritebuf FAILED 1850 FAILED 1000
office_ghostscript_src_zarray.o.zaload.o zaload 1 + (0 + 1) × max(0, (0 + ... O(n) 1 20 not analyzed
office_ghostscript_src_zchar.o.font_bbox_param.o font_bbox_param 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20 4 O(1) 0 500
office_ghostscript_src_zchar.o.map_glyph_to_char.o map_glyph_to_char 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
office_ghostscript_src_zchar.o.op_show_find_index.o op_show_find_index FAILED 30 FAILED 500
office_ghostscript_src_zchar.o.op_show_restore.o op_show_restore FAILED 60 FAILED 1000
office_ghostscript_src_zchar.o.op_show_return_width.o op_show_return_width FAILED 10 FAILED 500
office_ghostscript_src_zchar1.o.bbox_finish.o bbox_finish FAILED 310 FAILED 1000
office_ghostscript_src_zchar1.o.type1addpath_continue.o type1addpath_continue FAILED 10 FAILED 500
office_ghostscript_src_zchar1.o.z1_push_proc.o z1_push_proc 1 + (0 + 1) × max(0, (coun... O(n) 1 10 max(count, 0) O(n) 1 500
office_ghostscript_src_zchar1.o.ztype1execchar.o ztype1execchar FAILED 490 FAILED 500
office_ghostscript_src_zchar2.o.moveshow_continue.o moveshow_continue FAILED 30 FAILED 500
office_ghostscript_src_zcharout.o.zchar_set_cache.o zchar_set_cache 1 + (0 + 1) × max(0, (0 + ... O(1) 0 820 10 O(1) 0 500
office_ghostscript_src_zcie.o.cie_3d_table_param.o cie_3d_table_param 1 + (0 + 1) × max(0, (coun... O(n) 1 500 max(count, 0) O(n) 1 500
office_ghostscript_src_zcie.o.cie_cache_finish.o cie_cache_finish 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 512 O(1) 0 500
office_ghostscript_src_zcie.o.cie_prepare_caches.o cie_prepare_caches 1 + (0 + 1) × max(0, (coun... O(n) 1 500 max(count, 0) O(n) 1 500
office_ghostscript_src_zcie.o.cie_table_param.o cie_table_param 1 + (0 + 1) × max(0, ([(se... O(n) 3 20 FAILED 500
office_ghostscript_src_zcie.o.dict_proc_array_param.o dict_proc_array_param 1 + (0 + 1) × max(0, (coun... O(n) 1 10 max(count, 0) O(n) 1 500
office_ghostscript_src_zcolor.o.zcolor_remap_one_store.o zcolor_remap_one_store 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 256 O(1) 0 500
office_ghostscript_src_zcontrol.o.count_to_stopped.o count_to_stopped FAILED 30 FAILED 500
office_ghostscript_src_zcontrol.o.execstack_continue.o execstack_continue 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
office_ghostscript_src_zcontrol.o.pop_estack.o pop_estack 1 + (0 + 1) × max(0, (coun... O(n) 1 500 max(count, 0) O(n) 1 500
office_ghostscript_src_zcontrol.o.zexecn.o zexecn 1 + (0 + 1) × max(0, (*(ge... O(n) 1 30 FAILED 500
office_ghostscript_src_zcontrol.o.zexit.o zexit FAILED 20 FAILED 500
office_ghostscript_src_zcontrol.o.zget_current_file.o zget_current_file FAILED 20 FAILED 500
office_ghostscript_src_zcrd.o.cache_colorrendering.o cache_colorrendering 1 + (0 + 1) × max(0, (Sele... O(n) 4 40 FAILED 500
office_ghostscript_src_zcrd.o.cie_cache_joint.o cie_cache_joint 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 75 O(1) 0 1000
office_ghostscript_src_zcrd.o.cie_cache_render_finish.o cie_cache_render_finish 1 + (0 + 1) × max(0, (Sele... O(n) 4 20 FAILED 500
office_ghostscript_src_zcrd.o.cie_exec_tpqr.o cie_exec_tpqr 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 1000
office_ghostscript_src_zcrd.o.zcrd_params.o zcrd_params 1 + (0 + 1) × max(0, (Sele... O(n) 4 30 FAILED 500
office_ghostscript_src_zdevice.o.zputdeviceparams.o zputdeviceparams 1 + (0 + 1) × max(0, (0 + ... O(n) 1 10 max(0, (*ref_stack_counttom... O(n) 0 1000
office_ghostscript_src_zdevice2.o.z2grestoreall.o z2grestoreall FAILED 10 FAILED 500
office_ghostscript_src_zdevice2.o.z2restore.o z2restore FAILED 500 FAILED 500
office_ghostscript_src_zdict.o.zcleardictstack.o zcleardictstack FAILED 10 FAILED 500
office_ghostscript_src_zdict.o.zdicttomark.o zdicttomark 1 + (0 + 1) × max(0, (ref_... O(n) 1 500 max(0, (-1 + *ref_stack_cou... O(n) 0 500
office_ghostscript_src_zdict.o.zend.o zend FAILED 10 FAILED 500
office_ghostscript_src_zdict.o.zload.o zload FAILED 20 max(0, *ref_stack_count(d_s... O(n) 0 500
office_ghostscript_src_zdict.o.zop_def.o zop_def FAILED 60 FAILED 500
office_ghostscript_src_zdict.o.zwhere.o zwhere FAILED 20 FAILED 500
office_ghostscript_src_zdps1.o.gstate_check_space.o gstate_check_space FAILED 10 FAILED 500
office_ghostscript_src_zdps1.o.gstate_unshare.o gstate_unshare FAILED 10 FAILED 500
office_ghostscript_src_zdps1.o.rect_get.o rect_get FAILED 100 max(0, (4 + 3 × max(0, ((*... O(n) 0 500
office_ghostscript_src_zdps1.o.zcopy_gstate.o zcopy_gstate FAILED 30 FAILED 500
office_ghostscript_src_zdps1.o.zcurrentgstate.o zcurrentgstate FAILED 30 FAILED 500
office_ghostscript_src_zdps1.o.zgstate.o zgstate FAILED 500 FAILED 500
office_ghostscript_src_zfdctc.o.quant_params.o quant_params 1 + (0 + 1) × max(0, (coun... O(n) 1 30 max(count, 0) + max(count, 0) O(n) 1 500
office_ghostscript_src_zfdctc.o.zfdct_byte_params.o zfdct_byte_params 1 + (0 + 1) × max(0, (coun... O(n) 2 40 max(count, 0) + max(count, ... O(n) 2 500
office_ghostscript_src_zfdctc.o.zfdct_setup_huffman_tables.o zfdct_setup_huffman_tables 1 + (0 + 1) × max(0, (0 + ... O(n2) 6 130 FAILED 500
office_ghostscript_src_zfdctc.o.zfdct_setup_quantization_tables.o zfdct_setup_quantization_tables 1 + (0 + 1) × max(0, (0 + ... O(n2) 6 60 FAILED 500
office_ghostscript_src_zfdcte.o.dct_setup_samples.o dct_setup_samples 1 + (0 + 1) × max(0, (num_... O(n) 1 20 max(num_colors, 0) O(n) 1 500
office_ghostscript_src_zfdcte.o.zfdcte_setup.o zfdcte_setup 1 + (0 + 1) × max(0, (*num... O(n) 1 90 FAILED 500
office_ghostscript_src_zfile.o.file_alloc_stream.o file_alloc_stream FAILED 20 FAILED 500
office_ghostscript_src_zfile.o.file_close_file.o file_close_file FAILED 10 FAILED 500
office_ghostscript_src_zfile.o.file_forget_save.o file_forget_save FAILED 10 FAILED 500
office_ghostscript_src_zfile.o.file_gc_prepare.o file_gc_prepare FAILED 10 FAILED 500
office_ghostscript_src_zfile.o.file_restore.o file_restore FAILED 10 FAILED 500
office_ghostscript_src_zfileio.o.zreadhexstring_at.o zreadhexstring_at FAILED 30 FAILED 500
office_ghostscript_src_zfileio.o.zreadline_from.o zreadline_from FAILED 50 FAILED 500
office_ghostscript_src_zfileio.o.zwritehexstring_at.o zwritehexstring_at FAILED 40 FAILED 500
office_ghostscript_src_zfilterx.o.bhc_setup.o bhc_setup FAILED 200 FAILED 500
office_ghostscript_src_zfilterx.o.zcomputecodes.o zcomputecodes 1 + (0 + 1) × max(0, (Sele... O(n) 5 30 FAILED 500
office_ghostscript_src_zfont.o.font_restore.o font_restore FAILED 40 FAILED 500
office_ghostscript_src_zfont.o.make_uint_array.o make_uint_array 1 + (0 + 1) × max(0, (coun... O(n) 1 10 max(count, 0) O(n) 1 500
office_ghostscript_src_zfont.o.zsetcacheparams.o zsetcacheparams 1 + (0 + 1) × max(0, (0 + 3)) O(1) 0 10 3 O(1) 0 500
office_ghostscript_src_zfont0.o.zbuildfont0.o zbuildfont0 1 + (0 + 1) × max(0, (Sele... O(n) 3 470 FAILED 500
office_ghostscript_src_zfont0.o.ztype0_adjust_FDepVector.o ztype0_adjust_FDepVector 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
office_ghostscript_src_zfont1.o.buildfont1or4.o buildfont1or4 1 + (0 + 1) × max(0, (Sele... O(n) 9 2090 FAILED 500
office_ghostscript_src_zfont2.o.lookup_gs_simple_font_encoding.o lookup_gs_simple_font_encoding 1 + (0 + 1) × max(0, (0 + ... O(n) 5 420 FAILED 500
office_ghostscript_src_zfont2.o.zfont2_init.o zfont2_init 1 + (0 + 1) × max(0, (0 + 5)) O(1) 0 10 5 O(1) 0 500
office_ghostscript_src_zfont2.o.zregisterencoding.o zregisterencoding 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
office_ghostscript_src_zfont42.o.z42_string_proc.o z42_string_proc FAILED 10 FAILED 500
office_ghostscript_src_zfproc.o.s_handle_read_exception.o s_handle_read_exception FAILED 10 FAILED 500
office_ghostscript_src_zfproc.o.s_handle_write_exception.o s_handle_write_exception FAILED 10 FAILED 500
office_ghostscript_src_zfproc.o.s_proc_read_continue.o s_proc_read_continue FAILED 20 FAILED 500
office_ghostscript_src_zfproc.o.s_proc_write_continue.o s_proc_write_continue FAILED 20 FAILED 500
office_ghostscript_src_zgeneric.o.copy_interval.o copy_interval 1 + (0 + 1) × max(0, (Sele... O(n) 3 50 FAILED 500
office_ghostscript_src_zgeneric.o.zcopy_integer.o zcopy_integer 1 + (0 + 1) × max(0, (0 + ... O(n) 1 30 FAILED 500
office_ghostscript_src_zgeneric.o.zgeneric_init.o zgeneric_init 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 21 O(1) 0 500
office_ghostscript_src_zgeneric.o.zgetinterval.o zgetinterval 0 + 1 O(1) 0 10 FAILED 1000
office_ghostscript_src_zgstate.o.igs_init.o igs_init FAILED 500 FAILED 500
office_ghostscript_src_zgstate.o.zsetdash.o zsetdash 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
office_ghostscript_src_zht.o.zcurrenthalftone.o zcurrenthalftone 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20 4 O(1) 0 500
office_ghostscript_src_zht1.o.zsetcolorscreen.o zsetcolorscreen 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40 8 O(1) 0 500
office_ghostscript_src_zht2.o.zsethalftone5.o zsethalftone5 1 + 9 × max(0, 1) + 9 × m... O(1) 0 450 36 O(1) 0 18000
office_ghostscript_src_zimage.o.image_cleanup.o image_cleanup 1 + (0 + 1) × max(0, (Sele... O(n) 2 20 FAILED 500
office_ghostscript_src_zimage.o.image_file_buffered_continue.o image_file_buffered_continue FAILED 130 FAILED 500
office_ghostscript_src_zimage.o.image_file_continue.o image_file_continue FAILED 760 FAILED 500
office_ghostscript_src_zimage.o.image_string_process.o image_string_process FAILED 20 FAILED 500
office_ghostscript_src_zimage.o.zimage_setup.o zimage_setup FAILED 230 FAILED 500
office_ghostscript_src_zmedia2.o.zmatch_page_size.o zmatch_page_size 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 500
office_ghostscript_src_zmedia2.o.zmatchmedia.o zmatchmedia FAILED 590 FAILED 1000
office_ghostscript_src_zmisc.o.zbind.o zbind FAILED 710 FAILED 500
office_ghostscript_src_zmisc.o.zmakeoperator.o zmakeoperator FAILED 20 FAILED 500
office_ghostscript_src_zmisc.o.zoserrorstring.o zoserrorstring FAILED 20 FAILED 500
office_ghostscript_src_zmisc.o.zsetdebug.o zsetdebug 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
office_ghostscript_src_zmisc2.o.set_language_level.o set_language_level FAILED 70 FAILED 500
office_ghostscript_src_zpacked.o.make_packed_array.o make_packed_array FAILED 390 FAILED 500
office_ghostscript_src_zpath1.o.pf_push.o pf_push FAILED 10 FAILED 500
office_ghostscript_src_zstack.o.zroll.o zroll FAILED 570 FAILED 500
office_ghostscript_src_zstring.o.zsearch.o zsearch 1 + (0 + 1) × max(0, (1 + ... O(n) 5 10 FAILED 500
office_ghostscript_src_ztoken.o.token_continue.o token_continue FAILED 10 FAILED 500
office_ghostscript_src_ztoken.o.tokenexec_continue.o tokenexec_continue FAILED 500 FAILED 500
office_ghostscript_src_ztype.o.zcvrs.o zcvrs FAILED 30 FAILED 500
office_ghostscript_src_ztype.o.ztype_init.o ztype_init 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 21 O(1) 0 500
office_ghostscript_src_zupath.o.upath_append.o upath_append FAILED 290 FAILED 500
office_ghostscript_src_zusparam.o.current_param_list.o current_param_list 1 + (0 + 1) × max(0, (Sele... O(n) 4 40 FAILED 500
office_ghostscript_src_zusparam.o.setparams.o setparams 1 + (0 + 1) × max(0, (Sele... O(n) 3 20 FAILED 500
office_ghostscript_src_zvmem.o.restore_check_stack.o restore_check_stack FAILED 220 FAILED 1000
office_ghostscript_src_zvmem.o.restore_fix_stack.o restore_fix_stack FAILED 20 FAILED 500
office_ghostscript_src_zvmem.o.zforgetsave.o zforgetsave FAILED 10 FAILED 500
office_ghostscript_src_zvmem.o.zrestore.o zrestore FAILED 10 FAILED 500
office_ispell_src_correct.o.askmode.o askmode FAILED 160 not analyzed
office_ispell_src_correct.o.casecmp.o casecmp FAILED 30 FAILED 500
office_ispell_src_correct.o.checkfile.o checkfile FAILED 120 FAILED 500
office_ispell_src_correct.o.copyout.o copyout 1 + (0 + 1) × max(0, (cnt ... O(n) 1 10 max(cnt, 0) O(n) 1 500
office_ispell_src_correct.o.correct.o correct FAILED 250 FAILED 1000
office_ispell_src_correct.o.extraletter.o extraletter FAILED 10 FAILED 500
office_ispell_src_correct.o.getline.o getline FAILED 50 FAILED 500
office_ispell_src_correct.o.givehelp.o givehelp FAILED 500 FAILED 500
office_ispell_src_correct.o.ins_cap.o ins_cap 1 + (0 + 1) × max(0, (save... O(n) 1 10 FAILED 500
office_ispell_src_correct.o.ins_root_cap.o ins_root_cap 1 + (0 + 1) × max(0, (*nsa... O(n) 1 500 FAILED 500
office_ispell_src_correct.o.insert.o insert 1 + (0 + 1) × max(0, (*pco... O(n) 1 10 FAILED 500
office_ispell_src_correct.o.inserttoken.o inserttoken FAILED 50 FAILED 500
office_ispell_src_correct.o.line_size.o line_size FAILED 500 FAILED 500
office_ispell_src_correct.o.lookharder.o lookharder FAILED 10 FAILED 500
office_ispell_src_correct.o.makepossibilities.o makepossibilities 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 100 O(1) 0 500
office_ispell_src_correct.o.missingletter.o missingletter FAILED 50 FAILED 500
office_ispell_src_correct.o.missingspace.o missingspace FAILED 30 FAILED 500
office_ispell_src_correct.o.save_cap.o save_cap 1 + (0 + 1) × max(0, (*num... O(n) 1 10 FAILED 500
office_ispell_src_correct.o.save_root_cap.o save_root_cap FAILED 420 FAILED 500
office_ispell_src_correct.o.show_char.o show_char FAILED 200 not analyzed
office_ispell_src_correct.o.show_line.o show_line FAILED 90 FAILED 500
office_ispell_src_correct.o.transposedletter.o transposedletter FAILED 10 FAILED 500
office_ispell_src_correct.o.wrongletter.o wrongletter 1 + (0 + 1) × max(0, (strl... O(n2) 2 20 FAILED 500
office_ispell_src_defmt.o.checkline.o checkline FAILED 1940 FAILED 500
office_ispell_src_defmt.o.skipoverword.o skipoverword FAILED 50 FAILED 500
office_ispell_src_defmt.o.skiptoword.o skiptoword FAILED 890 FAILED 500
office_ispell_src_defmt.o.TeX_open_paren.o TeX_open_paren FAILED 500 FAILED 500
office_ispell_src_defmt.o.TeX_skip_check.o TeX_skip_check FAILED 30 FAILED 500
office_ispell_src_defmt.o.TeX_skip_parens.o TeX_skip_parens FAILED 10 FAILED 500
office_ispell_src_dump.o.entdump.o entdump 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ispell_src_dump.o.setdump.o setdump 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 128 O(1) 0 500
office_ispell_src_dump.o.subsetdump.o subsetdump 1 + 128 × max(0, 1) + (0 ... O(1) 0 60 381 O(1) 0 500
office_ispell_src_dump.o.tbldump.o tbldump 1 + (0 + 1) × max(0, (numf... O(n) 1 500 max(numflags, 0) O(n) 1 500
office_ispell_src_good.o.cap_ok.o cap_ok FAILED 490 FAILED 500
office_ispell_src_good.o.flagpr.o flagpr FAILED 430 FAILED 500
office_ispell_src_good.o.good.o good FAILED 500 FAILED 500
office_ispell_src_hash.o.hash.o hash FAILED 20 FAILED 500
office_ispell_src_ispell.o.expandmode.o expandmode FAILED 40 FAILED 500
office_ispell_src_ispell.o.initckch.o initckch FAILED 30 FAILED 500
office_ispell_src_ispell.o.main.o main FAILED 860 FAILED 500
office_ispell_src_ispell.o.update_file.o update_file FAILED 10 FAILED 500
office_ispell_src_lookup.o.linit.o linit FAILED 1820 FAILED 1000
office_ispell_src_lookup.o.lookup.o lookup FAILED 30 FAILED 500
office_ispell_src_makedent.o.combinecaps.o combinecaps FAILED 10 FAILED 500
office_ispell_src_makedent.o.findfiletype.o findfiletype FAILED 30 FAILED 500
office_ispell_src_makedent.o.ichartostr.o ichartostr FAILED 40 FAILED 500
office_ispell_src_makedent.o.lowcase.o lowcase FAILED 500 FAILED 500
office_ispell_src_makedent.o.makedent.o makedent FAILED 50 FAILED 500
office_ispell_src_makedent.o.stringcharlen.o stringcharlen FAILED 250 FAILED 500
office_ispell_src_makedent.o.strtoichar.o strtoichar 1 + (0 + 1) × max(0, (-1 +... O(n) 1 10 max(0, (-1 + ((outlen) / 1))) O(n) 1 500
office_ispell_src_makedent.o.toutent.o toutent FAILED 10 FAILED 500
office_ispell_src_makedent.o.toutword.o toutword 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 26 O(1) 0 500
office_ispell_src_makedent.o.upcase.o upcase FAILED 500 FAILED 500
office_ispell_src_makedent.o.whatcap.o whatcap FAILED 50 FAILED 500
office_ispell_src_term.o.shellescape.o shellescape FAILED 190 FAILED 500
office_ispell_src_tgood.o.chk_aff.o chk_aff FAILED 40 FAILED 500
office_ispell_src_tgood.o.chk_suf.o chk_suf FAILED 60 FAILED 500
office_ispell_src_tgood.o.expand_pre.o expand_pre 1 + (0 + 1) × max(0, (*num... O(n) 1 10 FAILED 500
office_ispell_src_tgood.o.expand_suf.o expand_suf 1 + (0 + 1) × max(0, (*num... O(n) 1 500 FAILED 500
office_ispell_src_tgood.o.forcelc.o forcelc 1 + (0 + 1) × max(0, (len ... O(n) 1 500 max(len, 0) O(n) 1 500
office_ispell_src_tgood.o.pfx_list_chk.o pfx_list_chk FAILED 1460 FAILED 1000
office_ispell_src_tgood.o.pr_pre_expansion.o pr_pre_expansion FAILED 40 FAILED 500
office_ispell_src_tgood.o.pr_suf_expansion.o pr_suf_expansion 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 500
office_ispell_src_tgood.o.suf_list_chk.o suf_list_chk FAILED 260 FAILED 2000
office_ispell_src_tree.o.tinsert.o tinsert FAILED 10 FAILED 500
office_ispell_src_tree.o.treeinsert.o treeinsert FAILED 60 FAILED 500
office_ispell_src_tree.o.treeload.o treeload FAILED 500 FAILED 500
office_ispell_src_tree.o.treelookup.o treelookup FAILED 10 FAILED 500
office_ispell_src_tree.o.treeoutput.o treeoutput FAILED 420 FAILED 500
office_ispell_src_xgets.o.xgets.o xgets FAILED 90 not analyzed
office_rsynth_src_aufile.o.aufile_write.o aufile_write 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(0, (n + *malloc(n) + -*... O(n) 1 500
office_rsynth_src_aufile.o.wblong.o wblong 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 25 O(1) 0 500
office_rsynth_src_darray.o.darray_delete.o darray_delete 1 + (0 + 1) × max(0, (Sele... O(n) 3 10 FAILED 500
office_rsynth_src_getarg.o.getargs.o getargs FAILED 1100 FAILED 500
office_rsynth_src_holmes.o.holmes.o holmes FAILED 990 FAILED 1000
office_rsynth_src_holmes.o.set_trans.o set_trans 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 19 O(1) 0 500
office_rsynth_src_linuxplay.o.audio_play.o audio_play 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
office_rsynth_src_nsynth.o.parwave.o parwave 1 + (0 + 1) × max(0, (Sele... O(n) 2 10 FAILED 1000
office_rsynth_src_nsynth.o.show_parms.o show_parms 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 80 O(1) 0 500
office_rsynth_src_phtoelm.o.enter.o enter FAILED 500 FAILED 500
office_rsynth_src_phtoelm.o.find_elm.o find_elm 1 + (0 + 1) × max(0, (Elem... O(n) 2 10 FAILED 500
office_rsynth_src_phtoelm.o.phone_to_elm.o phone_to_elm FAILED 20 FAILED 500
office_rsynth_src_say.o.concat_args.o concat_args FAILED 20 FAILED 500
office_rsynth_src_say.o.darray_fget.o darray_fget FAILED 10 max(0, (*(inputStream f ) +... O(n) 0 500
office_rsynth_src_say.o.say_file.o say_file 1 + (0 + 1) × max(0, (*loo... O(n) 1 20 FAILED 500
office_rsynth_src_say.o.spell_out.o spell_out 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500 max(n, 0) O(n) 1 500
office_rsynth_src_say.o.suspect_word.o suspect_word 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
office_rsynth_src_text.o.find_rule.o find_rule FAILED 40 FAILED 500
office_rsynth_src_text.o.guess_word.o guess_word FAILED 10 FAILED 500
office_rsynth_src_text.o.leftmatch.o leftmatch FAILED 230 FAILED 500
office_rsynth_src_text.o.NRL.o NRL 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10 max(n, 0) O(n) 1 500
office_rsynth_src_text.o.phone_cat.o phone_cat FAILED 500 FAILED 500
office_rsynth_src_text.o.rightmatch.o rightmatch FAILED 460 FAILED 500
office_rsynth_src_trie.o.trie_insert.o trie_insert FAILED 10 FAILED 500
office_rsynth_src_trie.o.trie_lookup.o trie_lookup FAILED 10 FAILED 500
office_stringsearch1_src_bmhasrch.o.bmha_init.o bmha_init 1 + (0 + 1) × max(0, (*pat... O(n) 1 30 FAILED 500
office_stringsearch1_src_bmhasrch.o.bmha_search.o bmha_search FAILED 20 FAILED 1000
office_stringsearch1_src_bmhisrch.o.bmhi_init.o bmhi_init 1 + (0 + 1) × max(0, (*pat... O(n) 1 50 FAILED 500
office_stringsearch1_src_bmhisrch.o.bmhi_search.o bmhi_search FAILED 20 FAILED 500
office_stringsearch1_src_bmhsrch.o.bmh_init.o bmh_init 1 + (0 + 1) × max(0, (*pat... O(n) 1 30 FAILED 500
office_stringsearch1_src_bmhsrch.o.bmh_search.o bmh_search FAILED 10 FAILED 500
office_stringsearch1_src_pbmsrch_large.o.init_search.o init_search 1 + (0 + 1) × max(0, (*len... O(n) 1 20 FAILED 500
office_stringsearch1_src_pbmsrch_large.o.main.o main FAILED 540 FAILED 500
office_stringsearch1_src_pbmsrch_large.o.strsearch.o strsearch FAILED 80 FAILED 500
security_blowfish_d_src_bf.o.main.o main FAILED 200 FAILED 500
security_blowfish_d_src_bf_cbc.o.BF_cbc_encrypt.o BF_cbc_encrypt 1 + (0 + 1) × max(0, (leng... O(n) 1 10 max(0, (length + -7)) + max... O(n) 1 500
security_blowfish_d_src_bf_cfb64.o.BF_cfb64_encrypt.o BF_cfb64_encrypt FAILED 10 FAILED 500
security_blowfish_d_src_bf_ofb64.o.BF_ofb64_encrypt.o BF_ofb64_encrypt FAILED 500 FAILED 500
security_blowfish_d_src_bf_skey.o.BF_set_key.o BF_set_key 1 + (0 + 1) × max(0, (0 + ... O(1) 0 50 1060 O(1) 0 500
security_pgp_d_src_armor.o.armor_file.o armor_file FAILED 1550 FAILED 2000
security_pgp_d_src_armor.o.armordecode.o armordecode FAILED 410 FAILED 1000
security_pgp_d_src_armor.o.copyline.o copyline FAILED 10 max(0, (*(inputStream in ) ... O(n) 0 500
security_pgp_d_src_armor.o.crcbytes.o crcbytes 1 + (0 + 1) × max(0, (len ... O(n) 1 500 FAILED 500
security_pgp_d_src_armor.o.darmor_buffer.o darmor_buffer FAILED 30 FAILED 500
security_pgp_d_src_armor.o.darmor_file.o darmor_file FAILED 20 FAILED 1000
security_pgp_d_src_armor.o.get_armor_line.o get_armor_line FAILED 380 max(*(inputStream f ), 0) +... O(n) 1 500
security_pgp_d_src_armor.o.getline.o getline 1 + (0 + 1) × max(0, (n + ... O(n) 1 20 max(0, (*(inputStream f ) +... O(n) 0 500
security_pgp_d_src_armor.o.is_armorfile.o is_armorfile FAILED 10 FAILED 500
security_pgp_d_src_armor.o.isheaderline.o isheaderline FAILED 10 FAILED 500
security_pgp_d_src_armor.o.mk_crctbl.o mk_crctbl 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 127 O(1) 0 500
security_pgp_d_src_armor.o.numFilename.o numFilename 1 + (0 + 1) × max(0, (0 + ... O(n) 1 20 max(0, ((ofnum) / 10)) O(n) 1 500
security_pgp_d_src_armor.o.open_next.o open_next FAILED 40 max(0, (max(0, (1 + Max(*st... O(n) 0 500
security_pgp_d_src_armor.o.skipheaders.o skipheaders FAILED 30 FAILED 500
security_pgp_d_src_config.o.extractToken.o extractToken FAILED 20 FAILED 500
security_pgp_d_src_config.o.getaString.o getaString FAILED 70 FAILED 500
security_pgp_d_src_config.o.lookup.o lookup 1 + (0 + 1) × max(0, (keyL... O(n) 2 10 max(range, 0) + max(keyLeng... O(n) 2 500
security_pgp_d_src_config.o.processConfigFile.o processConfigFile FAILED 1350 FAILED 3000
security_pgp_d_src_config.o.processConfigLine.o processConfigLine 1 + (0 + 1) × max(0, (100 ... O(n) 1 10 FAILED 500
security_pgp_d_src_crypto.o.check_key_sig.o check_key_sig 1 + (0 + 1) × max(0, (0 + ... O(1) 0 90 12 O(1) 0 500
security_pgp_d_src_crypto.o.check_signaturefile.o check_signaturefile 1 + (0 + 1) × max(0, (0 + ... O(1) 0 100 12 O(1) 0 500
security_pgp_d_src_crypto.o.CToPascal.o CToPascal FAILED 500 FAILED 500
security_pgp_d_src_crypto.o.date_ymd.o date_ymd 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 48 O(1) 0 500
security_pgp_d_src_crypto.o.decryptfile.o decryptfile FAILED 450 FAILED 500
security_pgp_d_src_crypto.o.do_sign.o do_sign FAILED 10 FAILED 500
security_pgp_d_src_crypto.o.encryptfile.o encryptfile FAILED 30 FAILED 500
security_pgp_d_src_crypto.o.encryptkeyintofile.o encryptkeyintofile 1 + (0 + 1) × max(0, (keys... O(n) 2 10 FAILED 500
security_pgp_d_src_crypto.o.idea_decryptfile.o idea_decryptfile FAILED 20 FAILED 500
security_pgp_d_src_crypto.o.idea_file.o idea_file FAILED 110 max(0, (1 + max(*(inputStre... O(n) 1 500
security_pgp_d_src_crypto.o.make_random_ideakey.o make_random_ideakey 1 + (0 + 1) × max(0, (24 +... O(n) 1 10 max(0, (24 - skip)) O(n) 1 500
security_pgp_d_src_crypto.o.make_signature_certificate.o make_signature_certificate FAILED 40 FAILED 500
security_pgp_d_src_crypto.o.PascalToC.o PascalToC 1 + (0 + 1) × max(0, (*s +... O(n) 1 500 FAILED 500
security_pgp_d_src_fileio.o.ck_dup_output.o ck_dup_output FAILED 30 FAILED 1000
security_pgp_d_src_fileio.o.cleanup_tmpf.o cleanup_tmpf 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 500 8 O(1) 0 500
security_pgp_d_src_fileio.o.copyfile.o copyfile FAILED 50 FAILED 500
security_pgp_d_src_fileio.o.copyfile_from_canon.o copyfile_from_canon FAILED 180 FAILED 1000
security_pgp_d_src_fileio.o.copyfile_to_canon.o copyfile_to_canon FAILED 250 FAILED 500
security_pgp_d_src_fileio.o.ext_missing.o ext_missing FAILED 10 FAILED 500
security_pgp_d_src_fileio.o.file_tail.o file_tail FAILED 500 FAILED 500
security_pgp_d_src_fileio.o.files_missing.o files_missing FAILED 10 FAILED 500
security_pgp_d_src_fileio.o.is_text_file.o is_text_file FAILED 20 FAILED 500
security_pgp_d_src_fileio.o.manuals_missing.o manuals_missing FAILED 20 FAILED 500
security_pgp_d_src_fileio.o.readPhantomInput.o readPhantomInput FAILED 500 FAILED 500
security_pgp_d_src_fileio.o.rmtemp.o rmtemp 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10 8 O(1) 0 500
security_pgp_d_src_fileio.o.savetemp.o savetemp 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10 8 O(1) 0 500
security_pgp_d_src_fileio.o.tempfile.o tempfile FAILED 170 FAILED 500
security_pgp_d_src_fileio.o.wipeout.o wipeout 1 + (0 + 1) × max(0, (ftel... O(n2) 2 90 1815 + max(0, (-8192 + *fte... O(n) 0 500
security_pgp_d_src_fileio.o.writePhantomOutput.o writePhantomOutput FAILED 10 max(0, (*(inputStream (*fop... O(n) 0 500
security_pgp_d_src_genprime.o.buildsieve.o buildsieve FAILED 10 FAILED 500
security_pgp_d_src_genprime.o.fastsieve.o fastsieve FAILED 500 FAILED 500
security_pgp_d_src_genprime.o.mp_gcd.o mp_gcd FAILED 20 FAILED 500
security_pgp_d_src_genprime.o.mp_inv.o mp_inv FAILED 20 FAILED 500
security_pgp_d_src_genprime.o.nextprime.o nextprime FAILED 80 FAILED 500
security_pgp_d_src_genprime.o.randombits.o randombits 1 + (0 + 1) × max(0, (nbit... O(n) 1 500 max(0, (nbits + -15)) O(n) 1 500
security_pgp_d_src_genprime.o.randomunit.o randomunit 1 + (0 + 1) × max(0, (0 + 3)) O(1) 0 10 FAILED 500
security_pgp_d_src_genprime.o.slowtest.o slowtest 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10 4 O(1) 0 500
security_pgp_d_src_idea.o.ideaCfbDecrypt.o ideaCfbDecrypt FAILED 30 FAILED 500
security_pgp_d_src_idea.o.ideaCfbEncrypt.o ideaCfbEncrypt FAILED 30 FAILED 500
security_pgp_d_src_idea.o.ideaCipher.o ideaCipher FAILED 10 FAILED 500
security_pgp_d_src_idea.o.ideaExpandKey.o ideaExpandKey 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 60 O(1) 0 500
security_pgp_d_src_idea.o.ideaRandByte.o ideaRandByte 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 16 O(1) 0 500
security_pgp_d_src_idea.o.ideaRandState.o ideaRandState 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10 8 O(1) 0 500
security_pgp_d_src_keyadd.o._addto_keyring.o _addto_keyring FAILED 900 FAILED 1000
security_pgp_d_src_keyadd.o.addto_keyring.o addto_keyring FAILED 10 FAILED 500
security_pgp_d_src_keyadd.o.ask_to_sign.o ask_to_sign FAILED 10 FAILED 500
security_pgp_d_src_keyadd.o.find_keyID.o find_keyID FAILED 500 FAILED 500
security_pgp_d_src_keyadd.o.freebufpool.o freebufpool FAILED 500 FAILED 500
security_pgp_d_src_keyadd.o.get_publickey.o get_publickey FAILED 40 FAILED 1000
security_pgp_d_src_keyadd.o.gpk_open.o gpk_open FAILED 10 FAILED 500
security_pgp_d_src_keyadd.o.mergekeys.o mergekeys FAILED 220 FAILED 500
security_pgp_d_src_keyadd.o.mergesigs.o mergesigs FAILED 110 FAILED 500
security_pgp_d_src_keyadd.o.sig_list_clear.o sig_list_clear FAILED 10 FAILED 500
security_pgp_d_src_keyadd.o.sig_list_find.o sig_list_find FAILED 10 FAILED 500
security_pgp_d_src_keymaint.o._user_from_keyID.o _user_from_keyID FAILED 110 FAILED 1000
security_pgp_d_src_keymaint.o.check_secretkey.o check_secretkey FAILED 50 FAILED 500
security_pgp_d_src_keymaint.o.compute_legit.o compute_legit FAILED 10 FAILED 500
security_pgp_d_src_keymaint.o.free_newkeys.o free_newkeys FAILED 500 FAILED 500
security_pgp_d_src_keymaint.o.freebufpool.o freebufpool FAILED 10 FAILED 500
security_pgp_d_src_keymaint.o.getpubkey.o getpubkey FAILED 10 FAILED 500
security_pgp_d_src_keymaint.o.init_trust_lst.o init_trust_lst 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10 12 O(1) 0 500
security_pgp_d_src_keymaint.o.init_userhash.o init_userhash FAILED 20 FAILED 500
security_pgp_d_src_keymaint.o.ismember_newkeys.o ismember_newkeys FAILED 10 FAILED 500
security_pgp_d_src_keymaint.o.lookup_by_keyID.o lookup_by_keyID FAILED 10 FAILED 500
security_pgp_d_src_keymaint.o.maint_final.o maint_final FAILED 1910 FAILED 1000
security_pgp_d_src_keymaint.o.maint_list.o maint_list FAILED 50 FAILED 500
security_pgp_d_src_keymaint.o.maint_read_data.o maint_read_data FAILED 1670 FAILED 1000
security_pgp_d_src_keymaint.o.maint_trace_chain.o maint_trace_chain FAILED 10 FAILED 500
security_pgp_d_src_keymaint.o.setkrent.o setkrent 1 + (0 + 1) × max(0, (*nkr... O(n) 1 10 FAILED 500
security_pgp_d_src_keymaint.o.show_key.o show_key FAILED 60 FAILED 500
security_pgp_d_src_keymaint.o.show_userid.o show_userid FAILED 10 FAILED 500
security_pgp_d_src_keymaint.o.user_from_keyID.o user_from_keyID FAILED 10 FAILED 500
security_pgp_d_src_keymgmt.o.dokeycheck.o dokeycheck FAILED 170 FAILED 500
security_pgp_d_src_keymgmt.o.dokeyedit.o dokeyedit FAILED 20 FAILED 500
security_pgp_d_src_keymgmt.o.dokeygen.o dokeygen FAILED 40 FAILED 500
security_pgp_d_src_keymgmt.o.extract_from_keyring.o extract_from_keyring FAILED 390 FAILED 500
security_pgp_d_src_keymgmt.o.extract_keyID.o extract_keyID 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 500 8 O(1) 0 500
security_pgp_d_src_keymgmt.o.getKeyHash.o getKeyHash FAILED 20 FAILED 500
security_pgp_d_src_keymgmt.o.getpublickey.o getpublickey FAILED 330 FAILED 2000
security_pgp_d_src_keymgmt.o.getpubuserid.o getpubuserid FAILED 40 FAILED 500
security_pgp_d_src_keymgmt.o.getpubusersig.o getpubusersig FAILED 20 FAILED 500
security_pgp_d_src_keymgmt.o.getsecretkey.o getsecretkey FAILED 300 FAILED 500
security_pgp_d_src_keymgmt.o.keyIDstring.o keyIDstring 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 500 4 O(1) 0 500
security_pgp_d_src_keymgmt.o.kvformat_keypacket.o kvformat_keypacket FAILED 40 FAILED 500
security_pgp_d_src_keymgmt.o.printKeyHash.o printKeyHash 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 16 O(1) 0 500
security_pgp_d_src_keymgmt.o.remove_from_keyring.o remove_from_keyring FAILED 840 FAILED 1000
security_pgp_d_src_keymgmt.o.remove_sigs.o remove_sigs FAILED 40 FAILED 500
security_pgp_d_src_keymgmt.o.userid_match.o userid_match FAILED 130 FAILED 500
security_pgp_d_src_keymgmt.o.writekeyfile.o writekeyfile 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10 8 O(1) 0 500
security_pgp_d_src_language.o.LANG.o LANG FAILED 10 FAILED 500
security_pgp_d_src_language.o.lookup_offset.o lookup_offset 1 + (0 + 1) × max(0, (*nms... O(n) 1 500 FAILED 500
security_pgp_d_src_language.o.make_indexfile.o make_indexfile FAILED 60 FAILED 500
security_pgp_d_src_language.o.readstr.o readstr FAILED 490 FAILED 1000
security_pgp_d_src_md5.o.MD5Update.o MD5Update 1 + (0 + 1) × max(0, (-63 ... O(n) 3 10 FAILED 500
security_pgp_d_src_mdfile.o.MDfile0.o MDfile0 FAILED 10 max(0, (*(inputStream inFil... O(n) 0 500
security_pgp_d_src_mdfile.o.MDfile0_len.o MDfile0_len 1 + (0 + 1) × max(0, (long... O(n) 1 10 max(0, (*(inputStream f ) +... O(n) 0 500
security_pgp_d_src_memmove.o.memmove.o memmove 1 + (0 + 1) × max(0, (1 + ... O(n) 3 280 FAILED 500
security_pgp_d_src_more.o.more_file.o more_file FAILED 620 FAILED 500
security_pgp_d_src_mpiio.o.cbc_xor.o cbc_xor FAILED 10 FAILED 500
security_pgp_d_src_mpiio.o.checksum.o checksum 1 + (0 + 1) × max(0, (coun... O(n) 1 10 FAILED 500
security_pgp_d_src_mpiio.o.hiloswap.o hiloswap 1 + (0 + 1) × max(0, (numb... O(n) 1 500 max(0, (numbytes + -1)) O(n) 1 500
security_pgp_d_src_mpiio.o.mp_display.o mp_display FAILED 30 FAILED 500
security_pgp_d_src_mpiio.o.mpi2reg.o mpi2reg 1 + (0 + 1) × max(0, (1 + ... O(n) 1 10 FAILED 500
security_pgp_d_src_mpiio.o.putstr.o putstr FAILED 500 FAILED 500
security_pgp_d_src_mpiio.o.reg2mpi.o reg2mpi FAILED 500 FAILED 500
security_pgp_d_src_mpiio.o.string_length.o string_length FAILED 500 FAILED 500
security_pgp_d_src_mpilib.o.countbits.o countbits FAILED 10 FAILED 500
security_pgp_d_src_mpilib.o.mp_addc.o mp_addc FAILED 500 FAILED 500
security_pgp_d_src_mpilib.o.mp_compare.o mp_compare FAILED 10 FAILED 500
security_pgp_d_src_mpilib.o.mp_dec.o mp_dec FAILED 500 FAILED 500
security_pgp_d_src_mpilib.o.mp_dmul.o mp_dmul 1 + (0 + 1) × max(0, (*mun... O(n) 1 10 FAILED 500
security_pgp_d_src_mpilib.o.mp_inc.o mp_inc FAILED 500 FAILED 500
security_pgp_d_src_mpilib.o.mp_mod.o mp_mod FAILED 20 FAILED 1000
security_pgp_d_src_mpilib.o.mp_modexp.o mp_modexp FAILED 60 not analyzed
security_pgp_d_src_mpilib.o.mp_mult.o mp_mult FAILED 20 FAILED 500
security_pgp_d_src_mpilib.o.mp_neg.o mp_neg FAILED 500 FAILED 500
security_pgp_d_src_mpilib.o.mp_recip.o mp_recip FAILED 10 FAILED 500
security_pgp_d_src_mpilib.o.mp_rotate_left.o mp_rotate_left FAILED 500 FAILED 500
security_pgp_d_src_mpilib.o.mp_shift_right_bits.o mp_shift_right_bits FAILED 10 FAILED 500
security_pgp_d_src_mpilib.o.mp_shortdiv.o mp_shortdiv FAILED 10 FAILED 500
security_pgp_d_src_mpilib.o.mp_shortmod.o mp_shortmod FAILED 10 FAILED 500
security_pgp_d_src_mpilib.o.mp_smul.o mp_smul 1 + (0 + 1) × max(0, (*mun... O(n) 1 10 FAILED 500
security_pgp_d_src_mpilib.o.mp_subb.o mp_subb FAILED 10 FAILED 500
security_pgp_d_src_mpilib.o.mp_udiv.o mp_udiv FAILED 20 FAILED 500
security_pgp_d_src_mpilib.o.significance.o significance FAILED 500 FAILED 500
security_pgp_d_src_mpilib.o.smith_modmult.o smith_modmult FAILED 500 FAILED 500
security_pgp_d_src_noise.o.noiseTickSize.o noiseTickSize 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20 150015 O(1) 0 500
security_pgp_d_src_passwd.o.GetHashedPassPhrase.o GetHashedPassPhrase FAILED 10 FAILED 500
security_pgp_d_src_pgp.o.compressSignature.o compressSignature 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 10 O(1) 0 500
security_pgp_d_src_pgp.o.do_armorfile.o do_armorfile FAILED 120 FAILED 500
security_pgp_d_src_pgp.o.do_decrypt.o do_decrypt FAILED 270 FAILED 1000
security_pgp_d_src_pgp.o.do_keyopt.o do_keyopt FAILED 20 FAILED 3000
security_pgp_d_src_pgp.o.exitPGP.o exitPGP FAILED 20 FAILED 500
security_pgp_d_src_pgp.o.main.o main FAILED 3720 TIMEOUT
security_pgp_d_src_pgp.o.ParseRecipients.o ParseRecipients FAILED 40 FAILED 500
security_pgp_d_src_random.o.cryptRandInit.o cryptRandInit 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500 24 O(1) 0 500
security_pgp_d_src_random.o.cryptRandOpen.o cryptRandOpen FAILED 10 max(0, (*(inputStream (*fop... O(n) 0 500
security_pgp_d_src_random.o.cryptRandWriteFile.o cryptRandWriteFile 1 + (0 + 1) × max(0, (byte... O(n) 1 30 1 + max(0, (bytes + -255)) ... O(n) 1 1000
security_pgp_d_src_ra