Standard output
189135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
189136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.4ns
189137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
192330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s
192345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
192346 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns
192347 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
192355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
192355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.3ns
192356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
195365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s
195380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
195382 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
195383 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
195387 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
195389 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'