342589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
342589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.2ns
342589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
347723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s
347739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
347739 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
347739 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
347770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
347770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.5ns
347770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
352919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s
352935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
352951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.2ns
352951 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
352966 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
352966 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'