02/27/2024 13:59:44 PM - INFO -    
02/27/2024 13:59:44 PM - INFO - -------------------------------------------------
02/27/2024 13:59:44 PM - INFO - iteration number: (100, 40)
02/27/2024 13:59:44 PM - INFO - path weight: [1, 200]
02/27/2024 13:59:44 PM - INFO - pts state number: 729
02/27/2024 13:59:44 PM - INFO - robot number: 4
02/27/2024 13:59:44 PM - INFO - ltl task: ((<>g1 ) && (<>g2 ) && (<>g1c ) && (<>g2c ) && ((!g1)Ur1) && ((!g1)Ur2) && ((!g2)Ur2) && ((!g2)Ur3)  && ((!g1c)Ug1) &&  ((!g2c)Ug2))
02/27/2024 13:59:44 PM - INFO - buchi graph size: 20
02/27/2024 13:59:44 PM - INFO - product automaton size: 14580
02/27/2024 13:59:44 PM - INFO - Time finding first prefix path: 0.013379335403442383 seconds.
02/27/2024 13:59:44 PM - INFO - computation time: 0.05208611488342285 seconds.
02/27/2024 13:59:44 PM - INFO - Robot0: ['s1', 'r1', 'g1', 'g2'] + []
02/27/2024 13:59:44 PM - INFO - Robot1: ['s2', 'r2', 'r3', 'r3'] + []
02/27/2024 13:59:44 PM - INFO - Robot2: ['s1', 's1', 's1', 'g1'] + []
02/27/2024 13:59:44 PM - INFO - Robot3: ['s2', 's2', 's2', 'g2'] + []
02/27/2024 13:59:44 PM - INFO - best path weight: 323.65
02/27/2024 13:59:44 PM - INFO - pre weight: 323.65
02/27/2024 13:59:44 PM - INFO - suf weight: 0
02/27/2024 13:59:44 PM - DEBUG - write lines to 'clasc_buchi_graph'
02/27/2024 13:59:44 PM - DEBUG - run [PosixPath('dot'), '-Kdot', '-Tpdf', '-O', 'clasc_buchi_graph']
02/27/2024 13:59:44 PM - DEBUG - view: ['xdg-open', 'clasc_buchi_graph.pdf']
02/27/2024 13:59:44 PM - DEBUG - write lines to 'samp_search_tree'
02/27/2024 13:59:44 PM - DEBUG - run [PosixPath('dot'), '-Kdot', '-Tpdf', '-O', 'samp_search_tree']
02/27/2024 13:59:44 PM - DEBUG - view: ['xdg-open', 'samp_search_tree.pdf']