Tool CPAchecker 1.4-svn
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 3.13.0-45-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Date of execution 15-02-20 21:42
Run set DOMAIN_BEST_SHALLOW.Loops DOMAIN_WORST_SHALLOW.Loops LONGEST.Loops SHORTEST.Loops
Options -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_BEST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_WORST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=LONGEST -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=SHORTEST
Propertyfile ${sourcefile_path}/ALL.prp
test/programs/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
loops/vogal_false-unreach-call.i timeout 901.513s 2 3 timeout 901.627s 2 3 false(reach) 4.962s 3 7 timeout 901.275s 2 3
loops/vogal_true-unreach-call.i timeout 901.568s 2 3 timeout 901.665s 2 3 unknown 53.347s 7 11 timeout 901.659s 2 3
test/programs/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
total tasks 2 1803.081 4 6 2 1803.292 4 6 2 58.309 10 18 2 1802.934 4 6
correct results 0 - - - 0 - - - 1 4.962 3 7 0 - - -
false negatives 0 - - - 0 - - - 0 - - - 0 - - -
false positives 0 - - - 0 - - - 0 - - - 0 - - -
false properties 0 - - - 0 - - - 0 - - - 0 - - -
score (2 tasks) 0 - - - 0 - - - 1 - - - 0 - - -
Run set DOMAIN_BEST_SHALLOW.Loops DOMAIN_WORST_SHALLOW.Loops LONGEST.Loops SHORTEST.Loops