Standard output
117364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
117364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
117364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
117364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
117364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
117364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
117364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
117379 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
117379 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
117379 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
117379 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
117379 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
117379 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
117379 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
117442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
117442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.71ms
117458 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
117879 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
117879 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
117879 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
117879 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
119146 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
123541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.09s
123604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
123697 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 46.3ns
123760 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
123822 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
123822 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''