Standard output
106591 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
106591 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106591 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
106607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
106685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.33ms
106685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
107185 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
107185 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
107185 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
107185 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
108420 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
112344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.66s
112406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
112484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 46.8ns
112547 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
112594 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
112625 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''