Standard output
91501 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
91502 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
91504 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91505 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91505 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
91505 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91506 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91510 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
91510 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
91511 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91511 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91511 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
91512 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91512 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
91526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.72ns
91527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
91726 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
91727 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
91728 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
91728 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
92585 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
96032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s
96076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
96123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 37.8ns
96161 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight' on goal 0 (script from line 2)
96185 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)
96192 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)