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 16:45 13-04-27 08:33
Run set predicate-generate-precision predicate-reuse-precision
Options -noout
-disable-java-assertions
-heap 14000M
-predicateAnalysis
-setprop cpa.predicate.predmap.file=predicates.${sourcefile_name}.smt2		 -noout
-disable-java-assertions
-heap 14000M
-predicateAnalysis
-setprop cpa.predicate.abstraction.initialPredicates=output/predicates.${sourcefile_name}.smt2
test/programs/benchmarks/ status cputime walltime memUsage status cputime walltime memUsage
bitvector/byte_add_unsafe.i unsafe 3.15 2.55 130646016 unsafe 2.65 4.58 125485056
bitvector/s3_clnt_1_unsafe.BV.c.cil.c unsafe 5.78 3.86 212643840 unsafe 4.83 5.68 179306496
bitvector/s3_clnt_2_unsafe.BV.c.cil.c unsafe 7.54 5.16 232230912 unsafe 6.63 4.87 225263616
bitvector/s3_clnt_3_unsafe.BV.c.cil.c unsafe 3.11 2.10 142680064 unsafe 2.90 2.07 133636096
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.36 3.11 208510976 unsafe 4.53 3.26 194007040
ntdrivers-simplified/floppy_simpl3_unsafe.cil.c unsafe 3.07 2.23 143220736 unsafe 3.07 2.30 141922304
ntdrivers-simplified/floppy_simpl4_unsafe.cil.c unsafe 3.52 2.57 154501120 unsafe 3.64 2.61 153214976
ntdrivers-simplified/kbfiltr_simpl2_unsafe.cil.c unsafe 2.69 1.92 130555904 unsafe 2.84 2.00 130928640
ssh-simplified/s3_clnt_1_unsafe.cil.c unsafe 3.45 2.42 158085120 unsafe 3.27 2.28 152956928
ssh-simplified/s3_clnt_2_unsafe.cil.c unsafe 3.76 2.64 170651648 unsafe 3.37 2.30 149118976
ssh-simplified/s3_clnt_3_unsafe.cil.c unsafe 3.85 2.72 173199360 unsafe 3.46 2.41 155619328
ssh-simplified/s3_clnt_4_unsafe.cil.c unsafe 3.46 2.50 161181696 unsafe 3.30 2.39 146677760
ssh-simplified/s3_srvr_10_unsafe.cil.c unsafe 9.06 5.73 256294912 unsafe 8.97 5.64 253509632
ssh-simplified/s3_srvr_11_unsafe.cil.c unsafe 52.14 35.13 1110110208 unsafe 42.46 28.05 1278169088
ssh-simplified/s3_srvr_12_unsafe.cil.c unsafe 17.57 12.89 517988352 unsafe 13.49 9.77 328519680
ssh-simplified/s3_srvr_13_unsafe.cil.c unsafe 23.59 18.37 582156288 unsafe 20.43 15.71 682192896
ssh-simplified/s3_srvr_14_unsafe.cil.c unsafe 19.03 13.37 663875584 unsafe 23.55 13.98 793960448
ssh-simplified/s3_srvr_1_unsafe.cil.c unsafe 3.17 2.30 149827584 unsafe 3.00 2.15 137609216
ssh-simplified/s3_srvr_2_unsafe.cil.c unsafe 3.36 2.30 146964480 unsafe 2.87 2.06 139751424
ssh-simplified/s3_srvr_6_unsafe.cil.c unsafe 2.12 1.57 117030912 unsafe 2.15 1.48 117125120
locks/test_locks_14_unsafe.c unsafe 1.99 1.47 114479104 unsafe 1.88 1.39 114331648
locks/test_locks_15_unsafe.c unsafe 1.87 1.40 114147328 unsafe 2.23 1.66 114642944
ntdrivers/cdaudio_unsafe.i.cil.c unsafe 7.46 4.51 242122752 unsafe 7.71 5.00 242298880
ntdrivers/diskperf_unsafe.i.cil.c unsafe 4.61 3.14 168763392 unsafe 4.85 3.50 170672128
ntdrivers/floppy_unsafe.i.cil.c unsafe 8.57 5.34 241377280 unsafe 6.53 4.34 223600640
ntdrivers/kbfiltr_unsafe.i.cil.c unsafe 3.80 2.59 149000192 unsafe 3.72 2.71 150040576
ntdrivers/parport_unsafe.i.cil.c - - - - - - - -
ssh/s3_clnt.blast.01_unsafe.i.cil.c unsafe 4.48 3.41 191741952 unsafe 3.87 2.62 160223232
ssh/s3_clnt.blast.02_unsafe.i.cil.c unsafe 3.87 2.93 166445056 unsafe 3.61 2.47 156082176
ssh/s3_clnt.blast.03_unsafe.i.cil.c unsafe 4.32 3.14 187686912 unsafe 3.60 2.54 156184576
ssh/s3_clnt.blast.04_unsafe.i.cil.c unsafe 3.72 2.87 165294080 unsafe 3.63 2.51 156016640
ssh/s3_srvr.blast.01_unsafe.i.cil.c unsafe 3.75 2.98 156499968 unsafe 3.38 2.25 146354176
ssh/s3_srvr.blast.02_unsafe.i.cil.c unsafe 3.62 2.81 153686016 unsafe 3.67 2.39 143515648
ssh/s3_srvr.blast.03_unsafe.i.cil.c unsafe 3.44 2.70 152616960 unsafe 3.69 2.32 145432576
ssh/s3_srvr.blast.04_unsafe.i.cil.c unsafe 3.48 2.77 152940544 unsafe 3.54 2.34 145145856
ssh/s3_srvr.blast.06_unsafe.i.cil.c unsafe 6.35 4.33 220614656 unsafe 4.94 3.18 193994752
ssh/s3_srvr.blast.07_unsafe.i.cil.c unsafe 5.36 4.50 210010112 unsafe 4.19 2.85 170336256
ssh/s3_srvr.blast.08_unsafe.i.cil.c unsafe 8.85 5.90 237187072 unsafe 5.99 3.74 219906048
ssh/s3_srvr.blast.09_unsafe.i.cil.c unsafe 5.65 3.86 210378752 unsafe 4.67 3.05 175521792
ssh/s3_srvr.blast.10_unsafe.i.cil.c unsafe 7.85 5.06 238759936 unsafe 5.93 3.55 223289344
ssh/s3_srvr.blast.11_unsafe.i.cil.c unsafe 4.85 3.59 202055680 unsafe 3.93 2.68 162402304
ssh/s3_srvr.blast.12_unsafe.i.cil.c unsafe 5.31 3.43 222027776 unsafe 4.42 2.90 179269632
ssh/s3_srvr.blast.13_unsafe.i.cil.c unsafe 4.56 3.75 198348800 unsafe 3.73 2.67 161558528
ssh/s3_srvr.blast.14_unsafe.i.cil.c unsafe 5.61 3.99 210075648 unsafe 4.88 3.21 174759936
ssh/s3_srvr.blast.15_unsafe.i.cil.c unsafe 7.78 5.06 238678016 unsafe 6.16 3.87 225452032
ssh/s3_srvr.blast.16_unsafe.i.cil.c unsafe 6.21 4.25 210657280 unsafe 4.74 3.04 186667008
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_unsafe.cil.out.i.pp.cil.c unsafe 13.29 6.53 456024064 unsafe 12.70 6.64 460472320
ldv-drivers/module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.cil.c unsafe 15.68 9.30 370114560 unsafe 11.56 7.17 318750720
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko_unsafe.cil.out.i.pp.cil.c unsafe 8.09 4.04 274173952 unsafe 8.03 4.06 272777216
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko_unsafe.cil.out.i.pp.cil.c unsafe 11.76 5.74 268414976 unsafe 10.73 5.16 268984320
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.cil.c unsafe 273.12 263.81 1080811520 unsafe 104.20 97.64 842457088
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.cil.c unsafe 9.83 5.21 265654272 unsafe 8.96 4.80 260657152
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c unsafe 377.32 359.50 4886970368 unsafe 416.29 409.59 2698739712
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.cil.c unsafe 6.61 3.50 222679040 unsafe 6.54 3.44 221118464
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.cil.c unsafe 10.26 4.95 297926656 unsafe 10.11 4.77 295059456
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.cil.c unsafe 7.51 5.42 261373952 unsafe 4.58 3.79 212389888
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.cil.c unsafe 22.73 17.82 650690560 unsafe 8.01 5.36 250990592
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.cil.c unsafe 5.60 3.63 241348608 unsafe 5.45 3.55 238985216
ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.cil.c unsafe 55.64 49.22 1387417600 unsafe 21.46 16.36 538816512
ldv-drivers/usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.cil.c unsafe 49.04 42.73 875962368 unsafe 9.78 6.60 289583104
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.cil.c unsafe 9.18 5.86 278609920 unsafe 4.94 3.37 222912512
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.cil.c unsafe 3.71 2.49 169857024 unsafe 3.70 2.50 167448576
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_unsafe.cil.out.i.pp.i unsafe 11.62 5.12 338718720 unsafe 10.77 4.94 331415552
ldv-drivers/module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.i unsafe 9.46 5.65 267689984 unsafe 5.17 3.53 224202752
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko_unsafe.cil.out.i.pp.i unsafe 4.61 2.84 186318848 unsafe 4.31 2.82 186015744
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko_unsafe.cil.out.i.pp.i unsafe 8.78 4.36 228126720 unsafe 7.04 3.68 227840000
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.i unsafe 39.18 31.10 562216960 unsafe 16.77 11.40 310140928
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.i unsafe 9.30 4.64 240128000 unsafe 6.77 3.88 227504128
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.i unsafe 53.03 43.01 2799837184 unsafe 27.88 22.16 557502464
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.i unsafe 7.06 3.39 248819712 unsafe 7.10 3.30 250683392
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.i unsafe 8.86 4.20 281284608 unsafe 8.64 4.21 287981568
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.i unsafe 9.07 5.71 259530752 unsafe 4.10 2.90 185585664
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.i unsafe 21.65 16.88 364781568 unsafe 4.92 3.27 218206208
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.i unsafe 4.31 2.79 180715520 unsafe 3.85 2.69 175996928
ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.i unsafe 49.56 42.15 1787088896 unsafe 18.29 13.42 475418624
ldv-drivers/usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.i unsafe 57.17 49.11 1858150400 unsafe 32.43 25.30 994959360
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.i unsafe 12.16 8.30 447168512 unsafe 6.68 4.38 239755264
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.i unsafe 3.48 2.30 156774400 unsafe 3.31 2.23 156815360
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.26 3.47 236933120 unsafe 7.16 3.54 238784512
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.39 4.78 322195456 unsafe 9.56 4.83 324386816
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.14 2.96 200642560 unsafe 4.14 2.96 201854976
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.39 3.43 229650432 unsafe 6.23 3.59 234012672
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 18.29 14.42 421736448 unsafe 17.60 14.02 406360064
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 37.98 34.53 1262088192 unsafe 39.28 35.32 1831645184
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.69 92.49 614006784 unsafe 102.17 96.09 628154368
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.12 4.50 269094912 unsafe 9.15 4.49 269615104
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.28 2.24 159973376 unsafe 3.28 2.26 160575488
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.44 5.23 280027136 unsafe 9.56 5.27 284798976
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.75 244211712 unsafe 7.66 3.73 242147328
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.78 1.41 110997504 unsafe 1.91 1.50 112447488
ldv-regression/alt_test.c_unsafe.cil.c unsafe 1.81 1.38 113348608 unsafe 1.94 1.48 113516544
ldv-regression/callfpointer.c_unsafe.cil.c unsafe 1.75 1.30 111882240 unsafe 1.88 1.43 110444544
ldv-regression/fo_test.c_unsafe.cil.c unsafe 1.81 1.35 112513024 unsafe 1.93 1.50 111673344
ldv-regression/mutex_lock_int.c_unsafe.cil.c unsafe 1.75 1.30 112046080 unsafe 1.84 1.41 111321088
ldv-regression/mutex_lock_struct.c_unsafe.cil.c unsafe 1.75 1.31 114171904 unsafe 1.86 1.41 110723072
ldv-regression/recursive_list.c_unsafe.cil.c unsafe 1.78 1.35 112898048 unsafe 1.94 1.47 113119232
ldv-regression/rule57_ebda_blast.c_unsafe.cil.c unsafe 1.82 1.38 111632384 unsafe 1.97 1.52 111489024
ldv-regression/rule60_list2.c_unsafe_1.cil.c unsafe 1.87 1.42 114585600 unsafe 2.01 1.54 112816128
ldv-regression/stateful_check_unsafe.cil.c unsafe 2.15 1.59 121393152 unsafe 2.15 1.66 115716096
ldv-regression/test_while_int.c_unsafe.cil.c unsafe 1.80 1.35 114405376 unsafe 1.90 1.51 111054848
ldv-regression/test_while_int.c_unsafe_1.cil.c unsafe 1.78 1.35 114450432 unsafe 2.01 1.51 116334592
ldv-regression/1_3.c_unsafe.i unsafe 1.78 1.33 110194688 unsafe 1.92 1.48 109764608
ldv-regression/alt_test.c_unsafe.i unsafe 1.93 1.44 115564544 unsafe 2.15 1.68 115388416
ldv-regression/callfpointer.c_unsafe.i unsafe 1.70 1.30 111714304 unsafe 1.88 1.46 109424640
ldv-regression/fo_test.c_unsafe.i unsafe 1.94 1.43 113557504 unsafe 2.15 1.58 114053120
ldv-regression/mutex_lock_int.c_unsafe.i unsafe 1.74 1.31 112893952 unsafe 1.81 1.39 111308800
ldv-regression/mutex_lock_struct.c_unsafe.i unsafe 1.76 1.32 112537600 unsafe 1.86 1.44 111951872
ldv-regression/recursive_list.c_unsafe.i unsafe 1.78 1.35 111939584 unsafe 1.87 1.46 112340992
ldv-regression/rule57_ebda_blast.c_unsafe.i unsafe 1.81 1.35 111157248 unsafe 1.84 1.42 111386624
ldv-regression/rule60_list2.c_unsafe_1.i unsafe 1.87 1.40 109932544 unsafe 1.99 1.56 110342144
ldv-regression/stateful_check_unsafe.i unsafe 2.11 1.58 120500224 unsafe 2.04 1.60 116998144
ldv-regression/test_while_int.c_unsafe.i unsafe 1.79 1.35 114065408 unsafe 1.87 1.42 112791552
ldv-regression/test_while_int.c_unsafe_1.i unsafe 1.78 1.33 114642944 unsafe 1.85 1.45 112955392
ddv-machzwd/ddv_machzwd_all_unsafe.cil.c unsafe 3.72 2.66 159248384 unsafe 3.29 2.49 144613376
ddv-machzwd/ddv_machzwd_inw_unsafe.cil.c unsafe 3.61 2.57 156131328 unsafe 3.06 2.40 140115968
ddv-machzwd/ddv_machzwd_outb_unsafe.cil.c unsafe 3.70 2.63 157433856 unsafe 3.14 2.42 141418496
ddv-machzwd/ddv_machzwd_all_unsafe.i unsafe 3.35 2.52 154288128 unsafe 3.03 2.40 138096640
ddv-machzwd/ddv_machzwd_inw_unsafe.i unsafe 3.40 2.56 153985024 unsafe 2.96 2.23 136855552
ddv-machzwd/ddv_machzwd_outb_unsafe.i unsafe 3.38 2.45 151638016 unsafe 3.03 2.33 139309056
heap-manipulation/bubble_sort_linux_unsafe.cil.c unsafe 2.26 1.69 123228160 unsafe 2.35 1.85 122716160
heap-manipulation/dll_of_dll_unsafe.cil.c - - - - - - - -
heap-manipulation/merge_sort_unsafe.cil.c unsafe 2.07 1.55 117899264 unsafe 2.24 1.73 116805632
heap-manipulation/sll_to_dll_rev_unsafe.cil.c unsafe 2.32 1.74 125272064 unsafe 2.55 1.98 126844928
heap-manipulation/bubble_sort_linux_unsafe.i unsafe 2.09 1.64 117841920 unsafe 2.23 1.70 119287808
heap-manipulation/dll_of_dll_unsafe.i - - - - - - - -
heap-manipulation/merge_sort_unsafe.i unsafe 2.01 1.53 119734272 unsafe 2.18 1.71 117424128
heap-manipulation/sll_to_dll_rev_unsafe.i unsafe 2.09 1.54 119156736 unsafe 2.20 1.70 116846592
loops/array_unsafe.i unsafe 1.78 1.36 112885760 unsafe 1.93 1.53 111091712
loops/bubble_sort_unsafe.i unsafe 2.24 1.67 123363328 unsafe 2.38 1.83 124755968
loops/count_up_down_unsafe.i unsafe 1.74 1.29 111038464 unsafe 1.86 1.43 108068864
loops/eureka_01_unsafe.i - - - - - - - -
loops/for_bounded_loop1_unsafe.i unsafe 1.81 1.36 114176000 unsafe 1.90 1.47 111063040
loops/insertion_sort_unsafe.i unsafe 1.81 1.37 110469120 unsafe 1.91 1.52 110379008
loops/invert_string_unsafe.i unsafe 1.80 1.35 113532928 unsafe 1.91 1.47 112111616
loops/kundu_unsafe.i unsafe 9.28 6.05 298172416 unsafe 4.75 3.42 208601088
loops/linear_search_unsafe.i unsafe 1.77 1.38 111341568 unsafe 1.90 1.45 110067712
loops/list_search_unsafe.i unsafe 1.98 1.51 118362112 unsafe 2.10 1.62 115224576
loops/ludcmp_unsafe.i unsafe 2.28 1.83 123314176 unsafe 2.11 1.70 118046720
loops/matrix_unsafe.i unsafe 1.86 1.41 114286592 unsafe 1.96 1.53 112619520
loops/nec11_unsafe.i unsafe 1.76 1.31 111833088 unsafe 1.88 1.47 110772224
loops/nec20_unsafe.i unsafe 1.79 1.34 114405376 unsafe 2.02 1.56 115585024
loops/pc_sfifo_2_unsafe.i unsafe 1.87 1.43 113790976 unsafe 2.03 1.62 112803840
loops/s3_unsafe.i unsafe 4.49 3.13 202489856 unsafe 3.81 2.88 162795520
loops/string_unsafe.i unsafe 2.18 1.69 124469248 unsafe 2.00 1.57 115388416
loops/sum01_bug02_sum01_bug02_base.case_unsafe.i unsafe 1.80 1.36 113496064 unsafe 1.93 1.57 110014464
loops/sum01_bug02_unsafe.i unsafe 1.80 1.38 113569792 unsafe 1.93 1.55 111443968
loops/sum01_unsafe.i unsafe 1.78 1.41 113655808 unsafe 1.94 1.53 111771648
loops/sum03_unsafe.i unsafe 2.73 2.14 133091328 unsafe 2.14 1.70 115703808
loops/sum04_unsafe.i unsafe 2.32 1.74 126840832 unsafe 2.01 1.57 112996352
loops/sum_array_unsafe.i unsafe 1.86 1.41 116207616 unsafe 1.97 1.52 114020352
loops/terminator_01_unsafe.i unsafe 1.74 1.31 111542272 unsafe 1.85 1.43 110764032
loops/terminator_02_unsafe.i unsafe 1.74 1.29 110616576 unsafe 1.89 1.53 108675072
loops/terminator_03_unsafe.i unsafe 1.80 1.32 112660480 unsafe 1.91 1.45 109445120
loops/token_ring01_unsafe.i unsafe 2.64 1.95 130928640 unsafe 2.96 2.25 136790016
loops/transmitter_unsafe.i unsafe 2.19 1.70 121090048 unsafe 2.26 1.80 117305344
loops/trex01_unsafe.i unsafe 1.69 1.28 111370240 unsafe 1.92 1.48 110870528
loops/trex02_unsafe.i unsafe 1.76 1.30 111919104 unsafe 1.91 1.49 108994560
loops/trex03_unsafe.i unsafe 1.75 1.29 111448064 unsafe 1.94 1.49 109981696
loops/verisec_NetBSD-libc__loop_unsafe.i unsafe 1.82 1.32 111071232 unsafe 1.93 1.49 110452736
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.74 1.29 111734784 unsafe 1.85 1.43 108908544
product-lines/elevator_spec14_product20_unsafe.cil.c unsafe 13.93 10.52 405368832 unsafe 13.92 10.68 398692352
product-lines/elevator_spec14_product24_unsafe.cil.c unsafe 17.53 13.78 595951616 unsafe 17.42 13.80 484294656
product-lines/elevator_spec14_product28_unsafe.cil.c unsafe 15.41 11.76 414986240 unsafe 15.84 12.42 414892032
product-lines/elevator_spec14_product32_unsafe.cil.c unsafe 18.49 14.53 493707264 unsafe 18.13 14.24 495038464
product-lines/elevator_spec14_productSimulator_unsafe.cil.c unsafe 27.87 22.29 915832832 unsafe 26.74 21.69 917995520
product-lines/elevator_spec1_product18_unsafe.cil.c unsafe 267.98 261.49 684089344 unsafe 136.98 131.89 1018855424
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.72 49.51 814080000 unsafe 47.16 41.91 655564800
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.44 527.24 1041653760 unsafe 472.69 462.63 713629696
product-lines/elevator_spec2_product22_unsafe.cil.c unsafe 259.39 252.37 1329147904 unsafe 42.38 36.56 671789056
product-lines/elevator_spec2_product24_unsafe.cil.c unsafe 479.52 472.83 1758248960 unsafe 162.64 156.46 1063636992
product-lines/elevator_spec2_product26_unsafe.cil.c unsafe 171.36 165.54 1036398592 unsafe 39.04 34.64 603975680
product-lines/elevator_spec2_product28_unsafe.cil.c unsafe 457.65 448.87 972382208 unsafe 141.92 136.29 764207104
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.22 9.58 312074240 unsafe 12.17 9.51 315363328
product-lines/elevator_spec3_product11_unsafe.cil.c unsafe 12.98 9.89 348901376 unsafe 12.97 9.86 350375936
product-lines/elevator_spec3_product19_unsafe.cil.c unsafe 12.11 9.01 346710016 unsafe 12.15 9.02 348082176
product-lines/elevator_spec3_product20_unsafe.cil.c unsafe 14.63 11.26 409677824 unsafe 14.70 11.33 408457216
product-lines/elevator_spec3_product23_unsafe.cil.c unsafe 15.62 12.15 373141504 unsafe 15.65 12.15 376311808
product-lines/elevator_spec3_product24_unsafe.cil.c unsafe 19.31 15.29 612413440 unsafe 19.40 15.28 501481472
product-lines/elevator_spec3_product27_unsafe.cil.c unsafe 12.17 9.22 360730624 unsafe 12.21 9.31 359956480
product-lines/elevator_spec3_product28_unsafe.cil.c unsafe 16.43 12.76 429977600 unsafe 16.04 12.64 435924992
product-lines/elevator_spec3_product31_unsafe.cil.c unsafe 16.46 12.76 380313600 unsafe 16.30 12.69 381669376
product-lines/elevator_spec3_product32_unsafe.cil.c unsafe 20.63 16.64 622911488 unsafe 20.67 16.65 625057792
product-lines/elevator_spec3_productSimulator_unsafe.cil.c unsafe 39.42 34.58 985243648 unsafe 39.36 34.70 983408640
product-lines/elevator_spec9_product26_unsafe.cil.c unsafe 39.20 34.22 736366592 unsafe 25.79 21.00 564477952
product-lines/elevator_spec9_product28_unsafe.cil.c unsafe 57.17 51.44 777973760 unsafe 30.88 25.65 552824832
product-lines/elevator_spec9_product30_unsafe.cil.c unsafe 498.50 481.85 1680285696 unsafe 70.26 64.40 1030500352
product-lines/elevator_spec9_product32_unsafe.cil.c unsafe 511.16 499.39 1608781824 unsafe 274.53 268.60 1260326912
product-lines/elevator_spec9_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec0_product16_unsafe.cil.c unsafe 10.79 6.97 273424384 unsafe 7.39 4.95 232427520
product-lines/email_spec0_product21_unsafe.cil.c unsafe 485.54 442.01 2599997440 unsafe 856.13 792.96 2851352576
product-lines/email_spec0_product22_unsafe.cil.c unsafe 16.10 11.28 340271104 unsafe 11.42 8.25 280600576
product-lines/email_spec0_product26_unsafe.cil.c unsafe 302.06 264.76 3379552256 unsafe 267.97 241.54 2127699968
product-lines/email_spec0_product31_unsafe.cil.c unsafe 98.49 82.91 1308831744 unsafe 106.24 90.44 1339203584
product-lines/email_spec0_product33_unsafe.cil.c unsafe 14.50 11.16 284401664 unsafe 13.30 10.07 287395840
product-lines/email_spec0_product34_unsafe.cil.c unsafe 52.46 46.59 757202944 unsafe 77.62 64.05 662278144
product-lines/email_spec0_product35_unsafe.cil.c unsafe 53.69 47.54 760725504 unsafe 53.63 42.11 727818240
product-lines/email_spec0_productSimulator_unsafe.cil.c unsafe 384.15 362.03 7709626368 unsafe 185.37 169.55 3542880256
product-lines/email_spec11_product15_unsafe.cil.c unsafe 13.43 8.79 277655552 unsafe 8.57 6.07 241008640
product-lines/email_spec11_product20_unsafe.cil.c unsafe 103.07 84.11 1668022272 unsafe 63.12 50.97 889225216
product-lines/email_spec11_product22_unsafe.cil.c unsafe 27.57 22.96 425496576 unsafe 14.80 11.66 300969984
product-lines/email_spec11_product26_unsafe.cil.c - - - - - - - -
product-lines/email_spec11_product30_unsafe.cil.c unsafe 11.07 6.84 295292928 unsafe 7.79 5.18 237244416
product-lines/email_spec11_product32_unsafe.cil.c unsafe 506.67 445.09 2814648320 unsafe 323.69 289.25 2146607104
product-lines/email_spec11_product33_unsafe.cil.c unsafe 296.56 288.80 1026674688 unsafe 181.23 163.10 1324875776
product-lines/email_spec11_product35_unsafe.cil.c unsafe 597.31 531.29 3566579712 unsafe 871.87 818.03 2139779072
product-lines/email_spec11_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec1_product14_unsafe.cil.c unsafe 23.39 19.54 324657152 unsafe 8.49 5.77 233943040
product-lines/email_spec1_product15_unsafe.cil.c unsafe 8.57 5.56 237555712 unsafe 6.54 4.56 223526912
product-lines/email_spec1_product16_unsafe.cil.c unsafe 7.56 4.48 233201664 unsafe 6.47 4.01 226541568
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 409.99 367.49 2107166720 unsafe 330.41 288.23 1959837696
product-lines/email_spec1_product26_unsafe.cil.c unsafe 110.83 95.05 1181741056 unsafe 67.40 57.43 909221888
product-lines/email_spec1_product29_unsafe.cil.c unsafe 13.68 9.48 279130112 unsafe 9.35 6.33 236597248
product-lines/email_spec1_product30_unsafe.cil.c unsafe 9.16 5.47 236867584 unsafe 7.41 4.76 227409920
product-lines/email_spec1_product31_unsafe.cil.c unsafe 17.59 13.79 290885632 unsafe 17.06 14.17 305623040
product-lines/email_spec1_product32_unsafe.cil.c unsafe 34.94 28.84 528482304 unsafe 14.30 10.72 308383744
product-lines/email_spec1_product33_unsafe.cil.c unsafe 36.31 30.72 495726592 unsafe 42.18 34.31 720949248
product-lines/email_spec1_product34_unsafe.cil.c unsafe 203.95 183.68 1845137408 unsafe 128.59 115.05 1394860032
product-lines/email_spec1_product35_unsafe.cil.c unsafe 748.52 704.06 2041012224 unsafe 23.54 19.28 424587264
product-lines/email_spec1_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product17_unsafe.cil.c unsafe 107.16 93.56 682958848 unsafe 43.86 40.44 441307136
product-lines/email_spec27_product18_unsafe.cil.c unsafe 8.00 5.16 241725440 unsafe 6.62 4.23 226893824
product-lines/email_spec27_product19_unsafe.cil.c unsafe 11.75 8.31 286167040 unsafe 10.00 7.42 238919680
product-lines/email_spec27_product23_unsafe.cil.c - - - - - - - -
product-lines/email_spec27_product24_unsafe.cil.c unsafe 16.47 13.19 289140736 unsafe 15.58 12.54 284286976
product-lines/email_spec27_product25_unsafe.cil.c unsafe 111.49 94.55 820244480 unsafe 17.20 13.66 313327616
product-lines/email_spec27_product27_unsafe.cil.c unsafe 163.50 140.30 1015320576 unsafe 111.14 91.60 1417781248
product-lines/email_spec27_product29_unsafe.cil.c unsafe 12.82 9.40 283242496 unsafe 9.11 6.44 235704320
product-lines/email_spec27_product30_unsafe.cil.c unsafe 9.29 5.16 269500416 unsafe 7.20 4.43 236212224
product-lines/email_spec27_product31_unsafe.cil.c unsafe 10.82 7.31 285069312 unsafe 9.99 6.91 240779264
product-lines/email_spec27_product32_unsafe.cil.c unsafe 40.24 34.31 545144832 unsafe 19.37 15.33 321028096
product-lines/email_spec27_product33_unsafe.cil.c unsafe 8.77 5.42 239816704 unsafe 7.51 4.75 236298240
product-lines/email_spec27_product34_unsafe.cil.c unsafe 21.10 16.20 359342080 unsafe 14.43 10.36 308330496
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 4.39 3.47 162783232 unsafe 3.69 2.83 156258304
product-lines/email_spec3_product17_unsafe.cil.c unsafe 19.28 16.47 219029504 unsafe 17.03 14.73 226807808
product-lines/email_spec3_product18_unsafe.cil.c unsafe 3.85 2.69 165056512 unsafe 4.01 2.68 159604736
product-lines/email_spec3_product19_unsafe.cil.c unsafe 3.87 2.66 165179392 unsafe 3.86 2.61 159371264
product-lines/email_spec3_product23_unsafe.cil.c unsafe 18.52 15.59 227770368 unsafe 18.17 15.82 221650944
product-lines/email_spec3_product24_unsafe.cil.c unsafe 3.94 2.73 165163008 unsafe 4.22 2.89 164364288
product-lines/email_spec3_product25_unsafe.cil.c unsafe 18.35 15.34 229167104 unsafe 17.68 15.12 222736384
product-lines/email_spec3_product27_unsafe.cil.c unsafe 20.39 17.54 280305664 unsafe 17.40 15.11 217231360
product-lines/email_spec3_product28_unsafe.cil.c unsafe 3.92 2.73 171642880 unsafe 3.76 2.62 164966400
product-lines/email_spec3_product29_unsafe.cil.c unsafe 69.63 66.00 444391424 unsafe 57.64 54.64 383533056
product-lines/email_spec3_product30_unsafe.cil.c unsafe 4.04 3.06 183492608 unsafe 3.69 2.61 164384768
product-lines/email_spec3_product31_unsafe.cil.c unsafe 4.00 2.80 186490880 unsafe 3.71 2.63 163696640
product-lines/email_spec3_product32_unsafe.cil.c unsafe 92.02 80.67 615956480 unsafe 60.74 57.06 439050240
product-lines/email_spec3_product33_unsafe.cil.c unsafe 4.05 3.06 185470976 unsafe 3.80 2.76 164515840
product-lines/email_spec3_product34_unsafe.cil.c unsafe 68.37 63.80 485478400 unsafe 60.98 57.09 466636800
product-lines/email_spec3_product35_unsafe.cil.c unsafe 79.55 75.82 470634496 unsafe 69.07 65.36 473931776
product-lines/email_spec3_productSimulator_unsafe.cil.c unsafe 9.67 6.33 272650240 unsafe 9.05 5.78 260939776
product-lines/email_spec4_product18_unsafe.cil.c unsafe 5.86 3.62 234799104 unsafe 4.41 2.99 209866752
product-lines/email_spec4_product19_unsafe.cil.c unsafe 9.31 6.34 262242304 unsafe 7.96 5.39 226877440
product-lines/email_spec4_product23_unsafe.cil.c unsafe 9.31 6.32 270716928 unsafe 7.18 4.58 233500672
product-lines/email_spec4_product24_unsafe.cil.c unsafe 7.06 4.12 235315200 unsafe 5.24 3.31 219402240
product-lines/email_spec4_product25_unsafe.cil.c unsafe 170.95 155.87 787787776 unsafe 15.49 11.20 294490112
product-lines/email_spec4_product27_unsafe.cil.c unsafe 10.20 6.83 270757888 unsafe 8.02 5.19 239984640
product-lines/email_spec4_product30_unsafe.cil.c unsafe 6.93 3.91 242274304 unsafe 4.89 3.18 212516864
product-lines/email_spec4_product31_unsafe.cil.c unsafe 7.20 4.11 236871680 unsafe 5.79 3.45 227532800
product-lines/email_spec4_product32_unsafe.cil.c unsafe 12.77 9.05 300376064 unsafe 11.66 7.55 274935808
product-lines/email_spec4_product33_unsafe.cil.c unsafe 7.99 4.42 267550720 unsafe 6.33 3.78 230936576
product-lines/email_spec4_product34_unsafe.cil.c unsafe 11.60 7.95 295624704 unsafe 9.98 6.44 272297984
product-lines/email_spec4_product35_unsafe.cil.c unsafe 12.22 8.65 279371776 unsafe 9.83 6.41 269234176
product-lines/email_spec4_productSimulator_unsafe.cil.c unsafe 68.50 61.25 2479058944 unsafe 49.71 43.03 1942310912
product-lines/email_spec6_product12_unsafe.cil.c unsafe 8.20 5.10 236883968 unsafe 5.56 3.64 213532672
product-lines/email_spec6_product14_unsafe.cil.c unsafe 28.31 23.05 461901824 unsafe 22.79 18.86 368472064
product-lines/email_spec6_product15_unsafe.cil.c unsafe 9.09 5.68 229367808 unsafe 7.39 4.87 228052992
product-lines/email_spec6_product16_unsafe.cil.c unsafe 28.16 23.37 464031744 unsafe 25.41 22.07 367116288
product-lines/email_spec6_product20_unsafe.cil.c unsafe 30.73 26.26 450281472 unsafe 31.63 27.33 570318848
product-lines/email_spec6_product21_unsafe.cil.c unsafe 30.88 26.05 473141248 unsafe 24.55 20.76 400490496
product-lines/email_spec6_product22_unsafe.cil.c unsafe 12.54 8.60 290541568 unsafe 10.90 8.05 227659776
product-lines/email_spec6_product26_unsafe.cil.c unsafe 272.57 244.42 2884370432 unsafe 439.75 403.17 2681282560
product-lines/email_spec6_product28_unsafe.cil.c unsafe 10.01 6.53 244457472 unsafe 8.57 5.87 239423488
product-lines/email_spec6_product29_unsafe.cil.c unsafe 24.49 19.78 418238464 unsafe 18.58 14.63 364236800
product-lines/email_spec6_product30_unsafe.cil.c unsafe 11.55 7.79 287666176 unsafe 9.63 6.78 232427520
product-lines/email_spec6_product31_unsafe.cil.c unsafe 10.32 6.86 279040000 unsafe 9.35 6.56 237793280
product-lines/email_spec6_product32_unsafe.cil.c unsafe 95.72 77.26 1301725184 unsafe 49.68 37.99 779960320
product-lines/email_spec6_product33_unsafe.cil.c unsafe 11.77 8.14 291663872 unsafe 10.22 7.50 231931904
product-lines/email_spec6_product34_unsafe.cil.c unsafe 17.79 13.51 308572160 unsafe 15.45 11.51 283758592
product-lines/email_spec6_product35_unsafe.cil.c unsafe 308.67 274.30 2247290880 unsafe 289.76 262.74 1756282880
product-lines/email_spec6_productSimulator_unsafe.cil.c - - - - - - - -
product-lines/email_spec7_product28_unsafe.cil.c unsafe 16.15 13.07 277053440 unsafe 16.19 12.92 294301696
product-lines/email_spec7_product29_unsafe.cil.c - - - - - - - -
product-lines/email_spec7_product30_unsafe.cil.c unsafe 33.36 29.47 357941248 unsafe 47.54 43.85 373391360
product-lines/email_spec7_product31_unsafe.cil.c unsafe 13.23 8.94 294150144 unsafe 11.80 8.81 231104512
product-lines/email_spec7_product32_unsafe.cil.c unsafe 288.95 262.82 1765171200 unsafe 148.40 133.37 1398587392
product-lines/email_spec7_product33_unsafe.cil.c unsafe 79.23 67.14 1016188928 unsafe 76.99 65.56 1214074880
product-lines/email_spec7_product34_unsafe.cil.c unsafe 45.41 38.46 823537664 unsafe 24.34 19.95 463302656
product-lines/email_spec7_product35_unsafe.cil.c unsafe 206.09 170.07 2597474304 unsafe 300.34 265.16 2146467840
product-lines/email_spec7_productSimulator_unsafe.cil.c unsafe 390.43 353.48 4515414016 unsafe 148.35 128.08 2582290432
product-lines/email_spec8_product15_unsafe.cil.c unsafe 15.30 11.91 291479552 unsafe 12.63 10.23 232243200
product-lines/email_spec8_product16_unsafe.cil.c unsafe 8.19 4.59 248188928 unsafe 6.46 4.09 228368384
product-lines/email_spec8_product20_unsafe.cil.c unsafe 267.61 243.51 1922387968 unsafe 10.51 7.00 268029952
product-lines/email_spec8_product21_unsafe.cil.c unsafe 25.90 21.76 435412992 unsafe 22.28 18.24 387301376
product-lines/email_spec8_product22_unsafe.cil.c unsafe 8.54 5.19 240803840 unsafe 7.79 5.01 229081088
product-lines/email_spec8_product26_unsafe.cil.c unsafe 38.26 32.70 413990912 unsafe 16.40 12.67 312881152
product-lines/email_spec8_product30_unsafe.cil.c unsafe 7.57 4.59 246116352 unsafe 5.89 3.89 219852800
product-lines/email_spec8_product31_unsafe.cil.c unsafe 7.94 4.77 243052544 unsafe 6.31 4.14 226938880
product-lines/email_spec8_product32_unsafe.cil.c unsafe 13.69 9.49 312090624 unsafe 10.92 7.38 278097920
product-lines/email_spec8_product33_unsafe.cil.c unsafe 21.24 17.53 271663104 unsafe 19.37 16.09 291467264
product-lines/email_spec8_product34_unsafe.cil.c unsafe 41.40 35.40 724709376 unsafe 25.27 20.81 566607872
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.16 12.09 290549760 unsafe 13.00 10.82 230350848
product-lines/email_spec9_product16_unsafe.cil.c unsafe 7.63 4.59 225689600 unsafe 6.26 3.98 227598336
product-lines/email_spec9_product20_unsafe.cil.c unsafe 260.32 238.40 1718009856 unsafe 10.35 6.98 270245888
product-lines/email_spec9_product21_unsafe.cil.c unsafe 26.04 21.27 439611392 unsafe 21.48 18.00 394129408
product-lines/email_spec9_product22_unsafe.cil.c unsafe 9.45 5.74 235245568 unsafe 7.20 4.56 226836480
product-lines/email_spec9_product26_unsafe.cil.c unsafe 36.71 31.68 415854592 unsafe 16.51 12.88 313585664
product-lines/email_spec9_product30_unsafe.cil.c unsafe 7.56 4.55 244187136 unsafe 6.05 3.99 219013120
product-lines/email_spec9_product31_unsafe.cil.c unsafe 8.26 4.56 256831488 unsafe 6.58 4.03 231948288
product-lines/email_spec9_product32_unsafe.cil.c unsafe 13.47 9.30 303628288 unsafe 11.63 7.86 278843392
product-lines/email_spec9_product33_unsafe.cil.c unsafe 20.11 16.44 271192064 unsafe 20.33 16.71 312881152
product-lines/email_spec9_product34_unsafe.cil.c unsafe 40.64 34.67 723169280 unsafe 25.18 20.53 574619648
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.47 2.13 120758272 unsafe 2.10 1.83 118665216
product-lines/minepump_spec1_product34_unsafe.cil.c unsafe 2.54 1.73 120557568 unsafe 2.12 1.59 119980032
product-lines/minepump_spec1_product35_unsafe.cil.c unsafe 2.42 1.75 121864192 unsafe 2.11 1.60 120688640
product-lines/minepump_spec1_product36_unsafe.cil.c unsafe 2.51 1.75 123514880 unsafe 2.14 1.55 121049088
product-lines/minepump_spec1_product37_unsafe.cil.c unsafe 2.55 1.88 121507840 unsafe 2.16 1.68 119660544
product-lines/minepump_spec1_product38_unsafe.cil.c unsafe 2.46 1.74 123543552 unsafe 2.18 1.67 122130432
product-lines/minepump_spec1_product39_unsafe.cil.c unsafe 2.57 1.84 122703872 unsafe 2.17 1.66 120336384
product-lines/minepump_spec1_product40_unsafe.cil.c unsafe 2.52 1.86 124289024 unsafe 2.19 1.64 122507264
product-lines/minepump_spec1_product41_unsafe.cil.c unsafe 2.85 2.01 129269760 unsafe 2.16 1.62 121434112
product-lines/minepump_spec1_product42_unsafe.cil.c unsafe 2.75 1.95 131108864 unsafe 2.19 1.64 120537088
product-lines/minepump_spec1_product43_unsafe.cil.c unsafe 2.86 2.05 130613248 unsafe 2.24 1.66 122527744
product-lines/minepump_spec1_product44_unsafe.cil.c unsafe 2.83 2.11 132112384 unsafe 2.23 1.64 121118720
product-lines/minepump_spec1_product49_unsafe.cil.c unsafe 2.68 1.88 123293696 unsafe 2.19 1.76 121249792
product-lines/minepump_spec1_product50_unsafe.cil.c unsafe 2.49 1.80 124362752 unsafe 2.18 1.68 121528320
product-lines/minepump_spec1_product51_unsafe.cil.c unsafe 2.59 2.02 124387328 unsafe 2.20 1.66 122339328
product-lines/minepump_spec1_product52_unsafe.cil.c unsafe 2.46 1.84 126259200 unsafe 2.20 1.70 122494976
product-lines/minepump_spec1_product53_unsafe.cil.c unsafe 2.82 1.97 128561152 unsafe 2.41 1.76 124321792
product-lines/minepump_spec1_product54_unsafe.cil.c unsafe 2.75 1.98 129503232 unsafe 2.41 1.74 125140992
product-lines/minepump_spec1_product55_unsafe.cil.c unsafe 2.87 2.06 129245184 unsafe 2.41 1.73 124760064
product-lines/minepump_spec1_product56_unsafe.cil.c unsafe 2.86 2.04 129077248 unsafe 2.43 1.73 123928576
product-lines/minepump_spec1_productSimulator_unsafe.cil.c unsafe 3.69 2.43 156012544 unsafe 2.97 2.08 141385728
product-lines/minepump_spec2_product33_unsafe.cil.c unsafe 2.94 2.08 129945600 unsafe 2.19 1.64 121036800
product-lines/minepump_spec2_product34_unsafe.cil.c unsafe 2.60 1.88 127713280 unsafe 2.21 1.67 121651200
product-lines/minepump_spec2_product35_unsafe.cil.c unsafe 2.73 1.99 126300160 unsafe 2.19 1.71 119357440
product-lines/minepump_spec2_product36_unsafe.cil.c unsafe 2.68 2.01 128249856 unsafe 2.37 1.80 122310656
product-lines/minepump_spec2_product41_unsafe.cil.c unsafe 3.07 2.30 139505664 unsafe 2.60 1.93 126734336
product-lines/minepump_spec2_product42_unsafe.cil.c unsafe 3.00 2.17 137297920 unsafe 2.80 2.08 124514304
product-lines/minepump_spec2_product43_unsafe.cil.c unsafe 2.98 2.14 139190272 unsafe 2.81 2.13 127471616
product-lines/minepump_spec2_product44_unsafe.cil.c unsafe 3.08 2.22 140189696 unsafe 2.88 2.04 128479232
product-lines/minepump_spec2_productSimulator_unsafe.cil.c unsafe 5.68 3.15 224096256 unsafe 3.73 2.55 152211456
product-lines/minepump_spec3_product01_unsafe.cil.c unsafe 2.35 1.69 119799808 unsafe 2.20 1.58 118149120
product-lines/minepump_spec3_product02_unsafe.cil.c unsafe 2.24 1.64 119459840 unsafe 2.24 1.74 117153792
product-lines/minepump_spec3_product03_unsafe.cil.c unsafe 2.38 1.81 120848384 unsafe 2.24 1.69 118337536
product-lines/minepump_spec3_product04_unsafe.cil.c unsafe 2.33 1.73 121200640 unsafe 2.43 1.77 119652352
product-lines/minepump_spec3_product05_unsafe.cil.c unsafe 2.42 1.81 121524224 unsafe 2.45 1.97 117039104
product-lines/minepump_spec3_product06_unsafe.cil.c unsafe 2.22 1.67 121430016 unsafe 2.42 1.81 118665216
product-lines/minepump_spec3_product07_unsafe.cil.c unsafe 2.33 1.73 120811520 unsafe 2.19 1.60 119033856
product-lines/minepump_spec3_product08_unsafe.cil.c unsafe 2.23 1.70 119898112 unsafe 2.39 1.69 119934976
product-lines/minepump_spec3_product09_unsafe.cil.c unsafe 2.24 1.68 120807424 unsafe 2.20 1.57 118763520
product-lines/minepump_spec3_product10_unsafe.cil.c unsafe 2.16 1.94 120729600 unsafe 2.27 1.66 118833152
product-lines/minepump_spec3_product11_unsafe.cil.c unsafe 2.15 1.78 120127488 unsafe 2.26 1.82 117882880
product-lines/minepump_spec3_product12_unsafe.cil.c unsafe 2.21 1.74 117641216 unsafe 2.39 1.81 118546432
product-lines/minepump_spec3_product13_unsafe.cil.c unsafe 2.39 1.85 120324096 unsafe 2.20 1.56 119443456
product-lines/minepump_spec3_product14_unsafe.cil.c unsafe 2.36 1.90 120528896 unsafe 2.29 1.68 119455744
product-lines/minepump_spec3_product15_unsafe.cil.c unsafe 2.35 1.84 121491456 unsafe 2.23 1.59 118845440
product-lines/minepump_spec3_product16_unsafe.cil.c unsafe 2.35 1.76 120754176 unsafe 2.25 1.68 118636544
product-lines/minepump_spec3_product17_unsafe.cil.c unsafe 2.32 1.83 119844864 unsafe 2.20 1.60 117964800
product-lines/minepump_spec3_product18_unsafe.cil.c unsafe 2.34 1.84 120176640 unsafe 2.29 1.76 118177792
product-lines/minepump_spec3_product19_unsafe.cil.c unsafe 2.22 1.69 120803328 unsafe 2.30 1.74 118919168
product-lines/minepump_spec3_product20_unsafe.cil.c unsafe 2.24 1.67 120737792 unsafe 2.27 1.70 118972416
product-lines/minepump_spec3_product21_unsafe.cil.c unsafe 2.45 1.80 123428864 unsafe 2.18 1.72 117080064
product-lines/minepump_spec3_product22_unsafe.cil.c unsafe 2.51 1.82 125558784 unsafe 2.21 1.70 120279040
product-lines/minepump_spec3_product23_unsafe.cil.c unsafe 2.57 1.95 124198912 unsafe 2.27 1.69 119930880
product-lines/minepump_spec3_product24_unsafe.cil.c unsafe 2.66 2.00 125186048 unsafe 2.39 1.71 120348672
product-lines/minepump_spec3_product25_unsafe.cil.c unsafe 2.36 1.95 120360960 unsafe 2.17 1.58 117706752
product-lines/minepump_spec3_product26_unsafe.cil.c unsafe 2.32 1.72 120147968 unsafe 2.17 1.59 118988800
product-lines/minepump_spec3_product27_unsafe.cil.c unsafe 2.35 1.78 121044992 unsafe 2.19 1.61 118411264
product-lines/minepump_spec3_product28_unsafe.cil.c unsafe 2.48 1.77 123461632 unsafe 2.17 1.62 119746560
product-lines/minepump_spec3_product29_unsafe.cil.c unsafe 2.50 1.87 122589184 unsafe 2.27 1.71 120680448
product-lines/minepump_spec3_product30_unsafe.cil.c unsafe 2.71 1.87 126873600 unsafe 2.35 1.72 119492608
product-lines/minepump_spec3_product31_unsafe.cil.c unsafe 2.64 1.94 125091840 unsafe 2.17 1.63 120532992
product-lines/minepump_spec3_product32_unsafe.cil.c unsafe 2.70 2.07 123064320 unsafe 2.24 1.69 117284864
product-lines/minepump_spec3_product35_unsafe.cil.c unsafe 2.52 1.86 125005824 unsafe 2.36 1.72 120586240
product-lines/minepump_spec3_product36_unsafe.cil.c unsafe 2.56 1.83 123039744 unsafe 2.33 1.78 119730176
product-lines/minepump_spec3_product39_unsafe.cil.c unsafe 2.54 1.85 125235200 unsafe 2.48 1.81 124092416
product-lines/minepump_spec3_product40_unsafe.cil.c unsafe 2.59 1.89 126140416 unsafe 2.57 1.85 126025728
product-lines/minepump_spec3_product43_unsafe.cil.c unsafe 2.48 1.84 122753024 unsafe 2.27 1.73 120860672
product-lines/minepump_spec3_product44_unsafe.cil.c unsafe 2.74 1.98 126464000 unsafe 2.31 1.77 121331712
product-lines/minepump_spec3_product47_unsafe.cil.c unsafe 2.81 2.10 128024576 unsafe 2.59 1.82 124768256
product-lines/minepump_spec3_product48_unsafe.cil.c unsafe 2.70 2.05 131293184 unsafe 2.63 1.92 124231680
product-lines/minepump_spec3_product51_unsafe.cil.c unsafe 2.58 1.93 125796352 unsafe 2.27 1.69 122155008
product-lines/minepump_spec3_product52_unsafe.cil.c unsafe 2.76 2.05 128110592 unsafe 2.35 1.81 120451072
product-lines/minepump_spec3_product55_unsafe.cil.c unsafe 2.77 2.18 130744320 unsafe 2.56 1.80 125992960
product-lines/minepump_spec3_product56_unsafe.cil.c unsafe 2.81 2.08 129298432 unsafe 2.60 1.92 123572224
product-lines/minepump_spec3_product59_unsafe.cil.c unsafe 2.67 2.13 125648896 unsafe 2.45 1.86 118284288
product-lines/minepump_spec3_product60_unsafe.cil.c unsafe 2.81 2.29 124755968 unsafe 2.37 1.76 120766464
product-lines/minepump_spec3_product63_unsafe.cil.c unsafe 2.87 2.06 131080192 unsafe 2.55 1.85 125898752
product-lines/minepump_spec3_product64_unsafe.cil.c unsafe 2.99 2.17 131227648 unsafe 2.56 1.86 124530688
product-lines/minepump_spec3_productSimulator_unsafe.cil.c unsafe 3.47 2.47 151605248 unsafe 3.02 1.99 133472256
product-lines/minepump_spec4_product33_unsafe.cil.c unsafe 2.71 1.94 129212416 unsafe 2.53 1.87 123437056
product-lines/minepump_spec4_product34_unsafe.cil.c unsafe 2.77 1.99 128741376 unsafe 2.46 1.76 125132800
product-lines/minepump_spec4_product35_unsafe.cil.c unsafe 2.83 2.03 129777664 unsafe 2.65 1.92 124604416
product-lines/minepump_spec4_product36_unsafe.cil.c unsafe 2.70 1.97 131096576 unsafe 2.61 1.93 125001728
product-lines/minepump_spec4_product37_unsafe.cil.c unsafe 2.98 2.13 134983680 unsafe 2.77 2.06 128765952
product-lines/minepump_spec4_product38_unsafe.cil.c unsafe 3.08 2.38 132308992 unsafe 2.66 1.89 128118784
product-lines/minepump_spec4_product39_unsafe.cil.c unsafe 3.37 2.58 133079040 unsafe 2.70 1.93 127066112
product-lines/minepump_spec4_product40_unsafe.cil.c unsafe 3.03 2.27 134610944 unsafe 2.85 1.98 128651264
product-lines/minepump_spec4_product41_unsafe.cil.c unsafe 2.83 1.99 130818048 unsafe 2.72 2.01 126099456
product-lines/minepump_spec4_product42_unsafe.cil.c unsafe 2.83 2.02 131633152 unsafe 2.79 1.94 128307200
product-lines/minepump_spec4_product43_unsafe.cil.c unsafe 2.85 2.04 132112384 unsafe 2.69 1.89 127377408
product-lines/minepump_spec4_product44_unsafe.cil.c unsafe 2.87 2.12 131207168 unsafe 2.51 1.81 127299584
product-lines/minepump_spec4_product45_unsafe.cil.c unsafe 3.18 2.39 139145216 unsafe 2.85 2.00 130793472
product-lines/minepump_spec4_product46_unsafe.cil.c unsafe 3.03 2.27 139157504 unsafe 2.84 2.00 130002944
product-lines/minepump_spec4_product47_unsafe.cil.c unsafe 3.08 2.29 138907648 unsafe 2.91 2.18 131129344
product-lines/minepump_spec4_product48_unsafe.cil.c unsafe 3.01 2.22 136945664 unsafe 2.85 1.97 128659456
product-lines/minepump_spec4_productSimulator_unsafe.cil.c unsafe 6.54 3.67 229498880 unsafe 4.22 2.81 169574400
systemc/kundu1_unsafe.cil.c unsafe 9.98 6.58 287584256 unsafe 4.84 3.26 208502784
systemc/kundu2_unsafe.cil.c unsafe 9.84 6.36 294989824 unsafe 5.20 3.46 212815872
systemc/pc_sfifo_1_unsafe.cil.c unsafe 1.93 1.56 113291264 unsafe 1.94 1.44 112820224
systemc/pc_sfifo_2_unsafe.cil.c unsafe 2.11 1.57 112590848 unsafe 2.21 1.56 117641216
systemc/pipeline_unsafe.cil.c - - - - unsafe 425.77 356.73 3193729024
systemc/token_ring.01_unsafe.cil.c unsafe 2.79 2.27 126943232 unsafe 2.73 1.93 128884736
systemc/token_ring.02_unsafe.cil.c unsafe 4.09 2.87 175366144 unsafe 5.38 3.20 222302208
systemc/token_ring.03_unsafe.cil.c unsafe 6.41 3.93 233324544 unsafe 5.29 3.31 220160000
systemc/token_ring.04_unsafe.cil.c unsafe 9.30 5.89 285995008 unsafe 20.06 14.48 907583488
systemc/token_ring.05_unsafe.cil.c unsafe 16.01 10.71 506916864 unsafe 65.50 56.97 3173789696
systemc/token_ring.06_unsafe.cil.c unsafe 25.86 19.83 975687680 unsafe 346.75 287.41 9008914432
systemc/token_ring.07_unsafe.cil.c unsafe 60.16 46.08 3138813952 - - - -
systemc/token_ring.08_unsafe.cil.c unsafe 137.17 111.67 4709187584 - - - -
systemc/token_ring.09_unsafe.cil.c unsafe 395.31 332.33 8558272512 - - - -
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 148.98 115.46 3652849664 unsafe 8.04 5.98 300068864
systemc/toy2_unsafe.cil.c unsafe 97.81 80.63 3346399232 unsafe 7.58 5.05 228118528
systemc/transmitter.01_unsafe.cil.c unsafe 2.26 1.80 121647104 unsafe 2.32 1.87 118259712
systemc/transmitter.02_unsafe.cil.c unsafe 3.02 2.33 144121856 unsafe 2.93 2.26 128376832
systemc/transmitter.03_unsafe.cil.c unsafe 5.90 3.52 227028992 unsafe 3.58 2.84 149225472
systemc/transmitter.04_unsafe.cil.c unsafe 8.34 4.90 271130624 unsafe 6.71 4.06 227917824
systemc/transmitter.05_unsafe.cil.c unsafe 11.81 7.79 309334016 unsafe 9.63 5.86 271044608
systemc/transmitter.06_unsafe.cil.c unsafe 18.12 12.91 695701504 unsafe 14.09 9.01 335024128
systemc/transmitter.07_unsafe.cil.c unsafe 33.32 26.22 1537142784 unsafe 16.10 10.37 441298944
systemc/transmitter.08_unsafe.cil.c unsafe 76.82 63.42 3133284352 unsafe 24.07 17.30 649043968
systemc/transmitter.09_unsafe.cil.c unsafe 316.76 232.95 7212453888 unsafe 116.99 95.41 2664062976
systemc/transmitter.10_unsafe.cil.c unsafe 538.93 438.37 9111552000 unsafe 287.78 240.49 5187735552
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.13 2.46 141352960 unsafe 2.90 2.08 136232960
systemc/transmitter.16_unsafe.cil.c unsafe 3.36 2.41 142544896 unsafe 2.95 2.08 136982528
test/programs/benchmarks/ status cputime walltime memUsage status cputime walltime memUsage
correct results 422 16457.17 14450.84 213920268288 420 11332.65 9833.68 156859396096
Run set predicate-generate-precision predicate-reuse-precision