158626 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
158626 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
158626 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
158642 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
158642 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
158642 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
158642 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
158657 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
158657 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
158657 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
158657 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
158657 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
158657 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
158657 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
158720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
158720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 921.9ns
158720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
159251 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
159251 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
159251 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
159251 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
161049 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
166986 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.25s
167079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
167205 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44.7ns
167341 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
167372 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''
167372 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''