Standard output
173807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
173807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.2ns
173807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
176487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
176503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
176503 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns
176503 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
176519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
176519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.1ns
176519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
179192 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s
179208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
179208 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
179208 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
179223 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
179223 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'