Standard output
219054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
219054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.7ns
219057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
222363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s
222379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
222379 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
222379 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
222394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
222394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156ns
222410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
225618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s
225649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
225649 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
225649 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
225665 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
225665 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'