Standard output
96950 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
96950 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96966 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96966 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96966 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96966 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96966 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96966 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
96966 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96966 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96966 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96966 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96981 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96981 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
97013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1ms
97013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
97357 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97357 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97357 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97357 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98341 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
101907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s
101969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
102032 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.9ns
102079 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
102125 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
102141 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''