diff options
| author | Peter Wu <peter@lekensteyn.nl> | 2017-01-13 23:20:58 +0100 |
|---|---|---|
| committer | Peter Wu <peter@lekensteyn.nl> | 2017-01-13 23:20:58 +0100 |
| commit | 614dda5057dde417247110064361c5e91cd59954 (patch) | |
| tree | 51f9d80baea84e46213591d27c73f975a9cc175a /part2.tex | |
| parent | 39419fdf04115243868bd698f28df68d2cece381 (diff) | |
| download | 2IMF25-AR-614dda5057dde417247110064361c5e91cd59954.tar.gz | |
FoodDelivery: formatting to fit 1b on one page
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$ \\ |