Standard output
106893 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
106893 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106893 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106893 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106908 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106908 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106908 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106908 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
106908 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106908 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106908 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106908 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106908 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106908 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
106987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.94ms
106987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
107452 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
107456 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
107456 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
107456 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
108503 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
112489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s
112552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
112614 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 38.2ns
112677 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
112739 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
112755 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''