Standard output
148807 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
148807 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
148807 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148807 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148807 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
148807 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148807 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148827 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
148827 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
148828 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148829 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148830 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
148832 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148833 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
148849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
148849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.2ns
148865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
149310 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
149310 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
149310 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
149310 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
150888 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
156763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.9s
156841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
156966 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44.2ns
157054 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
157101 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
157126 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''