Standard output
83542 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
83542 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83542 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83542 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83558 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83558 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83558 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83558 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
83558 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83558 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83558 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83558 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83558 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83558 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
83599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.49ms
83599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
83915 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
83915 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
83915 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
83931 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
85320 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
88693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s
88759 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
88822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.5ns
88900 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
88931 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
88951 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''