142337 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
142337 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
142337 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
142337 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
142337 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
142337 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
142337 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
142353 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
142353 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
142353 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
142353 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
142369 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
142369 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
142369 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
142775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
142775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 642.9ns
142775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
143222 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
143222 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
143222 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
143222 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
144812 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
151044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.19s
151138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
151341 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.3ns
151460 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
151538 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''
151538 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''