Standard output
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
87080 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
87096 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
87096 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
87143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
87159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 994ns
87159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
87428 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
87428 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
87444 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
87444 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
88472 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
91617 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s
91664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
91726 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 30.8ns
91801 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
91832 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
91863 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''