0.09/0.11 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.09/0.12 % Command : java -cp /export/starexec/sandbox/solver/bin/lisa-assembly-0.9.jar TPTP_Lisa tableau --input /export/starexec/sandbox/benchmark/theBenchmark.p 0.09/0.32 % Computer : n022.cluster.edu 0.09/0.32 % Model : x86_64 x86_64 0.09/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.09/0.32 % Memory : 8042.1875MB 0.09/0.32 % OS : Linux 3.10.0-693.el7.x86_64 0.09/0.32 % CPULimit : 1920 0.09/0.33 % WCLimit : 240 0.09/0.33 % DateTime : Wed Jul 30 02:00:04 EDT 2025 0.09/0.33 % CPUTime : 4.77/2.52 % SZS status Error 4.77/2.52 % Exception: null 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker$$Lambda$84/1975546571.(Unknown Source) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker$$Lambda$84/1975546571.get$Lambda(Unknown Source) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.53 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.53 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.53 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.54 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.54 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.54 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.55 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.55 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.55 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.77/2.56 % lisa.kernel.fol.FOL$.toLocallyNameless(FOL.scala:11) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.$anonfun$toLocallyNameless$1(OLEquivalenceChecker.scala:472) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:247) 4.77/2.56 % scala.collection.immutable.List.map(List.scala:79) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless(OLEquivalenceChecker.scala:472) 4.77/2.56 % lisa.kernel.fol.OLEquivalenceChecker.toLocallyNameless$(OLEquivalenceChecker.scala:468) 4.97/2.60 EOF