Standard output
162635 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
162651 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
162651 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162651 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162667 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
162682 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162682 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162682 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
162682 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
162682 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162682 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162682 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
162698 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162698 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
162714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
162729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 685.1ns
162729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
163261 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
163261 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
163276 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
163276 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
165215 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
171517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.78s
171611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
171752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 47.8ns
171861 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
171908 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
171934 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''