Standard output
274893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
274893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.6ns
274909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
279041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s
279072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
279072 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
279072 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
279088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
279088 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.7ns
279088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
283264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s
283279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
283279 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns
283279 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
283295 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
283295 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'