Standard output
213396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
213396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.6ns
213396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
216565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s
216581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
216581 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
216581 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
216612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
216612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.8ns
216612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
219935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s
219966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
219966 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
219966 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
219966 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
219966 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'