129724 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
129724 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129724 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129724 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129724 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129724 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129724 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129740 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
129740 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129740 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129740 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129740 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129740 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129740 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
129771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 517.6ns
129787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
130193 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
130209 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
130209 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
130209 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
131475 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
136242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.44s
136305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
136430 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.8ns
136508 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
136571 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''
136571 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''