Standard output
255861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
255861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 612.5ns
255861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
259691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s
259707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
259707 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
259723 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
259738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
259738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.1ns
259754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
263568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s
263599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
263599 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns
263614 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
263630 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
263630 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'