156055 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
156055 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
156070 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156070 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156070 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
156070 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156070 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156086 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
156086 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
156086 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156086 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156086 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
156086 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156102 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
156570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.25ms
156570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
157289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
157289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
157289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
157289 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
159060 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
165426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.86s
165531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
165710 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.2ns
165917 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
166386 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''
166386 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''