Standard output
99163 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
99164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
99167 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
99169 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
99170 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
99171 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
99172 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
99177 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
99180 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
99181 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
99181 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
99182 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
99183 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
99184 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
99197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
99201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 920.9ns
99202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
99602 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99603 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99605 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99605 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
100642 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
104413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s
104459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
104502 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 33.7ns
104536 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
104558 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
104561 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''