Standard output
80897 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
80897 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80913 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
80944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.39ms
80991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
81319 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81319 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81319 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81319 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82538 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
85644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s
85706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
85753 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.3ns
85855 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
85886 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
85921 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''