Standard output
236799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
236814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.9ns
236814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
240256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
240287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
240287 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
240287 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
240303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
240303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.9ns
240303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
243695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s
243711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
243711 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
243711 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
243726 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
243726 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'