Standard output
189752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
189752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 462ns
189768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
192534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s
192566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
192566 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
192566 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
192581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
192581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.9ns
192581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
195317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s
195332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
195332 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns
195348 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
195348 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
195348 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'