129682 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
129682 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129682 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129682 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129698 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129698 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129698 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129698 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
129698 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129698 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129713 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129713 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129713 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129713 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129744 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
129760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 939ns
129760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
130274 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
130274 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
130274 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
130274 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
132104 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
137189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.41s
137314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
137455 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 49.3ns
137642 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
137689 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''
137689 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''