Fromentin Jean il y a 4 ans
Parent
commit
c37757d585
100 fichiers modifiés avec 213 ajouts et 15 suppressions
  1. 3 3
      single/Makefile
  2. 8 8
      single/cluster.py
  3. 31 0
      single/cluster3.py
  4. 9 4
      single/monoid.cpp
  5. 42 0
      single/monoid.hpp
  6. BIN
      single/monoid.o
  7. 11 0
      single/oar_wilf.sh
  8. 10 0
      single/oar_wilf_2.sh
  9. 10 0
      single/oar_wilf_3.sh
  10. 1 0
      single/output/job.581309.error
  11. 1 0
      single/output/job.581330.error
  12. 1 0
      single/output/job.581352.error
  13. 0 0
      single/output/job.581364.error
  14. 2 0
      single/output/job.581364.output
  15. 0 0
      single/output/job.581365.error
  16. 2 0
      single/output/job.581365.output
  17. 0 0
      single/output/job.581366.error
  18. 2 0
      single/output/job.581366.output
  19. 0 0
      single/output/job.581367.error
  20. 2 0
      single/output/job.581367.output
  21. 0 0
      single/output/job.581368.error
  22. 2 0
      single/output/job.581368.output
  23. 0 0
      single/output/job.582275.error
  24. 2 0
      single/output/job.582275.output
  25. 0 0
      single/output/job.582276.error
  26. 2 0
      single/output/job.582276.output
  27. 0 0
      single/output/job.582277.error
  28. 2 0
      single/output/job.582277.output
  29. 0 0
      single/output/job.582278.error
  30. 2 0
      single/output/job.582278.output
  31. 0 0
      single/output/job.582279.error
  32. 2 0
      single/output/job.582279.output
  33. 0 0
      single/output/job.582280.error
  34. 2 0
      single/output/job.582280.output
  35. 0 0
      single/output/job.582281.error
  36. 2 0
      single/output/job.582281.output
  37. 0 0
      single/output/job.582282.error
  38. 2 0
      single/output/job.582282.output
  39. 0 0
      single/output/job.582283.error
  40. 2 0
      single/output/job.582283.output
  41. 0 0
      single/output/job.582284.error
  42. 2 0
      single/output/job.582284.output
  43. 0 0
      single/output/job.582285.error
  44. 2 0
      single/output/job.582285.output
  45. 0 0
      single/output/job.582286.error
  46. 2 0
      single/output/job.582286.output
  47. 0 0
      single/output/job.582287.error
  48. 2 0
      single/output/job.582287.output
  49. 0 0
      single/output/job.582288.error
  50. 2 0
      single/output/job.582288.output
  51. 0 0
      single/output/job.582289.error
  52. 2 0
      single/output/job.582289.output
  53. 0 0
      single/output/job.582290.error
  54. 2 0
      single/output/job.582290.output
  55. 0 0
      single/output/job.582291.error
  56. 2 0
      single/output/job.582291.output
  57. 0 0
      single/output/job.582292.error
  58. 2 0
      single/output/job.582292.output
  59. 0 0
      single/output/job.582293.error
  60. 2 0
      single/output/job.582293.output
  61. 0 0
      single/output/job.582294.error
  62. 2 0
      single/output/job.582294.output
  63. 0 0
      single/output/job.582295.error
  64. 2 0
      single/output/job.582295.output
  65. 0 0
      single/output/job.582296.error
  66. 2 0
      single/output/job.582296.output
  67. 0 0
      single/output/job.582297.error
  68. 2 0
      single/output/job.582297.output
  69. 0 0
      single/output/job.582298.error
  70. 2 0
      single/output/job.582298.output
  71. 0 0
      single/output/job.582299.error
  72. 2 0
      single/output/job.582299.output
  73. 0 0
      single/output/job.582300.error
  74. 2 0
      single/output/job.582300.output
  75. 0 0
      single/output/job.582301.error
  76. 2 0
      single/output/job.582301.output
  77. 0 0
      single/output/job.582302.error
  78. 2 0
      single/output/job.582302.output
  79. 0 0
      single/output/job.582303.error
  80. 2 0
      single/output/job.582303.output
  81. 0 0
      single/output/job.582304.error
  82. 2 0
      single/output/job.582304.output
  83. 0 0
      single/output/job.582305.error
  84. 2 0
      single/output/job.582305.output
  85. 0 0
      single/output/job.582306.error
  86. 2 0
      single/output/job.582306.output
  87. 0 0
      single/output/job.582307.error
  88. 2 0
      single/output/job.582307.output
  89. 0 0
      single/output/job.582308.error
  90. 2 0
      single/output/job.582308.output
  91. 0 0
      single/output/job.582309.error
  92. 2 0
      single/output/job.582309.output
  93. 0 0
      single/output/job.582310.error
  94. 2 0
      single/output/job.582310.output
  95. 0 0
      single/output/job.582311.error
  96. 2 0
      single/output/job.582311.output
  97. 0 0
      single/output/job.582312.error
  98. 2 0
      single/output/job.582312.output
  99. 0 0
      single/output/job.582313.error
  100. 0 0
      single/output/job.582313.output

+ 3 - 3
single/Makefile

@@ -3,8 +3,8 @@ OS     	    = $(shell uname)
 CPPFLAGS    = -DMAX_GENUS=$(MAX_GENUS) #-DNDEBUG
 CXXFLAGS    = -std=c++11 -g -Wall -O3 # -fsanitize=thread # -Winline
 CXX         = g++
-TARGET_ARCH = -march=native -mtune=native
-TARGET 	    = wilf_alone
+TARGET_ARCH = -march=corei7 -mtune=corei7
+TARGET 	    = wilf_alone_3
 
 # Pour compiler avec une valeur différente: make MAX_GENUS=35
 DEFAULT_MAX_GENUS=40
@@ -14,7 +14,7 @@ all: $(TARGET)
 
 monoid.o: monoid.cpp monoid.hpp
 treewalk.o: treewalk.cpp treewalk.hpp monoid.hpp
-wilf_alone: treewalk.o monoid.o
+wilf_alone_3: treewalk.o monoid.o
 	$(CXX) $(LDFLAGS) $^ $(LOADLIBES) $(LDLIBS) -o $@
 
 clean:

+ 8 - 8
single/cluster.py

@@ -9,23 +9,23 @@ if __name__=="__main__":
     mmax=int((3*(g+2))/5)
     n=0
     os.system("make clean;make MAX_GENUS="+repr(g))
-    file=open("output/param_"+repr(g),'w')
+    file=open("output2/param_"+repr(g),'w')
     for m in range(2,mmax+1):
         for k in range(1,m):
             file.write(repr(m)+' '+repr(k)+"\n")
             n+=1
     file.close()
     print("Split in ",n," subtasks")
-    file=open("oar_wilf.sh",'w')
+    file=open("oar_wilf_2.sh",'w')
     file.write("#!/bin/sh\n")
-    file.write("#OAR -l core=1,walltime=02:00:00\n")
+    file.write("#OAR -l core=1,walltime=1:00:00\n")
     file.write("#OAR -t idempotent\n")
     file.write("#OAR -q besteffort\n")
     file.write("#OAR -t besteffort\n")
-    file.write('#OAR -p cputype="skylake"\n')
-    file.write("#OAR --array-param-file output/param_"+repr(g)+"\n")
-    file.write("#OAR -O output/job.%jobid%.output\n")
-    file.write("#OAR -E output/job.%jobid%.error\n")
+#    file.write('#OAR -p cputype="skylake" or cputype="braodwell"\n')
+    file.write("#OAR --array-param-file output2/param_"+repr(g)+"\n")
+    file.write("#OAR -O output2/job.%jobid%.output\n")
+    file.write("#OAR -E output2/job.%jobid%.error\n")
     file.write("cd /nfs/home/lmpa/jfromentin/wilf/single\n")
-    file.write("./wilf_alone $*\n")
+    file.write("./wilf_alone_2 $*\n")
     file.close()

+ 31 - 0
single/cluster3.py

@@ -0,0 +1,31 @@
+import sys
+import os
+
+if __name__=="__main__":
+    if len(sys.argv)!=2:
+        print("Usage : python3 "+sys.argv[0]+" genus")
+        exit(-1)
+    g=int(sys.argv[1])
+    mmax=int((3*(g+2))/5)
+    n=0
+    os.system("make clean;make MAX_GENUS="+repr(g))
+    file=open("output3/param_"+repr(g),'w')
+    for m in range(2,mmax+1):
+        for k in range(1,2):
+            file.write(repr(m)+' '+repr(k)+"\n")
+            n+=1
+    file.close()
+    print("Split in ",n," subtasks")
+    file=open("oar_wilf_3.sh",'w')
+    file.write("#!/bin/sh\n")
+    file.write("#OAR -l core=1,walltime=1:00:00\n")
+    file.write("#OAR -t idempotent\n")
+    file.write("#OAR -q besteffort\n")
+    file.write("#OAR -t besteffort\n")
+#    file.write('#OAR -p cputype="skylake" or cputype="braodwell"\n')
+    file.write("#OAR --array-param-file output3/param_"+repr(g)+"\n")
+    file.write("#OAR -O output3/job.%jobid%.output\n")
+    file.write("#OAR -E output3/job.%jobid%.error\n")
+    file.write("cd /nfs/home/lmpa/jfromentin/wilf/single\n")
+    file.write("./wilf_alone_3 $*\n")
+    file.close()

+ 9 - 4
single/monoid.cpp

@@ -56,14 +56,19 @@ void print_monoid_gen(const monoid &m)
   std::cout<<'>'<<std::endl;
 }
 
+#include <cmath>
+
+
 void output(const monoid& m,fstream& f){
-  f<<"w = "<<m.wilf<<" : < ";
-  for (auto i=1; i<SIZE; i++){
+  int q=ceil(float(m.conductor)/float(m.min));
+  int rho=q*m.min-m.conductor;
+  f<<"w = "<<m.wilf<<", c = "<<m.conductor<<", r = "<<rho<<" : ["<<m.min;
+  for (auto i=m.min+1; i<SIZE; i++){
     if(m.decs[i]==1){
-      f<<i<<' ';
+      f<<','<<i;
     }
   }
-  f<<'>'<<endl;
+  f<<']'<<endl;
 }
 
 void print_epi8(epi8 bl)

+ 42 - 0
single/monoid.hpp

@@ -288,6 +288,48 @@ void remove_generator(monoid &__restrict__ dst,
       CASE_UNROLL(17);
 #endif 
 #if NBLOCKS > 19
+      CASE_UNROLL(18);
+#endif
+#if NBLOCKS > 20
+      CASE_UNROLL(19);
+#endif
+#if NBLOCKS > 21
+      CASE_UNROLL(20);
+#endif
+#if NBLOCKS > 22
+      CASE_UNROLL(21);
+#endif
+#if NBLOCKS > 23
+      CASE_UNROLL(22);
+#endif
+#if NBLOCKS > 24
+      CASE_UNROLL(23);
+#endif
+#if NBLOCKS > 25
+      CASE_UNROLL(24);
+#endif
+#if NBLOCKS > 26
+      CASE_UNROLL(25);
+#endif
+#if NBLOCKS > 27
+      CASE_UNROLL(26);
+#endif
+#if NBLOCKS > 28
+      CASE_UNROLL(27);
+#endif
+#if NBLOCKS > 29
+      CASE_UNROLL(28);
+#endif
+#if NBLOCKS > 30
+      CASE_UNROLL(29);
+#endif
+#if NBLOCKS > 31
+      CASE_UNROLL(30);
+#endif
+#if NBLOCKS > 32
+      CASE_UNROLL(31);
+#endif      
+#if NBLOCKS > 33
 #error "Too many blocks"
 #endif
     }

BIN
single/monoid.o


+ 11 - 0
single/oar_wilf.sh

@@ -0,0 +1,11 @@
+#!/bin/sh
+#OAR -l core=1,walltime=200:00:00
+#OAR -t idempotent
+#OAR -q besteffort
+#OAR -t besteffort
+#OAR -p cputype="skylake"
+#OAR --array-param-file output/param_80
+#OAR -O output/job.%jobid%.output
+#OAR -E output/job.%jobid%.error
+cd /nfs/home/lmpa/jfromentin/wilf/single
+./wilf_alone $*

+ 10 - 0
single/oar_wilf_2.sh

@@ -0,0 +1,10 @@
+#!/bin/sh
+#OAR -l core=1,walltime=1:00:00
+#OAR -t idempotent
+#OAR -q besteffort
+#OAR -t besteffort
+#OAR --array-param-file output2/param_100
+#OAR -O output2/job.%jobid%.output
+#OAR -E output2/job.%jobid%.error
+cd /nfs/home/lmpa/jfromentin/wilf/single
+./wilf_alone_2 $*

+ 10 - 0
single/oar_wilf_3.sh

@@ -0,0 +1,10 @@
+#!/bin/sh
+#OAR -l core=1,walltime=1:00:00
+#OAR -t idempotent
+#OAR -q besteffort
+#OAR -t besteffort
+#OAR --array-param-file output3/param_177
+#OAR -O output3/job.%jobid%.output
+#OAR -E output3/job.%jobid%.error
+cd /nfs/home/lmpa/jfromentin/wilf/single
+./wilf_alone_3 $*

+ 1 - 0
single/output/job.581309.error

@@ -0,0 +1 @@
+## OAR [2019-06-14 17:50:53] Job 581309 KILLED ##

+ 1 - 0
single/output/job.581330.error

@@ -0,0 +1 @@
+## OAR [2019-06-14 17:50:53] Job 581330 KILLED ##

+ 1 - 0
single/output/job.581352.error

@@ -0,0 +1 @@
+## OAR [2019-06-14 17:51:19] Job 581352 KILLED ##

+ 0 - 0
single/output/job.581364.error


+ 2 - 0
single/output/job.581364.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{24}\{37}.
+ Computation time = 0.000591 s.

+ 0 - 0
single/output/job.581365.error


+ 2 - 0
single/output/job.581365.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{24}\{38}.
+ Computation time = 0.0003981 s.

+ 0 - 0
single/output/job.581366.error


+ 2 - 0
single/output/job.581366.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{24}\{39}.
+ Computation time = 0.0007234 s.

+ 0 - 0
single/output/job.581367.error


+ 2 - 0
single/output/job.581367.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{24}\{40}.
+ Computation time = 0.0003357 s.

+ 0 - 0
single/output/job.581368.error


+ 2 - 0
single/output/job.581368.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{24}\{41}.
+ Computation time = 0.0003393 s.

+ 0 - 0
single/output/job.582275.error


+ 2 - 0
single/output/job.582275.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{2}\{3}.
+ Computation time = 0.0003308 s.

+ 0 - 0
single/output/job.582276.error


+ 2 - 0
single/output/job.582276.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{3}\{4}.
+ Computation time = 0.0005279 s.

+ 0 - 0
single/output/job.582277.error


+ 2 - 0
single/output/job.582277.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{3}\{5}.
+ Computation time = 0.0004792 s.

+ 0 - 0
single/output/job.582278.error


+ 2 - 0
single/output/job.582278.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{4}\{5}.
+ Computation time = 0.0006487 s.

+ 0 - 0
single/output/job.582279.error


+ 2 - 0
single/output/job.582279.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{4}\{6}.
+ Computation time = 0.0003969 s.

+ 0 - 0
single/output/job.582280.error


+ 2 - 0
single/output/job.582280.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{4}\{7}.
+ Computation time = 0.000393 s.

+ 0 - 0
single/output/job.582281.error


+ 2 - 0
single/output/job.582281.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{5}\{6}.
+ Computation time = 0.0003898 s.

+ 0 - 0
single/output/job.582282.error


+ 2 - 0
single/output/job.582282.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{5}\{7}.
+ Computation time = 0.000372 s.

+ 0 - 0
single/output/job.582283.error


+ 2 - 0
single/output/job.582283.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{5}\{8}.
+ Computation time = 0.0003949 s.

+ 0 - 0
single/output/job.582284.error


+ 2 - 0
single/output/job.582284.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{5}\{9}.
+ Computation time = 0.000865 s.

+ 0 - 0
single/output/job.582285.error


+ 2 - 0
single/output/job.582285.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{6}\{7}.
+ Computation time = 0.000962 s.

+ 0 - 0
single/output/job.582286.error


+ 2 - 0
single/output/job.582286.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{6}\{8}.
+ Computation time = 0.0007792 s.

+ 0 - 0
single/output/job.582287.error


+ 2 - 0
single/output/job.582287.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{6}\{9}.
+ Computation time = 0.0008798 s.

+ 0 - 0
single/output/job.582288.error


+ 2 - 0
single/output/job.582288.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{6}\{10}.
+ Computation time = 0.0004814 s.

+ 0 - 0
single/output/job.582289.error


+ 2 - 0
single/output/job.582289.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{6}\{11}.
+ Computation time = 0.0006997 s.

+ 0 - 0
single/output/job.582290.error


+ 2 - 0
single/output/job.582290.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{7}\{8}.
+ Computation time = 0.001358 s.

+ 0 - 0
single/output/job.582291.error


+ 2 - 0
single/output/job.582291.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{7}\{9}.
+ Computation time = 0.0006146 s.

+ 0 - 0
single/output/job.582292.error


+ 2 - 0
single/output/job.582292.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{7}\{10}.
+ Computation time = 0.0003765 s.

+ 0 - 0
single/output/job.582293.error


+ 2 - 0
single/output/job.582293.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{7}\{11}.
+ Computation time = 0.0005065 s.

+ 0 - 0
single/output/job.582294.error


+ 2 - 0
single/output/job.582294.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{7}\{12}.
+ Computation time = 0.0003984 s.

+ 0 - 0
single/output/job.582295.error


+ 2 - 0
single/output/job.582295.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{7}\{13}.
+ Computation time = 0.0003922 s.

+ 0 - 0
single/output/job.582296.error


+ 2 - 0
single/output/job.582296.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{8}\{9}.
+ Computation time = 0.0009524 s.

+ 0 - 0
single/output/job.582297.error


+ 2 - 0
single/output/job.582297.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{8}\{10}.
+ Computation time = 0.0004282 s.

+ 0 - 0
single/output/job.582298.error


+ 2 - 0
single/output/job.582298.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{8}\{11}.
+ Computation time = 0.00186 s.

+ 0 - 0
single/output/job.582299.error


+ 2 - 0
single/output/job.582299.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{8}\{12}.
+ Computation time = 0.0003996 s.

+ 0 - 0
single/output/job.582300.error


+ 2 - 0
single/output/job.582300.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{8}\{13}.
+ Computation time = 0.0004726 s.

+ 0 - 0
single/output/job.582301.error


+ 2 - 0
single/output/job.582301.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{8}\{14}.
+ Computation time = 0.0003033 s.

+ 0 - 0
single/output/job.582302.error


+ 2 - 0
single/output/job.582302.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{8}\{15}.
+ Computation time = 0.0006312 s.

+ 0 - 0
single/output/job.582303.error


+ 2 - 0
single/output/job.582303.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{9}\{10}.
+ Computation time = 0.0006926 s.

+ 0 - 0
single/output/job.582304.error


+ 2 - 0
single/output/job.582304.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{9}\{11}.
+ Computation time = 0.0003694 s.

+ 0 - 0
single/output/job.582305.error


+ 2 - 0
single/output/job.582305.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{9}\{12}.
+ Computation time = 0.0003629 s.

+ 0 - 0
single/output/job.582306.error


+ 2 - 0
single/output/job.582306.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{9}\{13}.
+ Computation time = 0.001691 s.

+ 0 - 0
single/output/job.582307.error


+ 2 - 0
single/output/job.582307.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{9}\{14}.
+ Computation time = 0.0003828 s.

+ 0 - 0
single/output/job.582308.error


+ 2 - 0
single/output/job.582308.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{9}\{15}.
+ Computation time = 0.0002978 s.

+ 0 - 0
single/output/job.582309.error


+ 2 - 0
single/output/job.582309.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{9}\{16}.
+ Computation time = 0.0003738 s.

+ 0 - 0
single/output/job.582310.error


+ 2 - 0
single/output/job.582310.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{9}\{17}.
+ Computation time = 0.00188 s.

+ 0 - 0
single/output/job.582311.error


+ 2 - 0
single/output/job.582311.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{10}\{11}.
+ Computation time = 0.005254 s.

+ 0 - 0
single/output/job.582312.error


+ 2 - 0
single/output/job.582312.output

@@ -0,0 +1,2 @@
+Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{10}\{12}.
+ Computation time = 0.007184 s.

+ 0 - 0
single/output/job.582313.error


+ 0 - 0
single/output/job.582313.output


Certains fichiers n'ont pas été affichés car il y a eu trop de fichiers modifiés dans ce diff