343355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
343355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.6ns
343355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
348307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s
348338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
348338 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
348338 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
348353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
348353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.3ns
348353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
353356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s
353372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
353372 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
353372 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
353372 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
353387 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'