Standard output
165007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
165007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.5ns
165007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
167598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s
167612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
167613 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns
167614 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)
167620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
167620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73ns
167621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
170108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s
170122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
170123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns
170124 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1)
170125 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft' on goal 1 (script from line 2)
170126 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)