Standard output
86439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
86439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86455 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
86455 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86455 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86455 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86455 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86455 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86455 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
86502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 886.6ns
86502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
86923 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
86923 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
86923 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
86923 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
87908 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
91598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s
91645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
91801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 46.4ns
91848 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
91895 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
92035 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''