128695 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
128695 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
128710 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128710 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128710 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
128710 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128710 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128710 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
128710 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
128710 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128710 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128710 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
128726 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128726 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
128788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 838.9ns
128788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
129163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
129163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
129163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
129163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
130664 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
135410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.62s
135472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
135582 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 37.4ns
135699 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
135730 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''
135730 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''