347562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
347578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns
347578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
352683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s
352699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
352699 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
352714 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
352730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
352730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.2ns
352730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
357778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s
357794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
357794 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns
357794 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
357794 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
357809 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'