FORMULAS
➀ FORT   ~ exists t (Inf(e<-,t) | Inf(->e,t))
➁ FORT   exists s, t (s -||-> t & ~ (s -> t) & ~ (s = t))
➀ ➁
version   h✔ h✔
total   122122 122122
yes   99 99 88 88
⌀ yes time   0.00 0.05
total yes time   0.27 4.11
no   23 23 34 34
⌀ no time   0.00 0.01
total no time   0.03 0.26
maybe   0 0
timeout   (60s) 0 (600s) 0 (60s) 0 (600s) 0
⌀ time   0.00 0.04
total time   0.30 4.37
 
COPS/111   0.01 0.04 0.00 0.29
COPS/114   0.01 1.88 0.02 3.09
COPS/115   0.03 103.41 0.05 153.31
COPS/116   0.02 8.22 0.02 16.52
COPS/212   0.00 0.01 0.00 0.02
COPS/213   0.00 0.02 0.01 0.03
COPS/214   0.01 1.16 0.05 0.72
COPS/215   0.02 1.26 0.05 0.74
COPS/21   0.00 0.02 0.01 0.08
COPS/223   0.00 0.01 0.00 0.01
COPS/224   0.00 0.01 0.01 0.23
COPS/225   0.00 0.01 0.00 0.04
COPS/33   0.00 0.02 0.01 0.53
COPS/34   0.00 0.02 0.02 1.18
COPS/36   0.00 0.01 0.00 0.03
COPS/38   0.00 0.01 0.00 0.02
COPS/39   0.00 0.06 0.01 0.28
COPS/40   0.00 0.01 0.01 0.06
COPS/503   0.00 0.01 0.99 9.64
COPS/505   0.00 0.01 0.00 0.11
COPS/506   0.00 0.04 0.01 0.06
COPS/507   0.00 0.01 0.01 0.09
COPS/508   0.00 0.01 0.01 0.09
COPS/509   0.00 0.01 0.02 0.23
COPS/510   0.00 0.01 0.01 0.16
COPS/511   0.00 0.08 0.02 2.60
COPS/512   0.00 0.01 0.02 0.27
COPS/543   0.00 0.01 0.00 0.03
COPS/557   0.00 0.01 0.03 0.59
COPS/647   0.00 0.01 0.02 0.71
COPS/648   0.00 0.00 0.00 0.00
COPS/649   0.00 0.01 0.02 0.70
COPS/650   0.01 0.21 0.10 12.58
COPS/651   0.01 0.11 0.12 10.57
COPS/652   0.00 0.00 0.01 0.77
COPS/653   0.00 0.01 0.01 0.42
COPS/654   0.02 0.41 0.13 22.86
COPS/655   0.00 0.03 0.02 0.93
COPS/656   0.00 0.00 0.00 0.01
COPS/657   0.00 0.04 0.02 1.15
COPS/658   0.01 0.07 0.04 5.07
COPS/659   0.00 0.14 0.08 8.29
COPS/660   0.00 0.04 0.03 1.74
COPS/661   0.00 0.02 0.02 1.62
COPS/662   0.00 0.01 0.00 0.03
COPS/663   0.00 0.03 0.02 1.94
COPS/664   0.00 0.02 0.01 0.70
COPS/665   0.00 0.02 0.01 0.56
COPS/666   0.01 0.04 0.02 2.77
COPS/667   0.00 0.09 0.07 5.50
COPS/668   0.00 0.02 0.02 1.30
COPS/669   0.00 0.01 0.01 0.77
COPS/670   0.00 0.00 0.00 0.03
COPS/671   0.00 0.02 0.02 1.67
COPS/672   0.00 0.02 0.02 0.72
COPS/673   0.00 0.01 0.01 0.17
COPS/674   0.00 0.01 0.00 0.03
COPS/675   0.00 0.03 0.02 1.46
COPS/676   0.00 0.03 0.02 2.30
COPS/677   0.00 0.01 0.00 0.47
COPS/678   0.00 0.02 0.02 0.77
COPS/679   0.00 0.01 0.00 0.02
COPS/680   0.02 0.51 0.26 28.73
COPS/681   0.00 0.03 0.02 2.27
COPS/682   0.00 0.02 0.01 0.43
COPS/683   0.00 0.02 0.02 0.97
COPS/684   0.00 0.00 0.00 0.01
COPS/685   0.00 0.02 0.02 2.42
COPS/686   0.01 0.08 0.04 5.04
COPS/687   0.00 0.02 0.01 0.30
COPS/688   0.00 0.02 0.02 0.93
COPS/689   0.01 0.06 0.07 6.44
COPS/690   0.01 0.23 0.10 11.64
COPS/691   0.00 0.01 0.01 0.60
COPS/692   0.00 0.01 0.01 1.03
COPS/693   0.00 0.01 0.00 0.02
COPS/694   0.00 0.04 0.02 1.96
COPS/695   0.00 0.02 0.01 0.43
COPS/696   0.00 0.01 0.01 0.43
COPS/697   0.00 0.01 0.01 0.52
COPS/698   0.00 0.01 0.01 0.33
COPS/699   0.02 0.55 0.23 26.58
COPS/700   0.00 0.01 0.01 0.33
COPS/701   0.01 0.08 0.03 5.42
COPS/702   0.00 0.01 0.01 0.30
COPS/703   0.01 0.06 0.08 9.05
COPS/704   0.00 0.01 0.01 0.28
COPS/705   0.00 0.01 0.00 0.06
COPS/706   0.00 0.02 0.00 0.42
COPS/707   0.00 0.00 0.00 0.01
COPS/708   0.01 0.13 0.07 7.17
COPS/709   0.00 0.00 0.00 0.00
COPS/710   0.00 0.00 0.00 0.02
COPS/711   0.00 0.02 0.01 0.71
COPS/712   0.00 0.03 0.02 1.20
COPS/713   0.00 0.01 0.00 0.30
COPS/714   0.00 0.00 0.01 0.18
COPS/715   0.01 0.06 0.03 4.28
COPS/716   0.01 0.06 0.03 3.63
COPS/717   0.00 0.03 0.01 1.36
COPS/718   0.00 0.03 0.02 1.32
COPS/719   0.00 0.02 0.02 1.30
COPS/720   0.00 0.01 0.01 0.56
COPS/721   0.00 0.01 0.01 0.31
COPS/731   0.00 0.01 0.03 0.43
COPS/732   0.00 0.01 0.03 0.38
COPS/733   0.00 0.02 0.02 0.39
COPS/734   0.00 0.01 0.00 0.09
COPS/735   0.00 0.01 0.01 0.24
COPS/736   0.00 0.01 0.01 0.16
COPS/737   0.00 0.00 0.01 0.10
COPS/738   0.00 0.01 0.01 0.18
COPS/739   0.00 0.01 0.01 0.04
COPS/740   0.00 0.01 0.04 0.34
COPS/741   0.01 0.55 0.61 302.55
COPS/74   0.01 0.05 0.03 2.14
COPS/761   0.00 0.01 0.00 0.02
COPS/800   0.00 0.01 0.00 0.03
COPS/80   0.00 0.00 0.01 0.11
COPS/81   0.00 0.01 0.01 0.04
COPS/82   0.00 0.00 0.00 0.01
COPS/84   0.00 0.01 0.00 0.04