1 files changed, 0 insertions, 58 deletions
diff --git a/test/golden/calc/encoding tasks.golden b/test/golden/calc/encoding tasks.golden
deleted file mode 100644
index cf23f08..0000000
--- a/test/golden/calc/encoding tasks.golden
+++ /dev/null
@@ -1,58 +0,0 @@
-fof(zf_q0,conjecture,zf_f0=zf_f0).
-------------------
-fof(zf_q0,conjecture,zf_f0=zf_f0).
-fof(zf_h0,axiom,![V0]:V0=V0).
-------------------
-fof(zf_q0,conjecture,zf_f0=zf_f0).
-fof(zf_h0,axiom,![V0]:V0=V0).
-fof(zf_h1,axiom,![V1]:V1=V1).
-------------------
-fof(zf_q0,conjecture,zf_f0=zf_f0).
-fof(zf_h0,axiom,![V0]:V0=V0).
-------------------
-fof(zf_q0,conjecture,zf_f0=zf_f0).
-fof(zf_h0,axiom,![V0]:V0=V0).
-fof(zf_h1,axiom,![V1]:V1=V1).
-fof(zf_h2,axiom,zf_f0=zf_f0).
-------------------
-fof(zf_q0,conjecture,zf_f0=zf_f0).
-fof(zf_h0,axiom,![V0]:V0=V0).
-fof(zf_h1,axiom,![V1]:V1=V1).
-fof(zf_h2,axiom,![V2]:V2=V2).
-------------------
-fof(zf_q0,conjecture,zf_f0=zf_f0).
-fof(zf_h0,axiom,![V0]:V0=V0).
-------------------
-fof(zf_q0,conjecture,zf_f0=zf_f0).
-fof(zf_h0,axiom,![V0]:V0=V0).
-fof(zf_h1,axiom,![V1]:V1=V1).
-fof(zf_h2,axiom,![V2]:V2=V2).
-fof(zf_h3,axiom,zf_f0=zf_f0<=>zf_f0=zf_f0).
-------------------
-fof(zf_q0,conjecture,![V0]:(zf_u0(V0,zf_f0)=>V0=V0)).
-fof(zf_h0,axiom,![V1]:V1=V1).
-fof(zf_h1,axiom,![V2]:V2=V2).
-fof(zf_h2,axiom,![V3]:V3=V3).
-fof(zf_h3,axiom,![V4]:V4=V4).
-------------------
-fof(zf_q0,conjecture,![V0]:(zf_u0(V0,zf_f0)=>V0=V0)).
-fof(zf_h0,axiom,![V1]:(zf_u0(V1,zf_f0)=>V1=V1)).
-fof(zf_h1,axiom,![V2]:V2=V2).
-fof(zf_h2,axiom,![V3]:V3=V3).
-fof(zf_h3,axiom,![V4]:V4=V4).
-fof(zf_h4,axiom,![V5]:V5=V5).
-------------------
-fof(zf_q0,conjecture,![V0]:((zf_u0(V0,zf_f0)&V0=V0)=>V0=V0)).
-fof(zf_h0,axiom,![V1]:![V2]:(zf_u0(V2,V1)=>V2=V2)).
-fof(zf_h1,axiom,![V3]:V3=V3).
-fof(zf_h2,axiom,![V4]:V4=V4).
-fof(zf_h3,axiom,![V5]:V5=V5).
-fof(zf_h4,axiom,![V6]:V6=V6).
-------------------
-fof(zf_q0,conjecture,![V0]:((zf_u0(V0,zf_f0)&V0=V0)=>V0=V0)).
-fof(zf_h0,axiom,![V1]:![V2]:(zf_u0(V2,V1)=>V2=V2)).
-fof(zf_h1,axiom,![V3]:((zf_u0(V3,zf_f0)&V3=V3)=>V3=V3)).
-fof(zf_h2,axiom,![V4]:V4=V4).
-fof(zf_h3,axiom,![V5]:V5=V5).
-fof(zf_h4,axiom,![V6]:V6=V6).
-fof(zf_h5,axiom,![V7]:V7=V7).
-\ No newline at end of file