292491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props4798452600769398182.key
292492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.09ms
292493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
297495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s
297552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props4798452600769398182.key
297555 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
297557 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
297563 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
297564 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>''
297566 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4''
297576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props17944095667646655146.key
297577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 491.2ns
297578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
302547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s
302571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props17944095667646655146.key
302580 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
302581 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
302590 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
302592 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''
302598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props9107347768136110408.key
302599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.18ms
302601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
307679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s
307702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props9107347768136110408.key
307704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
307705 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft'
307706 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
307706 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)]
307709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props17819542988119191454.key
307709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.9ns
307710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
312726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s
312750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props17819542988119191454.key
312753 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
312755 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
312768 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"'
312773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props9285797222537754164.key
312773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 477ns
312775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
317816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s
317838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props9285797222537754164.key
317841 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
317842 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
317854 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"'
317858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props15558321679451646879.key
317858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 532.8ns
317863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
322923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s
322944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props15558321679451646879.key
322946 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
322947 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight'
322951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props16891361980291767597.key
322951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.9ns
322952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
327991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s
328011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props16891361980291767597.key
328016 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
328017 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
328022 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"'
328023 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
328023 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b]