313523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
313523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.2ns
313524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
318172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s
318192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
318200 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
318202 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
318222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
318222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469.1ns
318224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
322797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s
322818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
322822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
322823 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
322830 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
322833 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'