Standard output
86772 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
86772 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86772 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86772 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86772 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86772 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86787 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86787 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
86787 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86787 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86787 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86787 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86787 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86787 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
86819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 996.2ns
86819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
87209 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
87209 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
87209 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
87209 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
88257 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
91658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s
91705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
91771 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.4ns
91854 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
91886 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
91917 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''