Standard output
103416 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
103417 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
103419 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103420 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103420 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
103420 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103421 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103425 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
103425 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
103426 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103426 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103426 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
103427 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103427 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
103443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 349.8ns
103444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
103800 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
103801 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
103803 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
103803 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
104878 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
108923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s
108971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
109022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 46ns
109057 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
109080 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
109084 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''