diff options
Diffstat (limited to 'part2.tex')
-rw-r--r-- | part2.tex | 10 |
1 files changed, 3 insertions, 7 deletions
@@ -242,13 +242,8 @@ forever. ] (benchmark test.smt :logic QF_UFLIA -:extrafuns ( -... -(s0_13 Int) (s1_13 Int) ... (s4_13 Int) (l13 Int) -(k0 Int) (k1 Int) -) -:formula (and -... +:extrafuns ( ... (k0 Int) (k1 Int)) +:formula (and ... (or (and (= k0 1) (= k1 2) (= l1 l2) (<= s0_1 s0_2) ... (<= s4_1 s4_2)) (and (= k0 1) (= k1 3) (= l1 l3) (<= s0_1 s0_3) ... (<= s4_1 s4_3)) ... @@ -258,6 +253,7 @@ forever. \begin{table}[H] \centering +\footnotesize \begin{tabular}{r|r|rrrr|c} & \multicolumn{4}{c}{Stock at location} & \\ $j$& T & A & B & C & D & $l_j$ \\ |