Standard output
275307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
275307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.91ns
275308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
279476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s
279496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
279504 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
279506 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
279518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
279518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.52ns
279519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
283702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s
283776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
283778 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
283779 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
283783 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
283784 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'