Standard output
79249 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
79250 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
79254 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79254 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79255 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
79255 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79256 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79260 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
79260 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
79261 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79261 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79262 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
79263 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79264 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
79283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 712.6ns
79284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
79626 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
79626 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
79627 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
79627 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
80645 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
83789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s
83833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
83868 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 33.6ns
83921 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
83943 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
83950 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''