Standard output
101593 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101608 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101608 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101608 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101608 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101608 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101608 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101624 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101624 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101624 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101624 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101624 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101624 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101624 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
101661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.02ms
101671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
102078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
103203 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
107098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s
107160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
107238 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 40.9ns
107301 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight' on goal 0 (script from line 2)
107332 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0'' on goal 1 (script from line 3)
107332 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0'' on goal 2 (script from line 4)