Commit 15d117ff authored by Matthias Zytnicki's avatar Matthias Zytnicki Committed by Thomas Schiex
Browse files

Restore previous deleted files.

parent bf0c93ad
# bench EOLE photo, generated by bep version 0.1, generation model "A"
bEpInstance_A_10_1
10 1 100 1000 30 60 50 250 100 4.0
1 84 394 54 294 494 210
2 92 197 40 97 297 204
3 28 554 44 454 654 176
4 36 513 59 413 613 234
5 64 718 34 618 818 172
6 1 243 34 143 343 211
7 15 401 34 301 501 71
8 100 218 45 118 318 218
9 61 296 49 196 396 155
10 49 973 39 873 1073 205
0 49 42 32 81 43 17 44 25 145
49 0 90 80 130 25 54 5 25 194
42 90 0 10 41 78 38 85 65 104
32 80 10 0 51 68 28 75 54 115
81 130 41 51 0 119 80 125 105 63
43 25 78 68 119 0 39 25 20 182
17 54 38 28 80 39 0 50 28 143
44 5 85 75 125 25 50 0 21 189
25 25 65 54 105 20 28 21 0 169
145 194 104 115 63 182 143 189 169 0
\ No newline at end of file
4 13 10 11 15 9 7 8 1 0 6 3 2 12 5 14
19 25 20 37 29 9 26 14 18 16 18 0 35 12 32 16
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
#list instance is a double entry list"
# the current file must include"
# one set named instances (with the list of the array of option"
#each element include into $instance set allow to declare an set of option corresponding to the given element"
# example if the set instances contain only : foo.wcsp you must define a second set named foo.wcsp where you will"
# define the list of option ( each element of the second list "foo.wcsp will be used for create a unit test"
# on foo.wcsp with option declare on each tuple of the foo.wcsp (set)
SET (instances
CELAR6-SUB0.wcsp CELAR6-SUB1.wcsp pedigree1.wcsp 10_1.bep CELAR7-SUB0.wcsp )
#please beware to space
# remove multiple space separtor between argument if there are not required
SET (CELAR6-SUB0.wcsp
"-A"
"-A -S -ub=160"
"-A -V"
"-A -V -ub=160"
"-A=10 -V"
"-A=10"
"-A=10 -V"
"-A=10 -v"
"-B=0"
"-B=1"
"-B=1 -Z"
"-B=1 -Z -R=1"
"-B=2"
"-B=3"
"-O=CELAR6-SUB0.mcs.order -B=1"
"-O=CELAR6-SUB0.mcs.order -B=1 -Z"
"-O=CELAR6-SUB0.mcs.order -B=1 -Z -R=1"
"-O=CELAR6-SUB0.mcs.order -B=1 -Z -R=2"
"-O=CELAR6-SUB0.mcs.order -B=1 -Z -R=3"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=2"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=2 -Z"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=3 -Z"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=4 -Z"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=5"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=5 -Z"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=6 -Z"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=6 -Z -X=2"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=6 -Z -X=3"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=6 -Z -X=3 -E"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=6 -Z -X=3 -R=0"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=6 -Z -X=3 -R=1"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=6 -Z -X=3 -R=2"
"-O=CELAR6-SUB0.mcs.order -B=1 -r=6 -Z -X=3 -R=4"
"-O=CELAR6-SUB0.mcs.order -B=2 -j=1"
"-O=CELAR6-SUB0.mcs.order -B=2 -j=1 -Z"
"-O=CELAR6-SUB0.mcs.order -B=2 -j=1 -k=1 -Z"
"-n -t -i"
"-n -t -ub=160"
"-n -ub=160"
"-w"
"-x"
"-x=,1=1,2=1"
"-z"
"-z=2"
CELAR6-SUB0.mcs.order
"CELAR6-SUB0.mcs.order -B=1"
"CELAR6-SUB0.mcs.order -v=1"
"${PROJECT_SOURCE_DIR}/cover/CELAR6-SUB0.sol"
"${PROJECT_SOURCE_DIR}/cover/CELAR6-SUB0.sol -x"
"-A -C=10"
"-A -S"
"-A -S -ub=3230"
"-A -C=10"
"-A=10"
"-A=10 -v"
"-A=10 -v=1"
"-A=10 -v=1 -T=10"
"-A=10 -v=1 -T=10 -C=10"
"-A=10 -v=1 -T=10 -n"
"-Z"
"-Z -v=1"
"-Z -v=2"
"-Z=2 -v=1"
"-Z=3 -v=1"
"-v=1"
"-v=2"
"-w"
"-x"
"-x=sol"
)
SET (pedigree1.wcsp
"-b"
"-b: -hbfs:"
"-b: -v -hbfs:"
"-b: -v=1 -hbfs:"
"-b: -v=1 -hbfs:"
"-e"
"-e:"
"-e=2"
"-e=3"
"-n"
"-n -t -i"
"-n -t -k=1"
"-n -t -k=2 -f:"
"-n -t -k=3"
"-n -t -o"
"-n -t -ub=76911690 -i"
"-n=4"
"-q: -e"
"-t -n"
"-ub=1000"
"-ub=1000000"
"-ub=10000000"
"-ub=76911689"
"-v=1"
)
SET (10_1.bep
"-e:"
"-e: -s"
"-v=2"
)
SET (CELAR7-SUB0.wcsp
"-A"
"-A -M=100"
"-A=10 -C=1"
"-V -A=10 -C=1"
"-A -S"
"-A -S -ub=3230"
"-A -C=10"
"-A=10"
"-A=10 -V"
"-A=10 -v"
"-A=10 -v=1"
"-A=10 -v=1 -T=10"
"-A=10 -v=1 -T=10 -C=10"
"-Z"
"-Z -v"
"-Z -v=1"
"-Z -v=2"
"-Z=2 -v=1"
"-Z=3 -v=1"
"-v=1"
"-w"
"-x"
"-x=sol"
"-A"
"-A -M=100"
"-A -V"
"-A=10 -C=1"
)
SET (zebre-ext.wcsp
"-D -hbfs:"
"-a"
"-a -B=1 -hbfs:"
"-a -B=1 -D -hbfs:"
"-D -hbfs:"
"-a"
"-a -B=1 -hbfs:"
"-a -B=1 -D -hbfs:"
)
This diff is collapsed.
# list of arguments use in command line for the current directory
# test timeout ( used for all wcsp found in the directory
set (test_timeout 300)
#regexp to define successfull end.
#set (test_regexp "Optimum: ${UB}")
set (test_regexp "end." )
#regex error can also be define: ...add set_test_propertie in test.cmake ...to be done
ZEBRA 25 5 19 1
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
5 0 1 2 3 4 1 120
0 1 2 3 4 0
0 1 2 4 3 0
0 1 3 2 4 0
0 1 3 4 2 0
0 1 4 2 3 0
0 1 4 3 2 0
0 2 1 3 4 0
0 2 1 4 3 0
0 2 3 1 4 0
0 2 3 4 1 0
0 2 4 1 3 0
0 2 4 3 1 0
0 3 1 2 4 0
0 3 1 4 2 0
0 3 2 1 4 0
0 3 2 4 1 0
0 3 4 1 2 0
0 3 4 2 1 0
0 4 1 2 3 0
0 4 1 3 2 0
0 4 2 1 3 0
0 4 2 3 1 0
0 4 3 1 2 0
0 4 3 2 1 0
1 0 2 3 4 0
1 0 2 4 3 0
1 0 3 2 4 0
1 0 3 4 2 0
1 0 4 2 3 0
1 0 4 3 2 0
1 2 0 3 4 0
1 2 0 4 3 0
1 2 3 0 4 0
1 2 3 4 0 0
1 2 4 0 3 0
1 2 4 3 0 0
1 3 0 2 4 0
1 3 0 4 2 0
1 3 2 0 4 0
1 3 2 4 0 0
1 3 4 0 2 0
1 3 4 2 0 0
1 4 0 2 3 0
1 4 0 3 2 0
1 4 2 0 3 0
1 4 2 3 0 0
1 4 3 0 2 0
1 4 3 2 0 0
2 0 1 3 4 0
2 0 1 4 3 0
2 0 3 1 4 0
2 0 3 4 1 0
2 0 4 1 3 0
2 0 4 3 1 0
2 1 0 3 4 0
2 1 0 4 3 0
2 1 3 0 4 0
2 1 3 4 0 0
2 1 4 0 3 0
2 1 4 3 0 0
2 3 0 1 4 0
2 3 0 4 1 0
2 3 1 0 4 0
2 3 1 4 0 0
2 3 4 0 1 0
2 3 4 1 0 0
2 4 0 1 3 0
2 4 0 3 1 0
2 4 1 0 3 0
2 4 1 3 0 0
2 4 3 0 1 0
2 4 3 1 0 0
3 0 1 2 4 0
3 0 1 4 2 0
3 0 2 1 4 0
3 0 2 4 1 0
3 0 4 1 2 0
3 0 4 2 1 0
3 1 0 2 4 0
3 1 0 4 2 0
3 1 2 0 4 0
3 1 2 4 0 0
3 1 4 0 2 0
3 1 4 2 0 0
3 2 0 1 4 0
3 2 0 4 1 0
3 2 1 0 4 0
3 2 1 4 0 0
3 2 4 0 1 0
3 2 4 1 0 0
3 4 0 1 2 0
3 4 0 2 1 0
3 4 1 0 2 0
3 4 1 2 0 0
3 4 2 0 1 0
3 4 2 1 0 0
4 0 1 2 3 0
4 0 1 3 2 0
4 0 2 1 3 0
4 0 2 3 1 0
4 0 3 1 2 0
4 0 3 2 1 0
4 1 0 2 3 0
4 1 0 3 2 0
4 1 2 0 3 0
4 1 2 3 0 0
4 1 3 0 2 0
4 1 3 2 0 0
4 2 0 1 3 0
4 2 0 3 1 0
4 2 1 0 3 0
4 2 1 3 0 0
4 2 3 0 1 0
4 2 3 1 0 0
4 3 0 1 2 0
4 3 0 2 1 0
4 3 1 0 2 0
4 3 1 2 0 0
4 3 2 0 1 0
4 3 2 1 0 0
5 5 6 7 8 9 1 120
0 1 2 3 4 0
0 1 2 4 3 0
0 1 3 2 4 0
0 1 3 4 2 0
0 1 4 2 3 0
0 1 4 3 2 0
0 2 1 3 4 0
0 2 1 4 3 0
0 2 3 1 4 0
0 2 3 4 1 0
0 2 4 1 3 0
0 2 4 3 1 0
0 3 1 2 4 0
0 3 1 4 2 0
0 3 2 1 4 0
0 3 2 4 1 0
0 3 4 1 2 0
0 3 4 2 1 0
0 4 1 2 3 0
0 4 1 3 2 0
0 4 2 1 3 0
0 4 2 3 1 0
0 4 3 1 2 0
0 4 3 2 1 0
1 0 2 3 4 0
1 0 2 4 3 0
1 0 3 2 4 0
1 0 3 4 2 0
1 0 4 2 3 0
1 0 4 3 2 0
1 2 0 3 4 0
1 2 0 4 3 0
1 2 3 0 4 0
1 2 3 4 0 0
1 2 4 0 3 0
1 2 4 3 0 0
1 3 0 2 4 0
1 3 0 4 2 0
1 3 2 0 4 0
1 3 2 4 0 0
1 3 4 0 2 0
1 3 4 2 0 0
1 4 0 2 3 0
1 4 0 3 2 0
1 4 2 0 3 0
1 4 2 3 0 0
1 4 3 0 2 0
1 4 3 2 0 0
2 0 1 3 4 0
2 0 1 4 3 0
2 0 3 1 4 0
2 0 3 4 1 0
2 0 4 1 3 0
2 0 4 3 1 0
2 1 0 3 4 0
2 1 0 4 3 0
2 1 3 0 4 0
2 1 3 4 0 0
2 1 4 0 3 0
2 1 4 3 0 0
2 3 0 1 4 0
2 3 0 4 1 0
2 3 1 0 4 0
2 3 1 4 0 0
2 3 4 0 1 0
2 3 4 1 0 0
2 4 0 1 3 0
2 4 0 3 1 0
2 4 1 0 3 0
2 4 1 3 0 0
2 4 3 0 1 0
2 4 3 1 0 0
3 0 1 2 4 0
3 0 1 4 2 0
3 0 2 1 4 0
3 0 2 4 1 0
3 0 4 1 2 0
3 0 4 2 1 0
3 1 0 2 4 0
3 1 0 4 2 0
3 1 2 0 4 0
3 1 2 4 0 0
3 1 4 0 2 0
3 1 4 2 0 0
3 2 0 1 4 0
3 2 0 4 1 0
3 2 1 0 4 0
3 2 1 4 0 0
3 2 4 0 1 0
3 2 4 1 0 0
3 4 0 1 2 0
3 4 0 2 1 0
3 4 1 0 2 0
3 4 1 2 0 0
3 4 2 0 1 0
3 4 2 1 0 0
4 0 1 2 3 0
4 0 1 3 2 0
4 0 2 1 3 0
4 0 2 3 1 0
4 0 3 1 2 0
4 0 3 2 1 0
4 1 0 2 3 0
4 1 0 3 2 0
4 1 2 0 3 0
4 1 2 3 0 0
4 1 3 0 2 0
4 1 3 2 0 0
4 2 0 1 3 0
4 2 0 3 1 0
4 2 1 0 3 0
4 2 1 3 0 0
4 2 3 0 1 0
4 2 3 1 0 0
4 3 0 1 2 0
4 3 0 2 1 0
4 3 1 0 2 0
4 3 1 2 0 0
4 3 2 0 1 0
4 3 2 1 0 0
5 10 11 12 13 14 1 120
0 1 2 3 4 0
0 1 2 4 3 0
0 1 3 2 4 0
0 1 3 4 2 0
0 1 4 2 3 0
0 1 4 3 2 0
0 2 1 3 4 0
0 2 1 4 3 0
0 2 3 1 4 0
0 2 3 4 1 0
0 2 4 1 3 0
0 2 4 3 1 0
0 3 1 2 4 0
0 3 1 4 2 0
0 3 2 1 4 0
0 3 2 4 1 0
0 3 4 1 2 0
0 3 4 2 1 0
0 4 1 2 3 0
0 4 1 3 2 0
0 4 2 1 3 0
0 4 2 3 1 0
0 4 3 1 2 0
0 4 3 2 1 0
1 0 2 3 4 0
1 0 2 4 3 0
1 0 3 2 4 0
1 0 3 4 2 0
1 0 4 2 3 0
1 0 4 3 2 0
1 2 0 3 4 0
1 2 0 4 3 0
1 2 3 0 4 0
1 2 3 4 0 0
1 2 4 0 3 0
1 2 4 3 0 0
1 3 0 2 4 0
1 3 0 4 2 0
1 3 2 0 4 0
1 3 2 4 0 0
1 3 4 0 2 0
1 3 4 2 0 0
1 4 0 2 3 0
1 4 0 3 2 0
1 4 2 0 3 0
1 4 2 3 0 0
1 4 3 0 2 0
1 4 3 2 0 0
2 0 1 3 4 0
2 0 1 4 3 0
2 0 3 1 4 0
2 0 3 4 1 0
2 0 4 1 3 0
2 0 4 3 1 0
2 1 0 3 4 0
2 1 0 4 3 0
2 1 3 0 4 0
2 1 3 4 0 0
2 1 4 0 3 0
2 1 4 3 0 0
2 3 0 1 4 0
2 3 0 4 1 0
2 3 1 0 4 0
2 3 1 4 0 0
2 3 4 0 1 0
2 3 4 1 0 0
2 4 0 1 3 0
2 4 0 3 1 0
2 4 1 0 3 0
2 4 1 3 0 0
2 4 3 0 1 0
2 4 3 1 0 0
3 0 1 2 4 0
3 0 1 4 2 0
3 0 2 1 4 0
3 0 2 4 1 0
3 0 4 1 2 0
3 0 4 2 1 0
3 1 0 2 4 0
3 1 0 4 2 0
3 1 2 0 4 0
3 1 2 4 0 0
3 1 4 0 2 0
3 1 4 2 0 0
3 2 0 1 4 0
3 2 0 4 1 0
3 2 1 0 4 0
3 2 1 4 0 0
3 2 4 0 1 0
3 2 4 1 0 0
3 4 0 1 2 0
3 4 0 2 1 0
3 4 1 0 2 0
3 4 1 2 0 0
3 4 2 0 1 0
3 4 2 1 0 0
4 0 1 2 3 0
4 0 1 3 2 0
4 0 2 1 3 0
4 0 2 3 1 0
4 0 3 1 2 0
4 0 3 2 1 0
4 1 0 2 3 0
4 1 0 3 2 0
4 1 2 0 3 0
4 1 2 3 0 0
4 1 3 0 2 0
4 1 3 2 0 0
4 2 0 1 3 0
4 2 0 3 1 0
4 2 1 0 3 0
4 2 1 3 0 0
4 2 3 0 1 0
4 2 3 1 0 0
4 3 0 1 2 0
4 3 0 2 1 0
4 3 1 0 2 0
4 3 1 2 0 0
4 3 2 0 1 0
4 3 2 1 0 0
5 15 16 17 18 19 1 120
0 1 2 3 4 0
0 1 2 4 3 0
0 1 3 2 4 0
0 1 3 4 2 0
0 1 4 2 3 0
0 1 4 3 2 0
0 2 1 3 4 0
0 2 1 4 3 0
0 2 3 1 4 0
0 2 3 4 1 0
0 2 4 1 3 0
0 2 4 3 1 0
0 3 1 2 4 0
0 3 1 4 2 0
0 3 2 1 4 0
0 3 2 4 1 0
0 3 4 1 2 0
0 3 4 2 1 0
0 4 1 2 3 0
0 4 1 3 2 0
0 4 2 1 3 0
0 4 2 3 1 0
0 4 3 1 2 0
0 4 3 2 1 0
1 0 2 3 4 0
1 0 2 4 3 0
1 0 3 2 4 0
1 0 3 4 2 0
1 0 4 2 3 0
1 0 4 3 2 0
1 2 0 3 4 0
1 2 0 4 3 0
1 2 3 0 4 0
1 2 3 4 0 0
1 2 4 0 3 0
1 2 4 3 0 0
1 3 0 2 4 0
1 3 0 4 2 0
1 3 2 0 4 0
1 3 2 4 0 0
1 3 4 0 2 0
1 3 4 2 0 0
1 4 0 2 3 0
1 4 0 3 2 0
1 4 2 0 3 0
1 4 2 3 0 0
1 4 3 0 2 0
1 4 3 2 0 0
2 0 1 3 4 0
2 0 1 4 3 0
2 0 3 1 4 0
2 0 3 4 1 0
2 0 4 1 3 0
2 0 4 3 1 0
2 1 0 3 4 0
2 1 0 4 3 0
2 1 3 0 4 0
2 1 3 4 0 0
2 1 4 0 3 0
2 1 4 3 0 0
2 3 0 1 4 0
2 3 0 4 1 0
2 3 1 0 4 0
2 3 1 4 0 0
2 3 4 0 1 0
2 3 4 1 0 0
2 4 0 1 3 0
2 4 0 3 1 0
2 4 1 0 3 0
2 4 1 3 0 0
2 4 3 0 1 0
2 4 3 1 0 0
3 0 1 2 4 0
3 0 1 4 2 0
3 0 2 1 4 0
3 0 2 4 1 0
3 0 4 1 2 0
3 0 4 2 1 0
3 1 0 2 4 0
3 1 0 4 2 0
3 1 2 0 4 0