Standard output
79420 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
79420 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
79420 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79420 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79420 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
79420 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79436 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79436 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
79436 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
79436 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79436 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79436 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
79436 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79436 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
79452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
79452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 389.4ns
79452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
79749 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
79749 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
79749 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
79749 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
80843 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
83868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s
83930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
83993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35.5ns
84038 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
84085 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
84085 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''