Standard output
90631 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
90634 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
90638 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
90639 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
90640 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
90641 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
90644 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
90648 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
90650 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
90651 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
90651 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
90652 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
90658 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
90658 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
90670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
90674 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 679.2ns
90675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
91028 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
91029 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
91031 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
91031 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
92380 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
95878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s
95937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
95980 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.3ns
96015 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
96063 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
96068 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''