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