Standard output
214265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
214265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.3ns
214265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
217541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
217572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
217572 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
217572 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
217588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
217588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136ns
217588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
220879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s
220895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
220911 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
220911 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
220911 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
220911 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'