Skip to content

Commit

Permalink
up!
Browse files Browse the repository at this point in the history
  • Loading branch information
Sasha Demin committed Jan 13, 2024
1 parent b54f655 commit 8ede64c
Show file tree
Hide file tree
Showing 61 changed files with 29 additions and 62 deletions.
1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Biohydrogenation.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,4 +44,3 @@ function Biohydrogenation(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
x₅_0*x₄_0*z_aux*k₁₀_0 + x₆_0*x₄_0*z_aux*k₁₀_0 + x₅_0*z_aux*k₆_0*k₁₀_0 + x₆_0*z_aux*k₆_0*k₁₀_0 + x₄_0*z_aux*k₈_0*k₁₀_0 + z_aux*k₆_0*k₈_0*k₁₀_0 - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Biohydrogenation_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,4 +44,3 @@ function Biohydrogenation_with_weights(; np=AbstractAlgebra, ordering=:degrevlex
x₆_0^2*x₄_0*z_aux*k₁₀_0^3 + x₆_0^2*z_aux*k₆_0*k₁₀_0^3 + x₅_0*x₄_0*z_aux*k₁₀_0^3 + x₅_0*z_aux*k₆_0*k₁₀_0^3 + x₄_0*z_aux*k₈_0*k₁₀_0^3 + z_aux*k₆_0*k₈_0*k₁₀_0^3 - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/COVID_m1.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -52,4 +52,3 @@ function COVID_m1(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/COVID_m1_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -52,4 +52,3 @@ function COVID_m1_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.Q
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/ChemicalReactionNetwork.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,4 +55,3 @@ function ChemicalReactionNetwork(; np=AbstractAlgebra, ordering=:degrevlex, k=np
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/ChemicalReactionNetwork_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,4 +55,3 @@ function ChemicalReactionNetwork_with_weights(; np=AbstractAlgebra, ordering=:de
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Cholera.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -59,4 +59,3 @@ function Cholera(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Cholera_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -59,4 +59,3 @@ function Cholera_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/DAISY_ex3.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -54,4 +54,3 @@ function DAISY_ex3(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/DAISY_ex3_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -54,4 +54,3 @@ function DAISY_ex3_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/DAISY_mamil3.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,4 +40,3 @@ function DAISY_mamil3(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/DAISY_mamil3_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,4 +40,3 @@ function DAISY_mamil3_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/DAISY_mamil4.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -62,4 +62,3 @@ function DAISY_mamil4(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/DAISY_mamil4_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -62,4 +62,3 @@ function DAISY_mamil4_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Goodwin.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -50,4 +50,3 @@ function Goodwin(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
x3_0*x4_0*z_aux + x3_0*z_aux*c_0 - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Goodwin_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -50,4 +50,3 @@ function Goodwin_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ
x3_0^3*x4_0^2*z_aux + x3_0^3*z_aux*c_0 - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/HIV.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -52,4 +52,3 @@ function HIV(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/HIV2.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -67,4 +67,3 @@ function HIV2(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/HIV2_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -67,4 +67,3 @@ function HIV2_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/HIV_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -52,4 +52,3 @@ function HIV_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/LV.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,4 +24,3 @@ function LV(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/LV_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,4 +24,3 @@ function LV_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Lipolysis.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,4 +35,3 @@ function Lipolysis(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
x1_0*z_aux + z_aux*k2_0 - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Lipolysis_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,4 +35,3 @@ function Lipolysis_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.
x1_0*z_aux + z_aux*k2_0 - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/NFkB.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -128,4 +128,3 @@ function NFkB(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/NFkB_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -128,4 +128,3 @@ function NFkB_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/OralGlucose.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -60,4 +60,3 @@ function OralGlucose(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/OralGlucose_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -60,4 +60,3 @@ function OralGlucose_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=n
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Pharm.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,4 +56,3 @@ function Pharm(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
x1_0*z_aux*ka_0 + x3_0*z_aux*kc_0 + z_aux*ka_0*kc_0 - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Pharm_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,4 +56,3 @@ function Pharm_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
x3_0^2*z_aux*kc_0 + x1_0*z_aux*ka_0 + z_aux*ka_0*kc_0 - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SEIR.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,4 +40,3 @@ function SEIR(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
N_0*z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SEIR2.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -51,4 +51,3 @@ function SEIR2(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
N_0*z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SEIR2_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -51,4 +51,3 @@ function SEIR2_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
N_0*z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SEIRP.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -41,4 +41,3 @@ function SEIRP(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SEIRP_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -41,4 +41,3 @@ function SEIRP_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SEIR_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,4 +40,3 @@ function SEIR_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
N_0*z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SIRSForced.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -52,4 +52,3 @@ function SIRSForced(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SIRSForced_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -52,4 +52,3 @@ function SIRSForced_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SIR_R0.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,4 +24,3 @@ function SIR_R0(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux*g_0 - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SIR_R0_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,4 +24,3 @@ function SIR_R0_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux*g_0 - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SlowFast.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,4 +40,3 @@ function SlowFast(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/SlowFast_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,4 +40,3 @@ function SlowFast_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.Q
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Treatment.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -46,4 +46,3 @@ function Treatment(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
N_0*z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Treatment_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -46,4 +46,3 @@ function Treatment_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.
N_0*z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Tumor.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -94,4 +94,3 @@ function Tumor(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

1 change: 0 additions & 1 deletion benchmark/generate/benchmark_systems/SIAN/Tumor_with_weights.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -94,4 +94,3 @@ function Tumor_with_weights(; np=AbstractAlgebra, ordering=:degrevlex, k=np.QQ)
z_aux - 1
]
end

2 changes: 1 addition & 1 deletion benchmark/results/groebner/benchmark_result_7.md
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
## Benchmark results

2024-01-13T09:36:18.006
2024-01-13T09:41:18.240

Benchmarked backend: groebner

Expand Down
30 changes: 15 additions & 15 deletions benchmark/results/msolve/benchmark_result_7.md
View file
Original file line number Diff line number Diff line change
@@ -1,32 +1,32 @@
## Benchmark results

2024-01-13T09:12:10.012
2024-01-13T09:50:12.191

Benchmarked backend: msolve

Benchmark suite: HC

- Workers: 10
- Timeout: 20 s
- Workers: 2
- Timeout: 120 s
- Aggregated over: 1 runs

**All timings in seconds.**

|Model|Total, s|
|:----|---|
|boon|0.04|
|chandra 2| - |
|chandra 3|0.03|
|chandra 4|0.03|
|chandra 5|0.03|
|chandra 6|0.04|
|chandra 7| - |
|chandra 8| - |
|chandra 9|0.04|
|chandra 10|0.04|
|chandra 11| - |
|chandra 12|0.04|
|ipp| - |
|chandra 2|0.04|
|chandra 3|0.04|
|chandra 4|0.04|
|chandra 5|0.05|
|chandra 6|0.07|
|chandra 7|0.14|
|chandra 8|0.34|
|chandra 9|1.49|
|chandra 10|6.85|
|chandra 11|31.64|
|chandra 12| - |
|ipp|14.48|
|rps10| - |

*Benchmarking environment:*
Expand Down
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/boon/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
4231eb9f6e1dc3aa542993c239b9b54638c96ec62d1e82f29f316ff70a798811
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/chandra 10/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
45296bfafb158e76fd0dbe49c232adaf0cb69edba7497c6bfdbf4b5829f6da10
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/chandra 11/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
83304e951db3a095eb4b3919517ba5069d3432b3fe6c8ecd80c40e20f2e9506a
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/chandra 12/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
acc215429c71a754d4358bf04503fd0ff9593753b13aab95e39b8f1825eadb33
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/chandra 2/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
da6299c388ddad2dc81b39e1234d9a6db778e77e523b68f4fdeae92b0813d550
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/chandra 3/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
468bc423fbfa23be29ae3a097b55ccf9e447b37a704d157e62b8f8c7b694c521
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/chandra 4/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
cd313d6e321a02e52613b6e44de2f6b0934d66f58997432056fb779079de21e6
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/chandra 5/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
ca7ade5550149a60eb5ec892080a1e566aea5699bd7ee2bc824856c2e4658915
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/chandra 6/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
ca0ec4a4c8b1293be2415393f6420435162573724ec1b3a87b0b560a120f634a
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/chandra 7/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
3728b148d64f0c878c0a21b3ae2f13de63cfcc7c7d09f4ccb9a6a4d72a5c790c
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/chandra 8/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
57120ce196f25bb424f6586cf1ab2e270316aaeca112129017abacff26b1f1d0
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/chandra 9/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
9c44e127e6bb261c88dec29a3d75f881e69f8879a9bd3a2a593f08056e5d4791
1 change: 1 addition & 0 deletions benchmark/validate/benchmark_7/ipp/certificate
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
9a19551499a5fa5d4c8379c49b7b770bebfeba221122e98568bbc291d3685b2f

0 comments on commit 8ede64c

Please sign in to comment.