Fix status and add missing set-info :status.

da421f14 · Mathias Preiner · 47113996 · da421f14 · da421f14 · da421f14
Commit da421f14 authored May 17, 2018 by Mathias Preiner
--- a/20170501-Heizmann-UltimateAutomizer/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c.smt2
--- a/20170501-Heizmann-UltimateAutomizer/byte_add_1_true-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/byte_add_1_true-unreach-call_true-no-overflow.i.smt2
--- a/20170501-Heizmann-UltimateAutomizer/byte_add_2_true-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/byte_add_2_true-unreach-call_true-no-overflow.i.smt2
--- a/20170501-Heizmann-UltimateAutomizer/gcd02_true-unreach-call_true-no-overflow_true-termination.c.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/gcd02_true-unreach-call_true-no-overflow_true-termination.c.smt2
--- a/20170501-Heizmann-UltimateAutomizer/gcd_2_true-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/gcd_2_true-unreach-call_true-no-overflow.i.smt2
--- a/20170501-Heizmann-UltimateAutomizer/gcd_4_true-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/gcd_4_true-unreach-call_true-no-overflow.i.smt2
--- a/20170501-Heizmann-UltimateAutomizer/jain_1_true-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/jain_1_true-unreach-call_true-no-overflow.i.smt2
--- a/20170501-Heizmann-UltimateAutomizer/jain_2_true-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/jain_2_true-unreach-call_true-no-overflow.i.smt2
--- a/20170501-Heizmann-UltimateAutomizer/jain_4_true-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/jain_4_true-unreach-call_true-no-overflow.i.smt2
--- a/20170501-Heizmann-UltimateAutomizer/jain_6_true-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/jain_6_true-unreach-call_true-no-overflow.i.smt2
--- a/20170501-Heizmann-UltimateAutomizer/jain_7_true-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/jain_7_true-unreach-call_true-no-overflow.i.smt2
--- a/20170501-Heizmann-UltimateAutomizer/num_conversion_2_true-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/num_conversion_2_true-unreach-call_true-no-overflow.i.smt2
--- a/20170501-Heizmann-UltimateAutomizer/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c.smt2
--- a/20170501-Heizmann-UltimateAutomizer/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c.smt2
--- a/20170501-Heizmann-UltimateAutomizer/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c.smt2
--- a/20170501-Heizmann-UltimateAutomizer/sum02_false-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/sum02_false-unreach-call_true-no-overflow.i.smt2
--- a/20170501-Heizmann-UltimateAutomizer/sum02_true-unreach-call_true-no-overflow.i.smt2
+++ b/20170501-Heizmann-UltimateAutomizer/sum02_true-unreach-call_true-no-overflow.i.smt2