Tool CPAchecker 1.2-svn 24875ff+
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 4
Host db3
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-26 08:48 13-04-26 15:59
Run set predicate-generate-errorpath predicate-verify-errorpath
Options -noout
-disable-java-assertions
-heap 14000M
-predicateAnalysis
-setprop cpa.arg.errorPath.automaton=errorpath.${sourcefile_name}.spc		 -noout
-disable-java-assertions
-heap 14000M
-predicateAnalysis
-spec output/errorpath.${sourcefile_name}.spc
test/programs/benchmarks/ status cputime walltime memUsage status cputime walltime memUsage
bitvector/byte_add_unsafe.i unsafe 3.17 2.87 132833280 unsafe 2.23 2.15 102629376
bitvector/s3_clnt_1_unsafe.BV.c.cil.c unsafe 5.58 4.28 216199168 unsafe 2.58 2.21 109522944
bitvector/s3_clnt_2_unsafe.BV.c.cil.c - - - - - - - -
bitvector/s3_clnt_3_unsafe.BV.c.cil.c unsafe 3.08 2.19 143618048 unsafe 2.24 1.83 109309952
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 4.39 3.16 209039360 unsafe 2.60 1.97 119767040
ntdrivers-simplified/floppy_simpl3_unsafe.cil.c unsafe 3.49 2.42 144158720 unsafe 2.16 2.12 106741760
ntdrivers-simplified/floppy_simpl4_unsafe.cil.c unsafe 3.84 2.71 155545600 unsafe 2.35 2.42 112660480
ntdrivers-simplified/kbfiltr_simpl2_unsafe.cil.c unsafe 2.89 2.07 129810432 unsafe 2.14 1.94 105451520
ssh-simplified/s3_clnt_1_unsafe.cil.c unsafe 3.68 2.52 162648064 unsafe 2.04 1.79 107425792
ssh-simplified/s3_clnt_2_unsafe.cil.c unsafe 4.18 3.00 171827200 unsafe 2.09 1.81 106790912
ssh-simplified/s3_clnt_3_unsafe.cil.c unsafe 4.24 2.90 175124480 unsafe 2.07 1.82 107204608
ssh-simplified/s3_clnt_4_unsafe.cil.c unsafe 3.74 2.70 162172928 unsafe 2.07 1.74 106233856
ssh-simplified/s3_srvr_10_unsafe.cil.c unsafe 10.35 6.19 261672960 unsafe 2.00 1.73 103862272
ssh-simplified/s3_srvr_11_unsafe.cil.c unsafe 51.85 36.21 1190354944 unsafe 2.26 2.11 108916736
ssh-simplified/s3_srvr_12_unsafe.cil.c unsafe 17.37 13.09 514961408 unsafe 2.22 2.17 108290048
ssh-simplified/s3_srvr_13_unsafe.cil.c unsafe 23.76 18.39 595877888 unsafe 2.08 1.86 107511808
ssh-simplified/s3_srvr_14_unsafe.cil.c unsafe 19.77 14.23 666791936 unsafe 2.03 1.91 104632320
ssh-simplified/s3_srvr_1_unsafe.cil.c unsafe 3.63 2.66 151678976 unsafe 2.07 2.03 105885696
ssh-simplified/s3_srvr_2_unsafe.cil.c unsafe 3.21 2.25 146759680 unsafe 2.07 1.77 105807872
ssh-simplified/s3_srvr_6_unsafe.cil.c unsafe 2.24 1.54 117121024 unsafe 2.04 1.93 104857600
locks/test_locks_14_unsafe.c unsafe 2.01 1.66 114229248 unsafe 1.74 1.85 102924288
locks/test_locks_15_unsafe.c unsafe 1.90 1.41 114855936 unsafe 1.80 1.79 99921920
ntdrivers/cdaudio_unsafe.i.cil.c unsafe 7.24 4.63 241836032 unsafe 3.99 2.85 170541056
ntdrivers/diskperf_unsafe.i.cil.c unsafe 4.71 3.29 169271296 unsafe 2.94 2.14 122859520
ntdrivers/floppy_unsafe.i.cil.c unsafe 8.50 5.21 241934336 unsafe 3.29 2.29 142094336
ntdrivers/kbfiltr_unsafe.i.cil.c unsafe 3.81 2.69 150482944 unsafe 2.74 2.11 119971840
ntdrivers/parport_unsafe.i.cil.c - - - - - - - -
ssh/s3_clnt.blast.01_unsafe.i.cil.c unsafe 4.53 3.01 190783488 unsafe 2.61 2.01 112328704
ssh/s3_clnt.blast.02_unsafe.i.cil.c unsafe 4.00 2.82 166068224 unsafe 2.27 1.77 111800320
ssh/s3_clnt.blast.03_unsafe.i.cil.c unsafe 4.57 2.99 191066112 unsafe 2.36 1.66 116125696
ssh/s3_clnt.blast.04_unsafe.i.cil.c unsafe 3.98 2.68 166838272 unsafe 2.42 1.98 111538176
ssh/s3_srvr.blast.01_unsafe.i.cil.c unsafe 3.86 2.68 157995008 unsafe 2.50 1.80 114475008
ssh/s3_srvr.blast.02_unsafe.i.cil.c unsafe 3.91 2.83 153075712 unsafe 2.38 1.79 114946048
ssh/s3_srvr.blast.03_unsafe.i.cil.c unsafe 3.81 2.76 152150016 unsafe 2.39 1.63 116064256
ssh/s3_srvr.blast.04_unsafe.i.cil.c unsafe 3.64 2.44 154202112 unsafe 2.73 2.15 112558080
ssh/s3_srvr.blast.06_unsafe.i.cil.c unsafe 6.18 3.86 216588288 unsafe 2.77 2.29 113270784
ssh/s3_srvr.blast.07_unsafe.i.cil.c unsafe 5.16 3.27 213024768 unsafe 2.51 1.87 113041408
ssh/s3_srvr.blast.08_unsafe.i.cil.c unsafe 8.74 5.64 238350336 unsafe 2.71 1.82 118419456
ssh/s3_srvr.blast.09_unsafe.i.cil.c unsafe 5.86 3.64 224731136 unsafe 2.62 2.01 116498432
ssh/s3_srvr.blast.10_unsafe.i.cil.c unsafe 8.23 4.82 240148480 unsafe 2.78 1.90 121073664
ssh/s3_srvr.blast.11_unsafe.i.cil.c unsafe 5.02 3.42 204386304 unsafe 2.53 1.96 112238592
ssh/s3_srvr.blast.12_unsafe.i.cil.c unsafe 5.67 3.61 222162944 unsafe 2.62 1.95 114409472
ssh/s3_srvr.blast.13_unsafe.i.cil.c unsafe 4.87 3.12 200515584 unsafe 2.59 1.78 115392512
ssh/s3_srvr.blast.14_unsafe.i.cil.c unsafe 5.96 3.97 209797120 unsafe 2.56 1.82 117104640
ssh/s3_srvr.blast.15_unsafe.i.cil.c unsafe 7.97 4.59 237113344 unsafe 2.56 1.75 118116352
ssh/s3_srvr.blast.16_unsafe.i.cil.c unsafe 6.65 4.35 213504000 unsafe 2.50 1.72 115036160
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_unsafe.cil.out.i.pp.cil.c unsafe 13.16 6.70 450875392 unsafe 12.85 5.98 455770112
ldv-drivers/module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.cil.c unsafe 16.33 9.57 488439808 unsafe 5.70 3.25 206696448
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko_unsafe.cil.out.i.pp.cil.c unsafe 9.47 4.44 272138240 unsafe 7.43 3.44 254238720
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko_unsafe.cil.out.i.pp.cil.c unsafe 11.38 5.24 272433152 unsafe 9.66 4.51 243265536
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.cil.c unsafe 278.58 270.09 1072271360 unsafe 10.07 4.39 266899456
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.cil.c unsafe 10.48 5.31 271622144 unsafe 6.00 3.32 211066880
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c unsafe 381.39 363.19 4889989120 unsafe 6.26 2.99 237076480
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.cil.c unsafe 6.81 3.88 225673216 unsafe 7.69 3.89 225943552
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.cil.c unsafe 11.12 5.49 294293504 unsafe 11.64 5.54 290025472
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.cil.c unsafe 7.68 5.70 263077888 unsafe 3.49 2.43 144683008
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.cil.c unsafe 22.55 17.80 637407232 unsafe 3.83 2.45 160604160
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.cil.c unsafe 5.91 3.96 238575616 unsafe 5.21 3.14 198254592
ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.cil.c unsafe 55.88 49.49 1388085248 unsafe 4.24 3.11 172957696
ldv-drivers/usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.cil.c unsafe 49.80 43.48 877309952 unsafe 4.07 2.80 171589632
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.cil.c unsafe 9.36 5.89 282607616 unsafe 3.17 2.18 151007232
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.cil.c unsafe 3.73 2.51 171237376 unsafe 3.48 2.32 153264128
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_unsafe.cil.out.i.pp.i unsafe 11.02 5.05 326545408 unsafe 12.13 5.09 334467072
ldv-drivers/module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.i unsafe 9.43 5.70 262402048 unsafe 4.76 3.19 160411648
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko_unsafe.cil.out.i.pp.i unsafe 4.61 2.84 190537728 unsafe 4.46 2.55 169877504
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko_unsafe.cil.out.i.pp.i unsafe 7.33 3.94 229769216 unsafe 7.37 3.56 222404608
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.i unsafe 38.65 30.66 558931968 unsafe 8.21 3.75 220172288
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.i unsafe 9.57 5.01 240447488 unsafe 5.30 2.74 179134464
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.i unsafe 53.55 43.08 2419990528 unsafe 4.08 2.44 157138944
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.i unsafe 7.15 3.58 250920960 unsafe 7.02 3.29 246116352
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.i unsafe 8.89 4.33 278204416 unsafe 8.76 4.30 233385984
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.i unsafe 8.97 5.76 262242304 unsafe 3.20 2.03 132853760
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.i unsafe 21.82 16.77 374779904 unsafe 3.13 2.10 147623936
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.i unsafe 4.53 2.95 204722176 unsafe 3.79 2.36 164155392
ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.i unsafe 50.00 42.20 1590157312 unsafe 3.25 2.15 148365312
ldv-drivers/usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.i unsafe 56.89 48.90 1806737408 unsafe 3.47 2.33 155615232
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.i unsafe 12.12 8.35 338403328 unsafe 2.97 2.14 148054016
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.i unsafe 3.40 2.41 158273536 unsafe 3.20 2.09 142696448
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.15 3.41 242057216 unsafe 7.74 3.83 238227456
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 9.47 4.89 329494528 unsafe 10.03 4.95 309940224
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 unsafe 4.17 2.97 201945088 unsafe 4.35 2.74 158203904
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 6.50 3.48 232919040 unsafe 6.77 3.64 225914880
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 17.98 14.18 418054144 unsafe 8.59 5.64 302886912
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 38.48 34.52 1323302912 unsafe 8.40 6.67 335433728
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 unsafe 98.90 92.98 622252032 unsafe 98.12 92.08 615571456
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.18 4.71 269320192 unsafe 9.17 4.17 257114112
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 3.32 2.26 161869824 unsafe 3.10 2.17 148013056
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 9.48 5.22 279994368 unsafe 8.01 4.45 270229504
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 unsafe 7.64 3.76 243519488 unsafe 7.34 3.55 242909184
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 1.79 1.38 112607232 unsafe 1.62 1.32 97804288
ldv-regression/alt_test.c_unsafe.cil.c unsafe 1.81 1.42 113446912 unsafe 1.61 1.23 98607104
ldv-regression/callfpointer.c_unsafe.cil.c unsafe 1.75 1.38 112394240 unsafe 1.58 1.24 98615296
ldv-regression/fo_test.c_unsafe.cil.c unsafe 1.80 1.36 112963584 unsafe 1.62 1.27 99016704
ldv-regression/mutex_lock_int.c_unsafe.cil.c unsafe 1.76 1.32 112242688 unsafe 1.56 1.21 96268288
ldv-regression/mutex_lock_struct.c_unsafe.cil.c unsafe 1.77 1.32 111656960 unsafe 1.59 1.30 99033088
ldv-regression/recursive_list.c_unsafe.cil.c unsafe 1.77 1.32 111955968 unsafe 1.61 1.22 99766272
ldv-regression/rule57_ebda_blast.c_unsafe.cil.c unsafe 1.81 1.35 111669248 unsafe 1.63 1.24 99520512
ldv-regression/rule60_list2.c_unsafe_1.cil.c unsafe 1.90 1.50 114769920 unsafe 1.71 1.30 101187584
ldv-regression/stateful_check_unsafe.cil.c unsafe 2.15 1.68 120209408 unsafe 1.70 1.28 99229696
ldv-regression/test_while_int.c_unsafe.cil.c unsafe 1.80 1.35 114388992 unsafe 1.59 1.19 99778560
ldv-regression/test_while_int.c_unsafe_1.cil.c unsafe 1.79 1.36 114188288 unsafe 1.58 1.18 99385344
ldv-regression/1_3.c_unsafe.i unsafe 1.79 1.37 109621248 unsafe 1.59 1.23 99721216
ldv-regression/alt_test.c_unsafe.i unsafe 1.98 1.50 115900416 unsafe 1.92 1.39 102801408
ldv-regression/callfpointer.c_unsafe.i unsafe 1.68 1.28 111988736 unsafe 1.57 1.20 98689024
ldv-regression/fo_test.c_unsafe.i unsafe 1.99 1.46 114188288 unsafe 1.82 1.34 102608896
ldv-regression/mutex_lock_int.c_unsafe.i unsafe 1.73 1.68 112406528 unsafe 1.58 1.23 99180544
ldv-regression/mutex_lock_struct.c_unsafe.i unsafe 1.76 1.34 112779264 unsafe 1.58 1.24 99831808
ldv-regression/recursive_list.c_unsafe.i unsafe 1.93 1.55 111517696 unsafe 1.60 1.25 99987456
ldv-regression/rule57_ebda_blast.c_unsafe.i unsafe 1.96 1.57 110342144 unsafe 1.62 1.22 98578432
ldv-regression/rule60_list2.c_unsafe_1.i unsafe 2.04 1.53 109715456 unsafe 1.75 1.29 98230272
ldv-regression/stateful_check_unsafe.i unsafe 2.30 1.78 119537664 unsafe 1.76 1.36 99901440
ldv-regression/test_while_int.c_unsafe.i unsafe 1.94 1.57 111558656 unsafe 1.58 1.22 99057664
ldv-regression/test_while_int.c_unsafe_1.i unsafe 1.97 1.56 113840128 unsafe 1.58 1.22 99102720
ddv-machzwd/ddv_machzwd_all_unsafe.cil.c unsafe 3.99 3.01 159985664 unsafe 2.61 1.90 121528320
ddv-machzwd/ddv_machzwd_inw_unsafe.cil.c unsafe 3.86 2.89 156532736 unsafe 2.58 1.91 120709120
ddv-machzwd/ddv_machzwd_outb_unsafe.cil.c unsafe 3.93 3.20 157634560 unsafe 2.55 1.88 121516032
ddv-machzwd/ddv_machzwd_all_unsafe.i unsafe 3.64 2.87 153960448 unsafe 2.64 1.90 131772416
ddv-machzwd/ddv_machzwd_inw_unsafe.i unsafe 3.66 2.73 153354240 unsafe 2.61 1.84 131194880
ddv-machzwd/ddv_machzwd_outb_unsafe.i unsafe 3.63 2.74 153931776 unsafe 2.62 1.86 130932736
heap-manipulation/bubble_sort_linux_unsafe.cil.c unsafe 2.38 1.85 123244544 unsafe 1.98 1.43 108638208
heap-manipulation/dll_of_dll_unsafe.cil.c - - - - - - - -
heap-manipulation/merge_sort_unsafe.cil.c unsafe 2.29 1.80 117112832 unsafe 2.07 1.48 106151936
heap-manipulation/sll_to_dll_rev_unsafe.cil.c unsafe 2.50 1.93 127254528 unsafe 2.32 1.59 114372608
heap-manipulation/bubble_sort_linux_unsafe.i unsafe 2.30 1.77 118571008 unsafe 2.13 1.42 105234432
heap-manipulation/dll_of_dll_unsafe.i - - - - - - - -
heap-manipulation/merge_sort_unsafe.i unsafe 2.21 1.71 117440512 unsafe 2.03 1.48 102850560
heap-manipulation/sll_to_dll_rev_unsafe.i unsafe 2.25 1.82 118542336 unsafe 2.09 1.49 105603072
loops/array_unsafe.i unsafe 1.94 1.54 112979968 unsafe 1.86 1.39 100130816
loops/bubble_sort_unsafe.i unsafe 2.44 1.96 124989440 unsafe 2.29 1.66 110141440
loops/count_up_down_unsafe.i unsafe 1.87 1.50 107663360 unsafe 1.73 1.25 97931264
loops/eureka_01_unsafe.i - - - - - - - -
loops/for_bounded_loop1_unsafe.i unsafe 1.94 1.51 111980544 unsafe 1.94 1.44 102408192
loops/insertion_sort_unsafe.i unsafe 1.95 1.56 111161344 unsafe 2.06 1.45 102932480
loops/invert_string_unsafe.i unsafe 1.92 1.54 112336896 unsafe 1.87 1.33 99209216
loops/kundu_unsafe.i unsafe 9.38 6.15 293224448 unsafe 2.13 1.62 104067072
loops/linear_search_unsafe.i unsafe 1.92 1.49 111198208 unsafe 1.86 1.50 95014912
loops/list_search_unsafe.i unsafe 2.16 1.69 115240960 unsafe 2.10 1.61 103473152
loops/ludcmp_unsafe.i unsafe 2.46 1.92 123289600 unsafe 1.74 1.31 99909632
loops/matrix_unsafe.i unsafe 2.04 1.67 115441664 unsafe 1.75 1.41 96845824
loops/nec11_unsafe.i unsafe 1.90 1.49 109715456 unsafe 1.69 1.30 99450880
loops/nec20_unsafe.i unsafe 1.95 1.61 111734784 unsafe 1.70 1.31 98160640
loops/pc_sfifo_2_unsafe.i unsafe 2.08 1.70 113057792 unsafe 1.78 1.34 98099200
loops/s3_unsafe.i unsafe 4.76 3.40 201396224 unsafe 2.25 1.71 111849472
loops/string_unsafe.i unsafe 2.35 2.00 125202432 unsafe 1.75 1.34 99348480
loops/sum01_bug02_sum01_bug02_base.case_unsafe.i unsafe 1.94 1.80 112500736 unsafe 1.67 1.29 97075200
loops/sum01_bug02_unsafe.i unsafe 1.96 1.75 112295936 unsafe 1.70 1.31 97964032
loops/sum01_unsafe.i unsafe 1.96 1.70 112308224 unsafe 1.66 1.28 98611200
loops/sum03_unsafe.i unsafe 2.89 2.33 133644288 unsafe 1.80 1.42 103383040
loops/sum04_unsafe.i unsafe 2.47 2.07 123981824 unsafe 1.65 1.27 100896768
loops/sum_array_unsafe.i unsafe 2.02 1.81 114970624 unsafe 1.68 1.27 101122048
loops/terminator_01_unsafe.i unsafe 1.87 1.59 108863488 unsafe 1.66 1.26 101249024
loops/terminator_02_unsafe.i unsafe 1.82 1.84 108158976 unsafe 1.66 1.22 97968128
loops/terminator_03_unsafe.i unsafe 1.85 1.76 110575616 unsafe 1.62 1.26 97701888
loops/token_ring01_unsafe.i unsafe 2.84 2.29 132587520 unsafe 1.93 1.47 103014400
loops/transmitter_unsafe.i unsafe 2.48 2.09 120807424 unsafe 1.90 1.42 102125568
loops/trex01_unsafe.i unsafe 1.92 1.74 110194688 unsafe 1.69 1.30 98242560
loops/trex02_unsafe.i unsafe 1.89 2.00 111706112 unsafe 1.63 1.21 101036032
loops/trex03_unsafe.i unsafe 1.89 1.60 113692672 unsafe 1.72 1.30 99123200
loops/verisec_NetBSD-libc__loop_unsafe.i unsafe 1.95 1.93 110923776 unsafe 1.67 1.28 98631680
loops/verisec_OpenSER__cases1_stripFullBoth_arr_unsafe.i - - - - - - - -
loops/verisec_sendmail__tTflag_arr_one_loop_unsafe.i - - - - - - - -
loops/vogal_unsafe.i - - - - - - - -
loops/while_infinite_loop_4_unsafe.i unsafe 1.95 2.04 111828992 unsafe 1.65 1.29 98455552
product-lines/elevator_spec14_product20_unsafe.cil.c unsafe 14.55 10.67 404455424 unsafe 2.80 2.21 120188928
product-lines/elevator_spec14_product24_unsafe.cil.c unsafe 18.15 13.96 485699584 unsafe 2.91 2.16 123695104
product-lines/elevator_spec14_product28_unsafe.cil.c unsafe 15.48 11.89 416079872 unsafe 2.78 2.00 123551744
product-lines/elevator_spec14_product32_unsafe.cil.c unsafe 18.12 14.29 494153728 unsafe 2.94 2.08 124313600
product-lines/elevator_spec14_productSimulator_unsafe.cil.c unsafe 26.72 21.72 915648512 unsafe 3.04 2.05 139882496
product-lines/elevator_spec1_product18_unsafe.cil.c unsafe 266.30 260.23 846737408 unsafe 2.72 1.99 122867712
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 unsafe 54.99 49.60 665686016 unsafe 3.15 2.34 124690432
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 unsafe 537.58 525.97 1041489920 unsafe 3.07 2.04 128180224
product-lines/elevator_spec2_product22_unsafe.cil.c unsafe 260.16 253.10 1322123264 unsafe 2.90 2.10 125419520
product-lines/elevator_spec2_product24_unsafe.cil.c unsafe 478.62 471.91 1751314432 unsafe 3.13 2.08 128475136
product-lines/elevator_spec2_product26_unsafe.cil.c unsafe 171.27 165.49 1043910656 unsafe 2.83 2.05 122208256
product-lines/elevator_spec2_product28_unsafe.cil.c unsafe 458.39 449.72 703242240 unsafe 2.97 2.08 125136896
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 12.48 9.65 324198400 unsafe 3.20 2.10 141094912
product-lines/elevator_spec3_product11_unsafe.cil.c unsafe 12.91 9.90 350003200 unsafe 3.27 2.14 141324288
product-lines/elevator_spec3_product19_unsafe.cil.c unsafe 12.15 9.08 348774400 unsafe 3.21 2.10 141819904
product-lines/elevator_spec3_product20_unsafe.cil.c unsafe 14.74 11.35 411795456 unsafe 3.36 2.52 141975552
product-lines/elevator_spec3_product23_unsafe.cil.c unsafe 15.69 12.17 373497856 unsafe 3.39 2.48 144175104
product-lines/elevator_spec3_product24_unsafe.cil.c unsafe 19.29 15.30 502890496 unsafe 3.29 2.39 142819328
product-lines/elevator_spec3_product27_unsafe.cil.c unsafe 12.22 9.29 360841216 unsafe 3.16 2.10 141725696
product-lines/elevator_spec3_product28_unsafe.cil.c unsafe 16.00 12.68 436457472 unsafe 3.23 2.10 142467072
product-lines/elevator_spec3_product31_unsafe.cil.c unsafe 16.75 12.87 378654720 unsafe 3.26 2.22 143994880
product-lines/elevator_spec3_product32_unsafe.cil.c unsafe 20.84 16.73 622841856 unsafe 3.33 2.12 143634432
product-lines/elevator_spec3_productSimulator_unsafe.cil.c unsafe 39.37 34.44 983846912 unsafe 3.35 2.29 146382848
product-lines/elevator_spec9_product26_unsafe.cil.c unsafe 39.42 34.19 748589056 unsafe 2.74 2.04 122331136
product-lines/elevator_spec9_product28_unsafe.cil.c unsafe 56.91 51.24 781541376 unsafe 2.95 2.04 137760768
product-lines/elevator_spec9_product30_unsafe.cil.c unsafe 498.78 483.72 2113462272 unsafe 3.04 2.18 129216512
product-lines/elevator_spec9_product32_unsafe.cil.c unsafe 516.31 501.67 1732321280 unsafe 3.14 2.07 142032896
product-lines/elevator_spec9_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec0_product16_unsafe.cil.c unsafe 11.32 7.13 276209664 unsafe 2.79 1.97 123088896
product-lines/email_spec0_product21_unsafe.cil.c unsafe 490.38 437.06 2538938368 unsafe 2.83 2.02 119238656
product-lines/email_spec0_product22_unsafe.cil.c unsafe 15.76 11.61 292499456 unsafe 2.68 1.90 119947264
product-lines/email_spec0_product26_unsafe.cil.c unsafe 476.99 434.16 3430629376 unsafe 2.67 2.00 119074816
product-lines/email_spec0_product31_unsafe.cil.c unsafe 100.46 83.60 1313624064 unsafe 2.66 1.92 120008704
product-lines/email_spec0_product33_unsafe.cil.c unsafe 14.68 11.41 282169344 unsafe 2.79 2.04 122982400
product-lines/email_spec0_product34_unsafe.cil.c unsafe 52.58 46.84 759521280 unsafe 2.72 2.00 123183104
product-lines/email_spec0_product35_unsafe.cil.c unsafe 63.58 58.76 764403712 unsafe 2.77 2.10 124407808
product-lines/email_spec0_productSimulator_unsafe.cil.c unsafe 422.86 398.83 7452864512 unsafe 2.94 2.21 126386176
product-lines/email_spec11_product15_unsafe.cil.c unsafe 14.40 9.73 279785472 unsafe 2.67 1.97 118988800
product-lines/email_spec11_product20_unsafe.cil.c unsafe 101.51 83.29 1663488000 unsafe 2.71 1.87 118087680
product-lines/email_spec11_product22_unsafe.cil.c unsafe 28.33 23.68 539451392 unsafe 2.69 1.92 120168448
product-lines/email_spec11_product26_unsafe.cil.c - - - - - - - -
product-lines/email_spec11_product30_unsafe.cil.c unsafe 10.85 6.74 295587840 unsafe 2.73 2.15 120832000
product-lines/email_spec11_product32_unsafe.cil.c unsafe 494.74 443.81 2765541376 unsafe 2.87 2.08 122806272
product-lines/email_spec11_product33_unsafe.cil.c unsafe 291.46 284.93 1149374464 unsafe 2.96 2.30 119230464
product-lines/email_spec11_product35_unsafe.cil.c unsafe 869.93 808.09 4128423936 unsafe 3.09 2.39 121806848
product-lines/email_spec11_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec1_product14_unsafe.cil.c unsafe 23.53 19.58 331403264 unsafe 2.85 2.11 122204160
product-lines/email_spec1_product15_unsafe.cil.c unsafe 8.91 5.87 235163648 unsafe 2.77 2.11 122609664
product-lines/email_spec1_product16_unsafe.cil.c unsafe 8.05 4.89 230694912 unsafe 2.74 2.15 123551744
product-lines/email_spec1_product20_unsafe.cil.c - - - - - - - -
product-lines/email_spec1_product21_unsafe.cil.c - - - - - - - -
product-lines/email_spec1_product22_unsafe.cil.c unsafe 436.30 394.68 1933238272 unsafe 2.97 2.19 123047936
product-lines/email_spec1_product26_unsafe.cil.c unsafe 107.25 93.17 1098293248 unsafe 2.69 1.89 122634240
product-lines/email_spec1_product29_unsafe.cil.c unsafe 14.14 10.08 284512256 unsafe 2.74 1.98 124919808
product-lines/email_spec1_product30_unsafe.cil.c unsafe 8.66 5.24 239935488 unsafe 2.73 2.01 123719680
product-lines/email_spec1_product31_unsafe.cil.c unsafe 17.77 13.86 288940032 unsafe 3.05 2.09 139517952
product-lines/email_spec1_product32_unsafe.cil.c unsafe 34.50 28.84 639684608 unsafe 2.85 2.00 124968960
product-lines/email_spec1_product33_unsafe.cil.c unsafe 34.89 29.82 490151936 unsafe 3.24 2.30 140713984
product-lines/email_spec1_product34_unsafe.cil.c unsafe 207.10 183.61 1270747136 unsafe 3.03 2.28 124739584
product-lines/email_spec1_product35_unsafe.cil.c unsafe 749.35 702.45 1726705664 unsafe 2.95 2.16 126230528
product-lines/email_spec1_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product17_unsafe.cil.c unsafe 107.71 99.10 673263616 unsafe 3.18 2.43 122056704
product-lines/email_spec27_product18_unsafe.cil.c unsafe 7.71 6.12 239894528 unsafe 3.24 2.38 125313024
product-lines/email_spec27_product19_unsafe.cil.c unsafe 11.60 8.92 284340224 unsafe 3.10 2.00 139456512
product-lines/email_spec27_product23_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product24_unsafe.cil.c unsafe 17.12 13.18 288808960 unsafe 3.09 2.02 124964864
product-lines/email_spec27_product25_unsafe.cil.c unsafe 111.26 94.63 856408064 unsafe 3.20 2.17 141152256
product-lines/email_spec27_product27_unsafe.cil.c unsafe 166.04 141.46 1060986880 unsafe 3.30 2.11 139276288
product-lines/email_spec27_product29_unsafe.cil.c unsafe 12.94 9.27 282284032 unsafe 3.32 2.29 141598720
product-lines/email_spec27_product30_unsafe.cil.c unsafe 9.30 5.16 269398016 unsafe 3.27 2.07 141340672
product-lines/email_spec27_product31_unsafe.cil.c unsafe 11.03 7.85 286154752 unsafe 3.27 2.25 141717504
product-lines/email_spec27_product32_unsafe.cil.c unsafe 40.29 34.17 546926592 unsafe 3.18 2.11 142639104
product-lines/email_spec27_product33_unsafe.cil.c unsafe 8.77 5.32 246206464 unsafe 3.25 2.16 142249984
product-lines/email_spec27_product34_unsafe.cil.c unsafe 20.68 16.25 474521600 unsafe 3.40 2.36 139694080
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 3.85 3.07 163532800 unsafe 2.78 1.96 117055488
product-lines/email_spec3_product17_unsafe.cil.c unsafe 19.27 16.52 213909504 unsafe 2.69 1.93 118800384
product-lines/email_spec3_product18_unsafe.cil.c unsafe 3.83 2.71 165359616 unsafe 2.77 1.93 119574528
product-lines/email_spec3_product19_unsafe.cil.c unsafe 3.84 2.69 163184640 unsafe 2.65 1.88 117231616
product-lines/email_spec3_product23_unsafe.cil.c unsafe 18.34 15.47 228786176 unsafe 2.73 1.92 119644160
product-lines/email_spec3_product24_unsafe.cil.c unsafe 4.95 3.37 167108608 unsafe 2.55 1.79 119246848
product-lines/email_spec3_product25_unsafe.cil.c unsafe 18.62 15.67 228921344 unsafe 2.66 1.87 119836672
product-lines/email_spec3_product27_unsafe.cil.c unsafe 19.79 17.07 282583040 unsafe 2.62 1.82 118484992
product-lines/email_spec3_product28_unsafe.cil.c unsafe 3.96 2.86 171929600 unsafe 2.72 1.92 121307136
product-lines/email_spec3_product29_unsafe.cil.c unsafe 69.31 65.43 451465216 unsafe 2.64 1.84 117997568
product-lines/email_spec3_product30_unsafe.cil.c unsafe 4.01 3.09 183496704 unsafe 2.61 1.90 118235136
product-lines/email_spec3_product31_unsafe.cil.c unsafe 3.98 2.76 169730048 unsafe 2.69 1.88 118185984
product-lines/email_spec3_product32_unsafe.cil.c unsafe 89.08 79.74 660021248 unsafe 2.71 1.97 117678080
product-lines/email_spec3_product33_unsafe.cil.c unsafe 4.91 3.56 187510784 unsafe 2.73 1.89 120422400
product-lines/email_spec3_product34_unsafe.cil.c unsafe 68.89 64.45 477720576 unsafe 2.67 1.93 119005184
product-lines/email_spec3_product35_unsafe.cil.c unsafe 78.80 74.91 450707456 unsafe 2.70 1.89 118251520
product-lines/email_spec3_productSimulator_unsafe.cil.c unsafe 9.69 6.34 267087872 unsafe 2.73 1.97 123142144
product-lines/email_spec4_product18_unsafe.cil.c unsafe 5.89 3.58 233648128 unsafe 2.71 1.95 118464512
product-lines/email_spec4_product19_unsafe.cil.c unsafe 9.38 6.10 262389760 unsafe 2.83 2.04 122855424
product-lines/email_spec4_product23_unsafe.cil.c unsafe 9.16 6.24 270340096 unsafe 2.78 1.95 123600896
product-lines/email_spec4_product24_unsafe.cil.c unsafe 6.60 3.91 236154880 unsafe 2.87 2.09 122028032
product-lines/email_spec4_product25_unsafe.cil.c unsafe 166.74 152.81 783704064 unsafe 2.80 1.97 122712064
product-lines/email_spec4_product27_unsafe.cil.c unsafe 9.80 6.79 275013632 unsafe 2.87 2.04 122621952
product-lines/email_spec4_product30_unsafe.cil.c unsafe 6.98 3.94 240377856 unsafe 2.84 2.01 122122240
product-lines/email_spec4_product31_unsafe.cil.c unsafe 7.10 4.12 233984000 unsafe 2.92 2.11 123699200
product-lines/email_spec4_product32_unsafe.cil.c unsafe 13.05 9.20 319000576 unsafe 2.95 2.16 122519552
product-lines/email_spec4_product33_unsafe.cil.c unsafe 8.27 4.58 266305536 unsafe 3.00 2.02 121720832
product-lines/email_spec4_product34_unsafe.cil.c unsafe 11.94 7.99 288133120 unsafe 3.02 2.15 125120512
product-lines/email_spec4_product35_unsafe.cil.c unsafe 13.50 8.93 292831232 unsafe 3.00 2.10 122839040
product-lines/email_spec4_productSimulator_unsafe.cil.c unsafe 70.62 62.90 2485915648 unsafe 3.25 2.06 142487552
product-lines/email_spec6_product12_unsafe.cil.c unsafe 8.35 4.64 241352704 unsafe 2.90 2.03 119701504
product-lines/email_spec6_product14_unsafe.cil.c unsafe 28.22 23.33 535633920 unsafe 2.79 2.02 119255040
product-lines/email_spec6_product15_unsafe.cil.c unsafe 9.11 5.69 238395392 unsafe 2.79 2.02 118927360
product-lines/email_spec6_product16_unsafe.cil.c unsafe 28.23 23.30 461729792 unsafe 3.05 2.26 120143872
product-lines/email_spec6_product20_unsafe.cil.c unsafe 30.90 25.96 448860160 unsafe 3.06 2.27 120193024
product-lines/email_spec6_product21_unsafe.cil.c unsafe 30.31 25.39 463679488 unsafe 2.75 1.97 119693312
product-lines/email_spec6_product22_unsafe.cil.c unsafe 13.67 8.97 291463168 unsafe 2.85 2.13 118894592
product-lines/email_spec6_product26_unsafe.cil.c unsafe 273.77 240.74 2285850624 unsafe 2.76 1.96 118820864
product-lines/email_spec6_product28_unsafe.cil.c unsafe 10.01 6.52 247754752 unsafe 2.78 1.98 119365632
product-lines/email_spec6_product29_unsafe.cil.c unsafe 24.45 19.52 412622848 unsafe 2.69 1.93 121655296
product-lines/email_spec6_product30_unsafe.cil.c unsafe 11.11 7.34 277229568 unsafe 2.73 2.02 119144448
product-lines/email_spec6_product31_unsafe.cil.c unsafe 10.42 6.85 284213248 unsafe 2.99 2.20 123604992
product-lines/email_spec6_product32_unsafe.cil.c unsafe 109.64 92.30 1340616704 unsafe 2.82 1.89 120250368
product-lines/email_spec6_product33_unsafe.cil.c unsafe 11.68 8.10 290197504 unsafe 2.94 2.08 120614912
product-lines/email_spec6_product34_unsafe.cil.c unsafe 16.81 12.51 303882240 unsafe 2.97 2.40 123174912
product-lines/email_spec6_product35_unsafe.cil.c unsafe 311.42 274.35 2251948032 unsafe 2.78 1.98 118841344
product-lines/email_spec6_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec7_product28_unsafe.cil.c unsafe 16.41 12.96 283832320 unsafe 2.92 2.00 122445824
product-lines/email_spec7_product29_unsafe.cil.c - - - - - - - -
product-lines/email_spec7_product30_unsafe.cil.c unsafe 32.37 28.67 356691968 unsafe 2.87 2.07 118841344
product-lines/email_spec7_product31_unsafe.cil.c unsafe 13.19 8.94 291676160 unsafe 2.91 1.97 122044416
product-lines/email_spec7_product32_unsafe.cil.c unsafe 294.64 269.06 1804001280 unsafe 3.00 2.17 123170816
product-lines/email_spec7_product33_unsafe.cil.c unsafe 80.53 66.82 913608704 unsafe 3.04 2.14 123600896
product-lines/email_spec7_product34_unsafe.cil.c unsafe 44.16 37.96 816185344 unsafe 3.02 2.22 122998784
product-lines/email_spec7_product35_unsafe.cil.c unsafe 191.95 163.37 1860018176 unsafe 3.12 2.15 124194816
product-lines/email_spec7_productSimulator_unsafe.cil.c unsafe 384.79 351.79 4517740544 unsafe 3.03 2.01 125472768
product-lines/email_spec8_product15_unsafe.cil.c unsafe 15.13 11.95 294285312 unsafe 2.86 2.07 121602048
product-lines/email_spec8_product16_unsafe.cil.c unsafe 7.45 4.46 238563328 unsafe 2.93 2.06 123670528
product-lines/email_spec8_product20_unsafe.cil.c unsafe 264.97 241.99 1940025344 unsafe 3.01 2.02 124702720
product-lines/email_spec8_product21_unsafe.cil.c unsafe 26.21 22.12 444313600 unsafe 3.25 2.47 123785216
product-lines/email_spec8_product22_unsafe.cil.c unsafe 9.16 5.21 251105280 unsafe 3.19 2.32 120029184
product-lines/email_spec8_product26_unsafe.cil.c unsafe 37.16 31.78 414220288 unsafe 3.16 2.35 122683392
product-lines/email_spec8_product30_unsafe.cil.c unsafe 7.65 4.69 246272000 unsafe 3.20 2.42 124776448
product-lines/email_spec8_product31_unsafe.cil.c unsafe 8.51 4.81 251695104 unsafe 3.36 2.08 140754944
product-lines/email_spec8_product32_unsafe.cil.c unsafe 14.72 10.30 307974144 unsafe 3.03 2.19 124674048
product-lines/email_spec8_product33_unsafe.cil.c unsafe 22.40 18.00 277258240 unsafe 3.06 2.02 125648896
product-lines/email_spec8_product34_unsafe.cil.c unsafe 41.34 35.21 722403328 unsafe 3.20 2.25 139554816
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 15.29 12.03 296898560 unsafe 2.98 2.12 120950784
product-lines/email_spec9_product16_unsafe.cil.c unsafe 7.59 4.57 234647552 unsafe 3.13 2.32 124944384
product-lines/email_spec9_product20_unsafe.cil.c unsafe 270.20 243.50 1739767808 unsafe 2.90 1.97 122208256
product-lines/email_spec9_product21_unsafe.cil.c unsafe 25.77 21.15 544980992 unsafe 3.05 2.22 124489728
product-lines/email_spec9_product22_unsafe.cil.c unsafe 8.63 5.18 241098752 unsafe 3.00 2.21 122011648
product-lines/email_spec9_product26_unsafe.cil.c unsafe 36.68 31.82 416014336 unsafe 3.03 2.20 121802752
product-lines/email_spec9_product30_unsafe.cil.c unsafe 7.59 4.58 246837248 unsafe 2.90 2.00 125521920
product-lines/email_spec9_product31_unsafe.cil.c unsafe 8.41 4.72 255913984 unsafe 3.07 2.05 140668928
product-lines/email_spec9_product32_unsafe.cil.c unsafe 13.28 9.28 301797376 unsafe 2.81 1.97 125419520
product-lines/email_spec9_product33_unsafe.cil.c unsafe 20.58 16.76 275283968 unsafe 2.84 2.05 123531264
product-lines/email_spec9_product34_unsafe.cil.c unsafe 40.11 34.32 719564800 unsafe 3.13 2.02 141651968
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.21 1.96 121745408 unsafe 2.09 1.58 102678528
product-lines/minepump_spec1_product34_unsafe.cil.c unsafe 2.25 1.68 120836096 unsafe 2.16 1.62 103866368
product-lines/minepump_spec1_product35_unsafe.cil.c unsafe 2.23 1.66 122998784 unsafe 2.27 1.77 104648704
product-lines/minepump_spec1_product36_unsafe.cil.c unsafe 2.24 1.64 122200064 unsafe 2.13 1.47 105295872
product-lines/minepump_spec1_product37_unsafe.cil.c unsafe 2.32 1.74 121212928 unsafe 2.13 1.59 104820736
product-lines/minepump_spec1_product38_unsafe.cil.c unsafe 2.33 1.73 122818560 unsafe 2.07 1.45 104595456
product-lines/minepump_spec1_product39_unsafe.cil.c unsafe 2.31 1.75 121540608 unsafe 2.09 1.53 104812544
product-lines/minepump_spec1_product40_unsafe.cil.c unsafe 2.32 1.75 123891712 unsafe 2.04 1.42 107421696
product-lines/minepump_spec1_product41_unsafe.cil.c unsafe 2.56 1.94 130781184 unsafe 2.04 1.49 103751680
product-lines/minepump_spec1_product42_unsafe.cil.c unsafe 2.56 1.84 128520192 unsafe 2.03 1.48 104054784
product-lines/minepump_spec1_product43_unsafe.cil.c unsafe 2.62 1.96 132272128 unsafe 2.14 1.79 106991616
product-lines/minepump_spec1_product44_unsafe.cil.c unsafe 2.59 1.96 128282624 unsafe 2.07 1.61 106094592
product-lines/minepump_spec1_product49_unsafe.cil.c unsafe 2.37 1.77 123715584 unsafe 2.03 1.48 105582592
product-lines/minepump_spec1_product50_unsafe.cil.c unsafe 2.65 1.99 125022208 unsafe 1.99 1.44 107282432
product-lines/minepump_spec1_product51_unsafe.cil.c unsafe 2.60 2.60 125476864 unsafe 2.08 1.56 106430464
product-lines/minepump_spec1_product52_unsafe.cil.c unsafe 2.68 2.08 126439424 unsafe 2.03 1.57 105644032
product-lines/minepump_spec1_product53_unsafe.cil.c unsafe 3.05 2.27 129425408 unsafe 2.08 1.56 104030208
product-lines/minepump_spec1_product54_unsafe.cil.c unsafe 2.77 2.08 129593344 unsafe 2.11 1.54 106315776
product-lines/minepump_spec1_product55_unsafe.cil.c unsafe 2.89 2.09 131096576 unsafe 2.04 1.44 107307008
product-lines/minepump_spec1_product56_unsafe.cil.c unsafe 2.67 1.94 129396736 unsafe 2.01 1.49 103411712
product-lines/minepump_spec1_productSimulator_unsafe.cil.c unsafe 3.68 2.50 156663808 unsafe 2.08 1.50 108007424
product-lines/minepump_spec2_product33_unsafe.cil.c unsafe 2.85 2.06 129654784 unsafe 2.14 1.56 108417024
product-lines/minepump_spec2_product34_unsafe.cil.c unsafe 2.76 2.05 127885312 unsafe 1.99 1.46 105930752
product-lines/minepump_spec2_product35_unsafe.cil.c unsafe 2.73 2.07 126058496 unsafe 2.00 1.47 104165376
product-lines/minepump_spec2_product36_unsafe.cil.c unsafe 2.71 1.99 126234624 unsafe 2.03 1.54 106426368
product-lines/minepump_spec2_product41_unsafe.cil.c unsafe 3.12 2.30 139517952 unsafe 2.20 1.56 108875776
product-lines/minepump_spec2_product42_unsafe.cil.c unsafe 3.06 2.38 138301440 unsafe 2.16 1.65 105140224
product-lines/minepump_spec2_product43_unsafe.cil.c unsafe 3.11 2.37 138702848 unsafe 2.19 1.76 106774528
product-lines/minepump_spec2_product44_unsafe.cil.c unsafe 2.99 2.20 139431936 unsafe 2.15 1.66 107409408
product-lines/minepump_spec2_productSimulator_unsafe.cil.c unsafe 5.85 3.35 223911936 unsafe 2.24 1.73 106958848
product-lines/minepump_spec3_product01_unsafe.cil.c unsafe 2.31 1.74 118530048 unsafe 1.98 1.46 104738816
product-lines/minepump_spec3_product02_unsafe.cil.c unsafe 2.40 1.72 120643584 unsafe 1.96 1.44 103878656
product-lines/minepump_spec3_product03_unsafe.cil.c unsafe 2.54 1.83 121847808 unsafe 1.92 1.41 104083456
product-lines/minepump_spec3_product04_unsafe.cil.c unsafe 2.44 1.90 119414784 unsafe 1.92 1.40 104947712
product-lines/minepump_spec3_product05_unsafe.cil.c unsafe 2.38 1.80 120979456 unsafe 1.93 1.39 103305216
product-lines/minepump_spec3_product06_unsafe.cil.c unsafe 2.45 1.76 120897536 unsafe 1.95 1.59 104284160
product-lines/minepump_spec3_product07_unsafe.cil.c unsafe 2.41 1.82 120827904 unsafe 1.95 1.48 104493056
product-lines/minepump_spec3_product08_unsafe.cil.c unsafe 2.34 1.80 118984704 unsafe 2.01 1.52 105267200
product-lines/minepump_spec3_product09_unsafe.cil.c unsafe 2.34 2.22 119570432 unsafe 2.01 1.49 103919616
product-lines/minepump_spec3_product10_unsafe.cil.c unsafe 2.41 1.93 120913920 unsafe 1.92 1.42 104955904
product-lines/minepump_spec3_product11_unsafe.cil.c unsafe 2.42 1.91 120664064 unsafe 1.95 1.45 105246720
product-lines/minepump_spec3_product12_unsafe.cil.c unsafe 2.36 1.74 120741888 unsafe 1.91 1.49 104771584
product-lines/minepump_spec3_product13_unsafe.cil.c unsafe 2.38 1.83 120184832 unsafe 1.90 1.43 105914368
product-lines/minepump_spec3_product14_unsafe.cil.c unsafe 2.40 1.82 119676928 unsafe 1.94 1.50 104738816
product-lines/minepump_spec3_product15_unsafe.cil.c unsafe 2.38 1.78 120369152 unsafe 1.98 1.46 106078208
product-lines/minepump_spec3_product16_unsafe.cil.c unsafe 2.39 1.75 119463936 unsafe 1.97 1.43 104919040
product-lines/minepump_spec3_product17_unsafe.cil.c unsafe 2.40 2.01 119836672 unsafe 2.00 1.53 102641664
product-lines/minepump_spec3_product18_unsafe.cil.c unsafe 2.40 1.91 122744832 unsafe 2.11 1.73 105095168
product-lines/minepump_spec3_product19_unsafe.cil.c unsafe 2.39 1.79 120815616 unsafe 2.02 1.67 104927232
product-lines/minepump_spec3_product20_unsafe.cil.c unsafe 2.46 1.82 120074240 unsafe 1.96 1.50 103030784
product-lines/minepump_spec3_product21_unsafe.cil.c unsafe 2.59 1.87 121831424 unsafe 1.96 1.43 104153088
product-lines/minepump_spec3_product22_unsafe.cil.c unsafe 2.63 1.85 125247488 unsafe 1.95 1.54 106274816
product-lines/minepump_spec3_product23_unsafe.cil.c unsafe 2.52 1.83 124252160 unsafe 2.06 1.49 106135552
product-lines/minepump_spec3_product24_unsafe.cil.c unsafe 2.54 1.86 124624896 unsafe 2.03 1.48 105803776
product-lines/minepump_spec3_product25_unsafe.cil.c unsafe 2.42 1.72 119308288 unsafe 1.98 1.42 105340928
product-lines/minepump_spec3_product26_unsafe.cil.c unsafe 2.65 1.97 123052032 unsafe 1.98 1.46 105119744
product-lines/minepump_spec3_product27_unsafe.cil.c unsafe 2.60 1.99 120537088 unsafe 1.96 1.44 105332736
product-lines/minepump_spec3_product28_unsafe.cil.c unsafe 2.43 1.74 121389056 unsafe 1.99 1.44 107102208
product-lines/minepump_spec3_product29_unsafe.cil.c unsafe 2.50 1.90 122982400 unsafe 1.94 1.39 103301120
product-lines/minepump_spec3_product30_unsafe.cil.c unsafe 2.53 1.76 123301888 unsafe 1.97 1.43 105713664
product-lines/minepump_spec3_product31_unsafe.cil.c unsafe 2.54 1.94 123748352 unsafe 2.03 1.47 105705472
product-lines/minepump_spec3_product32_unsafe.cil.c unsafe 2.56 1.80 123072512 unsafe 1.97 1.49 103731200
product-lines/minepump_spec3_product35_unsafe.cil.c unsafe 2.59 1.92 125431808 unsafe 1.98 1.45 107106304
product-lines/minepump_spec3_product36_unsafe.cil.c unsafe 2.56 2.05 122597376 unsafe 2.07 1.47 108716032
product-lines/minepump_spec3_product39_unsafe.cil.c unsafe 2.76 2.03 129310720 unsafe 2.03 1.43 106729472
product-lines/minepump_spec3_product40_unsafe.cil.c unsafe 2.86 2.33 126074880 unsafe 2.01 1.48 105390080
product-lines/minepump_spec3_product43_unsafe.cil.c unsafe 2.75 2.26 122474496 unsafe 1.98 1.42 103415808
product-lines/minepump_spec3_product44_unsafe.cil.c unsafe 2.63 1.99 123596800 unsafe 2.05 1.50 106467328
product-lines/minepump_spec3_product47_unsafe.cil.c unsafe 2.84 2.03 130961408 unsafe 1.95 1.46 105492480
product-lines/minepump_spec3_product48_unsafe.cil.c unsafe 2.70 2.03 131244032 unsafe 1.98 1.44 104882176
product-lines/minepump_spec3_product51_unsafe.cil.c unsafe 2.59 2.06 128040960 unsafe 2.11 1.64 104128512
product-lines/minepump_spec3_product52_unsafe.cil.c unsafe 2.56 1.98 125005824 unsafe 2.18 1.66 105558016
product-lines/minepump_spec3_product55_unsafe.cil.c unsafe 2.97 2.10 130871296 unsafe 2.03 1.51 106053632
product-lines/minepump_spec3_product56_unsafe.cil.c unsafe 2.86 2.23 128688128 unsafe 2.00 1.46 105422848
product-lines/minepump_spec3_product59_unsafe.cil.c unsafe 2.84 2.27 127385600 unsafe 1.95 1.45 103272448
product-lines/minepump_spec3_product60_unsafe.cil.c unsafe 2.74 2.11 126595072 unsafe 1.91 1.42 105545728
product-lines/minepump_spec3_product63_unsafe.cil.c unsafe 3.06 2.12 133611520 unsafe 2.02 1.43 107704320
product-lines/minepump_spec3_product64_unsafe.cil.c unsafe 2.90 2.13 132153344 unsafe 2.10 1.53 107139072
product-lines/minepump_spec3_productSimulator_unsafe.cil.c unsafe 3.53 2.47 151330816 unsafe 2.03 1.53 105619456
product-lines/minepump_spec4_product33_unsafe.cil.c unsafe 2.89 2.24 130129920 unsafe 2.05 1.53 105439232
product-lines/minepump_spec4_product34_unsafe.cil.c unsafe 2.84 2.13 128749568 unsafe 2.00 1.48 106799104
product-lines/minepump_spec4_product35_unsafe.cil.c unsafe 2.88 2.09 129679360 unsafe 2.05 1.87 108163072
product-lines/minepump_spec4_product36_unsafe.cil.c unsafe 2.79 2.02 130846720 unsafe 2.06 1.88 105934848
product-lines/minepump_spec4_product37_unsafe.cil.c unsafe 3.02 2.17 135835648 unsafe 1.99 1.53 107012096
product-lines/minepump_spec4_product38_unsafe.cil.c unsafe 3.02 2.25 135372800 unsafe 2.12 1.79 105472000
product-lines/minepump_spec4_product39_unsafe.cil.c unsafe 2.98 2.30 134414336 unsafe 2.32 1.83 109797376
product-lines/minepump_spec4_product40_unsafe.cil.c unsafe 2.97 2.24 136048640 unsafe 2.05 1.63 107724800
product-lines/minepump_spec4_product41_unsafe.cil.c unsafe 2.86 2.10 131952640 unsafe 2.04 1.55 106123264
product-lines/minepump_spec4_product42_unsafe.cil.c unsafe 2.81 2.17 131649536 unsafe 2.05 1.52 106655744
product-lines/minepump_spec4_product43_unsafe.cil.c unsafe 2.85 2.12 132816896 unsafe 2.07 1.59 106102784
product-lines/minepump_spec4_product44_unsafe.cil.c unsafe 2.90 2.08 133214208 unsafe 2.11 1.62 105914368
product-lines/minepump_spec4_product45_unsafe.cil.c unsafe 3.22 2.45 140255232 unsafe 2.03 1.55 107294720
product-lines/minepump_spec4_product46_unsafe.cil.c unsafe 3.29 2.30 141348864 unsafe 2.10 1.60 108191744
product-lines/minepump_spec4_product47_unsafe.cil.c unsafe 3.11 2.27 138825728 unsafe 2.02 1.71 105840640
product-lines/minepump_spec4_product48_unsafe.cil.c unsafe 3.23 2.34 142434304 unsafe 2.12 1.69 106545152
product-lines/minepump_spec4_productSimulator_unsafe.cil.c unsafe 6.61 3.54 234971136 unsafe 2.07 1.73 105680896
systemc/kundu1_unsafe.cil.c unsafe 9.96 6.17 292868096 unsafe 2.12 1.73 104620032
systemc/kundu2_unsafe.cil.c unsafe 10.04 6.55 296308736 unsafe 2.03 1.72 104181760
systemc/pc_sfifo_1_unsafe.cil.c unsafe 1.91 1.49 112955392 unsafe 1.67 1.33 98684928
systemc/pc_sfifo_2_unsafe.cil.c unsafe 2.05 1.56 112812032 unsafe 1.79 1.41 98488320
systemc/pipeline_unsafe.cil.c unsafe 424.57 355.91 3314716672 unsafe 3.09 2.18 145051648
systemc/token_ring.01_unsafe.cil.c unsafe 2.64 1.94 128319488 unsafe 2.02 1.59 104296448
systemc/token_ring.02_unsafe.cil.c unsafe 4.44 2.86 175525888 unsafe 2.21 1.69 105082880
systemc/token_ring.03_unsafe.cil.c unsafe 6.44 3.97 234340352 unsafe 2.39 1.74 111431680
systemc/token_ring.04_unsafe.cil.c unsafe 9.39 6.13 281403392 unsafe 2.66 1.87 124596224
systemc/token_ring.05_unsafe.cil.c unsafe 16.04 10.72 510492672 unsafe 2.78 1.76 127725568
systemc/token_ring.06_unsafe.cil.c unsafe 25.78 19.68 1029693440 unsafe 2.98 1.94 131239936
systemc/token_ring.07_unsafe.cil.c unsafe 60.71 46.36 3119710208 unsafe 2.93 2.01 136318976
systemc/token_ring.08_unsafe.cil.c unsafe 136.23 111.10 4511420416 unsafe 3.30 2.25 141320192
systemc/token_ring.09_unsafe.cil.c unsafe 366.61 304.10 8566702080 unsafe 3.51 2.24 145637376
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 153.28 117.88 3597668352 unsafe 2.40 1.92 105676800
systemc/toy2_unsafe.cil.c unsafe 99.88 82.53 3324104704 unsafe 2.44 1.87 106070016
systemc/transmitter.01_unsafe.cil.c unsafe 2.52 1.93 120868864 unsafe 2.13 1.55 105119744
systemc/transmitter.02_unsafe.cil.c unsafe 3.32 2.51 144592896 unsafe 2.07 1.68 102891520
systemc/transmitter.03_unsafe.cil.c unsafe 6.29 3.80 229572608 unsafe 2.06 1.55 104062976
systemc/transmitter.04_unsafe.cil.c unsafe 8.47 5.17 269115392 unsafe 2.25 1.67 110206976
systemc/transmitter.05_unsafe.cil.c unsafe 11.68 7.62 309096448 unsafe 2.72 1.72 125526016
systemc/transmitter.06_unsafe.cil.c unsafe 17.90 13.01 699322368 unsafe 2.72 2.00 128155648
systemc/transmitter.07_unsafe.cil.c unsafe 33.18 26.83 1354514432 unsafe 2.81 1.87 130392064
systemc/transmitter.08_unsafe.cil.c unsafe 84.15 65.52 2991013888 unsafe 2.89 2.05 134381568
systemc/transmitter.09_unsafe.cil.c unsafe 331.00 236.63 7312470016 unsafe 3.00 2.03 139841536
systemc/transmitter.10_unsafe.cil.c unsafe 673.64 555.58 9381220352 unsafe 3.06 2.20 142336000
systemc/transmitter.11_unsafe.cil.c - - - - - - - -
systemc/transmitter.12_unsafe.cil.c - - - - - - - -
systemc/transmitter.13_unsafe.cil.c - - - - - - - -
systemc/transmitter.15_unsafe.cil.c unsafe 3.17 2.53 141639680 unsafe 2.44 1.80 113307648
systemc/transmitter.16_unsafe.cil.c unsafe 3.23 2.27 143048704 unsafe 2.44 1.90 110030848
test/programs/benchmarks/ status cputime walltime memUsage status cputime walltime memUsage
correct results 422 17575.11 15467.37 215309299712 422 1280.87 913.32 53115547648
Run set predicate-generate-errorpath predicate-verify-errorpath