Standard output
254097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
254097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 834.8ns
254097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
257959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s
257990 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
258006 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
258006 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)
258021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
258021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169ns
258021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
261836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s
261867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
261867 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
261867 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1)
261867 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft' on goal 1 (script from line 2)
261867 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)