Standard output
214155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
214155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.8ns
214156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
217469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
217489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
217491 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
217492 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
217501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
217501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.9ns
217502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
220838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s
220857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
220860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns
220861 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
220865 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
220866 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'