Standard output
93990 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
93990 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
93990 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
93990 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
93990 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
94005 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
94005 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
94005 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
94005 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
94005 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
94005 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
94005 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
94005 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
94005 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
94052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
94068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 811.7ns
94068 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
94378 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
94378 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
94378 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
94378 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
95597 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
99228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s
99274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
99351 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 46.1ns
99461 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
99511 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
99529 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''