Standard output
228603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
228603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.9ns
228604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
232084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s
232101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
232103 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
232104 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
232113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
232113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.5ns
232114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
235671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s
235690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
235696 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
235698 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
235703 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
235705 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'