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
benchexec/tablegenerator/test_integration/results/ status category score cputime (s) walltime (s) memory status category score cputime (s) walltime (s) memory
ie-local-interpolant.smt2 missing .126   .128  19525632 missing .479 .487 45228032
other-cast-encoding.smt2 unknown .00909 .0100 4583424 error .193 .199 23822336
smtinterpol-NPE-LAInterpolor-color_unsat.smt2 error .0209  .0351 2883584 correct .769 .778 46264320
benchexec/tablegenerator/test_integration/results/ status category score cputime (s) walltime (s) memory status category score cputime (s) walltime (s) memory
total 3 .156 .173 26992640 3 1.44  1.46  115314688
    correct results 0 1 .769 .778 46264320
        correct true 0 0
        correct false 0 1 .769 .778 46264320
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set mathsat smtinterpol