Parcourir la source

Merge branch 'master' of https://gogs.univ-littoral.fr/fromenti/wilf

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

+ 5 - 5
single/Makefile

@@ -2,9 +2,9 @@
 OS     	    = $(shell uname)
 CPPFLAGS    = -DMAX_GENUS=$(MAX_GENUS) #-DNDEBUG
 CXXFLAGS    = -std=c++11 -g -Wall -O3 # -fsanitize=thread # -Winline
-CXX         = g++-7
-TARGET_ARCH = -march=native -mtune=native
-TARGET 	    = wilf_alone
+CXX         = g++
+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,11 +14,11 @@ 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:
-	rm -rf $(TARGET) *.o *~ output/* param_* oar_wilf.sh
+	rm -rf $(TARGET) *.o *~ 
 
 test: all
 	./treewalk

+ 11 - 10
single/cluster.py

@@ -8,23 +8,24 @@ if __name__=="__main__":
     g=int(sys.argv[1])
     mmax=int((3*(g+2))/5)
     n=0
-    file=open("output/param_"+repr(g),'w')
+    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,m):
+        for k in range(1,2):
             file.write(repr(m)+' '+repr(k)+"\n")
             n+=1
     file.close()
     print("Split in ",n," subtasks")
-    os.system("make clean;make MAX_GENUS="+repr(g))
-    file=open("oar_wilf.sh",'w')
+    file=open("oar_wilf_3.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")
-    #OAR -p cputype="skylake"
-    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("wilf_alone $*\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


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

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

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


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