Tool MathSAT 5.3.5 SMTInterpol 2.1-183-g4d3bb9f
Limits timelimit: 10 s, memlimit: 100 MB, CPU core limit: 1
Host tortuga
OS Linux 3.13.0-53-generic x86_64
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3401 MHz; RAM: 16389436 kB
Date of execution 2015-05-27 10:04:55 CEST 2015-05-27 10:04:27 CEST
Run set mathsat smtinterpol
status category score cputime (s) walltime (s) memUsage status category score cputime (s) walltime (s) memUsage
ie-local-interpolant.smt2 missing 0 .126   .128  19525632 missing 0 .479 .487 45228032
new-cast-encoding_sat.smt2 correct 0 .00897 .0116 5513216 correct 0 .214 .230 23986176
other-cast-encoding.smt2 unknown 0 .00909 .0100 4583424 error 0 .193 .199 23822336
smtinterpol-NPE-LAInterpolor-color_unsat.smt2 error 0 .0209  .0351 2883584 correct 0 .769 .778 46264320
status category score cputime (s) walltime (s) memUsage status category score cputime (s) walltime (s) memUsage
total 4 0 .165   .185  32505856 4 0 1.66  1.69  139300864
local summary .165   .819  1.66  2.32 
    correct results 1 0 .00897 .0116 5513216 2 0 .984 1.01  70250496
        correct true 1 0 .00897 .0116 5513216 1 0 .214 .230 23986176
        correct false 0 1 0 .769 .778 46264320
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set mathsat smtinterpol