Squashed commit of the following:

commit da421f14 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Thu May 17 13:39:29 2018 -0700 Fix status and add missing set-info :status. commit 47113996 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Tue May 15 19:40:38 2018 -0700 Update status of unknown check-sat calls.

Squashed commit of the following:
commit da421f14 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Thu May 17 13:39:29 2018 -0700 Fix status and add missing set-info :status. commit 47113996 Author: Mathias Preiner <mathias.preiner@gmail.com> Date: Tue May 15 19:40:38 2018 -0700 Update status of unknown check-sat calls.
4a9314f6 · Mathias Preiner · d17e4681 · 4a9314f6 · 4a9314f6 · 4a9314f6
Commit 4a9314f6 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