Skip to content

Commit 02a8c88

Browse files
zmylinxi99zmylinxi99
authored
submission: add additional configurations for lower CPU core counts. (#202)
1 parent 8b9fe1c commit 02a8c88

File tree

8 files changed

+154
-4
lines changed

8 files changed

+154
-4
lines changed

‎submissions/STP-Parti-Bitwuzla-p16.json‎

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
{
2+
"name": "STP-Parti-Bitwuzla",
3+
"contributors": [
4+
"Mengyu Zhao",
5+
"Zhenghang Xu",
6+
"Jinkun Lin",
7+
"Shaowei Cai"
8+
],
9+
"contacts": ["Mengyu Zhao <[email protected]>"],
10+
"archive": {
11+
"url": "https://zenodo.org/records/15920866/files/STP-Parti-Bitwuzla-at-SMT-COMP-2025-build.zip"
12+
},
13+
"website": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025",
14+
"system_description": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025/blob/master/STP_Parti_Bitwuzla_at_SMT_COMP_2025.pdf",
15+
"command": ["./STP-Parti-Bitwuzla-at-SMT-COMP-2025-build/solver/run_BVParti.py", "16"],
16+
"solver_type": "wrapped",
17+
"seed": "998244353",
18+
"participations": [
19+
{
20+
"tracks": ["Parallel"],
21+
"logics": ["QF_BV"]
22+
}
23+
],
24+
"competitive": false,
25+
"final": true
26+
}

‎submissions/STP-Parti-Bitwuzla-p32.json‎

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
{
2+
"name": "STP-Parti-Bitwuzla",
3+
"contributors": [
4+
"Mengyu Zhao",
5+
"Zhenghang Xu",
6+
"Jinkun Lin",
7+
"Shaowei Cai"
8+
],
9+
"contacts": ["Mengyu Zhao <[email protected]>"],
10+
"archive": {
11+
"url": "https://zenodo.org/records/15920866/files/STP-Parti-Bitwuzla-at-SMT-COMP-2025-build.zip"
12+
},
13+
"website": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025",
14+
"system_description": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025/blob/master/STP_Parti_Bitwuzla_at_SMT_COMP_2025.pdf",
15+
"command": ["./STP-Parti-Bitwuzla-at-SMT-COMP-2025-build/solver/run_BVParti.py", "32"],
16+
"solver_type": "wrapped",
17+
"seed": "998244353",
18+
"participations": [
19+
{
20+
"tracks": ["Parallel"],
21+
"logics": ["QF_BV"]
22+
}
23+
],
24+
"competitive": false,
25+
"final": true
26+
}

‎submissions/STP-Parti-Bitwuzla-p8.json‎

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
{
2+
"name": "STP-Parti-Bitwuzla",
3+
"contributors": [
4+
"Mengyu Zhao",
5+
"Zhenghang Xu",
6+
"Jinkun Lin",
7+
"Shaowei Cai"
8+
],
9+
"contacts": ["Mengyu Zhao <[email protected]>"],
10+
"archive": {
11+
"url": "https://zenodo.org/records/15920866/files/STP-Parti-Bitwuzla-at-SMT-COMP-2025-build.zip"
12+
},
13+
"website": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025",
14+
"system_description": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025/blob/master/STP_Parti_Bitwuzla_at_SMT_COMP_2025.pdf",
15+
"command": ["./STP-Parti-Bitwuzla-at-SMT-COMP-2025-build/solver/run_BVParti.py", "8"],
16+
"solver_type": "wrapped",
17+
"seed": "998244353",
18+
"participations": [
19+
{
20+
"tracks": ["Parallel"],
21+
"logics": ["QF_BV"]
22+
}
23+
],
24+
"competitive": false,
25+
"final": true
26+
}

‎submissions/STP-Parti-Bitwuzla.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,11 +8,11 @@
88
],
99
"contacts": ["Mengyu Zhao <[email protected]>"],
1010
"archive": {
11-
"url": "https://zenodo.org/records/15640499/files/STP-Parti-Bitwuzla-at-SMT-COMP-2025-build.zip"
11+
"url": "https://zenodo.org/records/15920866/files/STP-Parti-Bitwuzla-at-SMT-COMP-2025-build.zip"
1212
},
1313
"website": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025",
1414
"system_description": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025/blob/master/STP_Parti_Bitwuzla_at_SMT_COMP_2025.pdf",
15-
"command": ["./STP-Parti-Bitwuzla-at-SMT-COMP-2025-build/solver/run_BVParti.py"],
15+
"command": ["./STP-Parti-Bitwuzla-at-SMT-COMP-2025-build/solver/run_BVParti.py", "64"],
1616
"solver_type": "wrapped",
1717
"seed": "998244353",
1818
"participations": [

‎submissions/Z3-Parti-Z3pp-p16.json‎

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
{
2+
"name": "Z3-Parti-Z3pp",
3+
"contributors": [
4+
"Mengyu Zhao",
5+
"Shaowei Cai"
6+
],
7+
"contacts": ["Mengyu Zhao <[email protected]>"],
8+
"archive": {
9+
"url": "https://zenodo.org/records/15920863/files/Z3-Parti-Z3pp-at-SMT-COMP-2025-build.zip"
10+
},
11+
"website": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025",
12+
"system_description": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025/blob/master/Z3_Parti_Z3pp_at_SMT_COMP_2025.pdf",
13+
"command": ["./Z3-Parti-Z3pp-at-SMT-COMP-2025-build/solver/run_AriParti.py", "16"],
14+
"solver_type": "wrapped",
15+
"seed": "998244353",
16+
"participations": [
17+
{
18+
"tracks": ["Parallel"],
19+
"logics": ["QF_RDL", "QF_IDL", "QF_LRA", "QF_LIA", "QF_NRA", "QF_NIA"]
20+
}
21+
],
22+
"competitive": false,
23+
"final": true
24+
}

‎submissions/Z3-Parti-Z3pp-p32.json‎

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
{
2+
"name": "Z3-Parti-Z3pp",
3+
"contributors": [
4+
"Mengyu Zhao",
5+
"Shaowei Cai"
6+
],
7+
"contacts": ["Mengyu Zhao <[email protected]>"],
8+
"archive": {
9+
"url": "https://zenodo.org/records/15920863/files/Z3-Parti-Z3pp-at-SMT-COMP-2025-build.zip"
10+
},
11+
"website": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025",
12+
"system_description": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025/blob/master/Z3_Parti_Z3pp_at_SMT_COMP_2025.pdf",
13+
"command": ["./Z3-Parti-Z3pp-at-SMT-COMP-2025-build/solver/run_AriParti.py", "32"],
14+
"solver_type": "wrapped",
15+
"seed": "998244353",
16+
"participations": [
17+
{
18+
"tracks": ["Parallel"],
19+
"logics": ["QF_RDL", "QF_IDL", "QF_LRA", "QF_LIA", "QF_NRA", "QF_NIA"]
20+
}
21+
],
22+
"competitive": false,
23+
"final": true
24+
}

‎submissions/Z3-Parti-Z3pp-p8.json‎

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
{
2+
"name": "Z3-Parti-Z3pp",
3+
"contributors": [
4+
"Mengyu Zhao",
5+
"Shaowei Cai"
6+
],
7+
"contacts": ["Mengyu Zhao <[email protected]>"],
8+
"archive": {
9+
"url": "https://zenodo.org/records/15920863/files/Z3-Parti-Z3pp-at-SMT-COMP-2025-build.zip"
10+
},
11+
"website": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025",
12+
"system_description": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025/blob/master/Z3_Parti_Z3pp_at_SMT_COMP_2025.pdf",
13+
"command": ["./Z3-Parti-Z3pp-at-SMT-COMP-2025-build/solver/run_AriParti.py", "8"],
14+
"solver_type": "wrapped",
15+
"seed": "998244353",
16+
"participations": [
17+
{
18+
"tracks": ["Parallel"],
19+
"logics": ["QF_RDL", "QF_IDL", "QF_LRA", "QF_LIA", "QF_NRA", "QF_NIA"]
20+
}
21+
],
22+
"competitive": false,
23+
"final": true
24+
}

‎submissions/Z3-Parti-Z3pp.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,11 +6,11 @@
66
],
77
"contacts": ["Mengyu Zhao <[email protected]>"],
88
"archive": {
9-
"url": "https://zenodo.org/records/15763079/files/Z3-Parti-Z3pp-at-SMT-COMP-2025-build.zip"
9+
"url": "https://zenodo.org/records/15920863/files/Z3-Parti-Z3pp-at-SMT-COMP-2025-build.zip"
1010
},
1111
"website": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025",
1212
"system_description": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2025/blob/master/Z3_Parti_Z3pp_at_SMT_COMP_2025.pdf",
13-
"command": ["./Z3-Parti-Z3pp-at-SMT-COMP-2025-build/solver/run_AriParti.py"],
13+
"command": ["./Z3-Parti-Z3pp-at-SMT-COMP-2025-build/solver/run_AriParti.py", "64"],
1414
"solver_type": "wrapped",
1515
"seed": "998244353",
1616
"participations": [

0 commit comments

Comments
 (0)