Standard output
115864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
115864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
115864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
115864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115880 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
115880 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
115880 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115880 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115880 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
115880 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115880 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
115927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 947.6ns
115927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
116364 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
116364 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
116380 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
116380 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
117663 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
122055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.12s
122118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
122212 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 75.7ns
122274 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight' on goal 0 (script from line 2)
122321 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)
122321 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)