Standard output
208828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
208828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 433.31ns
208829 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
212103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
212120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
212122 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
212123 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"' on goal 0 (script from line 1)
212130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
212130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.9ns
212131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
215402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
215420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
215421 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
215422 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1)
215424 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft' on goal 1 (script from line 2)
215425 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"' on goal 2 (script from line 3)