Tool impara 0.45
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
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 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-13 07:41:14 CET [[ 2016-01-15 09:11:00 CET ]] [[ 2016-01-15 22:23:23 CET ]]
Run set sv-comp16.Simple
Options --eager --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/impara.2016-01-13_0741.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/impara.2016-01-13_0741.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
ntdrivers/cdaudio_false-unreach-call.i.cil.c error (8) 670    670    70 wit - -
ntdrivers/diskperf_false-unreach-call.i.cil.c error (8) .70 .70 45 wit - -
ntdrivers/floppy_false-unreach-call.i.cil.c true .52 .52 59 wit - -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c error (8) .39 .39 37 wit - -
ntdrivers/parport_false-unreach-call.i.cil.c witness timeout .94 .93 68 wit timeout 90 60 2400 true 43 26 740
ntdrivers/cdaudio_true-unreach-call.i.cil.c error (8) .85 .84 65 wit - -
ntdrivers/diskperf_true-unreach-call.i.cil.c error (8) .51 .51 46 wit - -
ntdrivers/floppy2_true-unreach-call.i.cil.c true 1.8  1.8  170 wit - -
ntdrivers/floppy_true-unreach-call.i.cil.c error (8) .73 .72 59 wit - -
ntdrivers/parport_true-unreach-call.i.cil.c error (8) .96 .96 67 wit - -
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c error (8) 8.7  8.7  33 wit - -
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c error (8) 8.8  8.8  33 wit - -
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c error (8) 8.9  8.9  33 wit - -
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c error (8) 8.7  8.7  33 wit - -
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c error (8) 8.8  8.8  33 wit - -
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c error (8) 8.9  8.9  33 wit - -
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c error (8) 7.9  7.9  34 wit - -
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c error (8) 9.1  9.1  33 wit - -
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c error (8) 8.0  8.0  34 wit - -
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c error (8) 8.1  8.1  34 wit - -
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c error (8) 7.9  7.9  35 wit - -
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c error (8) 8.9  8.9  33 wit - -
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c error (8) 8.8  8.8  33 wit - -
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c error (8) 8.4  8.4  33 wit - -
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c error (8) 8.7  8.8  33 wit - -
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c error (8) 8.6  8.6  33 wit - -
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c error (8) 8.7  8.7  34 wit - -
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c error (8) 8.7  8.7  35 wit - -
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c error (8) 8.3  8.3  34 wit - -
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c error (8) 8.6  8.6  35 wit - -
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c error (8) 9.1  9.1  33 wit - -
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c error (8) 8.8  8.8  35 wit - -
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c error (8) 9.0  9.0  36 wit - -
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c error (8) 8.7  8.7  33 wit - -
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c error (8) 8.7  8.7  33 wit - -
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c error (8) 8.5  8.5  33 wit - -
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c error (8) 8.9  8.9  33 wit - -
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c error (8) 9.1  9.1  33 wit - -
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c error (8) 9.1  9.1  33 wit - -
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c error (8) 8.7  8.7  33 wit - -
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c error (8) 8.9  8.9  33 wit - -
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c error (8) 9.0  9.0  33 wit - -
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c error (8) 9.0  9.0  33 wit - -
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c error (8) 8.5  8.5  33 wit - -
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c error (8) 8.9  8.9  33 wit - -
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c error (8) 7.9  7.9  34 wit - -
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
total tasks 46 990    990    1900 46 90   60   2400   46 43   26   740  
    correct results 1 1.8  1.8  170 0 0   0   0   0 0   0   0  
        correct true 1 1.8  1.8  170 0 0   0   0   0 0   0   0  
        correct false 0
    incorrect results 1 .52 .52 59 0 0   0   0   0 0   0   0  
        incorrect true 1 .52 .52 59 0 0   0   0   0 0   0   0  
        incorrect false 0
score (46 tasks, max score: 68) -30
Run set sv-comp16.Simple