Standard output
240258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
240259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.8ns
240262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
243698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
243730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
243730 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
243730 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
243745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
243745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.5ns
243745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
247494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s
247510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
247510 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
247510 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
247525 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
247525 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'