Standard output
98417 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
98418 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98420 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98420 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98421 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98421 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98422 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98427 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
98427 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98428 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98429 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98429 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98430 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98430 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
98447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 476ns
98448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
98842 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98844 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98845 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98846 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
100263 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
104027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.58s
104096 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
104145 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 41.5ns
104217 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
104259 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
104288 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''