From fc6a2c2874678193ec8c1a110fdfe437b47aeddf Mon Sep 17 00:00:00 2001 From: ValentinPromies <44966217+ValentinPromies@users.noreply.github.com> Date: Mon, 27 May 2024 14:43:31 +0200 Subject: [PATCH 1/4] smtrat submission --- submissions/smtrat.json | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 submissions/smtrat.json diff --git a/submissions/smtrat.json b/submissions/smtrat.json new file mode 100644 index 00000000..5ed0eb0b --- /dev/null +++ b/submissions/smtrat.json @@ -0,0 +1,20 @@ +{ + "name": "SMT-RAT", + "contributors": [ + "Jasper Nalbach", + "Valentin Promies", + "Erika Ábrahám" + ], + "contacts": ["Jasper Nalbach ", "Valentin Promies "], + "archive": { + "url": "https://github.com/ths-rwth/smtrat/releases/download/24.05/smtrat.tgz", + }, + "website": "https://github.com/ths-rwth/smtrat", + "system_description": "https://github.com/ths-rwth/smtrat/blob/master/doc/smtcomp-description/smtcomp-2024.pdf", + "command": [ "./smtrat" ], + "solver_type": "Standalone", + "participations": [ + { "tracks": ["SingleQuery"], "logics": "(QF_)?NRA" }, + { "tracks": ["ModelValidation"], "logics": "QF_NRA" } + ] +} From 2e543b5164a6d526a765c59e0f49ccb56cd87f5b Mon Sep 17 00:00:00 2001 From: ValentinPromies <44966217+ValentinPromies@users.noreply.github.com> Date: Mon, 27 May 2024 14:51:42 +0200 Subject: [PATCH 2/4] Remove trailing comma --- submissions/smtrat.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/smtrat.json b/submissions/smtrat.json index 5ed0eb0b..9397f87a 100644 --- a/submissions/smtrat.json +++ b/submissions/smtrat.json @@ -7,7 +7,7 @@ ], "contacts": ["Jasper Nalbach ", "Valentin Promies "], "archive": { - "url": "https://github.com/ths-rwth/smtrat/releases/download/24.05/smtrat.tgz", + "url": "https://github.com/ths-rwth/smtrat/releases/download/24.05/smtrat.tgz" }, "website": "https://github.com/ths-rwth/smtrat", "system_description": "https://github.com/ths-rwth/smtrat/blob/master/doc/smtcomp-description/smtcomp-2024.pdf", From a2c7d434e876a45ca755038e66b9c49606862645 Mon Sep 17 00:00:00 2001 From: ValentinPromies <44966217+ValentinPromies@users.noreply.github.com> Date: Thu, 30 May 2024 22:30:23 +0200 Subject: [PATCH 3/4] add seed --- submissions/smtrat.json | 1 + 1 file changed, 1 insertion(+) diff --git a/submissions/smtrat.json b/submissions/smtrat.json index 9397f87a..c9654858 100644 --- a/submissions/smtrat.json +++ b/submissions/smtrat.json @@ -13,6 +13,7 @@ "system_description": "https://github.com/ths-rwth/smtrat/blob/master/doc/smtcomp-description/smtcomp-2024.pdf", "command": [ "./smtrat" ], "solver_type": "Standalone", + "seed": 174228, "participations": [ { "tracks": ["SingleQuery"], "logics": "(QF_)?NRA" }, { "tracks": ["ModelValidation"], "logics": "QF_NRA" } From de837cc1418f2a46b5221918a9bd68a4dc3c93c3 Mon Sep 17 00:00:00 2001 From: ValentinPromies <44966217+ValentinPromies@users.noreply.github.com> Date: Thu, 13 Jun 2024 13:30:30 +0200 Subject: [PATCH 4/4] update solver --- submissions/smtrat.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/smtrat.json b/submissions/smtrat.json index c9654858..f5a82b9d 100644 --- a/submissions/smtrat.json +++ b/submissions/smtrat.json @@ -7,7 +7,7 @@ ], "contacts": ["Jasper Nalbach ", "Valentin Promies "], "archive": { - "url": "https://github.com/ths-rwth/smtrat/releases/download/24.05/smtrat.tgz" + "url": "https://github.com/ths-rwth/smtrat/releases/download/24.06/smtrat.tgz" }, "website": "https://github.com/ths-rwth/smtrat", "system_description": "https://github.com/ths-rwth/smtrat/blob/master/doc/smtcomp-description/smtcomp-2024.pdf",