Standard output
74144 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
74145 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
74146 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
74147 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
74147 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
74147 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
74148 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
74151 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
74151 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
74151 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
74152 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
74152 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
74152 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
74153 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
74164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
74166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 345.3ns
74167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
74406 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
74408 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
74409 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
74409 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
75076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
77953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s
77997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
78032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.5ns
78063 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight' on goal 0 (script from line 2)
78084 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)
78089 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)