Standard output
106757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
106757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106773 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106773 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
106773 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106773 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106773 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106773 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106773 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106773 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
106839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 617.6ns
106839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
107260 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
107260 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
107260 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
107260 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
108793 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
112878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.03s
112940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
113019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.1ns
113112 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
113472 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
113487 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''