156272 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
156272 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
156272 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156272 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
156288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
156288 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
156304 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156304 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156304 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
156304 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156304 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
156415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
156415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 934.5ns
156415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
157291 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
157291 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
157306 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
157306 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
160370 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
167639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 11.2s
167873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
168030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.5ns
168185 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
168326 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''
168326 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''