For a short description on how gaps and integrals are calculated, refer to the documentation.

Instance comet@0 cupid@0 dancer@0 dasher@0 donner@0
name #Vars #Equs Dir Dual bound Primal bound TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol.
abel 31 15 min -- 2.251946e+02 normal 2.251946e+02 -- inf 0.00 10 5.80e-08dc normal 2.251946e+02 -- inf 0.00 8 1.40e-04dc normal 2.251946e+02 -- inf 0.01 1 3.07e-13dc normal 2.251946e+02 -- inf 0.02 1 2.91e-13dc normal 2.251946e+02 -- inf 0.01 30 1.16e-05dc
alkyl 15 8 min -1.765000e+00 -1.765000e+00 normal -1.765000e+00 0.00 inf 0.00 16 2.66e-10pc normal -1.764998e+00 0.00 inf 0.00 12 7.61e-06ps normal -1.765000e+00 0.00 inf 0.01 14 6.92e-10ps normal -1.765000e+00 0.00 inf 0.01 14 6.92e-10ps normal -1.765000e+00 0.00 inf 0.01 27 1.00e-06ps
alkylation 11 12 max 1.768807e+03 1.768807e+03 normal 1.768807e+03 0.00 inf 0.00 14 1.84e-08ds normal 1.768806e+03 0.00 inf 0.00 12 3.87e-04ds normal 1.768807e+03 0.00 inf 0.01 13 2.00e-07pc normal 1.768807e+03 0.00 inf 0.01 13 2.00e-07pc normal 1.768807e+03 0.00 inf 0.01 48 3.60e-04ps
arki0001 1031 514 min -- -- normal 4.071286e+01 -- inf 0.23 92 1.33e-08dc normal 4.071286e+01 -- inf 0.20 99 7.71e-05pc normal 4.071287e+01 -- inf 0.10 15 9.15e-09ps normal 4.071287e+01 -- inf 0.03 15 9.15e-09ps normal 4.071286e+01 -- inf 0.12 1154 5.22e-12ps
arki0002 2457 1977 min -- -- normal 1.080965e+00 -- inf 1.41 187 2.05e-08dc normal 1.084106e+00 -- inf 0.83 96 7.92e-04dc normal 1.872528e+00 -- inf 0.21 7 2.23e-09dc normal 1.872528e+00 -- inf 0.09 7 2.23e-09dc normal 1.075600e+00 -- inf 218.55 8842 3.75e-06dc
arki0003 2283 2583 min -- -- normal 3.795206e+03 -- inf 4.67 369 3.54e-08ps normal 3.795207e+03 -- inf 2.25 362 4.94e-04ps normal 3.795125e+03 -- inf 624.10 14064 1.27e-04ds normal 3.795206e+03 -- inf 44.64 1989 3.18e-03ds other inf -- inf 10.55 6406 8.21e+05dc
arki0004 2091 2082 min -- -- normal 3.234670e+02 -- inf 4.44 1948 1.45e-08ps normal 3.234670e+02 -- inf 3.16 1909 1.43e-04ps normal 3.277330e+02 -- inf 2.98 136 2.71e-02pc normal 3.234670e+02 -- inf 1.03 83 5.31e-09ps normal 3.234670e+02 -- inf 0.58 136 1.09e-04ps
arki0005 2371 5153 min -- -- normal 3.726740e+02 -- inf 23.70 665 2.88e-08ps normal 3.770898e+02 -- inf 45.94 1712 3.55e-03ps error inf -- inf -- -- -- error inf -- inf -- -- -- normal 3.726740e+02 -- inf 6.08 1447 1.24e-04pc
arki0006 2371 5153 min -- -- normal 4.551138e+00 -- inf 19.20 587 1.39e-09ps normal 4.556012e+00 -- inf 7.85 281 4.37e-03ps error inf -- inf -- -- -- error inf -- inf -- -- -- normal 4.571118e+00 -- inf 544.33 8845 2.27e-02pc
arki0007 4786 5046 min -- -- normal -- -- inf 4.08 490 1.00e+00ps normal -- -- inf 2.71 616 1.00e+00ps othrlim inf -- inf 14.79 229 -- othrlim inf -- inf 36.48 1155 -- othrlim inf -- inf 6.23 7598 1.97e+10dc
arki0008 5073 5021 min -- -- normal -- -- inf 20.18 1873 1.00e+00dc normal -- -- inf 6.61 1847 1.00e+00dc timelim inf -- inf 2446.91 1 6.32e+03pc normal -- -- inf 819.23 4756 1.00e+00dc normal -- -- inf 14.76 5910 3.46e+16dc
arki0009 7715 6708 min -- -- normal -2.070966e+05 -- inf 25.18 762 2.57e-08dc normal -- -- inf 3.07 158 2.93e+04pc normal -2.070966e+05 -- inf 12.41 138 5.38e-07ds normal -2.070966e+05 -- inf 17.32 137 1.36e-07pc normal -2.070966e+05 -- inf 536.35 57001 2.98e-03dc
arki0010 4145 3428 min -- -- normal -1.879087e+05 -- inf 2.95 411 2.82e-09dc normal -- -- inf 0.65 93 2.93e+04pc normal -1.879087e+05 -- inf 2.95 86 2.69e-05ds normal -1.879087e+05 -- inf 1.10 72 1.03e-06ps normal -1.879087e+05 -- inf 57.65 26339 2.59e-03dc
arki0011 19315 17738 min -- -- normal -2.240865e+05 -- inf 4.89 51 8.10e-08dc normal -2.240865e+05 -- inf 0.97 12 6.34e-03dc normal -2.240865e+05 -- inf 20.27 77 6.48e-07ds normal -2.240865e+05 -- inf 54.98 80 5.51e-06ds normal -2.240857e+05 -- inf 262.97 25388 1.15e-02dc
arki0012 19315 17738 min -- -- other inf -- inf 12.82 603 7.36e+03dc normal -- -- inf 18.22 788 7.61e+03dc normal -2.242524e+05 -- inf 46.31 156 3.48e-07ps normal -2.242524e+05 -- inf 59.32 134 3.60e-06ps timelim -2.238574e+05 -- inf 900.13 108449 2.91e+03dv
arki0013 19315 17738 min -- -- other inf -- inf 12.29 644 7.36e+03dc normal -- -- inf 20.49 772 7.75e+03dc normal -2.242531e+05 -- inf 44.95 152 2.07e-07ds normal -2.242531e+05 -- inf 64.42 136 1.22e-06ps normal -2.241674e+05 -- inf 858.77 56819 3.24e-02dv
arki0014 19306 17693 min -- -- other inf -- inf 15.48 750 2.46e+04pc other inf -- inf 20.38 917 3.70e+04pc normal -2.239770e+05 -- inf 33.27 117 9.95e-06ds normal -2.239770e+05 -- inf 54.63 116 1.02e-05ds timelim -2.238911e+05 -- inf 900.14 65713 4.23e-02dc
arki0015 2094 1497 min -- -- normal -2.717357e+02 -- inf 0.83 360 8.43e-08ps normal -2.717357e+02 -- inf 0.69 355 4.24e-04ps normal -2.669407e+02 -- inf 2.59 122 4.31e-10pc normal -2.669407e+02 -- inf 1.16 122 4.31e-10pc normal -2.722998e+02 -- inf 6.54 5561 1.26e-06ps
arki0016 5048 2947 min -- -- normal 8.679732e+02 -- inf 66.18 626 5.72e-08ps normal 8.679732e+02 -- inf 5.57 223 3.66e-01ps normal 8.679732e+02 -- inf 1.58 45 4.45e-07dc normal 8.679732e+02 -- inf 0.70 45 4.45e-07dc other 9.727782e+02 -- inf 5.71 6182 1.37e+01ps
arki0017 4333 2573 min -- -- normal -1.218331e+02 -- inf 8.98 248 6.73e-08dc normal -1.218331e+02 -- inf 4.85 163 1.69e-01dc normal -1.218331e+02 -- inf 1.08 30 8.43e-07dc normal -1.218331e+02 -- inf 0.39 30 8.43e-07dc timelim -9.497728e+01 -- inf 900.04 47750 3.44e+00dc
arki0018 9805 10 min -- -- normal 1.045662e-02 -- inf 1.06 466 3.44e-08dc normal 1.045662e-02 -- inf 0.99 464 9.71e-05dc normal 1.045662e-02 -- inf 0.49 9 1.00e-11ps normal 1.045662e-02 -- inf 0.33 9 1.00e-11ps other 1.117475e-01 -- inf 2.57 2085 4.59e+00dc
arki0019 511 3 min -- -- normal -1.754533e+01 -- inf 0.06 35 1.18e-09dc normal -1.754533e+01 -- inf 0.05 30 3.77e-04dc normal -1.754533e+01 -- inf 0.06 16 1.00e-11ps normal -1.754533e+01 -- inf 0.03 16 1.00e-11ps other -1.754504e+01 -- inf 3.33 3820 3.56e-02dc
arki0020 1263 3 min -- -- normal -4.107495e+01 -- inf 0.15 35 8.33e-10dc normal -4.107495e+01 -- inf 0.13 32 1.10e-04dc normal -4.107495e+01 -- inf 0.11 15 1.13e-11ps normal -4.107495e+01 -- inf 0.07 15 1.13e-11ps other -4.102356e+01 -- inf 0.52 1542 5.10e-03dc
arki0021 3188 3 min -- -- normal -7.258210e+01 -- inf 0.64 105 5.15e-08dc normal -7.258210e+01 -- inf 0.45 32 3.86e-04dc normal -7.258210e+01 -- inf 0.34 19 1.02e-11ps normal -7.258210e+01 -- inf 0.19 19 1.02e-11ps other -7.249838e+01 -- inf 2.76 3926 1.58e-02dc
arki0022 4153 3 min -- -- normal -8.709909e+01 -- inf 0.62 38 4.14e-08dc normal -8.709909e+01 -- inf 1.05 38 2.06e-05dc normal -8.709909e+01 -- inf 0.56 21 1.00e-11ps normal -8.709909e+01 -- inf 0.34 21 1.00e-11ps other -8.695339e+01 -- inf 5.92 5944 1.06e-01dc
arki0023 8887 3 min -- -- normal -1.536601e+02 -- inf 3.83 105 5.17e-09dc normal -1.536601e+02 -- inf 13.86 162 1.33e-04dc normal -1.536601e+02 -- inf 1.10 20 1.01e-11ps normal -1.536601e+02 -- inf 0.65 20 1.01e-11ps other -1.526734e+02 -- inf 12.09 7363 8.57e-01dc
arki0024 8677 26759 min -- -- normal -7.430380e+03 -- inf 9.12 144 6.09e-10ps normal -7.430380e+03 -- inf 3.45 84 4.69e-06pc error inf -- inf -- -- -- error inf -- inf -- -- -- other inf -- inf 594.69 240012 3.43e+07dc
bayes2_10 87 78 min -- -- normal 1.837518e-02 -- inf 0.04 56 1.47e-13pc normal 3.355087e-02 -- inf 0.01 35 3.08e-04ps normal 1.514378e-02 -- inf 0.13 94 8.38e-11ps normal 1.514378e-02 -- inf 0.09 89 8.34e-11pc normal 2.201299e+02 -- inf 0.07 955 1.22e-02ps
bayes2_20 87 78 min -- -- normal 3.143163e+01 -- inf 0.02 47 7.82e-14pc normal 3.143163e+01 -- inf 0.02 75 1.05e-10pc normal 1.289823e+00 -- inf 0.08 51 1.73e-10ps normal 1.289823e+00 -- inf 0.05 51 1.75e-10ps normal 1.336924e-02 -- inf 0.20 1447 4.05e-07pc
Instance comet@0 cupid@0 dancer@0 dasher@0 donner@0
name #Vars #Equs Dir Dual bound Primal bound TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol.
bayes2_30 87 78 min -- -- normal 7.856621e+00 -- inf 0.02 57 3.98e-11pc normal 2.512033e-01 -- inf 0.02 57 1.13e-07pc normal 7.856621e+00 -- inf 0.07 48 3.38e-10ps normal 7.856621e+00 -- inf 0.04 47 1.00e-09pc normal 2.511287e-01 -- inf 0.24 715 4.94e-05ps
bayes2_50 87 78 min -- -- normal 6.241224e+01 -- inf 0.04 131 8.18e-08pc normal 6.241224e+01 -- inf 0.03 133 3.55e-14pc normal 1.841386e+01 -- inf 0.06 44 9.50e-11pc normal 1.841386e+01 -- inf 0.04 44 9.50e-11pc normal 6.241224e+01 -- inf 0.08 442 1.17e-08ps
bearing 14 13 min 1.951732e+00 1.951732e+00 normal 1.951733e+00 0.00 inf 0.00 21 1.10e-13pc normal -- inf inf 0.00 13 1.00e+00ps normal 1.951733e+00 0.00 inf 0.01 21 8.73e-06pc normal 1.951733e+00 0.00 inf 0.01 21 8.73e-06pc normal 1.951641e+00 -0.00 inf 3.09 2227 1.08e-03pc
btest14 136 94 min -- -- normal -3.197751e+01 -- inf 0.01 23 2.74e-10ps normal -3.197751e+01 -- inf 0.01 19 3.24e+01dc normal -3.198172e+01 -- inf 0.21 108 1.00e-04pc normal -3.198172e+01 -- inf 0.11 106 1.00e-04pc normal -3.244144e+01 -- inf 0.07 420 5.83e-05dc
camcge 280 243 min -- -- normal -1.917346e+02 -- inf 0.01 7 7.96e-13pc normal -1.917346e+02 -- inf 0.01 7 1.71e-07pc normal -1.917346e+02 -- inf 0.01 3 1.31e-10ps normal -1.917346e+02 -- inf 0.01 3 3.12e-12dc normal -1.917346e+02 -- inf 0.02 96 2.77e-09pc
camshape100 200 201 min -- -- normal -4.284147e+00 -- inf 0.02 142 6.35e-15ps normal -4.284147e+00 -- inf 0.02 152 1.36e-14ps normal -4.284148e+00 -- inf 0.08 36 1.27e-09ps normal -4.284148e+00 -- inf 0.04 36 1.27e-09ps normal -4.284119e+00 -- inf 0.03 275 6.23e-05ps
camshape200 400 401 min -- -- normal -4.278500e+00 -- inf 0.02 21 5.53e-14ps normal -4.278500e+00 -- inf 0.02 21 5.55e-14ps normal -4.278502e+00 -- inf 0.19 49 3.55e-08ps normal -4.278502e+00 -- inf 0.08 48 3.55e-08ps normal -4.278496e+00 -- inf 0.06 573 4.50e-06ps
camshape400 800 801 min -- -- normal -4.275688e+00 -- inf 0.07 37 1.14e-13ps normal -4.275724e+00 -- inf 0.07 58 6.75e-07pc normal -4.275697e+00 -- inf 0.61 57 3.00e-10pc normal -4.275697e+00 -- inf 0.17 53 3.00e-10pc normal -4.275687e+00 -- inf 0.12 772 1.55e-06ps
camshape800 1600 1601 min -- -- normal -4.274274e+00 -- inf 0.27 45 3.91e-10pc normal -4.274274e+00 -- inf 0.20 56 2.22e-13ps normal -4.274307e+00 -- inf 3.72 58 3.00e-10pc normal -4.274307e+00 -- inf 0.31 58 3.00e-10pc normal -4.213026e+00 -- inf 0.50 1987 1.60e-03ps
catmix100 304 201 min -- -- normal -4.806939e-02 -- inf 0.03 32 5.12e-08ps normal -4.651044e-02 -- inf 0.01 6 4.30e-04ps normal -4.806941e-02 -- inf 0.07 29 7.17e-09dc normal -4.806941e-02 -- inf 0.04 29 7.17e-09dc normal -4.806939e-02 -- inf 0.23 206 3.61e-06dc
catmix200 604 401 min -- -- normal -4.805912e-02 -- inf 0.05 34 3.99e-08ps normal -4.697037e-02 -- inf 0.01 7 1.90e-04ps normal -4.805914e-02 -- inf 0.08 18 9.19e-09dc normal -4.805914e-02 -- inf 0.05 18 9.19e-09dc normal -4.805914e-02 -- inf 0.86 366 3.95e-06dc
catmix400 1204 801 min -- -- normal -4.805652e-02 -- inf 0.15 57 3.37e-08ps normal -3.695182e-02 -- inf 0.02 7 4.34e-04ps normal -4.805654e-02 -- inf 0.14 17 1.85e-09ps normal -4.805654e-02 -- inf 0.10 17 1.85e-09ps normal -4.805655e-02 -- inf 4.78 588 3.63e-06dc
catmix800 2404 1601 min -- -- normal -4.805584e-02 -- inf 0.39 61 1.82e-08ps normal -2.680341e-02 -- inf 0.03 4 3.75e-04ps normal -4.805590e-02 -- inf 0.29 15 3.16e-09dc normal -4.805590e-02 -- inf 0.20 15 3.16e-09dc normal -4.805369e-02 -- inf 5.09 970 2.66e-06dc
chain100 203 102 min -- -- normal 5.069785e+00 -- inf 0.01 17 1.95e-08dc normal 5.070902e+00 -- inf 0.01 12 3.19e-04dc normal 5.069785e+00 -- inf 0.01 7 2.76e-12pc normal 5.069785e+00 -- inf 0.01 7 2.76e-12pc normal 5.069785e+00 -- inf 0.42 313 2.59e-06dc
chain200 403 202 min -- -- normal 5.068917e+00 -- inf 0.04 17 1.69e-08dc normal 5.077497e+00 -- inf 0.02 8 1.56e-04dc normal 5.068917e+00 -- inf 0.02 7 5.18e-10pc normal 5.068917e+00 -- inf 0.01 7 5.18e-10pc normal 5.068917e+00 -- inf 1.45 493 3.98e-06dc
chain25 103 52 min -- -- normal 5.072261e+00 -- inf 0.01 17 3.37e-08dc normal 5.072424e+00 -- inf 0.01 12 1.37e-04dc normal 5.072261e+00 -- inf 0.01 7 2.58e-14pc normal 5.072261e+00 -- inf 0.01 7 2.49e-14pc normal 5.072262e+00 -- inf 0.18 273 3.97e-06dc
chain400 803 402 min -- -- normal 5.068622e+00 -- inf 0.14 21 1.85e-08dc normal 5.074452e+00 -- inf 0.08 14 3.30e-04dc normal 5.068622e+00 -- inf 0.04 7 7.08e-09pc normal 5.068622e+00 -- inf 0.02 7 7.08e-09pc normal 5.068623e+00 -- inf 4.80 812 3.93e-06dc
chain50 103 52 min -- -- normal 5.072261e+00 -- inf 0.01 17 3.37e-08dc normal 5.072424e+00 -- inf 0.01 12 1.37e-04dc normal 5.072261e+00 -- inf 0.01 7 2.58e-14pc normal 5.072261e+00 -- inf 0.01 7 2.49e-14pc normal 5.072262e+00 -- inf 0.19 273 3.97e-06dc
chakra 63 42 min -- -- normal -1.791336e+02 -- inf 0.00 14 2.03e-09dc normal -1.791336e+02 -- inf 0.00 12 7.00e-05ps normal -1.791336e+02 -- inf 0.01 6 2.38e-10pc normal -1.791336e+02 -- inf 0.01 6 2.38e-10pc normal -1.791336e+02 -- inf 0.03 79 5.39e-06ps
chance 5 4 min 2.989438e+01 2.989438e+01 normal 2.989438e+01 0.00 inf 0.00 8 4.10e-09pc normal 2.989438e+01 -0.00 inf 0.00 7 2.67e-06pc normal 2.989438e+01 0.00 inf 0.00 5 1.22e-09pc normal 2.989438e+01 0.00 inf 0.01 5 1.22e-09pc normal 2.989438e+01 0.00 inf 0.01 3 1.03e-09pc
chem 12 5 min -- -4.770651e+01 normal -4.770651e+01 -- inf 0.00 16 3.30e-10ps normal -4.770651e+01 -- inf 0.00 15 1.15e-05dc normal -4.770651e+01 -- inf 0.01 15 1.23e-11pc normal -4.770651e+01 -- inf 0.01 15 1.23e-11pc normal -4.770651e+01 -- inf 0.01 35 2.33e-06dc
chenery 44 39 min -- -- normal -1.058920e+03 -- inf 0.00 22 3.50e-09ds normal -1.058920e+03 -- inf 0.00 18 6.33e-05pc normal -1.058920e+03 -- inf 0.02 25 2.92e-09ps normal -1.058920e+03 -- inf 0.01 25 2.92e-09ps normal -1.058920e+03 -- inf 0.03 179 1.36e-03ps
circle 3 10 min 4.574248e+00 4.574248e+00 normal 4.574248e+00 0.00 inf 0.00 6 1.05e-15ds normal 4.574248e+00 0.00 inf 0.00 6 7.30e-11ds normal 4.574248e+00 0.00 inf 0.01 7 2.26e-08ds normal 4.574248e+00 0.00 inf 0.00 7 2.26e-08ds normal 4.574330e+00 0.00 inf 0.01 5 3.96e-05ds
demo7 71 58 min -- -1.589042e+06 normal -1.589042e+06 -- inf 0.01 42 3.64e-11pc normal -1.589042e+06 -- inf 0.01 38 7.04e-08ds normal -1.589042e+06 -- inf 0.03 25 3.00e-05pc normal -1.589042e+06 -- inf 0.02 25 3.00e-05pc normal -1.589042e+06 -- inf 0.02 138 8.90e-05ps
dispatch 5 3 min 3.155288e+03 3.155288e+03 normal 3.155288e+03 0.00 inf 0.00 8 1.78e-15ps normal 3.155288e+03 0.00 inf 0.00 7 4.15e-07ps normal 3.155288e+03 0.00 inf 0.01 14 1.91e-08pc normal 3.155288e+03 0.00 inf 0.01 14 1.91e-08pc normal 3.155288e+03 -0.00 inf 0.01 9 8.94e-06pc
elec100 301 101 min -- -- normal 4.448410e+03 -- inf 0.84 62 7.22e-08dc normal 4.448351e+03 -- inf 1.37 82 4.84e-04dc normal 4.448410e+03 -- inf 6.09 184 1.26e-12dc normal 4.448351e+03 -- inf 6.88 152 1.52e-11dc normal 4.448410e+03 -- inf 2.09 379 3.81e-05dc
elec200 601 201 min -- -- normal 1.843907e+04 -- inf 5.59 83 6.09e-08dc normal 1.843910e+04 -- inf 9.40 153 3.27e-04dc normal 1.843927e+04 -- inf 16.85 103 1.87e-09dc normal 1.843927e+04 -- inf 27.80 103 1.87e-09dc normal 1.843899e+04 -- inf 17.98 698 8.69e-05dc
elec25 76 26 min -- -- normal 2.438128e+02 -- inf 0.04 33 4.91e-08dc normal 2.438128e+02 -- inf 0.03 28 3.39e-04dc normal 2.438128e+02 -- inf 0.12 48 1.12e-10dc normal 2.438128e+02 -- inf 0.12 48 1.12e-10dc normal 2.438128e+02 -- inf 0.18 166 4.55e-06dc
elec50 151 51 min -- -- normal 1.055182e+03 -- inf 0.14 37 7.64e-08dc normal 1.055182e+03 -- inf 0.16 47 3.10e-04dc normal 1.055182e+03 -- inf 0.66 88 1.06e-12dc normal 1.055182e+03 -- inf 0.76 88 1.03e-12dc normal 1.055182e+03 -- inf 0.31 206 2.28e-05dc
etamac 98 71 min -- -- normal -1.529468e+01 -- inf 0.01 23 1.89e-08dc normal -1.529467e+01 -- inf 0.01 22 2.25e-04dc normal -1.529468e+01 -- inf 0.02 12 7.24e-11pc normal -1.529468e+01 -- inf 0.01 12 7.24e-11pc normal -1.529468e+01 -- inf 0.03 124 3.18e-06ps
Instance comet@0 cupid@0 dancer@0 dasher@0 donner@0
name #Vars #Equs Dir Dual bound Primal bound TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol.
ex14_1_1 4 5 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 14 1.34e-06pc normal 0.000000e+00 0.00 inf 0.00 9 6.03e-03pc normal -6.341220e-10 0.00 inf 0.00 5 1.14e-09pc normal -6.341211e-10 0.00 inf 0.00 5 1.14e-09pc normal 0.000000e+00 0.00 inf 0.01 1 1.24e-09pc
ex14_1_2 7 10 min 0.000000e+00 0.000000e+00 normal -8.679971e-14 0.00 inf 0.00 15 2.84e-08pc normal 9.302325e-01 inf inf 0.00 5 4.18e-04ps normal -1.999586e-11 0.00 inf 0.02 37 2.36e-11pc normal -1.999590e-11 0.00 inf 0.02 37 2.36e-11pc normal -2.244298e-17 0.00 inf 0.01 41 4.69e-10pc
ex14_1_3 4 5 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 11 3.66e-08pc normal 0.000000e+00 0.00 inf 0.00 11 3.41e-04pc normal -6.106018e-11 0.00 inf 0.01 27 8.43e-11pc normal -6.001977e-11 0.00 inf 0.01 27 7.85e-11pc normal -2.168404e-18 0.00 inf 0.01 19 2.06e-06pc
ex14_1_4 4 5 min -- -- normal 0.000000e+00 -- inf 0.00 5 5.75e-08pc normal 0.000000e+00 -- inf 0.00 5 1.83e-04pc normal -6.153271e-11 -- inf 0.01 16 6.20e-11pc normal -6.153271e-11 -- inf 0.01 16 6.20e-11pc normal -3.469447e-18 -- inf 0.01 5 9.58e-09pc
ex14_1_5 7 7 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 6 9.20e-08pc normal 0.000000e+00 0.00 inf 0.00 6 2.50e-04pc normal -6.668049e-11 0.00 inf 0.01 7 1.16e-10ps normal -6.668041e-11 0.00 inf 0.00 7 1.16e-10ps normal 1.110223e-16 0.00 inf 0.01 4 3.47e-08pc
ex14_1_6 10 16 min 0.000000e+00 0.000000e+00 normal 1.000000e+00 inf inf 0.00 7 5.55e-17pc normal 1.000000e+00 inf inf 0.00 7 5.55e-17pc normal 1.000000e+00 inf inf 0.01 17 8.74e-09ds normal 1.000000e+00 inf inf 0.01 17 8.74e-09ds normal 1.000000e+00 inf inf 0.01 3 2.22e-16dc
ex14_1_7 11 18 min -- -- normal 7.042749e+00 -- inf 0.00 6 2.84e-14pc normal 7.042749e+00 -- inf 0.00 6 2.84e-14pc normal 1.349902e-01 -- inf 0.03 35 2.07e-08pc normal 1.349902e-01 -- inf 0.02 35 2.07e-08pc normal 7.042749e+00 -- inf 0.01 3 1.05e-14ds
ex14_1_8 4 5 min 0.000000e+00 0.000000e+00 normal 4.141589e-02 inf inf 0.00 11 1.62e-08ps normal 4.141592e-02 inf inf 0.00 10 1.90e-06ps normal 4.141589e-02 inf inf 0.01 8 8.17e-11pc normal 4.141589e-02 inf inf 0.00 8 8.17e-11pc normal 4.141589e-02 inf inf 0.01 12 2.93e-08ps
ex14_1_9 3 3 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 5 4.79e-08pc normal 0.000000e+00 0.00 inf 0.00 5 2.11e-04pc normal -7.999978e-11 0.00 inf 0.01 9 8.00e-11pc normal -7.999969e-11 0.00 inf 0.01 9 8.00e-11pc normal 0.000000e+00 0.00 inf 0.01 4 1.12e-04pc
ex14_2_1 6 8 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 7 1.92e-08pc normal 0.000000e+00 0.00 inf 0.00 5 1.66e-04pc normal 0.000000e+00 0.00 inf 0.01 8 2.32e-10pc normal 0.000000e+00 0.00 inf 0.01 8 2.32e-10pc normal -1.168274e-15 0.00 inf 0.01 5 5.40e-08pc
ex14_2_2 5 6 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 7 9.35e-11pc normal 0.000000e+00 0.00 inf 0.00 4 9.95e-04pc normal 0.000000e+00 0.00 inf 0.01 8 4.76e-12pc normal 0.000000e+00 0.00 inf 0.00 8 6.25e-11pc normal 0.000000e+00 0.00 inf 0.01 3 4.64e-07pc
ex14_2_3 7 10 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 7 1.78e-15pc normal 0.000000e+00 0.00 inf 0.00 4 5.27e-04pc normal 0.000000e+00 0.00 inf 0.01 5 8.99e-12ps normal 0.000000e+00 0.00 inf 0.00 5 8.99e-12ps normal -5.615828e-17 0.00 inf 0.01 6 5.70e-07dv
ex14_2_4 6 8 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 8 9.17e-10pc normal 0.000000e+00 0.00 inf 0.00 4 1.68e-03pc normal 8.073034e-12 0.00 inf 0.01 5 9.00e-10pc normal 8.073034e-12 0.00 inf 0.01 5 9.00e-10pc normal -2.475776e-16 0.00 inf 0.01 4 9.74e-07dv
ex14_2_5 5 6 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 8 3.33e-07pc normal 0.000000e+00 0.00 inf 0.00 9 2.02e-04pc normal 9.651949e-09 inf inf 0.01 7 6.91e-09ps normal 9.651949e-09 inf inf 0.00 7 6.91e-09ps normal -8.326673e-17 0.00 inf 0.01 5 9.14e-10pc
ex14_2_6 6 8 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 8 6.75e-11pc normal 0.000000e+00 0.00 inf 0.00 4 5.54e-04pc normal 0.000000e+00 0.00 inf 0.01 9 2.45e-10pc normal 0.000000e+00 0.00 inf 0.01 10 9.70e-11pc normal 0.000000e+00 0.00 inf 0.01 5 9.64e-07dv
ex14_2_7 7 10 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 6 3.20e-10pc normal 0.000000e+00 0.00 inf 0.00 5 6.93e-07pc normal 0.000000e+00 0.00 inf 0.01 5 3.07e-11pc normal 0.000000e+00 0.00 inf 0.01 5 3.07e-11pc normal -5.095750e-17 0.00 inf 0.01 6 3.03e-06dv
ex14_2_8 5 6 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 5 1.90e-10pc normal 0.000000e+00 0.00 inf 0.00 4 4.00e-05pc normal 0.000000e+00 0.00 inf 0.00 5 8.91e-12ps normal 0.000000e+00 0.00 inf 0.00 5 8.91e-12ps normal 0.000000e+00 0.00 inf 0.01 3 1.42e-09dv
ex14_2_9 5 6 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 5 1.05e-08pc normal 0.000000e+00 0.00 inf 0.00 4 1.65e-04pc normal 2.675445e-11 0.00 inf 0.01 8 6.68e-10pc normal 0.000000e+00 0.00 inf 0.00 8 1.06e-11pc normal 0.000000e+00 0.00 inf 0.01 3 3.10e-08dv
ex2_1_1 6 2 min -1.700000e+01 -1.700000e+01 normal -1.700000e+01 0.00 inf 0.00 4 0.00e+00pv normal -1.700000e+01 0.00 inf 0.00 4 0.00e+00pv normal -1.700000e+01 0.00 inf 0.01 6 2.85e-09ps normal -1.700000e+01 0.00 inf 0.01 6 2.85e-09ps normal -1.700000e+01 0.00 inf 0.01 0 0.00e+00pv
ex2_1_10 21 11 min 4.931802e+04 4.931802e+04 normal 4.931802e+04 -0.00 inf 0.00 8 5.68e-14pc normal 4.931802e+04 -0.00 inf 0.00 8 5.68e-14pc normal 4.931802e+04 -0.00 inf 0.02 30 5.40e-08pc normal 4.931802e+04 -0.00 inf 0.02 30 5.40e-08pc normal 4.931802e+04 -0.00 inf 0.01 23 1.82e-12ps
ex2_1_2 7 3 min -2.130000e+02 -2.130000e+02 normal -2.130000e+02 0.00 inf 0.00 4 0.00e+00pv normal -2.130000e+02 0.00 inf 0.00 4 0.00e+00pv normal -2.130000e+02 -0.00 inf 0.01 7 3.99e-09pc normal -2.130000e+02 -0.00 inf 0.00 7 3.99e-09pc normal -2.130000e+02 0.00 inf 0.01 1 1.78e-15dc
ex2_1_3 14 10 min -1.500000e+01 -1.500000e+01 normal -1.500000e+01 0.00 inf 0.00 4 0.00e+00pv normal -1.500000e+01 0.00 inf 0.00 4 0.00e+00pv normal -1.500000e+01 0.00 inf 0.01 7 5.91e-10pc normal -1.500000e+01 0.00 inf 0.00 7 5.91e-10pc normal -1.500000e+01 0.00 inf 0.01 6 0.00e+00pv
ex2_1_4 7 6 min -1.100000e+01 -1.100000e+01 normal -1.100000e+01 0.00 inf 0.00 4 0.00e+00pv normal -1.100000e+01 0.00 inf 0.00 4 0.00e+00pv normal -1.100000e+01 -0.00 inf 0.00 5 2.57e-09pc normal -1.100000e+01 -0.00 inf 0.00 5 2.57e-09pc normal -1.100000e+01 0.00 inf 0.01 2 2.22e-16dc
ex2_1_5 11 12 min -2.680146e+02 -2.680146e+02 normal -2.680146e+02 -0.00 inf 0.00 5 2.54e-15ps normal -2.680146e+02 -0.00 inf 0.00 4 2.54e-15ps normal -2.680146e+02 -0.00 inf 0.01 7 4.59e-09pc normal -2.680146e+02 -0.00 inf 0.01 7 4.59e-09pc normal -2.680146e+02 -0.00 inf 0.01 3 2.29e-14ps
ex2_1_6 11 6 min -3.900000e+01 -3.900000e+01 normal -3.900000e+01 0.00 inf 0.00 4 0.00e+00pv normal -3.900000e+01 0.00 inf 0.00 4 0.00e+00pv normal -3.900000e+01 0.00 inf 0.01 8 1.00e-11ds normal -3.900000e+01 0.00 inf 0.00 8 1.00e-11ds normal -3.900000e+01 0.00 inf 0.01 0 0.00e+00pv
ex2_1_7 21 11 min -4.150410e+03 -4.150410e+03 normal -4.150410e+03 -0.00 inf 0.00 5 3.41e-13dc normal -4.150410e+03 -0.00 inf 0.00 4 3.41e-13dc normal -4.150410e+03 -0.00 inf 0.01 6 7.55e-09ds normal -4.150410e+03 -0.00 inf 0.00 6 7.55e-09ds normal -4.150410e+03 -0.00 inf 0.01 9 1.71e-13dc
ex2_1_8 25 11 min 1.563900e+04 1.563900e+04 normal 2.528700e+04 61.69 inf 0.00 6 0.00e+00pv normal 2.528700e+04 61.69 inf 0.00 6 0.00e+00pv normal 1.634830e+04 4.54 inf 0.02 23 5.00e-10pc normal 1.563900e+04 -0.00 inf 0.01 16 5.00e-10pc normal 2.528700e+04 61.69 inf 0.01 6 2.84e-13ps
ex2_1_9 11 2 min -3.750000e-01 -3.750000e-01 normal -3.750000e-01 0.00 inf 0.00 4 0.00e+00pv normal -3.750000e-01 0.00 inf 0.00 4 0.00e+00pv normal -3.750000e-01 0.00 inf 0.00 4 4.24e-10pc normal -3.750000e-01 0.00 inf 0.00 4 4.24e-10pc normal -3.750000e-01 0.00 inf 0.01 1 1.11e-16dc
ex3_1_1 9 7 min 7.049248e+03 7.049248e+03 normal 7.049248e+03 0.00 inf 0.00 13 1.16e-08pc normal 7.049248e+03 0.00 inf 0.00 13 1.12e-08ps normal 7.049248e+03 0.00 inf 0.01 6 1.21e-04pc normal 7.049248e+03 0.00 inf 0.00 6 1.21e-04pc normal 7.049248e+03 0.00 inf 0.01 7 9.02e-05ps
ex3_1_2 6 7 min -3.066554e+04 -3.066554e+04 normal -3.066554e+04 0.00 inf 0.00 4 2.67e-12pc normal -3.066554e+04 0.00 inf 0.00 4 2.67e-12pc normal -3.066554e+04 0.00 inf 0.01 7 1.41e-08ps normal -3.066554e+04 0.00 inf 0.00 7 1.41e-08ps normal -3.066554e+04 0.00 inf 0.01 3 4.13e-10ps
Instance comet@0 cupid@0 dancer@0 dasher@0 donner@0
name #Vars #Equs Dir Dual bound Primal bound TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol.
ex3_1_3 7 7 min -3.100000e+02 -3.100000e+02 normal -3.100000e+02 0.00 inf 0.00 4 1.42e-14ps normal -3.100000e+02 0.00 inf 0.00 4 1.42e-14ps normal -3.100000e+02 -0.00 inf 0.01 8 5.96e-10pc normal -3.100000e+02 -0.00 inf 0.00 8 5.96e-10pc normal -3.100000e+02 0.00 inf 0.01 2 2.84e-14dc
ex3_1_4 4 4 min -4.000000e+00 -4.000000e+00 normal -4.000000e+00 0.00 inf 0.00 4 0.00e+00pv normal -4.000000e+00 0.00 inf 0.00 4 0.00e+00pv normal -4.000000e+00 -0.00 inf 0.00 5 2.59e-09pc normal -4.000000e+00 -0.00 inf 0.00 5 2.59e-09pc normal -4.000000e+00 0.00 inf 0.01 0 0.00e+00pv
ex4_1_1 2 1 min -7.487300e+00 -7.487300e+00 normal -7.487312e+00 -0.00 inf 0.00 11 1.10e-09ps normal -7.487312e+00 -0.00 inf 0.00 10 2.01e-04ps normal -5.199781e-01 Large inf 0.01 14 1.13e-05ps normal -5.199781e-01 Large inf 0.01 14 1.13e-05ps normal -5.199781e-01 Large inf 0.01 8 3.61e-07ps
ex4_1_2 2 1 min -6.635001e+02 -6.635001e+02 normal -6.635001e+02 0.00 inf 0.00 7 7.94e-13ps normal -6.635001e+02 0.00 inf 0.00 6 7.89e-06ps normal -6.635001e+02 0.00 inf 0.00 4 7.55e-12ps normal -6.635001e+02 0.00 inf 0.00 4 7.55e-12ps normal -6.635001e+02 0.00 inf 0.01 2 7.73e-08ps
ex4_1_3 2 1 min -4.436717e+02 -4.436717e+02 normal -4.436717e+02 -0.00 inf 0.00 5 1.64e-08ps normal -4.436717e+02 -0.00 inf 0.00 4 3.72e-05ps normal -4.436717e+02 -0.00 inf 0.00 5 7.47e-13ps normal -4.436717e+02 -0.00 inf 0.00 5 7.47e-13ps normal -4.436717e+02 -0.00 inf 0.01 4 3.63e-09ps
ex4_1_4 2 1 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 4 0.00e+00pv normal 0.000000e+00 0.00 inf 0.00 4 0.00e+00pv normal 0.000000e+00 0.00 inf 0.01 17 1.73e-10ps normal 0.000000e+00 0.00 inf 0.01 17 1.73e-10ps normal 0.000000e+00 0.00 inf 0.01 0 0.00e+00pv
ex4_1_5 3 1 min -- 0.000000e+00 normal 0.000000e+00 -- inf 0.00 4 0.00e+00pv normal 0.000000e+00 -- inf 0.00 4 0.00e+00pv normal 9.444158e-21 -- inf 0.00 7 1.82e-10ps normal 9.444158e-21 -- inf 0.00 7 1.82e-10ps normal 0.000000e+00 -- inf 0.01 0 0.00e+00pv
ex4_1_6 2 1 min 7.000000e+00 7.000000e+00 normal 7.000000e+00 0.00 inf 0.00 4 0.00e+00pv normal 7.000000e+00 0.00 inf 0.00 4 0.00e+00pv normal 7.000000e+00 0.00 inf 0.01 9 8.05e-09ps normal 7.000000e+00 0.00 inf 0.00 9 8.05e-09ps normal 7.000000e+00 0.00 inf 0.01 0 0.00e+00pv
ex4_1_7 2 1 min -7.500000e+00 -7.500000e+00 normal -7.500000e+00 0.00 inf 0.00 4 0.00e+00pv normal -7.500000e+00 0.00 inf 0.00 4 0.00e+00pv normal -7.500000e+00 0.00 inf 0.00 7 7.58e-11ps normal -7.500000e+00 0.00 inf 0.00 7 7.58e-11ps normal -7.500000e+00 0.00 inf 0.01 0 0.00e+00pv
ex4_1_8 3 2 min -1.673890e+01 -1.673890e+01 normal -1.673889e+01 0.00 inf 0.00 8 2.81e-08ps normal -1.673889e+01 0.00 inf 0.00 4 2.11e-04ps normal -1.673889e+01 0.00 inf 0.00 4 4.41e-12ps normal -1.673889e+01 0.00 inf 0.00 4 4.41e-12ps normal -1.673889e+01 0.00 inf 0.01 4 7.85e-06ps
ex4_1_9 3 3 min -5.508000e+00 -5.508000e+00 normal -5.508013e+00 -0.00 inf 0.00 5 5.34e-10pc normal -5.508013e+00 -0.00 inf 0.00 4 2.20e-09pc normal -5.508013e+00 -0.00 inf 0.00 4 3.50e-09ps normal -5.508013e+00 -0.00 inf 0.00 4 3.50e-09ps normal -5.508013e+00 -0.00 inf 0.01 1 2.20e-09pc
ex5_2_2_case1 10 7 min -4.000000e+02 -4.000000e+02 normal 0.000000e+00 inf inf 0.00 4 0.00e+00pv normal 0.000000e+00 inf inf 0.00 4 0.00e+00pv normal -1.000000e+02 300.00 inf 0.02 36 2.44e-08pc normal -1.000000e+02 300.00 inf 0.01 36 2.44e-08pc normal -0.000000e+00 inf inf 0.01 3 1.07e-14ps
ex5_2_2_case2 10 7 min -6.000000e+02 -6.000000e+02 normal 0.000000e+00 inf inf 0.00 4 0.00e+00pv normal 0.000000e+00 inf inf 0.00 4 0.00e+00pv normal -4.000000e+02 50.00 inf 0.02 32 3.00e-08pc normal -4.000000e+02 50.00 inf 0.01 32 3.00e-08pc normal -0.000000e+00 inf inf 0.01 3 1.07e-14ps
ex5_2_2_case3 10 7 min -7.500000e+02 -7.500000e+02 normal 0.000000e+00 inf inf 0.00 4 0.00e+00pv normal 0.000000e+00 inf inf 0.00 4 0.00e+00pv normal -1.250000e+02 500.00 inf 0.02 39 2.45e-08pc normal -1.250000e+02 500.00 inf 0.01 39 2.45e-08pc normal -0.000000e+00 inf inf 0.01 3 1.07e-14ps
ex5_2_4 8 7 min -4.500000e+02 -4.500000e+02 normal 0.000000e+00 inf inf 0.00 3 0.00e+00pv normal 0.000000e+00 inf inf 0.00 3 0.00e+00pv normal -4.500000e+02 -0.00 inf 0.02 22 3.00e-08pc normal -4.500000e+02 -0.00 inf 0.01 22 3.00e-08pc normal -1.000000e+02 350.00 inf 0.01 5 1.14e-13ps
ex5_2_5 33 20 min -- -- normal -3.500000e+03 -- inf 0.01 10 4.59e-08pc normal -3.500000e+03 -- inf 0.00 11 6.92e-14pc normal -3.500000e+03 -- inf 0.28 244 3.67e-08pc normal -3.500000e+03 -- inf 0.20 309 2.54e-08pc normal -1.900000e+03 -- inf 0.01 10 1.14e-13ps
ex5_3_2 23 17 min 1.864159e+00 1.864159e+00 normal -- inf inf 0.00 5 2.00e+01pc normal -- inf inf 0.00 5 2.00e+01pc normal 1.864159e+00 0.00 inf 0.01 19 7.20e-10pc normal 1.864159e+00 0.00 inf 0.01 19 7.20e-10pc normal -- inf inf 0.01 5 1.04e+10ps
ex5_3_3 63 54 min -- -- normal -- -- inf 0.00 6 5.56e+01pc normal -- -- inf 0.00 6 5.56e+01pc normal 3.234018e+00 -- inf 0.32 235 2.65e-06ps normal 3.234018e+00 -- inf 0.15 151 6.85e-07ps normal -- -- inf 0.01 8 2.00e+10ps
ex5_4_2 9 7 min 7.512230e+03 7.512230e+03 normal 7.512230e+03 0.00 inf 0.00 28 6.47e-13ds normal 7.512230e+03 -0.00 inf 0.00 18 6.47e-02pc normal 7.512230e+03 0.00 inf 0.01 18 1.25e-04pc normal 7.512230e+03 0.00 inf 0.01 18 1.25e-04pc normal 7.512230e+03 0.00 inf 0.01 31 1.00e-04pc
ex5_4_3 17 14 min 4.845462e+03 4.845462e+03 normal -- inf inf 0.00 7 1.00e+03pc normal -- inf inf 0.00 7 1.00e+03pc normal 4.845462e+03 0.00 inf 0.03 45 1.21e-07pc normal 4.845462e+03 0.00 inf 0.02 40 9.00e-08pc normal -- inf inf 0.01 13 1.00e+03pc
ex5_4_4 28 20 min 1.007778e+04 1.007778e+04 normal -- inf inf 0.00 4 2.00e+03pc normal -- inf inf 0.00 4 2.00e+03pc normal 1.213845e+04 20.45 inf 0.09 120 2.08e-08ps normal 1.184161e+04 17.50 inf 0.03 51 4.43e-08ps normal 1.213845e+04 20.45 inf 0.02 124 5.24e-12ps
ex6_1_1 9 7 min -2.021194e-02 -2.021194e-02 normal -2.019831e-02 0.07 inf 0.00 10 3.13e-10ps normal -2.019821e-02 0.07 inf 0.00 4 3.80e-04dc normal -2.019831e-02 0.07 inf 0.01 9 1.52e-11ps normal -2.019831e-02 0.07 inf 0.00 9 1.52e-11ps normal -2.019829e-02 0.07 inf 0.01 3 1.02e-06dc
ex6_1_2 5 4 min -3.246958e-02 -3.246958e-02 normal -3.246375e-02 0.02 inf 0.00 5 1.17e-11ps normal -3.246375e-02 0.02 inf 0.00 4 6.87e-06dc normal -3.246375e-02 0.02 inf 0.01 6 1.09e-11ps normal -3.246375e-02 0.02 inf 0.00 6 1.09e-11ps normal -3.246375e-02 0.02 inf 0.01 0 4.11e-05ps
ex6_1_3 13 10 min -3.525077e-01 -3.525077e-01 normal -3.524978e-01 0.00 inf 0.00 10 2.78e-10dc normal -3.524978e-01 0.00 inf 0.00 4 2.50e-07ps normal -3.524978e-01 0.00 inf 0.01 9 1.00e-11ps normal -3.524978e-01 0.00 inf 0.01 9 1.00e-11ps normal -3.524978e-01 0.00 inf 0.01 5 2.18e-06dc
ex6_1_4 7 5 min -2.945424e-01 -2.945424e-01 normal -2.945413e-01 0.00 inf 0.00 9 8.51e-09ps normal -2.945413e-01 0.00 inf 0.00 9 1.00e-06ps normal -2.945413e-01 0.00 inf 0.01 9 1.00e-11ps normal -2.945413e-01 0.00 inf 0.01 9 1.00e-11ps normal -2.945413e-01 0.00 inf 0.01 6 8.93e-06dc
ex6_2_10 7 4 min -- -3.051976e+00 normal -3.051976e+00 -- inf 0.00 9 1.63e-10ps normal -3.051976e+00 -- inf 0.00 6 4.72e-05ps normal -3.051976e+00 -- inf 0.01 9 9.98e-12ps normal -3.051976e+00 -- inf 0.01 9 9.98e-12ps normal -3.051976e+00 -- inf 0.01 8 2.45e-08ps
ex6_2_11 4 2 min -- -2.672408e-06 normal -2.672408e-06 -- inf 0.00 9 1.96e-10ps normal -2.672408e-06 -- inf 0.00 8 2.07e-06ps normal -2.672408e-06 -- inf 0.01 7 9.98e-12ps normal -2.672408e-06 -- inf 0.00 7 9.98e-12ps normal -2.672408e-06 -- inf 0.01 7 2.24e-08ps
ex6_2_12 5 3 min 2.891944e-01 2.891944e-01 normal 2.891947e-01 0.00 inf 0.00 9 5.07e-10ps normal 2.891948e-01 0.00 inf 0.00 4 1.72e-04ps normal 2.891947e-01 0.00 inf 0.01 7 1.00e-11ps normal 2.891947e-01 0.00 inf 0.00 7 1.00e-11ps normal 2.891947e-01 0.00 inf 0.01 6 2.78e-06ps
ex6_2_13 7 4 min -- -2.162097e-01 normal -2.162094e-01 -- inf 0.00 8 7.24e-09ps normal -2.162094e-01 -- inf 0.00 4 3.94e-05ps normal -2.162094e-01 -- inf 0.00 3 1.11e-09ps normal -2.162094e-01 -- inf 0.00 3 1.11e-09ps normal -2.162094e-01 -- inf 0.01 6 5.76e-09ps
ex6_2_14 5 3 min -6.953581e-01 -6.953581e-01 normal -6.953579e-01 0.00 inf 0.00 9 1.32e-12ps other -5.439550e-01 27.83 inf 0.00 43 9.33e-01ps normal -6.953579e-01 0.00 inf 0.01 10 1.00e-10ps normal -6.953579e-01 0.00 inf 0.01 10 1.00e-10ps normal -6.953579e-01 0.00 inf 0.01 6 3.56e-08ps
Instance comet@0 cupid@0 dancer@0 dasher@0 donner@0
name #Vars #Equs Dir Dual bound Primal bound TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol.
ex6_2_5 10 4 min -- -7.075208e+01 normal -7.075208e+01 -- inf 0.00 25 1.33e-09ps normal -7.075208e+01 -- inf 0.01 32 1.13e-06ps normal -7.075208e+01 -- inf 0.02 24 1.00e-11ps normal -7.075208e+01 -- inf 0.01 17 1.36e-11ps normal -7.075208e+01 -- inf 0.01 83 8.25e-07ps
ex6_2_6 4 2 min -2.602527e-06 -2.602527e-06 normal 7.107626e-07 inf inf 0.00 8 1.01e-09ps normal 7.108370e-07 inf inf 0.00 4 3.95e-05ps normal 7.107626e-07 inf inf 0.01 8 9.46e-12ps normal 7.107626e-07 inf inf 0.00 8 9.46e-12ps normal 7.107650e-07 inf inf 0.01 3 8.84e-07ps
ex6_2_7 10 4 min -- -1.608476e-01 normal -1.608476e-01 -- inf 0.00 10 1.53e-10ps normal -1.608476e-01 -- inf 0.00 9 7.61e-05ps normal -1.608476e-01 -- inf 0.01 5 1.39e-11ps normal -1.608476e-01 -- inf 0.01 5 1.39e-11ps normal -1.608476e-01 -- inf 0.01 17 3.91e-08ps
ex6_2_8 4 2 min -2.700644e-02 -2.700644e-02 normal -2.700635e-02 0.00 inf 0.00 9 5.78e-09ps normal -2.700635e-02 0.00 inf 0.00 4 1.68e-06ps normal -2.700635e-02 0.00 inf 0.01 7 9.97e-12ps normal -2.700635e-02 0.00 inf 0.01 7 9.97e-12ps normal -2.700635e-02 0.00 inf 0.01 6 1.93e-06ps
ex6_2_9 5 3 min -- -3.406618e-02 normal -3.406618e-02 -- inf 0.00 9 7.79e-11ps normal -3.406618e-02 -- inf 0.00 8 3.74e-04ps normal -3.406618e-02 -- inf 0.01 8 1.00e-11ps normal -3.406618e-02 -- inf 0.01 8 1.00e-11ps normal -3.406618e-02 -- inf 0.01 9 2.14e-08ps
ex7_2_1 8 15 min 1.227224e+03 1.227224e+03 normal 1.227226e+03 0.00 inf 0.01 29 1.65e-10pc normal 1.227226e+03 0.00 inf 0.00 28 4.34e-08pc normal 1.227226e+03 0.00 inf 0.01 17 7.01e-09ps normal 1.227226e+03 0.00 inf 0.01 17 7.01e-09ps normal 1.227202e+03 -0.00 inf 0.31 18 3.69e-02ps
ex7_2_2 7 6 min -3.888145e-01 -3.888145e-01 normal -3.746137e-01 3.79 inf 0.00 12 7.77e-16pc normal -3.888111e-01 0.00 inf 0.00 9 2.76e-05ps normal -3.888114e-01 0.00 inf 0.01 11 3.39e-11ps normal -3.888114e-01 0.00 inf 0.01 11 3.39e-11ps normal -3.888114e-01 0.00 inf 0.01 13 1.40e-06ps
ex7_2_3 9 7 min -- 7.049237e+03 normal 7.049248e+03 -- inf 0.00 22 3.45e-10pc normal 7.049248e+03 -- inf 0.00 24 1.41e-09pc normal 7.049248e+03 -- inf 0.02 32 1.01e-10pc normal 7.049248e+03 -- inf 0.01 32 1.01e-10pc normal 7.049165e+03 -- inf 0.02 49 1.78e-02ps
ex7_2_4 9 5 min 3.917999e+00 3.917999e+00 normal 3.918010e+00 0.00 inf 0.00 29 4.65e-09ps normal 4.202853e+00 7.27 inf 0.00 30 4.31e-05ps normal 3.918010e+00 0.00 inf 0.02 35 9.81e-11pc normal 3.918010e+00 0.00 inf 0.02 35 9.81e-11pc normal 4.202853e+00 7.27 inf 0.02 131 1.41e-05ps
ex7_3_1 5 8 min 3.417396e-01 3.417396e-01 normal 3.417396e-01 0.00 inf 0.00 13 1.14e-13pc normal 3.417396e-01 0.00 inf 0.00 12 1.25e-10ds normal 3.417396e-01 0.00 inf 0.02 37 5.94e-08pc normal 3.417396e-01 0.00 inf 0.01 37 5.94e-08pc normal 3.417396e-01 0.00 inf 0.03 76 3.85e-12ds
ex7_3_2 5 8 min 1.089864e+00 1.089864e+00 normal 1.089864e+00 0.00 inf 0.00 10 8.44e-15pc normal 1.089864e+00 -0.00 inf 0.00 8 1.39e-07pc normal 1.089864e+00 0.00 inf 0.01 17 1.43e-10pc normal 1.089864e+00 0.00 inf 0.01 17 1.43e-10pc normal 1.089864e+00 -0.00 inf 0.01 8 2.75e-08dc
ex7_3_3 6 9 min 8.175290e-01 8.175290e-01 normal 1.144780e+00 40.03 inf 0.00 6 1.78e-15pc normal 1.144780e+00 40.03 inf 0.00 5 3.94e-06pc normal 1.144780e+00 40.03 inf 0.01 8 2.20e-10pc normal 1.144780e+00 40.03 inf 0.01 8 2.20e-10pc normal 1.144780e+00 40.03 inf 0.01 4 4.83e-12pc
ex7_3_4 13 18 min 6.274634e+00 6.274634e+00 normal 1.000000e+01 59.37 inf 0.00 5 2.84e-14dc normal 1.000000e+01 59.37 inf 0.00 5 2.84e-14dc other inf inf inf 0.01 1 1.00e+01pc normal 8.460472e+00 34.84 inf 0.01 20 8.43e-10pc normal 1.000000e+01 59.37 inf 0.01 10 1.16e-12dc
ex7_3_5 14 16 min 1.204411e+00 1.204411e+00 normal 1.206897e+00 0.21 inf 0.00 5 0.00e+00pv normal 1.206897e+00 0.21 inf 0.00 5 0.00e+00pv other inf inf inf 0.01 1 1.00e+00dc normal 1.206897e+00 0.21 inf 0.03 61 3.96e+02dc normal 1.206897e+00 0.21 inf 0.01 4 6.46e-27pc
ex7_3_6 18 18 min 0.000000e+00 0.000000e+00 normal -- inf inf 0.00 5 1.27e-04pc normal -- inf inf 0.00 5 1.69e-04dc normal -- inf inf 0.07 83 5.11e-05pc normal -- inf inf 0.05 74 5.14e-05pc normal -- inf inf 0.01 3 2.00e+10dc
ex8_1_1 3 1 min -- -- normal -2.021807e+00 -- inf 0.00 10 4.04e-13ps normal -2.021807e+00 -- inf 0.00 8 1.03e-04ps normal -2.021807e+00 -- inf 0.00 5 6.42e-09ps normal -2.021807e+00 -- inf 0.00 5 6.42e-09ps normal -2.021807e+00 -- inf 0.01 12 2.42e-06ps
ex8_1_2 2 1 min -- -- normal 2.803458e+00 -- inf 0.00 4 0.00e+00pv normal 2.803458e+00 -- inf 0.00 4 0.00e+00pv normal -1.039627e+00 -- inf 0.01 9 6.93e-12ps normal -1.039627e+00 -- inf 0.00 9 6.93e-12ps normal 2.803458e+00 -- inf 0.01 0 0.00e+00pv
ex8_1_3 3 1 min -- 3.000000e+00 normal 3.000000e+01 -- inf 0.00 11 3.76e-13dc normal 3.000000e+01 -- inf 0.00 10 5.50e-06dc normal 3.000000e+01 -- inf 0.00 5 1.12e-10dc normal 3.000000e+01 -- inf 0.00 5 1.12e-10dc normal 3.000000e+01 -- inf 0.01 9 4.01e-10dc
ex8_1_4 3 1 min -- 0.000000e+00 normal 0.000000e+00 -- inf 0.00 4 0.00e+00pv normal 0.000000e+00 -- inf 0.00 4 0.00e+00pv normal 0.000000e+00 -- inf 0.00 0 0.00e+00pv normal 0.000000e+00 -- inf 0.00 0 0.00e+00pv normal 0.000000e+00 -- inf 0.01 0 0.00e+00pv
ex8_1_5 3 1 min -- -1.031628e+00 normal 0.000000e+00 -- inf 0.00 4 0.00e+00pv normal 0.000000e+00 -- inf 0.00 4 0.00e+00pv normal 0.000000e+00 -- inf 0.00 0 0.00e+00pv normal 0.000000e+00 -- inf 0.00 0 0.00e+00pv normal 0.000000e+00 -- inf 0.01 0 0.00e+00pv
ex8_1_6 3 1 min -1.008600e+01 -1.008600e+01 normal -5.065440e+00 99.11 inf 0.00 8 6.22e-08dc normal -5.065440e+00 99.11 inf 0.00 8 6.22e-08dc normal -5.065440e+00 99.11 inf 0.01 10 3.42e-15dc normal -5.065440e+00 99.11 inf 0.00 10 3.42e-15dc normal -5.065440e+00 99.11 inf 0.01 6 3.18e-09dc
ex8_1_7 6 6 min 2.930813e-02 2.930813e-02 normal -- inf inf 0.00 6 1.78e+01ps normal -- inf inf 0.00 6 1.78e+01ps normal 2.931083e-02 0.01 inf 0.01 20 6.16e-11pc normal 2.931083e-02 0.01 inf 0.01 20 6.16e-11pc normal 2.931083e-02 0.01 inf 0.01 44 2.50e-06ps
ex8_1_8 7 6 min -3.888145e-01 -3.888145e-01 normal -3.746137e-01 3.79 inf 0.00 12 7.77e-16pc normal -3.888111e-01 0.00 inf 0.00 9 2.76e-05ps normal -3.888114e-01 0.00 inf 0.01 11 3.39e-11ps normal -3.888114e-01 0.00 inf 0.01 11 3.39e-11ps normal -3.888114e-01 0.00 inf 0.01 13 1.40e-06ps
ex8_2_1 56 32 min -- -- normal -inf -- 0.00 0.03 42 5.77e+00dc normal -inf -- 0.00 0.02 31 5.77e+00dc othrlim -6.412363e+08 -- inf 1.75 677 1.25e+01dc normal -inf -- 0.00 0.05 104 8.01e+12dc other inf -- inf 0.05 229 7.29e+04dc
ex8_2_1a 56 32 min -- -- normal -9.791783e+02 -- inf 0.01 9 4.51e-14ps normal -9.791779e+02 -- inf 0.00 9 1.97e-06ps normal -9.791783e+02 -- inf 0.02 19 9.60e-09ps normal -9.791783e+02 -- inf 0.01 19 9.60e-09ps normal -9.791778e+02 -- inf 0.03 180 7.17e-05ps
ex8_2_1b 58 34 min -- -- normal -9.791783e+02 -- inf 0.00 36 2.84e-14ps normal -9.791779e+02 -- inf 0.00 18 1.97e-06ps normal -9.791783e+02 -- inf 0.03 26 1.90e-07ps normal -9.791783e+02 -- inf 0.01 26 1.90e-07ps normal -9.782483e+02 -- inf 0.02 62 5.92e-03ps
ex8_2_2 7511 1948 min -- -- normal -inf -- 0.00 1.94 61 8.22e+09dv normal -inf -- 0.00 1.41 50 9.54e+09dv timelim inf -- inf 1478.26 16 1.54e+02pc timelim inf -- inf 910.71 23529 2.06e+07pc othrlim -2.117669e+05 -- inf 14.54 1047 1.10e+01dc
ex8_2_2a 7511 1948 min -- -- normal -5.526663e+02 -- inf 5.67 378 6.41e-10ps normal -5.525743e+02 -- inf 1.65 151 3.62e-06ps normal -5.526663e+02 -- inf 2.60 51 1.98e-08ps normal -5.526663e+02 -- inf 1.13 51 1.98e-08ps other 4.376934e+02 -- inf 5.14 1155 2.66e+02ps
ex8_2_2b 7523 1960 min -- -- normal -5.526663e+02 -- inf 4.41 383 1.06e-09ps normal -5.525759e+02 -- inf 1.10 153 3.62e-06ps normal -5.526663e+02 -- inf 3.52 72 7.53e-08ps normal -5.526663e+02 -- inf 1.40 72 7.53e-08ps normal -5.039309e+02 -- inf 3.72 543 6.20e-03ps
ex8_2_3 15637 3156 min -- -- normal -inf -- 0.00 2.96 38 9.39e+09dv normal -inf -- 0.00 1.40 27 9.95e+09dv error inf -- inf -- -- -- normal -inf -- 0.00 8.42 86 3.47e+11dc othrlim -3.679667e+07 -- inf 33.90 3529 1.97e+05dv
Instance comet@0 cupid@0 dancer@0 dasher@0 donner@0
name #Vars #Equs Dir Dual bound Primal bound TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol.
ex8_2_3a 15637 3156 min -- -- normal -3.731079e+03 -- inf 15.40 653 5.53e-10ps normal -3.731041e+03 -- inf 4.35 196 2.19e-06ps normal -3.731079e+03 -- inf 5.17 49 1.63e-09ps normal -3.731079e+03 -- inf 2.47 49 1.63e-09ps normal -3.730829e+03 -- inf 91.38 6429 1.12e-05ps
ex8_2_3b 15642 3161 min -- -- normal -3.731079e+03 -- inf 12.37 566 6.48e-10ps normal -3.731041e+03 -- inf 3.20 237 1.70e-06ps normal -3.731079e+03 -- inf 5.98 59 6.82e-09ps normal -3.731079e+03 -- inf 2.95 59 6.82e-09ps normal -3.713619e+03 -- inf 5.78 670 2.07e-03ps
ex8_2_4 56 82 min -- -- normal 2.791864e-09 -- inf 0.10 28 5.77e+00dc normal 6.860180e-05 -- inf 0.03 19 5.77e+00dc normal 6.721219e-08 -- inf 0.14 84 1.53e-06ds normal -- -- inf 0.12 135 5.77e+00dc normal -inf -- 0.00 0.39 430 6.91e+02dc
ex8_2_4a 56 82 min -- -- normal -1.197132e+03 -- inf 0.01 11 2.44e-14ps normal -1.197132e+03 -- inf 0.01 8 1.97e-06ps normal -1.197132e+03 -- inf 0.03 22 2.60e-08ps normal -1.197132e+03 -- inf 0.02 22 2.60e-08ps normal -1.197116e+03 -- inf 0.03 189 1.49e-04ps
ex8_2_4b 62 88 min -- -- normal -1.197132e+03 -- inf 0.01 32 3.47e-12ds normal -1.197132e+03 -- inf 0.00 18 1.97e-06ps normal -1.197132e+03 -- inf 0.04 27 8.54e-08ps normal -1.197132e+03 -- inf 0.02 27 8.54e-08ps normal -1.196276e+03 -- inf 0.03 116 3.37e-03ps
ex8_2_5 2511 3775 min -- -- normal -inf -- 0.00 6.23 39 3.47e+05dc normal 5.027684e-05 -- inf 2.15 26 2.72e+00dc timelim inf -- inf 911.26 73 1.82e+02dc other inf -- inf 27.27 312 infpc other inf -- inf 23.46 7333 6.91e+05dc
ex8_2_5a 2511 3775 min -- -- normal -8.303381e+02 -- inf 3.02 202 5.42e-10ps normal -8.303279e+02 -- inf 1.43 105 3.41e-06ps normal -8.303381e+02 -- inf 1.77 48 3.06e-08ps normal -8.303381e+02 -- inf 1.15 48 3.06e-08ps normal -8.294113e+02 -- inf 30.63 1967 1.72e-04ps
ex8_2_5b 2535 3799 min -- -- normal -8.303381e+02 -- inf 3.34 264 6.37e-10ps normal -8.303310e+02 -- inf 1.52 142 3.41e-06ps normal -8.303381e+02 -- inf 2.67 66 1.34e-07ps normal -8.303381e+02 -- inf 1.72 66 1.34e-07ps normal -8.046921e+02 -- inf 3.03 426 1.39e-02ps
ex8_3_1 116 77 min -- -- normal -8.195903e-01 -- inf 0.17 246 4.30e-09ps normal -7.800272e-01 -- inf 0.08 128 1.31e-02ps normal -8.195903e-01 -- inf 0.45 278 1.00e-11ps normal -8.195903e-01 -- inf 0.24 202 5.53e-10pc normal -8.136399e-01 -- inf 2.57 2304 2.72e-05ps
ex8_3_10 142 109 min -- -- normal -- -- inf 0.02 99 1.00e+02pc normal -- -- inf 0.01 79 1.00e+02pc normal -5.088828e-02 -- inf 0.33 57 2.61e+02ds normal -1.319326e+00 -- inf 0.21 121 4.48e-07pc normal -3.596508e-02 -- inf 0.05 133 1.68e-08pc
ex8_3_11 116 77 min -- -- normal -7.642604e-01 -- inf 0.06 120 9.94e-09pc normal -7.317342e-01 -- inf 0.05 112 2.77e-04pc normal -7.995719e-01 -- inf 0.43 242 5.49e-10pc normal -7.995719e-01 -- inf 0.18 149 1.55e-10pc normal -7.642604e-01 -- inf 0.59 1638 7.20e-06pc
ex8_3_12 121 82 min -- -- normal -3.444105e-10 -- inf 0.01 49 7.78e-08ps normal -2.034229e-09 -- inf 0.01 43 3.30e-06pc normal -9.938022e-01 -- inf 0.42 207 8.43e-10pc normal -9.938022e-01 -- inf 0.32 245 7.63e-11pc normal -1.722053e-09 -- inf 0.01 63 2.14e-06pc
ex8_3_13 116 73 min -- -- normal -2.584939e-26 -- inf 0.10 189 2.84e-14pc normal -3.347724e+01 -- inf 0.04 165 5.28e-07ps normal -0.000000e+00 -- inf 0.03 15 3.07e-10pc normal -0.000000e+00 -- inf 0.02 15 3.07e-10pc normal 1.694077e-18 -- inf 0.01 97 3.66e-12pc
ex8_3_14 111 72 min -- -- normal -- -- inf 0.03 144 7.73e+03pc normal -- -- inf 0.02 123 7.73e+03pc normal -2.498639e+00 -- inf 0.35 175 1.01e-08pc normal -2.498639e+00 -- inf 0.32 245 4.42e-08pc normal -2.481562e+00 -- inf 0.82 1609 2.41e-06ps
ex8_3_2 111 77 min -- -- normal -4.123302e-01 -- inf 0.03 139 6.72e-10ps other -4.104903e-01 -- inf 0.52 236 3.42e-01ps normal -3.313267e-01 -- inf 0.35 176 2.52e-08ps normal -1.660365e-03 -- inf 0.08 57 4.75e-08ps normal -4.123302e-01 -- inf 0.09 214 7.88e-07ps
ex8_3_3 111 77 min -- -- normal -4.166031e-01 -- inf 0.02 122 1.20e-09ps normal -4.165979e-01 -- inf 0.03 124 5.54e-05ps normal -3.330346e-01 -- inf 0.03 16 1.27e-09ps normal -3.330346e-01 -- inf 0.02 16 1.27e-09ps normal -4.166031e-01 -- inf 0.11 254 2.32e-06ps
ex8_3_4 111 77 min -- -- normal -- -- inf 0.02 102 1.00e+02pc normal -- -- inf 0.02 95 1.00e+02pc normal -3.579982e+00 -- inf 0.29 153 1.00e-11ps normal -3.579982e+00 -- inf 0.14 116 1.12e-10pc normal -3.579982e+00 -- inf 0.22 350 4.54e-07pc
ex8_3_5 111 77 min -- -- normal -- -- inf 0.01 66 1.00e+02pc normal -- -- inf 0.01 58 1.00e+02pc normal -6.265083e-02 -- inf 0.07 42 8.34e-10pc normal -6.265083e-02 -- inf 0.05 42 8.34e-10pc normal -6.911967e-02 -- inf 0.25 448 2.43e-06ps
ex8_3_6 111 77 min -- -- normal -5.000000e-01 -- inf 0.01 47 1.69e-08pc normal -5.000000e-01 -- inf 0.01 41 1.05e-07ps normal -5.000000e-01 -- inf 0.04 24 6.27e-11pc normal -5.000000e-01 -- inf 0.03 24 6.27e-11pc normal -5.000000e-01 -- inf 0.27 623 1.24e-06ps
ex8_3_7 127 93 min -- -- normal -- -- inf 0.01 105 1.00e+02pc normal -- -- inf 0.01 100 1.00e+02pc normal -1.232619e+00 -- inf 0.30 126 1.00e-11ps normal -1.232619e+00 -- inf 0.36 230 1.00e-11ps normal -1.232619e+00 -- inf 0.15 360 1.03e-06ps
ex8_3_8 127 94 min -- -- normal -- -- inf 0.01 58 1.00e+02pc normal -- -- inf 0.01 47 1.00e+02pc normal -3.256119e+00 -- inf 0.28 118 6.22e-09pc normal -3.256119e+00 -- inf 0.21 141 9.03e-10pc normal -3.244935e+00 -- inf 10.00 14014 4.41e-04pc
ex8_3_9 79 46 min -- -- normal -7.416198e-01 -- inf 0.01 52 2.27e-13pc normal -7.416198e-01 -- inf 0.01 38 2.97e-06pc normal -7.416198e-01 -- inf 0.01 8 1.00e-11ps normal -7.416198e-01 -- inf 0.01 8 1.00e-11ps normal -7.630019e-01 -- inf 0.14 300 1.79e-06ps
ex8_4_1 23 11 min -- -- normal 6.185728e-01 -- inf 0.00 23 2.20e-09ps normal 6.185722e-01 -- inf 0.00 20 5.50e-05ps normal 6.185728e-01 -- inf 0.01 6 1.05e-10ps normal 6.185728e-01 -- inf 0.00 6 1.05e-10ps normal 6.185728e-01 -- inf 0.01 37 7.20e-08ps
ex8_4_2 25 11 min -- -- normal 4.851525e-01 -- inf 0.00 33 9.42e-09ps normal 4.851524e-01 -- inf 0.00 33 6.57e-06ps normal 4.851525e-01 -- inf 0.01 9 4.59e-11ps normal 4.851525e-01 -- inf 0.01 9 4.59e-11ps normal 4.851525e-01 -- inf 0.01 68 5.67e-07ps
ex8_4_3 53 26 min -- -- normal 4.649716e-03 -- inf 0.01 19 2.35e-08ps normal 4.649717e-03 -- inf 0.01 16 1.41e-04ps normal 4.649716e-03 -- inf 0.01 9 6.83e-09pc normal 4.649716e-03 -- inf 0.01 9 6.83e-09pc normal 4.649716e-03 -- inf 0.03 83 1.35e-06ps
ex8_4_4 18 13 min -- -- normal 2.124598e-01 -- inf 0.00 16 3.94e-10ps normal 2.124599e-01 -- inf 0.00 17 2.21e-06ps normal 2.124598e-01 -- inf 0.01 9 1.17e-09pc normal 2.124598e-01 -- inf 0.01 9 1.17e-09pc normal 2.124598e-01 -- inf 0.01 20 2.15e-06ps
ex8_4_5 16 12 min -- -- normal 1.225296e-03 -- inf 0.01 40 1.58e-10ps normal 1.225307e-03 -- inf 0.01 37 1.42e-06ps normal 1.225296e-03 -- inf 0.01 19 1.04e-11ps normal 1.225296e-03 -- inf 0.01 19 1.04e-11ps normal -- -- inf 0.02 71 8.11e+09ps
ex8_4_6 15 9 min -- -- normal 1.104979e-03 -- inf 0.01 29 5.21e-10ps normal 1.104981e-03 -- inf 0.01 30 3.35e-05ps normal 6.589643e-01 -- inf 0.04 53 9.59e-09pc normal 6.589643e-01 -- inf 0.02 53 9.59e-09pc normal 1.104979e-03 -- inf 0.02 58 3.73e-06ps
ex8_4_7 63 41 min -- -- normal 2.904731e+01 -- inf 0.01 27 1.37e-09ps normal 2.904739e+01 -- inf 0.01 22 3.22e-06ps normal 2.904731e+01 -- inf 0.02 15 2.84e-10dc normal 2.904731e+01 -- inf 0.01 15 2.84e-10dc normal 2.904731e+01 -- inf 0.05 127 9.53e-03dc
ex8_4_8 43 31 min -- -- normal 3.321847e+00 -- inf 0.01 40 1.72e-08pc normal 3.321862e+00 -- inf 0.01 34 7.28e-05pc normal 3.321847e+00 -- inf 0.07 81 1.74e-09ps normal 3.321847e+00 -- inf 0.06 81 1.74e-09ps normal 3.321847e+00 -- inf 0.19 568 2.15e-04dc
Instance comet@0 cupid@0 dancer@0 dasher@0 donner@0
name #Vars #Equs Dir Dual bound Primal bound TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol.
ex8_4_8_bnd 43 31 min -- -- normal 3.321847e+00 -- inf 0.01 38 1.25e-08pc normal 3.321873e+00 -- inf 0.01 36 1.15e-05pc normal 3.321847e+00 -- inf 0.07 83 1.93e-09ps normal 3.321847e+00 -- inf 0.05 83 1.93e-09ps normal 3.321847e+00 -- inf 0.11 344 2.94e-04dc
ex8_5_1 7 5 min -- -3.472276e-05 normal 6.360862e-03 -- inf 0.00 37 1.01e-09dc normal 6.362092e-03 -- inf 0.00 21 1.62e-05ps normal -4.071769e-07 -- inf 0.01 12 1.00e-11ps normal -4.071769e-07 -- inf 0.01 12 1.00e-11ps normal -4.071775e-07 -- inf 0.01 35 4.40e-07dc
ex8_5_2 7 5 min 0.000000e+00 0.000000e+00 normal -1.150369e-08 inf inf 0.00 20 1.47e-09dc normal 1.959170e-06 inf inf 0.00 14 1.65e-04dc normal -1.150396e-08 inf inf 0.02 35 9.15e-14dc normal -1.150396e-08 inf inf 0.01 35 9.33e-14dc normal -1.149457e-08 inf inf 0.02 58 2.78e-05dc
ex8_5_3 6 5 min -4.159725e-03 -4.159725e-03 normal 2.371747e-03 inf inf 0.00 14 4.80e-11dc normal 2.371774e-03 inf inf 0.00 13 4.52e-04dc normal 4.093185e-05 inf inf 0.01 11 5.65e-14dc normal 4.093185e-05 inf inf 0.00 11 5.68e-14dc normal 4.093210e-05 inf inf 0.01 29 2.64e-06dc
ex8_5_4 6 5 min -4.347768e-04 -4.347768e-04 normal 1.005279e-06 inf inf 0.00 24 4.99e-09dc normal 3.454674e-06 inf inf 0.00 12 4.26e-04dc normal -4.251471e-04 2.27 inf 0.01 10 6.66e-15dc normal -4.251471e-04 2.27 inf 0.00 10 7.36e-16dc normal -4.251468e-04 2.27 inf 0.01 14 1.71e-06dc
ex8_5_5 6 5 min -1.079741e-02 -1.079741e-02 normal -1.075334e-02 0.41 inf 0.00 15 1.10e-10pc normal -1.075316e-02 0.41 inf 0.00 10 4.47e-04dc normal 6.566626e-07 inf inf 0.01 9 1.02e-11dc normal 6.566626e-07 inf inf 0.00 9 1.02e-11dc normal 6.566630e-07 inf inf 0.01 14 8.80e-08dc
ex8_5_6 7 5 min -1.188480e-03 -1.188480e-03 normal 9.881370e-07 inf inf 0.00 21 1.10e-08dc normal -1.167406e-03 1.81 inf 0.00 15 3.31e-04dc normal 9.881374e-07 inf inf 0.01 10 8.09e-11dc normal 9.881374e-07 inf inf 0.00 10 8.09e-11dc normal 9.881374e-07 inf inf 0.01 21 2.17e-05dc
ex8_6_1 76 46 min -- -- normal -2.754521e+01 -- inf 0.05 123 1.03e-08ps normal -2.754521e+01 -- inf 0.04 121 1.60e-04ps normal -2.842253e+01 -- inf 0.10 79 2.11e-11dc normal -2.842253e+01 -- inf 0.06 79 2.11e-11dc normal -2.754521e+01 -- inf 0.05 743 3.86e-06ps
ex8_6_2 31 1 min -- -3.188863e+01 normal -2.677845e+01 -- inf 0.02 76 2.98e-08ps normal -2.677845e+01 -- inf 0.02 74 3.05e-04ps normal -3.188863e+01 -- inf 0.12 146 4.04e-12ps normal -3.188863e+01 -- inf 0.09 143 8.56e-13ps normal -3.168733e+01 -- inf 0.04 310 2.61e-06ps
ex9_1_1 14 13 min -1.300000e+01 -1.300000e+01 normal -1.300000e+01 0.00 inf 0.00 4 2.22e-16pc normal -1.300000e+01 0.00 inf 0.00 4 2.22e-16pc normal -1.300000e+01 0.00 inf 0.01 21 4.90e-08ps normal -1.300000e+01 0.00 inf 0.01 35 9.09e-10ps normal -1.300000e+01 0.00 inf 0.01 6 1.42e-14pc
ex9_1_10 15 13 min -3.250000e+00 -3.250000e+00 normal -3.250000e+00 0.00 inf 0.00 6 0.00e+00pv normal -3.250000e+00 0.00 inf 0.00 6 0.00e+00pv normal -3.250000e+00 0.00 inf 0.08 134 6.18e-09dc normal -3.250000e+00 0.00 inf 0.02 56 1.81e-10pc normal -3.250000e+00 0.00 inf 0.01 8 5.41e-16pv
ex9_1_2 11 10 min -1.600000e+01 -1.600000e+01 normal -1.600000e+01 0.00 inf 0.00 6 5.55e-17dc normal -1.600000e+01 0.00 inf 0.00 6 5.55e-17dc normal -1.600000e+01 0.00 inf 0.03 68 2.96e-10ps normal -1.600000e+01 0.00 inf 0.02 68 2.96e-10ps normal -1.600000e+01 0.00 inf 0.01 5 3.55e-15pc
ex9_1_4 11 10 min -3.700000e+01 -3.700000e+01 normal -3.700000e+01 0.00 inf 0.00 8 0.00e+00pv normal -3.700000e+01 0.00 inf 0.00 8 2.84e-14pc normal -3.700000e+01 0.00 inf 0.03 49 8.45e-11ps normal -3.700000e+01 0.00 inf 0.01 30 6.80e-11pc normal -3.700000e+01 0.00 inf 0.01 7 3.69e-13pc
ex9_1_5 14 13 min -1.000000e+00 -1.000000e+00 normal -1.000000e+00 0.00 inf 0.00 5 1.11e-16pc normal -1.000000e+00 0.00 inf 0.00 5 1.11e-16pc normal 4.000000e+00 inf inf 0.02 35 1.00e-11ps normal 4.000000e+00 inf inf 0.01 35 1.00e-11ps normal -1.000000e+00 0.00 inf 0.01 3 1.78e-15dc
ex9_1_8 15 13 min -3.250000e+00 -3.250000e+00 normal -3.250000e+00 0.00 inf 0.00 6 0.00e+00pv normal -3.250000e+00 0.00 inf 0.00 6 0.00e+00pv normal -3.250000e+00 0.00 inf 0.08 134 6.18e-09dc normal -3.250000e+00 0.00 inf 0.02 56 1.81e-10pc normal -3.250000e+00 0.00 inf 0.01 8 5.41e-16pv
ex9_2_1 11 10 min 1.700000e+01 1.700000e+01 normal 1.700000e+01 0.00 inf 0.00 8 4.44e-16pc normal 1.700000e+01 0.00 inf 0.00 8 0.00e+00pv normal 6.877551e+01 304.56 inf 0.01 19 4.20e+04ps normal 4.249383e+01 149.96 inf 0.02 34 1.37e+01ps normal 1.700000e+01 0.00 inf 0.01 1 1.78e-15pc
ex9_2_2 11 12 min 9.999990e+01 9.999990e+01 normal 9.999997e+01 0.00 inf 0.00 8 2.81e-11pc normal 9.999878e+01 -0.00 inf 0.00 8 4.45e-08pc normal 1.005362e+02 0.54 inf 0.03 42 2.11e+04ps normal 1.000000e+02 0.00 inf 0.03 57 2.50e+01ps normal 9.998571e+01 -0.01 inf 0.01 5 3.19e-03ps
ex9_2_3 17 16 min 0.000000e+00 0.000000e+00 normal 5.000000e+00 inf inf 0.00 8 7.11e-15pc normal 5.000000e+00 inf inf 0.00 8 1.78e-15pc normal 5.000000e+00 inf inf 0.06 90 3.73e-09pc normal 5.000000e+00 inf inf 0.02 40 3.98e-09pc normal 5.000000e+00 inf inf 0.01 5 1.16e-07pc
ex9_2_4 9 8 min 5.000000e-01 5.000000e-01 normal 5.000000e-01 0.00 inf 0.00 5 0.00e+00pv normal 5.000000e-01 0.00 inf 0.00 5 0.00e+00pv normal 5.000000e-01 0.00 inf 0.01 20 9.09e-10ps normal 5.000000e-01 0.00 inf 0.01 20 9.09e-10ps normal 5.000000e-01 0.00 inf 0.01 9 9.33e-15ps
ex9_2_5 9 8 min 5.000000e+00 5.000000e+00 normal 9.000000e+00 80.00 inf 0.00 8 1.78e-15pc normal 9.000000e+00 80.00 inf 0.00 8 0.00e+00pv normal 9.000000e+00 80.00 inf 0.06 80 1.00e-11ps other 1.000000e+01 100.00 inf 0.01 35 2.69e+04dc normal 5.000000e+00 0.00 inf 0.01 9 1.71e-14dc
ex9_2_6 17 13 min -1.000000e+00 -1.000000e+00 normal -1.000000e+00 0.00 inf 0.00 3 0.00e+00pv normal -1.000000e+00 0.00 inf 0.00 3 0.00e+00pv normal -1.000000e+00 0.00 inf 0.09 149 1.00e-11ps normal -1.000000e+00 0.00 inf 0.03 86 3.03e+02ps normal -1.000000e+00 0.00 inf 0.01 4 0.00e+00pv
ex9_2_7 11 10 min 1.700000e+01 1.700000e+01 normal 1.700000e+01 0.00 inf 0.00 8 4.44e-16pc normal 1.700000e+01 0.00 inf 0.00 8 0.00e+00pv normal 6.877551e+01 304.56 inf 0.01 19 4.20e+04ps normal 4.249383e+01 149.96 inf 0.01 34 1.37e+01ps normal 1.700000e+01 0.00 inf 0.01 1 1.78e-15pc
ex9_2_8 7 6 min 1.500000e+00 1.500000e+00 normal 1.500000e+00 0.00 inf 0.00 4 0.00e+00pv normal 1.500000e+00 0.00 inf 0.00 4 0.00e+00pv normal 1.500000e+00 0.00 inf 0.01 8 6.10e-09ps normal 1.500000e+00 0.00 inf 0.01 10 2.50e-10ps normal 1.500000e+00 0.00 inf 0.01 0 0.00e+00pv
fct 12 10 min -- -- other 4.653643e+01 -- inf 0.02 68 1.20e+03ps other 3.616956e+01 -- inf 0.02 74 1.84e+03ps other inf -- inf 19.48 26973 3.70e+18dc other inf -- inf 4.93 9417 infdc normal 3.560594e-13 -- inf 0.05 88 7.86e-06ps
filter 3 2 min 8.685250e+03 8.685250e+03 normal 8.685277e+03 0.00 inf 0.00 4 0.00e+00pv normal 8.685277e+03 0.00 inf 0.00 4 0.00e+00pv normal 8.685277e+03 0.00 inf 0.01 7 9.12e-08pc normal 8.685277e+03 0.00 inf 0.01 7 9.12e-08pc normal 8.685277e+03 0.00 inf 0.01 5 0.00e+00pv
flowchan100 2401 2399 min -- -- normal 0.000000e+00 -- inf 0.04 29 1.87e-08pc normal 0.000000e+00 -- inf 0.04 18 5.51e-05pc normal 0.000000e+00 -- inf 0.09 5 7.27e-19pc normal 0.000000e+00 -- inf 0.04 5 7.27e-19pc normal 0.000000e+00 -- inf 0.41 816 2.59e-07pc
flowchan200 4801 4799 min -- -- normal 0.000000e+00 -- inf 0.11 29 1.57e-08pc normal 0.000000e+00 -- inf 0.10 18 4.94e-05pc normal 0.000000e+00 -- inf 0.19 5 7.27e-19pc normal 0.000000e+00 -- inf 0.09 5 7.27e-19pc normal 0.000000e+00 -- inf 1.27 1456 1.13e-08pc
flowchan400 9601 9599 min -- -- normal 0.000000e+00 -- inf 0.25 29 9.16e-09pc normal 0.000000e+00 -- inf 0.22 18 3.47e-05pc normal 0.000000e+00 -- inf 0.39 5 7.27e-19pc normal 0.000000e+00 -- inf 0.17 5 7.27e-19pc normal 0.000000e+00 -- inf 4.13 2389 2.88e-11pc
flowchan50 1201 1199 min -- -- normal 0.000000e+00 -- inf 0.02 29 1.64e-08pc normal 0.000000e+00 -- inf 0.02 18 1.05e-04pc normal 0.000000e+00 -- inf 0.05 5 7.27e-19pc normal 0.000000e+00 -- inf 0.03 5 7.27e-19pc normal 0.000000e+00 -- inf 0.20 502 3.49e-07dc
ganges 357 274 min -- -- normal -6.395544e+03 -- inf 0.01 13 2.46e-11ps normal -6.395544e+03 -- inf 0.01 9 5.10e-08pc normal -6.395544e+03 -- inf 0.02 4 6.96e-10dc normal -6.395544e+03 -- inf 0.01 4 1.09e-10ps normal -6.395544e+03 -- inf 0.03 126 1.86e-07dc
Instance comet@0 cupid@0 dancer@0 dasher@0 donner@0
name #Vars #Equs Dir Dual bound Primal bound TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol.
gangesx 357 274 min -- -- normal -6.395544e+03 -- inf 0.01 13 2.46e-11ps normal -6.395544e+03 -- inf 0.01 9 5.10e-08pc normal -6.395544e+03 -- inf 0.02 4 6.96e-10dc normal -6.395544e+03 -- inf 0.01 4 1.09e-10ps normal -6.395544e+03 -- inf 0.03 126 1.86e-07dc
gasoil100 2604 2599 min -- -- normal 5.236594e-03 -- inf 0.21 21 7.80e-07dc normal 5.238337e-03 -- inf 0.14 18 2.10e-03dc normal 5.236594e-03 -- inf 0.27 15 2.57e-10pc normal 5.236594e-03 -- inf 0.13 15 2.57e-10pc normal 5.236594e-03 -- inf 0.57 1043 3.66e-07dc
gasoil200 5204 5199 min -- -- normal 5.236596e-03 -- inf 0.41 21 6.28e-07dc normal 5.238338e-03 -- inf 0.29 18 1.80e-03ps normal 5.236596e-03 -- inf 0.46 13 2.15e-11pc normal 5.236596e-03 -- inf 0.26 13 2.11e-11pc normal 5.236596e-03 -- inf 1.92 1918 3.29e-07dc
gasoil400 10404 10399 min -- -- normal 5.236596e-03 -- inf 0.86 21 9.50e-07dc normal 5.238338e-03 -- inf 0.61 18 1.63e-03ps normal 5.236596e-03 -- inf 1.06 14 1.05e-10pc normal 5.236596e-03 -- inf 0.69 14 1.05e-10pc normal 5.236517e-03 -- inf 6.75 3398 1.74e-05pc
gasoil50 1304 1299 min -- -- normal 5.236640e-03 -- inf 0.11 22 6.77e-07dc normal 5.236713e-03 -- inf 0.07 18 2.92e-03dc normal 5.236640e-03 -- inf 0.11 12 1.01e-11ps normal 5.236640e-03 -- inf 0.05 12 1.01e-11ps normal 5.236640e-03 -- inf 0.26 614 1.01e-06dc
glider100 1316 1210 min -- -- normal -- -- inf 4.13 1236 1.67e+01pc normal -1.255059e+03 -- inf 55.87 3993 5.15e-04dc normal -- -- inf 1.37 101 1.06e+00pc normal -- -- inf 0.85 131 1.07e+00pc normal -- -- inf 1.39 3902 2.00e+10dc
glider200 2616 2410 min -- -- normal -- -- inf 11.05 1824 1.00e+02pc normal -- -- inf 5.94 1697 1.00e+02pc timelim inf -- inf 951.40 93 4.11e+01pc normal -- -- inf 87.35 5778 1.75e+01pc normal -- -- inf 2.62 3472 2.00e+10dc
glider400 5216 4810 min -- -- normal -1.247974e+03 -- inf 292.82 9005 6.30e-08ps normal -- -- inf 34.31 3600 1.00e+02pc normal -- -- inf 4.42 90 2.61e-01pc normal -- -- inf 1.96 90 2.61e-01pc normal -2.495817e+02 -- inf 36.46 19789 5.79e-03pc
glider50 666 610 min -- -- normal -1.282400e+03 -- inf 5.09 1028 3.61e-09dc normal -1.286977e+03 -- inf 4.44 1064 1.07e-04dc normal -- -- inf 0.52 73 2.10e+00pc normal -- -- inf 0.25 73 2.10e+00pc normal -1.212696e+03 -- inf 196.36 134178 3.82e-02ps
gsg_0001 78 112 min -- -- normal 2.395508e+03 -- inf 0.00 8 5.68e-13pc normal 2.395508e+03 -- inf 0.00 8 9.09e-13pc normal 2.378161e+03 -- inf 0.04 31 1.33e-08pc normal 2.378161e+03 -- inf 0.03 31 1.33e-08pc normal 2.395508e+03 -- inf 0.01 114 9.09e-13pc
gtm 64 25 min 5.435650e+02 5.435650e+02 normal 5.435651e+02 0.00 inf 0.01 26 3.60e-09ps normal 5.435651e+02 0.00 inf 0.01 25 1.88e-04ps normal 5.435651e+02 0.00 inf 0.02 21 4.26e-10pc normal 5.435651e+02 0.00 inf 0.01 21 4.26e-10pc normal 5.435651e+02 0.00 inf 0.01 186 9.33e-06dc
harker 21 8 min -- -9.865135e+02 normal -9.865135e+02 -- inf 0.00 18 8.88e-10dc normal -9.865135e+02 -- inf 0.00 17 5.08e-06dc normal -9.865135e+02 -- inf 0.01 11 1.96e-10pc normal -9.865135e+02 -- inf 0.01 11 1.96e-10pc normal -9.865135e+02 -- inf 0.01 23 3.08e-05ps
haverly 13 10 min -4.000000e+02 -4.000000e+02 normal -4.000000e+02 0.00 inf 0.00 5 0.00e+00pv normal -4.000000e+02 0.00 inf 0.00 5 0.00e+00pv normal -1.000000e+02 300.00 inf 0.03 35 8.88e-08pc normal -1.000000e+02 300.00 inf 0.02 35 8.88e-08pc normal -4.000000e+02 0.00 inf 0.01 13 1.14e-13pc
hhfair 30 26 min -- -8.715904e+01 normal -8.715904e+01 -- inf 0.01 32 2.03e-09dc normal -8.715904e+01 -- inf 0.00 15 4.16e-05dc normal -8.715904e+01 -- inf 0.01 18 3.28e-09ps normal -8.715904e+01 -- inf 0.01 18 3.28e-09ps normal -8.715904e+01 -- inf 0.01 107 1.79e-05ps
himmel11 10 5 min -3.066554e+04 -3.066554e+04 normal -3.066554e+04 0.00 inf 0.00 9 5.68e-14ps normal -3.066554e+04 0.00 inf 0.00 7 1.95e-08pc normal -3.066554e+04 0.00 inf 0.01 13 1.41e-08ps normal -3.066554e+04 0.00 inf 0.01 13 1.41e-08ps normal -3.066554e+04 0.00 inf 0.01 8 1.41e-04ps
himmel16 19 22 min -- -- normal -6.749814e-01 -- inf 0.00 16 3.46e-09dc normal -6.749810e-01 -- inf 0.00 14 4.62e-04dc normal -6.749814e-01 -- inf 0.01 14 4.19e-11pc normal -6.749814e-01 -- inf 0.01 14 4.19e-11pc normal -6.749814e-01 -- inf 0.02 43 2.90e-06dc
house 9 9 min -4.500000e+03 -4.500000e+03 normal -4.500000e+03 0.00 inf 0.00 7 0.00e+00pv normal -4.499999e+03 0.00 inf 0.00 6 1.17e-03pc normal -4.500000e+03 0.00 inf 0.01 14 3.00e-07pc normal -4.500000e+03 0.00 inf 0.01 10 3.00e-07pc normal -4.500000e+03 -0.00 inf 0.01 15 2.83e-04pc
hs62 4 2 min -2.627306e+04 -2.627306e+04 normal -2.627254e+04 0.00 inf 0.00 14 6.59e-09dc normal -2.627336e+04 -0.00 inf 0.00 13 3.84e-04dc normal -2.627252e+04 0.00 inf 0.01 30 2.38e-04ps normal -2.627251e+04 0.00 inf 0.02 47 2.17e+03dc normal -2.627251e+04 0.00 inf 0.01 26 7.43e+00dc
hydro 32 25 min 4.366944e+06 4.366944e+06 normal 4.366944e+06 -0.00 inf 0.01 26 4.32e-12ps normal 4.366944e+06 -0.00 inf 0.00 26 1.65e-08ps normal 4.366944e+06 -0.00 inf 0.01 17 6.00e-06pc normal 4.366944e+06 -0.00 inf 0.02 17 6.00e-06pc normal 4.366944e+06 -0.00 inf 0.01 36 1.85e-04ps
immun 22 8 min 0.000000e+00 0.000000e+00 othrlim inf inf inf 0.00 0 1.78e+06ps othrlim inf inf inf 0.00 0 1.78e+06ps normal 2.376986e-20 0.00 inf 0.01 14 9.03e-07ps normal 2.376986e-20 0.00 inf 0.01 14 9.03e-07ps normal 2.608450e-12 0.00 inf 0.01 11 3.23e-06dc
infeas1 273 1615 max -- -- normal 1.368560e+04 -- inf 0.20 69 4.22e-09ps normal 1.368560e+04 -- inf 0.23 65 9.32e-05ps normal 1.368560e+04 -- inf 0.46 29 6.34e-06pc normal 1.368560e+04 -- inf 0.35 30 6.34e-06pc normal 1.368560e+04 -- inf 0.60 500 8.40e-03ps
jbearing100 5305 1 min -- -- normal -1.550420e-01 -- inf 0.50 26 8.47e-08dc normal -1.550331e-01 -- inf 0.41 24 4.10e-04dc normal -1.550419e-01 -- inf 0.55 16 2.98e-10ps normal -1.550419e-01 -- inf 0.42 16 2.98e-10ps other 1.607902e+01 -- inf 1.13 813 3.23e-01ps
jbearing25 1405 1 min -- -- normal -1.540155e-01 -- inf 0.11 23 7.64e-08dc normal -1.540153e-01 -- inf 0.09 21 4.22e-04dc normal -1.540155e-01 -- inf 0.13 15 1.22e-09ps normal -1.540155e-01 -- inf 0.10 15 1.22e-09ps other 9.532365e+00 -- inf 1.09 842 8.72e-01ps
jbearing50 2705 1 min -- -- normal -1.548242e-01 -- inf 0.20 22 8.30e-08dc normal -1.548122e-01 -- inf 0.16 20 3.36e-04dc normal -1.548238e-01 -- inf 0.24 14 6.70e-09ps normal -1.548238e-01 -- inf 0.18 14 6.70e-09ps other 1.444723e+01 -- inf 0.97 843 5.49e-01ps
jbearing75 4005 1 min -- -- normal -1.549845e-01 -- inf 0.34 24 5.04e-08dc normal -1.549530e-01 -- inf 0.28 22 4.35e-04dc normal -1.549845e-01 -- inf 0.39 15 8.10e-10ps normal -1.549845e-01 -- inf 0.28 15 8.10e-10ps other 1.540915e+01 -- inf 1.02 822 5.52e-01ps
korcge 96 78 min -- -- normal -3.392130e+02 -- inf 0.00 9 1.13e-09pc normal -3.392130e+02 -- inf 0.00 6 2.60e-10pc normal -3.392130e+02 -- inf 0.01 3 4.26e-10dc normal -3.392130e+02 -- inf 0.01 3 6.74e-11dc normal -3.392130e+02 -- inf 0.01 33 2.23e-06pc
launch 39 29 min -- -- normal 2.257798e+03 -- inf 0.00 10 5.67e-04pc normal 2.257798e+03 -- inf 0.00 10 2.46e+00pc normal 2.257798e+03 -- inf 0.02 25 5.44e-06pc normal 2.257798e+03 -- inf 0.01 25 5.44e-06pc normal 2.257798e+03 -- inf 0.01 37 7.28e-12pc
least 4 1 min 1.408514e+04 1.408514e+04 normal 1.408514e+04 0.00 inf 0.00 13 1.64e-08dc normal 1.408514e+04 0.00 inf 0.00 12 3.54e-06dc normal 1.408514e+04 0.00 inf 0.00 4 1.03e-09ps normal 1.408514e+04 0.00 inf 0.00 4 4.80e-10ps normal 1.408514e+04 0.00 inf 0.01 21 8.36e-08ps
like 10 4 min -- 1.204299e+03 normal 1.138411e+03 -- inf 0.01 26 2.39e-08ps normal 1.138411e+03 -- inf 0.01 25 7.82e-06ps normal 1.138411e+03 -- inf 0.01 11 2.75e-11ps normal 1.138411e+03 -- inf 0.01 11 2.74e-11ps normal 1.138411e+03 -- inf 0.01 77 6.85e-06dc
linear 25 21 min 8.900000e+01 8.900000e+01 other 8.906240e+01 0.07 inf 0.02 70 1.29e+00ps other 8.906240e+01 0.07 inf 0.02 70 1.29e+00ps other 8.976978e+01 0.86 inf 0.21 269 2.24e+00ps other 1.604629e+02 80.30 inf 0.04 62 1.51e+00ps other 8.900421e+01 0.00 inf 0.01 125 1.65e+00ps
Instance comet@0 cupid@0 dancer@0 dasher@0 donner@0
name #Vars #Equs Dir Dual bound Primal bound TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol.
lnts100 507 401 min -- -- normal 5.545954e-01 -- inf 0.14 252 2.73e-08ps normal 5.546116e-01 -- inf 0.12 253 2.21e-04ps normal 5.545954e-01 -- inf 0.06 12 1.00e-11ps normal 5.545954e-01 -- inf 0.03 12 1.00e-11ps normal 5.545954e-01 -- inf 0.53 365 1.79e-06ps
lnts200 1007 801 min -- -- normal 5.545770e-01 -- inf 0.36 101 9.66e-09ps normal 5.546502e-01 -- inf 0.16 78 2.53e-04ps normal 5.545770e-01 -- inf 0.09 11 2.00e-11ps normal 5.545770e-01 -- inf 0.04 11 2.00e-11ps normal 5.545770e-01 -- inf 2.35 1113 2.76e-06ps
lnts400 2007 1601 min -- -- normal 5.545724e-01 -- inf 1.13 167 7.44e-08ps normal 5.546327e-01 -- inf 0.54 136 1.73e-04ps normal 5.545724e-01 -- inf 0.18 10 4.00e-11ps normal 5.545724e-01 -- inf 0.07 10 4.00e-11ps normal 5.545724e-01 -- inf 9.93 3077 3.26e-06ps
lnts50 257 201 min -- -- normal 5.546688e-01 -- inf 0.03 50 4.25e-08ps normal 5.546726e-01 -- inf 0.03 36 1.78e-04ps normal 5.546688e-01 -- inf 0.04 16 1.00e-11ps normal 5.546688e-01 -- inf 0.02 16 1.00e-11ps normal 5.546688e-01 -- inf 0.18 181 2.79e-06ps
mathopt1 3 3 min 0.000000e+00 0.000000e+00 normal 1.000000e+00 inf inf 0.00 5 8.88e-14ps normal 1.000000e+00 inf inf 0.00 5 8.88e-14ps normal 3.289429e-18 0.00 inf 0.01 8 2.94e-08ps normal 3.289429e-18 0.00 inf 0.00 8 2.94e-08ps normal 1.000000e+00 inf inf 0.01 8 9.83e-09ps
mathopt2 3 5 min 0.000000e+00 0.000000e+00 normal 0.000000e+00 0.00 inf 0.00 5 2.43e-08pc normal 6.008369e-23 0.00 inf 0.00 6 3.84e-11pc normal 3.429791e-26 0.00 inf 0.01 13 5.26e-12pc normal 3.429792e-26 0.00 inf 0.01 13 5.26e-12pc normal 3.913864e-19 0.00 inf 0.01 3 3.10e-09pc
mathopt3 7 8 min -- -- normal -- -- inf 0.00 29 9.28e+01dc normal -- -- inf 0.00 22 9.28e+01dc normal 4.999445e-12 -- inf 0.04 70 1.00e-11ds normal 4.999599e-12 -- inf 0.03 72 2.98e-09dc normal 2.242538e-12 -- inf 0.02 69 2.33e-06dc
mathopt4 3 3 min -- -- normal 0.000000e+00 -- inf 0.00 4 0.00e+00pv normal 0.000000e+00 -- inf 0.00 4 0.00e+00pv normal 1.602153e-20 -- inf 0.01 7 9.09e-10ds normal 1.602153e-20 -- inf 0.00 7 9.09e-10ds normal 0.000000e+00 -- inf 0.01 0 0.00e+00pv
maxmin 27 78 min -- -- normal -3.410814e-01 -- inf 0.01 14 1.96e-17ds normal -3.542525e-01 -- inf 0.01 9 8.28e-04dc normal -3.503624e-01 -- inf 0.05 32 1.09e-11ds normal -3.503624e-01 -- inf 0.03 32 1.09e-11ds normal -3.542487e-01 -- inf 0.02 85 3.95e-09dv
meanvar 9 3 min 5.243392e+00 5.243392e+00 normal 5.243399e+00 0.00 inf 0.00 9 1.90e-15ps normal 5.243399e+00 0.00 inf 0.00 8 2.36e-04ps normal 5.243399e+00 0.00 inf 0.01 9 1.49e-09ps normal 5.243399e+00 0.00 inf 0.01 9 1.49e-09ps normal 5.243399e+00 0.00 inf 0.01 14 1.08e-05ps
methanol100 3006 2998 min -- -- normal 9.022291e-03 -- inf 0.20 26 2.15e-07dc normal 9.022342e-03 -- inf 0.12 17 4.31e-03ps normal 9.022291e-03 -- inf 0.34 11 3.93e-11pc normal 9.022291e-03 -- inf 0.20 11 3.93e-11pc normal 9.022291e-03 -- inf 0.95 1251 1.01e-06dc
methanol200 6006 5998 min -- -- normal 9.022290e-03 -- inf 0.42 26 3.37e-07dc normal 9.266563e-03 -- inf 0.26 17 1.47e-03dc normal 9.022290e-03 -- inf 4.41 47 3.34e-10pc normal 9.022290e-03 -- inf 4.05 56 9.94e-12ps normal 9.022289e-03 -- inf 2.66 1877 1.69e-06dc
methanol400 12006 11998 min -- -- normal 9.022290e-03 -- inf 0.99 26 4.77e-07dc normal 9.022319e-03 -- inf 0.70 19 1.12e-03dc normal 9.022290e-03 -- inf 4.46 23 9.94e-12ps normal 9.022290e-03 -- inf 3.00 22 3.34e-09pc normal 9.022290e-03 -- inf 9.73 3253 2.04e-06dc
methanol50 1506 1498 min -- -- normal 9.022287e-03 -- inf 0.10 25 1.40e-07dc normal 9.285776e-03 -- inf 0.08 19 4.42e-03ps normal 9.022287e-03 -- inf 0.12 9 9.94e-12ps normal 9.022287e-03 -- inf 0.07 9 9.94e-12ps normal 9.022287e-03 -- inf 7.90 1610 3.38e-06dc
mhw4d 6 4 min -- 2.930708e-02 normal 2.787191e+01 -- inf 0.00 22 5.61e-13dc normal 2.787190e+01 -- inf 0.00 14 6.08e-05dc normal 2.787191e+01 -- inf 0.01 8 2.21e-10dc normal 2.787191e+01 -- inf 0.00 8 2.21e-10dc normal 2.787191e+01 -- inf 0.01 16 6.94e-07dc
minlphi 65 80 min -- 5.822361e+02 normal 5.822361e+02 -- inf 0.00 14 3.55e-15pc normal 5.822361e+02 -- inf 0.00 14 3.55e-15pc normal 5.822361e+02 -- inf 0.03 22 3.24e-08pc normal 5.822361e+02 -- inf 0.01 22 3.24e-08pc normal 5.822361e+02 -- inf 0.01 34 5.68e-14pc
minsurf100 5305 1 min -- -- normal 2.506949e+00 -- inf 0.61 31 7.75e-08dc normal 2.507066e+00 -- inf 0.48 26 4.44e-04dc normal 2.506950e+00 -- inf 0.60 18 8.71e-10ps normal 2.506950e+00 -- inf 0.56 18 8.71e-10ps other 2.528241e+00 -- inf 3.46 1022 1.66e-02dc
minsurf25 1405 1 min -- -- normal 2.519488e+00 -- inf 0.07 14 7.67e-08ps normal 2.519495e+00 -- inf 0.06 12 3.80e-04dc normal 2.519488e+00 -- inf 0.14 16 1.96e-09ps normal 2.519488e+00 -- inf 0.12 16 1.96e-09ps other 2.520067e+00 -- inf 4.25 1659 7.59e-03dc
minsurf50 2705 1 min -- -- normal 2.514889e+00 -- inf 0.17 24 7.90e-08dc normal 2.514899e+00 -- inf 0.12 21 4.43e-04dc normal 2.514890e+00 -- inf 0.29 17 3.30e-09ps normal 2.514890e+00 -- inf 0.26 17 3.30e-09ps other 2.521645e+00 -- inf 5.70 1730 1.43e-02dc
minsurf75 4005 1 min -- -- normal 2.505686e+00 -- inf 0.32 28 8.74e-08dc normal 2.505761e+00 -- inf 0.23 25 4.30e-04dc normal 2.505687e+00 -- inf 1.37 44 1.52e-09ps normal 2.505687e+00 -- inf 1.25 44 1.52e-09ps other 2.520508e+00 -- inf 2.31 938 1.37e-02dc
nemhaus 6 6 min 3.100000e+01 3.100000e+01 normal 3.100000e+01 0.00 inf 0.00 4 0.00e+00pv normal 3.100000e+01 0.00 inf 0.00 4 0.00e+00pv normal 3.100000e+01 0.00 inf 0.01 1 1.78e-15dc normal 3.100000e+01 0.00 inf 0.00 1 0.00e+00pv normal 3.100000e+01 0.00 inf 0.01 0 0.00e+00pv
otpop 104 77 min -- -- normal 2.115819e-18 -- inf 0.02 58 8.41e-06pc normal 1.782171e-11 -- inf 0.02 48 2.13e-05pc normal 3.383229e-23 -- inf 0.02 17 3.19e-12ps normal 3.383229e-23 -- inf 0.01 17 3.19e-12ps normal 4.117155e-11 -- inf 0.05 230 2.48e-06dc
pindyck 117 97 min -- -- normal -1.170486e+03 -- inf 0.00 16 5.96e-09ps normal -1.170486e+03 -- inf 0.01 12 1.63e-05ps normal -1.170486e+03 -- inf 0.01 8 1.84e-12ps normal -1.170486e+03 -- inf 0.01 8 1.84e-12ps normal -1.170486e+03 -- inf 0.02 86 3.60e-05dc
pinene100 5006 4996 min -- -- normal 1.987217e+01 -- inf 0.46 35 2.57e-09dc normal 1.986859e+01 -- inf 0.22 24 5.48e-02dc normal 1.987217e+01 -- inf 0.31 7 8.48e-08ps normal 1.987217e+01 -- inf 0.14 7 8.48e-08ps normal 1.987217e+01 -- inf 2.44 2295 2.13e-06dc
pinene200 10006 9996 min -- -- normal 1.987217e+01 -- inf 1.96 45 3.31e-09dc normal 1.987217e+01 -- inf 0.65 25 2.58e-02dc normal 1.987217e+01 -- inf 0.63 7 2.14e-07ps normal 1.987217e+01 -- inf 0.32 7 2.14e-07ps normal 1.987217e+01 -- inf 10.75 4869 2.12e-03dc
pinene25 2506 2496 min -- -- normal 1.987217e+01 -- inf 0.27 32 2.24e-09dc normal 1.987184e+01 -- inf 0.12 24 6.31e-03dc normal 1.987217e+01 -- inf 0.17 8 1.17e-09ps normal 1.987217e+01 -- inf 0.07 8 1.17e-09ps normal 1.987217e+01 -- inf 0.79 1189 4.04e-04dc
pinene50 2506 2496 min -- -- normal 1.987217e+01 -- inf 0.26 32 2.24e-09dc normal 1.987184e+01 -- inf 0.12 24 6.31e-03dc normal 1.987217e+01 -- inf 0.17 8 1.17e-09ps normal 1.987217e+01 -- inf 0.07 8 1.17e-09ps normal 1.987217e+01 -- inf 0.80 1189 4.04e-04dc
pollut 43 9 min -5.353269e+06 -5.353269e+06 normal -5.353269e+06 0.00 inf 0.00 24 4.66e-09pc normal -5.353269e+06 0.00 inf 0.00 24 4.66e-09pc normal -5.353269e+06 0.00 inf 0.01 18 6.12e-05pc normal -5.353269e+06 0.00 inf 0.01 18 6.12e-05pc normal -5.353269e+06 0.00 inf 0.01 155 8.80e-08ps
polygon100 201 5050 min -- -- normal -7.848630e-01 -- inf 6.76 358 5.36e-08ps other -7.846058e-01 -- inf 5.47 379 1.16e-03dv normal -7.850561e-01 -- inf 1.11 19 1.08e-11ps normal -7.850561e-01 -- inf 0.53 19 1.08e-11ps normal -7.850480e-01 -- inf 7.51 3216 3.76e-06ps
polygon25 51 325 min -- -- normal -7.789735e-01 -- inf 0.12 73 3.11e-08ps normal -7.791461e-01 -- inf 0.09 60 8.88e-05ps normal -7.797405e-01 -- inf 0.06 13 1.66e-09pc normal -7.797405e-01 -- inf 0.03 13 1.66e-09pc normal -7.797367e-01 -- inf 0.08 180 2.69e-06ps
Instance comet@0 cupid@0 dancer@0 dasher@0 donner@0
name #Vars #Equs Dir Dual bound Primal bound TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol.
polygon50 101 1275 min -- -- normal -7.828857e-01 -- inf 0.78 163 8.84e-08ps normal -7.831804e-01 -- inf 0.67 144 9.31e-05ps normal -7.821326e-01 -- inf 0.62 39 2.33e-10ps normal -7.821326e-01 -- inf 0.28 39 2.33e-10ps normal -7.840130e-01 -- inf 1.41 2063 3.27e-06ps
polygon75 151 2850 min -- -- normal -7.842848e-01 -- inf 2.67 236 4.01e-08ps normal -7.846140e-01 -- inf 3.32 286 2.86e-04ps normal -7.844638e-01 -- inf 1.38 41 2.70e-07ps normal -7.844638e-01 -- inf 0.63 42 8.20e-10ds normal -7.847884e-01 -- inf 4.88 2291 3.99e-06ps
popdynm100 5616 5593 min -- -- normal 1.974653e+04 -- inf 3.31 114 4.89e-08dc normal 1.974653e+04 -- inf 2.25 98 3.22e-03ps normal 1.974653e+04 -- inf 0.33 7 9.21e-07pc normal 1.974653e+04 -- inf 0.24 8 9.20e-07pc normal 1.974653e+04 -- inf 2.06 1792 2.41e-06dc
popdynm200 11216 11193 min -- -- normal 1.974653e+04 -- inf 6.64 102 3.26e-06dc normal 1.974653e+04 -- inf 7.52 142 3.30e-03ps normal 1.974653e+04 -- inf 0.92 8 9.22e-07pc normal 1.974653e+04 -- inf 0.53 8 9.22e-07pc normal 1.974653e+04 -- inf 5.94 2756 2.54e-06dc
popdynm25 1416 1393 min -- -- normal 1.975222e+04 -- inf 0.93 113 7.49e-08dc normal 1.975222e+04 -- inf 0.70 115 1.08e-03ps normal 1.975222e+04 -- inf 0.23 17 9.22e-07pc normal 1.975222e+04 -- inf 0.08 17 9.22e-07pc normal 1.975222e+04 -- inf 0.39 958 1.03e-06dc
popdynm50 2816 2793 min -- -- normal 1.974655e+04 -- inf 0.87 53 3.03e-08dc normal 1.974655e+04 -- inf 0.63 54 5.51e-04dc normal 1.974655e+04 -- inf 0.48 11 9.22e-07pc normal 1.974655e+04 -- inf 0.09 9 9.22e-07pc normal 1.974655e+04 -- inf 1.22 1491 1.13e-06ps
prob05 3 3 min 7.417820e-01 7.417820e-01 normal 7.417820e-01 0.00 inf 0.00 9 1.47e-13pc normal 7.417820e-01 0.00 inf 0.00 9 7.79e-11pc normal 7.417820e-01 0.00 inf 0.01 11 6.80e-11pc normal 7.417820e-01 0.00 inf 0.01 11 6.80e-11pc normal 7.417820e-01 0.00 inf 0.01 18 4.04e-14pc
prob06 2 2 min 1.177124e+00 1.177124e+00 normal 1.177124e+00 0.00 inf 0.00 6 4.44e-15pc normal 1.177124e+00 -0.00 inf 0.00 6 1.37e-08pc normal 1.177124e+00 0.00 inf 0.01 7 9.81e-11pc normal 1.177124e+00 0.00 inf 0.00 7 9.81e-11pc normal 1.177124e+00 0.00 inf 0.01 2 2.40e-10ps
prob07 15 36 min -- -- normal 1.549902e+05 -- inf 0.00 17 1.73e-11pc normal 1.549902e+05 -- inf 0.00 14 1.08e-03pc normal 1.549902e+05 -- inf 0.01 18 8.00e-07pc normal 1.549902e+05 -- inf 0.01 19 8.00e-07pc normal 1.549902e+05 -- inf 0.01 25 5.98e-04ps
prob09 3 1 min 0.000000e+00 0.000000e+00 normal -1.002562e-13 0.00 inf 0.00 11 1.47e-08ps normal -7.222343e-07 inf inf 0.00 10 1.18e-04ps normal -9.529238e-11 0.00 inf 0.01 9 9.53e-11pc normal -9.529238e-11 0.00 inf 0.00 9 9.53e-11pc normal -6.653353e-12 0.00 inf 0.01 20 3.17e-06ps
process 11 8 min -1.161337e+03 -1.161337e+03 normal -1.161337e+03 0.00 inf 0.00 15 1.56e-07pc normal -1.161337e+03 -0.00 inf 0.00 13 8.95e-06pc normal -1.161337e+03 0.00 inf 0.01 11 2.00e-07pc normal -1.161337e+03 0.00 inf 0.01 11 2.00e-07pc normal -1.161337e+03 0.00 inf 0.01 35 2.17e-05ps
prolog 21 23 min 0.000000e+00 0.000000e+00 normal 1.062185e+00 inf inf 0.00 16 9.09e-13pc normal 1.062185e+00 inf inf 0.00 17 2.27e-13dc normal 1.062185e+00 inf inf 0.02 28 4.05e-08pc normal 1.062185e+00 inf inf 0.01 28 4.05e-08pc normal 1.062185e+00 inf inf 0.01 53 1.25e-12dc
qp1 51 3 min -- -- normal 8.093151e-04 -- inf 0.01 17 1.02e-09dc normal 8.140394e-04 -- inf 0.01 15 2.42e-04dc normal 8.093278e-04 -- inf 0.02 12 7.61e-09ps normal 8.093278e-04 -- inf 0.02 12 7.61e-09ps normal 8.093151e-04 -- inf 0.02 114 3.50e-07dc
qp2 51 3 min -- -- normal 8.093151e-04 -- inf 0.01 17 1.02e-09dc normal 8.140394e-04 -- inf 0.01 15 2.42e-04dc normal 8.093278e-04 -- inf 0.01 12 7.61e-09ps normal 8.093278e-04 -- inf 0.01 12 7.61e-09ps normal 8.093151e-04 -- inf 0.02 114 3.50e-07dc
qp3 101 53 min -- -- normal 8.093151e-04 -- inf 0.01 28 1.43e-08dc normal 8.107408e-04 -- inf 0.01 27 6.50e-05ps normal 8.093284e-04 -- inf 0.02 12 8.89e-09ps normal 8.093284e-04 -- inf 0.02 12 8.89e-09ps normal 8.093151e-04 -- inf 0.02 114 3.50e-07dc
qp4 80 32 min -- -- normal 8.093151e-04 -- inf 0.00 19 5.17e-08dc normal 8.095319e-04 -- inf 0.00 18 1.06e-03dc normal 8.093293e-04 -- inf 0.01 12 8.25e-09ps normal 8.093293e-04 -- inf 0.01 12 8.25e-09ps normal 8.093151e-04 -- inf 0.02 114 3.50e-07dc
qp5 109 32 min -- -- normal 4.314559e-01 -- inf 0.01 5 1.71e-14dc normal 4.314559e-01 -- inf 0.01 5 1.71e-14dc normal 4.314559e-01 -- inf 0.02 17 3.81e-09pc normal 4.314559e-01 -- inf 0.02 17 3.81e-09pc normal 4.314559e-01 -- inf 0.01 124 7.83e-14dc
ramsey 34 23 min -2.487475e+00 -2.487475e+00 normal -2.487469e+00 0.00 inf 0.00 12 1.35e-11ps normal -2.487469e+00 0.00 inf 0.00 10 1.35e-05ps normal -2.487469e+00 0.00 inf 0.01 13 1.15e-10ps normal -2.487469e+00 0.00 inf 0.01 13 1.15e-10ps normal -2.487523e+00 -0.00 inf 0.01 34 1.10e-05dc
rbrock 3 1 min 0.000000e+00 0.000000e+00 normal 2.045321e-23 0.00 inf 0.00 28 8.39e-11ps normal 9.677428e-10 0.00 inf 0.00 26 2.19e-04ps normal 7.056915e-22 0.00 inf 0.01 21 1.09e-10ps normal 7.056915e-22 0.00 inf 0.01 21 1.09e-10ps normal 1.232170e-17 0.00 inf 0.01 27 1.22e-07ps
robot100 1113 803 min -- -- normal 9.142685e+00 -- inf 0.25 88 2.41e-13dc normal 9.142685e+00 -- inf 0.22 84 5.00e-11pc timelim -4.905016e+15 -- inf 906.32 5109 1.00e+02dc timelim inf -- inf 924.23 72789 6.33e+06pc normal 9.142685e+00 -- inf 1.62 2939 2.38e-08dc
robot200 2213 1603 min -- -- normal 9.141395e+00 -- inf 0.73 145 1.41e-13dc normal 9.141753e+00 -- inf 0.75 147 2.39e-03ps normal 9.141397e+00 -- inf 0.60 28 7.61e-09ps normal 9.141397e+00 -- inf 0.21 28 6.32e-09ps normal 9.141395e+00 -- inf 13.08 16351 1.09e-11dc
robot400 4413 3203 min -- -- normal 9.141026e+00 -- inf 2.13 254 1.45e-13dc normal 9.142345e+00 -- inf 2.19 260 2.95e-03ps normal 9.141026e+00 -- inf 1.82 31 4.61e-11dc normal 9.141026e+00 -- inf 0.52 33 1.95e-10dc normal 9.141241e+00 -- inf 164.25 90521 2.36e-04pc
robot50 563 403 min -- -- normal 9.146879e+00 -- inf 0.11 57 6.39e-14pc normal 9.146876e+00 -- inf 0.09 55 2.66e-06pc timelim inf -- inf 908.62 34183 5.00e+01dc timelim inf -- inf 928.96 115306 2.90e+13pc normal 9.146883e+00 -- inf 0.26 810 1.02e-05dc
rocket100 608 503 min -- -- normal -1.012832e+00 -- inf 0.92 824 4.64e-08ps normal -1.005933e+00 -- inf 0.35 525 4.81e-04dc normal -1.012832e+00 -- inf 5.24 64 1.03e-09pc normal -1.012832e+00 -- inf 2.27 70 4.74e-09pc normal -1.012830e+00 -- inf 3.55 3752 7.76e-07ps
rocket200 1208 1003 min -- -- other inf -- inf 1.29 1224 4.11e+01dc other inf -- inf 1.40 1323 2.11e+03dc normal -1.012836e+00 -- inf 32.38 122 3.68e-09pc normal -1.012836e+00 -- inf 12.13 122 3.69e-09pc normal -1.012818e+00 -- inf 6.96 9957 2.14e-06ps
rocket400 2408 2003 min -- -- other inf -- inf 7.26 2371 1.35e+07dc other inf -- inf 3.84 1996 3.19e+01dc normal -1.012837e+00 -- inf 394.03 61 1.20e-09pc normal -1.012837e+00 -- inf 67.19 61 1.20e-09pc normal -1.012837e+00 -- inf 5.92 8014 1.01e-05dc
rocket50 308 253 min -- -- normal -1.012817e+00 -- inf 0.22 381 7.53e-14ps normal -1.007833e+00 -- inf 0.14 264 8.72e-04dc normal -1.012817e+00 -- inf 0.29 45 1.00e-11ps normal -1.012817e+00 -- inf 0.19 45 1.00e-11ps normal -1.012810e+00 -- inf 0.43 1439 4.26e-06ps
sambal 18 11 min 3.968220e+00 3.968220e+00 normal 3.968220e+00 0.00 inf 0.00 10 1.77e-09pc normal 3.968220e+00 0.00 inf 0.00 10 1.77e-09pc normal 3.968220e+00 0.00 inf 0.00 1 2.84e-14pc normal 3.968220e+00 0.00 inf 0.00 1 2.84e-14pc normal 3.968220e+00 0.00 inf 0.01 30 8.04e-09dc
sample 5 3 min 7.266424e+02 7.266424e+02 normal 7.266794e+02 0.01 inf 0.00 12 9.26e-11ps normal 7.266756e+02 0.00 inf 0.00 13 2.60e-07pc normal 7.266794e+02 0.01 inf 0.01 12 2.86e-09ps normal 7.266794e+02 0.01 inf 0.01 12 2.86e-09ps normal 7.219354e+02 -0.65 inf 0.01 18 1.72e-02ps
ship 11 17 min -- -- normal 5.540915e+00 -- inf 0.00 14 6.82e-13pc normal 5.540915e+00 -- inf 0.00 10 2.04e-08pc normal 5.540915e+00 -- inf 0.01 14 1.09e-07pc normal 5.540915e+00 -- inf 0.01 14 1.09e-07pc normal 5.540915e+00 -- inf 0.01 19 7.18e-10pc
Instance comet@0 cupid@0 dancer@0 dasher@0 donner@0
name #Vars #Equs Dir Dual bound Primal bound TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol. TermStatus Primal bound PrimGap Gap Time Iters Viol.
srcpm 40 28 min 2.109782e+03 2.109782e+03 normal 2.109782e+03 0.00 inf 0.00 15 3.52e-09ps normal 2.109782e+03 0.00 inf 0.00 14 1.00e-06ps normal 2.109782e+03 0.00 inf 0.01 12 1.54e-07pc normal 2.109782e+03 0.00 inf 0.01 12 1.54e-07pc normal 2.109782e+03 0.00 inf 0.01 23 1.56e-06ps
st_bpaf1a 11 11 min -4.537971e+01 -4.537971e+01 normal -4.537971e+01 -0.00 inf 0.00 6 7.11e-15ds normal -4.537971e+01 -0.00 inf 0.00 6 7.11e-15ds normal -4.537971e+01 -0.00 inf 0.01 15 3.11e-09ds normal -4.537971e+01 -0.00 inf 0.01 15 3.11e-09ds normal -4.537971e+01 -0.00 inf 0.01 11 1.78e-15pc
st_bpaf1b 11 11 min -4.296256e+01 -4.296256e+01 normal -4.296256e+01 -0.00 inf 0.00 6 1.78e-15pc normal -4.296256e+01 -0.00 inf 0.00 6 1.78e-15pc normal -4.296256e+01 -0.00 inf 0.01 11 2.24e-09pc normal -4.296256e+01 -0.00 inf 0.01 11 2.24e-09pc normal -4.296256e+01 -0.00 inf 0.01 18 1.42e-14ps
st_bpk1 5 7 min -1.300000e+01 -1.300000e+01 normal -1.000000e+01 30.00 inf 0.00 6 0.00e+00pv normal -1.000000e+01 30.00 inf 0.00 6 0.00e+00pv normal -1.000000e+01 30.00 inf 0.01 20 8.90e-10pc normal -1.000000e+01 30.00 inf 0.01 20 8.90e-10pc normal -1.000000e+01 30.00 inf 0.01 8 2.22e-16dc
st_bpk2 5 7 min -1.300000e+01 -1.300000e+01 normal -1.000000e+01 30.00 inf 0.00 6 0.00e+00pv normal -1.000000e+01 30.00 inf 0.00 6 0.00e+00pv normal -1.000000e+01 30.00 inf 0.01 20 8.90e-10pc normal -1.000000e+01 30.00 inf 0.01 20 8.90e-10pc normal -1.000000e+01 30.00 inf 0.01 8 2.22e-16dc
st_bpv1 5 5 min 1.000000e+01 1.000000e+01 normal 1.000000e+01 0.00 inf 0.00 5 3.55e-15ds normal 1.000000e+01 0.00 inf 0.00 5 3.55e-15ds normal 1.000000e+01 -0.00 inf 0.01 13 5.51e-09pc normal 1.000000e+01 -0.00 inf 0.01 13 5.51e-09pc normal 1.000000e+01 0.00 inf 0.01 6 1.09e-12ps
st_bpv2 5 6 min -8.000000e+00 -8.000000e+00 normal 0.000000e+00 inf inf 0.00 4 0.00e+00pv normal 0.000000e+00 inf inf 0.00 4 0.00e+00pv normal 0.000000e+00 inf inf 0.00 5 1.98e-11ds normal 0.000000e+00