Benchmark Result Comparison

CoFloCo Loopus
All 1659 1659
Bounded 386 806
Timeouts 217 6
Failed 1056 847
Total Runtime without Timeouts 65 min 9 min
O(1) O(log n) O(n) O(n log n) O(n2) O(n3) O(n>=4) EXP
CoFloCo 200 0 148 0 38 0 0 0
Loopus 205 0 489 0 97 13 2 0
Show examples where
Source FileFunctionCoFloCo Loopus
BoundDegreeVariablesTime msBoundDegreeVariablesTime ms
automotive_bitcount_src_bitcnt_1.o.bit_count.o bit_count FAILED 235 FAILED 500
automotive_bitcount_src_bitcnts.o.bit_shifter.o bit_shifter FAILED 293 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
automotive_bitcount_src_bitcnts.o.main1.o main1 FAILED 1214 FAILED 10
automotive_bitcount_src_bitstrng.o.bitstring.o bitstring FAILED 584 1 + (0 + 1) × max(0, (biz ... O(n) 2 10
automotive_bitcount_src_bstr_i.o.bstr_i.o bstr_i FAILED 232 FAILED 10
automotive_bitcount_src_loop-wrap.o.main.o main FAILED 403 1 + (0 + 1) × max(0, (*loo... O(n) 1 10
automotive_qsort1_src_qsort.o.qsortx.o qsortx TIMEOUT FAILED 4630
automotive_qsort1_src_qsort.o.shortsort.o shortsort FAILED 275 FAILED 10
automotive_qsort1_src_qsort.o.swap.o swap FAILED 323 1 + (0 + 1) × max(0, (widt... O(n) 1 10
automotive_qsort1_src_qsort_large.o.main1.o main1 FAILED 2376 FAILED 40
automotive_susan_c_src_susan.o.corner_draw.o corner_draw FAILED 233 FAILED 10
automotive_susan_c_src_susan.o.edge_draw.o edge_draw FAILED 469 1 + (0 + 1) × max(0, (0 + ... O(n2) 2 10
automotive_susan_c_src_susan.o.enlarge.o enlarge FAILED 1639 1 + (0 + 1) × max(0, (bord... O(n2) 2 30
automotive_susan_c_src_susan.o.getint.o getint FAILED 464 FAILED 30
automotive_susan_c_src_susan.o.int_to_uchar.o int_to_uchar max([4*H+4,4,3*H+ -1]) O(n) 1 1246 1 + (0 + 1) × max(0, (size... O(n) 1 10
automotive_susan_c_src_susan.o.main1.o main1 max([4*A1+20,32]) O(n) 1 33764 1 + (0 + 1) × max(0, (-3 +... O(n) 1 20
automotive_susan_c_src_susan.o.median.o median 115 O(1) 0 497 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
automotive_susan_c_src_susan.o.setup_brightness_lut.o setup_brightness_lut 2057 O(1) 0 266 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
automotive_susan_c_src_susan.o.susan_corners.o susan_corners TIMEOUT 1 + (0 + 1) × max(0, (y_si... O(n2) 2 150
automotive_susan_c_src_susan.o.susan_corners_quick.o susan_corners_quick FAILED 2803 1 + (0 + 1) × max(0, (y_si... O(n2) 2 180
automotive_susan_c_src_susan.o.susan_edges.o susan_edges max([4*H+ -22,6,2*G+ -9,2*H... O(n2) 2 2548 1 + (0 + 1) × max(0, (y_si... O(n2) 2 30
automotive_susan_c_src_susan.o.susan_edges_small.o susan_edges_small max([4*H+ -6,6,2*G+ -1,2*H+... O(n2) 2 2531 1 + (0 + 1) × max(0, (y_si... O(n2) 2 20
automotive_susan_c_src_susan.o.susan_principle.o susan_principle max([2*F+ -7,5,2*E+ -9, (2*... O(n2) 2 725 1 + (0 + 1) × max(0, (y_si... O(n2) 2 10
automotive_susan_c_src_susan.o.susan_principle_small.o susan_principle_small max([2*F+1,5,2*E+ -1, (2*E+... O(n2) 2 724 1 + (0 + 1) × max(0, (y_si... O(n2) 2 10
automotive_susan_c_src_susan.o.susan_smoothing.o susan_smoothing FAILED 56732 1 + (0 + 1) × max(0, (*y_s... O(n4) 3 200
automotive_susan_c_src_susan.o.susan_thin.o susan_thin FAILED 56094 FAILED 6850
bzip2d_src_blocksort.o.BZ2_blockSort.o BZ2_blockSort FAILED 1266 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
bzip2d_src_blocksort.o.fallbackQSort3.o fallbackQSort3 FAILED 489 FAILED 1440
bzip2d_src_blocksort.o.fallbackSimpleSort.o fallbackSimpleSort max([6,max([-3*F+3*A, (-1*F... O(n2) 2 3495 1 + (0 + 1) × max(0, (hi +... O(n2) 2 50
bzip2d_src_blocksort.o.fallbackSort.o fallbackSort TIMEOUT FAILED 830
bzip2d_src_blocksort.o.mainGtU.o mainGtU max([1*D+5,4]) O(n) 1 373 1 + (0 + 1) × max(0, (nblo... O(n) 1 40
bzip2d_src_blocksort.o.mainQSort3.o mainQSort3 FAILED 535 FAILED 340
bzip2d_src_blocksort.o.mainSimpleSort.o mainSimpleSort TIMEOUT FAILED 170
bzip2d_src_blocksort.o.mainSort.o mainSort TIMEOUT FAILED 830
bzip2d_src_bzip2.o.addFlagsFromEnvVar.o addFlagsFromEnvVar FAILED 1444 FAILED 70
bzip2d_src_bzip2.o.compress.o compress TIMEOUT 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20
bzip2d_src_bzip2.o.compressStream.o compressStream TIMEOUT FAILED 500
bzip2d_src_bzip2.o.main1.o main1 TIMEOUT FAILED 450
bzip2d_src_bzip2.o.pad.o pad FAILED 335 FAILED 500
bzip2d_src_bzip2.o.testStream.o testStream TIMEOUT FAILED 10
bzip2d_src_bzip2.o.uInt64_isZero.o uInt64_isZero 12 O(1) 0 280 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10
bzip2d_src_bzip2.o.uInt64_qrm10.o uInt64_qrm10 11 O(1) 0 303 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 500
bzip2d_src_bzip2.o.uInt64_to_double.o uInt64_to_double 11 O(1) 0 231 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10
bzip2d_src_bzip2.o.uInt64_toAscii.o uInt64_toAscii FAILED 344 FAILED 10
bzip2d_src_bzip2.o.uncompress.o uncompress TIMEOUT 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
bzip2d_src_bzip2.o.uncompressStream.o uncompressStream TIMEOUT FAILED 20
bzip2d_src_bzlib.o.add_pair_to_block.o add_pair_to_block FAILED 252 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
bzip2d_src_bzlib.o.BZ2_bzCompress.o BZ2_bzCompress FAILED 265 FAILED 10
bzip2d_src_bzlib.o.BZ2_bzDecompress.o BZ2_bzDecompress FAILED 3867 FAILED 30
bzip2d_src_bzlib.o.BZ2_bzRead.o BZ2_bzRead FAILED 1483 FAILED 60
bzip2d_src_bzlib.o.BZ2_bzReadOpen.o BZ2_bzReadOpen max([1*B+19,19]) O(n) 1 468 1 + (0 + 1) × max(0, (nUnu... O(n) 1 50
bzip2d_src_bzlib.o.BZ2_bzWrite.o BZ2_bzWrite FAILED 655 FAILED 20
bzip2d_src_bzlib.o.BZ2_bzWriteClose64.o BZ2_bzWriteClose64 FAILED 1111 FAILED 20
bzip2d_src_bzlib.o.BZ2_indexIntoF.o BZ2_indexIntoF FAILED 249 FAILED 20
bzip2d_src_bzlib.o.bzopen_or_bzdopen.o bzopen_or_bzdopen FAILED 1011 FAILED 500
bzip2d_src_bzlib.o.copy_input_until_stop.o copy_input_until_stop FAILED 276 FAILED 10
bzip2d_src_bzlib.o.copy_output_until_stop.o copy_output_until_stop FAILED 220 FAILED 500
bzip2d_src_bzlib.o.handle_compress.o handle_compress FAILED 796 FAILED 130
bzip2d_src_bzlib.o.prepare_new_block.o prepare_new_block 259 O(1) 0 232 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
bzip2d_src_bzlib.o.unRLE_obuf_to_output_FAST.o unRLE_obuf_to_output_FAST FAILED 208 FAILED 500
bzip2d_src_bzlib.o.unRLE_obuf_to_output_SMALL.o unRLE_obuf_to_output_SMALL FAILED 1403 FAILED 20
bzip2d_src_compress.o.bsFinishWrite.o bsFinishWrite FAILED 215 FAILED 500
bzip2d_src_compress.o.bsW.o bsW FAILED 234 FAILED 500
bzip2d_src_compress.o.generateMTFValues.o generateMTFValues TIMEOUT FAILED 140
bzip2d_src_compress.o.makeMaps_e.o makeMaps_e 515 O(1) 0 233 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
bzip2d_src_compress.o.sendMTFValues.o sendMTFValues TIMEOUT FAILED 2990
bzip2d_src_decompress.o.BZ2_decompress.o BZ2_decompress FAILED 15932 FAILED 500
bzip2d_src_decompress.o.makeMaps_d.o makeMaps_d 515 O(1) 0 232 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
bzip2d_src_huffman.o.BZ2_hbAssignCodes.o BZ2_hbAssignCodes max([-2*D+2*C+5,3,2*A+1, (2... O(n2) 3 619 1 + (0 + 1) × max(0, (maxL... O(n2) 3 10
bzip2d_src_huffman.o.BZ2_hbCreateDecodeTables.o BZ2_hbCreateDecodeTables max([-2*K+2*J+77,-3*K+3*J+7... O(n2) 3 4491 1 + (0 + 1) × max(0, (alph... O(n2) 3 100
bzip2d_src_huffman.o.BZ2_hbMakeCodeLengths.o BZ2_hbMakeCodeLengths TIMEOUT FAILED 270
consumer_jpeg_c_src_cdjpeg.o.keymatch.o keymatch FAILED 388 FAILED 10
consumer_jpeg_c_src_cjpeg.o.main1.o main1 FAILED 3055 FAILED 50
consumer_jpeg_c_src_cjpeg.o.parse_switches.o parse_switches TIMEOUT 1 + (0 + 1) × max(0, (-1 +... O(n) 2 30
consumer_jpeg_c_src_d_djpeg.o.COM_handler.o COM_handler FAILED 1009 1 + (0 + 1) × max(0, (jpeg... O(n) 2 20
consumer_jpeg_c_src_d_djpeg.o.main1.o main1 TIMEOUT FAILED 50
consumer_jpeg_c_src_d_djpeg.o.parse_switches.o parse_switches FAILED 18931 1 + (0 + 1) × max(0, (-1 +... O(n) 2 40
consumer_jpeg_c_src_d_rdcolmap.o.add_map_entry.o add_map_entry FAILED 473 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_d_rdcolmap.o.pbm_getc.o pbm_getc FAILED 273 FAILED 500
consumer_jpeg_c_src_d_rdcolmap.o.read_gif_map.o read_gif_map FAILED 716 1 + (0 + 1) × max(0, (0 + ... O(n) 1 20
consumer_jpeg_c_src_d_rdcolmap.o.read_pbm_integer.o read_pbm_integer FAILED 376 FAILED 40
consumer_jpeg_c_src_d_rdcolmap.o.read_ppm_map.o read_ppm_map FAILED 5446 1 + (0 + 1) × max(0, (read... O(n2) 2 30
consumer_jpeg_c_src_d_wrbmp.o.finish_output_bmp.o finish_output_bmp FAILED 632 1 + (0 + 1) × max(0, (Sele... O(n2) 4 30
consumer_jpeg_c_src_d_wrbmp.o.jinit_write_bmp.o jinit_write_bmp FAILED 271 FAILED 20
consumer_jpeg_c_src_d_wrbmp.o.put_gray_rows.o put_gray_rows FAILED 333 1 + (0 + 1) × max(0, (Sele... O(n) 4 20
consumer_jpeg_c_src_d_wrbmp.o.put_pixel_rows.o put_pixel_rows FAILED 335 1 + (0 + 1) × max(0, (Sele... O(n) 4 20
consumer_jpeg_c_src_d_wrbmp.o.write_colormap.o write_colormap FAILED 3274 1 + (0 + 1) × max(0, (map_... O(n) 3 40
consumer_jpeg_c_src_d_wrgif.o.compress_byte.o compress_byte FAILED 426 FAILED 30
consumer_jpeg_c_src_d_wrgif.o.emit_header.o emit_header FAILED 7977 FAILED 20
consumer_jpeg_c_src_d_wrgif.o.output.o output FAILED 247 FAILED 500
consumer_jpeg_c_src_d_wrgif.o.put_pixel_rows.o put_pixel_rows FAILED 249 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_d_wrppm.o.copy_pixel_rows.o copy_pixel_rows FAILED 274 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_d_wrppm.o.put_demapped_gray.o put_demapped_gray FAILED 276 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_d_wrppm.o.put_demapped_rgb.o put_demapped_rgb FAILED 274 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_d_wrtarga.o.put_demapped_gray.o put_demapped_gray FAILED 276 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_d_wrtarga.o.put_gray_rows.o put_gray_rows FAILED 274 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_d_wrtarga.o.put_pixel_rows.o put_pixel_rows FAILED 274 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_d_wrtarga.o.start_output_tga.o start_output_tga FAILED 417 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jcapimin.o.jpeg_CreateCompress.o jpeg_CreateCompress 22 O(1) 0 430 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jcapimin.o.jpeg_suppress_tables.o jpeg_suppress_tables 24 O(1) 0 333 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jccoefct.o.compress_data.o compress_data FAILED 56063 FAILED 60
consumer_jpeg_c_src_jccoefct.o.compress_first_pass.o compress_first_pass TIMEOUT FAILED 170
consumer_jpeg_c_src_jccoefct.o.compress_output.o compress_output TIMEOUT FAILED 40
consumer_jpeg_c_src_jccoefct.o.jinit_c_coef_controller.o jinit_c_coef_controller FAILED 616 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jccolor.o.cmyk_ycck_convert.o cmyk_ycck_convert FAILED 657 1 + (0 + 1) × max(0, (num_... O(n2) 3 10
consumer_jpeg_c_src_jccolor.o.grayscale_convert.o grayscale_convert FAILED 655 1 + (0 + 1) × max(0, (num_... O(n2) 3 10
consumer_jpeg_c_src_jccolor.o.null_convert.o null_convert FAILED 1729 1 + (0 + 1) × max(0, (num_... O(n3) 4 20
consumer_jpeg_c_src_jccolor.o.rgb_gray_convert.o rgb_gray_convert FAILED 657 1 + (0 + 1) × max(0, (num_... O(n2) 3 20
consumer_jpeg_c_src_jccolor.o.rgb_ycc_convert.o rgb_ycc_convert FAILED 659 1 + (0 + 1) × max(0, (num_... O(n2) 3 20
consumer_jpeg_c_src_jccolor.o.rgb_ycc_start.o rgb_ycc_start 261 O(1) 0 231 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_jpeg_c_src_jcdctmgr.o.forward_DCT.o forward_DCT max([205*D+3,203]) O(n) 1 867 1 + (0 + 1) × max(0, (num_... O(n) 1 10
consumer_jpeg_c_src_jcdctmgr.o.forward_DCT_float.o forward_DCT_float max([77*D+3,77]) O(n) 1 792 1 + (0 + 1) × max(0, (num_... O(n) 1 20
consumer_jpeg_c_src_jcdctmgr.o.jinit_forward_dct.o jinit_forward_dct 13 O(1) 0 240 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20
consumer_jpeg_c_src_jcdctmgr.o.start_pass_fdctmgr.o start_pass_fdctmgr FAILED 4545 1 + (0 + 1) × max(0, (Sele... O(n) 2 40
consumer_jpeg_c_src_jchuff.o.emit_bits.o emit_bits FAILED 767 1 + (0 + 1) × max(0, (size... O(n) 4 30
consumer_jpeg_c_src_jchuff.o.emit_restart.o emit_restart FAILED 380 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
consumer_jpeg_c_src_jchuff.o.encode_mcu_gather.o encode_mcu_gather FAILED 383 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
consumer_jpeg_c_src_jchuff.o.encode_mcu_huff.o encode_mcu_huff FAILED 477 1 + (0 + 1) × max(0, (Sele... O(n) 2 30
consumer_jpeg_c_src_jchuff.o.encode_one_block.o encode_one_block TIMEOUT FAILED 80
consumer_jpeg_c_src_jchuff.o.finish_pass_gather.o finish_pass_gather FAILED 391 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jchuff.o.htest_one_block.o htest_one_block FAILED 2040 FAILED 60
consumer_jpeg_c_src_jchuff.o.jinit_huff_encoder.o jinit_huff_encoder 9 O(1) 0 232 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
consumer_jpeg_c_src_jchuff.o.jpeg_gen_optimal_table.o jpeg_gen_optimal_table FAILED 11769 FAILED 200
consumer_jpeg_c_src_jchuff.o.jpeg_make_c_derived_tbl.o jpeg_make_c_derived_tbl FAILED 1667 FAILED 60
consumer_jpeg_c_src_jchuff.o.start_pass_huff.o start_pass_huff FAILED 872 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jcmainct.o.jinit_c_main_controller.o jinit_c_main_controller FAILED 288 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jcmainct.o.process_data_simple_main.o process_data_simple_main FAILED 292 FAILED 10
consumer_jpeg_c_src_jcmarker.o.emit_dht.o emit_dht FAILED 1484 FAILED 70
consumer_jpeg_c_src_jcmarker.o.emit_dqt.o emit_dqt 462 O(1) 0 770 1 + (0 + 1) × max(0, (0 + ... O(1) 0 30
consumer_jpeg_c_src_jcmarker.o.emit_sof.o emit_sof FAILED 688 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jcmarker.o.emit_sos.o emit_sos FAILED 704 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jcmarker.o.write_any_marker.o write_any_marker FAILED 568 1 + (0 + 1) × max(0, (data... O(n) 1 500
consumer_jpeg_c_src_jcmarker.o.write_frame_header.o write_frame_header FAILED 964 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jcmarker.o.write_scan_header.o write_scan_header FAILED 544 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jcmarker.o.write_tables_only.o write_tables_only max([-7*B+53,53]) O(n) 1 500 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jcmaster.o.initial_setup.o initial_setup FAILED 29012 1 + (0 + 1) × max(0, (Sele... O(n) 2 30
consumer_jpeg_c_src_jcmaster.o.per_scan_setup.o per_scan_setup FAILED 10054 FAILED 20
consumer_jpeg_c_src_jcmaster.o.select_scan_parameters.o select_scan_parameters FAILED 396 1 + (0 + 1) × max(0, (Sele... O(n) 4 20
consumer_jpeg_c_src_jcmaster.o.validate_script.o validate_script TIMEOUT FAILED 240
consumer_jpeg_c_src_jcomapi.o.jpeg_abort.o jpeg_abort 6 O(1) 0 216 1 + (0 + 1) × max(0, (0 + 1)) O(1) 0 500
consumer_jpeg_c_src_jcparam.o.fill_dc_scans.o fill_dc_scans max([1*D+4,5]) O(n) 1 331 1 + (0 + 1) × max(0, (ncom... O(n) 1 10
consumer_jpeg_c_src_jcparam.o.fill_scans.o fill_scans max([1*F+3,3]) O(n) 1 314 1 + (0 + 1) × max(0, (ncom... O(n) 1 500
consumer_jpeg_c_src_jcparam.o.jpeg_add_quant_table.o jpeg_add_quant_table 73 O(1) 0 320 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_jpeg_c_src_jcparam.o.jpeg_set_colorspace.o jpeg_set_colorspace FAILED 347 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jcparam.o.jpeg_set_defaults.o jpeg_set_defaults 31 O(1) 0 280 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_jpeg_c_src_jcphuff.o.emit_bits.o emit_bits FAILED 536 1 + (0 + 1) × max(0, (size... O(n) 3 20
consumer_jpeg_c_src_jcphuff.o.emit_buffered_bits.o emit_buffered_bits max([3*C+4,4]) O(n) 1 298 1 + (0 + 1) × max(0, (nbit... O(n) 1 10
consumer_jpeg_c_src_jcphuff.o.emit_eobrun.o emit_eobrun FAILED 364 FAILED 10
consumer_jpeg_c_src_jcphuff.o.emit_restart.o emit_restart FAILED 445 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
consumer_jpeg_c_src_jcphuff.o.encode_mcu_AC_first.o encode_mcu_AC_first FAILED 17960 FAILED 40
consumer_jpeg_c_src_jcphuff.o.encode_mcu_AC_refine.o encode_mcu_AC_refine FAILED 6670 1 + (0 + 1) × max(0, (-15 ... O(n) 3 70
consumer_jpeg_c_src_jcphuff.o.encode_mcu_DC_first.o encode_mcu_DC_first FAILED 1123 FAILED 30
consumer_jpeg_c_src_jcphuff.o.encode_mcu_DC_refine.o encode_mcu_DC_refine FAILED 329 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jcphuff.o.finish_pass_gather_phuff.o finish_pass_gather_phuff FAILED 300 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jcphuff.o.jinit_phuff_encoder.o jinit_phuff_encoder 9 O(1) 0 232 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
consumer_jpeg_c_src_jcphuff.o.start_pass_phuff.o start_pass_phuff FAILED 609 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_jcprepct.o.create_context_buffer.o create_context_buffer FAILED 4017 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20
consumer_jpeg_c_src_jcprepct.o.expand_bottom_edge.o expand_bottom_edge max([-3*B+3*D+3,3]) O(n) 2 307 1 + (0 + 1) × max(0, (outp... O(n) 2 500
consumer_jpeg_c_src_jcprepct.o.jinit_c_prep_controller.o jinit_c_prep_controller FAILED 474 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_jcprepct.o.pre_process_context.o pre_process_context FAILED 5491 FAILED 40
consumer_jpeg_c_src_jcprepct.o.pre_process_data.o pre_process_data FAILED 3097 FAILED 30
consumer_jpeg_c_src_jcsample.o.expand_right_edge.o expand_right_edge max([-1*C+1*E+2,4,2*D+4, (-... O(n2) 3 864 1 + (0 + 1) × max(0, (num_... O(n2) 3 10
consumer_jpeg_c_src_jcsample.o.fullsize_smooth_downsample.o fullsize_smooth_downsample FAILED 596 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20
consumer_jpeg_c_src_jcsample.o.h2v1_downsample.o h2v1_downsample FAILED 767 1 + (0 + 1) × max(0, (Sele... O(n2) 3 10
consumer_jpeg_c_src_jcsample.o.h2v2_downsample.o h2v2_downsample FAILED 767 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20
consumer_jpeg_c_src_jcsample.o.h2v2_smooth_downsample.o h2v2_smooth_downsample FAILED 755 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20
consumer_jpeg_c_src_jcsample.o.int_downsample.o int_downsample TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n4) 7 20
consumer_jpeg_c_src_jcsample.o.jinit_downsampler.o jinit_downsampler FAILED 406 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_jcsample.o.sep_downsample.o sep_downsample FAILED 266 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jctrans.o.compress_output.o compress_output TIMEOUT FAILED 60
consumer_jpeg_c_src_jctrans.o.jpeg_copy_critical_parameters.o jpeg_copy_critical_parameters FAILED 1361 1 + (0 + 1) × max(0, (Sele... O(n) 2 40
consumer_jpeg_c_src_jctrans.o.transencode_coef_controller.o transencode_coef_controller 18 O(1) 0 236 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
consumer_jpeg_c_src_jdapimin.o.jpeg_CreateDecompress.o jpeg_CreateDecompress 25 O(1) 0 517 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jdapistd.o.output_pass_setup.o output_pass_setup FAILED 631 FAILED 10
consumer_jpeg_c_src_jdatasrc.o.skip_input_data.o skip_input_data FAILED 268 FAILED 10
consumer_jpeg_c_src_jdcoefct.o.consume_data.o consume_data TIMEOUT FAILED 40
consumer_jpeg_c_src_jdcoefct.o.decompress_data.o decompress_data FAILED 10599 FAILED 70
consumer_jpeg_c_src_jdcoefct.o.decompress_onepass.o decompress_onepass FAILED 6438 FAILED 60
consumer_jpeg_c_src_jdcoefct.o.decompress_smooth_data.o decompress_smooth_data TIMEOUT FAILED 70
consumer_jpeg_c_src_jdcoefct.o.jinit_d_coef_controller.o jinit_d_coef_controller FAILED 617 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jdcoefct.o.smoothing_ok.o smoothing_ok FAILED 430 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_jdcolor.o.build_ycc_rgb_table.o build_ycc_rgb_table 267 O(1) 0 240 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_jpeg_c_src_jdcolor.o.jinit_color_deconverter.o jinit_color_deconverter FAILED 613 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_jdcolor.o.null_convert.o null_convert FAILED 1713 1 + (0 + 1) × max(0, (num_... O(n3) 4 20
consumer_jpeg_c_src_jdcolor.o.ycc_rgb_convert.o ycc_rgb_convert FAILED 656 1 + (0 + 1) × max(0, (num_... O(n2) 3 10
consumer_jpeg_c_src_jdcolor.o.ycck_cmyk_convert.o ycck_cmyk_convert FAILED 658 1 + (0 + 1) × max(0, (num_... O(n2) 3 20
consumer_jpeg_c_src_jddctmgr.o.jinit_inverse_dct.o jinit_inverse_dct FAILED 242 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jddctmgr.o.start_pass.o start_pass FAILED 1405 1 + (0 + 1) × max(0, (Sele... O(n) 2 60
consumer_jpeg_c_src_jdhuff.o.decode_mcu.o decode_mcu TIMEOUT FAILED 3370
consumer_jpeg_c_src_jdhuff.o.jinit_huff_decoder.o jinit_huff_decoder 9 O(1) 0 233 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
consumer_jpeg_c_src_jdhuff.o.jpeg_fill_bit_buffer.o jpeg_fill_bit_buffer FAILED 12970 FAILED 180
consumer_jpeg_c_src_jdhuff.o.jpeg_huff_decode.o jpeg_huff_decode FAILED 790 FAILED 20
consumer_jpeg_c_src_jdhuff.o.jpeg_make_d_derived_tbl.o jpeg_make_d_derived_tbl FAILED 4054 FAILED 110
consumer_jpeg_c_src_jdhuff.o.start_pass_huff_decoder.o start_pass_huff_decoder FAILED 314 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jdinput.o.initial_setup.o initial_setup FAILED 4156 1 + (0 + 1) × max(0, (Sele... O(n) 2 40
consumer_jpeg_c_src_jdinput.o.latch_quant_tables.o latch_quant_tables FAILED 274 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jdinput.o.per_scan_setup.o per_scan_setup FAILED 10127 FAILED 20
consumer_jpeg_c_src_jdmainct.o.alloc_funny_pointers.o alloc_funny_pointers FAILED 335 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jdmainct.o.jinit_d_main_controller.o jinit_d_main_controller FAILED 506 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_jdmainct.o.make_funny_pointers.o make_funny_pointers FAILED 10273 FAILED 40
consumer_jpeg_c_src_jdmainct.o.set_bottom_pointers.o set_bottom_pointers TIMEOUT FAILED 20
consumer_jpeg_c_src_jdmainct.o.set_wraparound_pointers.o set_wraparound_pointers FAILED 608 FAILED 20
consumer_jpeg_c_src_jdmarker.o.get_sof.o get_sof TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n) 2 250
consumer_jpeg_c_src_jdmarker.o.get_soi.o get_soi 24 O(1) 0 238 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jdmarker.o.jinit_marker_reader.o jinit_marker_reader 23 O(1) 0 251 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_jpeg_c_src_jdmarker.o.jpeg_resync_to_restart.o jpeg_resync_to_restart FAILED 254 FAILED 30
consumer_jpeg_c_src_jdmaster.o.jpeg_calc_output_dimensions.o jpeg_calc_output_dimensions FAILED 9666 FAILED 50
consumer_jpeg_c_src_jdmaster.o.prepare_range_limit_table.o prepare_range_limit_table 651 O(1) 0 342 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jdmerge.o.build_ycc_rgb_table.o build_ycc_rgb_table 267 O(1) 0 238 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
consumer_jpeg_c_src_jdmerge.o.h2v1_merged_upsample.o h2v1_merged_upsample FAILED 258 1 + (0 + 1) × max(0, (0 + ... O(n) 2 10
consumer_jpeg_c_src_jdmerge.o.h2v2_merged_upsample.o h2v2_merged_upsample FAILED 256 1 + (0 + 1) × max(0, (0 + ... O(n) 2 20
consumer_jpeg_c_src_jdphuff.o.decode_mcu_AC_first.o decode_mcu_AC_first FAILED 39356 FAILED 290
consumer_jpeg_c_src_jdphuff.o.decode_mcu_AC_refine.o decode_mcu_AC_refine TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(n) 3 10520
consumer_jpeg_c_src_jdphuff.o.decode_mcu_DC_first.o decode_mcu_DC_first FAILED 12477 1 + (0 + 1) × max(0, (Sele... O(n) 2 70
consumer_jpeg_c_src_jdphuff.o.decode_mcu_DC_refine.o decode_mcu_DC_refine FAILED 540 1 + (0 + 1) × max(0, (Sele... O(n) 2 30
consumer_jpeg_c_src_jdphuff.o.jinit_phuff_decoder.o jinit_phuff_decoder FAILED 491 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_jdphuff.o.start_pass_phuff_decoder.o start_pass_phuff_decoder FAILED 2376 1 + (0 + 1) × max(0, (Sele... O(n2) 4 40
consumer_jpeg_c_src_jdsample.o.h2v1_fancy_upsample.o h2v1_fancy_upsample FAILED 336 1 + (0 + 1) × max(0, (Sele... O(n2) 4 10
consumer_jpeg_c_src_jdsample.o.h2v1_upsample.o h2v1_upsample FAILED 285 1 + (0 + 1) × max(0, (Sele... O(n2) 3 10
consumer_jpeg_c_src_jdsample.o.h2v2_fancy_upsample.o h2v2_fancy_upsample FAILED 727 1 + (0 + 1) × max(0, (Sele... O(n2) 4 20
consumer_jpeg_c_src_jdsample.o.h2v2_upsample.o h2v2_upsample FAILED 351 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20
consumer_jpeg_c_src_jdsample.o.int_upsample.o int_upsample FAILED 2138 FAILED 20
consumer_jpeg_c_src_jdsample.o.jinit_upsampler.o jinit_upsampler TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jdsample.o.sep_upsample.o sep_upsample FAILED 302 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jdtrans.o.jpeg_read_coefficients.o jpeg_read_coefficients FAILED 267 FAILED 20
consumer_jpeg_c_src_jerror.o.format_message.o format_message FAILED 492 FAILED 80
consumer_jpeg_c_src_jfdctflt.o.jpeg_fdct_float.o jpeg_fdct_float 20 O(1) 0 298 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_jpeg_c_src_jfdctfst.o.jpeg_fdct_ifast.o jpeg_fdct_ifast 20 O(1) 0 298 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jfdctint.o.jpeg_fdct_islow.o jpeg_fdct_islow 20 O(1) 0 297 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jidctflt.o.jpeg_idct_float.o jpeg_idct_float 28 O(1) 0 330 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jidctfst.o.jpeg_idct_ifast.o jpeg_idct_ifast 36 O(1) 0 331 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jidctint.o.jpeg_idct_islow.o jpeg_idct_islow 36 O(1) 0 331 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jidctred.o.jpeg_idct_2x2.o jpeg_idct_2x2 32 O(1) 0 367 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jidctred.o.jpeg_idct_4x4.o jpeg_idct_4x4 28 O(1) 0 332 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jmemmgr.o.access_virt_barray.o access_virt_barray FAILED 8000 1 + (0 + 1) × max(0, (star... O(n) 5 30
consumer_jpeg_c_src_jmemmgr.o.access_virt_sarray.o access_virt_sarray FAILED 7935 1 + (0 + 1) × max(0, (star... O(n) 5 20
consumer_jpeg_c_src_jmemmgr.o.alloc_barray.o alloc_barray FAILED 2868 FAILED 40
consumer_jpeg_c_src_jmemmgr.o.alloc_sarray.o alloc_sarray FAILED 2865 FAILED 40
consumer_jpeg_c_src_jmemmgr.o.alloc_small.o alloc_small FAILED 23101 FAILED 300
consumer_jpeg_c_src_jmemmgr.o.do_barray_io.o do_barray_io FAILED 290 1 + (0 + 1) × max(0, (0 + ... O(n) 6 60
consumer_jpeg_c_src_jmemmgr.o.do_sarray_io.o do_sarray_io FAILED 290 1 + (0 + 1) × max(0, (0 + ... O(n) 6 60
consumer_jpeg_c_src_jmemmgr.o.free_pool.o free_pool FAILED 1008 FAILED 80
consumer_jpeg_c_src_jmemmgr.o.realize_virt_arrays.o realize_virt_arrays FAILED 33696 FAILED 70
consumer_jpeg_c_src_jmemmgr.o.self_destruct.o self_destruct 13 O(1) 0 247 1 + (0 + 1) × max(0, (0 + 2)) O(1) 0 500
consumer_jpeg_c_src_jquant1.o.alloc_fs_workspace.o alloc_fs_workspace FAILED 235 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jquant1.o.color_quantize.o color_quantize FAILED 1366 1 + (0 + 1) × max(0, (num_... O(n3) 4 20
consumer_jpeg_c_src_jquant1.o.color_quantize3.o color_quantize3 FAILED 511 1 + (0 + 1) × max(0, (num_... O(n2) 3 10
consumer_jpeg_c_src_jquant1.o.create_colorindex.o create_colorindex TIMEOUT FAILED 20
consumer_jpeg_c_src_jquant1.o.create_colormap.o create_colormap FAILED 4742 FAILED 30
consumer_jpeg_c_src_jquant1.o.create_odither_tables.o create_odither_tables FAILED 897 1 + (0 + 1) × max(0, (Sele... O(n2) 2 20
consumer_jpeg_c_src_jquant1.o.make_odither_array.o make_odither_array 549 O(1) 0 640 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_jpeg_c_src_jquant1.o.quantize3_ord_dither.o quantize3_ord_dither FAILED 512 1 + (0 + 1) × max(0, (num_... O(n2) 3 20
consumer_jpeg_c_src_jquant1.o.quantize_fs_dither.o quantize_fs_dither FAILED 1817 1 + (0 + 1) × max(0, (num_... O(n3) 4 20
consumer_jpeg_c_src_jquant1.o.quantize_ord_dither.o quantize_ord_dither FAILED 1794 1 + (0 + 1) × max(0, (num_... O(n3) 4 20
consumer_jpeg_c_src_jquant1.o.select_ncolors.o select_ncolors FAILED 14966 FAILED 70
consumer_jpeg_c_src_jquant1.o.start_pass_1_quant.o start_pass_1_quant FAILED 353 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jquant2.o.compute_color.o compute_color FAILED 24092 1 + (0 + 1) × max(0, (Sele... O(n3) 7 20
consumer_jpeg_c_src_jquant2.o.fill_inverse_cmap.o fill_inverse_cmap 206 O(1) 0 1346 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jquant2.o.find_best_colors.o find_best_colors max([330*I+132,460]) O(n) 1 2365 1 + (0 + 1) × max(0, (numc... O(n) 1 30
consumer_jpeg_c_src_jquant2.o.find_biggest_color_pop.o find_biggest_color_pop max([2*B+3,3]) O(n) 1 252 1 + (0 + 1) × max(0, (numb... O(n) 1 10
consumer_jpeg_c_src_jquant2.o.find_biggest_volume.o find_biggest_volume max([2*B+3,3]) O(n) 1 254 1 + (0 + 1) × max(0, (numb... O(n) 1 500
consumer_jpeg_c_src_jquant2.o.find_nearby_colors.o find_nearby_colors FAILED 468 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_jquant2.o.init_error_limit.o init_error_limit 263 O(1) 0 425 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jquant2.o.jinit_2pass_quantizer.o jinit_2pass_quantizer 121 O(1) 0 362 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jquant2.o.median_cut.o median_cut max([-9*C+9*B+4,7]) O(n) 2 575 1 + (0 + 1) × max(0, (desi... O(n) 2 10
consumer_jpeg_c_src_jquant2.o.pass2_fs_dither.o pass2_fs_dither FAILED 777 1 + (0 + 1) × max(0, (num_... O(n2) 3 20
consumer_jpeg_c_src_jquant2.o.pass2_no_dither.o pass2_no_dither FAILED 753 1 + (0 + 1) × max(0, (num_... O(n2) 3 20
consumer_jpeg_c_src_jquant2.o.prescan_quantize.o prescan_quantize FAILED 513 1 + (0 + 1) × max(0, (num_... O(n2) 3 20
consumer_jpeg_c_src_jquant2.o.select_colors.o select_colors FAILED 322 1 + (0 + 1) × max(0, (medi... O(n) 1 500
consumer_jpeg_c_src_jquant2.o.start_pass_2_quant.o start_pass_2_quant 117 O(1) 0 900 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_jquant2.o.update_box.o update_box TIMEOUT 1 + (0 + 1) × max(0, (1 + ... O(n3) 7 51710
consumer_jpeg_c_src_jutils.o.jcopy_sample_rows.o jcopy_sample_rows max([3*D+3,3]) O(n) 1 325 1 + (0 + 1) × max(0, (num_... O(n) 1 500
consumer_jpeg_c_src_rdbmp.o.get_24bit_row.o get_24bit_row FAILED 231 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_rdbmp.o.get_8bit_row.o get_8bit_row FAILED 231 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_rdbmp.o.read_colormap.o read_colormap max([9*A+4,7*A+4,6]) O(n) 1 487 1 + (0 + 1) × max(0, (cmap... O(n) 1 10
consumer_jpeg_c_src_rdbmp.o.start_input_bmp.o start_input_bmp TIMEOUT FAILED 820
consumer_jpeg_c_src_rdgif.o.get_interlaced_row.o get_interlaced_row FAILED 237 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_rdgif.o.get_pixel_rows.o get_pixel_rows FAILED 228 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_rdgif.o.GetCode.o GetCode FAILED 234 FAILED 10
consumer_jpeg_c_src_rdgif.o.load_interlaced_image.o load_interlaced_image FAILED 469 1 + (0 + 1) × max(0, (Sele... O(n2) 3 10
consumer_jpeg_c_src_rdgif.o.LZWReadByte.o LZWReadByte FAILED 803 FAILED 30
consumer_jpeg_c_src_rdgif.o.ReadColorMap.o ReadColorMap max([7*A+3,3]) O(n) 1 259 1 + (0 + 1) × max(0, (cmap... O(n) 1 10
consumer_jpeg_c_src_rdgif.o.SkipDataBlocks.o SkipDataBlocks FAILED 225 FAILED 10
consumer_jpeg_c_src_rdgif.o.start_input_gif.o start_input_gif TIMEOUT FAILED 20
consumer_jpeg_c_src_rdppm.o.get_scaled_gray_row.o get_scaled_gray_row FAILED 252 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_rdppm.o.get_scaled_rgb_row.o get_scaled_rgb_row FAILED 251 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_rdppm.o.get_text_gray_row.o get_text_gray_row FAILED 228 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_rdppm.o.get_text_rgb_row.o get_text_rgb_row FAILED 232 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
consumer_jpeg_c_src_rdppm.o.get_word_gray_row.o get_word_gray_row FAILED 252 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_rdppm.o.get_word_rgb_row.o get_word_rgb_row FAILED 252 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_jpeg_c_src_rdppm.o.pbm_getc.o pbm_getc FAILED 273 FAILED 10
consumer_jpeg_c_src_rdppm.o.read_pbm_integer.o read_pbm_integer FAILED 377 FAILED 30
consumer_jpeg_c_src_rdppm.o.start_input_ppm.o start_input_ppm TIMEOUT FAILED 100
consumer_jpeg_c_src_rdswitch.o.read_quant_tables.o read_quant_tables FAILED 1731 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_rdswitch.o.read_scan_integer.o read_scan_integer FAILED 506 FAILED 10
consumer_jpeg_c_src_rdswitch.o.read_scan_script.o read_scan_script TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_jpeg_c_src_rdswitch.o.read_text_integer.o read_text_integer FAILED 712 FAILED 20
consumer_jpeg_c_src_rdswitch.o.set_quant_slots.o set_quant_slots FAILED 365 FAILED 30
consumer_jpeg_c_src_rdswitch.o.set_sample_factors.o set_sample_factors FAILED 392 FAILED 60
consumer_jpeg_c_src_rdswitch.o.text_getc.o text_getc FAILED 274 FAILED 10
consumer_jpeg_c_src_rdtarga.o.get_16bit_row.o get_16bit_row FAILED 228 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_rdtarga.o.get_24bit_row.o get_24bit_row FAILED 227 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
consumer_jpeg_c_src_rdtarga.o.get_8bit_gray_row.o get_8bit_gray_row FAILED 228 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_rdtarga.o.get_8bit_row.o get_8bit_row FAILED 227 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_jpeg_c_src_rdtarga.o.read_colormap.o read_colormap max([7*A+6,6]) O(n) 1 292 1 + (0 + 1) × max(0, (cmap... O(n) 1 20
consumer_jpeg_c_src_rdtarga.o.read_non_rle_pixel.o read_non_rle_pixel FAILED 235 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
consumer_jpeg_c_src_rdtarga.o.read_rle_pixel.o read_rle_pixel FAILED 267 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
consumer_jpeg_c_src_rdtarga.o.start_input_tga.o start_input_tga TIMEOUT FAILED 20
consumer_lame_src_decode_i386.o.synth_1to1.o synth_1to1 71 O(1) 0 380 FAILED 20
consumer_lame_src_decode_i386.o.synth_1to1_mono.o synth_1to1_mono 37 O(1) 0 232 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_lame_src_fft.o.fft_long.o fft_long 133 O(1) 0 508 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_lame_src_fft.o.fft_short.o fft_short 111 O(1) 0 642 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_lame_src_fft.o.fht.o fht FAILED 1584 FAILED 40
consumer_lame_src_fft.o.init_fft.o init_fft 1945 O(1) 0 422 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_lame_src_formatBitstream.o.BF_FlushBitstream.o BF_FlushBitstream FAILED 982 FAILED 10
consumer_lame_src_formatBitstream.o.BF_LoadHolderFromBitstreamPart.o BF_LoadHolderFromBitstreamPart FAILED 236 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
consumer_lame_src_formatBitstream.o.BF_PartLength.o BF_PartLength FAILED 248 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
consumer_lame_src_formatBitstream.o.BF_resizePartHolder.o BF_resizePartHolder FAILED 338 1 + (0 + 1) × max(0, (0 + ... O(n) 3 20
consumer_lame_src_formatBitstream.o.free_side_info_link.o free_side_info_link FAILED 734 1 + (0 + 1) × max(0, (Sele... O(n2) 4 20
consumer_lame_src_formatBitstream.o.free_side_queues.o free_side_queues FAILED 231 FAILED 20
consumer_lame_src_formatBitstream.o.main_data.o main_data FAILED 403 1 + (0 + 1) × max(0, (Sele... O(n2) 3 10
consumer_lame_src_formatBitstream.o.side_queue_elements.o side_queue_elements FAILED 213 FAILED 500
consumer_lame_src_formatBitstream.o.store_side_info.o store_side_info FAILED 18813 FAILED 130
consumer_lame_src_formatBitstream.o.write_side_info.o write_side_info FAILED 869 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20
consumer_lame_src_formatBitstream.o.writePartMainData.o writePartMainData FAILED 268 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_lame_src_formatBitstream.o.writePartSideInfo.o writePartSideInfo FAILED 263 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_lame_src_get_audio.o.fskip.o fskip FAILED 289 FAILED 10
consumer_lame_src_get_audio.o.get_audio.o get_audio FAILED 3272 1 + (0 + 1) × max(0, (0 + ... O(n) 2 20
consumer_lame_src_get_audio.o.parse_aiff_header.o parse_aiff_header FAILED 4005 FAILED 10
consumer_lame_src_get_audio.o.parse_wave_header.o parse_wave_header 413 O(1) 0 8518 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_lame_src_get_audio.o.read_samples_mp3.o read_samples_mp3 1159 O(1) 0 279 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_lame_src_get_audio.o.read_samples_pcm.o read_samples_pcm max([1*F+20,20]) O(n) 1 2785 1 + (0 + 1) × max(0, (fram... O(n) 2 20
consumer_lame_src_id3tag.o.id3_pad.o id3_pad FAILED 271 1 + (0 + 1) × max(0, (leng... O(n) 2 500
consumer_lame_src_interface.o.decodeMP3.o decodeMP3 FAILED 1032 FAILED 40
consumer_lame_src_interface.o.ExitMP3.o ExitMP3 FAILED 215 FAILED 10
consumer_lame_src_interface.o.read_buf_byte.o read_buf_byte FAILED 233 FAILED 10
consumer_lame_src_l3bitstream.o.CRC_BF_addEntry.o CRC_BF_addEntry FAILED 268 1 + (0 + 1) × max(0, (1 + ... O(n) 1 20
consumer_lame_src_l3bitstream.o.drain_into_ancillary_data.o drain_into_ancillary_data max([3*D+3,6]) O(n) 1 388 1 + (0 + 1) × max(0, (0 + ... O(n) 1 10
consumer_lame_src_l3bitstream.o.encodeMainData.o encodeMainData TIMEOUT FAILED 890
consumer_lame_src_l3bitstream.o.encodeSideInfo.o encodeSideInfo TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n2) 3 100
consumer_lame_src_l3bitstream.o.Huffmancodebits.o Huffmancodebits TIMEOUT FAILED 330
consumer_lame_src_l3bitstream.o.III_format_bitstream.o III_format_bitstream FAILED 11480 1 + (0 + 1) × max(0, (Sele... O(n2) 3 80
consumer_lame_src_lame.o.fill_buffer_resample.o fill_buffer_resample max([10*B+17,19]) O(n) 1 695 1 + (0 + 1) × max(0, (desi... O(n) 1 50
consumer_lame_src_lame.o.lame_encode_buffer.o lame_encode_buffer TIMEOUT FAILED 60
consumer_lame_src_lame.o.lame_encode_buffer_interleaved.o lame_encode_buffer_interleaved TIMEOUT FAILED 130
consumer_lame_src_lame.o.lame_encode_finish.o lame_encode_finish FAILED 869 FAILED 500
consumer_lame_src_lame.o.lame_encode_frame.o lame_encode_frame TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n2) 3 80
consumer_lame_src_lame.o.lame_init_params.o lame_init_params TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(1) 0 1080
consumer_lame_src_layer3.o.do_layer3.o do_layer3 TIMEOUT FAILED 420
consumer_lame_src_layer3.o.III_antialias.o III_antialias FAILED 411 FAILED 10
consumer_lame_src_layer3.o.III_dequantize_sample.o III_dequantize_sample TIMEOUT FAILED 450
consumer_lame_src_layer3.o.III_get_scale_factors_1.o III_get_scale_factors_1 114 O(1) 0 5006 FAILED 280
consumer_lame_src_layer3.o.III_get_scale_factors_2.o III_get_scale_factors_2 FAILED 1083 FAILED 140
consumer_lame_src_layer3.o.III_get_side_info_1.o III_get_side_info_1 max([83*I+15,15,3*I+38,43*I... O(n) 1 7002 1 + (0 + 1) × max(0, (ster... O(n) 1 40
consumer_lame_src_layer3.o.III_get_side_info_2.o III_get_side_info_2 max([39*G+8,36]) O(n) 1 2279 1 + (0 + 1) × max(0, (ster... O(n) 1 20
consumer_lame_src_layer3.o.III_hybrid.o III_hybrid FAILED 1356 1 + (0 + 1) × max(0, (Sele... O(n) 2 60
consumer_lame_src_layer3.o.III_i_stereo.o III_i_stereo FAILED 9202 FAILED 140
consumer_lame_src_layer3.o.init_layer3.o init_layer3 TIMEOUT FAILED 630
consumer_lame_src_main.o.main1.o main1 FAILED 6987 FAILED 30
consumer_lame_src_mainmpglib.o.lame_decode.o lame_decode FAILED 1056 1 + (0 + 1) × max(0, (Sele... O(n2) 4 10
consumer_lame_src_mainmpglib.o.lame_decode_fromfile.o lame_decode_fromfile FAILED 4397 FAILED 40
consumer_lame_src_mainmpglib.o.lame_decode_initfile.o lame_decode_initfile FAILED 642 FAILED 500
consumer_lame_src_newmdct.o.mdct_init48.o mdct_init48 TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(1) 0 560
consumer_lame_src_newmdct.o.mdct_long.o mdct_long 14 O(1) 0 232 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
consumer_lame_src_newmdct.o.mdct_short.o mdct_short 33 O(1) 0 330 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_lame_src_newmdct.o.mdct_sub48.o mdct_sub48 TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n3) 5 90
consumer_lame_src_newmdct.o.window_subband.o window_subband 291 O(1) 0 453 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_lame_src_parse.o.lame_parse_args.o lame_parse_args TIMEOUT FAILED 290
consumer_lame_src_portableio.o.ReadBytes.o ReadBytes FAILED 1166 FAILED 10
consumer_lame_src_portableio.o.ReadBytesSwapped.o ReadBytesSwapped FAILED 1278 FAILED 20
consumer_lame_src_portableio.o.WriteBytes.o WriteBytes max([3*D+3,3]) O(n) 1 280 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_lame_src_portableio.o.WriteBytesSwapped.o WriteBytesSwapped max([3*D+3,3]) O(n) 1 278 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_lame_src_psymodel.o.L3para_read.o L3para_read TIMEOUT FAILED 290
consumer_lame_src_psymodel.o.L3psycho_anal.o L3psycho_anal TIMEOUT FAILED 8000
consumer_lame_src_quantize-pvt.o.bin_search_StepSize2.o bin_search_StepSize2 FAILED 6439 FAILED 20
consumer_lame_src_quantize-pvt.o.calc_xmin.o calc_xmin FAILED 3890 FAILED 60
consumer_lame_src_quantize-pvt.o.compute_ath.o compute_ath FAILED 942 FAILED 30
consumer_lame_src_quantize-pvt.o.inner_loop.o inner_loop FAILED 242 FAILED 500
consumer_lame_src_quantize-pvt.o.iteration_init.o iteration_init FAILED 7555 1 + (0 + 1) × max(0, (Sele... O(n2) 3 140
consumer_lame_src_quantize-pvt.o.loop_break.o loop_break FAILED 1161 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
consumer_lame_src_quantize-pvt.o.ms_convert.o ms_convert 579 O(1) 0 231 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
consumer_lame_src_quantize-pvt.o.on_pe.o on_pe FAILED 600 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_lame_src_quantize-pvt.o.quantize_xrpow.o quantize_xrpow 2019 O(1) 0 242 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_lame_src_quantize-pvt.o.reduce_side.o reduce_side 8 O(1) 0 258 1 + (0 + 1) × max(0, (0 + 2)) O(1) 0 10
consumer_lame_src_quantize-pvt.o.scale_bitcount.o scale_bitcount max([-1*F+115,118]) O(n) 1 2865 1 + (0 + 1) × max(0, (0 + ... O(1) 0 150
consumer_lame_src_quantize-pvt.o.scale_bitcount_lsf.o scale_bitcount_lsf FAILED 6830 FAILED 250
consumer_lame_src_quantize.o.amp_scalefac_bands.o amp_scalefac_bands FAILED 6225 FAILED 190
consumer_lame_src_quantize.o.calc_noise1.o calc_noise1 FAILED 2842 FAILED 50
consumer_lame_src_quantize.o.init_outer_loop.o init_outer_loop max([-1*A+1003,-3*G+1737,17... O(n) 2 2644 1 + (0 + 1) × max(0, (0 + ... O(1) 0 100
consumer_lame_src_quantize.o.iteration_loop.o iteration_loop FAILED 17911 1 + (0 + 1) × max(0, (Sele... O(n2) 3 20
consumer_lame_src_quantize.o.outer_loop.o outer_loop TIMEOUT FAILED 510
consumer_lame_src_quantize.o.VBR_iteration_loop.o VBR_iteration_loop TIMEOUT FAILED 9660
consumer_lame_src_tabinit.o.make_decode_tables.o make_decode_tables FAILED 1452 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40
consumer_lame_src_takehiro.o.best_huffman_divide.o best_huffman_divide 909 O(1) 0 1861 1 + (0 + 1) × max(0, (0 + ... O(1) 0 50
consumer_lame_src_takehiro.o.best_scalefac_store.o best_scalefac_store TIMEOUT FAILED 170
consumer_lame_src_takehiro.o.choose_table.o choose_table 19 O(1) 0 1087 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_lame_src_takehiro.o.choose_table_short.o choose_table_short 19 O(1) 0 1092 1 + (0 + 1) × max(0, (0 + ... O(1) 0 30
consumer_lame_src_takehiro.o.count_bit_ESC.o count_bit_ESC FAILED 238 1 + (0 + 1) × max(0, (end ... O(n) 2 10
consumer_lame_src_takehiro.o.count_bit_noESC.o count_bit_noESC FAILED 234 1 + (0 + 1) × max(0, (end ... O(n) 2 20
consumer_lame_src_takehiro.o.count_bit_noESC2.o count_bit_noESC2 FAILED 233 1 + (0 + 1) × max(0, (-1 +... O(n) 2 10
consumer_lame_src_takehiro.o.count_bit_short_ESC.o count_bit_short_ESC FAILED 246 1 + (0 + 1) × max(0, (end ... O(n) 2 10
consumer_lame_src_takehiro.o.count_bit_short_noESC.o count_bit_short_noESC FAILED 247 1 + (0 + 1) × max(0, (end ... O(n) 2 10
consumer_lame_src_takehiro.o.count_bits.o count_bits 588 O(1) 0 319 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_lame_src_takehiro.o.count_bits_long.o count_bits_long FAILED 7176 FAILED 190
consumer_lame_src_takehiro.o.ix_max.o ix_max FAILED 214 1 + (0 + 1) × max(0, (end ... O(n) 2 10
consumer_lame_src_takehiro.o.scfsi_calc.o scfsi_calc FAILED 5418 FAILED 100
consumer_lame_src_util.o.BitrateIndex.o BitrateIndex 7 O(1) 0 306 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_lame_src_util.o.copy_buffer.o copy_buffer FAILED 274 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
consumer_lame_src_util.o.display_bitrates.o display_bitrates 99 O(1) 0 453 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_lame_src_util.o.putbits.o putbits FAILED 439 FAILED 20
consumer_lame_src_util.o.SwapBytesInWords.o SwapBytesInWords max([1*B+3,3]) O(n) 1 252 1 + (0 + 1) × max(0, (word... O(n) 1 10
consumer_lame_src_vbrquantize.o.calc_sfb_ave_noise.o calc_sfb_ave_noise FAILED 357 FAILED 10
consumer_lame_src_vbrquantize.o.compute_scalefacs_long.o compute_scalefacs_long 133 O(1) 0 1033 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40
consumer_lame_src_vbrquantize.o.compute_scalefacs_short.o compute_scalefacs_short 209 O(1) 0 343 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_lame_src_vbrquantize.o.find_scalefac.o find_scalefac FAILED 976 FAILED 50
consumer_lame_src_vbrquantize.o.VBR_iteration_loop_new.o VBR_iteration_loop_new TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n2) 3 60
consumer_lame_src_VbrTag.o.GetVbrTag.o GetVbrTag 118 O(1) 0 397 1 + (0 + 1) × max(0, (0 + ... O(1) 0 30
consumer_lame_src_VbrTag.o.InitVbrTag.o InitVbrTag FAILED 740 1 + (0 + 1) × max(0, (*Tot... O(n) 1 10
consumer_lame_src_VbrTag.o.PutVbrTag.o PutVbrTag 334 O(1) 0 948 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_mad_src_audio.o.audio_output.o audio_output 66 O(1) 0 724 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_mad_src_audio.o.audio_pcm_mulaw.o audio_pcm_mulaw FAILED 3985 1 + (0 + 1) × max(0, (nsam... O(n) 1 30
consumer_mad_src_audio.o.audio_pcm_s16be.o audio_pcm_s16be FAILED 4040 1 + (0 + 1) × max(0, (nsam... O(n) 1 20
consumer_mad_src_audio.o.audio_pcm_s16le.o audio_pcm_s16le FAILED 4020 1 + (0 + 1) × max(0, (nsam... O(n) 1 20
consumer_mad_src_audio.o.audio_pcm_s24be.o audio_pcm_s24be FAILED 4037 1 + (0 + 1) × max(0, (nsam... O(n) 1 30
consumer_mad_src_audio.o.audio_pcm_s24le.o audio_pcm_s24le FAILED 4025 1 + (0 + 1) × max(0, (nsam... O(n) 1 20
consumer_mad_src_audio.o.audio_pcm_s32be.o audio_pcm_s32be FAILED 4027 1 + (0 + 1) × max(0, (nsam... O(n) 1 30
consumer_mad_src_audio.o.audio_pcm_s32le.o audio_pcm_s32le FAILED 4042 1 + (0 + 1) × max(0, (nsam... O(n) 1 30
consumer_mad_src_audio.o.audio_pcm_s8.o audio_pcm_s8 FAILED 4010 1 + (0 + 1) × max(0, (nsam... O(n) 1 20
consumer_mad_src_audio.o.audio_pcm_u8.o audio_pcm_u8 FAILED 4026 1 + (0 + 1) × max(0, (nsam... O(n) 1 20
consumer_mad_src_audio.o.linear2mulaw.o linear2mulaw FAILED 228 FAILED 10
consumer_mad_src_audio_aiff.o.float80.o float80 FAILED 285 1 + (0 + 1) × max(0, (1 + ... O(n) 1 20
consumer_mad_src_audio_esd.o.output.o output FAILED 618 FAILED 10
consumer_mad_src_audio_null.o.update_stats.o update_stats FAILED 308 1 + (0 + 1) × max(0, (nsam... O(n) 1 500
consumer_mad_src_audio_oss.o.output.o output FAILED 616 FAILED 10
consumer_mad_src_bit.o.mad_bit_crc.o mad_bit_crc FAILED 1027 1 + (0 + 1) × max(0, (len ... O(n) 1 60
consumer_mad_src_bit.o.mad_bit_read.o mad_bit_read FAILED 263 1 + (0 + 1) × max(0, (-7 +... O(n) 3 20
consumer_mad_src_compat.o.id3_compat_fixup.o id3_compat_fixup FAILED 6422 FAILED 60
consumer_mad_src_compat.o.id3_compat_lookup.o id3_compat_lookup FAILED 316 FAILED 20
consumer_mad_src_compat.o.translate_TCON.o translate_TCON FAILED 1638 FAILED 20
consumer_mad_src_crc.o.id3_crc_calculate.o id3_crc_calculate max([1*B+3,10]) O(n) 1 366 1 + (0 + 1) × max(0, (leng... O(n) 1 10
consumer_mad_src_decoder.o.mad_decoder_finish.o mad_decoder_finish FAILED 361 FAILED 10
consumer_mad_src_decoder.o.receive.o receive FAILED 1273 FAILED 10
consumer_mad_src_decoder.o.receive_io.o receive_io FAILED 1619 FAILED 10
consumer_mad_src_decoder.o.run_sync.o run_sync TIMEOUT FAILED 1210
consumer_mad_src_decoder.o.send_io.o send_io FAILED 2011 FAILED 10
consumer_mad_src_equalizer.o.equalizer_filter.o equalizer_filter 1413 O(1) 0 1100 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40
consumer_mad_src_equalizer.o.equalizer_init.o equalizer_init 35 O(1) 0 230 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
consumer_mad_src_field.o.id3_field_finish.o id3_field_finish FAILED 437 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_mad_src_field.o.id3_field_parse.o id3_field_parse FAILED 1970 FAILED 10
consumer_mad_src_field.o.id3_field_render.o id3_field_render FAILED 2333 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_mad_src_field.o.id3_field_setlatin1.o id3_field_setlatin1 FAILED 229 FAILED 10
consumer_mad_src_field.o.id3_field_setstring.o id3_field_setstring FAILED 227 FAILED 500
consumer_mad_src_field.o.id3_field_setstrings.o id3_field_setstrings max([6*E+7,3*E+7,13]) O(n) 1 1028 1 + (0 + 1) × max(0, (leng... O(n) 1 30
consumer_mad_src_file.o.add_tag.o add_tag FAILED 549 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_mad_src_file.o.finish_file.o finish_file FAILED 283 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_mad_src_file.o.search_tags.o search_tags FAILED 11870 FAILED 20
consumer_mad_src_file.o.update_primary.o update_primary FAILED 281 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_mad_src_filter.o.fadein_filter.o fadein_filter TIMEOUT FAILED 60
consumer_mad_src_filter.o.filter_free.o filter_free FAILED 220 FAILED 10
consumer_mad_src_filter.o.filter_run.o filter_run FAILED 221 FAILED 10
consumer_mad_src_filter.o.mono_filter.o mono_filter 618 O(1) 0 466 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40
consumer_mad_src_frame.o.id3_frame_delete.o id3_frame_delete FAILED 260 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_mad_src_frame.o.id3_frame_new.o id3_frame_new FAILED 392 FAILED 40
consumer_mad_src_frame.o.parse_data.o parse_data FAILED 335 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
consumer_mad_src_frame.o.render_data.o render_data max([3*C+3,6]) O(n) 1 294 1 + (0 + 1) × max(0, (leng... O(n) 1 10
consumer_mad_src_frame2.o.free_bitrate.o free_bitrate FAILED 558 FAILED 40
consumer_mad_src_frame2.o.mad_frame_mute.o mad_frame_mute max([-34*B+1841,1841]) O(n) 1 782 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_mad_src_frame2.o.mad_header_decode.o mad_header_decode FAILED 22515 FAILED 440
consumer_mad_src_frametype.o.id3_frametype_lookup.o id3_frametype_lookup FAILED 316 FAILED 10
consumer_mad_src_genre.o.id3_genre_name.o id3_genre_name FAILED 225 FAILED 20
consumer_mad_src_latin1.o.id3_latin1_copy.o id3_latin1_copy FAILED 214 FAILED 10
consumer_mad_src_latin1.o.id3_latin1_decode.o id3_latin1_decode FAILED 215 FAILED 10
consumer_mad_src_latin1.o.id3_latin1_deserialize.o id3_latin1_deserialize FAILED 444 FAILED 10
consumer_mad_src_latin1.o.id3_latin1_encode.o id3_latin1_encode FAILED 223 FAILED 500
consumer_mad_src_latin1.o.id3_latin1_length.o id3_latin1_length FAILED 214 FAILED 10
consumer_mad_src_latin1.o.id3_latin1_serialize.o id3_latin1_serialize FAILED 293 FAILED 500
consumer_mad_src_layer12.o.II_samples.o II_samples 17 O(1) 0 2421 1 + (0 + 1) × max(0, (0 + ... O(1) 0 30
consumer_mad_src_layer12.o.mad_layer_I.o mad_layer_I TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(n) 3 490
consumer_mad_src_layer12.o.mad_layer_II.o mad_layer_II TIMEOUT FAILED 17760
consumer_mad_src_layer3.o.III_aliasreduce.o III_aliasreduce FAILED 315 1 + (0 + 1) × max(0, (line... O(n) 2 10
consumer_mad_src_layer3.o.III_decode.o III_decode TIMEOUT FAILED 440
consumer_mad_src_layer3.o.III_exponents.o III_exponents FAILED 685 FAILED 40
consumer_mad_src_layer3.o.III_freqinver.o III_freqinver 15 O(1) 0 245 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
consumer_mad_src_layer3.o.III_huffdecode.o III_huffdecode TIMEOUT FAILED 2040
consumer_mad_src_layer3.o.III_imdct_l.o III_imdct_l 42 O(1) 0 1696 1 + (0 + 1) × max(0, (0 + ... O(1) 0 50
consumer_mad_src_layer3.o.III_imdct_s.o III_imdct_s 25 O(1) 0 437 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_mad_src_layer3.o.III_overlap.o III_overlap 21 O(1) 0 241 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_mad_src_layer3.o.III_overlap_z.o III_overlap_z 21 O(1) 0 243 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
consumer_mad_src_layer3.o.III_reorder.o III_reorder FAILED 1014 FAILED 40
consumer_mad_src_layer3.o.III_scalefactors.o III_scalefactors 118 O(1) 0 9244 1 + (0 + 1) × max(0, (0 + ... O(1) 0 430
consumer_mad_src_layer3.o.III_scalefactors_lsf.o III_scalefactors_lsf FAILED 9788 FAILED 620
consumer_mad_src_layer3.o.III_sideinfo.o III_sideinfo max([77*L+14,3*L+40,39,37*L... O(n) 1 6852 1 + (0 + 1) × max(0, (nch ... O(n) 1 40
consumer_mad_src_layer3.o.III_stereo.o III_stereo TIMEOUT FAILED 1230
consumer_mad_src_madplay.o.get_options.o get_options FAILED 594 FAILED 130
consumer_mad_src_madplay.o.parse_decibels.o parse_decibels FAILED 270 FAILED 20
consumer_mad_src_madplay.o.parse_time.o parse_time TIMEOUT FAILED 170
consumer_mad_src_parse.o.id3_parse_latin1.o id3_parse_latin1 FAILED 402 FAILED 500
consumer_mad_src_parse.o.id3_parse_string.o id3_parse_string FAILED 437 FAILED 10
consumer_mad_src_player.o.decode_input_read.o decode_input_read FAILED 841 FAILED 10
consumer_mad_src_player.o.get_id3.o get_id3 FAILED 2038 FAILED 10
consumer_mad_src_player.o.message.o message FAILED 618 FAILED 20
consumer_mad_src_player.o.play_all.o play_all TIMEOUT FAILED 210
consumer_mad_src_player.o.readkey.o readkey FAILED 1869 FAILED 500
consumer_mad_src_player.o.setup_filters.o setup_filters 50 O(1) 0 352 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_mad_src_player.o.show_id3.o show_id3 TIMEOUT FAILED 260
consumer_mad_src_player.o.silence.o silence FAILED 6790 FAILED 10
consumer_mad_src_player.o.tty_filter.o tty_filter FAILED 7470 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_mad_src_render.o.id3_render_paddedstring.o id3_render_paddedstring FAILED 694 1 + (0 + 1) × max(0, (leng... O(n) 1 30
consumer_mad_src_resample.o.resample_block.o resample_block FAILED 3292 FAILED 20
consumer_mad_src_stream.o.mad_stream_sync.o mad_stream_sync FAILED 230 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
consumer_mad_src_synth.o.mad_synth_mute.o mad_synth_mute 327 O(1) 0 536 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_mad_src_synth.o.synth_full.o synth_full max([19*D+2,40,2*C+3,max([2... O(n2) 2 5740 1 + (0 + 1) × max(0, (nch ... O(n2) 2 20
consumer_mad_src_synth.o.synth_half.o synth_half max([34*D+2,70,2*C+3,max([3... O(n2) 2 5797 1 + (0 + 1) × max(0, (nch ... O(n2) 2 20
consumer_mad_src_tag.o.id3_tag_clearframes.o id3_tag_clearframes FAILED 239 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
consumer_mad_src_tag.o.id3_tag_detachframe.o id3_tag_detachframe FAILED 525 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_mad_src_tag.o.id3_tag_findframe.o id3_tag_findframe FAILED 752 1 + (0 + 1) × max(0, (Sele... O(n) 2 40
consumer_mad_src_tag.o.id3_tag_render.o id3_tag_render TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_mad_src_tag.o.trim.o trim FAILED 218 1 + (0 + 1) × max(0, (strl... O(n) 2 10
consumer_mad_src_tag.o.v1_render.o v1_render 150 O(1) 0 824 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_mad_src_tag.o.v2_parse.o v2_parse TIMEOUT FAILED 1400
consumer_mad_src_timer.o.gcd.o gcd FAILED 664 FAILED 10
consumer_mad_src_timer.o.mad_timer_multiply.o mad_timer_multiply FAILED 680 1 + (0 + 1) × max(0, (1 + ... O(n) 1 20
consumer_mad_src_ucs4.o.id3_ucs4_copy.o id3_ucs4_copy FAILED 214 FAILED 500
consumer_mad_src_ucs4.o.id3_ucs4_getnumber.o id3_ucs4_getnumber FAILED 220 FAILED 500
consumer_mad_src_ucs4.o.id3_ucs4_length.o id3_ucs4_length FAILED 215 FAILED 10
consumer_mad_src_ucs4.o.id3_ucs4_putnumber.o id3_ucs4_putnumber FAILED 423 FAILED 20
consumer_mad_src_ucs4.o.id3_ucs4_utf16size.o id3_ucs4_utf16size FAILED 216 FAILED 500
consumer_mad_src_ucs4.o.id3_ucs4_utf8size.o id3_ucs4_utf8size FAILED 214 FAILED 500
consumer_mad_src_utf16.o.id3_utf16_decode.o id3_utf16_decode FAILED 216 FAILED 500
consumer_mad_src_utf16.o.id3_utf16_decodechar.o id3_utf16_decodechar FAILED 224 FAILED 20
consumer_mad_src_utf16.o.id3_utf16_deserialize.o id3_utf16_deserialize FAILED 1573 FAILED 30
consumer_mad_src_utf16.o.id3_utf16_encode.o id3_utf16_encode FAILED 224 FAILED 10
consumer_mad_src_utf16.o.id3_utf16_length.o id3_utf16_length FAILED 221 FAILED 50
consumer_mad_src_utf16.o.id3_utf16_serialize.o id3_utf16_serialize FAILED 457 FAILED 500
consumer_mad_src_utf16.o.id3_utf16_size.o id3_utf16_size FAILED 216 FAILED 500
consumer_mad_src_utf8.o.id3_utf8_decode.o id3_utf8_decode FAILED 218 FAILED 10
consumer_mad_src_utf8.o.id3_utf8_decodechar.o id3_utf8_decodechar FAILED 276 FAILED 360
consumer_mad_src_utf8.o.id3_utf8_deserialize.o id3_utf8_deserialize FAILED 445 FAILED 500
consumer_mad_src_utf8.o.id3_utf8_encode.o id3_utf8_encode FAILED 223 FAILED 10
consumer_mad_src_utf8.o.id3_utf8_length.o id3_utf8_length FAILED 235 FAILED 1310
consumer_mad_src_utf8.o.id3_utf8_serialize.o id3_utf8_serialize FAILED 1025 FAILED 500
consumer_mad_src_utf8.o.id3_utf8_size.o id3_utf8_size FAILED 215 FAILED 500
consumer_mad_src_util.o.id3_util_deunsynchronise.o id3_util_deunsynchronise FAILED 228 1 + (0 + 1) × max(0, (leng... O(n) 2 20
consumer_mad_src_util.o.id3_util_unsynchronise.o id3_util_unsynchronise FAILED 851 FAILED 50
consumer_mad_src_xing.o.xing_parse.o xing_parse 317 O(1) 0 602 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_tiff2bw_src_tif_aux.o.TIFFDefaultRefBlackWhite.o TIFFDefaultRefBlackWhite 8 O(1) 0 232 1 + (0 + 1) × max(0, (0 + 3)) O(1) 0 10
consumer_tiff2bw_src_tif_aux.o.TIFFDefaultTransferFunction.o TIFFDefaultTransferFunction FAILED 737 1 + (0 + 1) × max(0, (-1 +... O(n) 2 500
consumer_tiff2bw_src_tif_compress.o.TIFFFindCODEC.o TIFFFindCODEC FAILED 257 FAILED 10
consumer_tiff2bw_src_tif_compress.o.TIFFUnRegisterCODEC.o TIFFUnRegisterCODEC FAILED 218 FAILED 10
consumer_tiff2bw_src_tif_dir.o._TIFFVSetField.o _TIFFVSetField FAILED 7847 1 + (0 + 1) × max(0, (*v_1... O(n) 1 10
consumer_tiff2bw_src_tif_dir.o.checkInkNamesString.o checkInkNamesString FAILED 732 1 + (0 + 1) × max(0, (Sele... O(n) 5 30
consumer_tiff2bw_src_tif_dir.o.setExtraSamples.o setExtraSamples FAILED 392 1 + (0 + 1) × max(0, (*v +... O(n) 1 30
consumer_tiff2bw_src_tif_dir.o.TIFFNumberOfDirectories.o TIFFNumberOfDirectories FAILED 225 FAILED 500
consumer_tiff2bw_src_tif_dir.o.TIFFReassignTagToIgnore.o TIFFReassignTagToIgnore max([1*A+4,4]) O(n) 1 956 1 + (0 + 1) × max(0, (*TIF... O(n) 1 10
consumer_tiff2bw_src_tif_dir.o.TIFFSetDirectory.o TIFFSetDirectory max([3*A+7,9]) O(n) 1 393 1 + (0 + 1) × max(0, (dirn... O(n) 1 10
consumer_tiff2bw_src_tif_dir.o.TIFFUnlinkDirectory.o TIFFUnlinkDirectory max([3*B+18,23]) O(n) 1 759 1 + (0 + 1) × max(0, (dirn... O(n) 1 10
consumer_tiff2bw_src_tif_dirinfo.o._TIFFFindFieldInfo.o _TIFFFindFieldInfo FAILED 426 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_tiff2bw_src_tif_dirinfo.o._TIFFMergeFieldInfo.o _TIFFMergeFieldInfo max([1*E+9,9]) O(n) 1 568 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 20
consumer_tiff2bw_src_tif_dirinfo.o._TIFFPrintFieldInfo.o _TIFFPrintFieldInfo FAILED 310 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
consumer_tiff2bw_src_tif_dirread.o.ChopUpSingleUncompressedStrip.o ChopUpSingleUncompressedStrip FAILED 6299 1 + (0 + 1) × max(0, (max(... O(n2) 4 20
consumer_tiff2bw_src_tif_dirread.o.EstimateStripByteCounts.o EstimateStripByteCounts FAILED 5986 1 + (0 + 1) × max(0, (dirc... O(n) 4 40
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchAnyArray.o TIFFFetchAnyArray FAILED 2257 1 + (0 + 1) × max(0, (Sele... O(n) 2 100
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchPerSampleAnys.o TIFFFetchPerSampleAnys FAILED 892 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchPerSampleShorts.o TIFFFetchPerSampleShorts FAILED 887 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchRationalArray.o TIFFFetchRationalArray FAILED 379 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchRefBlackWhite.o TIFFFetchRefBlackWhite FAILED 483 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
consumer_tiff2bw_src_tif_dirread.o.TIFFFetchStripThing.o TIFFFetchStripThing max([1*E+16,16]) O(n) 1 632 1 + (0 + 1) × max(0, (nstr... O(n) 1 20
consumer_tiff2bw_src_tif_dirread.o.TIFFReadDirectory.o TIFFReadDirectory TIMEOUT FAILED 1400
consumer_tiff2bw_src_tif_dirwrite.o.TIFFLinkDirectory.o TIFFLinkDirectory FAILED 2259 FAILED 10
consumer_tiff2bw_src_tif_dirwrite.o.TIFFWriteAnyArray.o TIFFWriteAnyArray max([1*I+13,13]) O(n) 1 4706 1 + (0 + 1) × max(0, (n + ... O(n) 1 70
consumer_tiff2bw_src_tif_dirwrite.o.TIFFWritePerSampleAnys.o TIFFWritePerSampleAnys FAILED 447 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
consumer_tiff2bw_src_tif_dirwrite.o.TIFFWritePerSampleShorts.o TIFFWritePerSampleShorts FAILED 412 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
consumer_tiff2bw_src_tif_dirwrite.o.TIFFWriteRationalArray.o TIFFWriteRationalArray FAILED 1101 FAILED 30
consumer_tiff2bw_src_tif_dirwrite.o.TIFFWriteShortTable.o TIFFWriteShortTable max([3*B+4,6]) O(n) 1 339 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500
consumer_tiff2bw_src_tif_dumpmode.o.DumpModeEncode.o DumpModeEncode FAILED 978 FAILED 20
consumer_tiff2bw_src_tif_fax3.o._TIFFFax3fillruns.o _TIFFFax3fillruns TIMEOUT FAILED 330
consumer_tiff2bw_src_tif_fax3.o.Fax3Close.o Fax3Close 26 O(1) 0 323 1 + (0 + 1) × max(0, (0 + 6)) O(1) 0 10
consumer_tiff2bw_src_tif_fax3.o.Fax3Decode1D.o Fax3Decode1D FAILED 628 TIMEOUT
consumer_tiff2bw_src_tif_fax3.o.Fax3Decode2D.o Fax3Decode2D FAILED 6545 TIMEOUT
consumer_tiff2bw_src_tif_fax3.o.Fax3DecodeRLE.o Fax3DecodeRLE FAILED 416 FAILED 31920
consumer_tiff2bw_src_tif_fax3.o.Fax3Encode.o Fax3Encode FAILED 1585 FAILED 30
consumer_tiff2bw_src_tif_fax3.o.Fax3Encode1DRow.o Fax3Encode1DRow FAILED 594 FAILED 20
consumer_tiff2bw_src_tif_fax3.o.Fax3Encode2DRow.o Fax3Encode2DRow TIMEOUT FAILED 1540
consumer_tiff2bw_src_tif_fax3.o.Fax3PutBits.o Fax3PutBits FAILED 414 1 + (0 + 1) × max(0, (0 + ... O(n) 4 20
consumer_tiff2bw_src_tif_fax3.o.Fax3PutEOL.o Fax3PutEOL FAILED 8002 1 + (0 + 1) × max(0, (0 + ... O(n) 3 160
consumer_tiff2bw_src_tif_fax3.o.Fax4Decode.o Fax4Decode FAILED 2305 TIMEOUT
consumer_tiff2bw_src_tif_fax3.o.Fax4Encode.o Fax4Encode FAILED 340 FAILED 10
consumer_tiff2bw_src_tif_fax3.o.find0span.o find0span FAILED 4644 FAILED 280
consumer_tiff2bw_src_tif_fax3.o.find1span.o find1span FAILED 4639 FAILED 290
consumer_tiff2bw_src_tif_fax3.o.putspan.o putspan FAILED 46747 FAILED 100
consumer_tiff2bw_src_tif_getimage.o.checkcmap.o checkcmap FAILED 266 1 + (0 + 1) × max(0, (0 + ... O(n) 2 10
consumer_tiff2bw_src_tif_getimage.o.cvtcmap.o cvtcmap FAILED 226 1 + (0 + 1) × max(0, (0 + ... O(n) 2 500
consumer_tiff2bw_src_tif_getimage.o.gtStripContig.o gtStripContig FAILED 711 FAILED 30
consumer_tiff2bw_src_tif_getimage.o.gtStripSeparate.o gtStripSeparate FAILED 3101 FAILED 1510
consumer_tiff2bw_src_tif_getimage.o.gtTileContig.o gtTileContig FAILED 1313 FAILED 30
consumer_tiff2bw_src_tif_getimage.o.gtTileSeparate.o gtTileSeparate FAILED 5403 FAILED 790
consumer_tiff2bw_src_tif_getimage.o.makebwmap.o makebwmap 774 O(1) 0 348 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
consumer_tiff2bw_src_tif_getimage.o.makecmap.o makecmap 774 O(1) 0 349 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
consumer_tiff2bw_src_tif_getimage.o.put1bitbwtile.o put1bitbwtile max([9*E+3,1*G+ -4,3,max([1... O(n2) 2 3546 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.put1bitcmaptile.o put1bitcmaptile max([9*E+3,1*G+ -4,3,max([1... O(n2) 2 3498 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20
consumer_tiff2bw_src_tif_getimage.o.put2bitbwtile.o put2bitbwtile max([5*E+3,1*G,3,max([1*G* ... O(n2) 2 2190 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.put2bitcmaptile.o put2bitcmaptile max([5*E+3,1*G,3,max([1*G* ... O(n2) 2 2175 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.put4bitbwtile.o put4bitbwtile max([3*E+3,3,1*G+2, (1*G+2)... O(n2) 2 1173 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.put4bitcmaptile.o put4bitcmaptile max([3*E+3,3,1*G+2, (1*G+2)... O(n2) 2 1180 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20
consumer_tiff2bw_src_tif_getimage.o.put8bitcmaptile.o put8bitcmaptile max([9*E+3,1*G+ -4,3,max([1... O(n2) 2 3204 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr11tile.o putcontig8bitYCbCr11tile FAILED 1482 1 + (0 + 1) × max(0, (h + 1)) O(n) 1 20
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr21tile.o putcontig8bitYCbCr21tile FAILED 1502 1 + (0 + 1) × max(0, (h + 1)) O(n) 1 20
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr22tile.o putcontig8bitYCbCr22tile FAILED 1092 1 + (0 + 1) × max(0, (h + ... O(n) 1 20
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr41tile.o putcontig8bitYCbCr41tile FAILED 1477 1 + (0 + 1) × max(0, (h + 1)) O(n) 1 20
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr42tile.o putcontig8bitYCbCr42tile FAILED 1091 1 + (0 + 1) × max(0, (h + ... O(n) 1 20
consumer_tiff2bw_src_tif_getimage.o.putcontig8bitYCbCr44tile.o putcontig8bitYCbCr44tile FAILED 1090 1 + (0 + 1) × max(0, (h + ... O(n) 1 20
consumer_tiff2bw_src_tif_getimage.o.putgreytile.o putgreytile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 874 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.putRGBAAcontig16bittile.o putRGBAAcontig16bittile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 875 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.putRGBAAcontig8bittile.o putRGBAAcontig8bittile max([9*E+3,1*G+ -4,3,max([1... O(n2) 2 3190 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.putRGBAAseparate16bittile.o putRGBAAseparate16bittile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 893 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.putRGBAAseparate8bittile.o putRGBAAseparate8bittile max([9*E+3,1*G+ -4,3,max([1... O(n2) 2 3212 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.putRGBcontig16bittile.o putRGBcontig16bittile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 871 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.putRGBcontig8bitCMYKMaptile.o putRGBcontig8bitCMYKMaptile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 910 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.putRGBcontig8bitMaptile.o putRGBcontig8bitMaptile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 873 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20
consumer_tiff2bw_src_tif_getimage.o.putRGBcontig8bittile.o putRGBcontig8bittile max([9*E+3,1*G+ -4,3,max([1... O(n2) 2 3212 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.putRGBseparate16bittile.o putRGBseparate16bittile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 893 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20
consumer_tiff2bw_src_tif_getimage.o.putRGBseparate8bitMaptile.o putRGBseparate8bitMaptile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 872 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.putRGBseparate8bittile.o putRGBseparate8bittile max([9*E+3,1*G+ -4,3,max([1... O(n2) 2 3186 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20
consumer_tiff2bw_src_tif_getimage.o.putRGBUAcontig16bittile.o putRGBUAcontig16bittile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 909 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20
consumer_tiff2bw_src_tif_getimage.o.putRGBUAcontig8bittile.o putRGBUAcontig8bittile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 906 1 + (0 + 1) × max(0, (h + ... O(n2) 2 20
consumer_tiff2bw_src_tif_getimage.o.putRGBUAseparate16bittile.o putRGBUAseparate16bittile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 909 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.putRGBUAseparate8bittile.o putRGBUAseparate8bittile max([2*E+3,3,1*G+2, (1*G+2)... O(n2) 2 910 1 + (0 + 1) × max(0, (h + ... O(n2) 2 10
consumer_tiff2bw_src_tif_getimage.o.setupMap.o setupMap FAILED 1346 1 + (0 + 1) × max(0, (0 + ... O(n) 2 20
consumer_tiff2bw_src_tif_getimage.o.TIFFReadRGBATile.o TIFFReadRGBATile TIMEOUT 1 + (0 + 1) × max(0, (*til... O(n) 4 90
consumer_tiff2bw_src_tif_getimage.o.TIFFYCbCrToRGBInit.o TIFFYCbCrToRGBInit 522 O(1) 0 312 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
consumer_tiff2bw_src_tif_luv.o.L16fromY.o L16fromY max([3*C+3,3]) O(n) 1 266 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_tiff2bw_src_tif_luv.o.L16toGry.o L16toGry max([6*D+3,3]) O(n) 1 322 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_tiff2bw_src_tif_luv.o.L16toY.o L16toY max([3*D+3,3]) O(n) 1 278 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_tiff2bw_src_tif_luv.o.LogL16Decode.o LogL16Decode TIMEOUT FAILED 60
consumer_tiff2bw_src_tif_luv.o.LogL16Encode.o LogL16Encode TIMEOUT FAILED 1290
consumer_tiff2bw_src_tif_luv.o.LogLuvDecode24.o LogLuvDecode24 max([3*G+2,-3*G+2,9,nat(min... O(n) 1 2047 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
consumer_tiff2bw_src_tif_luv.o.LogLuvDecode32.o LogLuvDecode32 TIMEOUT FAILED 60
consumer_tiff2bw_src_tif_luv.o.LogLuvEncode24.o LogLuvEncode24 FAILED 1205 FAILED 20
consumer_tiff2bw_src_tif_luv.o.LogLuvEncode32.o LogLuvEncode32 TIMEOUT FAILED 1290
consumer_tiff2bw_src_tif_luv.o.Luv24fromLuv48.o Luv24fromLuv48 max([7*C+3,3]) O(n) 1 303 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv24fromXYZ.o Luv24fromXYZ max([3*C+3,3]) O(n) 1 267 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_tiff2bw_src_tif_luv.o.Luv24toLuv48.o Luv24toLuv48 max([4*D+3,3]) O(n) 1 280 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_tiff2bw_src_tif_luv.o.Luv24toRGB.o Luv24toRGB max([4*D+3,3]) O(n) 1 281 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_tiff2bw_src_tif_luv.o.Luv24toXYZ.o Luv24toXYZ max([3*D+3,3]) O(n) 1 278 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_tiff2bw_src_tif_luv.o.Luv32fromLuv48.o Luv32fromLuv48 max([1*B+3,3]) O(n) 1 249 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_tiff2bw_src_tif_luv.o.Luv32fromXYZ.o Luv32fromXYZ max([3*C+3,3]) O(n) 1 267 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv32toLuv48.o Luv32toLuv48 max([1*B+3,3]) O(n) 1 249 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500
consumer_tiff2bw_src_tif_luv.o.Luv32toRGB.o Luv32toRGB max([4*D+3,3]) O(n) 1 280 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_tiff2bw_src_tif_luv.o.Luv32toXYZ.o Luv32toXYZ max([3*D+3,3]) O(n) 1 278 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_tiff2bw_src_tif_luv.o.uv_decode.o uv_decode FAILED 484 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40
consumer_tiff2bw_src_tif_lzw.o.LZWDecode.o LZWDecode TIMEOUT FAILED 1650
consumer_tiff2bw_src_tif_lzw.o.LZWDecodeCompat.o LZWDecodeCompat FAILED 40657 FAILED 4010
consumer_tiff2bw_src_tif_lzw.o.LZWSetupDecode.o LZWSetupDecode 262 O(1) 0 259 0 + 1 O(1) 0 10
consumer_tiff2bw_src_tif_next.o.NeXTDecode.o NeXTDecode FAILED 2120 FAILED 50
consumer_tiff2bw_src_tif_open.o.TIFFClientOpen.o TIFFClientOpen FAILED 5970 FAILED 10
consumer_tiff2bw_src_tif_packbits.o.PackBitsDecode.o PackBitsDecode FAILED 1115 FAILED 90
consumer_tiff2bw_src_tif_packbits.o.PackBitsEncode.o PackBitsEncode TIMEOUT FAILED 5830
consumer_tiff2bw_src_tif_packbits.o.PackBitsEncodeChunk.o PackBitsEncodeChunk FAILED 344 FAILED 10
consumer_tiff2bw_src_tif_predict.o.horAcc16.o horAcc16 FAILED 2146 FAILED 50
consumer_tiff2bw_src_tif_predict.o.horAcc8.o horAcc8 FAILED 4093 FAILED 80
consumer_tiff2bw_src_tif_predict.o.horDiff16.o horDiff16 FAILED 2300 FAILED 60
consumer_tiff2bw_src_tif_predict.o.horDiff8.o horDiff8 FAILED 4162 FAILED 80
consumer_tiff2bw_src_tif_predict.o.swabHorAcc16.o swabHorAcc16 FAILED 3441 FAILED 50
consumer_tiff2bw_src_tif_print.o._TIFFprintAscii.o _TIFFprintAscii FAILED 419 FAILED 20
consumer_tiff2bw_src_tif_swab.o.TIFFReverseBits.o TIFFReverseBits max([1*C+4,4]) O(n) 1 369 1 + (0 + 1) × max(0, (n + ... O(n) 1 10
consumer_tiff2bw_src_tif_swab.o.TIFFSwabArrayOfDouble.o TIFFSwabArrayOfDouble max([1*C+5,5]) O(n) 1 281 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500
consumer_tiff2bw_src_tif_swab.o.TIFFSwabArrayOfLong.o TIFFSwabArrayOfLong max([1*B+3,3]) O(n) 1 250 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500
consumer_tiff2bw_src_tif_swab.o.TIFFSwabArrayOfShort.o TIFFSwabArrayOfShort max([1*B+3,3]) O(n) 1 249 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500
consumer_tiff2bw_src_tif_thunder.o.ThunderDecode.o ThunderDecode FAILED 7749 FAILED 70
consumer_tiff2bw_src_tif_thunder.o.ThunderDecodeRow.o ThunderDecodeRow FAILED 313 FAILED 500
consumer_tiff2bw_src_tiff2bw.o.checkcmap.o checkcmap max([1*B+7,7]) O(n) 1 354 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500
consumer_tiff2bw_src_tiff2bw.o.compresscontig.o compresscontig max([1*E+3,3]) O(n) 1 300 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
consumer_tiff2bw_src_tiff2bw.o.compresspalette.o compresspalette max([1*E+3,3]) O(n) 1 295 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500
consumer_tiff2bw_src_tiff2bw.o.compresssep.o compresssep max([1*E+3,3]) O(n) 1 300 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500
consumer_tiff2bw_src_tiff2bw.o.cpTags.o cpTags FAILED 240 1 + (0 + 1) × max(0, (tags... O(n) 1 500
consumer_tiff2bw_src_tiff2bw.o.main1.o main1 TIMEOUT FAILED 780
consumer_tiff2bw_src_tiff2bw.o.usage.o usage FAILED 219 FAILED 10
consumer_tiff2bw_src_tiff2rgba_tiff2rgba.o.cvt_by_strip.o cvt_by_strip TIMEOUT FAILED 30
consumer_tiff2bw_src_tiff2rgba_tiff2rgba.o.cvt_by_tile.o cvt_by_tile FAILED 20871 FAILED 50
consumer_tiff2bw_src_tiff2rgba_tiff2rgba.o.cvt_whole_image.o cvt_whole_image TIMEOUT FAILED 30
consumer_tiff2bw_src_tiff2rgba_tiff2rgba.o.main1.o main1 FAILED 12007 FAILED 20
consumer_tiff2bw_src_tiff2rgba_tiff2rgba.o.usage.o usage FAILED 217 FAILED 500
consumer_tiff2bw_src_tiffdither_tiffdither.o.fsdither.o fsdither TIMEOUT 1 + (0 + 1) × max(0, (*ima... O(n2) 2 20
consumer_tiff2bw_src_tiffdither_tiffdither.o.main1.o main1 TIMEOUT FAILED 500
consumer_tiff2bw_src_tiffdither_tiffdither.o.processG3Options.o processG3Options FAILED 305 FAILED 20
consumer_tiff2bw_src_tiffdither_tiffdither.o.usage.o usage FAILED 218 FAILED 10
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.create_colorcell.o create_colorcell FAILED 4155 FAILED 60
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.get_histogram.o get_histogram FAILED 6079 1 + (0 + 1) × max(0, (*ima... O(n2) 2 20
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.largest_box.o largest_box FAILED 219 FAILED 500
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.main1.o main1 TIMEOUT FAILED 150
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.map_colortable.o map_colortable FAILED 5847 FAILED 40
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.quant.o quant FAILED 1761 1 + (0 + 1) × max(0, (*ima... O(n2) 2 10
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.quant_fsdither.o quant_fsdither TIMEOUT FAILED 840
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.shrinkbox.o shrinkbox TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n3) 7 3350
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.splitbox.o splitbox FAILED 32956 1 + (0 + 1) × max(0, (0 + ... O(n3) 7 1180
consumer_tiff2bw_src_tiffmedian_tiffmedian.o.usage.o usage FAILED 222 FAILED 500
network_dijkstra_src_dijkstra_large.o.dijkstra.o dijkstra FAILED 3000 FAILED 20
network_dijkstra_src_dijkstra_large.o.enqueue.o enqueue FAILED 287 FAILED 10
network_dijkstra_src_dijkstra_large.o.main.o main FAILED 21514 1 + (0 + 1) × max(0, (*NUM... O(n2) 2 20
network_patricia_src_patricia.o.pat_insert.o pat_insert FAILED 6476 FAILED 100
network_patricia_src_patricia.o.pat_search.o pat_search FAILED 265 FAILED 20
network_patricia_src_patricia_test.o.main1.o main1 FAILED 1643 FAILED 20
office_ghostscript_src_gdevabuf.o.abuf_flush.o abuf_flush FAILED 284 FAILED 10
office_ghostscript_src_gdevddrw.o.gx_default_fill_trapezoid.o gx_default_fill_trapezoid TIMEOUT FAILED 520
office_ghostscript_src_gdevdflt.o.gx_default_copy_alpha.o gx_default_copy_alpha TIMEOUT FAILED 770
office_ghostscript_src_gdevdflt.o.gx_default_copy_color.o gx_default_copy_color TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 410
office_ghostscript_src_gdevdflt.o.gx_default_fill_mask.o gx_default_fill_mask TIMEOUT FAILED 1930
office_ghostscript_src_gdevdflt.o.gx_default_strip_tile_rectangle.o gx_default_strip_tile_rectangle TIMEOUT FAILED 980
office_ghostscript_src_gdevm1.o.mem_mono_copy_mono.o mem_mono_copy_mono TIMEOUT FAILED 1320
office_ghostscript_src_gdevm1.o.mem_mono_strip_tile_rectangle.o mem_mono_strip_tile_rectangle TIMEOUT FAILED 860
office_ghostscript_src_gdevm16.o.mem_true16_copy_mono.o mem_true16_copy_mono FAILED 4626 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 210
office_ghostscript_src_gdevm16.o.mem_true16_fill_rectangle.o mem_true16_fill_rectangle FAILED 2985 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 160
office_ghostscript_src_gdevm2.o.mem_mapped2_copy_mono.o mem_mapped2_copy_mono FAILED 6224 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 290
office_ghostscript_src_gdevm24.o.mem_true24_copy_alpha.o mem_true24_copy_alpha FAILED 8033 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 210
office_ghostscript_src_gdevm24.o.mem_true24_copy_mono.o mem_true24_copy_mono FAILED 612 FAILED 290
office_ghostscript_src_gdevm24.o.mem_true24_fill_rectangle.o mem_true24_fill_rectangle TIMEOUT FAILED 760
office_ghostscript_src_gdevm32.o.mem_true32_copy_mono.o mem_true32_copy_mono FAILED 4593 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 210
office_ghostscript_src_gdevm32.o.mem_true32_fill_rectangle.o mem_true32_fill_rectangle FAILED 39359 1 + (0 + 1) × max(0, (-1 +... O(n2) 7 1150
office_ghostscript_src_gdevm4.o.mem_mapped4_copy_mono.o mem_mapped4_copy_mono FAILED 4587 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 200
office_ghostscript_src_gdevm8.o.mapped8_copy01.o mapped8_copy01 max([3*H+3,4,2*J, (2*J+1)* ... O(n2) 2 987 1 + (0 + 1) × max(0, (h + ... O(n2) 2 50
office_ghostscript_src_gdevm8.o.mapped8_copy0N.o mapped8_copy0N max([4*G+3,5,3*I+ -1, (3*I+... O(n2) 2 908 1 + (0 + 1) × max(0, (h + ... O(n2) 2 50
office_ghostscript_src_gdevm8.o.mapped8_copyN1.o mapped8_copyN1 max([4*G+3,5,3*I+ -1, (3*I+... O(n2) 2 903 1 + (0 + 1) × max(0, (h + ... O(n2) 2 50
office_ghostscript_src_gdevmem.o.gdev_mem_max_height.o gdev_mem_max_height FAILED 378 FAILED 10
office_ghostscript_src_gdevmem.o.mem_mapped_map_rgb_color.o mem_mapped_map_rgb_color FAILED 282 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_gdevmem.o.mem_set_line_ptrs.o mem_set_line_ptrs FAILED 216 1 + (0 + 1) × max(0, (line... O(n) 3 10
office_ghostscript_src_gdevmrop.o.mem_gray8_rgb24_strip_copy_rop.o mem_gray8_rgb24_strip_copy_rop TIMEOUT FAILED 2360
office_ghostscript_src_gdevmrop.o.mem_mono_strip_copy_rop.o mem_mono_strip_copy_rop TIMEOUT FAILED 17090
office_ghostscript_src_gdevpbm.o.pbm_print_page_loop.o pbm_print_page_loop FAILED 1285 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gdevpbm.o.pbm_print_row.o pbm_print_row FAILED 417 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gdevpbm.o.pgm_print_row.o pgm_print_row FAILED 599 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
office_ghostscript_src_gdevpbm.o.pkm_print_row.o pkm_print_row TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
office_ghostscript_src_gdevpbm.o.ppgm_print_row.o ppgm_print_row FAILED 3082 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
office_ghostscript_src_gdevpbm.o.pxm_pbm_print_row.o pxm_pbm_print_row FAILED 388 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gdevpdf.o.dash_pattern_eq.o dash_pattern_eq FAILED 317 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gdevpdf.o.pdf_close.o pdf_close TIMEOUT FAILED 210
office_ghostscript_src_gdevpdf.o.pdf_close_page.o pdf_close_page TIMEOUT FAILED 80
office_ghostscript_src_gdevpdf.o.pdf_find_resource_by_gs_id.o pdf_find_resource_by_gs_id FAILED 263 FAILED 10
office_ghostscript_src_gdevpdf.o.pdf_page_id.o pdf_page_id FAILED 270 FAILED 20
office_ghostscript_src_gdevpdf.o.pdf_put_clip_path.o pdf_put_clip_path FAILED 298 FAILED 20
office_ghostscript_src_gdevpdf.o.pdf_put_path.o pdf_put_path FAILED 1298 FAILED 30
office_ghostscript_src_gdevpdf.o.pdf_reset_page.o pdf_reset_page 12 O(1) 0 251 1 + (0 + 1) × max(0, (0 + 5)) O(1) 0 10
office_ghostscript_src_gdevpdf.o.pdf_stroke_path.o pdf_stroke_path TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n) 4 160
office_ghostscript_src_gdevpdfi.o.gdev_pdf_copy_color.o gdev_pdf_copy_color max([3*E+26,26]) O(n) 1 2906 1 + (0 + 1) × max(0, (h + 0)) O(n) 1 10
office_ghostscript_src_gdevpdfi.o.gdev_pdf_copy_mono.o gdev_pdf_copy_mono max([3*C+39,39]) O(n) 1 5784 1 + (0 + 1) × max(0, (h + 0)) O(n) 1 20
office_ghostscript_src_gdevpdfi.o.gdev_pdf_image_data.o gdev_pdf_image_data FAILED 1969 FAILED 40
office_ghostscript_src_gdevpdfi.o.pdf_end_binary.o pdf_end_binary FAILED 222 FAILED 10
office_ghostscript_src_gdevpdfi.o.pdf_write_image_params.o pdf_write_image_params TIMEOUT FAILED 1040
office_ghostscript_src_gdevpdfm.o.pdf_key_member.o pdf_key_member FAILED 221 FAILED 10
office_ghostscript_src_gdevpdfm.o.pdfmark_annot.o pdfmark_annot FAILED 3502 FAILED 40
office_ghostscript_src_gdevpdfm.o.pdfmark_ARTICLE.o pdfmark_ARTICLE FAILED 1073 FAILED 20
office_ghostscript_src_gdevpdfm.o.pdfmark_DOCINFO.o pdfmark_DOCINFO max([8*A+14,14]) O(n) 1 391 1 + (0 + 1) × max(0, (coun... O(n) 1 10
office_ghostscript_src_gdevpdfm.o.pdfmark_find_key.o pdfmark_find_key max([3*A+6,8]) O(n) 1 341 1 + (0 + 1) × max(0, (coun... O(n) 1 500
office_ghostscript_src_gdevpdfm.o.pdfmark_OUT.o pdfmark_OUT FAILED 1330 FAILED 10
office_ghostscript_src_gdevpdfm.o.pdfmark_process.o pdfmark_process FAILED 236 FAILED 10
office_ghostscript_src_gdevpdfm.o.pdfmark_save_edited_pairs.o pdfmark_save_edited_pairs max([6*E+12*F+10,1*E+12*F+8... O(n) 2 3663 1 + (0 + 1) × max(0, (add_... O(n) 2 80
office_ghostscript_src_gdevpdft.o.pdfshow_process.o pdfshow_process TIMEOUT FAILED 460
office_ghostscript_src_gdevprn.o.gdev_prn_copy_scan_lines.o gdev_prn_copy_scan_lines FAILED 1019 1 + (0 + 1) × max(0, (0 + ... O(n) 5 20
office_ghostscript_src_gdevprn.o.gdev_prn_open_printer.o gdev_prn_open_printer FAILED 423 FAILED 20
office_ghostscript_src_gdevprn.o.gdev_prn_put_params.o gdev_prn_put_params TIMEOUT FAILED 770
office_ghostscript_src_gdevprn.o.gx_default_print_page_copies.o gx_default_print_page_copies max([3*E+3,3]) O(n) 1 335 1 + (0 + 1) × max(0, (num_... O(n) 1 10
office_ghostscript_src_gdevps.o.image_cache_reset.o image_cache_reset 140 O(1) 0 231 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_gdevps.o.psw_begin_image.o psw_begin_image FAILED 1329 FAILED 50
office_ghostscript_src_gdevps.o.psw_put_bits.o psw_put_bits max([3*C+3,3]) O(n) 1 316 1 + (0 + 1) × max(0, (heig... O(n) 1 10
office_ghostscript_src_gdevps.o.psw_put_lines.o psw_put_lines FAILED 216 FAILED 10
office_ghostscript_src_gdevpsdf.o.psdf_put_enum_param.o psdf_put_enum_param FAILED 261 FAILED 10
office_ghostscript_src_gdevpsdf.o.psdf_put_image_params.o psdf_put_image_params FAILED 2271 FAILED 20
office_ghostscript_src_gdevpsdf.o.psdf_setdash.o psdf_setdash max([3*A+8,8]) O(n) 1 299 1 + (0 + 1) × max(0, (coun... O(n) 1 500
office_ghostscript_src_gdevpstr.o.pprintf_scan.o pprintf_scan FAILED 245 FAILED 10
office_ghostscript_src_gdevpx.o.pclxl_begin_image.o pclxl_begin_image FAILED 10536 FAILED 110
office_ghostscript_src_gdevpx.o.pclxl_beginpage.o pclxl_beginpage 74 O(1) 0 358 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_gdevpx.o.pclxl_char_index.o pclxl_char_index FAILED 278 FAILED 50
office_ghostscript_src_gdevpx.o.pclxl_copy_text_char.o pclxl_copy_text_char FAILED 753 FAILED 20
office_ghostscript_src_gdevpx.o.pclxl_define_bitmap_char.o pclxl_define_bitmap_char max([3*E+22,22]) O(n) 1 749 1 + (0 + 1) × max(0, (heig... O(n) 1 10
office_ghostscript_src_gdevpx.o.pclxl_end_image.o pclxl_end_image FAILED 378 FAILED 10
office_ghostscript_src_gdevpx.o.pclxl_flush_points.o pclxl_flush_points FAILED 5346 1 + (0 + 1) × max(0, (Sele... O(n) 3 60
office_ghostscript_src_gdevpx.o.pclxl_remove_char.o pclxl_remove_char FAILED 240 FAILED 30
office_ghostscript_src_gdevpx.o.pclxl_setdash.o pclxl_setdash max([3*B+18,18]) O(n) 1 438 1 + (0 + 1) × max(0, (coun... O(n) 1 20
office_ghostscript_src_gdevpx.o.pclxl_write_image_data.o pclxl_write_image_data max([10*F+25,5*F+29,27]) O(n) 1 4411 1 + (0 + 1) × max(0, (heig... O(n) 1 60
office_ghostscript_src_gdevvec.o.dash_pattern_eq.o dash_pattern_eq FAILED 318 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gdevvec.o.gdev_vector_dopath.o gdev_vector_dopath FAILED 26040 FAILED 30
office_ghostscript_src_gdevvec.o.gdev_vector_end_image.o gdev_vector_end_image FAILED 431 FAILED 10
office_ghostscript_src_gdevvec.o.gdev_vector_prepare_stroke.o gdev_vector_prepare_stroke TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n) 4 20
office_ghostscript_src_gdevvec.o.gdev_vector_write_clip_path.o gdev_vector_write_clip_path FAILED 543 FAILED 40
office_ghostscript_src_gdevvec.o.gdev_vector_write_polygon.o gdev_vector_write_polygon max([3*E+12,15]) O(n) 1 1062 1 + (0 + 1) × max(0, (coun... O(n) 1 20
office_ghostscript_src_gp_unifn.o.gp_file_name_is_absolute.o gp_file_name_is_absolute FAILED 374 1 + (0 + 1) × max(0, (len ... O(n) 1 10
office_ghostscript_src_gp_unifs.o.gp_enumerate_files_close.o gp_enumerate_files_close FAILED 244 FAILED 500
office_ghostscript_src_gp_unifs.o.gp_enumerate_files_init.o gp_enumerate_files_init FAILED 575 FAILED 60
office_ghostscript_src_gp_unifs.o.gp_enumerate_files_next.o gp_enumerate_files_next TIMEOUT FAILED 1100
office_ghostscript_src_gp_unifs.o.rchr.o rchr FAILED 290 1 + (0 + 1) × max(0, (len ... O(n) 2 10
office_ghostscript_src_gsalloc.o.alloc_add_chunk.o alloc_add_chunk 13 O(1) 0 251 0 + 1 O(1) 0 10
office_ghostscript_src_gsalloc.o.alloc_link_chunk.o alloc_link_chunk FAILED 217 FAILED 10
office_ghostscript_src_gsalloc.o.alloc_obj.o alloc_obj FAILED 378 FAILED 20
office_ghostscript_src_gsalloc.o.chunk_locate_ptr.o chunk_locate_ptr FAILED 235 FAILED 20
office_ghostscript_src_gsalloc.o.compute_free_objects.o compute_free_objects FAILED 290 FAILED 20
office_ghostscript_src_gsalloc.o.i_alloc_string.o i_alloc_string FAILED 346 FAILED 20
office_ghostscript_src_gsalloc.o.i_status.o i_status FAILED 219 FAILED 500
office_ghostscript_src_gsalloc.o.i_unregister_root.o i_unregister_root FAILED 215 FAILED 10
office_ghostscript_src_gsalloc.o.ialloc_reset_free.o ialloc_reset_free 204 O(1) 0 231 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
office_ghostscript_src_gsargs.o.arg_finit.o arg_finit FAILED 219 FAILED 10
office_ghostscript_src_gsargs.o.arg_next.o arg_next TIMEOUT FAILED 680
office_ghostscript_src_gsbitops.o.bits_bounding_box.o bits_bounding_box TIMEOUT FAILED 250
office_ghostscript_src_gsbitops.o.bits_compress_scaled.o bits_compress_scaled TIMEOUT FAILED 480
office_ghostscript_src_gsbitops.o.bits_fill_rectangle.o bits_fill_rectangle FAILED 18161 FAILED 190
office_ghostscript_src_gsbitops.o.bits_replicate_horizontally.o bits_replicate_horizontally FAILED 6062 FAILED 30
office_ghostscript_src_gsbitops.o.bits_replicate_vertically.o bits_replicate_vertically FAILED 296 FAILED 500
office_ghostscript_src_gsbitops.o.bytes_copy_rectangle.o bytes_copy_rectangle max([3*E+3,3]) O(n) 1 344 1 + (0 + 1) × max(0, (heig... O(n) 1 500
office_ghostscript_src_gsbitops.o.bytes_fill_rectangle.o bytes_fill_rectangle max([3*E+3,3]) O(n) 1 373 1 + (0 + 1) × max(0, (heig... O(n) 1 500
office_ghostscript_src_gschar.o.show_enum_reloc_ptrs.o show_enum_reloc_ptrs FAILED 288 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_gschar.o.show_proceed.o show_proceed TIMEOUT FAILED 2720
office_ghostscript_src_gschar0.o.gs_stack_modal_fonts.o gs_stack_modal_fonts FAILED 223 FAILED 30
office_ghostscript_src_gschar0.o.gs_type0_next_glyph.o gs_type0_next_glyph TIMEOUT FAILED 1260
office_ghostscript_src_gscie.o.cie_cache_mult.o cie_cache_mult 517 O(1) 0 248 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_gscie.o.cie_cache_restrict.o cie_cache_restrict 1027 O(1) 0 231 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
office_ghostscript_src_gscie.o.cie_joint_caches_complete.o cie_joint_caches_complete 18 O(1) 0 255 1 + (0 + 1) × max(0, (0 + 3)) O(1) 0 500
office_ghostscript_src_gscie.o.cie_joint_caches_init.o cie_joint_caches_init 5648 O(1) 0 385 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_gscie.o.cie_load_common_cache.o cie_load_common_cache 5646 O(1) 0 402 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_gscie.o.gs_cie_cache_to_fracs.o gs_cie_cache_to_fracs 517 O(1) 0 248 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_gscie.o.gs_cie_cs_common.o gs_cie_cs_common FAILED 222 FAILED 20
office_ghostscript_src_gscie.o.gs_cie_render_complete.o gs_cie_render_complete 3100 O(1) 0 494 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
office_ghostscript_src_gscie.o.gs_setcolorrendering.o gs_setcolorrendering FAILED 7733 1 + (0 + 1) × max(0, (Sele... O(n) 4 60
office_ghostscript_src_gscie.o.gx_install_CIEA.o gx_install_CIEA 1544 O(1) 0 255 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_gscie.o.gx_install_CIEABC.o gx_install_CIEABC 5643 O(1) 0 383 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_gscolor.o.load_transfer_map.o load_transfer_map 1027 O(1) 0 234 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_gsdevice.o.gs_copydevice.o gs_copydevice FAILED 302 FAILED 10
office_ghostscript_src_gsdevice.o.gs_copyscanlines.o gs_copyscanlines max([3*D+8,10,-3*D+8]) O(n) 1 967 1 + (0 + 1) × max(0, (0 + ... O(n) 2 10
office_ghostscript_src_gsdevice.o.gs_setdevice_no_erase.o gs_setdevice_no_erase FAILED 249 FAILED 20
office_ghostscript_src_gsdevice.o.gx_device_set_margins.o gx_device_set_margins 8 O(1) 0 264 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
office_ghostscript_src_gsdevmem.o.gs_initialize_wordimagedevice.o gs_initialize_wordimagedevice TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(n) 1 100
office_ghostscript_src_gsdparam.o.param_HWColorMap.o param_HWColorMap FAILED 425 FAILED 20
office_ghostscript_src_gsdps1.o.gs_rectappend.o gs_rectappend FAILED 594 1 + (0 + 1) × max(0, (coun... O(n) 1 20
office_ghostscript_src_gsdps1.o.gs_rectfill.o gs_rectfill TIMEOUT 1 + (0 + 1) × max(0, (coun... O(n) 1 260
office_ghostscript_src_gsfcmap.o.code_map_decode_next.o code_map_decode_next FAILED 361 FAILED 40
office_ghostscript_src_gsflip.o.flip3x1.o flip3x1 max([1*B+3,3]) O(n) 1 265 1 + (0 + 1) × max(0, (nbyt... O(n) 1 500
office_ghostscript_src_gsflip.o.flip3x12.o flip3x12 max([1*B+3,3]) O(n) 1 268 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10
office_ghostscript_src_gsflip.o.flip3x2.o flip3x2 max([1*B+3,3]) O(n) 1 263 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10
office_ghostscript_src_gsflip.o.flip3x4.o flip3x4 max([1*B+3,3]) O(n) 1 262 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10
office_ghostscript_src_gsflip.o.flip3x8.o flip3x8 max([1*B+3,3]) O(n) 1 263 1 + (0 + 1) × max(0, (nbyt... O(n) 1 500
office_ghostscript_src_gsflip.o.flip4x1.o flip4x1 max([1*B+3,3]) O(n) 1 263 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10
office_ghostscript_src_gsflip.o.flip4x12.o flip4x12 max([1*B+3,3]) O(n) 1 268 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10
office_ghostscript_src_gsflip.o.flip4x2.o flip4x2 max([1*B+3,3]) O(n) 1 263 1 + (0 + 1) × max(0, (nbyt... O(n) 1 500
office_ghostscript_src_gsflip.o.flip4x4.o flip4x4 max([1*B+3,3]) O(n) 1 264 1 + (0 + 1) × max(0, (nbyt... O(n) 1 10
office_ghostscript_src_gsflip.o.flip4x8.o flip4x8 max([1*B+3,3]) O(n) 1 263 1 + (0 + 1) × max(0, (nbyt... O(n) 1 500
office_ghostscript_src_gsfont.o.font_dir_enum_ptrs.o font_dir_enum_ptrs FAILED 557 1 + (0 + 1) × max(0, (Sele... O(n) 4 30
office_ghostscript_src_gsfont.o.font_dir_reloc_ptrs.o font_dir_reloc_ptrs FAILED 292 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_gsfont0.o.gs_type0_adjust_matrix.o gs_type0_adjust_matrix FAILED 877 1 + (0 + 1) × max(0, (Sele... O(n) 3 30
office_ghostscript_src_gsht.o.gx_device_halftone_release.o gx_device_halftone_release FAILED 273 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gsht.o.gx_ht_construct_bits.o gx_ht_construct_bits FAILED 4579 FAILED 20
office_ghostscript_src_gsht.o.gx_ht_construct_spot_order.o gx_ht_construct_spot_order FAILED 3612 1 + (0 + 1) × max(0, (Sele... O(n3) 4 20
office_ghostscript_src_gsht.o.gx_ht_process_screen_memory.o gx_ht_process_screen_memory FAILED 328 FAILED 10
office_ghostscript_src_gsht.o.gx_imager_dev_ht_install.o gx_imager_dev_ht_install TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n) 2 140
office_ghostscript_src_gsht.o.gx_imager_set_effective_xfer.o gx_imager_set_effective_xfer 14 O(1) 0 254 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
office_ghostscript_src_gsht.o.gx_sort_ht_order.o gx_sort_ht_order max([1*B+5,5]) O(n) 1 303 1 + (0 + 1) × max(0, (N + 0)) O(n) 1 500
office_ghostscript_src_gsht1.o.gs_sethalftone_prepare.o gs_sethalftone_prepare FAILED 9936 1 + (0 + 1) × max(0, (Sele... O(n) 2 120
office_ghostscript_src_gsht1.o.gx_ht_construct_threshold_order.o gx_ht_construct_threshold_order FAILED 1510 FAILED 30
office_ghostscript_src_gshtscr.o.gx_compute_cell_values.o gx_compute_cell_values FAILED 9991 FAILED 50
office_ghostscript_src_gshtscr.o.pick_cell_size.o pick_cell_size TIMEOUT FAILED 140
office_ghostscript_src_gsimage.o.gs_image_cleanup.o gs_image_cleanup FAILED 309 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gsimage.o.gs_image_enum_reloc_ptrs.o gs_image_enum_reloc_ptrs FAILED 397 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
office_ghostscript_src_gsimage.o.gs_image_next.o gs_image_next FAILED 377 FAILED 250
office_ghostscript_src_gsimage.o.image_enum_init.o image_enum_init 7 O(1) 0 231 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
office_ghostscript_src_gsimpath.o.gs_imagepath.o gs_imagepath FAILED 7743 1 + (0 + 1) × max(0, (heig... O(n2) 2 10
office_ghostscript_src_gsimpath.o.trace_from.o trace_from FAILED 17444 FAILED 1370
office_ghostscript_src_gsiodev.o.gs_findiodevice.o gs_findiodevice FAILED 343 FAILED 20
office_ghostscript_src_gsiodev.o.gs_iodev_init.o gs_iodev_init FAILED 215 FAILED 10
office_ghostscript_src_gsline.o.gx_set_dash.o gx_set_dash FAILED 5684 FAILED 30
office_ghostscript_src_gsmemory.o.gs_alloc_memset.o gs_alloc_memset 6 O(1) 0 291 1 + (0 + 1) × max(0, (lsiz... O(n) 1 20
office_ghostscript_src_gsmemory.o.gs_heap_free_object.o gs_heap_free_object FAILED 423 FAILED 20
office_ghostscript_src_gsmemory.o.gs_malloc_release.o gs_malloc_release FAILED 271 FAILED 10
office_ghostscript_src_gsmemory.o.heap_available.o heap_available 124 O(1) 0 403 1 + 20 × max(0, 1) + (0 +... O(1) 0 20
office_ghostscript_src_gsmisc.o.debug_dump_bitmap.o debug_dump_bitmap max([3*A+3,3]) O(n) 1 267 1 + (0 + 1) × max(0, (heig... O(n) 1 500
office_ghostscript_src_gsmisc.o.debug_dump_bytes.o debug_dump_bytes FAILED 334 FAILED 40
office_ghostscript_src_gsmisc.o.debug_print_string.o debug_print_string max([3*C+5,5]) O(n) 1 299 1 + (0 + 1) × max(0, (len ... O(n) 1 10
office_ghostscript_src_gsmisc.o.igcd.o igcd FAILED 1398 FAILED 30
office_ghostscript_src_gsparam.o.c_param_find.o c_param_find FAILED 220 FAILED 10
office_ghostscript_src_gspath1.o.gs_arc_add.o gs_arc_add FAILED 8993 1 + (0 + 1) × max(0, (-368... O(n) 2 270
office_ghostscript_src_gspcolor.o.bitmap_PaintProc.o bitmap_PaintProc FAILED 315 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
office_ghostscript_src_gspcolor.o.gx_dc_pattern_fill_rectangle.o gx_dc_pattern_fill_rectangle TIMEOUT FAILED 190
office_ghostscript_src_gspcolor.o.gx_dc_pattern_load.o gx_dc_pattern_load FAILED 304 FAILED 10
office_ghostscript_src_gsstate.o.gs_grestoreall.o gs_grestoreall FAILED 246 FAILED 20
office_ghostscript_src_gsstate.o.gs_imager_state_initialize.o gs_imager_state_initialize 12 O(1) 0 249 1 + (0 + 1) × max(0, (0 + 2)) O(1) 0 10
office_ghostscript_src_gsstate.o.gstate_share_paths.o gstate_share_paths FAILED 6319 FAILED 350
office_ghostscript_src_gstype1.o.gs_type1_charstring_interpret.o gs_type1_charstring_interpret FAILED 11045 FAILED 500
office_ghostscript_src_gstype2.o.gs_type2_charstring_interpret.o gs_type2_charstring_interpret FAILED 13379 FAILED 500
office_ghostscript_src_gstype42.o.append_simple.o append_simple TIMEOUT FAILED 750
office_ghostscript_src_gstype42.o.gs_type42_font_init.o gs_type42_font_init FAILED 661 1 + (0 + 1) × max(0, ([**O... O(n) 1 10
office_ghostscript_src_gsutil.o.bytes_compare.o bytes_compare FAILED 414 1 + (0 + 1) × max(0, (1 + ... O(n) 2 20
office_ghostscript_src_gsutil.o.string_match.o string_match FAILED 304 FAILED 840
office_ghostscript_src_gxacpath.o.accum_fill_rectangle.o accum_fill_rectangle TIMEOUT FAILED 690
office_ghostscript_src_gxbcache.o.gx_bits_cache_alloc.o gx_bits_cache_alloc FAILED 602 FAILED 20
office_ghostscript_src_gxccache.o.compress_alpha_bits.o compress_alpha_bits FAILED 2936 1 + (0 + 1) × max(0, (Sele... O(n2) 3 30
office_ghostscript_src_gxccache.o.gx_image_cached_char.o gx_image_cached_char TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n) 2 920
office_ghostscript_src_gxccache.o.gx_lookup_cached_char.o gx_lookup_cached_char FAILED 251 FAILED 30
office_ghostscript_src_gxccache.o.gx_lookup_fm_pair.o gx_lookup_fm_pair FAILED 968 FAILED 390
office_ghostscript_src_gxccman.o.alloc_char.o alloc_char FAILED 325 FAILED 20
office_ghostscript_src_gxccman.o.alloc_char_in_chunk.o alloc_char_in_chunk FAILED 449 FAILED 30
office_ghostscript_src_gxccman.o.gs_purge_font_from_char_caches.o gs_purge_font_from_char_caches FAILED 300 FAILED 10
office_ghostscript_src_gxccman.o.gx_add_cached_char.o gx_add_cached_char FAILED 221 FAILED 20
office_ghostscript_src_gxccman.o.gx_add_char_bits.o gx_add_char_bits FAILED 1170 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gxccman.o.gx_add_fm_pair.o gx_add_fm_pair FAILED 297 FAILED 70
office_ghostscript_src_gxccman.o.gx_char_cache_alloc.o gx_char_cache_alloc FAILED 341 FAILED 10
office_ghostscript_src_gxccman.o.gx_char_cache_init.o gx_char_cache_init FAILED 270 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_gxccman.o.gx_lookup_xfont.o gx_lookup_xfont FAILED 1038 FAILED 180
office_ghostscript_src_gxccman.o.gx_purge_selected_cached_chars.o gx_purge_selected_cached_chars FAILED 314 FAILED 10
office_ghostscript_src_gxccman.o.hash_remove_cached_char.o hash_remove_cached_char FAILED 235 FAILED 500
office_ghostscript_src_gxcht.o.gx_dc_ht_colored_fill_rectangle.o gx_dc_ht_colored_fill_rectangle TIMEOUT FAILED 820
office_ghostscript_src_gxcht.o.set_color_ht.o set_color_ht TIMEOUT FAILED 100
office_ghostscript_src_gxclbits.o.clist_add_tile.o clist_add_tile FAILED 1503 FAILED 20
office_ghostscript_src_gxclbits.o.clist_change_bits.o clist_change_bits FAILED 8041 FAILED 10
office_ghostscript_src_gxclbits.o.clist_change_tile.o clist_change_tile FAILED 10390 FAILED 90
office_ghostscript_src_gxclbits.o.clist_delete_tile.o clist_delete_tile FAILED 236 FAILED 10
office_ghostscript_src_gxclbits.o.clist_find_bits.o clist_find_bits FAILED 235 FAILED 10
office_ghostscript_src_gxclbits.o.clist_new_tile_params.o clist_new_tile_params FAILED 4116 1 + (0 + 1) × max(0, (-255... O(n3) 8 50
office_ghostscript_src_gxclbits.o.cmd_compress_bitmap.o cmd_compress_bitmap max([3*A+7,12]) O(n) 1 474 1 + (0 + 1) × max(0, (heig... O(n) 1 10
office_ghostscript_src_gxclimag.o.clist_begin_image.o clist_begin_image TIMEOUT FAILED 1420
office_ghostscript_src_gxclimag.o.clist_end_image.o clist_end_image FAILED 3764 FAILED 30
office_ghostscript_src_gxclimag.o.clist_fill_mask.o clist_fill_mask TIMEOUT FAILED 32540
office_ghostscript_src_gxclimag.o.clist_image_data.o clist_image_data TIMEOUT FAILED 1180
office_ghostscript_src_gxclimag.o.cmd_image_data.o cmd_image_data max([3*I+17,17]) O(n) 1 1276 1 + (0 + 1) × max(0, (h + 0)) O(n) 1 20
office_ghostscript_src_gxclimag.o.cmd_put_color_mapping.o cmd_put_color_mapping 35 O(1) 0 1329 1 + (0 + 1) × max(0, (0 + ... O(1) 0 150
office_ghostscript_src_gxclimag.o.cmd_put_halftone.o cmd_put_halftone FAILED 852 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gxclimag.o.cmd_put_ht_order.o cmd_put_ht_order FAILED 10962 1 + (0 + 1) × max(0, (Sele... O(n) 3 60
office_ghostscript_src_gxclimag.o.image_band_box.o image_band_box 112 O(1) 0 4757 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 50
office_ghostscript_src_gxclip2.o.tile_clip_initialize.o tile_clip_initialize FAILED 1148 1 + (0 + 1) × max(0, (0 + ... O(n) 4 20
office_ghostscript_src_gxclist.o.clist_init.o clist_init FAILED 560 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
office_ghostscript_src_gxclist.o.clist_init_tile_cache.o clist_init_tile_cache FAILED 19352 FAILED 40
office_ghostscript_src_gxclist.o.cmd_put_w.o cmd_put_w FAILED 237 FAILED 10
office_ghostscript_src_gxclist.o.cmd_size_w.o cmd_size_w FAILED 237 FAILED 500
office_ghostscript_src_gxclist.o.cmd_write_band.o cmd_write_band FAILED 372 FAILED 10
office_ghostscript_src_gxclist.o.cmd_write_buffer.o cmd_write_buffer FAILED 441 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gxclpage.o.gdev_prn_render_pages.o gdev_prn_render_pages max([12*A+7,9,4*A+11,8*A+5]) O(n) 1 707 1 + (0 + 1) × max(0, (coun... O(n) 1 30
office_ghostscript_src_gxclpath.o.clist_fill_path.o clist_fill_path TIMEOUT FAILED 1460
office_ghostscript_src_gxclpath.o.clist_stroke_path.o clist_stroke_path TIMEOUT FAILED 1010
office_ghostscript_src_gxclpath.o.cmd_clear_known.o cmd_clear_known FAILED 238 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gxclpath.o.cmd_for_matrix.o cmd_for_matrix 46 O(1) 0 379 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
office_ghostscript_src_gxclpath.o.cmd_put_path.o cmd_put_path FAILED 42211 FAILED 680
office_ghostscript_src_gxclpath.o.cmd_put_segment.o cmd_put_segment FAILED 1849 1 + (0 + 1) × max(0, (-1 +... O(n) 1 90
office_ghostscript_src_gxclpath.o.cmd_write_unknown.o cmd_write_unknown TIMEOUT FAILED 6140
office_ghostscript_src_gxclread.o.clist_get_bits.o clist_get_bits TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(n) 2 310
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 max([6*D+3,3]) O(n) 1 734 1 + (0 + 1) × max(0, (heig... O(n) 1 10
office_ghostscript_src_gxclread.o.cmd_get_w.o cmd_get_w FAILED 213 FAILED 10
office_ghostscript_src_gxclread.o.cmd_read_matrix.o cmd_read_matrix 40 O(1) 0 403 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_gxclread.o.cmd_resize_halftone.o cmd_resize_halftone FAILED 397 1 + (0 + 1) × max(0, (Sele... O(n) 3 500
office_ghostscript_src_gxclread.o.s_band_read_process.o s_band_read_process FAILED 2258 FAILED 100
office_ghostscript_src_gxclrect.o.clist_fill_rectangle.o clist_fill_rectangle TIMEOUT FAILED 390
office_ghostscript_src_gxclrect.o.clist_strip_tile_rectangle.o clist_strip_tile_rectangle TIMEOUT FAILED 1020
office_ghostscript_src_gxcpath.o.gx_clip_list_add_to_path.o gx_clip_list_add_to_path FAILED 397 FAILED 500
office_ghostscript_src_gxcpath.o.gx_clip_list_free.o gx_clip_list_free FAILED 216 FAILED 10
office_ghostscript_src_gxcpath.o.gx_cpath_scale_exp2.o gx_cpath_scale_exp2 FAILED 534 FAILED 10
office_ghostscript_src_gxctable.o.gx_color_interpolate_nearest.o gx_color_interpolate_nearest FAILED 247 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
office_ghostscript_src_gxdcolor.o.gx_dc_default_fill_masked.o gx_dc_default_fill_masked TIMEOUT FAILED 870
office_ghostscript_src_gxfill.o.add_y_line.o add_y_line FAILED 1734 FAILED 150
office_ghostscript_src_gxfill.o.add_y_list.o add_y_list TIMEOUT FAILED 540
office_ghostscript_src_gxfill.o.fill_loop_by_scan_lines.o fill_loop_by_scan_lines TIMEOUT FAILED 1710
office_ghostscript_src_gxfill.o.fill_loop_by_trapezoids.o fill_loop_by_trapezoids TIMEOUT FAILED 3110
office_ghostscript_src_gxfill.o.free_line_list.o free_line_list FAILED 214 FAILED 500
office_ghostscript_src_gxfill.o.insert_x_new.o insert_x_new FAILED 215 FAILED 30
office_ghostscript_src_gxfill.o.resort_x_line.o resort_x_line FAILED 216 FAILED 20
office_ghostscript_src_gxfill.o.unclose_path.o unclose_path FAILED 389 FAILED 10
office_ghostscript_src_gxhint1.o.compute_snaps.o compute_snaps FAILED 306 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
office_ghostscript_src_gxhint1.o.compute_zones.o compute_zones FAILED 566 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gxhint2.o.find_snap.o find_snap FAILED 293 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
office_ghostscript_src_gxhint2.o.find_zone.o find_zone FAILED 236 1 + (0 + 1) × max(0, (pcis... O(n) 4 30
office_ghostscript_src_gxhint2.o.store_stem_deltas.o store_stem_deltas FAILED 515 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
office_ghostscript_src_gxhint2.o.type1_stem.o type1_stem FAILED 243 1 + (0 + 1) × max(0, (psht... O(n) 3 10
office_ghostscript_src_gxhint3.o.apply_final_hint.o apply_final_hint FAILED 219 FAILED 50
office_ghostscript_src_gxhint3.o.search_hints.o search_hints FAILED 230 1 + (0 + 1) × max(0, (psht... O(n) 3 20
office_ghostscript_src_gxhint3.o.type1_apply_path_hints.o type1_apply_path_hints FAILED 4115 FAILED 20
office_ghostscript_src_gxht.o.gx_ht_init_cache.o gx_ht_init_cache TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(n2) 7 70
office_ghostscript_src_gxht.o.ht_tiles_reloc_ptrs.o ht_tiles_reloc_ptrs FAILED 424 1 + (0 + 1) × max(0, (size... O(n) 1 10
office_ghostscript_src_gxht.o.render_ht.o render_ht FAILED 1687 1 + (0 + 1) × max(0, (leve... O(n) 3 40
office_ghostscript_src_gximage.o.gx_default_begin_image.o gx_default_begin_image TIMEOUT FAILED 2840
office_ghostscript_src_gximage.o.image_init_colors.o image_init_colors TIMEOUT FAILED 280
office_ghostscript_src_gximage.o.image_init_map.o image_init_map FAILED 363 FAILED 10
office_ghostscript_src_gximage0.o.gx_default_image_data.o gx_default_image_data FAILED 24073 FAILED 770
office_ghostscript_src_gximage1.o.copy_landscape.o copy_landscape FAILED 596 1 + (0 + 1) × max(0, (1 + ... O(n) 2 10
office_ghostscript_src_gximage1.o.image_render_landscape.o image_render_landscape FAILED 16198 FAILED 60
office_ghostscript_src_gximage1.o.image_render_simple.o image_render_simple FAILED 3715 1 + (0 + 1) × max(0, (Sele... O(n) 2 80
office_ghostscript_src_gximage1.o.image_simple_expand.o image_simple_expand FAILED 857 TIMEOUT
office_ghostscript_src_gximage2.o.image_render_mono.o image_render_mono TIMEOUT FAILED 6000
office_ghostscript_src_gximage3.o.image_render_color.o image_render_color TIMEOUT 1 + (0 + 1) × max(0, (w + ... O(n2) 5 700
office_ghostscript_src_gximage4.o.image_render_frac.o image_render_frac FAILED 2582 FAILED 750
office_ghostscript_src_gximage4.o.sample_unpack_12.o sample_unpack_12 FAILED 448 1 + (0 + 1) × max(0, (-2 +... O(n) 2 30
office_ghostscript_src_gximage5.o.image_render_interpolate.o image_render_interpolate FAILED 53361 FAILED 230
office_ghostscript_src_gxpath.o.gx_path_add_lines_notes.o gx_path_add_lines_notes max([4*A+11,14]) O(n) 1 653 1 + (0 + 1) × max(0, (coun... O(n) 1 30
office_ghostscript_src_gxpath.o.gx_path_release.o gx_path_release FAILED 216 FAILED 10
office_ghostscript_src_gxpath2.o.gx_path_bbox.o gx_path_bbox FAILED 234 FAILED 10
office_ghostscript_src_gxpath2.o.gx_path_copy_reversed.o gx_path_copy_reversed FAILED 17314 FAILED 250
office_ghostscript_src_gxpath2.o.gx_path_scale_exp2.o gx_path_scale_exp2 FAILED 265 FAILED 10
office_ghostscript_src_gxpath2.o.gx_path_translate.o gx_path_translate FAILED 242 FAILED 10
office_ghostscript_src_gxpath2.o.gx_subpath_is_rectangle.o gx_subpath_is_rectangle FAILED 224 FAILED 180
office_ghostscript_src_gxpcmap.o.gx_pattern_alloc_cache.o gx_pattern_alloc_cache max([1*C+7,9]) O(n) 1 327 1 + (0 + 1) × max(0, (num_... O(n) 1 10
office_ghostscript_src_gxpcmap.o.gx_pattern_cache_add_entry.o gx_pattern_cache_add_entry TIMEOUT FAILED 110
office_ghostscript_src_gxpcmap.o.gx_pattern_cache_winnow.o gx_pattern_cache_winnow FAILED 289 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gxpcopy.o.gx_curve_x_at_y.o gx_curve_x_at_y FAILED 4987 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_gxpcopy.o.gx_path_copy_reducing.o gx_path_copy_reducing FAILED 26042 FAILED 110
office_ghostscript_src_gxpcopy.o.gx_path_is_monotonic.o gx_path_is_monotonic FAILED 557 FAILED 30
office_ghostscript_src_gxpcopy.o.monotonize_internal.o monotonize_internal FAILED 7766 FAILED 90
office_ghostscript_src_gxpdash.o.gx_path_expand_dashes.o gx_path_expand_dashes FAILED 302 FAILED 10
office_ghostscript_src_gxpdash.o.subpath_expand_dashes.o subpath_expand_dashes TIMEOUT FAILED 1000
office_ghostscript_src_gxpflat.o.gx_curve_log2_samples.o gx_curve_log2_samples FAILED 552 1 + (0 + 1) × max(0, (-409... O(n) 13 1360
office_ghostscript_src_gxsample.o.sample_unpack_1.o sample_unpack_1 FAILED 594 FAILED 10
office_ghostscript_src_gxsample.o.sample_unpack_2.o sample_unpack_2 FAILED 583 FAILED 10
office_ghostscript_src_gxsample.o.sample_unpack_4.o sample_unpack_4 FAILED 307 FAILED 10
office_ghostscript_src_gxsample.o.sample_unpack_8.o sample_unpack_8 FAILED 693 FAILED 20
office_ghostscript_src_gxstroke.o.gx_stroke_path_only.o gx_stroke_path_only FAILED 400 FAILED 2170
office_ghostscript_src_gxtype1.o.gs_type1_decrypt.o gs_type1_decrypt FAILED 282 1 + (0 + 1) × max(0, (len ... O(n) 1 10
office_ghostscript_src_gxtype1.o.gs_type1_encrypt.o gs_type1_encrypt FAILED 282 1 + (0 + 1) × max(0, (len ... O(n) 1 500
office_ghostscript_src_gxtype1.o.gs_type1_state_reloc_ptrs.o gs_type1_state_reloc_ptrs FAILED 269 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
office_ghostscript_src_ialloc.o.ialloc_init.o ialloc_init 16 O(1) 0 317 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20
office_ghostscript_src_icontext.o.context_state_free.o context_state_free 11 O(1) 0 233 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
office_ghostscript_src_idebug.o.debug_dump_one_ref.o debug_dump_one_ref FAILED 560 FAILED 500
office_ghostscript_src_idebug.o.debug_dump_refs.o debug_dump_refs FAILED 444 1 + (0 + 1) × max(0, (size... O(n) 1 10
office_ghostscript_src_idebug.o.debug_dump_stack.o debug_dump_stack FAILED 656 1 + (0 + 1) × max(0, (ref_... O(n) 1 500
office_ghostscript_src_idict.o.dict_copy_entries.o dict_copy_entries FAILED 1727 FAILED 40
office_ghostscript_src_idict.o.dict_create_contents.o dict_create_contents FAILED 1271 FAILED 20
office_ghostscript_src_idict.o.dict_find.o dict_find TIMEOUT FAILED 1870
office_ghostscript_src_idict.o.dict_find_name_by_index.o dict_find_name_by_index TIMEOUT FAILED 1870
office_ghostscript_src_idict.o.dict_is_permanent_on_dstack.o dict_is_permanent_on_dstack max([3*A+6,8,1*A+4]) O(n) 1 802 1 + (0 + 1) × max(0, (*min... O(n) 1 20
office_ghostscript_src_idict.o.dict_next.o dict_next max([3*D+7,9]) O(n) 1 401 1 + (0 + 1) × max(0, (inde... O(n) 1 20
office_ghostscript_src_idict.o.dict_put.o dict_put TIMEOUT FAILED 40
office_ghostscript_src_idict.o.dict_round_size_large.o dict_round_size_large FAILED 236 FAILED 500
office_ghostscript_src_idict.o.dict_unpack.o dict_unpack FAILED 575 1 + (0 + 1) × max(0, (Sele... O(n) 4 10
office_ghostscript_src_idict.o.dstack_gc_cleanup.o dstack_gc_cleanup FAILED 962 FAILED 40
office_ghostscript_src_idparam.o.dict_check_uid_param.o dict_check_uid_param FAILED 355 1 + (0 + 1) × max(0, (0 + ... O(n) 2 10
office_ghostscript_src_idparam.o.dict_int_array_param.o dict_int_array_param FAILED 395 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
office_ghostscript_src_idparam.o.dict_uid_param.o dict_uid_param FAILED 451 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_igc.o.gc_clear_reloc.o gc_clear_reloc FAILED 224 FAILED 20
office_ghostscript_src_igc.o.gc_do_reloc.o gc_do_reloc FAILED 236 FAILED 10
office_ghostscript_src_igc.o.gc_extend_stack.o gc_extend_stack FAILED 297 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
office_ghostscript_src_igc.o.gc_free_empty_chunks.o gc_free_empty_chunks FAILED 219 FAILED 500
office_ghostscript_src_igc.o.gc_objects_clear_marks.o gc_objects_clear_marks FAILED 220 FAILED 10
office_ghostscript_src_igc.o.gc_objects_compact.o gc_objects_compact FAILED 280 FAILED 10
office_ghostscript_src_igc.o.gc_objects_set_reloc.o gc_objects_set_reloc FAILED 242 FAILED 10
office_ghostscript_src_igc.o.gc_rescan_chunk.o gc_rescan_chunk FAILED 297 FAILED 100
office_ghostscript_src_igc.o.gc_trace.o gc_trace FAILED 270 FAILED 500
office_ghostscript_src_igc.o.gc_trace_chunk.o gc_trace_chunk FAILED 302 FAILED 50
office_ghostscript_src_igc.o.gc_trace_finish.o gc_trace_finish FAILED 385 FAILED 500
office_ghostscript_src_igc.o.gc_unmark_names.o gc_unmark_names FAILED 411 1 + (0 + 1) × max(0, (Sele... O(n) 4 20
office_ghostscript_src_igc.o.gs_reclaim.o gs_reclaim TIMEOUT FAILED 17910
office_ghostscript_src_igcref.o.gs_igcref_init.o gs_igcref_init 68 O(1) 0 269 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_igcref.o.gs_reloc_ref_ptr.o gs_reloc_ref_ptr FAILED 217 FAILED 20
office_ghostscript_src_igcref.o.gs_reloc_refs.o gs_reloc_refs FAILED 283 1 + (0 + 1) × max(0, (to +... O(n) 2 10
office_ghostscript_src_igcref.o.ref_struct_clear_marks.o ref_struct_clear_marks FAILED 224 1 + (0 + 1) × max(0, (size... O(n) 2 20
office_ghostscript_src_igcref.o.refs_clear_marks.o refs_clear_marks FAILED 225 FAILED 10
office_ghostscript_src_igcref.o.refs_clear_reloc.o refs_clear_reloc FAILED 250 1 + (0 + 1) × max(0, (size... O(n) 2 10
office_ghostscript_src_igcref.o.refs_compact.o refs_compact FAILED 1672 FAILED 250
office_ghostscript_src_igcref.o.refs_set_reloc.o refs_set_reloc FAILED 480 FAILED 70
office_ghostscript_src_igcstr.o.gc_mark_string.o gc_mark_string FAILED 719 1 + (0 + 1) × max(0, (size... O(n) 4 10
office_ghostscript_src_igcstr.o.gc_strings_compact.o gc_strings_compact FAILED 222 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
office_ghostscript_src_igcstr.o.gc_strings_set_reloc.o gc_strings_set_reloc FAILED 266 1 + (0 + 1) × max(0, (1 + ... O(n) 3 10
office_ghostscript_src_iinit.o.gs_have_level2.o gs_have_level2 FAILED 322 FAILED 20
office_ghostscript_src_iinit.o.make_initial_dict.o make_initial_dict 26 O(1) 0 494 1 + (0 + 1) × max(0, (0 + 5)) O(1) 0 500
office_ghostscript_src_iinit.o.obj_init.o obj_init FAILED 1840 FAILED 70
office_ghostscript_src_iinit.o.op_init.o op_init FAILED 8266 FAILED 50
office_ghostscript_src_ilocate.o.gc_locate.o gc_locate TIMEOUT FAILED 920
office_ghostscript_src_imain.o.file_path_add.o file_path_add FAILED 360 FAILED 30
office_ghostscript_src_imain.o.init2_make_string_array.o init2_make_string_array FAILED 218 FAILED 10
office_ghostscript_src_imainarg.o.esc_strcat.o esc_strcat FAILED 216 FAILED 10
office_ghostscript_src_imainarg.o.gs_main_init_with_args.o gs_main_init_with_args FAILED 3491 FAILED 40
office_ghostscript_src_imainarg.o.print_devices.o print_devices FAILED 267 FAILED 10
office_ghostscript_src_imainarg.o.print_emulators.o print_emulators FAILED 219 FAILED 10
office_ghostscript_src_imainarg.o.print_paths.o print_paths FAILED 1485 FAILED 20
office_ghostscript_src_iname.o.name_alloc_sub.o name_alloc_sub FAILED 494 1 + (0 + 1) × max(0, (0 + ... O(n) 3 20
office_ghostscript_src_iname.o.name_init.o name_init 661 O(1) 0 405 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
office_ghostscript_src_iname.o.name_next_valid_index.o name_next_valid_index FAILED 553 FAILED 20
office_ghostscript_src_iname.o.name_ref.o name_ref FAILED 4397 FAILED 40
office_ghostscript_src_iname.o.name_restore.o name_restore FAILED 531 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
office_ghostscript_src_iname.o.name_scan_sub.o name_scan_sub FAILED 392 1 + (0 + 1) × max(0, (sub_... O(n) 1 50
office_ghostscript_src_iname.o.name_sub_reloc_ptrs.o name_sub_reloc_ptrs 515 O(1) 0 267 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
office_ghostscript_src_iname.o.name_table_reloc_ptrs.o name_table_reloc_ptrs FAILED 264 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_iname.o.name_trace_finish.o name_trace_finish FAILED 1012 FAILED 20
office_ghostscript_src_iname.o.name_unmark_all.o name_unmark_all FAILED 551 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
office_ghostscript_src_interp.o.gs_call_interp.o gs_call_interp TIMEOUT FAILED 130
office_ghostscript_src_interp.o.gs_interp_make_oper.o gs_interp_make_oper 15 O(1) 0 301 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_interp.o.interp.o interp FAILED 2102 FAILED 500
office_ghostscript_src_interp.o.set_gc_signal.o set_gc_signal 27 O(1) 0 271 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
office_ghostscript_src_iparam.o.array_param_read.o array_param_read FAILED 217 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
office_ghostscript_src_iparam.o.ref_param_read_commit.o ref_param_read_commit FAILED 251 1 + (0 + 1) × max(0, (Sele... O(n) 2 500
office_ghostscript_src_iparam.o.ref_param_read_int_array.o ref_param_read_int_array FAILED 394 1 + (0 + 1) × max(0, (Sele... O(n) 4 20
office_ghostscript_src_iparam.o.ref_param_read_string_array.o ref_param_read_string_array FAILED 543 1 + (0 + 1) × max(0, (Sele... O(n) 4 10
office_ghostscript_src_iparam.o.ref_param_write_float_array.o ref_param_write_float_array FAILED 289 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_iparam.o.ref_param_write_int_array.o ref_param_write_int_array FAILED 289 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_iparam.o.ref_param_write_name_array.o ref_param_write_name_array FAILED 408 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_iparam.o.ref_param_write_string_array.o ref_param_write_string_array FAILED 345 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_iparam.o.stack_param_read.o stack_param_read FAILED 464 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_ireclaim.o.ireclaim.o ireclaim 20 O(1) 0 384 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20
office_ghostscript_src_isave.o.alloc_find_save.o alloc_find_save FAILED 227 FAILED 20
office_ghostscript_src_isave.o.alloc_forget_save.o alloc_forget_save FAILED 304 FAILED 110
office_ghostscript_src_isave.o.alloc_is_since_save.o alloc_is_since_save FAILED 382 FAILED 80
office_ghostscript_src_isave.o.alloc_restore_all.o alloc_restore_all FAILED 235 FAILED 10
office_ghostscript_src_isave.o.alloc_restore_state_step.o alloc_restore_state_step FAILED 271 FAILED 20
office_ghostscript_src_isave.o.alloc_save_current.o alloc_save_current FAILED 216 FAILED 20
office_ghostscript_src_isave.o.combine_space.o combine_space FAILED 478 FAILED 30
office_ghostscript_src_isave.o.forget_changes.o forget_changes FAILED 215 FAILED 10
office_ghostscript_src_isave.o.restore_finalize.o restore_finalize FAILED 257 FAILED 20
office_ghostscript_src_isave.o.restore_free.o restore_free FAILED 220 FAILED 10
office_ghostscript_src_isave.o.restore_space.o restore_space FAILED 224 FAILED 10
office_ghostscript_src_isave.o.save_set_new.o save_set_new FAILED 518 FAILED 140
office_ghostscript_src_isave.o.save_set_new_changes.o save_set_new_changes FAILED 225 FAILED 10
office_ghostscript_src_iscan.o.dynamic_grow.o dynamic_grow FAILED 412 1 + (0 + 1) × max(0, (max(... O(n) 4 30
office_ghostscript_src_iscanbin.o.scan_bin_num_array_continue.o scan_bin_num_array_continue FAILED 323 1 + (0 + 1) × max(0, (Sele... O(n) 5 20
office_ghostscript_src_iscanbin.o.scan_bos_continue.o scan_bos_continue FAILED 8295 1 + (0 + 1) × max(0, (-7 +... O(n) 3 280
office_ghostscript_src_iscanbin.o.scan_bos_resize.o scan_bos_resize FAILED 380 1 + (0 + 1) × max(0, (inde... O(n) 1 10
office_ghostscript_src_iscanbin.o.scan_bos_string_continue.o scan_bos_string_continue TIMEOUT FAILED 60
office_ghostscript_src_iscannum.o.scan_number.o scan_number TIMEOUT FAILED 10930
office_ghostscript_src_istack.o.init_block.o init_block FAILED 369 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ghostscript_src_istack.o.ref_stack_counttomark.o ref_stack_counttomark FAILED 833 FAILED 20
office_ghostscript_src_istack.o.ref_stack_index.o ref_stack_index FAILED 341 FAILED 10
office_ghostscript_src_istack.o.ref_stack_pop.o ref_stack_pop FAILED 313 FAILED 20
office_ghostscript_src_istack.o.ref_stack_push.o ref_stack_push FAILED 2088 FAILED 10
office_ghostscript_src_istack.o.ref_stack_store.o ref_stack_store FAILED 38356 FAILED 880
office_ghostscript_src_iutil.o.array_get.o array_get FAILED 339 1 + (0 + 1) × max(0, (inde... O(n) 1 10
office_ghostscript_src_iutil.o.make_reals.o make_reals FAILED 282 FAILED 500
office_ghostscript_src_iutil.o.num_params.o num_params max([2*C+5,5]) O(n) 1 386 1 + (0 + 1) × max(0, (coun... O(n) 1 10
office_ghostscript_src_iutil.o.obj_eq.o obj_eq FAILED 1658 FAILED 160
office_ghostscript_src_iutil.o.op_find_index.o op_find_index FAILED 225 1 + (0 + 1) × max(0, (*op_... O(n) 2 20
office_ghostscript_src_iutil.o.refcpy_to_new.o refcpy_to_new FAILED 309 1 + (0 + 1) × max(0, (size... O(n) 1 10
office_ghostscript_src_iutil.o.refcpy_to_old.o refcpy_to_old FAILED 1351 1 + (0 + 1) × max(0, (size... O(n) 1 20
office_ghostscript_src_iutil.o.refs_check_space.o refs_check_space FAILED 415 1 + (0 + 1) × max(0, (size... O(n) 1 10
office_ghostscript_src_iutil.o.refset_null.o refset_null FAILED 281 1 + (0 + 1) × max(0, (size... O(n) 1 10
office_ghostscript_src_iutil.o.write_matrix.o write_matrix 28 O(1) 0 272 1 + (0 + 1) × max(0, (0 + 6)) O(1) 0 10
office_ghostscript_src_sbcp.o.s_xBCPD_process.o s_xBCPD_process FAILED 497 FAILED 340
office_ghostscript_src_sbcp.o.s_xBCPE_process.o s_xBCPE_process FAILED 227 1 + (0 + 1) × max(0, (0 + ... O(n) 6 40
office_ghostscript_src_sbhc.o.s_BHCD_process.o s_BHCD_process TIMEOUT FAILED 1810
office_ghostscript_src_sbhc.o.s_BHCE_process.o s_BHCE_process FAILED 3781 FAILED 160
office_ghostscript_src_sbwbs.o.bwbs_compare_rotations.o bwbs_compare_rotations FAILED 265 1 + (0 + 1) × max(0, (0 + ... O(n) 5 140
office_ghostscript_src_sbwbs.o.bwbsd_construct_offsets.o bwbsd_construct_offsets FAILED 1964 1 + (0 + 1) × max(0, (0 + ... O(n2) 1 80
office_ghostscript_src_sbwbs.o.bwbse_sort.o bwbse_sort max([2*B+1032,1*B+262,1032]) O(n) 1 986 1 + (0 + 1) × max(0, (N + ... O(n) 1 40
office_ghostscript_src_sbwbs.o.s_BWBSD_process.o s_BWBSD_process FAILED 616 1 + (0 + 1) × max(0, (0 + ... O(n) 3 70
office_ghostscript_src_sbwbs.o.s_BWBSE_process.o s_BWBSE_process FAILED 2226 1 + (0 + 1) × max(0, (Sele... O(n) 5 190
office_ghostscript_src_scfd.o.cf_decode_1d.o cf_decode_1d FAILED 271 FAILED 500
office_ghostscript_src_scfd.o.cf_decode_2d.o cf_decode_2d FAILED 1312 FAILED 500
office_ghostscript_src_scfd.o.cf_decode_eol.o cf_decode_eol FAILED 745 1 + 11 × max(0, 7, 23) + ... O(n) 5 130
office_ghostscript_src_scfd.o.s_CFD_process.o s_CFD_process TIMEOUT FAILED 4200
office_ghostscript_src_scfe.o.cf_encode_1d.o cf_encode_1d TIMEOUT FAILED 27750
office_ghostscript_src_scfe.o.cf_encode_2d.o cf_encode_2d TIMEOUT TIMEOUT
office_ghostscript_src_scfe.o.s_CFE_process.o s_CFE_process TIMEOUT FAILED 1530
office_ghostscript_src_sdctd.o.s_DCTD_process.o s_DCTD_process TIMEOUT FAILED 890
office_ghostscript_src_sdcte.o.s_DCTE_process.o s_DCTE_process FAILED 816 FAILED 50
office_ghostscript_src_seexec.o.s_exD_process.o s_exD_process 29 O(1) 0 664 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 20
office_ghostscript_src_sfilter1.o.s_PFBD_process.o s_PFBD_process FAILED 3856 FAILED 460
office_ghostscript_src_sfilter1.o.s_SFD_process.o s_SFD_process FAILED 56556 1 + (0 + 1) × max(0, (Sele... O(n) 5 160
office_ghostscript_src_sfilter2.o.s_A85D_process.o s_A85D_process FAILED 302 1 + (0 + 1) × max(0, (Sele... O(n) 3 40
office_ghostscript_src_sfilter2.o.s_A85E_process.o s_A85E_process FAILED 41734 1 + (0 + 1) × max(0, (-3 +... O(n) 3 150
office_ghostscript_src_sfilter2.o.s_BT_process.o s_BT_process FAILED 261 1 + (0 + 1) × max(0, (1 + ... O(n) 6 20
office_ghostscript_src_shc.o.hc_put_last_bits_proc.o hc_put_last_bits_proc max([-2*C+67,3]) O(n) 1 270 1 + (0 + 1) × max(0, (32 +... O(n) 1 500
office_ghostscript_src_shcgen.o.hc_bytes_from_definition.o hc_bytes_from_definition FAILED 523 FAILED 60
office_ghostscript_src_shcgen.o.hc_compute.o hc_compute FAILED 18433 FAILED 230
office_ghostscript_src_shcgen.o.hc_definition_from_bytes.o hc_definition_from_bytes FAILED 2107 FAILED 30
office_ghostscript_src_shcgen.o.hc_limit_code_lengths.o hc_limit_code_lengths FAILED 781 FAILED 20
office_ghostscript_src_shcgen.o.hc_make_decoding.o hc_make_decoding FAILED 1464 FAILED 60
office_ghostscript_src_shcgen.o.hc_make_encoding.o hc_make_encoding FAILED 372 FAILED 10
office_ghostscript_src_shcgen.o.hc_sizeof_decoding.o hc_sizeof_decoding FAILED 264 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_shcgen.o.hc_sizes_from_bytes.o hc_sizes_from_bytes max([1*B+3,3]) O(n) 1 251 1 + (0 + 1) × max(0, (num_... O(n) 1 500
office_ghostscript_src_siscale.o.calculate_contrib.o calculate_contrib FAILED 10297 FAILED 50
office_ghostscript_src_siscale.o.calculate_dst_contrib.o calculate_dst_contrib 24 O(1) 0 940 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10
office_ghostscript_src_siscale.o.s_IScale_process.o s_IScale_process FAILED 2241 FAILED 50
office_ghostscript_src_siscale.o.zoom_x.o zoom_x FAILED 5440 FAILED 60
office_ghostscript_src_siscale.o.zoom_y.o zoom_y FAILED 2194 1 + (0 + 1) × max(0, (0 + ... O(n3) 4 20
office_ghostscript_src_sjpegc.o.gs_jpeg_format_message.o gs_jpeg_format_message FAILED 494 FAILED 100
office_ghostscript_src_slzwce.o.s_LZWE_process.o s_LZWE_process FAILED 412 1 + (0 + 1) × max(0, (Sele... O(n) 3 30
office_ghostscript_src_slzwd.o.s_LZWD_process.o s_LZWD_process FAILED 264 FAILED 500
office_ghostscript_src_slzwd.o.s_LZWD_reset.o s_LZWD_reset FAILED 247 1 + (0 + 1) × max(0, (0 + ... O(n) 2 500
office_ghostscript_src_smtf.o.s_MTF_init.o s_MTF_init 259 O(1) 0 232 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_smtf.o.s_MTFD_process.o s_MTFD_process FAILED 1147 FAILED 80
office_ghostscript_src_smtf.o.s_MTFE_process.o s_MTFE_process FAILED 349 FAILED 20
office_ghostscript_src_spcxd.o.s_PCXD_process.o s_PCXD_process FAILED 266 1 + (0 + 1) × max(0, (max(... O(n) 3 20
office_ghostscript_src_spdiff.o.s_PDiff_process.o s_PDiff_process TIMEOUT FAILED 1180
office_ghostscript_src_spngp.o.s_pngp_process.o s_pngp_process FAILED 7278 1 + (0 + 1) × max(0, (coun... O(n) 1 60
office_ghostscript_src_spngp.o.s_PNGPD_process.o s_PNGPD_process FAILED 1811 FAILED 10
office_ghostscript_src_spngp.o.s_PNGPE_process.o s_PNGPE_process FAILED 2035 FAILED 10
office_ghostscript_src_srld.o.s_RLD_process.o s_RLD_process FAILED 2409 FAILED 600
office_ghostscript_src_srle.o.s_RLE_process.o s_RLE_process TIMEOUT FAILED 18960
office_ghostscript_src_sstring.o.s_AXD_process.o s_AXD_process FAILED 248 FAILED 20
office_ghostscript_src_sstring.o.s_AXE_process.o s_AXE_process FAILED 257 1 + (0 + 1) × max(0, (0 + ... O(n) 6 50
office_ghostscript_src_sstring.o.s_hex_process.o s_hex_process FAILED 201 FAILED 500
office_ghostscript_src_sstring.o.s_PSSD_process.o s_PSSD_process FAILED 478 1 + (0 + 1) × max(0, (Sele... O(n) 3 820
office_ghostscript_src_sstring.o.s_PSSE_process.o s_PSSE_process FAILED 376 1 + (0 + 1) × max(0, (Sele... O(n) 3 80
office_ghostscript_src_stream.o.s_std_read_flush.o s_std_read_flush FAILED 215 FAILED 10
office_ghostscript_src_stream.o.sgets.o sgets FAILED 291 FAILED 100
office_ghostscript_src_stream.o.spgetcc.o spgetcc FAILED 305 FAILED 10
office_ghostscript_src_stream.o.spputc.o spputc FAILED 227 FAILED 10
office_ghostscript_src_stream.o.spskip.o spskip FAILED 552 FAILED 30
office_ghostscript_src_stream.o.sputs.o sputs max([4*E+4,7]) O(n) 1 613 1 + (0 + 1) × max(0, (wlen... O(n) 1 30
office_ghostscript_src_stream.o.sreadbuf.o sreadbuf FAILED 233 FAILED 40
office_ghostscript_src_stream.o.swritebuf.o swritebuf FAILED 435 FAILED 1850
office_ghostscript_src_zarray.o.zaload.o zaload FAILED 604 1 + (0 + 1) × max(0, (0 + ... O(n) 1 20
office_ghostscript_src_zchar.o.font_bbox_param.o font_bbox_param 21 O(1) 0 263 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20
office_ghostscript_src_zchar.o.map_glyph_to_char.o map_glyph_to_char FAILED 330 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_zchar.o.op_show_find_index.o op_show_find_index FAILED 879 FAILED 30
office_ghostscript_src_zchar.o.op_show_restore.o op_show_restore FAILED 1139 FAILED 60
office_ghostscript_src_zchar.o.op_show_return_width.o op_show_return_width FAILED 934 FAILED 10
office_ghostscript_src_zchar1.o.bbox_finish.o bbox_finish TIMEOUT FAILED 310
office_ghostscript_src_zchar1.o.type1addpath_continue.o type1addpath_continue FAILED 267 FAILED 10
office_ghostscript_src_zchar1.o.z1_push_proc.o z1_push_proc max([1*A+4,4]) O(n) 1 285 1 + (0 + 1) × max(0, (coun... O(n) 1 10
office_ghostscript_src_zchar1.o.ztype1execchar.o ztype1execchar TIMEOUT FAILED 490
office_ghostscript_src_zchar2.o.moveshow_continue.o moveshow_continue FAILED 2670 FAILED 30
office_ghostscript_src_zcharout.o.zchar_set_cache.o zchar_set_cache TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(1) 0 820
office_ghostscript_src_zcie.o.cie_3d_table_param.o cie_3d_table_param max([1*A+6,6]) O(n) 1 396 1 + (0 + 1) × max(0, (coun... O(n) 1 500
office_ghostscript_src_zcie.o.cie_cache_finish.o cie_cache_finish 2569 O(1) 0 323 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_zcie.o.cie_prepare_caches.o cie_prepare_caches max([3*A+4,6]) O(n) 1 313 1 + (0 + 1) × max(0, (coun... O(n) 1 500
office_ghostscript_src_zcie.o.cie_table_param.o cie_table_param FAILED 2352 1 + (0 + 1) × max(0, ([(se... O(n) 3 20
office_ghostscript_src_zcie.o.dict_proc_array_param.o dict_proc_array_param max([3*B+8,10]) O(n) 1 407 1 + (0 + 1) × max(0, (coun... O(n) 1 10
office_ghostscript_src_zcolor.o.zcolor_remap_one_store.o zcolor_remap_one_store 1288 O(1) 0 319 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_zcontrol.o.count_to_stopped.o count_to_stopped FAILED 1005 FAILED 30
office_ghostscript_src_zcontrol.o.execstack_continue.o execstack_continue FAILED 513 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_zcontrol.o.pop_estack.o pop_estack max([8*E+5,5]) O(n) 1 644 1 + (0 + 1) × max(0, (coun... O(n) 1 500
office_ghostscript_src_zcontrol.o.zexecn.o zexecn FAILED 569 1 + (0 + 1) × max(0, (*(ge... O(n) 1 30
office_ghostscript_src_zcontrol.o.zexit.o zexit FAILED 1820 FAILED 20
office_ghostscript_src_zcontrol.o.zget_current_file.o zget_current_file FAILED 828 FAILED 20
office_ghostscript_src_zcrd.o.cache_colorrendering.o cache_colorrendering FAILED 1557 1 + (0 + 1) × max(0, (Sele... O(n) 4 40
office_ghostscript_src_zcrd.o.cie_cache_joint.o cie_cache_joint 102 O(1) 0 477 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
office_ghostscript_src_zcrd.o.cie_cache_render_finish.o cie_cache_render_finish FAILED 253 1 + (0 + 1) × max(0, (Sele... O(n) 4 20
office_ghostscript_src_zcrd.o.cie_exec_tpqr.o cie_exec_tpqr 13 O(1) 0 255 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
office_ghostscript_src_zcrd.o.zcrd_params.o zcrd_params FAILED 835 1 + (0 + 1) × max(0, (Sele... O(n) 4 30
office_ghostscript_src_zdevice.o.zputdeviceparams.o zputdeviceparams FAILED 2891 1 + (0 + 1) × max(0, (0 + ... O(n) 1 10
office_ghostscript_src_zdevice2.o.z2grestoreall.o z2grestoreall FAILED 287 FAILED 10
office_ghostscript_src_zdevice2.o.z2restore.o z2restore FAILED 260 FAILED 500
office_ghostscript_src_zdict.o.zcleardictstack.o zcleardictstack FAILED 225 FAILED 10
office_ghostscript_src_zdict.o.zdicttomark.o zdicttomark FAILED 690 1 + (0 + 1) × max(0, (ref_... O(n) 1 500
office_ghostscript_src_zdict.o.zend.o zend FAILED 233 FAILED 10
office_ghostscript_src_zdict.o.zload.o zload FAILED 521 FAILED 20
office_ghostscript_src_zdict.o.zop_def.o zop_def FAILED 1352 FAILED 60
office_ghostscript_src_zdict.o.zwhere.o zwhere FAILED 483 FAILED 20
office_ghostscript_src_zdps1.o.gstate_check_space.o gstate_check_space 28 O(1) 0 289 FAILED 10
office_ghostscript_src_zdps1.o.gstate_unshare.o gstate_unshare 34 O(1) 0 262 FAILED 10
office_ghostscript_src_zdps1.o.rect_get.o rect_get FAILED 1930 FAILED 100
office_ghostscript_src_zdps1.o.zcopy_gstate.o zcopy_gstate 145 O(1) 0 695 FAILED 30
office_ghostscript_src_zdps1.o.zcurrentgstate.o zcurrentgstate 141 O(1) 0 649 FAILED 30
office_ghostscript_src_zdps1.o.zgstate.o zgstate 41 O(1) 0 336 FAILED 500
office_ghostscript_src_zfdctc.o.quant_params.o quant_params max([4*A+6,8,1*A+4]) O(n) 1 483 1 + (0 + 1) × max(0, (coun... O(n) 1 30
office_ghostscript_src_zfdctc.o.zfdct_byte_params.o zfdct_byte_params max([1*E+4*A+7,4*A+7,9,1*E+... O(n) 2 958 1 + (0 + 1) × max(0, (coun... O(n) 2 40
office_ghostscript_src_zfdctc.o.zfdct_setup_huffman_tables.o zfdct_setup_huffman_tables TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(n2) 6 130
office_ghostscript_src_zfdctc.o.zfdct_setup_quantization_tables.o zfdct_setup_quantization_tables FAILED 7823 1 + (0 + 1) × max(0, (0 + ... O(n2) 6 60
office_ghostscript_src_zfdcte.o.dct_setup_samples.o dct_setup_samples max([2*C+8,8]) O(n) 1 525 1 + (0 + 1) × max(0, (num_... O(n) 1 20
office_ghostscript_src_zfdcte.o.zfdcte_setup.o zfdcte_setup FAILED 3767 1 + (0 + 1) × max(0, (*num... O(n) 1 90
office_ghostscript_src_zfile.o.file_alloc_stream.o file_alloc_stream FAILED 223 FAILED 20
office_ghostscript_src_zfile.o.file_close_file.o file_close_file FAILED 226 FAILED 10
office_ghostscript_src_zfile.o.file_forget_save.o file_forget_save FAILED 219 FAILED 10
office_ghostscript_src_zfile.o.file_gc_prepare.o file_gc_prepare FAILED 214 FAILED 10
office_ghostscript_src_zfile.o.file_restore.o file_restore FAILED 219 FAILED 10
office_ghostscript_src_zfileio.o.zreadhexstring_at.o zreadhexstring_at FAILED 617 FAILED 30
office_ghostscript_src_zfileio.o.zreadline_from.o zreadline_from FAILED 571 FAILED 50
office_ghostscript_src_zfileio.o.zwritehexstring_at.o zwritehexstring_at FAILED 834 FAILED 40
office_ghostscript_src_zfilterx.o.bhc_setup.o bhc_setup FAILED 29128 FAILED 200
office_ghostscript_src_zfilterx.o.zcomputecodes.o zcomputecodes FAILED 666 1 + (0 + 1) × max(0, (Sele... O(n) 5 30
office_ghostscript_src_zfont.o.font_restore.o font_restore FAILED 2899 FAILED 40
office_ghostscript_src_zfont.o.make_uint_array.o make_uint_array max([1*A+3,3]) O(n) 1 252 1 + (0 + 1) × max(0, (coun... O(n) 1 10
office_ghostscript_src_zfont.o.zsetcacheparams.o zsetcacheparams 19 O(1) 0 566 1 + (0 + 1) × max(0, (0 + 3)) O(1) 0 10
office_ghostscript_src_zfont0.o.zbuildfont0.o zbuildfont0 TIMEOUT 1 + (0 + 1) × max(0, (Sele... O(n) 3 470
office_ghostscript_src_zfont0.o.ztype0_adjust_FDepVector.o ztype0_adjust_FDepVector FAILED 295 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_zfont1.o.buildfont1or4.o buildfont1or4 FAILED 24729 1 + (0 + 1) × max(0, (Sele... O(n) 9 2090
office_ghostscript_src_zfont2.o.lookup_gs_simple_font_encoding.o lookup_gs_simple_font_encoding FAILED 6949 1 + (0 + 1) × max(0, (0 + ... O(n) 5 420
office_ghostscript_src_zfont2.o.zfont2_init.o zfont2_init 12 O(1) 0 252 1 + (0 + 1) × max(0, (0 + 5)) O(1) 0 10
office_ghostscript_src_zfont2.o.zregisterencoding.o zregisterencoding FAILED 343 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_zfont42.o.z42_string_proc.o z42_string_proc FAILED 404 FAILED 10
office_ghostscript_src_zfproc.o.s_handle_read_exception.o s_handle_read_exception FAILED 336 FAILED 10
office_ghostscript_src_zfproc.o.s_handle_write_exception.o s_handle_write_exception FAILED 440 FAILED 10
office_ghostscript_src_zfproc.o.s_proc_read_continue.o s_proc_read_continue FAILED 221 FAILED 20
office_ghostscript_src_zfproc.o.s_proc_write_continue.o s_proc_write_continue FAILED 218 FAILED 20
office_ghostscript_src_zgeneric.o.copy_interval.o copy_interval FAILED 1092 1 + (0 + 1) × max(0, (Sele... O(n) 3 50
office_ghostscript_src_zgeneric.o.zcopy_integer.o zcopy_integer FAILED 551 1 + (0 + 1) × max(0, (0 + ... O(n) 1 30
office_ghostscript_src_zgeneric.o.zgeneric_init.o zgeneric_init 24 O(1) 0 231 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_zgeneric.o.zgetinterval.o zgetinterval FAILED 289 0 + 1 O(1) 0 10
office_ghostscript_src_zgstate.o.igs_init.o igs_init 44 O(1) 0 269 FAILED 500
office_ghostscript_src_zgstate.o.zsetdash.o zsetdash FAILED 648 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_zht.o.zcurrenthalftone.o zcurrenthalftone 22 O(1) 0 268 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 20
office_ghostscript_src_zht1.o.zsetcolorscreen.o zsetcolorscreen 60 O(1) 0 1146 1 + (0 + 1) × max(0, (0 + ... O(1) 0 40
office_ghostscript_src_zht2.o.zsethalftone5.o zsethalftone5 TIMEOUT 1 + 9 × max(0, 1) + 9 × m... O(1) 0 450
office_ghostscript_src_zimage.o.image_cleanup.o image_cleanup FAILED 222 1 + (0 + 1) × max(0, (Sele... O(n) 2 20
office_ghostscript_src_zimage.o.image_file_buffered_continue.o image_file_buffered_continue TIMEOUT FAILED 130
office_ghostscript_src_zimage.o.image_file_continue.o image_file_continue FAILED 9338 FAILED 760
office_ghostscript_src_zimage.o.image_string_process.o image_string_process FAILED 264 FAILED 20
office_ghostscript_src_zimage.o.zimage_setup.o zimage_setup max([3*A+38,41,max([3*A+1,m... O(n2) 1 35866 FAILED 230
office_ghostscript_src_zmedia2.o.zmatch_page_size.o zmatch_page_size 24 O(1) 0 1324 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
office_ghostscript_src_zmedia2.o.zmatchmedia.o zmatchmedia TIMEOUT FAILED 590
office_ghostscript_src_zmisc.o.zbind.o zbind FAILED 7446 FAILED 710
office_ghostscript_src_zmisc.o.zmakeoperator.o zmakeoperator FAILED 348 FAILED 20
office_ghostscript_src_zmisc.o.zoserrorstring.o zoserrorstring FAILED 268 FAILED 20
office_ghostscript_src_zmisc.o.zsetdebug.o zsetdebug FAILED 255 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_ghostscript_src_zmisc2.o.set_language_level.o set_language_level FAILED 13531 FAILED 70
office_ghostscript_src_zpacked.o.make_packed_array.o make_packed_array TIMEOUT FAILED 390
office_ghostscript_src_zpath1.o.pf_push.o pf_push FAILED 281 FAILED 10
office_ghostscript_src_zstack.o.zroll.o zroll TIMEOUT FAILED 570
office_ghostscript_src_zstring.o.zsearch.o zsearch FAILED 540 1 + (0 + 1) × max(0, (1 + ... O(n) 5 10
office_ghostscript_src_ztoken.o.token_continue.o token_continue FAILED 714 FAILED 10
office_ghostscript_src_ztoken.o.tokenexec_continue.o tokenexec_continue FAILED 2843 FAILED 500
office_ghostscript_src_ztype.o.zcvrs.o zcvrs FAILED 3814 FAILED 30
office_ghostscript_src_ztype.o.ztype_init.o ztype_init 91 O(1) 0 273 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
office_ghostscript_src_zupath.o.upath_append.o upath_append TIMEOUT FAILED 290
office_ghostscript_src_zusparam.o.current_param_list.o current_param_list FAILED 29727 1 + (0 + 1) × max(0, (Sele... O(n) 4 40
office_ghostscript_src_zusparam.o.setparams.o setparams FAILED 694 1 + (0 + 1) × max(0, (Sele... O(n) 3 20
office_ghostscript_src_zvmem.o.restore_check_stack.o restore_check_stack FAILED 8825 FAILED 220
office_ghostscript_src_zvmem.o.restore_fix_stack.o restore_fix_stack FAILED 1194 FAILED 20
office_ghostscript_src_zvmem.o.zforgetsave.o zforgetsave FAILED 255 FAILED 10
office_ghostscript_src_zvmem.o.zrestore.o zrestore FAILED 342 FAILED 10
office_ispell_src_correct.o.askmode.o askmode TIMEOUT FAILED 160
office_ispell_src_correct.o.casecmp.o casecmp FAILED 324 FAILED 30
office_ispell_src_correct.o.checkfile.o checkfile FAILED 17642 FAILED 120
office_ispell_src_correct.o.copyout.o copyout max([4*F+4,4]) O(n) 1 528 1 + (0 + 1) × max(0, (cnt ... O(n) 1 10
office_ispell_src_correct.o.correct.o correct TIMEOUT FAILED 250
office_ispell_src_correct.o.extraletter.o extraletter FAILED 242 FAILED 10
office_ispell_src_correct.o.getline.o getline FAILED 535 FAILED 50
office_ispell_src_correct.o.givehelp.o givehelp FAILED 430 FAILED 500
office_ispell_src_correct.o.ins_cap.o ins_cap FAILED 316 1 + (0 + 1) × max(0, (save... O(n) 1 10
office_ispell_src_correct.o.ins_root_cap.o ins_root_cap FAILED 399 1 + (0 + 1) × max(0, (*nsa... O(n) 1 500
office_ispell_src_correct.o.insert.o insert max([3*B+10,12]) O(n) 1 523 1 + (0 + 1) × max(0, (*pco... O(n) 1 10
office_ispell_src_correct.o.inserttoken.o inserttoken FAILED 447 FAILED 50
office_ispell_src_correct.o.line_size.o line_size FAILED 266 FAILED 500
office_ispell_src_correct.o.lookharder.o lookharder FAILED 282 FAILED 10
office_ispell_src_correct.o.makepossibilities.o makepossibilities 130 O(1) 0 18581 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
office_ispell_src_correct.o.missingletter.o missingletter FAILED 1389 FAILED 50
office_ispell_src_correct.o.missingspace.o missingspace FAILED 3287 FAILED 30
office_ispell_src_correct.o.save_cap.o save_cap max([5*A+5,5]) O(n) 1 791 1 + (0 + 1) × max(0, (*num... O(n) 1 10
office_ispell_src_correct.o.save_root_cap.o save_root_cap TIMEOUT FAILED 420
office_ispell_src_correct.o.show_char.o show_char max([12*I+9,11]) O(n) 1 2751 FAILED 200
office_ispell_src_correct.o.show_line.o show_line FAILED 2532 FAILED 90
office_ispell_src_correct.o.transposedletter.o transposedletter FAILED 237 FAILED 10
office_ispell_src_correct.o.wrongletter.o wrongletter FAILED 2157 1 + (0 + 1) × max(0, (strl... O(n2) 2 20
office_ispell_src_defmt.o.checkline.o checkline TIMEOUT FAILED 1940
office_ispell_src_defmt.o.skipoverword.o skipoverword FAILED 561 FAILED 50
office_ispell_src_defmt.o.skiptoword.o skiptoword TIMEOUT FAILED 890
office_ispell_src_defmt.o.TeX_open_paren.o TeX_open_paren FAILED 221 FAILED 500
office_ispell_src_defmt.o.TeX_skip_check.o TeX_skip_check FAILED 1718 FAILED 30
office_ispell_src_defmt.o.TeX_skip_parens.o TeX_skip_parens FAILED 219 FAILED 10
office_ispell_src_dump.o.entdump.o entdump FAILED 442 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ispell_src_dump.o.setdump.o setdump 137 O(1) 0 328 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
office_ispell_src_dump.o.subsetdump.o subsetdump 65800 O(1) 0 3260 1 + 128 × max(0, 1) + (0 ... O(1) 0 60
office_ispell_src_dump.o.tbldump.o tbldump max([3*C+3,3]) O(n) 1 269 1 + (0 + 1) × max(0, (numf... O(n) 1 500
office_ispell_src_good.o.cap_ok.o cap_ok TIMEOUT FAILED 490
office_ispell_src_good.o.flagpr.o flagpr TIMEOUT FAILED 430
office_ispell_src_good.o.good.o good FAILED 898 FAILED 500
office_ispell_src_hash.o.hash.o hash FAILED 683 FAILED 20
office_ispell_src_ispell.o.expandmode.o expandmode FAILED 14999 FAILED 40
office_ispell_src_ispell.o.initckch.o initckch FAILED 881 FAILED 30
office_ispell_src_ispell.o.main.o main TIMEOUT FAILED 860
office_ispell_src_ispell.o.update_file.o update_file FAILED 1443 FAILED 10
office_ispell_src_lookup.o.linit.o linit TIMEOUT FAILED 1820
office_ispell_src_lookup.o.lookup.o lookup FAILED 1338 FAILED 30
office_ispell_src_makedent.o.combinecaps.o combinecaps FAILED 370 FAILED 10
office_ispell_src_makedent.o.findfiletype.o findfiletype FAILED 26566 FAILED 30
office_ispell_src_makedent.o.ichartostr.o ichartostr FAILED 3342 FAILED 40
office_ispell_src_makedent.o.lowcase.o lowcase FAILED 214 FAILED 500
office_ispell_src_makedent.o.makedent.o makedent FAILED 5522 FAILED 50
office_ispell_src_makedent.o.stringcharlen.o stringcharlen FAILED 1000 FAILED 250
office_ispell_src_makedent.o.strtoichar.o strtoichar max([5*E+ -1,4]) O(n) 1 541 1 + (0 + 1) × max(0, (-1 +... O(n) 1 10
office_ispell_src_makedent.o.toutent.o toutent FAILED 602 FAILED 10
office_ispell_src_makedent.o.toutword.o toutword 111 O(1) 0 336 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
office_ispell_src_makedent.o.upcase.o upcase FAILED 215 FAILED 500
office_ispell_src_makedent.o.whatcap.o whatcap FAILED 303 FAILED 50
office_ispell_src_term.o.shellescape.o shellescape TIMEOUT FAILED 190
office_ispell_src_tgood.o.chk_aff.o chk_aff FAILED 544 FAILED 40
office_ispell_src_tgood.o.chk_suf.o chk_suf FAILED 447 FAILED 60
office_ispell_src_tgood.o.expand_pre.o expand_pre max([4*A+3,3]) O(n) 1 299 1 + (0 + 1) × max(0, (*num... O(n) 1 10
office_ispell_src_tgood.o.expand_suf.o expand_suf max([5*A+3,3]) O(n) 1 325 1 + (0 + 1) × max(0, (*num... O(n) 1 500
office_ispell_src_tgood.o.forcelc.o forcelc max([1*B+3,3]) O(n) 1 253 1 + (0 + 1) × max(0, (len ... O(n) 1 500
office_ispell_src_tgood.o.pfx_list_chk.o pfx_list_chk TIMEOUT FAILED 1460
office_ispell_src_tgood.o.pr_pre_expansion.o pr_pre_expansion TIMEOUT FAILED 40
office_ispell_src_tgood.o.pr_suf_expansion.o pr_suf_expansion FAILED 544 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_ispell_src_tgood.o.suf_list_chk.o suf_list_chk TIMEOUT FAILED 260
office_ispell_src_tree.o.tinsert.o tinsert FAILED 380 FAILED 10
office_ispell_src_tree.o.treeinsert.o treeinsert TIMEOUT FAILED 60
office_ispell_src_tree.o.treeload.o treeload FAILED 227 FAILED 500
office_ispell_src_tree.o.treelookup.o treelookup FAILED 499 FAILED 10
office_ispell_src_tree.o.treeoutput.o treeoutput FAILED 47977 FAILED 420
office_ispell_src_xgets.o.xgets.o xgets FAILED 2515 FAILED 90
office_rsynth_src_aufile.o.aufile_write.o aufile_write FAILED 1137 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
office_rsynth_src_aufile.o.wblong.o wblong 78 O(1) 0 261 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
office_rsynth_src_darray.o.darray_delete.o darray_delete FAILED 368 1 + (0 + 1) × max(0, (Sele... O(n) 3 10
office_rsynth_src_getarg.o.getargs.o getargs TIMEOUT FAILED 1100
office_rsynth_src_holmes.o.holmes.o holmes TIMEOUT FAILED 990
office_rsynth_src_holmes.o.set_trans.o set_trans 60 O(1) 0 274 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
office_rsynth_src_linuxplay.o.audio_play.o audio_play max([1*I+18,18]) O(n) 1 1361 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
office_rsynth_src_nsynth.o.parwave.o parwave FAILED 3934 1 + (0 + 1) × max(0, (Sele... O(n) 2 10
office_rsynth_src_nsynth.o.show_parms.o show_parms 328 O(1) 0 696 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
office_rsynth_src_phtoelm.o.enter.o enter FAILED 271 FAILED 500
office_rsynth_src_phtoelm.o.find_elm.o find_elm FAILED 236 1 + (0 + 1) × max(0, (Elem... O(n) 2 10
office_rsynth_src_phtoelm.o.phone_to_elm.o phone_to_elm FAILED 1636 FAILED 20
office_rsynth_src_say.o.concat_args.o concat_args FAILED 1203 FAILED 20
office_rsynth_src_say.o.darray_fget.o darray_fget FAILED 289 FAILED 10
office_rsynth_src_say.o.say_file.o say_file FAILED 1700 1 + (0 + 1) × max(0, (*loo... O(n) 1 20
office_rsynth_src_say.o.spell_out.o spell_out max([3*C+5,5]) O(n) 1 273 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 500
office_rsynth_src_say.o.suspect_word.o suspect_word max([5*D+7,7]) O(n) 1 388 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
office_rsynth_src_text.o.find_rule.o find_rule FAILED 569 FAILED 40
office_rsynth_src_text.o.guess_word.o guess_word FAILED 243 FAILED 10
office_rsynth_src_text.o.leftmatch.o leftmatch FAILED 4488 FAILED 230
office_rsynth_src_text.o.NRL.o NRL max([4*E+10,10]) O(n) 1 479 1 + (0 + 1) × max(0, (n + 0)) O(n) 1 10
office_rsynth_src_text.o.phone_cat.o phone_cat FAILED 233 FAILED 500
office_rsynth_src_text.o.rightmatch.o rightmatch FAILED 1893 FAILED 460
office_rsynth_src_trie.o.trie_insert.o trie_insert FAILED 257 FAILED 10
office_rsynth_src_trie.o.trie_lookup.o trie_lookup FAILED 241 FAILED 10
office_stringsearch1_src_bmhasrch.o.bmha_init.o bmha_init FAILED 1385 1 + (0 + 1) × max(0, (*pat... O(n) 1 30
office_stringsearch1_src_bmhasrch.o.bmha_search.o bmha_search FAILED 812 FAILED 20
office_stringsearch1_src_bmhisrch.o.bmhi_init.o bmhi_init FAILED 1752 1 + (0 + 1) × max(0, (*pat... O(n) 1 50
office_stringsearch1_src_bmhisrch.o.bmhi_search.o bmhi_search FAILED 1786 FAILED 20
office_stringsearch1_src_bmhsrch.o.bmh_init.o bmh_init FAILED 647 1 + (0 + 1) × max(0, (*pat... O(n) 1 30
office_stringsearch1_src_bmhsrch.o.bmh_search.o bmh_search FAILED 812 FAILED 10
office_stringsearch1_src_pbmsrch_large.o.init_search.o init_search FAILED 381 1 + (0 + 1) × max(0, (*len... O(n) 1 20
office_stringsearch1_src_pbmsrch_large.o.main.o main TIMEOUT FAILED 540
office_stringsearch1_src_pbmsrch_large.o.strsearch.o strsearch FAILED 4159 FAILED 80
security_blowfish_d_src_bf.o.main.o main TIMEOUT FAILED 200
security_blowfish_d_src_bf_cbc.o.BF_cbc_encrypt.o BF_cbc_encrypt max([3*D+ -6,15]) O(n) 1 791 1 + (0 + 1) × max(0, (leng... O(n) 1 10
security_blowfish_d_src_bf_cfb64.o.BF_cfb64_encrypt.o BF_cfb64_encrypt FAILED 1069 FAILED 10
security_blowfish_d_src_bf_ofb64.o.BF_ofb64_encrypt.o BF_ofb64_encrypt FAILED 434 FAILED 500
security_blowfish_d_src_bf_skey.o.BF_set_key.o BF_set_key 3151 O(1) 0 491 1 + (0 + 1) × max(0, (0 + ... O(1) 0 50
security_pgp_d_src_armor.o.armor_file.o armor_file TIMEOUT FAILED 1550
security_pgp_d_src_armor.o.armordecode.o armordecode TIMEOUT FAILED 410
security_pgp_d_src_armor.o.copyline.o copyline FAILED 301 FAILED 10
security_pgp_d_src_armor.o.crcbytes.o crcbytes FAILED 304 1 + (0 + 1) × max(0, (len ... O(n) 1 500
security_pgp_d_src_armor.o.darmor_buffer.o darmor_buffer FAILED 261 FAILED 30
security_pgp_d_src_armor.o.darmor_file.o darmor_file TIMEOUT FAILED 20
security_pgp_d_src_armor.o.get_armor_line.o get_armor_line FAILED 776 FAILED 380
security_pgp_d_src_armor.o.getline.o getline FAILED 418 1 + (0 + 1) × max(0, (n + ... O(n) 1 20
security_pgp_d_src_armor.o.is_armorfile.o is_armorfile FAILED 1768 FAILED 10
security_pgp_d_src_armor.o.isheaderline.o isheaderline FAILED 888 FAILED 10
security_pgp_d_src_armor.o.mk_crctbl.o mk_crctbl 257 O(1) 0 242 1 + (0 + 1) × max(0, (0 + ... O(1) 0 500
security_pgp_d_src_armor.o.numFilename.o numFilename max([8,nat(min([1*E+ -1,2])... O(1) 2 1943 1 + (0 + 1) × max(0, (0 + ... O(n) 1 20
security_pgp_d_src_armor.o.open_next.o open_next FAILED 270 FAILED 40
security_pgp_d_src_armor.o.skipheaders.o skipheaders FAILED 404 FAILED 30
security_pgp_d_src_config.o.extractToken.o extractToken FAILED 607 FAILED 20
security_pgp_d_src_config.o.getaString.o getaString TIMEOUT FAILED 70
security_pgp_d_src_config.o.lookup.o lookup max([3*F+6*G+10,6*G+10,3*F+... O(n) 2 1505 1 + (0 + 1) × max(0, (keyL... O(n) 2 10
security_pgp_d_src_config.o.processConfigFile.o processConfigFile FAILED 606 FAILED 1350
security_pgp_d_src_config.o.processConfigLine.o processConfigLine FAILED 417 1 + (0 + 1) × max(0, (100 ... O(n) 1 10
security_pgp_d_src_crypto.o.check_key_sig.o check_key_sig 55 O(1) 0 4024 1 + (0 + 1) × max(0, (0 + ... O(1) 0 90
security_pgp_d_src_crypto.o.check_signaturefile.o check_signaturefile TIMEOUT 1 + (0 + 1) × max(0, (0 + ... O(1) 0 100
security_pgp_d_src_crypto.o.CToPascal.o CToPascal FAILED 286 FAILED 500
security_pgp_d_src_crypto.o.date_ymd.o date_ymd 52 O(1) 0 919 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
security_pgp_d_src_crypto.o.decryptfile.o decryptfile TIMEOUT FAILED 450
security_pgp_d_src_crypto.o.do_sign.o do_sign FAILED 17958 FAILED 10
security_pgp_d_src_crypto.o.encryptfile.o encryptfile FAILED 13030 FAILED 30
security_pgp_d_src_crypto.o.encryptkeyintofile.o encryptkeyintofile FAILED 1438 1 + (0 + 1) × max(0, (keys... O(n) 2 10
security_pgp_d_src_crypto.o.idea_decryptfile.o idea_decryptfile TIMEOUT FAILED 20
security_pgp_d_src_crypto.o.idea_file.o idea_file 25 O(1) 0 5657 FAILED 110
security_pgp_d_src_crypto.o.make_random_ideakey.o make_random_ideakey max([-5*B+140,20]) O(n) 1 381 1 + (0 + 1) × max(0, (24 +... O(n) 1 10
security_pgp_d_src_crypto.o.make_signature_certificate.o make_signature_certificate FAILED 2391 FAILED 40
security_pgp_d_src_crypto.o.PascalToC.o PascalToC FAILED 247 1 + (0 + 1) × max(0, (*s +... O(n) 1 500
security_pgp_d_src_fileio.o.ck_dup_output.o ck_dup_output FAILED 2740 FAILED 30
security_pgp_d_src_fileio.o.cleanup_tmpf.o cleanup_tmpf 35 O(1) 0 249 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 500
security_pgp_d_src_fileio.o.copyfile.o copyfile FAILED 7433 FAILED 50
security_pgp_d_src_fileio.o.copyfile_from_canon.o copyfile_from_canon FAILED 6085 FAILED 180
security_pgp_d_src_fileio.o.copyfile_to_canon.o copyfile_to_canon TIMEOUT FAILED 250
security_pgp_d_src_fileio.o.ext_missing.o ext_missing FAILED 225 FAILED 10
security_pgp_d_src_fileio.o.file_tail.o file_tail FAILED 223 FAILED 500
security_pgp_d_src_fileio.o.files_missing.o files_missing FAILED 280 FAILED 10
security_pgp_d_src_fileio.o.is_text_file.o is_text_file FAILED 586 FAILED 20
security_pgp_d_src_fileio.o.manuals_missing.o manuals_missing FAILED 227 FAILED 20
security_pgp_d_src_fileio.o.readPhantomInput.o readPhantomInput FAILED 516 FAILED 500
security_pgp_d_src_fileio.o.rmtemp.o rmtemp 52 O(1) 0 497 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10
security_pgp_d_src_fileio.o.savetemp.o savetemp 54 O(1) 0 574 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10
security_pgp_d_src_fileio.o.tempfile.o tempfile TIMEOUT FAILED 170
security_pgp_d_src_fileio.o.wipeout.o wipeout TIMEOUT 1 + (0 + 1) × max(0, (ftel... O(n2) 2 90
security_pgp_d_src_fileio.o.writePhantomOutput.o writePhantomOutput FAILED 597 FAILED 10
security_pgp_d_src_genprime.o.buildsieve.o buildsieve FAILED 222 FAILED 10
security_pgp_d_src_genprime.o.fastsieve.o fastsieve FAILED 776 FAILED 500
security_pgp_d_src_genprime.o.mp_gcd.o mp_gcd FAILED 357 FAILED 20
security_pgp_d_src_genprime.o.mp_inv.o mp_inv FAILED 508 FAILED 20
security_pgp_d_src_genprime.o.nextprime.o nextprime FAILED 6178 FAILED 80
security_pgp_d_src_genprime.o.randombits.o randombits max([3*B+ -37,8]) O(n) 1 317 1 + (0 + 1) × max(0, (nbit... O(n) 1 500
security_pgp_d_src_genprime.o.randomunit.o randomunit 8 O(1) 0 220 1 + (0 + 1) × max(0, (0 + 3)) O(1) 0 10
security_pgp_d_src_genprime.o.slowtest.o slowtest 47 O(1) 0 448 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 10
security_pgp_d_src_idea.o.ideaCfbDecrypt.o ideaCfbDecrypt FAILED 2350 FAILED 30
security_pgp_d_src_idea.o.ideaCfbEncrypt.o ideaCfbEncrypt FAILED 2360 FAILED 30
security_pgp_d_src_idea.o.ideaCipher.o ideaCipher 44 O(1) 0 464 FAILED 10
security_pgp_d_src_idea.o.ideaExpandKey.o ideaExpandKey 56 O(1) 0 298 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
security_pgp_d_src_idea.o.ideaRandByte.o ideaRandByte 28 O(1) 0 346 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
security_pgp_d_src_idea.o.ideaRandState.o ideaRandState 13 O(1) 0 232 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10
security_pgp_d_src_keyadd.o._addto_keyring.o _addto_keyring TIMEOUT FAILED 900
security_pgp_d_src_keyadd.o.addto_keyring.o addto_keyring FAILED 364 FAILED 10
security_pgp_d_src_keyadd.o.ask_to_sign.o ask_to_sign FAILED 1590 FAILED 10
security_pgp_d_src_keyadd.o.find_keyID.o find_keyID FAILED 220 FAILED 500
security_pgp_d_src_keyadd.o.freebufpool.o freebufpool FAILED 215 FAILED 500
security_pgp_d_src_keyadd.o.get_publickey.o get_publickey FAILED 511 FAILED 40
security_pgp_d_src_keyadd.o.gpk_open.o gpk_open FAILED 373 FAILED 10
security_pgp_d_src_keyadd.o.mergekeys.o mergekeys TIMEOUT FAILED 220
security_pgp_d_src_keyadd.o.mergesigs.o mergesigs TIMEOUT FAILED 110
security_pgp_d_src_keyadd.o.sig_list_clear.o sig_list_clear FAILED 215 FAILED 10
security_pgp_d_src_keyadd.o.sig_list_find.o sig_list_find FAILED 227 FAILED 10
security_pgp_d_src_keymaint.o._user_from_keyID.o _user_from_keyID FAILED 1774 FAILED 110
security_pgp_d_src_keymaint.o.check_secretkey.o check_secretkey TIMEOUT FAILED 50
security_pgp_d_src_keymaint.o.compute_legit.o compute_legit FAILED 239 FAILED 10
security_pgp_d_src_keymaint.o.free_newkeys.o free_newkeys FAILED 216 FAILED 500
security_pgp_d_src_keymaint.o.freebufpool.o freebufpool FAILED 360 FAILED 10
security_pgp_d_src_keymaint.o.getpubkey.o getpubkey FAILED 226 FAILED 10
security_pgp_d_src_keymaint.o.init_trust_lst.o init_trust_lst 113 O(1) 0 1207 1 + (0 + 1) × max(0, (0 + ... O(1) 0 10
security_pgp_d_src_keymaint.o.init_userhash.o init_userhash FAILED 1285 FAILED 20
security_pgp_d_src_keymaint.o.ismember_newkeys.o ismember_newkeys FAILED 220 FAILED 10
security_pgp_d_src_keymaint.o.lookup_by_keyID.o lookup_by_keyID FAILED 424 FAILED 10
security_pgp_d_src_keymaint.o.maint_final.o maint_final FAILED 7250 FAILED 1910
security_pgp_d_src_keymaint.o.maint_list.o maint_list FAILED 4071 FAILED 50
security_pgp_d_src_keymaint.o.maint_read_data.o maint_read_data FAILED 1952 FAILED 1670
security_pgp_d_src_keymaint.o.maint_trace_chain.o maint_trace_chain FAILED 307 FAILED 10
security_pgp_d_src_keymaint.o.setkrent.o setkrent max([3*A+6,8]) O(n) 1 411 1 + (0 + 1) × max(0, (*nkr... O(n) 1 10
security_pgp_d_src_keymaint.o.show_key.o show_key FAILED 16468 FAILED 60
security_pgp_d_src_keymaint.o.show_userid.o show_userid FAILED 428 FAILED 10
security_pgp_d_src_keymaint.o.user_from_keyID.o user_from_keyID FAILED 223 FAILED 10
security_pgp_d_src_keymgmt.o.dokeycheck.o dokeycheck TIMEOUT FAILED 170
security_pgp_d_src_keymgmt.o.dokeyedit.o dokeyedit TIMEOUT FAILED 20
security_pgp_d_src_keymgmt.o.dokeygen.o dokeygen TIMEOUT FAILED 40
security_pgp_d_src_keymgmt.o.extract_from_keyring.o extract_from_keyring TIMEOUT FAILED 390
security_pgp_d_src_keymgmt.o.extract_keyID.o extract_keyID 15 O(1) 0 235 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 500
security_pgp_d_src_keymgmt.o.getKeyHash.o getKeyHash FAILED 877 FAILED 20
security_pgp_d_src_keymgmt.o.getpublickey.o getpublickey TIMEOUT FAILED 330
security_pgp_d_src_keymgmt.o.getpubuserid.o getpubuserid FAILED 503 FAILED 40
security_pgp_d_src_keymgmt.o.getpubusersig.o getpubusersig FAILED 559 FAILED 20
security_pgp_d_src_keymgmt.o.getsecretkey.o getsecretkey TIMEOUT FAILED 300
security_pgp_d_src_keymgmt.o.keyIDstring.o keyIDstring 15 O(1) 0 241 1 + (0 + 1) × max(0, (0 + 4)) O(1) 0 500
security_pgp_d_src_keymgmt.o.kvformat_keypacket.o kvformat_keypacket FAILED 47510 FAILED 40
security_pgp_d_src_keymgmt.o.printKeyHash.o printKeyHash 59 O(1) 0 554 1 + (0 + 1) × max(0, (0 + ... O(1) 0 20
security_pgp_d_src_keymgmt.o.remove_from_keyring.o remove_from_keyring FAILED 900 FAILED 840
security_pgp_d_src_keymgmt.o.remove_sigs.o remove_sigs FAILED 19826 FAILED 40
security_pgp_d_src_keymgmt.o.userid_match.o userid_match FAILED 14526 FAILED 130
security_pgp_d_src_keymgmt.o.writekeyfile.o writekeyfile 86 O(1) 0 1804 1 + (0 + 1) × max(0, (0 + 8)) O(1) 0 10
security_pgp_d_src_language.o.LANG.o LANG FAILED 385 FAILED 10
security_pgp_d_src_language.o.lookup_offset.o lookup_offset max([1*A+4,4]) O(n) 1 448 1 + (0 + 1) × max(0, (*nms... O(n) 1 500
security_pgp_d_src_language.o.make_indexfile.o make_indexfile TIMEOUT FAILED 60
security_pgp_d_src_language.o.readstr.o readstr FAILED 6503 FAILED 490
security_pgp_d_src_md5.o.MD5Update.o MD5Update FAILED 474 1 + (0 + 1) × max(0, (-63 ... O(n) 3 10
security_pgp_d_src_mdfile.o.MDfile0.o MDfile0 FAILED 257 FAILED 10
security_pgp_d_src_mdfile.o.MDfile0_len.o MDfile0_len FAILED 1161 1 + (0 + 1) × max(0, (long... O(n) 1 10
security_pgp_d_src_memmove.o.memmove.o memmove FAILED 10383 1 + (0 + 1) × max(0, (1 + ... O(n) 3 280
security_pgp_d_src_more.o.more_file.o more_file TIMEOUT FAILED 620
security_pgp_d_src_mpiio.o.cbc_xor.o cbc_xor FAILED 261 FAILED 10
security_pgp_d_src_mpiio.o.checksum.o checksum FAILED 282 1 + (0 + 1) × max(0, (coun... O(n) 1 10
security_pgp_d_src_mpiio.o.hiloswap.o hiloswap FAILED 224 1 + (0 + 1) × max(0, (numb... O(n) 1 500
security_pgp_d_src_mpiio.o.mp_display.o mp_display FAILED 8742 FAILED 30
security_pgp_d_src_mpiio.o.mpi2reg.o mpi2reg FAILED 543 1 + (0 + 1) × max(0, (1 + ... O(n) 1 10
security_pgp_d_src_mpiio.o.putstr.o putstr FAILED 223 FAILED 500
security_pgp_d_src_mpiio.o.reg2mpi.o reg2mpi FAILED 652 FAILED 500
security_pgp_d_src_mpiio.o.string_length.o string_length FAILED 220 FAILED 500
security_pgp_d_src_mpilib.o.countbits.o countbits FAILED 217 FAILED 10
security_pgp_d_src_mpilib.o.mp_addc.o mp_addc FAILED 338 FAILED 500
security_pgp_d_src_mpilib.o.mp_compare.o mp_compare FAILED 362 FAILED 10
security_pgp_d_src_mpilib.o.mp_dec.o mp_dec FAILED 362 FAILED 500
security_pgp_d_src_mpilib.o.mp_dmul.o mp_dmul max([48*A+2,5]) O(n) 1 332 1 + (0 + 1) × max(0, (*mun... O(n) 1 10
security_pgp_d_src_mpilib.o.mp_inc.o mp_inc FAILED 360 FAILED 500
security_pgp_d_src_mpilib.o.mp_mod.o mp_mod FAILED 911 FAILED 20
security_pgp_d_src_mpilib.o.mp_modexp.o mp_modexp FAILED 2536 FAILED 60
security_pgp_d_src_mpilib.o.mp_mult.o mp_mult FAILED 659 FAILED 20
security_pgp_d_src_mpilib.o.mp_neg.o mp_neg FAILED 330 FAILED 500
security_pgp_d_src_mpilib.o.mp_recip.o mp_recip FAILED 511 FAILED 10
security_pgp_d_src_mpilib.o.mp_rotate_left.o mp_rotate_left FAILED 307 FAILED 500
security_pgp_d_src_mpilib.o.mp_shift_right_bits.o mp_shift_right_bits FAILED 579 FAILED 10
security_pgp_d_src_mpilib.o.mp_shortdiv.o mp_shortdiv FAILED 522 FAILED 10
security_pgp_d_src_mpilib.o.mp_shortmod.o mp_shortmod FAILED 506 FAILED 10
security_pgp_d_src_mpilib.o.mp_smul.o mp_smul FAILED 264