Standard output
96522 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
96522 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96522 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96522 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96522 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96522 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96522 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96537 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
96537 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96537 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96537 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96537 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96537 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96537 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
96584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 477.6ns
96584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
96943 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
96943 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
96943 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
96943 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98081 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
102055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s
102102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
102174 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.9ns
102236 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight' on goal 0 (script from line 2)
102268 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0'' on goal 1 (script from line 3)
102268 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0'' on goal 2 (script from line 4)