146279 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
146280 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
146280 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146280 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146280 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
146280 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146280 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146280 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
146295 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
146295 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146295 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146295 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
146295 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146295 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
146389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 911.8ns
146405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
146885 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
146885 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
146885 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
146885 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
148688 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
154048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.64s
154123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
154243 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.5ns
154384 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
154455 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 3, command: 'rule allRight formula='\forall int i; i > 0''
154455 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 4, command: 'rule allRight formula='\forall int i; i < 0''