Standard output
249180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
249180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 356.9ns
249180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
252818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s
252834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
252849 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
252849 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
252865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
252865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.2ns
252865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
256396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s
256411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
256427 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
256427 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
256427 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
256427 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'