Standard output
261646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
261646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 727ns
261646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
265352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s
265367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
265367 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
265367 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
265398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
265398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.58ms
265398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
269072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s
269087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
269103 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.9ns
269103 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
269119 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
269119 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'