Standard output
296267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
296268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 524.5ns
296269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
300787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s
300805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
300807 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
300808 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
300820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
300821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 886.4ns
300822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
305605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s
305623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
305625 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
305625 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
305628 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
305629 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'