123.55/32.23	Exception in thread "main" java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: The signatures are different:
123.55/32.23	Map(true -> 0)
123.55/32.23	Map(s -> 1, 0 -> 0, true -> 0)
123.55/32.23		at java.util.concurrent.FutureTask.report(FutureTask.java:122)
123.55/32.23		at java.util.concurrent.FutureTask.get(FutureTask.java:192)
123.55/32.23		at concon.checks.Checks$Check$$anonfun$$less$plus$greater$1.apply(Checks.scala:165)
123.55/32.23		at concon.checks.Checks$Check$$anonfun$$less$plus$greater$1.apply(Checks.scala:147)
123.55/32.23		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.23		at concon.checks.Checks$$anonfun$opt$1.apply(Checks.scala:286)
123.55/32.23		at concon.checks.Checks$$anonfun$opt$1.apply(Checks.scala:285)
123.55/32.23		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.23		at concon.checks.Checks$Check$$anonfun$withInfo$1.apply(Checks.scala:249)
123.55/32.23		at concon.checks.Checks$Check$$anonfun$withInfo$1.apply(Checks.scala:248)
123.55/32.23		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.23		at concon.checks.Checks$.test(Checks.scala:281)
123.55/32.23		at concon.checks.CTRSChecks$.confluence(CTRSChecks.scala:625)
123.55/32.23		at concon.Main$.parse(Main.scala:252)
123.55/32.23		at concon.Main$.main(Main.scala:665)
123.55/32.23		at concon.Main.main(Main.scala)
123.55/32.23	Caused by: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: The signatures are different:
123.55/32.23	Map(true -> 0)
123.55/32.23	Map(s -> 1, 0 -> 0, true -> 0)
123.55/32.23		at java.util.concurrent.FutureTask.report(FutureTask.java:122)
123.55/32.23		at java.util.concurrent.FutureTask.get(FutureTask.java:192)
123.55/32.23		at concon.checks.Checks$Check$$anonfun$$less$plus$greater$1.apply(Checks.scala:156)
123.55/32.23		at concon.checks.Checks$Check$$anonfun$$less$plus$greater$1.apply(Checks.scala:147)
123.55/32.23		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.23		at concon.checks.Checks$Call.call(Checks.scala:100)
123.55/32.23		at concon.checks.Checks$Call.call(Checks.scala:98)
123.55/32.23		at java.util.concurrent.FutureTask.run(FutureTask.java:266)
123.55/32.23		at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
123.55/32.23		at java.util.concurrent.FutureTask.run(FutureTask.java:266)
123.55/32.23		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
123.55/32.23		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
123.55/32.23		at java.lang.Thread.run(Thread.java:745)
123.55/32.23	Caused by: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: The signatures are different:
123.55/32.23	Map(true -> 0)
123.55/32.23	Map(s -> 1, 0 -> 0, true -> 0)
123.55/32.23		at java.util.concurrent.FutureTask.report(FutureTask.java:122)
123.55/32.23		at java.util.concurrent.FutureTask.get(FutureTask.java:192)
123.55/32.23		at concon.checks.Checks$Check$$anonfun$$less$plus$greater$1.apply(Checks.scala:159)
123.55/32.23		... 10 more
123.55/32.24	Caused by: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: The signatures are different:
123.55/32.24	Map(true -> 0)
123.55/32.24	Map(s -> 1, 0 -> 0, true -> 0)
123.55/32.24		at java.util.concurrent.FutureTask.report(FutureTask.java:122)
123.55/32.24		at java.util.concurrent.FutureTask.get(FutureTask.java:192)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$bar$bar$greater$1.apply(Checks.scala:189)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$bar$bar$greater$1.apply(Checks.scala:178)
123.55/32.24		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.24		at concon.checks.CTRSChecks$$anonfun$allCPsTrivialOrInfeasible$1$$anonfun$apply$6.apply(CTRSChecks.scala:201)
123.55/32.24		at concon.checks.CTRSChecks$$anonfun$allCPsTrivialOrInfeasible$1$$anonfun$apply$6.apply(CTRSChecks.scala:199)
123.55/32.24		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.24		at concon.checks.Checks$$anonfun$seq$1.apply(Checks.scala:51)
123.55/32.24		at concon.checks.Checks$$anonfun$seq$1.apply(Checks.scala:50)
123.55/32.24		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$map$1.apply(Checks.scala:232)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$map$1.apply(Checks.scala:232)
123.55/32.24		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.24		at concon.checks.CTRSChecks$$anonfun$allCPsTrivialOrInfeasible$1.apply(CTRSChecks.scala:203)
123.55/32.24		at concon.checks.CTRSChecks$$anonfun$allCPsTrivialOrInfeasible$1.apply(CTRSChecks.scala:193)
123.55/32.24		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1$$anonfun$apply$6.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1$$anonfun$apply$6.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Result.$less$amp$amp$greater(Result.scala:91)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1$$anonfun$apply$6.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1$$anonfun$apply$6.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Result.$less$amp$amp$greater(Result.scala:91)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$sound$1.apply(Checks.scala:234)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$sound$1.apply(Checks.scala:234)
123.55/32.24		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$withInfo$2.apply(Checks.scala:261)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$withInfo$2.apply(Checks.scala:260)
123.55/32.24		... 9 more
123.55/32.24	Caused by: java.util.concurrent.ExecutionException: java.util.concurrent.ExecutionException: The signatures are different:
123.55/32.24	Map(true -> 0)
123.55/32.24	Map(s -> 1, 0 -> 0, true -> 0)
123.55/32.24		at java.util.concurrent.FutureTask.report(FutureTask.java:122)
123.55/32.24		at java.util.concurrent.FutureTask.get(FutureTask.java:192)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$bar$bar$greater$1.apply(Checks.scala:189)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$bar$bar$greater$1.apply(Checks.scala:178)
123.55/32.24		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1$$anonfun$apply$6.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1$$anonfun$apply$6.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Result.$less$amp$amp$greater(Result.scala:91)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$amp$amp$greater$1.apply(Checks.scala:132)
123.55/32.24		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.24		at concon.checks.Checks$$anonfun$opt$1.apply(Checks.scala:286)
123.55/32.24		at concon.checks.Checks$$anonfun$opt$1.apply(Checks.scala:285)
123.55/32.24		at concon.checks.Checks$$anon$1.apply(Checks.scala:93)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$withInfo$1.apply(Checks.scala:249)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$withInfo$1.apply(Checks.scala:248)
123.55/32.24		... 9 more
123.55/32.24	Caused by: java.util.concurrent.ExecutionException: The signatures are different:
123.55/32.24	Map(true -> 0)
123.55/32.24	Map(s -> 1, 0 -> 0, true -> 0)
123.55/32.24		at java.util.concurrent.FutureTask.report(FutureTask.java:122)
123.55/32.24		at java.util.concurrent.FutureTask.get(FutureTask.java:192)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$bar$bar$greater$1.apply(Checks.scala:187)
123.55/32.24		at concon.checks.Checks$Check$$anonfun$$less$bar$bar$greater$1.apply(Checks.scala:178)
123.55/32.24		... 9 more
123.55/32.24	Caused by: The signatures are different:
123.55/32.24	Map(true -> 0)
123.55/32.24	Map(s -> 1, 0 -> 0, true -> 0)
123.55/32.24		at concon.treeautomata.TreeAutomaton.union(TreeAutomaton.scala:274)
123.55/32.24		at concon.treeautomata.package$.preprocess(package.scala:242)
123.55/32.24		at concon.treeautomata.package$.eTAC(package.scala:257)
123.55/32.24		at concon.checks.CPChecks$$anonfun$etac_one_direction$3.apply(CPChecks.scala:481)
123.55/32.24		at concon.checks.CPChecks$$anonfun$etac_one_direction$3.apply(CPChecks.scala:477)
123.55/32.24		at scala.collection.TraversableLike$WithFilter$$anonfun$foreach$1.apply(TraversableLike.scala:778)
123.55/32.24		at scala.collection.immutable.List.foreach(List.scala:383)
123.55/32.24		at scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:777)
123.55/32.24		at concon.checks.CPChecks$.etac_one_direction(CPChecks.scala:477)
123.55/32.24		at concon.checks.CPChecks$$anonfun$etac_lr$1.apply(CPChecks.scala:399)
123.55/32.24		at concon.checks.CPChecks$$anonfun$etac_lr$1.apply(CPChecks.scala:387)
123.55/32.24		... 9 more
123.92/58.55	TIMEOUT
123.92/58.57	EOF