Standard output
225912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
225912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.9ns
225912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
229350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
229382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
229382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
229382 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
229413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
229413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.2ns
229413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
232853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s
232868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
232868 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
232868 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
232868 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
232884 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'