Standard output
203321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
203321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.2ns
203322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
206479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s
206498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
206501 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
206502 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
206520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
206520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 453.51ns
206522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
209705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s
209724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
209726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns
209726 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
209730 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
209731 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'