Tool CPAchecker 1.2-svn 0ad5df3+
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 4
Host db6
OS Linux 3.2.0-40-generic x86_64
System CPU: Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz with 4 cores, frequency: 3401 MHz; RAM: 32827656 kB
Date of execution 13-04-25 18:37 13-04-26 12:22
Run set explicit-generate-errorpath explicit-verify-errorpath
Options -noout
-disable-java-assertions
-heap 14000M
-explicitAnalysis
-setprop cpa.arg.errorPath.automaton=errorpath.${sourcefile_name}.spc		 -noout
-disable-java-assertions
-heap 14000M
-explicitAnalysis
-spec output/errorpath.${sourcefile_name}.spc
test/programs/benchmarks/ status cputime walltime memUsage status cputime walltime memUsage
bitvector/byte_add_unsafe.i - - - - - - - -
bitvector/s3_clnt_1_unsafe.BV.c.cil.c unsafe 3.76 2.69 169717760 unsafe 2.64 1.98 126828544
bitvector/s3_clnt_2_unsafe.BV.c.cil.c unsafe 3.91 2.54 208584704 unsafe 2.24 1.69 127131648
bitvector/s3_clnt_3_unsafe.BV.c.cil.c unsafe 4.39 3.27 184778752 unsafe 2.28 1.67 124997632
bitvector/s3_srvr_1_unsafe.BV.c.cil.c - - - - - - - -
bitvector/s3_srvr_2_unsafe.BV.c.cil.c - - - - - - - -
bitvector/s3_srvr_3_unsafe.BV.c.cil.c - - - - - - - -
ntdrivers-simplified/cdaudio_simpl1_unsafe.cil.c unsafe 6.56 3.44 249171968 unsafe 2.38 1.68 135360512
ntdrivers-simplified/floppy_simpl3_unsafe.cil.c unsafe 7.23 3.99 255926272 unsafe 2.24 1.70 126504960
ntdrivers-simplified/floppy_simpl4_unsafe.cil.c unsafe 8.13 4.73 374362112 unsafe 2.37 1.79 130244608
ntdrivers-simplified/kbfiltr_simpl2_unsafe.cil.c unsafe 6.11 3.15 239448064 unsafe 2.18 1.57 124100608
ssh-simplified/s3_clnt_1_unsafe.cil.c unsafe 3.21 2.14 174092288 unsafe 2.10 1.56 125362176
ssh-simplified/s3_clnt_2_unsafe.cil.c unsafe 3.22 2.19 168304640 unsafe 2.14 1.57 124026880
ssh-simplified/s3_clnt_3_unsafe.cil.c unsafe 3.25 2.17 174772224 unsafe 2.14 1.54 126930944
ssh-simplified/s3_clnt_4_unsafe.cil.c unsafe 3.23 2.16 174227456 unsafe 2.16 1.58 126861312
ssh-simplified/s3_srvr_10_unsafe.cil.c unsafe 5.99 3.21 233717760 unsafe 2.05 1.56 123809792
ssh-simplified/s3_srvr_11_unsafe.cil.c unsafe 6.46 3.59 244531200 unsafe 2.43 1.71 129208320
ssh-simplified/s3_srvr_12_unsafe.cil.c unsafe 8.94 4.88 320905216 unsafe 2.33 1.64 128622592
ssh-simplified/s3_srvr_13_unsafe.cil.c unsafe 6.34 3.42 238178304 unsafe 2.16 1.61 126140416
ssh-simplified/s3_srvr_14_unsafe.cil.c unsafe 6.92 3.73 266874880 unsafe 2.08 1.56 124555264
ssh-simplified/s3_srvr_1_unsafe.cil.c unsafe 3.04 2.09 165748736 unsafe 2.14 1.59 125526016
ssh-simplified/s3_srvr_2_unsafe.cil.c unsafe 3.04 2.08 167317504 unsafe 2.21 1.59 125181952
ssh-simplified/s3_srvr_6_unsafe.cil.c unsafe 2.21 1.57 133955584 unsafe 1.98 1.45 120344576
locks/test_locks_14_unsafe.c unsafe 1.89 1.42 127176704 unsafe 1.79 1.66 114552832
locks/test_locks_15_unsafe.c unsafe 2.01 1.44 130908160 unsafe 1.80 1.62 113418240
ntdrivers/cdaudio_unsafe.i.cil.c unsafe 11.56 6.54 456183808 unsafe 4.30 2.74 210915328
ntdrivers/diskperf_unsafe.i.cil.c unsafe 14.29 9.61 667373568 unsafe 3.29 2.35 165044224
ntdrivers/floppy_unsafe.i.cil.c unsafe 9.43 5.23 411451392 unsafe 3.58 2.40 180097024
ntdrivers/kbfiltr_unsafe.i.cil.c - - - - - - - -
ntdrivers/parport_unsafe.i.cil.c - - - - - - - -
ssh/s3_clnt.blast.01_unsafe.i.cil.c unsafe 3.65 2.53 189046784 unsafe 2.64 1.88 139927552
ssh/s3_clnt.blast.02_unsafe.i.cil.c unsafe 3.63 2.47 186839040 unsafe 2.79 1.97 142397440
ssh/s3_clnt.blast.03_unsafe.i.cil.c unsafe 3.65 2.48 187322368 unsafe 2.62 1.91 141004800
ssh/s3_clnt.blast.04_unsafe.i.cil.c unsafe 3.76 2.53 189165568 unsafe 2.90 2.33 139808768
ssh/s3_srvr.blast.01_unsafe.i.cil.c unsafe 3.11 2.27 171008000 unsafe 3.12 2.31 141332480
ssh/s3_srvr.blast.02_unsafe.i.cil.c unsafe 3.09 2.22 171298816 unsafe 2.90 2.16 139411456
ssh/s3_srvr.blast.03_unsafe.i.cil.c unsafe 3.09 2.21 171347968 unsafe 2.94 2.18 140845056
ssh/s3_srvr.blast.04_unsafe.i.cil.c unsafe 3.09 2.23 170962944 unsafe 2.81 2.14 139026432
ssh/s3_srvr.blast.06_unsafe.i.cil.c unsafe 4.02 2.67 217792512 unsafe 3.01 2.39 144719872
ssh/s3_srvr.blast.07_unsafe.i.cil.c unsafe 4.23 2.81 219140096 unsafe 3.10 2.23 145555456
ssh/s3_srvr.blast.08_unsafe.i.cil.c unsafe 4.53 3.47 222691328 unsafe 3.08 2.34 146812928
ssh/s3_srvr.blast.09_unsafe.i.cil.c unsafe 4.29 2.85 216698880 unsafe 2.82 1.97 142856192
ssh/s3_srvr.blast.10_unsafe.i.cil.c unsafe 5.14 3.17 233484288 unsafe 2.92 2.17 146640896
ssh/s3_srvr.blast.11_unsafe.i.cil.c unsafe 3.87 2.56 208068608 unsafe 2.76 1.90 140255232
ssh/s3_srvr.blast.12_unsafe.i.cil.c unsafe 3.96 2.67 216846336 unsafe 2.82 2.13 142131200
ssh/s3_srvr.blast.13_unsafe.i.cil.c unsafe 4.29 2.81 219676672 unsafe 2.62 1.88 142184448
ssh/s3_srvr.blast.14_unsafe.i.cil.c unsafe 4.02 2.74 213991424 unsafe 2.69 2.02 142544896
ssh/s3_srvr.blast.15_unsafe.i.cil.c unsafe 4.58 3.01 222523392 unsafe 2.83 2.32 146976768
ssh/s3_srvr.blast.16_unsafe.i.cil.c unsafe 3.99 2.67 214437888 unsafe 2.81 2.16 142934016
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_unsafe.cil.out.i.pp.cil.c - - - - - - - -
ldv-drivers/module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.cil.c - - - - - - - -
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko_unsafe.cil.out.i.pp.cil.c - - - - - - - -
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko_unsafe.cil.out.i.pp.cil.c unsafe 12.79 6.44 493998080 unsafe 11.19 5.48 396423168
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.cil.c - - - - - - - -
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.cil.c unsafe 10.79 5.26 450105344 unsafe 6.54 3.51 281067520
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c unsafe 15.65 10.02 681730048 unsafe 11.82 8.87 633483264
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.cil.c unsafe 7.49 3.89 285847552 unsafe 7.19 3.63 285454336
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.cil.c - - - - - - - -
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.cil.c - - - - - - - -
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.cil.c - - - - - - - -
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.cil.c - - - - - - - -
ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.cil.c - - - - - - - -
ldv-drivers/usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.cil.c - - - - - - - -
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.cil.c - - - - - - - -
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.cil.c unsafe 5.25 3.89 262774784 unsafe 4.20 2.82 208130048
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_unsafe.cil.out.i.pp.i - - - - - - - -
ldv-drivers/module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.i - - - - - - - -
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko_unsafe.cil.out.i.pp.i - - - - - - - -
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko_unsafe.cil.out.i.pp.i unsafe 11.17 5.99 442224640 unsafe 8.47 4.56 370827264
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.i - - - - - - - -
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.i unsafe 9.37 4.69 309886976 unsafe 5.26 3.15 244817920
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.i unsafe 14.22 9.71 636964864 unsafe 9.73 8.08 557350912
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.i unsafe 7.70 3.68 311828480 unsafe 7.24 3.52 305467392
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.i - - - - - - - -
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.i - - - - - - - -
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.i - - - - - - - -
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.i - - - - - - - -
ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.i - - - - - - - -
ldv-drivers/usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.i - - - - - - - -
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.i - - - - - - - -
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.i unsafe 4.58 3.39 251236352 unsafe 3.95 2.49 196923392
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--input--mousedev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unsafe 7.63 4.23 291344384 unsafe 9.83 4.25 304750592
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 13.78 7.88 654745600 unsafe 14.12 7.81 508424192
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 9.26 5.70 372391936 unsafe 8.47 5.19 366870528
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 19.98 15.79 966340608 unsafe 18.08 14.92 930418688
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 7.76 5.63 386449408 unsafe 6.26 4.65 379793408
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c unsafe 9.47 5.00 354070528 unsafe 9.67 4.54 351551488
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 4.05 3.03 241713152 unsafe 4.39 3.06 232628224
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 8.28 4.43 332103680 unsafe 9.14 4.79 327598080
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/43_1a_cilled_unsafe_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/43_1a_cilled_unsafe_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/43_1a_cilled_unsafe_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/43_1a_cilled_unsafe_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/43_1a_cilled_unsafe_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-linux-3.4/43_1a_cilled_unsafe_ok_linux-43_1a-drivers--usb--gadget--pch_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c - - - - - - - -
ldv-regression/1_3.c_unsafe.cil.c unsafe 2.34 1.81 127606784 unsafe 2.09 1.62 115159040
ldv-regression/alt_test.c_unsafe.cil.c - - - - - - - -
ldv-regression/callfpointer.c_unsafe.cil.c unsafe 1.80 1.36 125517824 unsafe 1.63 1.26 112050176
ldv-regression/fo_test.c_unsafe.cil.c unsafe 1.94 1.46 127275008 unsafe 1.81 1.42 114614272
ldv-regression/mutex_lock_int.c_unsafe.cil.c unsafe 1.85 1.44 124579840 unsafe 1.65 1.31 111583232
ldv-regression/mutex_lock_struct.c_unsafe.cil.c unsafe 2.32 1.79 126570496 unsafe 1.70 1.38 111783936
ldv-regression/recursive_list.c_unsafe.cil.c unsafe 2.60 1.95 128229376 unsafe 1.89 1.43 118259712
ldv-regression/rule57_ebda_blast.c_unsafe.cil.c unsafe 2.09 1.60 128221184 unsafe 1.76 1.41 113958912
ldv-regression/rule60_list2.c_unsafe_1.cil.c unsafe 2.54 1.77 152481792 unsafe 1.86 1.49 118640640
ldv-regression/stateful_check_unsafe.cil.c unsafe 2.19 1.77 139374592 unsafe 1.85 1.51 116740096
ldv-regression/test_while_int.c_unsafe.cil.c unsafe 1.80 1.41 126283776 unsafe 1.73 1.40 112812032
ldv-regression/test_while_int.c_unsafe_1.cil.c unsafe 1.78 1.34 125235200 unsafe 1.72 1.32 111669248
ldv-regression/1_3.c_unsafe.i - - - - - - - -
ldv-regression/alt_test.c_unsafe.i - - - - - - - -
ldv-regression/callfpointer.c_unsafe.i unsafe 1.78 1.37 124530688 unsafe 1.72 1.35 111210496
ldv-regression/fo_test.c_unsafe.i unsafe 2.14 1.60 136052736 unsafe 2.17 1.61 125468672
ldv-regression/mutex_lock_int.c_unsafe.i unsafe 1.86 1.42 124973056 unsafe 1.83 1.46 112582656
ldv-regression/mutex_lock_struct.c_unsafe.i unsafe 1.84 1.43 126046208 unsafe 1.87 1.45 112738304
ldv-regression/recursive_list.c_unsafe.i unsafe 1.95 1.47 127401984 unsafe 1.85 1.46 114593792
ldv-regression/rule57_ebda_blast.c_unsafe.i unsafe 1.85 1.41 125935616 unsafe 1.84 1.46 113270784
ldv-regression/rule60_list2.c_unsafe_1.i unsafe 3.83 3.14 159731712 unsafe 2.02 1.49 122359808
ldv-regression/stateful_check_unsafe.i unsafe 2.12 1.65 137580544 unsafe 1.96 1.46 118894592
ldv-regression/test_while_int.c_unsafe.i unsafe 1.88 1.47 126513152 unsafe 1.69 1.30 112705536
ldv-regression/test_while_int.c_unsafe_1.i unsafe 1.76 1.38 124952576 unsafe 1.74 1.39 112492544
ddv-machzwd/ddv_machzwd_all_unsafe.cil.c unsafe 3.73 2.53 214261760 unsafe 3.04 2.26 152330240
ddv-machzwd/ddv_machzwd_inw_unsafe.cil.c unsafe 3.73 2.48 213000192 unsafe 3.06 2.28 150581248
ddv-machzwd/ddv_machzwd_outb_unsafe.cil.c unsafe 3.75 2.49 212074496 unsafe 2.80 2.06 149839872
ddv-machzwd/ddv_machzwd_all_unsafe.i unsafe 3.93 2.54 224567296 unsafe 2.82 2.02 164438016
ddv-machzwd/ddv_machzwd_inw_unsafe.i unsafe 3.82 2.52 223109120 unsafe 2.83 2.03 166436864
ddv-machzwd/ddv_machzwd_outb_unsafe.i unsafe 3.94 2.61 220958720 unsafe 2.96 2.26 165715968
heap-manipulation/bubble_sort_linux_unsafe.cil.c unsafe 4.60 4.05 168370176 unsafe 2.74 2.16 141672448
heap-manipulation/dll_of_dll_unsafe.cil.c - - - - - - - -
heap-manipulation/merge_sort_unsafe.cil.c unsafe 3.61 3.23 147578880 unsafe 2.25 1.56 121327616
heap-manipulation/sll_to_dll_rev_unsafe.cil.c unsafe 2.49 2.02 133984256 unsafe 2.18 1.66 118808576
heap-manipulation/bubble_sort_linux_unsafe.i unsafe 4.17 3.59 163168256 unsafe 2.30 1.65 129740800
heap-manipulation/dll_of_dll_unsafe.i - - - - - - - -
heap-manipulation/merge_sort_unsafe.i unsafe 4.87 4.43 160264192 unsafe 2.13 1.55 124227584
heap-manipulation/sll_to_dll_rev_unsafe.i unsafe 2.64 2.15 139563008 unsafe 2.22 1.63 125378560
loops/array_unsafe.i - - - - - - - -
loops/bubble_sort_unsafe.i unsafe 3.90 3.44 154222592 unsafe 2.22 1.64 124579840
loops/count_up_down_unsafe.i unsafe 1.75 1.37 123695104 unsafe 1.86 1.41 115220480
loops/eureka_01_unsafe.i - - - - - - - -
loops/for_bounded_loop1_unsafe.i unsafe 1.89 1.47 126439424 unsafe 1.90 1.53 112631808
loops/insertion_sort_unsafe.i - - - - - - - -
loops/invert_string_unsafe.i - - - - - - - -
loops/kundu_unsafe.i unsafe 6.06 3.28 249090048 unsafe 2.35 1.66 128724992
loops/linear_search_unsafe.i - - - - - - - -
loops/list_search_unsafe.i - - - - - - - -
loops/ludcmp_unsafe.i unsafe 2.53 2.02 156762112 unsafe 2.21 1.79 141393920
loops/matrix_unsafe.i - - - - - - - -
loops/nec11_unsafe.i unsafe 1.93 1.52 124981248 unsafe 1.64 1.31 112316416
loops/nec20_unsafe.i unsafe 2.85 2.37 149712896 unsafe 2.62 2.19 138723328
loops/pc_sfifo_2_unsafe.i unsafe 3.77 2.43 207290368 unsafe 1.89 1.40 120561664
loops/s3_unsafe.i unsafe 3.66 2.59 188219392 unsafe 2.64 1.94 139698176
loops/string_unsafe.i - - - - - - - -
loops/sum01_bug02_sum01_bug02_base.case_unsafe.i unsafe 2.27 2.08 129687552 unsafe 1.63 1.30 112619520
loops/sum01_bug02_unsafe.i unsafe 2.98 2.51 142528512 unsafe 1.74 1.34 111919104
loops/sum01_unsafe.i unsafe 3.80 3.38 142102528 unsafe 1.70 1.35 113295360
loops/sum03_unsafe.i unsafe 1.94 1.48 130404352 unsafe 1.83 1.44 118575104
loops/sum04_unsafe.i unsafe 1.87 1.42 126951424 unsafe 1.66 1.31 112058368
loops/sum_array_unsafe.i - - - - - - - -
loops/terminator_01_unsafe.i unsafe 1.77 1.34 124571648 unsafe 1.83 1.39 111702016
loops/terminator_02_unsafe.i unsafe 1.78 1.37 124805120 unsafe 1.96 1.56 111411200
loops/terminator_03_unsafe.i - - - - - - - -
loops/token_ring01_unsafe.i - - - - - - - -
loops/transmitter_unsafe.i unsafe 3.77 2.25 212758528 unsafe 1.96 1.49 119930880
loops/trex01_unsafe.i unsafe 1.88 1.37 126369792 unsafe 1.65 1.30 112320512
loops/trex02_unsafe.i unsafe 1.87 1.38 125321216 unsafe 1.64 1.30 111439872
loops/trex03_unsafe.i - - - - - - - -
loops/verisec_NetBSD-libc__loop_unsafe.i - - - - - - - -
loops/verisec_OpenSER__cases1_stripFullBoth_arr_unsafe.i unsafe 2.02 1.53 134381568 unsafe 1.76 1.35 115601408
loops/verisec_sendmail__tTflag_arr_one_loop_unsafe.i - - - - - - - -
loops/vogal_unsafe.i - - - - - - - -
loops/while_infinite_loop_4_unsafe.i unsafe 1.86 1.70 124264448 unsafe 1.69 1.31 111161344
product-lines/elevator_spec14_product20_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec14_product24_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec14_product28_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec14_product32_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec14_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec1_product18_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec1_product20_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec1_product22_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec1_product24_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec1_product26_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec1_product28_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec1_product30_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec1_product32_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec1_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec2_product18_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec2_product20_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec2_product22_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec2_product24_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec2_product26_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec2_product28_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec2_product30_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec2_product32_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec2_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec3_product03_unsafe.cil.c unsafe 39.36 34.63 2813530112 unsafe 3.46 2.28 168148992
product-lines/elevator_spec3_product11_unsafe.cil.c unsafe 45.77 40.24 2855759872 unsafe 3.42 2.21 169787392
product-lines/elevator_spec3_product19_unsafe.cil.c unsafe 38.91 33.76 2853699584 unsafe 3.61 2.51 169160704
product-lines/elevator_spec3_product20_unsafe.cil.c unsafe 57.52 51.71 4527267840 unsafe 3.62 2.57 172404736
product-lines/elevator_spec3_product23_unsafe.cil.c unsafe 50.78 45.50 4441055232 unsafe 3.60 2.41 173060096
product-lines/elevator_spec3_product24_unsafe.cil.c unsafe 75.37 69.02 5014601728 unsafe 3.64 2.59 174309376
product-lines/elevator_spec3_product27_unsafe.cil.c unsafe 40.09 34.97 2812907520 unsafe 3.34 2.23 171040768
product-lines/elevator_spec3_product28_unsafe.cil.c unsafe 61.44 55.75 4966023168 unsafe 3.40 2.26 171630592
product-lines/elevator_spec3_product31_unsafe.cil.c unsafe 54.37 48.50 4499816448 unsafe 3.48 2.32 172544000
product-lines/elevator_spec3_product32_unsafe.cil.c unsafe 78.47 72.00 4982226944 unsafe 3.62 2.36 174448640
product-lines/elevator_spec3_productSimulator_unsafe.cil.c unsafe 133.20 125.49 5085532160 unsafe 3.70 2.42 180998144
product-lines/elevator_spec9_product26_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec9_product28_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec9_product30_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec9_product32_unsafe.cil.c - - - - - - - -
product-lines/elevator_spec9_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec0_product16_unsafe.cil.c unsafe 192.02 183.61 5221445632 unsafe 2.98 2.15 142594048
product-lines/email_spec0_product21_unsafe.cil.c unsafe 697.99 655.41 5780398080 unsafe 2.96 2.11 143196160
product-lines/email_spec0_product22_unsafe.cil.c - - - - - - - -
product-lines/email_spec0_product26_unsafe.cil.c - - - - - - - -
product-lines/email_spec0_product31_unsafe.cil.c unsafe 231.12 221.36 5149409280 unsafe 2.98 2.21 144912384
product-lines/email_spec0_product33_unsafe.cil.c - - - - - - - -
product-lines/email_spec0_product34_unsafe.cil.c - - - - - - - -
product-lines/email_spec0_product35_unsafe.cil.c - - - - - - - -
product-lines/email_spec0_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec11_product15_unsafe.cil.c - - - - - - - -
product-lines/email_spec11_product20_unsafe.cil.c - - - - - - - -
product-lines/email_spec11_product22_unsafe.cil.c - - - - - - - -
product-lines/email_spec11_product26_unsafe.cil.c - - - - - - - -
product-lines/email_spec11_product30_unsafe.cil.c - - - - - - - -
product-lines/email_spec11_product32_unsafe.cil.c - - - - - - - -
product-lines/email_spec11_product33_unsafe.cil.c - - - - - - - -
product-lines/email_spec11_product35_unsafe.cil.c - - - - - - - -
product-lines/email_spec11_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec1_product14_unsafe.cil.c unsafe 336.33 322.47 5542940672 unsafe 3.27 2.38 149721088
product-lines/email_spec1_product15_unsafe.cil.c unsafe 165.56 158.34 5134901248 unsafe 3.32 2.41 149757952
product-lines/email_spec1_product16_unsafe.cil.c unsafe 197.16 187.64 5191544832 unsafe 3.15 2.25 151035904
product-lines/email_spec1_product20_unsafe.cil.c unsafe 857.46 824.92 5660598272 unsafe 3.33 2.44 152588288
product-lines/email_spec1_product21_unsafe.cil.c unsafe 849.54 814.55 5702066176 unsafe 3.38 2.32 168480768
product-lines/email_spec1_product22_unsafe.cil.c unsafe 231.86 220.69 5202001920 unsafe 3.35 2.28 155787264
product-lines/email_spec1_product26_unsafe.cil.c - - - - - - - -
product-lines/email_spec1_product29_unsafe.cil.c unsafe 417.31 402.06 5102649344 unsafe 3.67 2.45 177139712
product-lines/email_spec1_product30_unsafe.cil.c unsafe 202.21 193.25 5044060160 unsafe 3.57 2.32 168603648
product-lines/email_spec1_product31_unsafe.cil.c unsafe 239.06 229.27 5031489536 unsafe 3.41 2.34 170557440
product-lines/email_spec1_product32_unsafe.cil.c - - - - - - - -
product-lines/email_spec1_product33_unsafe.cil.c unsafe 267.37 258.51 5000298496 unsafe 3.62 2.28 169213952
product-lines/email_spec1_product34_unsafe.cil.c - - - - - - - -
product-lines/email_spec1_product35_unsafe.cil.c - - - - - - - -
product-lines/email_spec1_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product17_unsafe.cil.c unsafe 261.59 250.01 5369585664 unsafe 3.23 2.26 154112000
product-lines/email_spec27_product18_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product19_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product23_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product24_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product25_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product27_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product29_unsafe.cil.c unsafe 273.32 262.12 5355614208 unsafe 3.77 2.60 172015616
product-lines/email_spec27_product30_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product31_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product32_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product33_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product34_unsafe.cil.c unsafe 860.36 829.38 5619744768 unsafe 3.57 2.57 171843584
product-lines/email_spec27_product35_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec3_product13_unsafe.cil.c unsafe 93.18 86.50 5144109056 unsafe 3.06 2.33 142524416
product-lines/email_spec3_product17_unsafe.cil.c unsafe 219.20 204.97 5563842560 unsafe 2.96 2.25 143929344
product-lines/email_spec3_product18_unsafe.cil.c unsafe 95.41 88.63 5078867968 unsafe 2.95 2.52 143110144
product-lines/email_spec3_product19_unsafe.cil.c unsafe 94.64 87.97 5072760832 unsafe 3.02 2.32 143142912
product-lines/email_spec3_product23_unsafe.cil.c unsafe 221.75 206.23 5428547584 unsafe 2.91 2.14 142913536
product-lines/email_spec3_product24_unsafe.cil.c unsafe 97.97 90.55 5267951616 unsafe 2.93 2.20 142569472
product-lines/email_spec3_product25_unsafe.cil.c unsafe 222.03 205.34 5684445184 unsafe 2.92 2.10 143073280
product-lines/email_spec3_product27_unsafe.cil.c unsafe 232.41 212.39 5613527040 unsafe 3.02 2.28 143638528
product-lines/email_spec3_product28_unsafe.cil.c unsafe 106.43 98.31 5073608704 unsafe 2.92 2.06 143814656
product-lines/email_spec3_product29_unsafe.cil.c unsafe 274.67 256.62 5822263296 unsafe 3.10 2.22 144842752
product-lines/email_spec3_product30_unsafe.cil.c unsafe 105.44 98.10 5147684864 unsafe 2.95 2.13 144519168
product-lines/email_spec3_product31_unsafe.cil.c unsafe 107.06 99.46 5265711104 unsafe 3.10 2.32 143507456
product-lines/email_spec3_product32_unsafe.cil.c unsafe 271.26 257.12 5458956288 unsafe 3.00 2.29 144744448
product-lines/email_spec3_product33_unsafe.cil.c unsafe 109.09 100.81 5311053824 unsafe 3.07 2.19 147689472
product-lines/email_spec3_product34_unsafe.cil.c unsafe 281.43 262.27 5676105728 unsafe 2.95 2.11 144670720
product-lines/email_spec3_product35_unsafe.cil.c unsafe 290.23 272.26 5595131904 unsafe 3.13 2.29 146198528
product-lines/email_spec3_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec4_product18_unsafe.cil.c unsafe 281.18 267.91 5330513920 unsafe 3.05 2.13 147591168
product-lines/email_spec4_product19_unsafe.cil.c unsafe 346.58 325.93 5598412800 unsafe 3.32 2.31 156291072
product-lines/email_spec4_product23_unsafe.cil.c - - - - - - - -
product-lines/email_spec4_product24_unsafe.cil.c unsafe 390.11 369.80 5401411584 unsafe 3.14 2.36 148688896
product-lines/email_spec4_product25_unsafe.cil.c unsafe 714.98 670.40 5962457088 unsafe 3.37 2.39 153772032
product-lines/email_spec4_product27_unsafe.cil.c - - - - - - - -
product-lines/email_spec4_product30_unsafe.cil.c unsafe 345.45 332.07 5226684416 unsafe 3.17 2.23 150032384
product-lines/email_spec4_product31_unsafe.cil.c unsafe 462.95 440.85 5585371136 unsafe 3.50 2.41 169037824
product-lines/email_spec4_product32_unsafe.cil.c - - - - - - - -
product-lines/email_spec4_product33_unsafe.cil.c unsafe 488.91 468.41 5317464064 unsafe 3.35 2.71 152338432
product-lines/email_spec4_product34_unsafe.cil.c - - - - - - - -
product-lines/email_spec4_product35_unsafe.cil.c - - - - - - - -
product-lines/email_spec4_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product12_unsafe.cil.c unsafe 144.64 137.32 4995543040 unsafe 3.00 2.22 144969728
product-lines/email_spec6_product14_unsafe.cil.c unsafe 275.48 264.11 5312217088 unsafe 3.06 2.16 146268160
product-lines/email_spec6_product15_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product16_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product20_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product21_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product22_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product26_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product28_unsafe.cil.c unsafe 205.06 197.54 5026017280 unsafe 3.13 2.25 145747968
product-lines/email_spec6_product29_unsafe.cil.c unsafe 362.64 349.57 5268635648 unsafe 3.23 2.40 147505152
product-lines/email_spec6_product30_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product31_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product32_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product33_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product34_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_product35_unsafe.cil.c - - - - - - - -
product-lines/email_spec6_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec7_product28_unsafe.cil.c unsafe 176.26 167.83 5257515008 unsafe 2.97 2.08 145784832
product-lines/email_spec7_product29_unsafe.cil.c unsafe 304.17 292.09 5319569408 unsafe 3.09 2.22 146673664
product-lines/email_spec7_product30_unsafe.cil.c - - - - - - - -
product-lines/email_spec7_product31_unsafe.cil.c - - - - - - - -
product-lines/email_spec7_product32_unsafe.cil.c - - - - - - - -
product-lines/email_spec7_product33_unsafe.cil.c - - - - - - - -
product-lines/email_spec7_product34_unsafe.cil.c unsafe 857.39 829.41 5599993856 unsafe 3.01 2.36 147816448
product-lines/email_spec7_product35_unsafe.cil.c - - - - - - - -
product-lines/email_spec7_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec8_product15_unsafe.cil.c unsafe 159.58 152.37 5052923904 unsafe 3.19 2.22 155635712
product-lines/email_spec8_product16_unsafe.cil.c unsafe 194.51 185.83 5068320768 unsafe 3.59 2.43 171679744
product-lines/email_spec8_product20_unsafe.cil.c unsafe 510.22 491.44 5385961472 unsafe 3.27 2.41 153161728
product-lines/email_spec8_product21_unsafe.cil.c unsafe 875.23 841.78 5932957696 unsafe 3.68 2.49 171171840
product-lines/email_spec8_product22_unsafe.cil.c unsafe 224.88 214.38 5115133952 unsafe 3.31 2.39 151347200
product-lines/email_spec8_product26_unsafe.cil.c - - - - - - - -
product-lines/email_spec8_product30_unsafe.cil.c unsafe 210.05 199.17 5084569600 unsafe 3.50 2.36 168456192
product-lines/email_spec8_product31_unsafe.cil.c unsafe 245.89 234.51 5059805184 unsafe 3.86 2.57 173965312
product-lines/email_spec8_product32_unsafe.cil.c unsafe 584.99 563.54 5502205952 unsafe 3.58 2.39 171995136
product-lines/email_spec8_product33_unsafe.cil.c unsafe 269.43 258.48 5017001984 unsafe 3.53 2.28 170979328
product-lines/email_spec8_product34_unsafe.cil.c - - - - - - - -
product-lines/email_spec8_product35_unsafe.cil.c - - - - - - - -
product-lines/email_spec8_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec9_product15_unsafe.cil.c unsafe 162.56 154.57 5079998464 unsafe 3.19 2.34 149712896
product-lines/email_spec9_product16_unsafe.cil.c unsafe 197.73 187.30 5096108032 unsafe 3.50 2.35 168824832
product-lines/email_spec9_product20_unsafe.cil.c unsafe 498.33 482.06 5409673216 unsafe 3.36 2.41 151818240
product-lines/email_spec9_product21_unsafe.cil.c unsafe 879.19 845.72 5807480832 unsafe 3.59 2.51 167718912
product-lines/email_spec9_product22_unsafe.cil.c unsafe 218.35 209.62 4973084672 unsafe 3.08 2.19 150528000
product-lines/email_spec9_product26_unsafe.cil.c - - - - - - - -
product-lines/email_spec9_product30_unsafe.cil.c unsafe 210.03 200.56 5102297088 unsafe 3.64 2.35 167747584
product-lines/email_spec9_product31_unsafe.cil.c unsafe 248.36 236.12 5037027328 unsafe 3.75 2.40 172716032
product-lines/email_spec9_product32_unsafe.cil.c unsafe 582.18 561.70 5409353728 unsafe 3.85 2.40 171491328
product-lines/email_spec9_product33_unsafe.cil.c unsafe 265.08 254.18 5126774784 unsafe 3.57 2.45 170352640
product-lines/email_spec9_product34_unsafe.cil.c - - - - - - - -
product-lines/email_spec9_product35_unsafe.cil.c - - - - - - - -
product-lines/email_spec9_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/minepump_spec1_product33_unsafe.cil.c unsafe 2.88 2.40 154251264 unsafe 2.21 1.62 120541184
product-lines/minepump_spec1_product34_unsafe.cil.c unsafe 2.88 2.13 155725824 unsafe 2.14 1.62 120459264
product-lines/minepump_spec1_product35_unsafe.cil.c unsafe 2.89 2.19 155164672 unsafe 2.28 1.66 123604992
product-lines/minepump_spec1_product36_unsafe.cil.c unsafe 2.95 2.19 155918336 unsafe 2.24 1.62 123379712
product-lines/minepump_spec1_product37_unsafe.cil.c unsafe 2.94 2.18 156020736 unsafe 2.10 1.62 120713216
product-lines/minepump_spec1_product38_unsafe.cil.c unsafe 2.91 2.13 156569600 unsafe 2.15 1.65 121393152
product-lines/minepump_spec1_product39_unsafe.cil.c unsafe 2.97 2.15 155893760 unsafe 2.15 1.53 121135104
product-lines/minepump_spec1_product40_unsafe.cil.c unsafe 2.96 2.25 154411008 unsafe 2.02 1.49 120803328
product-lines/minepump_spec1_product41_unsafe.cil.c unsafe 3.41 2.49 172449792 unsafe 2.07 1.51 121978880
product-lines/minepump_spec1_product42_unsafe.cil.c unsafe 3.74 2.43 186548224 unsafe 2.14 1.61 120938496
product-lines/minepump_spec1_product43_unsafe.cil.c unsafe 3.40 2.38 173211648 unsafe 2.15 1.54 122834944
product-lines/minepump_spec1_product44_unsafe.cil.c unsafe 3.78 2.43 188223488 unsafe 2.21 1.63 122658816
product-lines/minepump_spec1_product49_unsafe.cil.c unsafe 2.85 2.08 155500544 unsafe 2.11 1.57 122052608
product-lines/minepump_spec1_product50_unsafe.cil.c unsafe 2.89 2.12 156852224 unsafe 2.13 1.60 122138624
product-lines/minepump_spec1_product51_unsafe.cil.c unsafe 2.98 2.25 156860416 unsafe 2.14 1.59 121208832
product-lines/minepump_spec1_product52_unsafe.cil.c unsafe 2.90 2.09 156729344 unsafe 2.17 1.64 121028608
product-lines/minepump_spec1_product53_unsafe.cil.c unsafe 2.92 2.17 157884416 unsafe 2.17 1.69 121544704
product-lines/minepump_spec1_product54_unsafe.cil.c unsafe 2.92 2.14 158392320 unsafe 2.16 1.61 122638336
product-lines/minepump_spec1_product55_unsafe.cil.c unsafe 2.95 2.21 159166464 unsafe 2.13 1.53 123772928
product-lines/minepump_spec1_product56_unsafe.cil.c unsafe 2.95 2.15 159178752 unsafe 2.04 1.52 121569280
product-lines/minepump_spec1_productSimulator_unsafe.cil.c unsafe 4.26 2.76 221528064 unsafe 2.18 1.62 124129280
product-lines/minepump_spec2_product33_unsafe.cil.c unsafe 3.32 2.35 171372544 unsafe 2.21 1.72 123432960
product-lines/minepump_spec2_product34_unsafe.cil.c unsafe 3.47 2.44 173125632 unsafe 2.34 1.85 122376192
product-lines/minepump_spec2_product35_unsafe.cil.c unsafe 3.38 2.36 173535232 unsafe 2.30 1.67 124678144
product-lines/minepump_spec2_product36_unsafe.cil.c unsafe 3.44 2.52 175587328 unsafe 2.20 1.63 123162624
product-lines/minepump_spec2_product41_unsafe.cil.c unsafe 4.24 2.79 218820608 unsafe 2.35 1.73 126369792
product-lines/minepump_spec2_product42_unsafe.cil.c unsafe 4.24 2.71 223952896 unsafe 2.36 1.78 126001152
product-lines/minepump_spec2_product43_unsafe.cil.c unsafe 4.25 2.67 221057024 unsafe 2.34 1.77 125882368
product-lines/minepump_spec2_product44_unsafe.cil.c unsafe 4.31 2.75 223191040 unsafe 2.25 1.67 124174336
product-lines/minepump_spec2_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/minepump_spec3_product01_unsafe.cil.c unsafe 2.60 1.92 151592960 unsafe 2.06 1.51 120041472
product-lines/minepump_spec3_product02_unsafe.cil.c unsafe 2.54 1.87 152485888 unsafe 2.17 1.82 119476224
product-lines/minepump_spec3_product03_unsafe.cil.c unsafe 2.59 1.89 152485888 unsafe 2.08 1.54 121978880
product-lines/minepump_spec3_product04_unsafe.cil.c unsafe 2.60 1.87 153251840 unsafe 2.05 1.58 120320000
product-lines/minepump_spec3_product05_unsafe.cil.c unsafe 2.65 1.90 155648000 unsafe 2.02 1.50 120131584
product-lines/minepump_spec3_product06_unsafe.cil.c unsafe 2.67 1.89 156901376 unsafe 2.13 1.57 120778752
product-lines/minepump_spec3_product07_unsafe.cil.c unsafe 2.66 1.92 157114368 unsafe 2.00 1.49 120057856
product-lines/minepump_spec3_product08_unsafe.cil.c unsafe 2.71 1.94 157065216 unsafe 2.13 1.59 119644160
product-lines/minepump_spec3_product09_unsafe.cil.c unsafe 2.71 1.98 152363008 unsafe 2.09 1.58 119779328
product-lines/minepump_spec3_product10_unsafe.cil.c unsafe 2.58 1.86 153989120 unsafe 2.03 1.49 119996416
product-lines/minepump_spec3_product11_unsafe.cil.c unsafe 2.58 1.86 152399872 unsafe 1.98 1.50 121069568
product-lines/minepump_spec3_product12_unsafe.cil.c unsafe 2.62 1.90 154275840 unsafe 1.99 1.49 119951360
product-lines/minepump_spec3_product13_unsafe.cil.c unsafe 2.65 1.90 156442624 unsafe 2.05 1.54 120299520
product-lines/minepump_spec3_product14_unsafe.cil.c unsafe 2.68 1.99 156561408 unsafe 2.11 1.61 119619584
product-lines/minepump_spec3_product15_unsafe.cil.c unsafe 2.67 1.91 156565504 unsafe 2.21 1.55 122601472
product-lines/minepump_spec3_product16_unsafe.cil.c unsafe 2.72 1.96 157601792 unsafe 2.10 1.53 120385536
product-lines/minepump_spec3_product17_unsafe.cil.c unsafe 2.75 1.94 158572544 unsafe 2.18 1.54 123019264
product-lines/minepump_spec3_product18_unsafe.cil.c unsafe 2.88 2.05 159887360 unsafe 2.05 1.46 120016896
product-lines/minepump_spec3_product19_unsafe.cil.c unsafe 3.09 2.30 159825920 unsafe 2.07 1.50 119951360
product-lines/minepump_spec3_product20_unsafe.cil.c unsafe 2.88 2.02 162148352 unsafe 2.05 1.50 120410112
product-lines/minepump_spec3_product21_unsafe.cil.c unsafe 2.93 1.99 165785600 unsafe 2.09 1.54 121901056
product-lines/minepump_spec3_product22_unsafe.cil.c unsafe 2.97 2.04 166060032 unsafe 2.04 1.55 120856576
product-lines/minepump_spec3_product23_unsafe.cil.c unsafe 2.96 2.06 165548032 unsafe 2.13 1.56 120340480
product-lines/minepump_spec3_product24_unsafe.cil.c unsafe 3.02 2.07 167018496 unsafe 2.11 1.51 120283136
product-lines/minepump_spec3_product25_unsafe.cil.c unsafe 2.75 1.96 159195136 unsafe 2.18 1.59 120664064
product-lines/minepump_spec3_product26_unsafe.cil.c unsafe 2.78 2.04 160137216 unsafe 2.22 1.64 120754176
product-lines/minepump_spec3_product27_unsafe.cil.c unsafe 2.98 2.10 159858688 unsafe 2.22 1.61 120332288
product-lines/minepump_spec3_product28_unsafe.cil.c unsafe 2.86 1.98 161001472 unsafe 2.03 1.50 120815616
product-lines/minepump_spec3_product29_unsafe.cil.c unsafe 2.94 2.01 165732352 unsafe 2.09 1.55 121122816
product-lines/minepump_spec3_product30_unsafe.cil.c unsafe 2.96 2.03 166260736 unsafe 2.12 1.55 120586240
product-lines/minepump_spec3_product31_unsafe.cil.c unsafe 2.99 2.09 165822464 unsafe 2.22 1.56 123461632
product-lines/minepump_spec3_product32_unsafe.cil.c unsafe 3.00 2.09 168304640 unsafe 2.10 1.59 120393728
product-lines/minepump_spec3_product35_unsafe.cil.c unsafe 3.62 2.28 208883712 unsafe 2.10 1.50 120279040
product-lines/minepump_spec3_product36_unsafe.cil.c unsafe 3.70 2.34 211496960 unsafe 2.07 1.64 120205312
product-lines/minepump_spec3_product39_unsafe.cil.c unsafe 4.22 2.49 215748608 unsafe 2.15 1.67 121528320
product-lines/minepump_spec3_product40_unsafe.cil.c unsafe 4.13 2.59 217493504 unsafe 2.31 1.60 124571648
product-lines/minepump_spec3_product43_unsafe.cil.c unsafe 3.79 2.32 217313280 unsafe 2.22 1.55 122298368
product-lines/minepump_spec3_product44_unsafe.cil.c unsafe 3.87 2.42 216506368 unsafe 2.18 1.54 119054336
product-lines/minepump_spec3_product47_unsafe.cil.c unsafe 3.84 2.38 216014848 unsafe 2.21 1.59 121696256
product-lines/minepump_spec3_product48_unsafe.cil.c unsafe 3.95 2.40 216662016 unsafe 2.26 1.65 121450496
product-lines/minepump_spec3_product51_unsafe.cil.c unsafe 3.80 2.36 216969216 unsafe 2.22 1.58 121020416
product-lines/minepump_spec3_product52_unsafe.cil.c unsafe 3.85 2.37 216739840 unsafe 2.29 1.58 123076608
product-lines/minepump_spec3_product55_unsafe.cil.c unsafe 3.94 2.58 221245440 unsafe 2.15 1.58 120422400
product-lines/minepump_spec3_product56_unsafe.cil.c unsafe 4.34 2.57 222707712 unsafe 2.43 1.85 121171968
product-lines/minepump_spec3_product59_unsafe.cil.c unsafe 3.93 2.45 217776128 unsafe 2.51 1.78 122130432
product-lines/minepump_spec3_product60_unsafe.cil.c unsafe 4.11 2.50 221040640 unsafe 2.23 1.71 120627200
product-lines/minepump_spec3_product63_unsafe.cil.c unsafe 4.26 2.56 222044160 unsafe 2.34 1.77 120500224
product-lines/minepump_spec3_product64_unsafe.cil.c unsafe 4.23 2.58 218836992 unsafe 2.28 1.73 120516608
product-lines/minepump_spec3_productSimulator_unsafe.cil.c unsafe 5.48 3.01 231383040 unsafe 2.49 1.81 122642432
product-lines/minepump_spec4_product33_unsafe.cil.c unsafe 3.11 2.14 171757568 unsafe 2.31 1.79 122945536
product-lines/minepump_spec4_product34_unsafe.cil.c unsafe 3.17 2.16 172896256 unsafe 2.34 1.80 123539456
product-lines/minepump_spec4_product35_unsafe.cil.c unsafe 3.44 2.27 172445696 unsafe 2.29 1.62 121487360
product-lines/minepump_spec4_product36_unsafe.cil.c unsafe 3.24 2.14 174161920 unsafe 2.35 1.72 123502592
product-lines/minepump_spec4_product37_unsafe.cil.c unsafe 4.22 2.49 225239040 unsafe 2.20 1.60 123969536
product-lines/minepump_spec4_product38_unsafe.cil.c unsafe 4.13 2.50 215535616 unsafe 2.35 1.69 126074880
product-lines/minepump_spec4_product39_unsafe.cil.c unsafe 4.15 2.52 225382400 unsafe 2.24 1.66 123731968
product-lines/minepump_spec4_product40_unsafe.cil.c unsafe 4.13 2.53 214130688 unsafe 2.24 1.64 124190720
product-lines/minepump_spec4_product41_unsafe.cil.c unsafe 3.83 2.32 211832832 unsafe 2.19 1.60 122904576
product-lines/minepump_spec4_product42_unsafe.cil.c unsafe 3.73 2.31 211976192 unsafe 2.26 1.63 123604992
product-lines/minepump_spec4_product43_unsafe.cil.c unsafe 3.74 2.29 213536768 unsafe 2.14 1.59 123592704
product-lines/minepump_spec4_product44_unsafe.cil.c unsafe 4.06 2.49 213995520 unsafe 2.28 1.82 123809792
product-lines/minepump_spec4_product45_unsafe.cil.c unsafe 4.11 2.51 222035968 unsafe 2.40 1.85 124596224
product-lines/minepump_spec4_product46_unsafe.cil.c unsafe 4.02 2.51 217452544 unsafe 2.43 1.86 126472192
product-lines/minepump_spec4_product47_unsafe.cil.c unsafe 4.15 2.57 223408128 unsafe 2.22 1.96 124436480
product-lines/minepump_spec4_product48_unsafe.cil.c unsafe 4.11 2.71 217530368 unsafe 2.21 1.68 124461056
product-lines/minepump_spec4_productSimulator_unsafe.cil.c - - - - - - - -
systemc/kundu1_unsafe.cil.c unsafe 6.23 3.26 250490880 unsafe 2.19 1.65 126308352
systemc/kundu2_unsafe.cil.c unsafe 7.03 3.66 249991168 unsafe 2.25 1.61 125779968
systemc/pc_sfifo_1_unsafe.cil.c unsafe 3.18 2.04 176181248 unsafe 1.92 1.56 113057792
systemc/pc_sfifo_2_unsafe.cil.c unsafe 3.55 2.29 208359424 unsafe 2.06 1.61 119328768
systemc/pipeline_unsafe.cil.c unsafe 35.08 28.68 3173400576 unsafe 3.25 2.16 182022144
systemc/token_ring.01_unsafe.cil.c - - - - - - - -
systemc/token_ring.02_unsafe.cil.c - - - - - - - -
systemc/token_ring.03_unsafe.cil.c - - - - - - - -
systemc/token_ring.04_unsafe.cil.c - - - - - - - -
systemc/token_ring.05_unsafe.cil.c - - - - - - - -
systemc/token_ring.06_unsafe.cil.c - - - - - - - -
systemc/token_ring.07_unsafe.cil.c - - - - - - - -
systemc/token_ring.08_unsafe.cil.c - - - - - - - -
systemc/token_ring.09_unsafe.cil.c - - - - - - - -
systemc/token_ring.10_unsafe.cil.c - - - - - - - -
systemc/token_ring.11_unsafe.cil.c - - - - - - - -
systemc/token_ring.12_unsafe.cil.c - - - - - - - -
systemc/token_ring.13_unsafe.cil.c - - - - - - - -
systemc/token_ring.14_unsafe.cil.c - - - - - - - -
systemc/token_ring.15_unsafe.cil.c - - - - - - - -
systemc/toy1_unsafe.cil.c unsafe 9.57 6.55 587476992 unsafe 2.23 1.62 128356352
systemc/toy2_unsafe.cil.c unsafe 9.20 6.54 527151104 unsafe 2.39 1.76 126357504
systemc/transmitter.01_unsafe.cil.c unsafe 3.74 3.15 210845696 unsafe 1.89 1.48 119238656
systemc/transmitter.02_unsafe.cil.c unsafe 5.24 2.93 224829440 unsafe 2.04 1.57 121397248
systemc/transmitter.03_unsafe.cil.c unsafe 6.77 3.64 234606592 unsafe 2.14 1.62 123699200
systemc/transmitter.04_unsafe.cil.c unsafe 8.11 4.81 374640640 unsafe 2.49 1.75 129585152
systemc/transmitter.05_unsafe.cil.c unsafe 12.16 8.90 684744704 unsafe 2.67 1.87 144805888
systemc/transmitter.06_unsafe.cil.c unsafe 25.34 20.31 1974226944 unsafe 2.90 1.96 150183936
systemc/transmitter.07_unsafe.cil.c unsafe 123.24 93.90 5314101248 unsafe 2.93 1.96 155828224
systemc/transmitter.08_unsafe.cil.c unsafe 804.73 555.28 8791826432 unsafe 3.00 2.16 160231424
systemc/transmitter.09_unsafe.cil.c - - - - - - - -
systemc/transmitter.10_unsafe.cil.c - - - - - - - -
systemc/transmitter.11_unsafe.cil.c - - - - - - - -
systemc/transmitter.12_unsafe.cil.c - - - - - - - -
systemc/transmitter.13_unsafe.cil.c - - - - - - - -
systemc/transmitter.15_unsafe.cil.c - - - - - - - -
systemc/transmitter.16_unsafe.cil.c - - - - - - - -
test/programs/benchmarks/ status cputime walltime memUsage status cputime walltime memUsage
correct results 299 23582.67 21948.38 451334664192 299 866.48 615.29 44691222528
Run set explicit-generate-errorpath explicit-verify-errorpath