Standard output
73527 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
73528 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
73530 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
73530 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
73531 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
73531 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
73531 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
73535 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
73536 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
73536 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
73536 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
73536 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
73537 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
73537 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
73546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
73559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 285.3ns
73560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
73867 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
73867 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
73868 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
73868 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
74969 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
77842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s
77878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
77905 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 40.1ns
77946 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
77971 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
77976 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''