Standard output
213308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
213308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 571.2ns
213308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
216606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s
216622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
216622 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
216622 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
216637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
216637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.7ns
216653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
219859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s
219875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
219875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
219875 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
219890 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
219890 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'