Standard output
89876 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
89878 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
89882 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89882 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89883 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
89883 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89885 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89890 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
89890 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
89891 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89892 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89892 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
89893 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89894 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
89916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
89919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.41ns
89920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
90223 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
90224 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
90225 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
90225 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
91240 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
94804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s
94850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
94893 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.7ns
94927 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
94948 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
94952 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''