Tool CPAchecker trunk:18107 CPAchecker 1.4-svn 24ecead+ CPAchecker 1.4-svn 18152M
Limits timelimit: 60 s, memlimit: 3000 MB, CPU core limit: 2 timelimit: 60 s, memlimit: 3000 MB, CPU core limit: 1 timelimit: 60 s, memlimit: 3000 MB, CPU core limit: 2
Host [aal; aesche; aitel; babylon5; barbe; barsch; brachse; cayman*; cs-sel-05; cs-sel-06; deathstar; ds9; elysium; empoknor; excelsior; falcon; forelle; hausen; hecht; huchen; mt-farm01; mt-farm02; mt-farm03; mt-farm04; nervling; neunauge; node-*; saibling; saratoga; sovereign; tardis; voyager; zeus*] [mt-farm01; mt-farm02; mt-farm03; mt-farm04] node-*
OS [Linux 4.0.5-gentoo; Linux 3.13.0-66-generic; Linux 3.13.0-65-generic; Linux 3.13.0-55-generic; Linux 3.16.0-4-amd64; Linux 3.0.80-0.7-default] Linux 3.16.0-4-amd64 Linux 3.0.80-0.7-default
System CPU: [Intel Core i7-4790 @ 3.60 GHz; Intel Core i7-4770 @ 3.40 GHz; Intel Core i7-2600K @ 3.40 GHz; AMD Opteron 6380; Intel Xeon E7- 4870 @ 2.40 GHz; Intel Xeon E5-2650 v2 @ 2.60 GHz], cores: [8; 64; 80; 32], frequency: [3.6 GHz; 3.4 GHz; 2.5 GHz; 2.4 GHz; 2.6 GHz]; RAM: [16712 MB; 33644 MB; 16734 MB; 271006 MB; 1084131 MB; 1084266 MB; 1084265 MB; 948571 MB; 135150 MB] CPU: AMD Opteron 6380, cores: 64, frequency: 2.5 GHz; RAM: 271006 MB CPU: Intel Xeon E7- 4870 @ 2.40 GHz, cores: 80, frequency: 2.4 GHz; RAM: [1084265 MB; 1084131 MB; 1084266 MB; 948571 MB]
Date of execution 2015-10-20 13:55:32 CEST 2015-10-22 11:13:44 CEST 2015-10-23 13:48:29 CEST
Run set integration-predicateAnalysis integration-predicateAnalysis integration-predicateAnalysis
Options -noout -heap 2000M -predicateAnalysis -noout -heap 2000M -predicateAnalysis -noout -heap 2000M -predicateAnalysis
benchexec/tablegenerator/test_integration/results/test/programs/ status cputime (s) walltime (s) memory (MB) energy-core energy-cpu energy-external energy-uncore host status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) host
benchmarks/ntdrivers/floppy_true-unreach-call.i.cil.c unreach-call 43.4  26.8  746 zeus03 62.9  62.8  701 62.5  38.1  717 node-11
benchmarks/ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c unreach-call 47.2  30.5  691 node-10 61.9  65.2  669 61.2  41.5  674 node-22
benchmarks/ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c unreach-call 22.3  12.6  649 node-21 62.1  62.1  636 39.8  29.0  651 node-22
benchmarks/ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c unreach-call 34.1  24.6  679 zeus13 61.9  61.9  668 61.7  56.4  694 node-22
benchmarks/ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c unreach-call 56.9  43.3  707 node-20 61.9  61.8  679 61.6  55.7  700 node-01
benchmarks/ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c unreach-call 52.2  38.1  835 forelle 62.7  63.1  681 61.8  40.1  694 node-15
benchmarks/ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c unreach-call 43.4  30.9  698 zeus11 62.3  62.3  667 59.4  45.6  716 node-17
benchmarks/ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c unreach-call 33.3  21.5  686 zeus12 62.2  62.1  683 61.8  51.9  692 node-02
benchmarks/ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c unreach-call 45.9  32.7  744 zeus14 62.8  65.6  689 61.5  48.6  705 node-19
benchmarks/ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c unreach-call 34.0  22.4  680 zeus04 62.7  62.7  670 61.6  61.8  684 node-02
benchmarks/ssh-simplified/s3_clnt_1_true-unreach-call.cil.c unreach-call 36.3  22.3  685 node-25 59.6  59.6  669 62.5  39.6  716 node-06
benchmarks/ssh-simplified/s3_srvr_2_true-unreach-call.cil.c unreach-call 57.2  37.6  687 mt-farm03 62.1  65.1  677 49.4  28.4  692 node-25
benchmarks/ssh-simplified/s3_srvr_3_true-unreach-call.cil.c unreach-call 40.1  27.3  688 zeus04 62.0  62.0  668 61.7  42.2  681 node-08
benchmarks/ssh-simplified/s3_srvr_4_true-unreach-call.cil.c unreach-call 50.5  37.9  718 zeus18 62.1  62.0  683 61.4  56.1  678 node-01
benchmarks/loops/eureka_01_false-unreach-call.i unreach-call 34.5  20.6  720 zeus04 62.0  64.4  666 62.7  49.3  683 node-16
benchmarks/systemc/token_ring.05_false-unreach-call_false-termination.cil.c unreach-call 61.2  42.7  652 mt-farm02 62.6  62.6  651 28.0  17.6  673 node-24
benchmarks/systemc/token_ring.06_false-unreach-call_false-termination.cil.c unreach-call 43.2  29.8  677 node-08 62.4  62.4  661 42.9  30.1  680 node-13
benchmarks/systemc/token_ring.14_false-unreach-call_false-termination.cil.c unreach-call 63.0  63.0  668 60.9  46.9  740 node-24
benchmarks/systemc/toy1_false-unreach-call_false-termination.cil.c unreach-call 46.4  29.2  692 node-21 61.9  61.9  663 61.5  41.0  670 node-18
benchmarks/systemc/toy2_false-unreach-call_false-termination.cil.c unreach-call 19.3  12.2  758 -2596607 229057316 0 4172 cayman4 62.2  65.5  650 36.3  23.4  690 node-24
benchmarks/systemc/transmitter.08_false-unreach-call_false-termination.cil.c unreach-call 26.5  16.7  686 node-02 49.1  50.7  680 62.5  42.4  686 node-06
benchmarks/systemc/transmitter.09_false-unreach-call_false-termination.cil.c unreach-call 61.9  42.3  662 mt-farm02 55.3  55.2  682 63.3  60.5  695 node-07
benchmarks/systemc/transmitter.10_false-unreach-call_false-termination.cil.c unreach-call 44.8  30.4  697 node-09 62.5  62.4  673 46.8  30.2  685 node-25
benchmarks/systemc/transmitter.12_false-unreach-call_false-termination.cil.c unreach-call 34.0  25.6  804 barbe 62.1  62.0  687 61.1  47.2  731 node-13
benchmarks/systemc/kundu_true-unreach-call_false-termination.cil.c unreach-call 62.3  62.6  672 61.8  42.1  693 node-02
benchmarks/systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c unreach-call 41.4  27.7  692 node-21 62.5  62.5  675 38.6  21.5  697 node-24
benchmarks/systemc/token_ring.02_true-unreach-call_false-termination.cil.c unreach-call 47.7  43.9  706 node-21 61.8  61.7  659 45.6  32.6  708 node-24
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 38.5  22.0  846 node-08 63.5  63.4  836 38.4  21.2  843 node-25
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 58.6  31.9  907 node-18 62.7  62.6  831 62.3  40.2  841 node-10
benchmarks/ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 29.8  16.3  662 node-02 54.2  54.2  651 62.0  37.6  660 node-06
benchmarks/ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 62.5  39.2  661 mt-farm02 42.6  42.5  646 47.9  44.2  672 node-23
benchmarks/ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 27.5  16.2  708 zeus10 60.8  60.8  705 61.9  48.5  707 node-05
benchmarks/ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 38.0  22.0  993 cs-sel-06 65.8  65.8  806 62.3  59.3  791 node-07
benchexec/tablegenerator/test_integration/results/test/programs/ status cputime (s) walltime (s) memory (MB) energy-core energy-cpu energy-external energy-uncore host status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) host
total 31 1310 877 22400 -2596607 229057316 0 4172 33 2010 2020 22600 33 1830 1370 23200
    correct results 28 1130 753 20400 -2596607 229057316 0 4172 5 261 262 3330 11 473 324 7710
        correct true 17 741 507 12600 0 0 0 0 2 102 102 1320 5 241 172 3490
        correct false 11 387 246 7880 -2596607 229057316 0 4172 3 159 160 2010 6 232 152 4220
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
score (33 tasks, max score: 52) 45 7 16
Run set integration-predicateAnalysis integration-predicateAnalysis integration-predicateAnalysis