Standard output
101874 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101874 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101890 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101890 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101890 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101890 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101890 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101936 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101936 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101936 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101936 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101936 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101936 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101936 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
102421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.3ms
102421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
102874 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102874 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102890 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102890 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
104203 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
108612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.2s
108768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
108862 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44ns
108941 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
109003 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
109097 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''