Standard output
83545 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
83545 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83545 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83545 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83545 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83545 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83545 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83561 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
83561 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83561 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83561 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83561 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83561 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83561 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
83623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 660.5ns
83623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
83920 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
83936 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
83936 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
83936 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
84703 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
87861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s
87908 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
87970 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 38.5ns
88017 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
88048 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
88064 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''