Standard output
112148 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
112148 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
112148 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
112148 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
112148 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
112164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
112164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
112164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
112164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
112164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
112164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
112164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
112164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
112164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
112289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
112304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 984.7ns
112304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
112835 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
112835 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
112835 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
112835 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
114055 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
118402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.06s
118465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
118559 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44ns
118621 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
118668 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
118684 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''