152288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
152288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
152288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
152288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
152288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
152288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
152288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
152303 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
152303 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
152303 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
152303 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
152303 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
152319 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
152319 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
152385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
152400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 973.3ns
152400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
152901 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
152901 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
152901 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
152901 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
154310 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
159749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.34s
159812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
159937 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42ns
160042 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
160105 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''
160105 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''