Standard output
123607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
123607 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
123611 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
123611 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
123612 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
123612 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
123613 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
123619 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
123619 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
123620 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
123620 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
123621 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
123622 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
123623 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
123640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
123645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 727.44ns
123647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
123997 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
123998 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
124004 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
124004 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
125371 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
130027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.38s
130074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
130158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 41ns
130215 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
130236 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
130240 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''