Standard output
219999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
219999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.3ns
220000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
223379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s
223395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
223399 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
223400 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
223415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
223416 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.3ms
223417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
226814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
226830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
226834 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.6ns
226834 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
226837 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
226838 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'