Standard output
96693 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
96694 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96698 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96699 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96700 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96700 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96702 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96706 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
96706 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96708 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96709 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96710 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96711 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
96736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 676.21ns
96738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
97078 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97079 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97080 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97080 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98252 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
101888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s
101939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
101986 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.7ns
102027 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
102049 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
102053 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''