FORMULAS
➀   forall s, t, u (s ->* t & s ->* u => t join u)
➁   forall s, t, u (s ->* t & s ->* u => t join u)
➂   forall s, t, u (s ->* t & s -> u => t join u)
➃   forall s, t, u (s ->* t & s -> u => t join u)
➄   forall t, u (t <->* u => t join u)
➅   forall t, u (t <->* u => t join u)

➀➁ ➂➃ ➄➅
version   fort-2.1 fort-h ✔ fort-2.1 fort-h ✔ fort-2.1 fort-h ✔
total   122 122 26 122 122 26 122 122 15
yes   37 36 10 37 37 10 37 36 6
⌀ yes time   0.31 0.26 0.32 1.48 0.32 0.45
total yes time   11.60 9.48 11.86 54.71 11.88 16.22
no   82 84 16 82 84 16 82 83 9
⌀ no time   0.52 0.56 0.50 0.09 0.55 0.08
total no time   42.48 46.75 41.34 7.84 44.81 6.42
maybe   0 0 0 0 0 0
timeout   (60s) 3 (60s) 2 (600s) 94 (60s) 3 (60s) 1 (600s) 95 (60s) 3 (60s) 3 (600s) 104
⌀ time   1.92 1.44 1.91 1.00 1.94 1.66
total time   234.08 176.23 63384.09 233.20 122.55 63996.97 236.69 202.64 65702.55
 
COPS/111   0.32 0.16 0.27 0.37 0.38 0.42
COPS/114   0.38 4.48 0.33 4.82 0.36 5.81
COPS/115   1.94 ∞ 1.89 ∞ 1.92 ∞
COPS/116   0.88 3.74 0.94 3.97 1.02 7.52
COPS/212   0.20 0.02 0.18 0.06 0.20 0.02
COPS/213   0.27 0.16 0.24 0.15 0.25 0.09
COPS/214   12.77 42.13 12.40 3.63 12.45 ∞
COPS/215   ∞ ∞ ∞ 44.48 ∞ ∞
COPS/21   0.21 0.07 0.21 0.08 0.36 0.15
COPS/223   0.22 0.01 0.20 0.01 0.21 0.02
COPS/224   0.23 0.02 468.23 0.22 0.02 487.59 0.24 0.04
COPS/225   0.17 0.00 400.95 0.17 0.00 410.07 0.19 0.01
COPS/33   0.22 0.04 0.21 0.03 0.22 0.04
COPS/34   0.26 0.06 0.26 0.06 0.24 0.06
COPS/36   0.21 0.03 0.21 0.02 0.22 0.04
COPS/38   0.19 0.01 0.20 0.01 0.20 0.01
COPS/39   0.25 0.07 0.24 0.08 0.35 0.16
COPS/40   0.22 0.03 0.22 0.05 0.26 0.08
COPS/503   0.26 0.03 0.26 0.04 0.25 0.06
COPS/505   0.22 0.02 58.00 0.22 0.02 58.78 0.22 0.04 57.95
COPS/506   0.30 0.19 0.28 0.16 0.55 1.26
COPS/507   0.25 0.02 0.23 0.03 0.23 0.02
COPS/508   0.22 0.03 0.21 0.03 0.21 0.03
COPS/509   0.26 0.01 0.25 0.02 0.24 0.03
COPS/510   0.29 0.02 267.35 0.29 0.02 266.10 0.56 0.03
COPS/511   0.81 0.13 0.59 0.17 1.01 0.27
COPS/512   0.25 0.05 0.26 0.05 0.24 0.09
COPS/543   0.19 0.01 0.20 0.01 0.19 0.01
COPS/557   0.30 0.07 0.54 0.07 0.63 0.08
COPS/647   0.26 0.02 0.25 0.02 0.22 0.02
COPS/648   0.19 0.00 82.14 0.19 0.00 82.57 0.17 0.00 81.63
COPS/649   0.23 0.01 0.24 0.01 0.20 0.01
COPS/650   0.96 0.09 0.80 0.08 0.73 0.11
COPS/651   0.51 0.06 0.63 0.06 0.72 0.09
COPS/652   0.24 0.01 152.24 0.22 0.01 155.58 0.21 0.01 225.46
COPS/653   0.25 0.02 0.23 0.02 0.24 0.02
COPS/654   0.87 0.08 1.21 0.10 1.12 0.12
COPS/655   0.39 0.04 0.57 0.04 0.49 0.04
COPS/656   0.19 0.00 51.57 0.19 0.00 51.76 0.18 0.00 59.59
COPS/657   0.30 0.05 0.29 0.05 0.76 0.18
COPS/658   0.99 0.14 0.64 0.13 1.51 0.40
COPS/659   0.45 0.09 0.41 0.08 0.50 0.12
COPS/660   0.25 0.03 0.27 0.03 0.31 0.07
COPS/661   0.27 0.03 0.28 0.02 0.26 0.04
COPS/662   0.20 0.01 486.38 0.21 0.01 475.95 0.22 0.02
COPS/663   0.29 0.04 0.28 0.03 0.26 0.06
COPS/664   0.25 0.01 0.25 0.01 0.22 0.02
COPS/665   0.24 0.02 0.24 0.03 0.27 0.04
COPS/666   0.34 0.09 0.36 0.09 0.43 0.11
COPS/667   0.38 0.07 0.38 0.07 0.34 0.07
COPS/668   0.28 0.04 0.26 0.04 0.35 0.06
COPS/669   0.24 0.04 0.23 0.03 0.23 0.05
COPS/670   0.21 0.01 536.15 0.19 0.01 548.36 0.21 0.04
COPS/671   0.27 0.01 0.28 0.01 0.25 0.02
COPS/672   0.42 0.08 0.64 0.06 0.43 0.08
COPS/673   0.21 0.02 253.77 0.20 0.02 251.51 0.22 0.02
COPS/674   0.20 0.01 0.21 0.01 0.24 0.03
COPS/675   0.30 0.04 0.30 0.02 0.34 0.08
COPS/676   0.28 0.02 0.29 0.02 0.27 0.03
COPS/677   0.22 0.08 0.23 0.09 0.25 0.13
COPS/678   0.28 0.05 0.26 0.05 0.41 0.12
COPS/679   0.20 0.00 88.47 0.20 0.00 89.66 0.21 0.01 435.24
COPS/680   1.43 0.17 1.19 0.18 1.19 0.29
COPS/681   0.27 0.02 0.28 0.02 0.24 0.02
COPS/682   0.28 0.04 0.29 0.04 0.31 0.07
COPS/683   0.24 0.05 0.23 0.03 0.22 0.06
COPS/684   0.18 0.01 64.70 0.18 0.01 65.70 0.18 0.01 101.64
COPS/685   0.39 0.11 0.33 0.06 0.40 0.08
COPS/686   3.39 0.10 2.34 0.09 3.06 0.16
COPS/687   0.24 0.06 0.22 0.04 0.27 0.09
COPS/688   0.27 0.05 0.24 0.04 0.33 0.05
COPS/689   0.58 0.05 0.75 0.06 0.39 0.08
COPS/690   0.55 0.07 0.60 0.09 0.54 0.09
COPS/691   0.20 0.01 588.27 0.20 0.00 575.77 0.20 0.01
COPS/692   0.21 0.02 0.22 0.01 0.19 0.01
COPS/693   0.19 0.02 0.20 0.01 0.20 0.02
COPS/694   0.34 0.07 0.69 0.06 0.63 0.06
COPS/695   0.22 0.06 0.23 0.06 0.28 0.11
COPS/696   0.21 0.01 0.24 0.01 0.21 0.01
COPS/697   0.23 0.02 0.23 0.02 0.21 0.01
COPS/698   0.21 0.01 418.95 0.20 0.01 446.10 0.22 0.03
COPS/699   ∞ 0.51 ∞ 0.29 ∞ 0.37
COPS/700   0.20 0.01 460.64 0.27 0.01 454.24 0.19 0.01
COPS/701   0.34 0.06 0.54 0.07 0.40 0.06
COPS/702   0.22 0.02 0.21 0.04 0.25 0.04
COPS/703   0.54 0.05 0.56 0.04 0.73 0.06
COPS/704   0.22 0.00 266.86 0.20 0.00 266.54 0.19 0.00 364.81
COPS/705   0.20 0.01 0.18 0.02 0.18 0.02
COPS/706   0.26 0.02 0.25 0.03 0.24 0.04
COPS/707   0.21 0.01 190.60 0.20 0.01 178.96 0.21 0.02 507.80
COPS/708   0.55 0.09 0.52 0.07 0.48 0.07
COPS/709   0.19 0.00 50.39 0.18 0.00 49.98 0.19 0.00 59.13
COPS/710   0.19 0.00 14.50 0.19 0.00 14.37 0.20 0.00 51.68
COPS/711   0.39 0.05 0.34 0.04 0.29 0.04
COPS/712   0.29 0.09 0.27 0.08 0.33 0.07
COPS/713   0.23 0.01 0.21 0.01 0.22 0.02
COPS/714   0.22 0.00 545.59 0.20 0.00 548.50 0.21 0.01
COPS/715   0.31 0.04 0.33 0.03 0.39 0.05
COPS/716   0.37 0.02 0.36 0.02 0.41 0.03
COPS/717   0.28 0.04 0.27 0.04 0.37 0.04
COPS/718   0.25 0.01 0.26 0.01 0.25 0.02
COPS/719   0.28 0.04 0.27 0.04 0.35 0.07
COPS/720   0.24 0.02 0.24 0.02 0.26 0.05
COPS/721   0.22 0.01 0.22 0.01 0.23 0.01
COPS/731   0.26 0.05 0.25 0.04 0.26 0.05
COPS/732   0.41 0.10 0.32 0.10 0.37 0.14
COPS/733   0.61 0.15 0.41 0.13 0.49 0.12
COPS/734   0.23 0.00 129.40 0.23 0.00 130.93 0.24 0.01 222.02
COPS/735   0.21 0.01 0.21 0.01 0.22 0.01
COPS/736   0.23 0.01 94.65 0.24 0.01 91.89 0.24 0.01 138.39
COPS/737   0.24 0.00 12.87 0.23 0.00 12.90 0.24 0.00 50.26
COPS/738   0.25 0.02 557.10 0.24 0.01 551.10 0.25 0.03
COPS/739   0.33 0.06 0.33 0.04 0.31 0.07
COPS/740   0.43 0.01 477.29 0.30 0.01 465.13 0.31 0.01 575.69
COPS/741   ∞ 0.62 ∞ 0.55 ∞ 0.86
COPS/74   0.37 0.12 0.43 0.12 0.55 0.24
COPS/761   0.18 0.03 0.29 0.03 0.18 0.03
COPS/800   0.19 0.00 262.34 0.24 0.00 262.22 0.18 0.00 365.59
COPS/80   0.22 0.01 0.30 0.01 0.20 0.01
COPS/81   0.23 0.04 0.32 0.04 0.22 0.05
COPS/82   0.21 0.01 0.31 0.01 0.21 0.02
COPS/84   0.20 0.01 0.27 0.01 0.21 0.01