Version: 1.13 
 _ data/zoo_json_cond_enf2/GtsCe_4.json -f output/flip/data/zoo_json_cond_enf2/GtsCe_4.json.subpaths
Flip subpaths generated in 0.378 seconds!
real 1.61
user 2.05
sys 0.19
<logging.Logger object at 0x7f14b22a77d0>
W1217 12:36:54.175 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.176 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.176 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.176 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.176 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.176 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.176 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.176 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.176 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.176 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '635', '634', '608', '722', '609', '719', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.177 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '607', '604', '605', '669', '668', '651', '709', '613', '641', '710', '694', '695', '696', '701', '690', '687', '647', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.178 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.178 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.178 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.178 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '780', '779', '753', '867', '754', '864', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.178 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.178 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '752', '749', '750', '814', '813', '796', '854', '758', '786', '855', '839', '840', '841', '846', '835', '832', '792', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.178 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '925', '924', '898', '1012', '899', '1009', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] is superfluous, discarding it
W1217 12:36:54.178 2966398 flip.py:156] subpath ['437', '563', '480', '479', '476', '536', '537', '501', '723', '632', '633', '638', '697', '631', '720', '724', '600', '714', '721', '704', '711', '595', '705', '583', '582', '708', '625', '624', '621', '681', '682', '646', '868', '777', '778', '783', '842', '776', '865', '869', '745', '859', '866', '849', '856', '740', '850', '728', '727', '853', '770', '769', '766', '826', '827', '791', '1013', '922', '923', '928', '987', '921', '1010', '1014', '890', '1004', '1011', '994', '1001', '885', '995'] 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 74, in initialize
    self.color_dag(self.initial)
  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 143 is not green in initial graph
