From caf7d4daeecdeef8e67e93e3f9fdba4da3c4857b Mon Sep 17 00:00:00 2001 From: konstantin-korovin <36406221+konstantin-korovin@users.noreply.github.com> Date: Mon, 27 May 2024 22:51:00 +0400 Subject: [PATCH 1/2] submission iProver --- submissions/iprover | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 submissions/iprover diff --git a/submissions/iprover b/submissions/iprover new file mode 100644 index 00000000..e50a97a5 --- /dev/null +++ b/submissions/iprover @@ -0,0 +1,27 @@ +{ + "name": "iProver v3.9", + "contributors": [ + { "name": "Konstantin Korovin", "website": "http://www.cs.man.ac.uk/~korovink/" } + ], + "contacts": ["Konstantin Korovin "], + "archive": { + "url": "TBA", + "h": { "sha256": "012345" } + }, + "website": "https://gitlab.com/korovin/iprover", + "system_description": "http://www.cs.man.ac.uk/~korovink/iprover-smt-comp-2024.pdf", + "command": ["TBA relative_cmd", "TBA default_command_line"], + "solver_type": "wrapped", + "participations": [ + { "tracks": ["SingleQuery"], + "divisions" :["Arith","Equality","Equality+LinearArith","Equality+NonLinearArith",], + + "logics": ["ALIA, ANIA, AUFDTLIA, AUFDTLIRA, AUFDTNIRA, AUFLIA, AUFLIRA, AUFNIA, AUFNIRA, LIA, LRA, NIA, NRA, UF, UFDT, UFDTLIA, UFDTLIRA, UFDTNIA, UFDTNIRA, UFIDL, UFLIA, UFLRA, UFNIA"] }, + { "tracks": ["Parallel"], + "divisions" :["Arith","Equality","Equality+LinearArith","Equality+NonLinearArith"], + + "logics": ["ALIA, ANIA, AUFDTLIA, AUFDTLIRA, AUFDTNIRA, AUFLIA, AUFLIRA, AUFNIA, AUFNIRA, LIA, LRA, NIA, NRA, UF, UFDT, UFDTLIA, UFDTLIRA, UFDTNIA, UFDTNIRA, UFIDL, UFLIA, UFLRA, UFNIA"] } + + + ] +} From a84de98d64f7f989513f723b6e8065b369957e30 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Fri, 31 May 2024 15:12:58 +0200 Subject: [PATCH 2/2] Add .json extension to iprover --- submissions/{iprover => iprover.json} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename submissions/{iprover => iprover.json} (100%) diff --git a/submissions/iprover b/submissions/iprover.json similarity index 100% rename from submissions/iprover rename to submissions/iprover.json