FORMULAS
➀   ~forall s, t (s <-o->* t)
➁   ~forall s, t (s <-u->* t)
➂   ~forall s, t (s <->* t)

➀ ➁ ➂
version   conv-encodings conv-encodings fort-h-2.0
total   122 122 122
yes   91 91 91
⌀ yes time   0.10 0.10 0.07
total yes time   9.24 9.10 6.72
no   31 31 31
⌀ no time   0.48 0.42 0.42
total no time   14.98 12.90 12.87
maybe   0 0 0
timeout   (60s) 0 (60s) 0 (60s) 0
⌀ time   0.20 0.18 0.16
total time   24.22 22.00 19.59
 
COPS/111   0.04 0.01 0.03
COPS/114   0.19 0.10 0.10
COPS/115   3.18 1.56 1.59
COPS/116   0.68 0.31 0.34
COPS/213   0.03 0.02 0.01
COPS/212   0.00 0.01 0.01
COPS/214   5.10 5.14 5.20
COPS/215   5.28 5.37 5.35
COPS/21   0.01 0.01 0.01
COPS/223   0.00 0.00 0.00
COPS/224   0.00 0.01 0.00
COPS/225   0.00 0.00 0.00
COPS/33   0.01 0.00 0.00
COPS/34   0.00 0.01 0.01
COPS/36   0.01 0.01 0.00
COPS/38   0.00 0.00 0.00
COPS/39   0.02 0.01 0.01
COPS/40   0.01 0.01 0.00
COPS/505   0.01 0.00 0.01
COPS/503   0.00 0.01 0.00
COPS/506   0.14 0.11 0.08
COPS/507   0.00 0.00 0.00
COPS/508   0.01 0.00 0.00
COPS/509   0.00 0.00 0.01
COPS/510   0.01 0.00 0.00
COPS/511   0.06 0.04 0.03
COPS/512   0.01 0.01 0.01
COPS/543   0.00 0.00 0.00
COPS/557   0.01 0.01 0.01
COPS/647   0.00 0.01 0.01
COPS/649   0.00 0.00 0.00
COPS/648   0.00 0.00 0.00
COPS/650   0.09 0.09 0.08
COPS/651   0.07 0.08 0.06
COPS/652   0.00 0.01 0.00
COPS/653   0.01 0.00 0.00
COPS/654   0.16 0.13 0.15
COPS/655   0.02 0.01 0.01
COPS/656   0.00 0.00 0.00
COPS/657   0.15 0.15 0.07
COPS/658   0.18 0.21 0.10
COPS/659   0.05 0.06 0.04
COPS/660   0.02 0.02 0.02
COPS/661   0.02 0.01 0.02
COPS/662   0.00 0.00 0.00
COPS/663   0.02 0.02 0.01
COPS/664   0.01 0.00 0.01
COPS/665   0.01 0.01 0.00
COPS/666   0.03 0.02 0.02
COPS/667   0.03 0.04 0.03
COPS/668   0.02 0.02 0.02
COPS/669   0.01 0.00 0.00
COPS/670   0.01 0.00 0.00
COPS/671   0.01 0.01 0.01
COPS/672   0.02 0.01 0.01
COPS/673   0.00 0.00 0.00
COPS/674   0.00 0.00 0.00
COPS/675   0.02 0.02 0.01
COPS/676   0.01 0.02 0.02
COPS/677   0.01 0.00 0.00
COPS/678   0.03 0.02 0.03
COPS/679   0.00 0.00 0.00
COPS/680   0.18 0.25 0.21
COPS/681   0.01 0.02 0.01
COPS/682   0.01 0.01 0.01
COPS/683   0.01 0.01 0.00
COPS/684   0.00 0.00 0.00
COPS/685   0.02 0.02 0.02
COPS/686   0.26 0.26 0.25
COPS/687   0.01 0.01 0.01
COPS/688   0.01 0.01 0.01
COPS/689   0.04 0.07 0.04
COPS/690   0.08 0.10 0.07
COPS/691   0.00 0.00 0.00
COPS/692   0.01 0.00 0.00
COPS/693   0.00 0.00 0.00
COPS/694   0.04 0.03 0.01
COPS/695   0.02 0.02 0.01
COPS/696   0.00 0.00 0.00
COPS/697   0.00 0.00 0.00
COPS/698   0.00 0.00 0.00
COPS/699   4.76 4.45 3.55
COPS/700   0.00 0.00 0.00
COPS/701   0.06 0.06 0.06
COPS/702   0.00 0.00 0.01
COPS/703   0.04 0.05 0.05
COPS/704   0.00 0.00 0.00
COPS/705   0.00 0.00 0.00
COPS/706   0.01 0.01 0.01
COPS/707   0.00 0.00 0.00
COPS/708   0.05 0.07 0.04
COPS/709   0.00 0.00 0.00
COPS/710   0.00 0.00 0.00
COPS/711   0.01 0.01 0.01
COPS/712   0.03 0.02 0.02
COPS/713   0.00 0.00 0.00
COPS/714   0.00 0.00 0.00
COPS/715   0.02 0.02 0.02
COPS/716   0.02 0.02 0.02
COPS/717   0.02 0.01 0.01
COPS/718   0.01 0.01 0.01
COPS/719   0.04 0.03 0.02
COPS/720   0.01 0.01 0.01
COPS/721   0.00 0.00 0.00
COPS/731   0.00 0.01 0.00
COPS/732   0.02 0.03 0.01
COPS/733   0.05 0.03 0.01
COPS/734   0.00 0.00 0.00
COPS/735   0.00 0.00 0.00
COPS/736   0.00 0.00 0.00
COPS/737   0.00 0.00 0.00
COPS/738   0.01 0.01 0.01
COPS/739   0.02 0.02 0.01
COPS/740   0.01 0.01 0.01
COPS/741   2.46 2.55 1.49
COPS/74   0.04 0.02 0.02
COPS/761   0.00 0.00 0.00
COPS/800   0.00 0.00 0.00
COPS/80   0.00 0.00 0.00
COPS/81   0.01 0.01 0.00
COPS/82   0.00 0.00 0.00
COPS/84   0.00 0.00 0.00