Standard output
97217 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
97217 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97217 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97217 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97217 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97217 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97217 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97217 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
97217 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97233 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97233 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97233 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97233 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97233 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
97280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 699.3ns
97280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
97577 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97577 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97577 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97577 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98515 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
102157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s
102219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
102297 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.3ns
102344 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
102376 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
102391 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''