Standard output
95390 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
95391 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95393 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95394 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95395 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95395 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95396 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95403 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
95404 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95405 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95406 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95406 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
95407 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95407 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
95427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
95443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.48ms
95445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
95742 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
95742 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
95753 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
95753 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
96799 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
100456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s
100505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
100551 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35.8ns
100609 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
100631 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
100635 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''