Standard output
235532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
235532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.1ns
235532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
239034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s
239050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
239065 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
239065 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
239081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
239081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.6ns
239081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
242578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
242594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
242594 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.1ns
242594 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
242610 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
242610 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'