Details of experiments in our paper in FroCoS 2019

Test on presented examples

no.

(ω)

(pcl)

(scl)

(wd)

(sc-1)

(sc-2)

(sc-3)

(dc-1)

(dc-2)

(dc-3)

(rr)

(cp)

(ω)-rev

(pcl)-rev

(scl)-rev

(wd)-rev

(sc-1)-rev

(sc-2)-rev

(sc-3)-rev

(dc-1)-rev

(dc-2)-rev

(dc-3)-rev

(rr)-rev

(cp)-rev

ACP

ACP(direct)

CSI

FORT

ex2

MAYBE

YES

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

YES

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

YES

YES

MAYBE

MAYBE

ex3

MAYBE

MAYBE

YES

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

YES

YES

timeout

MAYBE

ex5

MAYBE

YES

YES

YES

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

YES

YES

MAYBE

MAYBE

ex6

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

YES

YES

MAYBE

YES

YES

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

YES

YES

MAYBE

YES

YES

MAYBE

MAYBE

YES

YES

MAYBE

MAYBE

ex7

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

YES

timeout

timeout

MAYBE

ex8

MAYBE

YES

YES

YES

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

MAYBE

YES

YES

timeout

MAYBE