{"version": 2, "width": 88, "height": 22, "title": "From a graph to a verified solution", "env": {"TERM": "xterm-256color", "SHELL": "/bin/bash"}}
[0.0, "o", "\u001b[90m# Discover a route to an available solver\u001b[0m\r\n"]
[0.45, "o", "$ "]
[0.476395, "o", "."]
[0.497848, "o", "/"]
[0.533589, "o", "p"]
[0.552802, "o", "r"]
[0.585255, "o", "e"]
[0.612846, "o", "d"]
[0.631646, "o", " "]
[0.663287, "o", "p"]
[0.681502, "o", "a"]
[0.711034, "o", "t"]
[0.730173, "o", "h"]
[0.749908, "o", " "]
[0.77918, "o", "M"]
[0.819947, "o", "I"]
[0.840627, "o", "S"]
[0.864148, "o", " "]
[0.899218, "o", "I"]
[0.943438, "o", "L"]
[0.977069, "o", "P"]
[1.005546, "o", " "]
[1.050582, "o", "-"]
[1.069056, "o", "-"]
[1.110726, "o", "j"]
[1.136143, "o", "s"]
[1.157408, "o", "o"]
[1.177916, "o", "n"]
[1.203873, "o", " "]
[1.244334, "o", "-"]
[1.26664, "o", "o"]
[1.3004, "o", " "]
[1.335798, "o", "p"]
[1.36358, "o", "a"]
[1.396373, "o", "t"]
[1.41531, "o", "h"]
[1.434156, "o", "s"]
[1.457183, "o", "."]
[1.493766, "o", "j"]
[1.523126, "o", "s"]
[1.549244, "o", "o"]
[1.583117, "o", "n"]
[1.883117, "o", "\r\n"]
[2.033117, "o", "Wrote paths.json\r\n"]
[4.733117, "o", "\r\n"]
[4.733117, "o", "\u001b[90m# Select the first returned route\u001b[0m\r\n"]
[5.183117, "o", "$ "]
[5.213208, "o", "p"]
[5.238916, "o", "y"]
[5.278755, "o", "t"]
[5.31587, "o", "h"]
[5.339987, "o", "o"]
[5.373542, "o", "n"]
[5.40569, "o", "3"]
[5.447837, "o", " "]
[5.485821, "o", "-"]
[5.511191, "o", "c"]
[5.556338, "o", " "]
[5.576855, "o", "'"]
[5.605944, "o", "i"]
[5.644719, "o", "m"]
[5.666205, "o", "p"]
[5.697318, "o", "o"]
[5.715581, "o", "r"]
[5.751816, "o", "t"]
[5.790803, "o", " "]
[5.824318, "o", "j"]
[5.866475, "o", "s"]
[5.892582, "o", "o"]
[5.92959, "o", "n"]
[5.963715, "o", ";"]
[5.997427, "o", " "]
[6.027604, "o", "j"]
[6.068746, "o", "s"]
[6.11288, "o", "o"]
[6.143568, "o", "n"]
[6.179687, "o", "."]
[6.198563, "o", "d"]
[6.235748, "o", "u"]
[6.271381, "o", "m"]
[6.316898, "o", "p"]
[6.357524, "o", "("]
[6.382798, "o", "j"]
[6.410964, "o", "s"]
[6.447211, "o", "o"]
[6.464999, "o", "n"]
[6.495333, "o", "."]
[6.517277, "o", "l"]
[6.537765, "o", "o"]
[6.556593, "o", "a"]
[6.595685, "o", "d"]
[6.616523, "o", "("]
[6.640741, "o", "o"]
[6.669054, "o", "p"]
[6.711094, "o", "e"]
[6.73054, "o", "n"]
[6.760516, "o", "("]
[6.793357, "o", "\""]
[6.83574, "o", "p"]
[6.876291, "o", "a"]
[6.918119, "o", "t"]
[6.943217, "o", "h"]
[6.972225, "o", "s"]
[6.999618, "o", "."]
[7.042024, "o", "j"]
[7.086531, "o", "s"]
[7.107985, "o", "o"]
[7.130163, "o", "n"]
[7.153933, "o", "\""]
[7.177743, "o", ")"]
[7.208742, "o", ")"]
[7.242717, "o", "["]
[7.267367, "o", "\""]
[7.284627, "o", "p"]
[7.313739, "o", "a"]
[7.341432, "o", "t"]
[7.374756, "o", "h"]
[7.419131, "o", "s"]
[7.456002, "o", "\""]
[7.487873, "o", "]"]
[7.522661, "o", "["]
[7.559124, "o", "0"]
[7.57781, "o", "]"]
[7.620653, "o", ","]
[7.660081, "o", " "]
[7.70221, "o", "o"]
[7.742149, "o", "p"]
[7.770503, "o", "e"]
[7.799045, "o", "n"]
[7.819146, "o", "("]
[7.854412, "o", "\""]
[7.873333, "o", "p"]
[7.8924, "o", "a"]
[7.915508, "o", "t"]
[7.937288, "o", "h"]
[7.964147, "o", "."]
[7.982792, "o", "j"]
[7.999941, "o", "s"]
[8.021406, "o", "o"]
[8.041448, "o", "n"]
[8.068979, "o", "\""]
[8.086851, "o", ","]
[8.128975, "o", " "]
[8.163662, "o", "\""]
[8.185049, "o", "w"]
[8.2094, "o", "\""]
[8.236468, "o", ")"]
[8.264015, "o", ")"]
[8.284668, "o", "'"]
[8.584668, "o", "\r\n"]
[8.734668, "o", "\r\n"]
[11.434668, "o", "\r\n"]
[11.434668, "o", "\u001b[90m# Create a five-vertex cycle\u001b[0m\r\n"]
[11.884668, "o", "$ "]
[11.926066, "o", "."]
[11.971583, "o", "/"]
[12.00204, "o", "p"]
[12.033007, "o", "r"]
[12.052604, "o", "e"]
[12.072666, "o", "d"]
[12.099599, "o", " "]
[12.124306, "o", "c"]
[12.16513, "o", "r"]
[12.186886, "o", "e"]
[12.204689, "o", "a"]
[12.249002, "o", "t"]
[12.281238, "o", "e"]
[12.30257, "o", " "]
[12.335232, "o", "M"]
[12.353147, "o", "I"]
[12.385379, "o", "S"]
[12.430479, "o", " "]
[12.472288, "o", "-"]
[12.509323, "o", "-"]
[12.533926, "o", "g"]
[12.561546, "o", "r"]
[12.583461, "o", "a"]
[12.62266, "o", "p"]
[12.655019, "o", "h"]
[12.694421, "o", " "]
[12.720983, "o", "0"]
[12.744498, "o", "-"]
[12.784827, "o", "1"]
[12.830111, "o", ","]
[12.871615, "o", "1"]
[12.911788, "o", "-"]
[12.952312, "o", "2"]
[12.990594, "o", ","]
[13.014215, "o", "2"]
[13.046148, "o", "-"]
[13.07345, "o", "3"]
[13.09142, "o", ","]
[13.109361, "o", "3"]
[13.134488, "o", "-"]
[13.159036, "o", "4"]
[13.195965, "o", ","]
[13.240437, "o", "4"]
[13.270357, "o", "-"]
[13.314272, "o", "0"]
[13.359645, "o", " "]
[13.404073, "o", "-"]
[13.431634, "o", "o"]
[13.455076, "o", " "]
[13.4787, "o", "c"]
[13.501463, "o", "y"]
[13.524445, "o", "c"]
[13.559419, "o", "l"]
[13.602285, "o", "e"]
[13.64344, "o", "."]
[13.674282, "o", "j"]
[13.710082, "o", "s"]
[13.750071, "o", "o"]
[13.769636, "o", "n"]
[14.069636, "o", "\r\n"]
[14.219636, "o", "Wrote cycle.json\r\n"]
[16.919636, "o", "\r\n"]
[16.919636, "o", "\u001b[90m# Transform the instance and preserve the way back\u001b[0m\r\n"]
[17.369636, "o", "$ "]
[17.405653, "o", "."]
[17.44879, "o", "/"]
[17.488284, "o", "p"]
[17.526859, "o", "r"]
[17.55766, "o", "e"]
[17.579904, "o", "d"]
[17.619593, "o", " "]
[17.646237, "o", "r"]
[17.68626, "o", "e"]
[17.731165, "o", "d"]
[17.759617, "o", "u"]
[17.788228, "o", "c"]
[17.832423, "o", "e"]
[17.870274, "o", " "]
[17.892274, "o", "c"]
[17.913047, "o", "y"]
[17.934508, "o", "c"]
[17.977504, "o", "l"]
[18.01769, "o", "e"]
[18.039009, "o", "."]
[18.079766, "o", "j"]
[18.124918, "o", "s"]
[18.16084, "o", "o"]
[18.187994, "o", "n"]
[18.220813, "o", " "]
[18.241699, "o", "-"]
[18.259248, "o", "-"]
[18.304131, "o", "v"]
[18.339836, "o", "i"]
[18.372024, "o", "a"]
[18.415842, "o", " "]
[18.445379, "o", "p"]
[18.487429, "o", "a"]
[18.528176, "o", "t"]
[18.551349, "o", "h"]
[18.575687, "o", "."]
[18.6012, "o", "j"]
[18.625216, "o", "s"]
[18.659114, "o", "o"]
[18.683667, "o", "n"]
[18.712782, "o", " "]
[18.73367, "o", "-"]
[18.776813, "o", "o"]
[18.804064, "o", " "]
[18.834297, "o", "r"]
[18.868107, "o", "e"]
[18.911087, "o", "d"]
[18.940248, "o", "u"]
[18.983611, "o", "c"]
[19.015087, "o", "e"]
[19.047425, "o", "d"]
[19.079525, "o", "."]
[19.097202, "o", "j"]
[19.12692, "o", "s"]
[19.149295, "o", "o"]
[19.16655, "o", "n"]
[19.46655, "o", "\r\n"]
[19.61655, "o", "Wrote reduced.json\r\n"]
[22.31655, "o", "\r\n"]
[22.31655, "o", "\u001b[90m# Solve the target and recover a source solution\u001b[0m\r\n"]
[22.76655, "o", "$ "]
[22.806526, "o", "."]
[22.828593, "o", "/"]
[22.859265, "o", "p"]
[22.897127, "o", "r"]
[22.930169, "o", "e"]
[22.956626, "o", "d"]
[22.988579, "o", " "]
[23.021591, "o", "s"]
[23.061142, "o", "o"]
[23.081317, "o", "l"]
[23.114468, "o", "v"]
[23.138711, "o", "e"]
[23.163765, "o", " "]
[23.202973, "o", "r"]
[23.234622, "o", "e"]
[23.267814, "o", "d"]
[23.306671, "o", "u"]
[23.349885, "o", "c"]
[23.379692, "o", "e"]
[23.414336, "o", "d"]
[23.445923, "o", "."]
[23.477699, "o", "j"]
[23.514634, "o", "s"]
[23.544701, "o", "o"]
[23.577081, "o", "n"]
[23.877081, "o", "\r\n"]
[24.027081, "o", "Problem: MaximumIndependentSet\r\nSolver: ilp (ILP<i64, bool> -> ILP<f64, bool>) (via ILP)\r\nStatus: optimal\r\nSolution: Array [Bool(true), Bool(false), Bool(false), Bool(true), Bool(false)]\r\nEvaluation: Max(2)\r\n\r\nHint: use -o to save full solution details (including intermediate results) as JSON.\r\n"]
[26.727081, "o", "\r\n"]
[26.727081, "o", "\u001b[90m# Check an independent set of size two\u001b[0m\r\n"]
[27.177081, "o", "$ "]
[27.207882, "o", "."]
[27.251925, "o", "/"]
[27.289045, "o", "p"]
[27.331232, "o", "r"]
[27.375294, "o", "e"]
[27.399854, "o", "d"]
[27.432983, "o", " "]
[27.477076, "o", "e"]
[27.518219, "o", "v"]
[27.53928, "o", "a"]
[27.559898, "o", "l"]
[27.589673, "o", "u"]
[27.608888, "o", "a"]
[27.632907, "o", "t"]
[27.652139, "o", "e"]
[27.688409, "o", " "]
[27.72795, "o", "c"]
[27.770722, "o", "y"]
[27.792278, "o", "c"]
[27.829882, "o", "l"]
[27.865889, "o", "e"]
[27.887117, "o", "."]
[27.929483, "o", "j"]
[27.97427, "o", "s"]
[27.997687, "o", "o"]
[28.042045, "o", "n"]
[28.070566, "o", " "]
[28.101631, "o", "-"]
[28.147056, "o", "-"]
[28.187983, "o", "c"]
[28.209739, "o", "o"]
[28.239211, "o", "n"]
[28.271085, "o", "f"]
[28.297917, "o", "i"]
[28.320653, "o", "g"]
[28.346896, "o", " "]
[28.384672, "o", "'"]
[28.402372, "o", "["]
[28.435344, "o", "t"]
[28.465072, "o", "r"]
[28.482731, "o", "u"]
[28.509346, "o", "e"]
[28.544315, "o", ","]
[28.576094, "o", "f"]
[28.595074, "o", "a"]
[28.640362, "o", "l"]
[28.680029, "o", "s"]
[28.724935, "o", "e"]
[28.745071, "o", ","]
[28.769802, "o", "t"]
[28.788076, "o", "r"]
[28.827476, "o", "u"]
[28.852345, "o", "e"]
[28.87319, "o", ","]
[28.902397, "o", "f"]
[28.94558, "o", "a"]
[28.986123, "o", "l"]
[29.010654, "o", "s"]
[29.032065, "o", "e"]
[29.07547, "o", ","]
[29.108915, "o", "f"]
[29.14607, "o", "a"]
[29.165769, "o", "l"]
[29.184556, "o", "s"]
[29.221361, "o", "e"]
[29.250656, "o", "]"]
[29.269868, "o", "'"]
[29.569868, "o", "\r\n"]
[29.719868, "o", "Max(2)\r\n"]
[32.419868, "o", "\r\n"]
[32.419868, "o", "\u001b[90m# Solve the original instance with the default solver\u001b[0m\r\n"]
[32.869868, "o", "$ "]
[32.913821, "o", "."]
[32.949091, "o", "/"]
[32.989137, "o", "p"]
[33.008673, "o", "r"]
[33.050279, "o", "e"]
[33.069325, "o", "d"]
[33.111119, "o", " "]
[33.141227, "o", "s"]
[33.16806, "o", "o"]
[33.201004, "o", "l"]
[33.244624, "o", "v"]
[33.26942, "o", "e"]
[33.290255, "o", " "]
[33.322452, "o", "c"]
[33.346407, "o", "y"]
[33.366678, "o", "c"]
[33.388433, "o", "l"]
[33.407015, "o", "e"]
[33.429923, "o", "."]
[33.45598, "o", "j"]
[33.481837, "o", "s"]
[33.52068, "o", "o"]
[33.546108, "o", "n"]
[33.846108, "o", "\r\n"]
[33.996108, "o", "Problem: MaximumIndependentSet\r\nSolver: ilp (MaximumIndependentSet<SimpleGraph, One> -> MaximumIndependentSet<SimpleGraph, i64> -> MaximumSetPacking<i64> -> ILP<i64, bool> -> ILP<f64, bool>)\r\nStatus: optimal\r\nSolution: Array [Bool(true), Bool(false), Bool(false), Bool(true), Bool(false)]\r\nEvaluation: Max(2)\r\n\r\nHint: use -o to save full solution details as JSON.\r\n"]
[36.696108, "o", "$ "]