154543 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
154543 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
154554 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154554 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154554 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
154554 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154554 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154554 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
154554 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
154554 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154569 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154569 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
154569 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154569 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
154679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
154679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 631.8ns
154679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
155405 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
155405 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
155405 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
155405 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
157640 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
163744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.99s
163822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
163963 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 53.9ns
164299 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
164524 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''
164524 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''