346379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/less_trans.key
346379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.8ns
346381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
351603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s
351624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
351627 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
351629 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
351641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/scriptCommands/transitive.key
351642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 611.9ns
351643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
356901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s
356924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
356926 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
356927 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
356930 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
356932 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'