Standard output
159895 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
159911 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
159911 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
159911 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
159911 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
159911 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
159911 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
159927 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
159927 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
159927 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
159927 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
159927 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
159927 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
159927 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
159989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
160020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.05ms
160020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
160633 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
160633 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
160649 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
160649 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
162438 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
168513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.49s
168607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
168748 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 48.9ns
168914 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
168960 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
168976 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''