Standard output
208314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
208315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 989.9ns
208316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
211374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s
211392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
211398 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
211399 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
211423 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
211423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 419.7ns
211425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
214598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s
214618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
214620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
214620 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
214624 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
214628 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'