Standard output
97527 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
97527 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97527 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97527 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97527 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97527 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97527 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97541 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
97541 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97541 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97541 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97541 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
97541 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97541 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
97556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
97572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 511.3ns
97572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
97901 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97901 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97901 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97901 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99401 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
103057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s
103120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
103182 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.9ns
103240 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
103273 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
103293 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''