| Tool | CPAchecker 1.1-svn | ||||||||||||||||||||||||
| Limits | timelimit: 120 s, memlimit: 3000 MB | ||||||||||||||||||||||||
| System | host: pc-wehr-serv1 os: Linux 3.0.0-15-generic x86_64 cpu: Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz cores: 4, frequency: 3401 MHz, ram: 16408608 kB | ||||||||||||||||||||||||
| Date of run | 12-02-17.0841 | 12-02-17.0918 | 12-02-17.0954 | 12-02-17.1030 | 12-02-17.1107 | ||||||||||||||||||||
| Test set | integration-predicateAnalysis-abm | integration-predicateAnalysis-abm | integration-predicateAnalysis-abm | integration-predicateAnalysis-abm | integration-predicateAnalysis-abm | ||||||||||||||||||||
| branch | -r5630 | -r5631 | -r5639 | -r5643 | -r5647 | ||||||||||||||||||||
| Options | -noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min | -noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min | -noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min | -noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min | -noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min | ||||||||||||||||||||
| test/programs/benchmarks/ | status | cputime | walltime | total | cpa time | status | cputime | walltime | total | cpa time | status | cputime | walltime | total | cpa time | status | cputime | walltime | total | cpa time | status | cputime | walltime | total | cpa time |
| total files | 4 | 264.71 | 246.89 | 127.573 | 120.248 | 4 | 207.80 | 185.09 | 183.795 | 174.049 | 4 | 256.39 | 236.58 | 122.365 | 115.605 | 4 | 295.63 | 276.28 | 161.509 | 155.961 | 4 | 125.47 | 116.12 | 0 | 0 |
| correct results | 3 | 145.03 | 128.55 | 127.573 | 120.248 | 4 | 207.80 | 185.09 | 183.795 | 174.049 | 3 | 136.70 | 123.28 | 122.365 | 115.605 | 3 | 175.90 | 162.51 | 161.509 | 155.961 | 0 | 0 | 0 | 0 | 0 |
| 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 |
| false positives | 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 |
| score (4 files, max score: 8) | 6 | 8 | 6 | 6 | 0 | ||||||||||||||||||||
| locks/test_locks_10.c | safe | 1.92 | 1.08 | 0.832s | 0.234s | safe | 2.11 | 1.20 | 0.946s | 0.257s | safe | 2.01 | 1.13 | 0.892s | 0.245s | safe | 1.78 | 1.05 | 0.825s | 0.238s | - | - | - | - | - |
| systemc/kundu.cil.c | safe | 68.82 | 61.07 | 60.734s | 56.517s | safe | 68.40 | 60.94 | 60.598s | 57.260s | safe | 67.93 | 60.98 | 60.632s | 56.993s | safe | 67.70 | 61.01 | 60.648s | 57.315s | exception | 5.87 | 3.16 | - | - |
| systemc/mem_slave_tlm.4.cil.c | timeout | 119.68 | 118.34 | - | - | safe | 67.66 | 62.03 | 61.658s | 58.706s | timeout | 119.69 | 113.30 | - | - | timeout | 119.73 | 113.77 | - | - | - | - | - | - | - |
| systemc/toy.cil.c | safe | 74.29 | 66.40 | 66.007s | 63.497s | safe | 69.63 | 60.92 | 60.593s | 57.826s | safe | 66.76 | 61.17 | 60.841s | 58.367s | safe | 106.42 | 100.45 | 100.036s | 98.408s | timeout | 119.60 | 112.96 | - | - |