Index of /svcomp/c/xcsp
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
original/ 2020-10-19 10:01 -
![[ ]](/icons/unknown.gif)
Dubois-015.yml 2022-11-15 21:20 239
Dubois-016.yml 2022-11-15 21:20 239
Dubois-017.yml 2022-11-15 21:20 239
Dubois-018.yml 2022-11-15 21:20 239
Dubois-019.yml 2022-11-15 21:20 239
Dubois-020.yml 2022-11-15 21:20 239
Dubois-021.yml 2022-11-15 21:20 239
Dubois-022.yml 2022-11-15 21:20 239
Dubois-023.yml 2022-11-15 21:20 239
Dubois-024.yml 2022-11-15 21:20 239
Dubois-025.yml 2022-11-15 21:20 239
Dubois-026.yml 2022-11-15 21:20 239
Dubois-027.yml 2022-11-15 21:20 239
Dubois-028.yml 2022-11-15 21:20 239
Dubois-029.yml 2022-11-15 21:20 239
Dubois-030.yml 2022-11-15 21:20 239
Dubois-035.yml 2022-11-15 21:20 239
Dubois-040.yml 2022-11-15 21:20 239
Dubois-045.yml 2022-11-15 21:20 239
Dubois-050.yml 2022-11-15 21:20 239
Dubois-055.yml 2022-11-15 21:20 239
Dubois-060.yml 2022-11-15 21:20 239
Dubois-065.yml 2022-11-15 21:20 239
Dubois-070.yml 2022-11-15 21:20 239
Dubois-075.yml 2022-11-15 21:20 239
Dubois-080.yml 2022-11-15 21:20 239
Dubois-085.yml 2022-11-15 21:20 239
Dubois-090.yml 2022-11-15 21:20 239
Dubois-095.yml 2022-11-15 21:20 239
Dubois-100.yml 2022-11-15 21:20 239
Haystacks-06.yml 2022-11-15 21:20 241
Haystacks-07.yml 2022-11-15 21:20 241
Haystacks-08.yml 2022-11-15 21:20 241
Haystacks-09.yml 2022-11-15 21:20 241
Haystacks-10.yml 2022-11-15 21:20 241
Haystacks-11.yml 2022-11-15 21:20 241
Haystacks-12.yml 2022-11-15 21:20 241
Haystacks-13.yml 2022-11-15 21:20 241
Haystacks-14.yml 2022-11-15 21:20 241
Haystacks-15.yml 2022-11-15 21:20 241
Haystacks-16.yml 2022-11-15 21:20 241
Haystacks-17.yml 2022-11-15 21:20 241
Haystacks-18.yml 2022-11-15 21:20 241
Haystacks-19.yml 2022-11-15 21:20 241
aim-100-1-6-unsat-1.yml 2022-11-15 21:20 248
aim-100-1-6-unsat-2.yml 2022-11-15 21:20 248
aim-100-1-6-unsat-3.yml 2022-11-15 21:20 248
aim-100-1-6-unsat-4.yml 2022-11-15 21:20 248
aim-100-2-0-unsat-1.yml 2022-11-15 21:20 248
aim-100-2-0-unsat-2.yml 2022-11-15 21:20 248
aim-100-2-0-unsat-3.yml 2022-11-15 21:20 248
aim-100-2-0-unsat-4.yml 2022-11-15 21:20 248
aim-200-1-6-unsat-1.yml 2022-11-15 21:20 248
aim-200-1-6-unsat-2.yml 2022-11-15 21:20 248
aim-200-1-6-unsat-3.yml 2022-11-15 21:20 248
aim-200-1-6-unsat-4.yml 2022-11-15 21:20 248
aim-200-2-0-unsat-1.yml 2022-11-15 21:20 248
aim-200-2-0-unsat-2.yml 2022-11-15 21:20 248
aim-200-2-0-unsat-3.yml 2022-11-15 21:20 248
aim-200-2-0-unsat-4.yml 2022-11-15 21:20 248
![[TXT]](/icons/text.gif)
xcsp3_cpp_parser.license 2020-11-12 18:14 295
CostasArray-10.yml 2022-11-15 21:20 301
CostasArray-11.yml 2022-11-15 21:20 301
CostasArray-12.yml 2022-11-15 21:20 301
CostasArray-13.yml 2022-11-15 21:20 301
CostasArray-14.yml 2022-11-15 21:20 301
CostasArray-15.yml 2022-11-15 21:20 301
CostasArray-16.yml 2022-11-15 21:20 301
CostasArray-17.yml 2022-11-15 21:20 301
AllInterval-010.yml 2022-11-15 21:20 302
AllInterval-011.yml 2022-11-15 21:20 302
AllInterval-012.yml 2022-11-15 21:20 302
AllInterval-013.yml 2022-11-15 21:20 302
AllInterval-014.yml 2022-11-15 21:20 302
AllInterval-015.yml 2022-11-15 21:20 302
AllInterval-016.yml 2022-11-15 21:20 302
AllInterval-017.yml 2022-11-15 21:20 302
AllInterval-018.yml 2022-11-15 21:20 302
AllInterval-019.yml 2022-11-15 21:20 302
AllInterval-020.yml 2022-11-15 21:20 302
AllInterval-025.yml 2022-11-15 21:20 302
AllInterval-030.yml 2022-11-15 21:20 302
AllInterval-035.yml 2022-11-15 21:20 302
aim-100-1-6-sat-1.yml 2022-11-15 21:20 304
aim-100-1-6-sat-2.yml 2022-11-15 21:20 304
aim-100-1-6-sat-3.yml 2022-11-15 21:20 304
aim-100-1-6-sat-4.yml 2022-11-15 21:20 304
aim-100-2-0-sat-1.yml 2022-11-15 21:20 304
aim-100-2-0-sat-2.yml 2022-11-15 21:20 304
aim-100-2-0-sat-3.yml 2022-11-15 21:20 304
aim-100-2-0-sat-4.yml 2022-11-15 21:20 304
aim-100-3-4-sat-1.yml 2022-11-15 21:20 304
aim-100-3-4-sat-2.yml 2022-11-15 21:20 304
aim-100-3-4-sat-3.yml 2022-11-15 21:20 304
aim-100-3-4-sat-4.yml 2022-11-15 21:20 304
aim-100-6-0-sat-1.yml 2022-11-15 21:20 304
aim-100-6-0-sat-2.yml 2022-11-15 21:20 304
aim-100-6-0-sat-3.yml 2022-11-15 21:20 304
aim-100-6-0-sat-4.yml 2022-11-15 21:20 304
aim-200-1-6-sat-1.yml 2022-11-15 21:20 304
aim-200-1-6-sat-2.yml 2022-11-15 21:20 304
aim-200-1-6-sat-3.yml 2022-11-15 21:20 304
aim-200-1-6-sat-4.yml 2022-11-15 21:20 304
aim-200-2-0-sat-1.yml 2022-11-15 21:20 304
aim-200-2-0-sat-2.yml 2022-11-15 21:20 304
aim-200-2-0-sat-3.yml 2022-11-15 21:20 304
aim-200-2-0-sat-4.yml 2022-11-15 21:20 304
aim-200-3-4-sat-1.yml 2022-11-15 21:20 304
aim-200-3-4-sat-2.yml 2022-11-15 21:20 304
aim-200-3-4-sat-3.yml 2022-11-15 21:20 304
aim-200-3-4-sat-4.yml 2022-11-15 21:20 304
aim-200-6-0-sat-1.yml 2022-11-15 21:20 304
aim-200-6-0-sat-2.yml 2022-11-15 21:20 304
aim-200-6-0-sat-3.yml 2022-11-15 21:20 304
aim-200-6-0-sat-4.yml 2022-11-15 21:20 304
AllInterval-005.yml 2022-11-15 21:21 378
AllInterval-006.yml 2022-11-15 21:21 378
AllInterval-007.yml 2022-11-15 21:21 378
AllInterval-008.yml 2022-11-15 21:21 378
AllInterval-009.yml 2022-11-15 21:21 378
Makefile 2020-11-12 18:14 1.0K
AllInterval-005.c 2020-11-12 18:14 2.6K
AllInterval-006.c 2020-11-12 18:14 3.1K
AllInterval-007.c 2020-11-12 18:14 3.7K
AllInterval-008.c 2020-11-12 18:14 4.4K
create_from_xmls.py 2020-11-12 18:14 5.0K
AllInterval-009.c 2020-11-12 18:14 5.1K
AllInterval-010.c 2020-11-12 18:14 5.8K
AllInterval-011.c 2020-11-12 18:14 6.6K
AllInterval-012.c 2020-11-12 18:14 7.5K
Haystacks-06.c 2020-11-12 18:14 8.2K
AllInterval-013.c 2020-11-12 18:14 8.4K
AllInterval-014.c 2020-11-12 18:14 9.4K
AllInterval-015.c 2020-11-12 18:14 10K
Dubois-015.c 2020-11-12 18:14 11K
AllInterval-016.c 2020-11-12 18:14 11K
Haystacks-07.c 2020-11-12 18:14 12K
Dubois-016.c 2020-11-12 18:14 12K
CostasArray-10.c 2020-11-12 18:14 12K
AllInterval-017.c 2020-11-12 18:14 13K
Dubois-017.c 2020-11-12 18:14 13K
Dubois-018.c 2020-11-12 18:14 13K
AllInterval-018.c 2020-11-12 18:14 14K
Dubois-019.c 2020-11-12 18:14 14K
Dubois-020.c 2020-11-12 18:14 15K
AllInterval-019.c 2020-11-12 18:14 15K
Dubois-021.c 2020-11-12 18:14 15K
CostasArray-11.c 2020-11-12 18:14 15K
Dubois-022.c 2020-11-12 18:14 16K
AllInterval-020.c 2020-11-12 18:14 16K
Haystacks-08.c 2020-11-12 18:14 16K
Dubois-023.c 2020-11-12 18:14 17K
Dubois-024.c 2020-11-12 18:14 17K
Dubois-025.c 2020-11-12 18:14 18K
Dubois-026.c 2020-11-12 18:14 19K
CostasArray-12.c 2020-11-12 18:14 19K
aim-100-1-6-unsat-3.c 2020-11-12 18:14 19K
Dubois-027.c 2020-11-12 18:14 20K
aim-100-1-6-unsat-2.c 2020-11-12 18:14 20K
aim-100-1-6-unsat-4.c 2020-11-12 18:14 20K
aim-100-1-6-sat-1.c 2020-11-12 18:14 20K
aim-100-1-6-sat-2.c 2020-11-12 18:14 20K
aim-100-1-6-sat-3.c 2020-11-12 18:14 20K
aim-100-1-6-sat-4.c 2020-11-12 18:14 20K
aim-100-1-6-unsat-1.c 2020-11-12 18:14 20K
Dubois-028.c 2020-11-12 18:14 20K
Dubois-029.c 2020-11-12 18:14 21K
Dubois-030.c 2020-11-12 18:14 22K
aim-100-2-0-unsat-3.c 2020-11-12 18:14 22K
aim-100-2-0-sat-1.c 2020-11-12 18:14 22K
aim-100-2-0-unsat-2.c 2020-11-12 18:14 22K
aim-100-2-0-sat-4.c 2020-11-12 18:14 22K
aim-100-2-0-sat-3.c 2020-11-12 18:14 22K
aim-100-2-0-unsat-4.c 2020-11-12 18:14 22K
aim-100-2-0-sat-2.c 2020-11-12 18:14 22K
aim-100-2-0-unsat-1.c 2020-11-12 18:14 22K
Haystacks-09.c 2020-11-12 18:14 22K
CostasArray-13.c 2020-11-12 18:14 23K
AllInterval-025.c 2020-11-12 18:14 23K
Dubois-035.c 2020-11-12 18:14 25K
CostasArray-14.c 2020-11-12 18:14 27K
Dubois-040.c 2020-11-12 18:14 29K
Haystacks-10.c 2020-11-12 18:14 29K
aim-100-3-4-sat-3.c 2020-11-12 18:14 29K
aim-100-3-4-sat-4.c 2020-11-12 18:14 29K
aim-100-3-4-sat-2.c 2020-11-12 18:14 29K
aim-100-3-4-sat-1.c 2020-11-12 18:14 29K
AllInterval-030.c 2020-11-12 18:14 32K
CostasArray-15.c 2020-11-12 18:14 32K
Dubois-045.c 2020-11-12 18:14 33K
Dubois-050.c 2020-11-12 18:14 36K
Haystacks-11.c 2020-11-12 18:14 38K
CostasArray-16.c 2020-11-12 18:14 38K
aim-200-1-6-unsat-2.c 2020-11-12 18:14 39K
aim-200-1-6-sat-3.c 2020-11-12 18:14 39K
aim-200-1-6-unsat-3.c 2020-11-12 18:14 39K
aim-200-1-6-unsat-1.c 2020-11-12 18:14 40K
aim-200-1-6-sat-4.c 2020-11-12 18:14 40K
aim-200-1-6-sat-1.c 2020-11-12 18:14 40K
aim-200-1-6-sat-2.c 2020-11-12 18:14 40K
aim-200-1-6-unsat-4.c 2020-11-12 18:14 40K
Dubois-055.c 2020-11-12 18:14 40K
AllInterval-035.c 2020-11-12 18:14 41K
Dubois-060.c 2020-11-12 18:14 44K
aim-100-6-0-sat-4.c 2020-11-12 18:14 44K
aim-100-6-0-sat-1.c 2020-11-12 18:14 44K
aim-100-6-0-sat-3.c 2020-11-12 18:14 44K
aim-100-6-0-sat-2.c 2020-11-12 18:14 44K
aim-200-2-0-sat-1.c 2020-11-12 18:14 44K
aim-200-2-0-sat-2.c 2020-11-12 18:14 44K
aim-200-2-0-unsat-2.c 2020-11-12 18:14 44K
aim-200-2-0-unsat-3.c 2020-11-12 18:14 44K
aim-200-2-0-sat-4.c 2020-11-12 18:14 44K
aim-200-2-0-sat-3.c 2020-11-12 18:14 44K
aim-200-2-0-unsat-1.c 2020-11-12 18:14 44K
aim-200-2-0-unsat-4.c 2020-11-12 18:14 44K
CostasArray-17.c 2020-11-12 18:14 45K
Dubois-065.c 2020-11-12 18:14 47K
Haystacks-12.c 2020-11-12 18:14 48K
Dubois-070.c 2020-11-12 18:14 51K
Dubois-075.c 2020-11-12 18:14 55K
Dubois-080.c 2020-11-12 18:14 58K
Haystacks-13.c 2020-11-12 18:14 60K
aim-200-3-4-sat-4.c 2020-11-12 18:14 60K
aim-200-3-4-sat-2.c 2020-11-12 18:14 60K
aim-200-3-4-sat-3.c 2020-11-12 18:14 60K
aim-200-3-4-sat-1.c 2020-11-12 18:14 60K
Dubois-085.c 2020-11-12 18:14 62K
Dubois-090.c 2020-11-12 18:14 66K
Dubois-095.c 2020-11-12 18:14 70K
Haystacks-14.c 2020-11-12 18:14 73K
Dubois-100.c 2020-11-12 18:14 73K
aim-200-6-0-sat-1.c 2020-11-12 18:14 88K
Haystacks-15.c 2020-11-12 18:14 88K
aim-200-6-0-sat-4.c 2020-11-12 18:14 88K
aim-200-6-0-sat-3.c 2020-11-12 18:14 89K
aim-200-6-0-sat-2.c 2020-11-12 18:14 89K
Haystacks-16.c 2020-11-12 18:14 106K
Haystacks-17.c 2020-11-12 18:14 125K
Haystacks-18.c 2020-11-12 18:14 147K
Haystacks-19.c 2020-11-12 18:14 172K
xcsp3_cpp_parser 2020-11-12 18:14 5.4M