Standard output
227578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
227578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.9ns
227578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
231048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s
231064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
231064 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
231064 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
231095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
231095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.9ns
231095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
234395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
234410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
234410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
234410 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
234426 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
234426 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'