Standard output
250656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
250656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.5ns
250656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
254392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s
254424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
254424 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
254424 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
254439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
254439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.1ns
254455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
258379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s
258410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
258410 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
258410 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
258410 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
258426 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'