Standard output
89689 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
89691 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
89693 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89693 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89694 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
89694 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89696 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89702 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
89706 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
89707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89708 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89712 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
89714 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89715 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
89738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.65ms
89739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
90081 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
90082 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
90085 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
90085 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
91265 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
94908 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s
94956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
94998 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 36.5ns
95031 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
95053 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
95057 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''