========== Reachable Symbolic Configurations ==========
(idle1 idle2 , id = (i0 ) ,
x1 > t and x2 > t and x1 - x2 <= d and x2 - x1 <= 0, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0 ->
x1 > t and x2 > t and x1 - x2 <= 0 and x2 - x1 <= d, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0 ->
x1 >= 0 and x2 >= 0 and x1 - x2 <= 0 and x2 - x1 <= 0, - t < 0 and
- t + d <= 0 and
- d < 0
)
(idle1 trying2 , id = (i0 ) ,
x1 >= 0 and x2 >= 0 and x1 <= d and x1 - x2 <= 0 and x2 <= d and x2 - x1 <= d, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(idle1 waiting2 , id = (i0 ) ,
x1 > t and x2 > t and x1 - x2 <= 0 and x2 - x1 <= d, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(idle1 waiting2 , id = (i2 ) ,
x1 >= 0 and x2 >= 0 and x1 - x2 <= d and x2 - x1 <= 0, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(idle1 cs2 , id = (i2 ) ,
x1 > t and x2 > t and x1 - x2 <= d and x2 - x1 <= 0, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0 ->
x1 >= 0 and x2 > t and x1 - x2 < - t, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0 ->
x1 >= 0 and x2 > t and x1 - x2 <= 0, - t < 0 and
- t + d = 0 and
- d < 0 ->
x1 >= 0 and x2 > t and x1 - x2 < - t + d, - t < 0 and
- t + d < 0 and
- d < 0
)
(trying1 idle2 , id = (i0 ) ,
x1 >= 0 and x2 >= 0 and x1 <= d and x1 - x2 <= d and x2 <= d and x2 - x1 <= 0, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(trying1 trying2 , id = (i0 ) ,
x1 >= 0 and x2 >= 0 and x1 <= d and x1 - x2 <= 0 and x2 <= d and x2 - x1 <= d, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0 ->
x1 >= 0 and x2 >= 0 and x1 <= d and x1 - x2 <= d and x2 <= d and x2 - x1 <= 0, - t < 0 and
- t + d <= 0 and
- d < 0
)
(trying1 waiting2 , id = (i0 ) ,
x1 >= 0 and x2 > t and x1 <= d and x1 - x2 < - t, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(trying1 waiting2 , id = (i2 ) ,
x1 >= 0 and x2 >= 0 and x1 <= d and x1 - x2 <= d and x2 <= d and x2 - x1 <= 0, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(waiting1 idle2 , id = (i0 ) ,
x1 > t and x2 > t and x1 - x2 <= d and x2 - x1 <= 0, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(waiting1 idle2 , id = (i1 ) ,
x1 >= 0 and x2 >= 0 and x1 - x2 <= 0 and x2 - x1 <= d, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(waiting1 trying2 , id = (i0 ) ,
x1 > t and x2 >= 0 and x2 <= d and x2 - x1 < - t, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(waiting1 trying2 , id = (i1 ) ,
x1 >= 0 and x2 >= 0 and x1 <= d and x1 - x2 <= 0 and x2 <= d and x2 - x1 <= d, - t < 0 and
- t + d <= 0 and
- d < 0
)
(waiting1 waiting2 , id = (i2 ) ,
x1 >= 0 and x2 >= 0 and x1 - x2 <= d and x2 - x1 <= 0, - t < 0 and
- t + d <= 0 and
- d < 0
)
(waiting1 waiting2 , id = (i1 ) ,
x1 >= 0 and x2 >= 0 and x1 - x2 <= 0 and x2 - x1 <= d, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(waiting1 cs2 , id = (i2 ) ,
x1 > t and x2 > t and x1 - x2 <= d and x2 - x1 <= 0, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(cs1 idle2 , id = (i1 ) ,
x1 > t and x2 >= 0 and x2 - x1 < - t, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0 ->
x1 > t and x2 > t and x1 - x2 <= 0 and x2 - x1 <= d, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
(cs1 waiting2 , id = (i1 ) ,
x1 > t and x2 > t and x1 - x2 <= 0 and x2 - x1 <= d, - t < 0 and
- t - d < 0 and
- t + d <= 0 and
- d < 0
)
========== Correspondence with Symbolic Graph ==========
[ 0 -- ( idle1 idle2 , id = (i0 ) , 0)]
[ 1 -- ( idle1 trying2 , id = (i0 ) , 0)]
[ 2 -- ( trying1 idle2 , id = (i0 ) , 0)]
[ 3 -- ( trying1 trying2 , id = (i0 ) , 0)]
[ 4 -- ( waiting1 idle2 , id = (i1 ) , 0)]
[ 5 -- ( cs1 idle2 , id = (i1 ) , 0)]
[ 6 -- ( trying1 waiting2 , id = (i2 ) , 0)]
[ 7 -- ( waiting1 trying2 , id = (i1 ) , 0)]
[ 8 -- ( waiting1 waiting2 , id = (i2 ) , 0)]
[ 9 -- ( waiting1 cs2 , id = (i2 ) , 0)]
[ 10 -- ( idle1 waiting2 , id = (i2 ) , 0)]
[ 11 -- ( idle1 cs2 , id = (i2 ) , 0)]
[ 12 -- ( waiting1 idle2 , id = (i0 ) , 0)]
[ 13 -- ( waiting1 trying2 , id = (i0 ) , 0)]
[ 14 -- ( waiting1 waiting2 , id = (i1 ) , 0)]
[ 15 -- ( cs1 waiting2 , id = (i1 ) , 0)]
[ 16 -- ( idle1 waiting2 , id = (i0 ) , 0)]
[ 17 -- ( trying1 waiting2 , id = (i0 ) , 0)]
========== Time Statistics ==========
child : 0.00
self : 0.27
---------------
total : 0.27