FORMULAS
➀   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)

➀ ➁ ➂
version   current ✔ current ✔ current ✔
total   122 118 122 118 122 118
yes   37 37 38 37 37 37
⌀ yes time   0.89 1.50 0.91
total yes time   32.90 56.89 33.53
no   84 81 84 81 83 81
⌀ no time   0.69 0.06 0.04
total no time   58.22 5.24 3.11
maybe   0 0 0
timeout   (60s) 1 (600s) 3 (60s) 0 (600s) 4 (60s) 2 (600s) 2
⌀ time   1.24 0.51 1.28
total time   151.12 2899.28 62.13 3395.54 156.64 3772.86
 
COPS/111   0.07 0.76 0.05 0.68 0.05 1.11
COPS/114   1.53 10.85 1.49 10.33 1.57 20.09
COPS/115   29.69 220.34 28.01 215.56 29.13 416.23
COPS/116   0.97 79.57 0.94 72.41 1.15 87.57
COPS/212   0.01 0.06 0.01 0.05 0.01 0.14
COPS/213   0.08 0.71 0.04 0.27 0.05 0.38
COPS/214   55.19 2.48 ∞
COPS/215   ∞ 25.80 ∞
COPS/21   0.04 0.32 0.05 0.30 0.06 0.64
COPS/223   0.01 0.07 0.01 0.05 0.01 0.06
COPS/224   0.02 0.68 0.01 0.65 0.01 0.68
COPS/225   0.00 0.08 0.00 0.07 0.00 0.05
COPS/33   0.01 0.25 0.01 0.25 0.01 0.25
COPS/34   0.02 1.18 0.02 1.09 0.02 1.00
COPS/36   0.02 0.12 0.02 0.11 0.02 0.17
COPS/38   0.00 0.05 0.00 0.06 0.00 0.06
COPS/39   0.04 0.72 0.04 0.68 0.03 0.93
COPS/40   0.03 0.19 0.02 0.18 0.03 0.26
COPS/503   0.01 1.44 0.01 1.62 0.01 1.42
COPS/505   0.02 0.15 0.02 0.15 0.02 0.19
COPS/506   0.10 0.92 0.12 0.85 1.09 2.67
COPS/507   0.02 1.06 0.02 0.23 0.01 0.38
COPS/508   0.02 0.19 0.02 0.16 0.01 0.18
COPS/509   0.02 0.98 0.01 0.72 0.01 0.97
COPS/510   0.01 2.80 0.01 2.38 0.01 31.38
COPS/511   0.09 31.95 0.09 31.71 0.12 277.95
COPS/512   0.04 0.78 0.03 0.74 0.05 0.81
COPS/543   0.00 0.09 0.00 0.07 0.00 0.09
COPS/557   0.05 2.62 0.04 2.72 0.04 3.79
COPS/647   0.01 0.95 0.01 0.83 0.01 0.72
COPS/648   0.00 0.02 0.00 0.01 0.00 0.01
COPS/649   0.00 0.42 0.01 0.42 0.00 0.33
COPS/650   0.07 48.12 0.07 47.45 0.05 43.57
COPS/651   0.03 26.69 0.04 27.94 0.03 21.57
COPS/652   0.00 0.57 0.01 0.55 0.00 0.43
COPS/653   0.02 0.49 0.01 0.46 0.01 0.46
COPS/654   0.07 67.10 0.07 69.32 0.09 60.72
COPS/655   0.03 7.78 0.03 7.59 0.03 8.41
COPS/656   0.00 0.02 0.00 0.01 0.00 0.02
COPS/657   0.04 2.49 0.04 2.25 0.14 380.96
COPS/658   0.07 35.54 0.07 30.94 0.20 555.80
COPS/659   0.04 10.80 0.04 10.02 0.06 9.32
COPS/660   0.02 1.48 0.02 1.46 0.03 1.69
COPS/661   0.02 2.24 0.02 2.24 0.01 1.81
COPS/662   0.00 0.05 0.01 0.04 0.01 0.07
COPS/663   0.02 2.43 0.02 2.35 0.02 2.07
COPS/664   0.01 0.97 0.01 0.94 0.01 0.77
COPS/665   0.02 0.75 0.02 0.75 0.02 0.83
COPS/666   0.04 4.45 0.03 4.34 0.04 3.72
COPS/667   0.04 7.39 0.05 7.24 0.04 6.49
COPS/668   0.02 1.15 0.02 1.03 0.02 1.24
COPS/669   0.01 0.42 0.02 0.37 0.01 0.32
COPS/670   0.01 0.06 0.01 0.06 0.01 0.11
COPS/671   0.01 2.47 0.01 2.53 0.01 1.97
COPS/672   0.03 5.61 0.03 4.79 0.02 4.50
COPS/673   0.01 0.11 0.01 0.14 0.01 0.28
COPS/674   0.00 0.07 0.00 0.06 0.01 0.16
COPS/675   0.02 2.66 0.02 2.68 0.03 2.91
COPS/676   0.02 2.37 0.02 2.41 0.01 1.87
COPS/677   0.02 0.20 0.03 0.18 0.02 0.29
COPS/678   0.02 1.14 0.02 1.02 0.06 11.56
COPS/679   0.00 0.04 0.00 0.04 0.00 0.06
COPS/680   0.10 103.41 0.12 109.03 0.12 97.94
COPS/681   0.01 3.72 0.02 3.78 0.01 3.05
COPS/682   0.03 4.28 0.03 4.24 0.03 9.71
COPS/683   0.02 0.93 0.02 0.92 0.02 0.70
COPS/684   0.00 0.02 0.00 0.02 0.00 0.02
COPS/685   0.04 4.22 0.03 3.65 0.04 3.72
COPS/686   0.06 211.33 0.05 166.36 0.07 332.49
COPS/687   0.04 0.81 0.03 0.75 0.04 1.48
COPS/688   0.03 1.05 0.03 0.95 0.02 1.17
COPS/689   0.03 11.43 0.04 10.97 0.04 9.11
COPS/690   0.06 30.40 0.07 31.37 0.06 29.05
COPS/691   0.00 0.18 0.01 0.18 0.00 0.13
COPS/692   0.01 0.43 0.01 0.39 0.01 0.33
COPS/693   0.01 0.05 0.00 0.07 0.01 0.06
COPS/694   0.03 6.95 0.04 6.90 0.05 7.69
COPS/695   0.04 0.49 0.06 0.48 0.06 1.45
COPS/696   0.01 0.31 0.01 0.30 0.01 0.28
COPS/697   0.01 0.43 0.01 0.42 0.01 0.38
COPS/698   0.00 0.09 0.00 0.09 0.00 0.09
COPS/699   0.43 0.23 0.19
COPS/700   0.00 0.13 0.00 0.12 0.00 0.12
COPS/701   0.04 5.39 0.03 5.40 0.03 5.50
COPS/702   0.03 0.62 0.03 0.64 0.02 0.77
COPS/703   0.03 16.88 0.03 17.35 0.03 13.04
COPS/704   0.01 0.23 0.00 0.19 0.00 0.16
COPS/705   0.01 0.06 0.00 0.05 0.00 0.05
COPS/706   0.01 1.52 0.01 1.51 0.01 1.32
COPS/707   0.01 0.05 0.00 0.04 0.01 0.08
COPS/708   0.04 13.59 0.04 13.91 0.04 13.06
COPS/709   0.00 0.01 0.00 0.01 0.00 0.01
COPS/710   0.00 0.02 0.00 0.01 0.00 0.02
COPS/711   0.03 5.96 0.03 5.47 0.02 4.96
COPS/712   0.03 1.22 0.02 1.09 0.03 1.24
COPS/713   0.01 0.27 0.01 0.29 0.01 0.24
COPS/714   0.00 0.11 0.00 0.10 0.00 0.11
COPS/715   0.03 3.69 0.02 3.72 0.02 3.44
COPS/716   0.02 6.96 0.03 6.83 0.02 5.89
COPS/717   0.02 1.82 0.02 1.79 0.02 1.76
COPS/718   0.01 1.43 0.01 1.48 0.01 1.27
COPS/719   0.02 1.65 0.02 1.62 0.03 3.75
COPS/720   0.01 0.50 0.01 0.48 0.01 0.51
COPS/721   0.00 0.27 0.00 0.26 0.00 0.23
COPS/731   0.02 0.93 0.02 0.77 0.02 1.04
COPS/732   0.05 26.17 0.04 1.74 0.05 12.59
COPS/733   0.08 20.65 0.06 1.95 0.05 13.10
COPS/734   0.00 0.64 0.01 0.62 0.00 1.27
COPS/735   0.00 0.16 0.00 0.15 0.00 0.18
COPS/736   0.00 0.52 0.01 0.53 0.00 0.73
COPS/737   0.00 0.53 0.01 0.51 0.00 0.69
COPS/738   0.01 0.57 0.01 0.55 0.01 1.11
COPS/739   0.05 1.01 0.02 0.38 0.04 0.86
COPS/740   0.01 2.09 0.00 2.04 0.01 2.62
COPS/741   0.61 0.57 0.66
COPS/74   0.07 6.33 0.07 5.81 0.12 7.07
COPS/761   0.01 0.07 0.01 0.06 0.01 0.07
COPS/800   0.00 0.04 0.00 0.05 0.00 0.05
COPS/80   0.01 0.28 0.01 0.27 0.00 0.23
COPS/81   0.03 0.23 0.02 0.17 0.02 0.18
COPS/82   0.01 0.09 0.01 0.07 0.01 0.07
COPS/84   0.01 0.07 0.00 0.06 0.01 0.12