Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 416f9485 authored by GUILLEMOT Alexandre's avatar GUILLEMOT Alexandre
Browse files

linear structured 30 2 5

parent 19739e71
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 3836 additions and 1 deletion
benchmarks/linear_structured-30-2-5_100-paths_1/algpath/command.sh 0 → 100755
+ 3
− 0
View file @ 416f9485
#!/bin/sh
algpath ../../../data/linear_structured-30-2-5_100-paths_1.json --homogenize --diff backward --jobs 1
\ No newline at end of file
benchmarks/linear_structured-30-2-5_100-paths_1/algpath/info.json 0 → 100644
+ 10
− 0
View file @ 416f9485
{
"datetime": "2024-05-03 09:46:56.819491",
"return code": 0,
"timeout": null,
"timeout error": false,
"memory": null,
"memory error": false,
"script error": false,
"killed manually": false
}
\ No newline at end of file
benchmarks/linear_structured-30-2-5_100-paths_1/algpath/log.txt 0 → 100644
+ 202
− 0
View file @ 416f9485
[src/main.rs:28] parametric_system.f[0].instructions.len() = 6416
[src/main.rs:29] parametric_system.df[0].instructions.len() = 9875
continuation 1/100
948
continuation 2/100
839
continuation 3/100
802
continuation 4/100
946
continuation 5/100
1243
continuation 6/100
677
continuation 7/100
1217
continuation 8/100
873
continuation 9/100
966
continuation 10/100
925
continuation 11/100
888
continuation 12/100
958
continuation 13/100
807
continuation 14/100
1021
continuation 15/100
621
continuation 16/100
963
continuation 17/100
889
continuation 18/100
890
continuation 19/100
1425
continuation 20/100
761
continuation 21/100
707
continuation 22/100
702
continuation 23/100
931
continuation 24/100
914
continuation 25/100
663
continuation 26/100
900
continuation 27/100
1154
continuation 28/100
845
continuation 29/100
1248
continuation 30/100
1561
continuation 31/100
1204
continuation 32/100
921
continuation 33/100
711
continuation 34/100
1295
continuation 35/100
798
continuation 36/100
917
continuation 37/100
787
continuation 38/100
628
continuation 39/100
556
continuation 40/100
740
continuation 41/100
1059
continuation 42/100
683
continuation 43/100
931
continuation 44/100
712
continuation 45/100
1062
continuation 46/100
995
continuation 47/100
663
continuation 48/100
789
continuation 49/100
713
continuation 50/100
1167
continuation 51/100
777
continuation 52/100
887
continuation 53/100
748
continuation 54/100
973
continuation 55/100
970
continuation 56/100
737
continuation 57/100
1146
continuation 58/100
835
continuation 59/100
959
continuation 60/100
781
continuation 61/100
1147
continuation 62/100
673
continuation 63/100
821
continuation 64/100
1058
continuation 65/100
694
continuation 66/100
744
continuation 67/100
837
continuation 68/100
1079
continuation 69/100
1148
continuation 70/100
1000
continuation 71/100
1156
continuation 72/100
1039
continuation 73/100
762
continuation 74/100
1067
continuation 75/100
850
continuation 76/100
1152
continuation 77/100
933
continuation 78/100
646
continuation 79/100
585
continuation 80/100
1035
continuation 81/100
1017
continuation 82/100
598
continuation 83/100
726
continuation 84/100
791
continuation 85/100
1065
continuation 86/100
917
continuation 87/100
921
continuation 88/100
798
continuation 89/100
960
continuation 90/100
681
continuation 91/100
626
continuation 92/100
773
continuation 93/100
1059
continuation 94/100
924
continuation 95/100
800
continuation 96/100
943
continuation 97/100
952
continuation 98/100
836
continuation 99/100
791
continuation 100/100
813
benchmarks/linear_structured-30-2-5_100-paths_1/algpath/out.json 0 → 100644
+ 111
− 0
View file @ 416f9485
{
"failures": 0,
"instructions": {
"df": 9875,
"f": 6416
},
"overheadtime": 159.58595275878906,
"steplist": [
813.0,
791.0,
836.0,
952.0,
943.0,
800.0,
924.0,
1059.0,
773.0,
626.0,
681.0,
960.0,
798.0,
921.0,
917.0,
1065.0,
791.0,
726.0,
598.0,
1017.0,
1035.0,
585.0,
646.0,
933.0,
1152.0,
850.0,
1067.0,
762.0,
1039.0,
1156.0,
1000.0,
1148.0,
1079.0,
837.0,
744.0,
694.0,
1058.0,
821.0,
673.0,
1147.0,
781.0,
959.0,
835.0,
1146.0,
737.0,
970.0,
973.0,
748.0,
887.0,
777.0,
1167.0,
713.0,
789.0,
663.0,
995.0,
1062.0,
712.0,
931.0,
683.0,
1059.0,
740.0,
556.0,
628.0,
787.0,
917.0,
798.0,
1295.0,
711.0,
921.0,
1204.0,
1561.0,
1248.0,
845.0,
1154.0,
900.0,
663.0,
914.0,
931.0,
702.0,
707.0,
761.0,
1425.0,
890.0,
889.0,
963.0,
621.0,
1021.0,
807.0,
958.0,
888.0,
925.0,
966.0,
873.0,
1217.0,
677.0,
1243.0,
946.0,
802.0,
839.0,
948.0
],
"time": 159.1007537841797
}
\ No newline at end of file
benchmarks/linear_structured-30-2-5_100-paths_1/homotopycontinuation/command.sh 0 → 100755
+ 3
− 0
View file @ 416f9485
#!/bin/sh
julia ../../../packages/_homotopycontinuation.jl ../../../data/linear_structured-30-2-5_100-paths_1.json
\ No newline at end of file
benchmarks/linear_structured-30-2-5_100-paths_1/homotopycontinuation/info.json 0 → 100644
+ 10
− 0
View file @ 416f9485
{
"datetime": "2024-05-03 09:49:44.322780",
"return code": 0,
"timeout": null,
"timeout error": false,
"memory": null,
"memory error": false,
"script error": false,
"killed manually": false
}
\ No newline at end of file
benchmarks/linear_structured-30-2-5_100-paths_1/homotopycontinuation/log.txt 0 → 100644
+ 7
− 0
View file @ 416f9485
Parsing file ...
Warmup system ...
Initializing system ...
Solving 1/2...
Solving 2/2...
Certifying ...
Writting to output ...
benchmarks/linear_structured-30-2-5_100-paths_1/homotopycontinuation/out.json 0 → 100644
+ 108
− 0
View file @ 416f9485
{
"overheadtime": 6.709848793,
"time": 4.599951211,
"ncertified": 100,
"failures": 0,
"steplist": [
287,
336,
300,
342,
342,
267,
308,
404,
346,
340,
508,
294,
362,
263,
306,
384,
283,
362,
383,
463,
360,
473,
270,
348,
425,
311,
444,
412,
337,
371,
285,
381,
348,
499,
305,
301,
365,
276,
328,
340,
358,
456,
488,
424,
203,
363,
384,
377,
364,
276,
325,
377,
381,
352,
489,
262,
325,
342,
416,
343,
365,
393,
318,
370,
363,
330,
335,
411,
387,
409,
363,
505,
346,
367,
394,
301,
339,
352,
320,
291,
353,
362,
325,
308,
404,
440,
235,
274,
367,
365,
444,
382,
327,
255,
325,
403,
338,
347,
323,
237
]
}
\ No newline at end of file
data/linear_structured-30-2-5_100-paths_1.json 0 → 100644
+ 3279
− 0
View file @ 416f9485
This diff is collapsed.
tables/katsura_vs_linear/entries.json
+ 3
− 1
View file @ 416f9485
...@@ -3,7 +3,9 @@ ...@@ -3,7 +3,9 @@
"linear_katsura-25_100-paths_1", "linear_katsura-25_100-paths_1",
"linear_katsura-30_100-paths_1", "linear_katsura-30_100-paths_1",
"linear_katsura-40_100-paths_1", "linear_katsura-40_100-paths_1",
"linear_structured-25-2-5_100-paths_1" "linear_structured-25-2-5_100-paths_1",
"linear_structured-30-2-5_100-paths_1",
"linear_structured-40-2-5_100-paths_1"
], ],
"header": { "header": {
"val": "root", "val": "root",
......
tables/katsura_vs_linear/table.json
+ 100
− 0
View file @ 416f9485
...@@ -361,6 +361,106 @@ ...@@ -361,6 +361,106 @@
"str": "40", "str": "40",
"w": 1 "w": 1
} }
],
[
{
"str": "structured *",
"w": 1
},
{
"str": 30,
"w": 1
},
{
"str": 2,
"w": 1
},
{
"str": 100,
"w": 1
},
{
"str": 6416,
"w": 1
},
{
"str": 9875,
"w": 1
},
{
"str": "",
"w": 1
},
{
"str": "350",
"w": 1
},
{
"str": "508",
"w": 1
},
{
"str": "7.7",
"w": 1
},
{
"str": "6.7",
"w": 1
},
{
"str": "",
"w": 1
},
{
"str": "890",
"w": 1
},
{
"str": "1561",
"w": 1
},
{
"str": "0.56",
"w": 1
},
{
"str": "159",
"w": 1
}
],
[
{
"str": "structured *",
"w": 1
},
{
"str": 40,
"w": 1
},
{
"str": 2,
"w": 1
},
{
"str": 100,
"w": 1
},
{
"str": "",
"w": 1
},
{
"str": "",
"w": 1
},
{
"str": "not benchmarked",
"w": 5
},
{
"str": "not benchmarked",
"w": 5
}
] ]
] ]
} }
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment