Standard output
365123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
365123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.3ns
365139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
370423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s
370438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
370438 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns
370438 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
370469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
370469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.3ns
370469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
375630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s
375646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
375646 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
375646 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
375661 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
375661 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'