Standard output
215965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
215965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.5ns
215966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
219200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s
219219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
219221 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
219222 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
219231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
219231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.2ns
219232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
222503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
222520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
222521 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns
222522 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
222526 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
222527 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'