Standard output
217135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
217136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 623.5ns
217140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
220633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
220654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
220656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
220657 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
220667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
220667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.6ns
220668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
224021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s
224041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
224042 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
224043 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
224046 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
224047 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'