Standard output
97284 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
97284 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
97338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 472ns
97354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
97682 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97682 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97682 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97682 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99215 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
103076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.71s
103138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
103201 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 41.7ns
103325 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
103373 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
103373 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''