Standard output
106418 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
106418 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106433 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106434 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106434 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106435 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106437 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106443 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
106443 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106443 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106443 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106443 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
106443 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106443 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
106490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 547.3ns
106490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
106912 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
106912 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
106912 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
106912 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
108350 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
112580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.09s
112643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
112734 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 47.1ns
112808 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
112855 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
112871 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''