Standard output
249907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
249907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.6ns
249907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
253817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s
253832 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
253832 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
253832 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
253848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
253848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117ns
253864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
257771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s
257787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
257787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
257787 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
257802 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
257802 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'