Standard output
98253 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
98253 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98253 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98253 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98253 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98253 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98253 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98269 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
98269 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98269 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98269 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98269 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98269 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98269 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
98304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 652.8ns
98320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
98742 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98742 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98742 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98742 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
100196 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
104283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.97s
104392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
104470 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.5ns
104533 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
104580 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
104595 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''