Standard output
315277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
315277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.8ns
315292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
320083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s
320115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
320115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
320115 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
320130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
320130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.8ns
320130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
324844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s
324876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
324876 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
324876 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
324876 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
324891 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'