Standard output
80969 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
80969 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80969 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80969 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80969 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80969 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80969 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80984 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
80984 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80984 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80984 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80984 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
80984 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
80984 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
81000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 676.8ns
81000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
81297 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81297 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81297 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81312 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82141 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
85159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s
85206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
85269 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35.5ns
85316 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
85347 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
85347 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''