154649 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
154665 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
154665 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154665 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154665 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
154665 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154665 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154681 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
154681 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
154681 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154681 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154681 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
154681 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154681 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
155418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
155637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.27ms
155637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
156449 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
156449 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
156449 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
156449 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
158685 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
164900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 9.26s
164978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
165118 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 54.8ns
165436 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
165749 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''
165764 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''