271308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
271308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.6ns
271308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
275406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s
275468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
275468 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
275484 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rewrite find="f < x" replace="x > f"'
275500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
275500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.8ns
275500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
279619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s
279635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
279635 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
279635 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
279650 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'rule andLeft'
279650 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 3, command: 'rewrite find="f = x" replace="x = f"'