Standard output
137894 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
137894 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
137894 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
137894 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
137894 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
137894 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
137894 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
137910 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
137910 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
137910 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
137910 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
137910 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
137910 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
137910 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
137941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
137941 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 604.6ns
137957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
138520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
138520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
138520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
138520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
139989 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
144975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.03s
145037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
145178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 46.5ns
145272 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
145334 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
145334 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''