Version: 1.13 
 _ data/zoo_json_cond_enf1/Columbus_4.json -f output/flip/data/zoo_json_cond_enf1/Columbus_4.json.subpaths
Flip subpaths generated in 0.26 seconds!
real 1.03
user 1.27
sys 0.12
<logging.Logger object at 0x7f692595f7d0>
W1217 12:43:09.97 2605468 flip.py:156] subpath ['165', '203', '164', '201', '199', '198', '225', '224', '251', '252', '261', '209', '208', '211', '205', '238', '207', '206', '213', '250', '233', '271', '232', '269', '267', '266', '293', '292', '319', '320', '329', '277', '276', '279', '273', '306', '275', '274', '281', '318', '301', '339', '300', '337', '335', '334', '361', '360', '387', '388', '397', '345', '344', '347', '341', '374', '343', '342', '349', '386', '369', '407', '368', '405', '403', '402', '429', '428', '455', '456', '465', '413'] is superfluous, discarding it
W1217 12:43:09.97 2605468 flip.py:156] subpath ['165', '203', '164', '201', '199', '198', '225', '224', '251', '252', '261', '209', '208', '211', '205', '238', '207', '206', '213', '250', '233', '271', '232', '269', '267', '266', '293', '292', '319', '320', '329', '277', '276', '279', '273', '306', '275', '274', '281', '318', '301', '339', '300', '337', '335', '334', '361', '360', '387', '388', '397', '396', '395', '356', '357', '398', '399', '372', '384', '371', '353', '369', '407', '368', '405', '403', '402', '429', '428', '455', '456', '465', '413'] is superfluous, discarding it
W1217 12:43:09.97 2605468 flip.py:156] subpath ['165', '203', '164', '201', '199', '198', '225', '224', '251', '252', '261', '209', '208', '211', '205', '238', '207', '206', '213', '250', '233', '271', '232', '269', '267', '266', '293', '292', '319', '320', '329', '328', '327', '288', '289', '330', '331', '304', '316', '303', '285', '301', '339', '300', '337', '335', '334', '361', '360', '387', '388', '397', '345', '344', '347', '341', '374', '343', '342', '349', '386', '369', '407', '368', '405', '403', '402', '429', '428', '455', '456', '465', '413'] is superfluous, discarding it
W1217 12:43:09.97 2605468 flip.py:156] subpath ['165', '203', '164', '201', '199', '198', '225', '224', '251', '252', '261', '209', '208', '211', '205', '238', '207', '206', '213', '250', '233', '271', '232', '269', '267', '266', '293', '292', '319', '320', '329', '328', '327', '288', '289', '330', '331', '304', '316', '303', '285', '301', '339', '300', '337', '335', '334', '361', '360', '387', '388', '397', '396', '395', '356', '357', '398', '399', '372', '384', '371', '353', '369', '407', '368', '405', '403', '402', '429', '428', '455', '456', '465', '413'] is superfluous, discarding it
W1217 12:43:09.97 2605468 flip.py:156] subpath ['165', '203', '164', '201', '199', '198', '225', '224', '251', '252', '261', '260', '259', '220', '221', '262', '263', '236', '248', '235', '217', '233', '271', '232', '269', '267', '266', '293', '292', '319', '320', '329', '277', '276', '279', '273', '306', '275', '274', '281', '318', '301', '339', '300', '337', '335', '334', '361', '360', '387', '388', '397', '345', '344', '347', '341', '374', '343', '342', '349', '386', '369', '407', '368', '405', '403', '402', '429', '428', '455', '456', '465', '413'] is superfluous, discarding it
W1217 12:43:09.97 2605468 flip.py:156] subpath ['165', '203', '164', '201', '199', '198', '225', '224', '251', '252', '261', '260', '259', '220', '221', '262', '263', '236', '248', '235', '217', '233', '271', '232', '269', '267', '266', '293', '292', '319', '320', '329', '277', '276', '279', '273', '306', '275', '274', '281', '318', '301', '339', '300', '337', '335', '334', '361', '360', '387', '388', '397', '396', '395', '356', '357', '398', '399', '372', '384', '371', '353', '369', '407', '368', '405', '403', '402', '429', '428', '455', '456', '465', '413'] is superfluous, discarding it
W1217 12:43:09.97 2605468 flip.py:156] subpath ['165', '203', '164', '201', '199', '198', '225', '224', '251', '252', '261', '260', '259', '220', '221', '262', '263', '236', '248', '235', '217', '233', '271', '232', '269', '267', '266', '293', '292', '319', '320', '329', '328', '327', '288', '289', '330', '331', '304', '316', '303', '285', '301', '339', '300', '337', '335', '334', '361', '360', '387', '388', '397', '345', '344', '347', '341', '374', '343', '342', '349', '386', '369', '407', '368', '405', '403', '402', '429', '428', '455', '456', '465', '413'] is superfluous, discarding it
W1217 12:43:09.97 2605468 flip.py:156] subpath ['165', '203', '164', '201', '199', '198', '225', '224', '251', '252', '261', '260', '259', '220', '221', '262', '263', '236', '248', '235', '217', '233', '271', '232', '269', '267', '266', '293', '292', '319', '320', '329', '328', '327', '288', '289', '330', '331', '304', '316', '303', '285', '301', '339', '300', '337', '335', '334', '361', '360', '387', '388', '397', '396', '395', '356', '357', '398', '399', '372', '384', '371', '353', '369', '407', '368', '405', '403', '402', '429', '428', '455', '456', '465', '413'] is superfluous, discarding it
Traceback (most recent call last):
  File "runflipwithdfa.py", line 39, in <module>
    main(jsonPath, subpathsPath)
  File "runflipwithdfa.py", line 30, in main
    order = flip.compute_sequence(graph)
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 1374, in compute_sequence
    storage.extract()
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 1009, in extract
    self.graph.initialize()
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 75, in initialize
    self.color_dag(self.final)
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 182, in color_dag
    'source %s is not green in %s graph' %(node, desc))
FLIP.flip.PreconditionFailedError: source 21 is not green in final graph
