Standard output
234512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
234513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.3ns
234514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
238170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
238188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
238190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
238192 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
238201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
238201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns
238203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
241767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s
241788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
241790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
241791 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
241794 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
241795 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'