Standard output
162960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
162960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
162960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
162960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162991 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
162991 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
162991 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162991 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162991 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
162991 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162991 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
163148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
163148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1ms
163163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
163736 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
163736 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
163736 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
163736 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
165694 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
171611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.46s
171736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
171876 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 92.7ns
171955 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
172018 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
172033 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''