Standard output
101211 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101212 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101216 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101217 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101217 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101218 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101219 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101224 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101225 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101226 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101226 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101227 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101228 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101229 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
101255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.29ns
101256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
101609 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
101610 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
101611 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
101612 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102685 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
106579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s
106633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
106690 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 41.5ns
106732 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
106765 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
106770 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''