Standard output
261919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
261919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.9ns
261919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
265984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s
266000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
266000 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
266000 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
266047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
266047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196ns
266047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
270080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s
270096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
270096 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
270096 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
270111 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
270111 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'