163563 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
163563 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
163579 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
163579 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
163579 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
163579 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
163579 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
163594 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
163594 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
163594 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
163594 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
163594 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
163594 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
163594 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
163641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
163641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 780ns
163657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
164220 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
164220 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
164220 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
164220 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
165988 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
171755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.07s
171817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
171958 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.1ns
172115 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
172177 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 3, command: 'rule allRight formula='\forall int i; i > 0''
172177 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 4, command: 'rule allRight formula='\forall int i; i < 0''