Tool CPAchecker 1.2-svn 8330
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 4
Host barbados
OS Linux
System CPU: Intel Core i7-2600 CPU @ 3.40GHz with 8 cores, frequency: 3,4GHz; RAM: 15GB
Date of execution 13-07-31 15:31 13-07-31 15:32 13-07-31 15:33
Run set benchmark_HVC13_Set1.BDD-All benchmark_HVC13_Set2.BDD-IntEqBool benchmark_HVC13_Set2.BDD-IntBool benchmark_HVC13_Set3.BDD-IntAddEqBool
Options -noout
-setprop analysis.useCBMC=false
-setprop analysis.traversal.order=bfs
-setprop analysis.traversal.useReversePostorder=true
-setprop analysis.traversal.useCallstack=true
-setprop cpa=cpa.arg.ARGCPA
-setprop ARGCPA.cpa = cpa.composite.CompositeCPA
-setprop CompositeCPA.cpas=cpa.location.LocationCPA,cpa.callstack.CallstackCPA,cpa.conditions.global.GlobalConditionsCPA,cpa.bdd.BDDCPA
-spec config/specification/default.spc
-setprop cpa.conditions.global.time.wall=15min
-setprop cpa.bdd.trackBoolean=true
-setprop cpa.bdd.trackIntEqual=true
-setprop cpa.bdd.trackIntAdd=true
-heap 12000M
-noout
-setprop analysis.useCBMC=false
-explicit-BDD-bool-intEQ
-heap 12000M
-setprop cpa.composite.precAdjust="COMPONENT"
-noout
-setprop analysis.useCBMC=false
-explicit-BDD-bool
-heap 12000M
-setprop cpa.composite.precAdjust="COMPONENT"
-noout
-setprop analysis.useCBMC=false
-explicit-BDD-bool-intEQ-intADD
-heap 12000M
-setprop cpa.composite.precAdjust="COMPONENT"
test/programs/ status cputime walltime memUsage host booleans discretes simple vars partitions reached set status cputime walltime memUsage host booleans discretes simple vars partitions reached set status cputime walltime memUsage host booleans discretes simple vars partitions reached set status cputime walltime memUsage host booleans discretes simple vars partitions reached set
benchmarks/ntdrivers-simplified/cdaudio_simpl1_safe.cil.c safe 8.00 5.43 414560256 db4 128 189 125 442 212 2737 unsafe 5.79 2.79 147468288 cs-sel-06 128 189 0 317 212 7828 safe 6.39 3.07 151207936 cs-sel-06 128 0 0 128 212 9883 safe 7.35 4.98 379420672 db2 128 189 125 442 212 2748
benchmarks/ntdrivers/cdaudio_safe.i.cil.c unsafe 6.10 2.84 206102528 db2 6 12 0 18 461 827 unsafe 9.21 4.12 214691840 db3 25 14 0 39 461 10640 safe 8.95 4.02 194920448 db3 25 0 0 25 461 11002 unsafe 9.40 4.08 213762048 db8 25 14 0 39 461 10640
benchmarks/ntdrivers/diskperf_safe.i.cil.c unsafe 3.82 2.03 135041024 db4 5 13 0 18 400 962 timeout 897.32 881.43 2399064064 db6 - - - - - - timeout 897.15 880.97 1794109440 db6 - - - - - - timeout 897.35 881.23 1959456768 cs-sel-05 - - - - - -
benchmarks/ntdrivers/parport_safe.i.cil.c unsafe 5.75 2.74 155066368 db5 13 13 0 26 747 2666 timeout 896.97 784.99 6604746752 db6 - - - - - - timeout 896.93 803.01 6678450176 db6 - - - - - - timeout 897.21 779.93 6620463104 db1 - - - - - -
benchmarks/ssh/s3_clnt.blast.01_safe.i.cil.c unsafe 4.16 2.04 144973824 db3 7 3 5 15 52 600 safe 8.87 3.86 230350848 cs-sel-05 8 3 0 11 52 7850 safe 7.58 4.27 230285312 cs-sel-05 8 0 0 8 52 14323 safe 7.23 3.55 223703040 cs-sel-05 8 3 6 17 52 7692
benchmarks/ssh/s3_clnt.blast.02_safe.i.cil.c unsafe 3.95 1.95 145031168 db2 7 3 5 15 52 601 safe 8.31 3.70 224509952 db7 8 3 0 11 52 7811 safe 8.21 4.38 351195136 db7 8 0 0 8 52 14234 safe 8.49 3.94 238059520 db3 8 3 6 17 52 7653
benchmarks/ssh/s3_clnt.blast.03_safe.i.cil.c unsafe 4.19 2.03 157716480 db7 7 3 5 15 52 601 safe 8.60 3.79 229122048 cs-sel-05 8 3 0 11 52 7811 safe 7.86 4.28 233406464 cs-sel-05 8 0 0 8 52 14234 safe 9.17 3.94 242245632 db2 8 3 6 17 52 7653
benchmarks/ssh/s3_clnt.blast.04_safe.i.cil.c unsafe 4.24 2.05 159289344 cs-sel-05 7 3 5 15 52 601 safe 8.48 3.71 226816000 cs-sel-05 8 3 0 11 52 7811 safe 8.03 4.24 227463168 cs-sel-05 8 0 0 8 52 14234 safe 9.30 4.02 243052544 db2 8 3 6 17 52 7653
benchmarks/ssh/s3_srvr.blast.01_safe.i.cil.c unsafe 4.61 2.20 157126656 db2 7 4 6 17 56 653 unsafe 5.30 3.04 194387968 cs-sel-06 7 4 0 11 56 7749 safe 7.83 3.57 223567872 cs-sel-06 7 0 0 7 56 9910 unsafe 6.60 3.21 232108032 db6 7 4 6 17 56 7405
benchmarks/ssh/s3_srvr.blast.02_safe.i.cil.c unsafe 4.60 2.21 160309248 db3 7 4 6 17 56 651 safe 5.65 3.17 208543744 db7 7 4 0 11 56 8988 safe 5.55 3.14 209289216 db7 7 0 0 7 56 9329 safe 7.13 3.82 231051264 db5 7 4 8 19 56 8633
benchmarks/ssh/s3_srvr.blast.06_safe.i.cil.c unsafe 6.61 3.12 224657408 tortuga 7 4 6 17 55 710 unsafe 7.00 3.54 216535040 db6 7 4 0 11 55 8088 safe 16.08 12.11 635101184 db6 7 0 0 7 55 35332 unsafe 7.71 3.90 233439232 db7 7 4 6 17 55 7744
benchmarks/ssh/s3_srvr.blast.07_safe.i.cil.c unsafe 4.79 2.22 166191104 db6 7 4 6 17 55 668 unsafe 4.94 2.71 194850816 db3 7 4 0 11 55 6668 safe 14.64 9.73 644763648 db3 7 0 0 7 55 28898 unsafe 6.14 2.96 171102208 cs-sel-06 7 4 6 17 55 6324
benchmarks/ssh/s3_srvr.blast.08_safe.i.cil.c unsafe 4.93 2.41 139468800 barbados 7 4 6 17 55 670 unsafe 5.50 2.97 206938112 cs-sel-05 7 4 0 11 55 7791 safe 5.66 3.28 207949824 cs-sel-05 7 0 0 7 55 9896 unsafe 6.32 3.18 231837696 barbados 7 4 6 17 55 7447
benchmarks/ssh/s3_srvr.blast.09_safe.i.cil.c unsafe 4.61 2.20 158289920 db6 7 4 6 17 55 668 unsafe 5.04 2.76 195948544 db1 7 4 0 11 55 6668 safe 14.64 9.66 645214208 db1 7 0 0 7 55 28820 unsafe 6.13 2.92 155545600 cs-sel-06 7 4 6 17 55 6324
benchmarks/ssh/s3_srvr.blast.10_safe.i.cil.c unsafe 4.90 2.28 166731776 db2 7 4 6 17 55 661 unsafe 4.71 2.70 140984320 barbados 7 4 0 11 55 6637 safe 5.78 3.21 209600512 barbados 7 0 0 7 55 9884 unsafe 5.81 2.80 154312704 db5 7 4 6 17 55 6293
benchmarks/ssh/s3_srvr.blast.11_safe.i.cil.c unsafe 4.49 2.20 138170368 cs-sel-05 7 4 6 17 55 668 unsafe 4.86 2.71 195117056 db1 7 4 0 11 55 6667 safe 14.39 9.52 643964928 db1 7 0 0 7 55 28842 unsafe 6.05 3.07 208547840 db6 7 4 6 17 55 6323
benchmarks/ssh/s3_srvr.blast.12_safe.i.cil.c unsafe 5.83 2.60 210026496 db3 7 4 6 17 55 683 unsafe 6.27 3.23 219877376 db4 7 4 0 11 55 7984 safe 16.01 12.19 634773504 db4 7 0 0 7 55 35188 unsafe 6.83 3.63 232058880 db3 7 4 6 17 55 7640
benchmarks/ssh/s3_srvr.blast.13_safe.i.cil.c unsafe 4.77 2.21 161337344 db1 7 4 6 17 55 669 safe 5.94 3.23 215502848 barbados 7 4 0 11 55 9118 safe 13.72 9.16 640962560 barbados 7 0 0 7 55 28521 safe 8.20 4.25 233193472 db7 7 4 8 19 55 8763
benchmarks/ssh/s3_srvr.blast.14_safe.i.cil.c unsafe 6.22 2.68 221220864 db2 7 4 6 17 55 692 unsafe 6.54 3.37 214020096 db6 7 4 0 11 55 8032 safe 16.06 12.11 775225344 db6 7 0 0 7 55 35236 unsafe 7.45 3.60 173645824 cs-sel-05 7 4 6 17 55 7688
benchmarks/ssh/s3_srvr.blast.15_safe.i.cil.c unsafe 6.24 2.71 216686592 db8 7 4 6 17 55 679 unsafe 5.74 3.11 207400960 db4 7 4 0 11 55 7821 safe 5.69 3.18 205279232 db4 7 0 0 7 55 9908 unsafe 7.12 3.55 230989824 db7 7 4 6 17 55 7477
benchmarks/ssh/s3_srvr.blast.16_safe.i.cil.c unsafe 6.85 2.92 215875584 db2 7 4 6 17 55 701 unsafe 7.24 3.53 221061120 db3 7 4 0 11 55 8064 safe 15.94 11.99 778248192 db3 7 0 0 7 55 35284 unsafe 7.63 3.65 229801984 db5 7 4 6 17 55 7720
benchmarks/locks/test_locks_15_safe.c safe 2.02 1.21 116273152 db5 17 15 0 32 32 209 safe 2.04 1.19 106168320 db1 17 15 0 32 32 209 timeout 897.14 880.74 1260511232 db1 - - - - - - safe 2.11 1.29 116621312 barbados 17 15 0 32 32 209
benchmarks/ntdrivers/diskperf_unsafe.i.cil.c unsafe 3.79 2.05 139341824 db8 5 13 0 18 400 962 timeout 897.98 892.02 1939243008 db1 - - - - - - timeout 897.22 882.77 2237390848 db1 - - - - - - timeout 897.37 880.96 1966108672 db8 - - - - - -
benchmarks/ntdrivers/parport_unsafe.i.cil.c unsafe 5.55 2.72 153849856 db1 13 13 0 26 747 2666 timeout 896.93 794.04 6671409152 db2 - - - - - - timeout 896.74 813.17 6583189504 db2 - - - - - - timeout 897.16 808.40 6586040320 db2 - - - - - -
benchmarks/locks/test_locks_15_unsafe.c unsafe 2.03 1.19 112103424 cs-sel-05 16 15 0 31 32 140 unsafe 1.98 1.21 117321728 cs-sel-06 16 15 0 31 32 140 timeout 897.83 881.64 1751928832 cs-sel-06 - - - - - - unsafe 1.95 1.21 104546304 db1 16 15 0 31 32 140
benchmarks/ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.cil.c safe 33.97 23.18 494456832 db8 45 11 6 62 4675 8401 timeout 897.75 883.55 3129139200 tortuga - - - - - - timeout 897.46 883.16 3225554944 tortuga - - - - - - timeout 896.88 884.71 2395697152 db1 - - - - - -
benchmarks/ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko_safe.cil.out.i.pp.cil.c safe 14.61 6.07 283586560 db1 127 60 8 195 501 27267 timeout 897.49 624.01 8526811136 db5 - - - - - - timeout 897.10 672.72 8365506560 db5 - - - - - - timeout 897.20 664.22 8398655488 db2 - - - - - -
benchmarks/ldv-drivers/module_get_put-drivers-scsi-megaraid.ko_safe.cil.out.i.pp.cil.c safe 487.88 324.07 5899505664 db2 119 59 24 202 783 31047 timeout 897.51 870.39 4662185984 db5 - - - - - - timeout 897.50 870.87 4634120192 db5 - - - - - - timeout 897.06 874.44 4295376896 db4 - - - - - -
benchmarks/ldv-drivers/usb_urb-drivers-scsi-dc395x.ko_safe.cil.out.i.pp.cil.c exception 13.11 5.59 284893184 db8 - - - - - - timeout 896.79 882.13 701562880 db3 - - - - - - timeout 896.99 881.67 694239232 db3 - - - - - - timeout 897.36 880.19 697520128 barbados - - - - - -
benchmarks/ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko_safe.cil.out.i.pp.cil.c safe 15.59 6.12 309092352 db2 131 80 25 236 872 42193 timeout 896.60 882.85 314851328 db7 - - - - - - timeout 896.82 884.60 700563456 db7 - - - - - - timeout 896.73 882.55 446517248 db2 - - - - - -
benchmarks/ldv-drivers/usb_urb-drivers-video-arkfb.ko_safe.cil.out.i.pp.cil.c safe 7.20 3.39 215457792 db3 83 14 22 119 344 17726 timeout 896.96 888.73 2986598400 barbados - - - - - - timeout 897.37 885.33 2364719104 barbados - - - - - - timeout 896.92 883.19 4432396288 db6 - - - - - -
benchmarks/ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.i safe 25.37 12.87 380620800 db4 44 11 6 61 2910 5670 timeout 897.42 877.26 2325037056 db8 - - - - - - timeout 897.79 874.16 1880293376 db8 - - - - - - timeout 897.88 873.21 1891446784 barbados - - - - - -
benchmarks/ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko_safe.cil.out.i.pp.i safe 12.83 5.55 296939520 barbados 59 55 9 123 752 17209 timeout 897.41 747.06 6484267008 barbados - - - - - - timeout 897.24 768.98 6323056640 barbados - - - - - - timeout 897.31 746.45 6437654528 db8 - - - - - -
benchmarks/ldv-drivers/module_get_put-drivers-scsi-megaraid.ko_safe.cil.out.i.pp.i safe 352.09 263.10 4576239616 db7 103 48 18 169 674 18113 timeout 897.05 870.48 2206183424 db6 - - - - - - timeout 897.18 870.97 2653863936 db6 - - - - - - timeout 897.68 872.12 4634259456 db6 - - - - - -
benchmarks/ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko_safe.cil.out.i.pp.i unsafe 3.58 1.85 137912320 db2 10 6 3 19 93 837 timeout 896.99 864.12 4872568832 cs-sel-05 - - - - - - unsafe 3.51 1.93 126787584 cs-sel-05 14 0 0 14 93 1155 unsafe 3.57 1.95 136179712 tortuga 10 6 3 19 93 837
benchmarks/ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko_safe.cil.out.i.pp.i safe 9.69 4.20 261107712 cs-sel-05 70 39 14 123 508 27355 timeout 898.29 882.58 397873152 tortuga - - - - - - timeout 897.27 883.77 279097344 tortuga - - - - - - timeout 897.79 881.71 404013056 db7 - - - - - -
benchmarks/ldv-drivers/usb_urb-drivers-video-arkfb.ko_safe.cil.out.i.pp.i safe 6.00 2.98 204242944 db6 64 15 20 99 311 9811 timeout 897.24 884.20 688549888 db3 - - - - - - timeout 897.08 883.83 1214316544 db3 - - - - - - timeout 897.21 883.67 685113344 db8 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.33 2.24 154710016 tortuga 15 7 0 22 124 1329 timeout 897.04 872.58 2861133824 db3 - - - - - - timeout 897.14 871.98 2129924096 db3 - - - - - - timeout 897.34 880.41 2863005696 db3 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 2.83 1.61 117403648 db3 2 6 2 10 44 594 safe 2.72 1.63 119332864 db3 2 6 0 8 44 526 safe 2.67 1.62 119656448 db3 2 0 0 2 44 526 safe 2.74 1.66 119508992 db1 2 6 2 10 44 526
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.60 2.47 179658752 db1 15 3 2 20 36 4500 timeout 897.10 879.06 2832138240 db3 - - - - - - timeout 897.14 871.25 2835226624 db3 - - - - - - timeout 897.29 877.87 2834042880 db4 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 6.02 3.12 197423104 db6 17 3 2 22 45 7748 timeout 897.12 879.06 1935486976 db2 - - - - - - timeout 897.34 880.64 2215403520 db2 - - - - - - timeout 897.26 879.35 2365128704 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 6.29 3.52 142012416 cs-sel-05 17 3 2 22 43 9753 timeout 897.68 880.04 2366119936 db6 - - - - - - timeout 898.03 877.92 1596960768 db6 - - - - - - timeout 897.12 880.14 2374148096 db2 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.11 2.28 123387904 cs-sel-05 17 5 2 24 36 3387 timeout 897.08 874.47 4740497408 db1 - - - - - - timeout 896.87 874.02 4747149312 db1 - - - - - - timeout 897.48 864.62 4773404672 barbados - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.78 2.91 195702784 db7 17 5 2 24 39 6410 timeout 897.39 880.12 1924542464 db5 - - - - - - timeout 897.90 878.08 1767841792 db5 - - - - - - timeout 897.28 879.84 2782310400 db4 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--frpw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 897.89 836.46 4812079104 cs-sel-05 - - - - - - timeout 897.35 851.08 4222128128 db1 - - - - - - segmentation fault 77.52 56.81 3011547136 db1 - - - - - - timeout 897.02 829.65 5676126208 db3 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--kbic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 9.87 5.19 229203968 db6 21 3 7 31 52 34708 timeout 897.10 877.84 1996505088 tortuga - - - - - - timeout 898.08 876.36 1660362752 tortuga - - - - - - timeout 897.96 875.23 1994993664 cs-sel-05 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--ktti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.40 2.30 148951040 db4 15 3 2 20 34 3643 timeout 897.44 873.14 4665929728 tortuga - - - - - - timeout 897.04 873.47 3229188096 tortuga - - - - - - timeout 897.39 873.87 3882319872 db8 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--on20.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 7.25 3.86 198053888 db1 15 3 2 20 35 10735 timeout 897.22 874.35 3546853376 db4 - - - - - - timeout 897.27 871.59 2862026752 db4 - - - - - - timeout 897.69 877.44 4509343744 cs-sel-06 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 18.67 11.10 502779904 barbados 17 4 4 25 47 44105 timeout 897.03 862.78 4817125376 db1 - - - - - - timeout 896.88 865.06 4792823808 db1 - - - - - - timeout 897.34 708.69 7358775296 db7 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.01 2.53 204259328 db6 22 5 27 54 85 4042 timeout 896.98 878.33 3525058560 db7 - - - - - - timeout 897.01 879.21 3405193216 db7 - - - - - - timeout 896.84 858.78 4869980160 cs-sel-05 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 2.48 1.54 115519488 db3 7 6 0 13 35 487 timeout 897.01 885.18 1138032640 db7 - - - - - - timeout 896.83 882.74 727322624 db7 - - - - - - timeout 897.00 882.12 720842752 db2 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.33 1.88 120676352 cs-sel-06 13 5 24 42 60 1090 timeout 897.27 880.88 1776648192 db6 - - - - - - timeout 897.76 880.98 1777807360 db6 - - - - - - timeout 897.62 880.76 1775452160 db6 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 8.53 3.99 253198336 db4 59 6 2 67 243 33058 timeout 897.73 879.16 817131520 db2 - - - - - - timeout 897.13 882.27 732844032 db2 - - - - - - timeout 896.88 883.02 1194778624 db3 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.95 2.11 139784192 db2 19 5 11 35 105 1314 timeout 897.66 882.45 2326855680 db2 - - - - - - timeout 897.26 882.09 1898700800 db2 - - - - - - timeout 897.25 881.63 2328633344 db4 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.94 2.45 172867584 db5 8 17 12 37 70 2887 timeout 896.83 860.36 5086154752 db4 - - - - - - timeout 896.85 863.74 4932403200 db4 - - - - - - timeout 896.91 839.13 5130465280 db3 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 5.15 2.53 171462656 db3 8 5 4 17 70 3862 timeout 897.47 882.74 630501376 barbados - - - - - - timeout 897.65 883.08 628224000 barbados - - - - - - timeout 897.04 883.22 619376640 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.40 1.88 133754880 db4 22 8 0 30 73 1356 timeout 897.32 883.02 725757952 db7 - - - - - - timeout 896.93 882.63 720252928 db7 - - - - - - timeout 896.33 881.95 723599360 db7 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 897.12 876.67 1644306432 tortuga - - - - - - safe 62.58 55.63 3071504384 db1 7 12 0 19 65 469700 safe 68.21 62.92 2206330880 db1 7 0 0 7 65 513156 safe 70.59 34.87 2236780544 db8 7 12 10 29 65 125070
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.74 2.01 137351168 db4 16 8 2 26 51 1935 timeout 896.95 881.57 1141067776 db1 - - - - - - timeout 897.14 882.12 1138683904 db1 - - - - - - timeout 896.89 880.44 1268334592 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (recursion) 3.82 2.12 138014720 db1 9 3 30 42 71 1771 timeout 897.93 887.36 239472640 db3 - - - - - - timeout 896.88 888.45 240541696 db3 - - - - - - timeout 897.35 887.03 237342720 db3 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.35 1.82 125575168 db4 16 9 2 27 51 1297 timeout 897.47 883.02 701943808 db1 - - - - - - timeout 898.07 883.58 1129046016 db1 - - - - - - timeout 897.72 882.28 697139200 db6 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.18 1.80 124866560 db6 15 5 0 20 46 934 timeout 896.67 860.54 5006938112 tortuga - - - - - - timeout 897.36 855.88 5058015232 tortuga - - - - - - timeout 896.73 860.31 4980867072 db8 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.26 1.80 124297216 db4 14 3 0 17 49 1473 timeout 897.25 882.05 2229370880 db6 - - - - - - timeout 897.72 880.18 1798320128 db6 - - - - - - timeout 897.38 882.09 1783762944 cs-sel-06 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.66 1.95 138534912 db4 17 8 1 26 67 1681 timeout 897.10 882.41 360009728 db6 - - - - - - timeout 896.95 883.88 619692032 db6 - - - - - - timeout 897.39 891.02 360353792 db3 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.98 2.18 147742720 db1 20 12 2 34 74 2906 timeout 897.33 882.18 1296744448 db7 - - - - - - timeout 896.99 884.49 2219499520 db7 - - - - - - timeout 898.00 879.98 1436381184 db5 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 896.71 878.68 4429017088 db7 - - - - - - safe 5.48 2.78 207364096 db1 28 16 0 44 100 6199 safe 5.51 2.83 202932224 db1 28 0 0 28 100 6220 safe 6.36 3.05 202133504 db6 28 16 3 47 100 6051
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--leds--leds-lp5521.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.37 2.30 160755712 db6 8 2 0 10 102 1540 timeout 897.32 882.70 723861504 db1 - - - - - - timeout 897.44 882.42 708231168 db1 - - - - - - timeout 898.31 883.54 684060672 db2 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.58 2.71 205217792 db8 14 15 3 32 73 5111 timeout 897.13 882.40 1205342208 db3 - - - - - - timeout 897.98 882.84 917659648 db3 - - - - - - timeout 896.97 880.47 4307623936 db7 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 7.47 3.58 187531264 db1 11 12 4 27 120 14546 timeout 896.94 888.08 2285903872 db7 - - - - - - timeout 896.96 889.13 1212956672 db7 - - - - - - timeout 897.83 879.99 1093582848 db5 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2266.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.53 2.32 164544512 db2 8 10 4 22 78 3124 timeout 896.94 879.19 4276174848 db6 - - - - - - timeout 896.76 880.65 3606466560 db6 - - - - - - safe 103.51 85.69 4033277952 db6 8 10 4 22 78 348087
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 6.05 2.98 210427904 db3 16 11 30 57 105 6449 timeout 898.85 884.22 622333952 tortuga - - - - - - timeout 897.39 883.25 382816256 tortuga - - - - - - timeout 898.22 883.01 686260224 tortuga - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.81 3.00 205336576 db5 8 5 0 13 370 6142 timeout 896.79 894.25 261111808 db7 - - - - - - timeout 897.39 895.51 386756608 db7 - - - - - - timeout 896.88 894.24 262615040 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 4.15 2.16 162549760 db8 5 6 0 11 90 1344 timeout 896.76 890.28 252755968 db5 - - - - - - timeout 897.64 892.13 360456192 db5 - - - - - - timeout 897.01 892.55 255123456 db3 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 6.64 3.25 208297984 db3 18 15 0 33 267 7115 timeout 897.74 872.44 3543961600 cs-sel-06 - - - - - - timeout 897.01 876.33 3728060416 cs-sel-06 - - - - - - timeout 897.92 877.37 3492741120 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.94 3.28 202354688 db4 17 4 0 21 94 10173 timeout 897.54 882.42 747708416 db7 - - - - - - timeout 897.25 881.45 645988352 db7 - - - - - - timeout 896.76 882.02 721911808 db2 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.79 2.36 162701312 db7 13 9 1 23 106 2294 timeout 897.16 883.21 421666816 db4 - - - - - - timeout 897.92 883.87 399060992 db4 - - - - - - timeout 897.91 883.27 399536128 cs-sel-06 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.97 2.11 147636224 db7 8 7 0 15 69 1323 timeout 897.35 882.91 1168039936 db2 - - - - - - timeout 897.28 883.73 1166286848 db2 - - - - - - timeout 897.00 882.35 1162313728 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 146.17 128.62 4652756992 db1 10 16 123 149 372 137339 timeout 896.90 839.76 5358424064 db4 - - - - - - timeout 897.16 831.46 5630177280 db4 - - - - - - timeout 897.81 846.06 4892983296 tortuga - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 7.97 3.63 213331968 db2 20 10 5 35 136 20915 timeout 896.84 866.82 4918067200 cs-sel-05 - - - - - - timeout 897.80 857.11 5006053376 cs-sel-05 - - - - - - timeout 897.47 855.19 4982681600 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.88 2.78 156000256 db8 8 4 9 21 183 2366 timeout 897.47 882.26 736550912 db1 - - - - - - timeout 898.51 882.87 633069568 db1 - - - - - - timeout 897.32 880.88 1193598976 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 11.66 4.99 280629248 db1 8 10 3 21 97 35925 timeout 897.08 862.26 5177221120 db5 - - - - - - timeout 897.65 854.69 5016879104 db5 - - - - - - timeout 897.28 859.55 5196210176 db8 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 7.13 3.46 156057600 cs-sel-06 9 5 27 41 138 4676 timeout 897.73 882.95 2223345664 db3 - - - - - - timeout 897.45 881.44 1787420672 db3 - - - - - - timeout 897.44 880.62 1784553472 tortuga - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 7.81 3.63 214622208 db6 18 12 15 45 155 6986 timeout 897.61 872.02 4665171968 db5 - - - - - - timeout 897.07 875.40 4080672768 db5 - - - - - - timeout 896.99 878.16 4735893504 db3 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 10.96 5.31 368246784 db6 14 29 7 50 255 19808 timeout 897.72 877.69 1714135040 cs-sel-05 - - - - - - timeout 896.95 878.46 3559321600 cs-sel-05 - - - - - - timeout 897.68 778.78 5115617280 db5 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.72 2.37 162488320 db3 18 10 5 33 107 2718 timeout 897.81 878.67 1301716992 db5 - - - - - - timeout 897.24 883.13 2220351488 db5 - - - - - - timeout 897.35 881.90 1781592064 db7 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--video--zoran--zr36016.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.14 2.24 147910656 db4 10 13 3 26 67 5687 timeout 897.59 375.62 13004607488 db8 - - - - - - timeout 897.33 387.82 12986589184 db8 - - - - - - timeout 897.46 375.57 13050007552 barbados - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_scsi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.76 2.61 166477824 db8 37 7 0 44 102 2657 timeout 896.91 880.31 1169752064 cs-sel-06 - - - - - - timeout 897.64 878.22 1172606976 cs-sel-06 - - - - - - timeout 897.15 882.80 1318334464 db7 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--mfd--janz-cmodio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.07 1.69 123273216 db4 15 10 0 25 67 914 timeout 897.49 880.42 2248077312 db1 - - - - - - timeout 897.40 880.45 2251804672 db1 - - - - - - timeout 897.39 879.22 1991614464 db6 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6105x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 3.06 1.73 120123392 db6 9 2 0 11 56 730 safe 3.31 1.95 114675712 tortuga 12 2 0 14 56 972 safe 3.10 1.80 124641280 tortuga 12 0 0 12 56 972 safe 3.15 1.80 123043840 db7 12 2 0 14 56 972
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--misc--vmw_balloon.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.63 2.30 156475392 db4 23 2 4 29 125 1186 timeout 898.18 882.88 356204544 tortuga - - - - - - timeout 898.18 883.71 624091136 tortuga - - - - - - timeout 898.99 883.86 382668800 db6 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--docprobe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.26 1.90 121958400 cs-sel-05 5 6 0 11 40 2584 timeout 897.03 674.39 8092319744 db8 - - - - - - timeout 896.84 696.81 7628476416 db8 - - - - - - timeout 897.80 630.45 8376864768 db5 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--intel_vr_nor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.43 1.95 128376832 db6 12 12 0 24 48 1285 timeout 896.86 884.90 2186649600 db1 - - - - - - timeout 898.03 882.57 1130893312 db1 - - - - - - timeout 897.78 882.27 1214083072 cs-sel-05 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.31 2.17 155189248 db2 21 5 5 31 106 1460 timeout 896.92 876.31 4629524480 db5 - - - - - - timeout 897.46 873.28 4731613184 db5 - - - - - - timeout 896.86 874.21 4648833024 db6 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--net--irda--litelink-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.75 1.99 142991360 db6 10 5 3 18 32 1108 timeout 897.77 882.53 1221578752 db1 - - - - - - timeout 897.27 882.65 1236598784 db1 - - - - - - timeout 897.69 883.46 1210167296 db8 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--net--ppp--bsd_comp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.48 2.40 161566720 db8 23 23 0 46 70 4232 timeout 898.00 883.39 1120174080 db3 - - - - - - timeout 897.40 885.03 1182486528 db3 - - - - - - timeout 896.93 882.58 1117560832 db6 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 166.06 157.99 4611960832 db3 51 19 28 98 112 10904 timeout 897.54 871.41 2724446208 tortuga - - - - - - timeout 896.95 875.85 4435054592 tortuga - - - - - - safe 171.80 163.86 4262797312 db1 51 19 28 98 112 12669
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--net--sungem_phy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 680.60 645.74 2998382592 db3 31 14 2 47 133 523220 timeout 897.34 883.36 1175265280 db1 - - - - - - timeout 897.43 883.05 1175089152 db1 - - - - - - safe 712.35 671.62 3288764416 db5 31 14 2 47 133 524053
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--platform--x86--dell-wmi-aio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 2.85 1.63 118153216 db6 4 2 0 6 38 759 timeout 897.52 883.15 1231175680 db8 - - - - - - timeout 897.41 882.29 1133457408 db8 - - - - - - timeout 897.39 881.69 1256427520 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--platform--x86--panasonic-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.45 2.26 130818048 tortuga 14 7 8 29 98 2106 timeout 897.01 881.75 1270034432 db1 - - - - - - timeout 897.68 882.99 1276186624 db1 - - - - - - timeout 897.75 879.18 1299836928 cs-sel-06 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--power--test_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.24 1.82 121094144 db1 23 5 0 28 103 1160 timeout 897.60 884.18 343523328 db5 - - - - - - timeout 896.78 885.19 362913792 db5 - - - - - - timeout 897.03 884.22 214720512 db7 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--regulator--gpio-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.68 2.10 121266176 db8 16 8 0 24 58 1901 timeout 897.81 877.22 1170837504 tortuga - - - - - - timeout 897.99 877.54 951607296 tortuga - - - - - - timeout 897.43 881.31 1383542784 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1553.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.52 2.37 158322688 db1 24 8 7 39 85 2590 timeout 897.42 883.46 1158037504 db7 - - - - - - timeout 897.11 882.34 744525824 db7 - - - - - - timeout 897.87 882.35 733511680 db3 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-stk17ta8.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.62 2.33 166088704 db6 23 9 7 39 85 2738 timeout 897.16 883.56 1154134016 cs-sel-05 - - - - - - timeout 898.23 882.18 728219648 cs-sel-05 - - - - - - timeout 897.01 882.80 1148379136 db6 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--scsi--pcmcia--sym53c500_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.95 2.63 147464192 db1 46 11 0 57 123 3604 timeout 897.07 803.59 6158524416 db6 - - - - - - timeout 896.95 784.65 6311194624 db6 - - - - - - timeout 897.40 764.72 6419308544 db8 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--scsi--qlogicfas408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.03 2.62 179646464 db6 20 5 2 27 84 3009 timeout 897.45 872.48 4766437376 tortuga - - - - - - timeout 896.86 868.93 4940537856 tortuga - - - - - - timeout 896.97 874.85 4827975680 db8 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--spi--spi-tle62x0.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.36 1.84 118263808 tortuga 11 5 0 16 107 733 timeout 897.06 883.83 349749248 db4 - - - - - - timeout 898.47 885.25 600911872 db4 - - - - - - timeout 897.06 884.60 369008640 cs-sel-06 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--8255.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (recursion) 3.72 2.06 132481024 db8 6 3 3 12 82 1050 timeout 897.20 882.39 1271668736 db3 - - - - - - timeout 897.23 882.40 1145831424 db3 - - - - - - timeout 897.36 883.53 1143275520 db3 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--unioxx5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 234.33 217.43 1396502528 db2 9 5 5 19 66 50964 timeout 897.62 882.18 1235738624 db3 - - - - - - timeout 897.10 882.93 1231867904 db3 - - - - - - timeout 897.58 883.18 2188812288 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--staging--iio--addac--adt7316-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.11 1.74 122920960 db6 7 3 8 18 45 779 timeout 897.80 882.24 1930825728 db6 - - - - - - timeout 897.84 879.74 1784594432 db6 - - - - - - timeout 896.97 877.55 4396142592 db6 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--staging--iio--addac--adt7316-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.43 1.84 131424256 db4 8 6 10 24 61 1699 timeout 897.11 876.42 3589386240 db2 - - - - - - timeout 896.88 876.75 3594272768 db2 - - - - - - timeout 896.85 876.81 4399792128 db6 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--staging--serqt_usb2--serqt_usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c exception 7.20 3.37 210857984 db6 - - - - - - timeout 898.10 877.51 1382682624 db2 - - - - - - timeout 897.35 879.21 1392033792 db2 - - - - - - timeout 897.86 876.79 1396805632 db7 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--staging--zram--zram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.38 2.72 205754368 db6 23 6 6 35 183 2018 timeout 896.95 876.51 1903931392 db2 - - - - - - timeout 896.99 876.09 1899241472 db2 - - - - - - timeout 896.95 875.51 2359074816 db3 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--tty--serial--mfd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c exception 11.34 5.78 336216064 db6 - - - - - - timeout 897.16 873.54 1874358272 db3 - - - - - - timeout 897.16 875.07 2345881600 db3 - - - - - - exception 46.61 27.54 1721102336 db2 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--tty--serial--xilinx_uartps.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 6.43 3.04 215412736 db2 41 20 33 94 123 6572 timeout 898.19 881.80 1217363968 cs-sel-06 - - - - - - timeout 898.30 881.03 1226686464 cs-sel-06 - - - - - - timeout 897.29 881.48 1217363968 db4 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--usb--atm--xusbatm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.28 2.17 133804032 db5 13 5 0 18 90 1239 timeout 898.42 882.18 369664000 tortuga - - - - - - timeout 897.42 884.80 384028672 tortuga - - - - - - timeout 897.14 883.75 385449984 db8 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--usb--serial--cp210x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 6.65 3.16 153800704 db7 17 4 20 41 72 16095 timeout 897.19 881.20 1971859456 db3 - - - - - - timeout 897.87 879.71 1348927488 db3 - - - - - - timeout 897.30 881.15 2247319552 db2 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--usb--serial--iuu_phoenix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c exception 6.76 3.21 156860416 cs-sel-05 - - - - - - timeout 896.90 881.78 700665856 db1 - - - - - - timeout 897.41 882.15 705482752 db1 - - - - - - timeout 897.31 883.93 1175810048 db7 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--usb--serial--metro-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.64 2.77 205561856 tortuga 43 7 16 66 137 5323 timeout 897.37 881.10 750874624 db6 - - - - - - timeout 897.49 881.95 634060800 db6 - - - - - - timeout 897.78 881.97 748425216 db7 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--usb--serial--mos7840.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 10.08 4.49 180002816 db5 13 11 8 32 269 3728 timeout 896.92 877.74 1393852416 db7 - - - - - - timeout 897.18 876.87 1215717376 db7 - - - - - - timeout 897.13 877.70 2316423168 db1 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--usb--serial--spcp8x5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c exception 4.73 2.39 129855488 cs-sel-06 - - - - - - timeout 897.54 888.21 1352220672 db1 - - - - - - timeout 897.61 882.32 1182064640 db1 - - - - - - timeout 897.27 880.90 1180487680 db4 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--video--backlight--tdo24m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.26 2.80 152313856 tortuga 15 3 0 18 52 19231 timeout 897.87 879.96 627331072 barbados - - - - - - timeout 898.51 879.01 703807488 barbados - - - - - - timeout 898.12 878.99 785743872 db7 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--w1--masters--ds2490.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.55 2.31 153919488 db6 9 8 7 24 87 1339 timeout 896.77 855.87 5177032704 db2 - - - - - - timeout 897.13 857.14 5231288320 db2 - - - - - - timeout 896.88 848.82 5158957056 db6 - - - - - -
benchmarks/ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2433.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.42 1.87 125923328 db2 14 8 2 24 57 1104 timeout 897.33 854.66 5001822208 cs-sel-06 - - - - - - timeout 896.93 862.48 4861349888 cs-sel-06 - - - - - - timeout 896.92 848.47 5015887872 db7 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.33 2.16 128126976 db5 13 7 0 20 102 1336 timeout 897.38 879.05 4094431232 tortuga - - - - - - timeout 897.42 874.63 3552923648 tortuga - - - - - - timeout 897.08 873.76 2866073600 db7 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 2.74 1.63 115847168 db2 2 6 1 9 34 621 safe 2.64 1.56 119148544 db1 1 6 0 7 34 522 safe 2.69 1.60 118165504 db1 1 0 0 1 34 522 safe 2.72 1.66 118898688 cs-sel-06 1 6 1 8 34 522
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.16 2.57 200810496 db7 21 5 24 50 121 4179 timeout 897.42 877.62 4694159360 cs-sel-06 - - - - - - timeout 897.44 876.11 4669923328 cs-sel-06 - - - - - - timeout 896.83 859.35 4860846080 db3 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--firmware--edd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 2.84 1.64 116207616 db5 5 3 0 8 23 810 timeout 896.70 876.93 3583950848 db1 - - - - - - timeout 896.95 876.47 3853111296 db1 - - - - - - timeout 897.61 874.15 4676689920 db8 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.17 2.66 204070912 db3 32 5 0 37 200 5381 timeout 897.84 880.62 443858944 db4 - - - - - - timeout 897.20 882.12 304345088 db4 - - - - - - timeout 897.65 882.51 292593664 db6 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 2.70 1.54 111620096 db8 6 6 0 12 32 465 timeout 897.14 880.57 1891549184 db4 - - - - - - timeout 897.15 881.88 1764757504 db4 - - - - - - timeout 897.72 881.70 1763807232 cs-sel-06 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.40 1.84 128499712 db8 22 7 36 65 66 926 timeout 897.90 877.93 1765892096 cs-sel-05 - - - - - - timeout 898.12 878.80 1771433984 cs-sel-05 - - - - - - timeout 897.61 877.33 4330905600 db5 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 8.36 4.19 251564032 db7 49 6 1 56 320 31397 timeout 897.48 881.02 730058752 cs-sel-06 - - - - - - timeout 898.22 880.28 962301952 cs-sel-06 - - - - - - timeout 897.28 881.33 732454912 db6 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.90 2.08 140595200 db7 18 5 10 33 94 1335 timeout 897.95 882.14 1891074048 cs-sel-06 - - - - - - timeout 897.00 881.55 1764372480 cs-sel-06 - - - - - - timeout 896.74 881.38 2192969728 db2 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.19 2.53 168701952 db4 7 18 12 37 68 2715 timeout 897.02 847.63 5292187648 db3 - - - - - - timeout 896.84 854.22 5115334656 db3 - - - - - - timeout 897.52 806.76 5410054144 tortuga - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 5.40 2.62 166719488 db6 9 3 3 15 63 3565 timeout 897.46 882.59 1154428928 db7 - - - - - - timeout 896.96 881.57 1154879488 db7 - - - - - - timeout 898.06 878.22 1159622656 tortuga - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.47 1.94 117469184 cs-sel-06 30 8 0 38 105 1420 timeout 898.19 882.38 1763483648 db5 - - - - - - timeout 897.05 880.98 1139511296 db5 - - - - - - timeout 897.67 882.17 1764245504 db5 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 897.76 475.93 6658449408 barbados - - - - - - safe 27.84 22.22 1257725952 db1 7 12 0 19 53 174016 safe 31.74 27.50 1264861184 db1 7 0 0 7 53 210731 safe 28.10 14.13 1166753792 db2 7 12 10 29 53 47947
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.49 1.93 124211200 db7 15 7 1 23 45 1874 timeout 897.07 881.08 1140690944 db7 - - - - - - timeout 897.23 881.96 1266552832 db7 - - - - - - timeout 897.76 882.47 1265479680 db4 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (recursion) 3.73 2.04 134098944 db4 10 3 27 40 45 1802 timeout 897.61 883.84 235626496 db1 - - - - - - timeout 897.24 882.80 234754048 db1 - - - - - - timeout 897.26 883.34 240504832 db1 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.15 1.77 125153280 db1 15 8 1 24 46 1251 timeout 898.34 881.83 1262702592 cs-sel-05 - - - - - - timeout 897.99 883.00 1773793280 cs-sel-05 - - - - - - timeout 897.42 881.54 1273659392 db2 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.10 1.75 122134528 cs-sel-05 10 5 0 15 31 930 timeout 897.59 859.06 5013688320 cs-sel-05 - - - - - - timeout 897.68 856.74 5044850688 cs-sel-05 - - - - - - timeout 896.86 859.93 4962201600 db4 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.23 1.82 124321792 db2 12 3 0 15 39 1722 timeout 897.56 878.38 1809489920 db8 - - - - - - timeout 897.26 880.45 1387159552 db8 - - - - - - timeout 896.96 881.79 1798311936 db4 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.27 1.88 126234624 db8 14 8 1 23 68 1641 timeout 897.43 881.31 715841536 db6 - - - - - - timeout 897.22 883.05 1228541952 db6 - - - - - - timeout 897.69 883.21 1132498944 db8 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.79 2.15 140718080 db2 19 11 1 31 67 2910 timeout 897.27 881.07 2223833088 db6 - - - - - - timeout 897.40 882.08 2373025792 db6 - - - - - - timeout 897.19 880.68 1776791552 db6 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 896.91 870.74 4191756288 tortuga - - - - - - safe 5.68 2.92 204587008 db2 27 21 0 48 99 7669 safe 5.88 3.00 204644352 db2 27 0 0 27 99 7828 safe 5.98 3.00 207691776 db2 27 21 2 50 99 7533
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 6.76 3.04 214712320 db7 12 15 3 30 59 4941 timeout 897.72 880.65 2255572992 db2 - - - - - - timeout 897.92 882.45 1768247296 db2 - - - - - - timeout 897.17 872.19 4331528192 db2 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 7.97 3.90 205627392 db4 8 12 4 24 97 14401 timeout 897.02 882.46 1843720192 db1 - - - - - - timeout 896.87 888.57 1842286592 db1 - - - - - - timeout 897.08 883.12 1848365056 db2 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.89 3.07 197836800 db7 14 11 30 55 91 7495 timeout 897.12 882.05 1163370496 db5 - - - - - - timeout 898.23 883.52 739426304 db5 - - - - - - timeout 898.61 882.30 697229312 db3 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.68 2.99 200454144 db8 6 5 0 11 354 6221 timeout 896.86 894.47 256139264 db4 - - - - - - timeout 896.83 894.66 256909312 db4 - - - - - - timeout 896.69 894.45 254681088 db3 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 4.66 2.38 185176064 db1 3 6 0 9 137 1976 timeout 898.49 888.38 246968320 tortuga - - - - - - timeout 897.12 892.57 254681088 tortuga - - - - - - timeout 897.96 890.80 176984064 cs-sel-05 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.94 3.01 154345472 cs-sel-05 15 15 0 30 262 6787 timeout 896.62 865.37 4959358976 db2 - - - - - - timeout 897.15 866.08 4942512128 db2 - - - - - - timeout 896.99 861.43 5089165312 db6 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 6.70 3.75 149061632 db2 13 4 0 17 156 11271 timeout 897.70 876.77 1810821120 cs-sel-06 - - - - - - timeout 897.43 880.98 1170890752 cs-sel-06 - - - - - - timeout 897.79 878.36 1582743552 db5 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.95 2.42 167878656 db6 11 9 1 21 129 2294 timeout 897.57 881.74 1334984704 db8 - - - - - - timeout 897.44 880.87 1176780800 db8 - - - - - - timeout 898.00 879.08 952188928 db6 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.96 2.09 131813376 db3 5 7 0 12 64 1315 timeout 897.56 880.33 2398801920 cs-sel-06 - - - - - - timeout 897.57 878.69 1798430720 cs-sel-06 - - - - - - timeout 897.86 878.22 1628561408 db7 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 72.23 55.47 2958454784 db8 8 16 123 147 386 154757 timeout 897.14 658.95 9492459520 cs-sel-06 - - - - - - timeout 897.65 656.41 10057216000 cs-sel-06 - - - - - - timeout 897.21 699.05 6936293376 db2 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 7.21 3.35 211308544 db2 17 8 2 27 131 18227 timeout 896.77 845.22 5331537920 tortuga - - - - - - timeout 897.49 831.63 5356605440 tortuga - - - - - - timeout 896.75 850.80 5282299904 db5 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-vp702x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 6.14 2.91 206475264 db6 21 10 17 48 176 3256 timeout 897.52 837.12 4959588352 db6 - - - - - - timeout 897.14 838.07 4160000000 db6 - - - - - - timeout 897.73 768.42 7393660928 db3 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 7.58 3.83 212975616 tortuga 7 14 27 48 183 5060 timeout 896.94 879.43 1898622976 db4 - - - - - - timeout 897.23 880.93 2225614848 db4 - - - - - - timeout 896.92 880.19 2228162560 db3 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.11 2.16 151285760 db8 16 11 2 29 96 2678 timeout 897.46 880.11 2400325632 db3 - - - - - - timeout 896.96 880.31 2385301504 db3 - - - - - - timeout 898.17 878.42 1961467904 cs-sel-05 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--video--zoran--zr36016.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.83 2.12 122306560 db2 10 10 3 23 52 5047 timeout 897.59 369.23 12958007296 db4 - - - - - - timeout 897.48 372.66 13128253440 db4 - - - - - - timeout 897.47 374.44 12999262208 db2 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--message--i2o--i2o_scsi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.37 2.31 128933888 barbados 30 7 0 37 109 2580 timeout 897.62 881.08 1968033792 db2 - - - - - - timeout 897.65 880.34 1787056128 db2 - - - - - - timeout 897.15 879.16 2227703808 db1 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--mfd--janz-cmodio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.18 1.78 121540608 db3 13 7 0 20 58 891 timeout 897.23 879.57 3511803904 db8 - - - - - - timeout 897.44 877.42 2289401856 db8 - - - - - - timeout 897.25 878.71 3514028032 db7 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--misc--vmw_balloon.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.00 2.16 128376832 db5 24 4 0 28 156 1138 timeout 897.76 881.43 1767616512 db5 - - - - - - timeout 897.36 882.46 2207223808 db5 - - - - - - timeout 898.39 882.22 1043394560 db3 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--mtd--devices--docprobe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.32 1.88 129183744 db6 9 6 0 15 37 2738 timeout 897.36 630.04 8578691072 db4 - - - - - - timeout 897.13 636.09 8354152448 db4 - - - - - - timeout 897.46 612.12 8770007040 db3 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--mtd--mtdoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.98 2.19 123826176 db4 20 7 5 32 85 1427 timeout 896.89 862.79 4873056256 db3 - - - - - - timeout 896.84 865.24 4849688576 db3 - - - - - - timeout 897.15 857.23 4900122624 db8 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--mtd--tests--mtd_oobtest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 896.87 881.81 3226378240 db7 - - - - - - safe 4.33 2.22 168644608 db2 8 3 0 11 105 977 safe 4.28 2.21 166735872 db2 8 0 0 8 105 977 safe 4.39 2.29 169480192 db6 8 3 3 14 105 977
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--mtd--tests--mtd_pagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 896.97 880.01 4092366848 db1 - - - - - - safe 3.56 2.00 137932800 db8 7 2 0 9 33 717 safe 3.59 1.97 137830400 db8 7 0 0 7 33 717 safe 3.54 2.02 117755904 db7 7 2 1 10 33 717
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--mtd--tests--mtd_subpagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 897.05 881.42 3027271680 db8 - - - - - - safe 3.46 1.94 134582272 db7 11 2 0 13 55 737 safe 3.43 1.93 134983680 db7 11 0 0 11 55 737 safe 3.49 1.95 135208960 cs-sel-06 11 2 1 14 55 737
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--net--arcnet--com90xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 10.06 6.37 479383552 db4 14 33 72 119 91 2858 timeout 897.17 879.77 2258395136 db8 - - - - - - timeout 897.35 883.17 1180483584 db8 - - - - - - timeout 897.02 862.70 4725059584 db7 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--net--irda--litelink-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.34 1.82 129576960 tortuga 9 5 2 16 42 1081 timeout 896.92 881.52 1766699008 db6 - - - - - - timeout 897.50 882.28 1216712704 db6 - - - - - - timeout 896.87 881.87 1766064128 db4 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--net--ppp--bsd_comp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.62 2.60 195608576 db6 24 23 0 47 66 4351 timeout 897.80 882.07 1160794112 db8 - - - - - - timeout 897.40 881.46 1155739648 db8 - - - - - - timeout 896.89 881.91 1154801664 db1 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--platform--x86--dell-wmi-aio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 2.81 1.63 118820864 db8 3 2 0 5 32 744 timeout 897.46 882.62 1759674368 db3 - - - - - - timeout 897.35 881.02 1244524544 db3 - - - - - - timeout 897.56 881.22 1246777344 db1 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--platform--x86--panasonic-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.03 2.23 132485120 db6 13 7 8 28 88 2069 timeout 898.13 882.30 1284661248 db3 - - - - - - timeout 896.99 883.15 1775124480 db3 - - - - - - timeout 897.55 883.43 1776357376 db4 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--regulator--gpio-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.63 2.05 115109888 tortuga 14 8 0 22 50 1899 timeout 897.00 881.10 2249801728 db7 - - - - - - timeout 896.77 880.63 2254426112 db7 - - - - - - timeout 897.87 878.84 1691873280 cs-sel-05 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--rtc--rtc-ds1553.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.14 2.23 150769664 db4 27 6 7 40 77 2555 timeout 897.61 881.50 1899577344 db6 - - - - - - timeout 897.24 881.40 2199703552 db6 - - - - - - timeout 897.09 880.73 2207744000 cs-sel-06 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--rtc--rtc-stk17ta8.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.15 2.29 152207360 db8 26 7 7 40 77 2719 timeout 898.09 882.13 1894879232 db8 - - - - - - timeout 897.26 882.49 2195308544 db8 - - - - - - timeout 897.44 880.21 1773281280 db8 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--scsi--pcmcia--sym53c500_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.33 2.75 196026368 db1 47 10 0 57 138 3580 timeout 897.57 680.45 7935930368 db1 - - - - - - timeout 896.93 707.23 7620489216 db1 - - - - - - timeout 897.49 662.05 7890702336 db4 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--scsi--qlogicfas408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.82 2.45 134463488 db2 23 5 2 30 51 3004 timeout 897.09 759.90 6973644800 db4 - - - - - - timeout 897.13 757.09 6943039488 db4 - - - - - - timeout 897.02 746.42 7096926208 db4 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--spi--spi-tle62x0.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.26 1.85 125464576 db3 10 5 0 15 118 699 timeout 897.05 882.27 732946432 db2 - - - - - - timeout 897.16 883.05 710660096 db2 - - - - - - timeout 897.35 883.98 1138688000 db1 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--8255.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (recursion) 3.55 1.99 132038656 db8 8 5 3 16 61 1063 timeout 897.32 881.19 2212978688 tortuga - - - - - - timeout 898.48 879.00 1608421376 tortuga - - - - - - timeout 897.30 877.09 1940885504 db4 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--staging--comedi--drivers--unioxx5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 231.22 211.97 1562230784 db6 9 5 5 19 58 50972 timeout 897.40 881.99 1763418112 db2 - - - - - - timeout 897.03 881.13 1759469568 db2 - - - - - - timeout 898.11 882.18 1425715200 db7 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--staging--iio--addac--adt7316-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.40 1.80 130781184 db3 6 6 10 22 47 1656 timeout 897.27 875.52 4715319296 db4 - - - - - - timeout 896.91 877.67 3858145280 db4 - - - - - - timeout 897.50 871.26 4731326464 db2 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--staging--serqt_usb2--serqt_usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c exception 7.09 3.37 218292224 db2 - - - - - - timeout 897.14 879.07 2451734528 cs-sel-05 - - - - - - timeout 898.01 877.22 2015330304 cs-sel-05 - - - - - - timeout 897.26 878.39 2461630464 db2 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--staging--zram--zram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.61 2.84 201617408 db4 27 2 5 34 179 2069 timeout 897.56 839.16 5210054656 cs-sel-05 - - - - - - timeout 897.37 854.90 5119508480 cs-sel-05 - - - - - - timeout 896.97 846.46 5209600000 db3 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--tty--serial--mfd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c exception 11.34 5.89 334655488 db4 - - - - - - exception 219.00 212.43 1280430080 db1 - - - - - - timeout 896.86 875.84 2789064704 db1 - - - - - - exception 17.80 10.13 495038464 db3 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--tty--serial--xilinx_uartps.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 6.56 3.01 210272256 db4 44 18 35 97 108 6545 timeout 897.28 878.85 1851150336 db4 - - - - - - timeout 897.23 880.17 1842233344 db4 - - - - - - timeout 896.84 878.32 2292244480 db6 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--usb--atm--xusbatm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 4.06 2.09 150278144 db5 7 5 0 12 53 1173 timeout 897.27 882.51 2240851968 db3 - - - - - - timeout 898.14 880.37 1170239488 db3 - - - - - - timeout 897.98 879.32 1341870080 db5 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--usb--serial--cp210x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 6.94 3.25 209465344 cs-sel-06 15 4 23 42 105 17795 timeout 897.70 877.26 2005864448 db8 - - - - - - timeout 897.33 879.06 1992339456 db8 - - - - - - timeout 897.70 877.14 2282536960 barbados - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--usb--serial--iuu_phoenix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 8.12 3.80 170233856 db8 36 35 8 79 246 16599 timeout 897.49 877.27 1446617088 cs-sel-06 - - - - - - timeout 898.58 877.66 1449467904 cs-sel-06 - - - - - - timeout 897.66 879.68 2224410624 db7 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--usb--serial--metro-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 5.85 2.83 205647872 db1 53 9 19 81 231 5717 timeout 897.16 878.58 2828705792 db8 - - - - - - timeout 897.33 877.83 2427449344 db8 - - - - - - timeout 897.80 875.98 2282418176 db2 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--usb--serial--mos7840.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 10.54 4.59 244989952 db4 12 6 6 24 508 1347 timeout 897.34 875.74 2555207680 db6 - - - - - - timeout 897.33 874.79 2327683072 db6 - - - - - - timeout 897.09 875.18 3609985024 db3 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--usb--serial--spcp8x5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c exception 4.92 2.41 188231680 db7 - - - - - - timeout 897.84 877.38 1808437248 cs-sel-06 - - - - - - timeout 897.37 879.72 1801359360 cs-sel-06 - - - - - - timeout 897.03 879.61 2432733184 db2 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--w1--slaves--w1_ds2433.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c safe 3.00 1.69 120655872 db7 12 7 2 21 47 1011 timeout 896.90 860.45 4861513728 db3 - - - - - - timeout 896.78 872.35 4780421120 db3 - - - - - - timeout 897.09 854.17 4933787648 db8 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--watchdog--sch311x_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c exception 3.71 2.01 136704000 db6 - - - - - - timeout 896.94 788.40 6143422464 db4 - - - - - - timeout 897.53 786.62 6175891456 db4 - - - - - - timeout 897.13 787.33 6366834688 db6 - - - - - -
benchmarks/ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--watchdog--w83697hf_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c exception 3.74 2.15 140693504 barbados - - - - - - timeout 897.30 851.55 5114007552 db1 - - - - - - timeout 897.05 850.17 5299793920 db1 - - - - - - timeout 897.39 832.75 5268787200 db3 - - - - - -
benchmarks/ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko_unsafe.cil.out.i.pp.cil.c unsafe 14.01 5.52 266657792 db7 55 20 20 95 1474 4767 timeout 897.64 877.71 2288361472 db7 - - - - - - timeout 897.28 881.26 2288689152 db7 - - - - - - timeout 896.66 877.09 2294657024 db2 - - - - - -
benchmarks/ldv-drivers/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.cil.c unsafe 10.04 4.00 213135360 db4 79 50 9 138 595 5861 timeout 897.12 880.30 1156497408 db2 - - - - - - timeout 897.29 879.59 1165492224 db2 - - - - - - timeout 896.93 880.78 1172504576 db5 - - - - - -
benchmarks/ldv-drivers/module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c unsafe 137.67 109.64 3084460032 db6 94 32 30 156 365 235648 timeout 896.65 883.50 1204666368 db4 - - - - - - timeout 897.17 884.56 1205673984 db4 - - - - - - timeout 898.14 877.02 1057538048 tortuga - - - - - -
benchmarks/ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.cil.c unsafe 4.25 2.18 130924544 cs-sel-05 19 12 4 35 198 1398 timeout 897.28 881.26 2254622720 cs-sel-05 - - - - - - timeout 898.01 878.47 1398853632 cs-sel-05 - - - - - - timeout 897.10 880.00 1815461888 cs-sel-05 - - - - - -
benchmarks/ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.cil.c unsafe 5.54 2.58 194355200 db8 14 3 13 30 236 1330 timeout 897.31 879.50 1789968384 db7 - - - - - - timeout 897.14 880.98 2295717888 db7 - - - - - - unsafe 5.57 2.75 201928704 db4 14 3 13 30 236 1332
benchmarks/ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko_unsafe.cil.out.i.pp.i unsafe 10.41 4.19 203665408 db1 24 11 14 49 1119 3186 timeout 897.21 878.39 1303941120 db2 - - - - - - timeout 897.23 879.16 1276805120 db2 - - - - - - timeout 897.46 878.67 1297506304 db6 - - - - - -
benchmarks/ldv-drivers/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.i unsafe 7.52 3.22 167469056 cs-sel-06 66 25 6 97 505 3668 timeout 897.52 882.26 1222864896 db8 - - - - - - timeout 897.10 881.90 1225895936 db8 - - - - - - timeout 896.81 881.35 1148444672 db1 - - - - - -
benchmarks/ldv-drivers/module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.i unsafe 120.47 96.01 2867605504 db8 85 25 22 132 341 174501 timeout 897.43 883.12 1212387328 db6 - - - - - - timeout 897.16 888.22 1205608448 db6 - - - - - - timeout 897.27 879.11 1884467200 db8 - - - - - -
benchmarks/ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.i unsafe 3.53 1.89 141553664 db5 12 9 3 24 101 934 timeout 897.40 839.38 5237432320 barbados - - - - - - unsafe 3.59 2.02 131878912 barbados 16 0 0 16 101 1284 unsafe 3.54 1.93 141778944 barbados 12 9 3 24 101 934
benchmarks/ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.i unsafe 3.62 1.91 127062016 db3 15 11 3 29 147 1057 timeout 898.09 879.00 1358966784 cs-sel-06 - - - - - - timeout 897.52 881.70 1341276160 cs-sel-06 - - - - - - timeout 897.12 882.73 2410852352 db4 - - - - - -
benchmarks/ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.i unsafe 4.79 2.37 163557376 db7 14 2 11 27 226 1163 timeout 898.65 881.79 1002643456 db2 - - - - - - timeout 897.29 882.29 1220399104 db2 - - - - - - unsafe 4.93 2.65 165806080 db7 14 2 11 27 226 1163
benchmarks/ldv-drivers/usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.i unsafe 4.94 2.38 167706624 db6 26 8 9 43 241 1911 timeout 897.14 603.86 9908695040 db1 - - - - - - timeout 897.32 570.29 9958223872 db1 - - - - - - unsafe 5.81 2.77 200962048 cs-sel-05 25 8 9 42 241 2641
benchmarks/ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.i unsafe 4.31 2.19 160370688 db8 9 18 3 30 227 1343 timeout 897.40 873.32 2315534336 db8 - - - - - - timeout 897.24 879.12 1445466112 db8 - - - - - - timeout 896.98 872.26 2168659968 db7 - - - - - -
benchmarks/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 unsafe 5.07 2.56 194322432 db1 16 16 3 35 84 2305 timeout 897.36 878.05 2069942272 cs-sel-05 - - - - - - timeout 898.11 879.33 1477758976 cs-sel-05 - - - - - - timeout 897.06 881.12 3542581248 db2 - - - - - -
benchmarks/ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unsafe 13.45 5.65 290484224 db5 10 8 7 25 783 2246 timeout 898.09 878.06 766144512 cs-sel-06 - - - - - - timeout 898.16 879.31 751878144 cs-sel-06 - - - - - - timeout 897.39 879.54 1238478848 db6 - - - - - -
benchmarks/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 error (recursion) 31.16 19.29 1034379264 cs-sel-06 19 21 29 69 768 402510 timeout 898.44 879.48 778575872 db6 - - - - - - timeout 897.68 879.32 754601984 db6 - - - - - - timeout 896.83 878.39 1228505088 db7 - - - - - -
benchmarks/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 unsafe 7.35 3.37 215351296 db6 44 8 6 58 239 4608 timeout 897.67 831.76 5137719296 cs-sel-05 - - - - - - timeout 897.67 834.56 5098778624 cs-sel-05 - - - - - - timeout 897.44 825.53 5159956480 db5 - - - - - -
benchmarks/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 unsafe 14.51 6.61 261844992 db6 17 10 2 29 501 3221 timeout 897.22 879.31 1327845376 db7 - - - - - - timeout 897.05 880.07 1495556096 db7 - - - - - - timeout 896.89 877.42 1332154368 db2 - - - - - -
benchmarks/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 exception 15.77 7.27 260718592 cs-sel-05 - - - - - - timeout 897.98 876.44 1980567552 db2 - - - - - - timeout 897.39 873.62 2458611712 db2 - - - - - - timeout 897.42 879.35 4482138112 db1 - - - - - -
benchmarks/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 unsafe 5.20 2.75 200835072 tortuga 21 16 3 40 153 2002 timeout 897.02 882.17 1771421696 cs-sel-05 - - - - - - timeout 898.23 882.51 1146650624 cs-sel-05 - - - - - - timeout 898.08 882.58 1244749824 cs-sel-06 - - - - - -
benchmarks/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 error (recursion) 31.27 20.54 868397056 db7 29 15 6 50 318 72925 timeout 897.01 872.04 4655693824 db1 - - - - - - timeout 897.16 871.33 4656340992 db1 - - - - - - timeout 897.03 837.67 5203501056 db1 - - - - - -
benchmarks/loops/linear_sea.ch_safe.i unsafe 1.95 1.12 101474304 db4 1 3 0 4 6 33 timeout 897.29 882.49 2181259264 db3 - - - - - - timeout 897.46 882.09 1228513280 db3 - - - - - - timeout 897.32 882.72 2279477248 db3 - - - - - -
benchmarks/loops/lu.cmp_safe.i unsafe 1.98 1.17 103038976 db3 1 4 0 5 13 122 safe 2.81 1.52 119021568 db3 1 4 0 5 13 1138 safe 2.73 1.45 118824960 db3 1 0 0 1 13 1142 safe 2.76 1.51 120250368 db8 1 4 0 5 13 1138
benchmarks/loops/pc_sfifo_1_safe.i timeout 897.05 834.74 4997771264 db3 - - - - - - timeout 896.93 873.74 4716093440 db7 - - - - - - unsafe 2.03 1.23 105402368 db7 7 0 0 7 26 204 timeout 896.90 826.73 5257838592 db4 - - - - - -
benchmarks/loops/sum03_safe.i unsafe 1.84 1.08 100245504 cs-sel-06 3 2 0 5 5 28 timeout 897.84 881.90 2758291456 db5 - - - - - - timeout 896.92 881.79 1756889088 db5 - - - - - - timeout 897.67 881.40 1760706560 cs-sel-05 - - - - - -
benchmarks/loops/sum04_safe.i unsafe 1.98 1.15 100306944 db2 1 2 1 4 4 25 safe 1.88 1.11 101552128 db1 1 2 0 3 4 51 safe 1.91 1.12 101527552 db1 1 0 0 1 4 51 safe 2.06 1.18 106426368 db5 1 2 1 4 4 51
benchmarks/loops/terminator_02_safe.i safe 1.99 1.14 103448576 barbados 3 2 2 7 6 38 unsafe 1.87 1.10 101543936 db1 2 2 0 4 6 32 unsafe 1.87 1.11 102285312 db1 1 0 0 1 6 30 safe 2.06 1.19 105959424 db4 3 2 2 7 6 38
benchmarks/loops/terminator_03_safe.i safe 2.13 1.17 107663360 db2 1 2 2 5 3 28 unsafe 1.95 1.15 111767552 db2 1 2 0 3 3 29 unsafe 1.84 1.10 102088704 db2 0 0 0 0 3 27 safe 2.00 1.17 119783424 db2 1 2 2 5 3 28
benchmarks/loops/token_ring01_safe.i safe 2.54 1.40 112656384 db3 17 25 2 44 33 573 unsafe 2.19 1.34 105730048 db6 12 22 0 34 33 370 unsafe 2.23 1.34 105615360 db6 12 0 0 12 33 432 safe 2.47 1.42 123736064 cs-sel-06 17 25 2 44 33 573
benchmarks/loops/trex01_safe.i unsafe 1.81 1.08 96595968 db8 2 0 3 5 6 28 timeout 898.37 881.36 1860542464 cs-sel-06 - - - - - - timeout 898.22 881.37 1867542528 cs-sel-06 - - - - - - timeout 896.68 860.07 4660318208 db4 - - - - - -
benchmarks/loops/trex02_safe.i safe 1.99 1.17 100945920 db8 3 0 2 5 4 34 unsafe 1.84 1.07 114958336 db5 1 0 0 1 4 20 unsafe 1.98 1.16 109793280 db5 1 0 0 1 4 20 safe 1.96 1.17 101199872 db5 3 0 2 5 4 34
benchmarks/loops/trex04_safe.i safe 2.25 1.29 120299520 db6 6 0 4 10 8 69 unsafe 1.89 1.17 101728256 db2 6 0 0 6 8 164 unsafe 1.88 1.14 99999744 db2 6 0 0 6 8 164 safe 2.32 1.24 108728320 db4 6 0 4 10 8 69
benchmarks/loops/veris.c_OpenSER__cases1_stripFullBoth_arr_safe.i safe 2.08 1.24 101126144 db4 1 1 0 2 7 87 timeout 897.18 880.83 1757360128 db7 - - - - - - timeout 897.32 881.49 1757175808 db7 - - - - - - timeout 897.49 881.51 1756463104 db3 - - - - - -
benchmarks/loops/vogal_safe.i timeout 896.81 877.46 1857216512 db4 - - - - - - unsafe 1.95 1.16 102719488 db1 2 0 0 2 8 111 unsafe 1.88 1.18 114298880 db1 2 0 0 2 8 111 unsafe 2.28 1.30 119918592 db5 2 0 5 7 8 62
benchmarks/loops/string_unsafe.i unsafe 1.96 1.10 102465536 db7 1 2 0 3 7 52 timeout 897.23 881.06 1251348480 db4 - - - - - - timeout 897.63 882.26 1229631488 db4 - - - - - - timeout 897.13 883.17 2298220544 db4 - - - - - -
benchmarks/product-lines/elevator_spec13_productSimulator_safe.cil.c timeout 896.85 863.56 4489854976 db2 - - - - - - safe 5.15 2.68 195244032 db7 33 149 0 182 109 5038 safe 4.81 2.53 189169664 db7 33 0 0 33 109 5048 safe 6.50 3.74 237420544 db1 33 149 69 251 109 5507
benchmarks/product-lines/elevator_spec1_product21_safe.cil.c unsafe 11.81 7.28 568320000 db6 24 145 38 207 105 15188 safe 4.61 2.47 182038528 db8 27 145 0 172 105 2967 safe 4.17 2.23 154947584 db8 27 0 0 27 105 2967 safe 5.55 2.97 201822208 db4 27 145 38 210 105 3879
benchmarks/product-lines/elevator_spec1_product23_safe.cil.c unsafe 25.10 20.17 1420320768 db6 24 138 61 223 103 16052 safe 4.48 2.40 141713408 cs-sel-06 27 138 0 165 103 3343 safe 4.25 2.31 158957568 cs-sel-06 27 0 0 27 103 3343 safe 5.89 3.31 197570560 db2 27 138 61 226 103 4359
benchmarks/product-lines/elevator_spec1_product29_safe.cil.c unsafe 14.42 8.01 541147136 tortuga 25 149 38 212 106 15606 safe 4.76 2.68 182972416 db5 28 149 0 177 106 3014 safe 4.03 2.26 118411264 db5 28 0 0 28 106 3014 safe 6.00 3.09 208572416 db6 28 149 38 215 106 3926
benchmarks/product-lines/elevator_spec1_product31_safe.cil.c unsafe 22.98 17.12 1353711616 db2 25 142 61 228 104 16476 safe 4.77 2.55 184983552 db4 28 142 0 170 104 3396 safe 4.19 2.29 157921280 db4 28 0 0 28 104 3396 safe 5.98 3.43 200253440 db2 28 142 61 231 104 4412
benchmarks/product-lines/elevator_spec2_product21_safe.cil.c unsafe 8.92 4.87 464830464 db3 23 142 40 205 105 14061 safe 4.28 2.26 150069248 db6 26 139 0 165 105 1721 safe 3.96 2.12 143237120 db6 26 0 0 26 105 1721 safe 5.15 2.68 198070272 barbados 26 139 40 205 105 1842
benchmarks/product-lines/elevator_spec2_product23_safe.cil.c unsafe 10.91 6.53 480444416 db5 23 135 63 221 103 14952 safe 4.26 2.23 154144768 db3 26 135 0 161 103 1924 safe 3.82 2.10 146231296 db3 26 0 0 26 103 1924 safe 5.13 2.61 196268032 db6 26 135 60 221 103 2071
benchmarks/product-lines/elevator_spec2_product29_safe.cil.c unsafe 8.81 4.47 365719552 db3 24 146 40 210 106 14264 safe 4.37 2.25 152162304 db3 27 143 0 170 106 1749 safe 4.02 2.19 145379328 db3 27 0 0 27 106 1749 safe 5.11 2.58 203665408 db4 27 143 40 210 106 1870
benchmarks/product-lines/elevator_spec2_product31_safe.cil.c unsafe 11.63 7.46 517509120 db3 24 139 63 226 104 15153 safe 4.29 2.36 153022464 db8 27 139 0 166 104 1950 safe 3.94 2.14 147066880 db8 27 0 0 27 104 1950 safe 5.16 2.74 192565248 db7 27 139 60 226 104 2097
benchmarks/product-lines/elevator_spec9_product29_safe.cil.c unsafe 9.42 5.19 464781312 db3 24 143 40 207 106 14409 safe 4.16 2.37 151216128 db6 27 140 0 167 106 1774 safe 3.88 2.09 145805312 db6 27 0 0 27 106 1774 safe 4.59 2.54 146018304 db2 27 140 40 207 106 1889
benchmarks/product-lines/elevator_spec9_product31_safe.cil.c unsafe 11.01 7.03 502484992 barbados 24 136 63 223 104 15302 safe 4.31 2.28 154091520 db5 27 136 0 163 104 1979 safe 3.86 2.12 115380224 db5 27 0 0 27 104 1979 safe 5.04 2.67 190414848 db2 27 136 60 223 104 2120
benchmarks/product-lines/email_spec0_productSimulator_unsafe.cil.c unsafe 423.59 410.58 4510121984 db3 95 284 22 401 182 3353 timeout 896.77 863.26 4653862912 cs-sel-06 - - - - - - unsafe 56.47 43.49 2110550016 cs-sel-06 113 0 0 113 182 341510 unsafe 428.89 415.23 4563562496 db8 95 284 22 401 182 3353
benchmarks/product-lines/email_spec11_productSimulator_unsafe.cil.c unsafe 676.68 652.55 4426326016 db2 93 282 22 397 182 3338 timeout 897.27 863.46 4559417344 db4 - - - - - - unsafe 53.90 45.19 2126970880 db4 113 0 0 113 182 350148 unsafe 722.99 701.29 4555452416 db8 93 282 22 397 182 3338
benchmarks/product-lines/email_spec1_productSimulator_unsafe.cil.c timeout 896.71 870.85 4746166272 db8 - - - - - - unsafe 125.11 116.99 4446466048 db7 94 276 0 370 182 17671 unsafe 61.85 54.90 2449821696 db7 113 0 0 113 182 215166 timeout 896.75 871.10 4553003008 db6 - - - - - -
benchmarks/product-lines/email_spec27_productSimulator_unsafe.cil.c timeout 896.74 869.91 4525846528 db3 - - - - - - unsafe 177.38 167.91 4574322688 tortuga 100 286 0 386 182 22309 unsafe 61.61 52.32 1985024000 tortuga 113 0 0 113 182 211131 timeout 897.29 869.65 4420427776 cs-sel-05 - - - - - -
benchmarks/product-lines/email_spec3_productSimulator_unsafe.cil.c timeout 896.92 861.81 6984036352 db1 - - - - - - unsafe 132.88 124.31 4557103104 barbados 76 245 0 321 185 17428 unsafe 58.41 50.06 1965342720 barbados 75 0 0 75 185 193799 timeout 896.93 870.30 4554051584 db8 - - - - - -
benchmarks/product-lines/email_spec4_productSimulator_unsafe.cil.c timeout 896.86 869.25 4576460800 db1 - - - - - - unsafe 812.49 783.32 4802961408 db3 113 312 0 425 182 51121 unsafe 64.02 55.51 2454294528 db3 113 0 0 113 182 233108 timeout 896.67 869.80 4748402688 db2 - - - - - -
benchmarks/product-lines/email_spec6_productSimulator_unsafe.cil.c timeout 896.79 869.60 4642381824 db7 - - - - - - unsafe 327.78 315.58 4591808512 db1 114 316 0 430 185 36467 unsafe 59.95 53.02 1965731840 db1 114 0 0 114 185 219065 timeout 896.66 868.91 4751589376 db3 - - - - - -
benchmarks/product-lines/email_spec7_productSimulator_unsafe.cil.c timeout 896.77 869.54 4711612416 db1 - - - - - - unsafe 306.59 293.11 4617908224 db6 113 309 0 422 182 34899 unsafe 61.66 55.00 1973981184 db6 113 0 0 113 182 217126 timeout 897.15 868.08 4572495872 tortuga - - - - - -
benchmarks/product-lines/email_spec8_productSimulator_unsafe.cil.c timeout 896.85 866.89 4988751872 db6 - - - - - - unsafe 342.94 328.84 4573614080 cs-sel-06 114 312 0 426 185 37914 unsafe 61.03 54.39 1969287168 cs-sel-06 114 0 0 114 185 215928 timeout 897.26 867.80 4322934784 db7 - - - - - -
benchmarks/product-lines/email_spec9_productSimulator_unsafe.cil.c timeout 896.69 870.73 4571709440 db7 - - - - - - unsafe 370.32 356.41 4687998976 db7 114 312 0 426 185 37915 unsafe 59.55 52.78 1967726592 db7 114 0 0 114 185 215929 timeout 897.14 868.26 4426076160 tortuga - - - - - -
benchmarks/systemc/pc_sfifo_1_safe.cil.c timeout 896.73 830.33 5249765376 db7 - - - - - - timeout 897.12 875.08 4728111104 db8 - - - - - - unsafe 2.12 1.27 105287680 db8 7 0 0 7 26 204 timeout 896.88 831.30 4842008576 db5 - - - - - -
benchmarks/systemc/pc_sfifo_2_safe.cil.c timeout 896.95 817.48 5246980096 db3 - - - - - - timeout 897.30 829.46 5253038080 db6 - - - - - - unsafe 2.13 1.30 105717760 db6 11 0 0 11 32 202 timeout 896.95 812.23 5446078464 db8 - - - - - -
benchmarks/systemc/pipeline_safe.cil.c timeout 896.70 868.99 5001117696 db8 - - - - - - unsafe 6.86 3.42 232931328 tortuga 13 31 0 44 46 33529 unsafe 32.89 24.82 1450958848 tortuga 13 0 0 13 46 380737 timeout 896.85 867.98 4979613696 cs-sel-05 - - - - - -
benchmarks/systemc/token_ring.01_safe.cil.c safe 2.48 1.37 122114048 tortuga 17 25 2 44 33 573 unsafe 2.01 1.27 107139072 db2 12 22 0 34 33 370 unsafe 2.15 1.37 107114496 db2 12 0 0 12 33 432 safe 2.57 1.47 118956032 db4 17 25 2 44 33 573
benchmarks/systemc/token_ring.02_safe.cil.c safe 2.78 1.49 120205312 db3 19 33 2 54 41 803 unsafe 2.36 1.40 123904000 db5 14 30 0 44 41 540 unsafe 2.52 1.48 113631232 db5 14 0 0 14 41 1028 safe 2.78 1.50 125865984 db1 19 33 2 54 41 803
benchmarks/systemc/token_ring.03_safe.cil.c safe 2.97 1.52 126558208 cs-sel-05 21 41 2 64 49 1062 unsafe 2.64 1.50 128155648 db5 16 38 0 54 49 739 unsafe 2.93 1.65 117411840 db5 16 0 0 16 49 2432 safe 3.02 1.63 127418368 db2 21 41 2 64 49 1062
benchmarks/systemc/token_ring.04_safe.cil.c safe 3.10 1.69 121757696 db7 23 49 2 74 57 1350 unsafe 3.10 1.68 127356928 db8 18 46 0 64 57 967 unsafe 4.44 2.24 160223232 db8 18 0 0 18 57 5691 safe 3.08 1.69 128753664 db1 23 49 2 74 57 1350
benchmarks/systemc/token_ring.05_safe.cil.c safe 3.44 1.82 139436032 db6 25 57 2 84 65 1667 unsafe 3.19 1.71 131620864 db8 20 54 0 74 65 1224 unsafe 6.52 2.95 208568320 db8 20 0 0 20 65 13141 safe 3.51 1.88 147927040 db6 25 57 2 84 65 1667
benchmarks/systemc/token_ring.06_safe.cil.c safe 3.62 2.01 193998848 db6 27 65 2 94 73 2013 unsafe 3.41 1.81 142348288 db6 22 62 0 84 73 1510 unsafe 7.15 4.19 244260864 db6 22 0 0 22 73 29938 safe 3.93 2.28 207048704 db3 27 65 2 94 73 2013
benchmarks/systemc/token_ring.07_safe.cil.c safe 4.21 2.61 227950592 db6 29 73 2 104 81 2388 unsafe 3.61 2.01 148029440 db6 24 70 0 94 81 1825 unsafe 14.45 9.89 415412224 db6 24 0 0 24 81 67362 safe 4.56 2.91 217878528 db2 29 73 2 104 81 2388
benchmarks/systemc/token_ring.08_safe.cil.c safe 6.74 4.94 368132096 cs-sel-06 31 81 2 114 89 2792 unsafe 3.96 2.21 196976640 db7 26 78 0 104 89 2169 unsafe 38.17 32.97 1285500928 db7 26 0 0 26 89 149909 safe 6.19 4.49 383754240 db3 31 81 2 114 89 2792
benchmarks/systemc/token_ring.09_safe.cil.c safe 18.34 15.59 1255309312 db6 33 89 2 124 97 3225 unsafe 4.17 2.56 188432384 db3 28 86 0 114 97 2542 unsafe 142.90 135.98 2031620096 db3 28 0 0 28 97 330443 safe 18.66 15.91 1255768064 db8 33 89 2 124 97 3225
benchmarks/systemc/token_ring.10_safe.cil.c safe 47.48 42.50 1906434048 cs-sel-05 35 97 2 134 105 3687 unsafe 6.61 4.70 374013952 db1 30 94 0 124 105 2944 unsafe 667.68 644.40 2403287040 db1 30 0 0 30 105 722436 safe 52.02 48.13 2573230080 db7 35 97 2 134 105 3687
benchmarks/systemc/token_ring.11_safe.cil.c safe 216.60 207.51 4329230336 cs-sel-05 37 105 2 144 113 4178 unsafe 15.60 13.30 920559616 db7 32 102 0 134 113 3375 timeout 896.96 874.19 2948440064 db7 - - - - - - safe 255.06 245.47 5271359488 db6 37 105 2 144 113 4178
benchmarks/systemc/token_ring.12_safe.cil.c timeout 896.83 864.02 4723126272 db4 - - - - - - unsafe 50.00 46.08 2999730176 db8 34 110 0 144 121 3835 timeout 897.31 874.92 839544832 db8 - - - - - - timeout 897.29 862.82 4634476544 db4 - - - - - -
benchmarks/systemc/token_ring.13_safe.cil.c timeout 897.65 863.81 5069225984 cs-sel-05 - - - - - - unsafe 208.64 197.88 5309726720 db1 36 118 0 154 129 4324 timeout 897.08 881.99 615243776 db1 - - - - - - timeout 896.66 869.13 5339754496 db8 - - - - - -
benchmarks/systemc/pipeline_unsafe.cil.c timeout 897.31 865.61 4618309632 cs-sel-06 - - - - - - unsafe 6.72 3.29 209567744 db6 13 31 0 44 46 23605 unsafe 18.06 14.16 771129344 db6 13 0 0 13 46 220332 timeout 896.81 868.58 4848459776 db2 - - - - - -
benchmarks/systemc/token_ring.11_unsafe.cil.c unsafe 178.88 169.89 4411887616 db7 32 102 3 137 114 3374 unsafe 16.51 13.83 915578880 db1 32 102 0 134 114 3388 timeout 897.21 872.94 2941386752 db1 - - - - - - unsafe 193.70 184.95 5013102592 db7 32 102 3 137 114 3374
benchmarks/systemc/token_ring.12_unsafe.cil.c timeout 896.55 864.72 4660281344 db4 - - - - - - unsafe 50.60 46.77 2557497344 db7 34 110 0 144 122 3848 timeout 897.76 874.12 2593292288 db7 - - - - - - unsafe 824.11 781.94 7155359744 cs-sel-05 34 110 3 147 122 3834
benchmarks/systemc/token_ring.13_unsafe.cil.c timeout 896.74 867.01 6918053888 db4 - - - - - - unsafe 207.91 196.77 5181202432 db6 36 118 0 154 130 4337 timeout 897.22 882.08 615153664 db6 - - - - - - timeout 897.16 867.19 4697370624 db7 - - - - - -
benchmarks/systemc/token_ring.14_unsafe.cil.c timeout 896.82 859.39 7105753088 db8 - - - - - - unsafe 49.53 45.66 2584371200 db6 34 110 0 144 122 3844 timeout 897.15 873.22 867422208 db6 - - - - - - timeout 897.10 863.23 5198233600 db3 - - - - - -
benchmarks/systemc/token_ring.15_unsafe.cil.c timeout 896.77 865.68 7012397056 tortuga - - - - - - unsafe 189.18 180.52 4554035200 db5 36 118 0 154 130 4333 timeout 897.00 879.11 364023808 db5 - - - - - - timeout 896.92 864.42 7039750144 cs-sel-05 - - - - - -
benchmarks/systemc/transmitter.13_unsafe.cil.c unsafe 117.09 110.05 4420046848 db4 36 117 0 153 127 4023 unsafe 128.64 121.22 4752916480 db1 36 117 0 153 127 4023 timeout 897.36 880.61 378191872 db1 - - - - - - unsafe 133.12 125.79 4442820608 db6 36 117 0 153 127 4023
test/programs/ status cputime walltime memUsage host booleans discretes simple vars partitions reached set status cputime walltime memUsage host booleans discretes simple vars partitions reached set status cputime walltime memUsage host booleans discretes simple vars partitions reached set status cputime walltime memUsage host booleans discretes simple vars partitions reached set
total files 273 31704.54 29223.79 244555321344 4998 5153 2289 12440 42081 2959857 273 177289.26 170044.23 604355100672 2132 5981 8113 6898 1206175 273 178801.77 171806.04 533205671936 2099 2099 6368 5496026 273 180857.28 172893.98 651970494464 1508 3650 994 6152 6290 1300562
correct results 181 5221.65 4289.34 88510582784 4432 3508 1538 9478 35583 2289546 46 3470.18 3242.40 66723418112 1553 4767 6320 4458 1044919 54 999.78 794.28 36237799424 1815 1815 5393 3789928 60 3933.42 3606.50 58151448576 1394 3586 920 5900 5122 1210638
false negatives 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
false positives 46 304.56 169.87 12428906496 485 1595 653 2733 5153 189190 33 405.99 329.10 14338654208 579 1214 1793 2440 161256 21 943.27 874.70 9615265792 284 284 975 1706098 14 89.04 43.80 2723250176 114 64 74 252 1168 89924
score (273 files, max score: 504) 152 -56 12 54
Run set benchmark_HVC13_Set1.BDD-All benchmark_HVC13_Set2.BDD-IntEqBool benchmark_HVC13_Set2.BDD-IntBool benchmark_HVC13_Set3.BDD-IntAddEqBool