125286 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
125286 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
125286 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125286 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125286 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
125286 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125301 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125301 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
125301 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
125301 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125301 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125301 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
125301 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125317 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
125333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
125333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 834.7ns
125348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
125770 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
125770 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
125770 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
125770 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
127162 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
131885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.51s
131963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
132072 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 37.8ns
132163 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
132210 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''
132210 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''