283322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
283322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.01ns
283323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
287594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s
287611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
287612 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
287614 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
287621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
287621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.41ns
287622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
291931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s
291948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
291949 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
291950 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
291953 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
291954 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'