148162 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
148162 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
148162 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148162 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148162 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
148162 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148162 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148178 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
148178 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
148178 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148178 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148178 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
148178 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148178 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
148261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.28ms
148261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
148714 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
148714 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
148714 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
148714 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
150325 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
156032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.78s
156110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
156237 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.7ns
156395 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
156426 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''
156442 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''