Standard output
131817 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
131817 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
131817 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
131817 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
131817 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
131817 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
131817 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
131833 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
131833 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
131833 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
131833 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
131833 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
131833 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
131833 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
131887 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
131887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.14ms
131903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
132324 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
132324 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
132324 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
132324 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
133575 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
138141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.25s
138203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
138308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 38.4ns
138419 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
138450 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
138472 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''