Standard output
301207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
301207 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.9ns
301207 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
305755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s
305771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
305786 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.9ns
305786 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
305802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
305802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.6ns
305802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
310244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s
310276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
310276 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
310276 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
310276 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
310276 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'