Standard output
236411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
236411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.4ns
236411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
240062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s
240078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
240078 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
240078 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
240093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
240093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 557.3ns
240109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
243729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s
243744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
243760 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
243760 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
243760 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
243760 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'