Standard output
95147 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
95147 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95163 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95165 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95165 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95169 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
95170 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95170 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95170 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95171 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95171 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95172 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
95194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 538ns
95198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
95497 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
95497 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
95497 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
95497 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
96653 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
100341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s
100396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
100444 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.9ns
100490 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
100537 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
100537 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''