CSP 2009 Competition: solvers results per benchmarks

Result page for benchmark
csp/os-taillard-20/
normalized-os-taillard-20-105-2.xml

Jump to solvers results

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-2.xml
MD5SUM4edeb52ba8c5e270795a490c2e727147
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.68759
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1359
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral 1.545 (complete)2076540SAT 2.68759 2.70449
Abscon 112v4 AC (complete)2096565SAT 9.59654 10.4011
Abscon 112v4 ESAC (complete)2096566SAT 9.8455 9.9105
Concrete 2009-07-14 (complete)2076534SAT 11.8292 12.015
pcs-restart 0.3.2 (complete)2076533SAT 22.1256 22.2267
pcs 0.3.2 (complete)2076532SAT 25.8301 26.0837
Sugar v1.14.6+minisat (complete)2076538SAT 65.0981 66.5468
Choco2.1.1 2009-06-10 (complete)2076536SAT 69.5654 69.6307
Choco2.1.1b 2009-07-16 (complete)2116194SAT 82.4635 82.5564
Sugar v1.14.6+picosat (complete)2076537SAT 218.015 219.655
bpsolver 09 (complete)2076541SAT 895.202 902.853
SAT4J CSP 2.1.1 (complete)2076531? 313.808 314.156
Concrete DC 2009-07-14 (complete)2076535? 948.88 955.862

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:
0 872 742 78 258 709 1116 1272 170 1207 817 931 633 134 363 540 1045 462 968 346 465 1272 1102 70 616 940 875 540 814 989 383 301 1181 12
144 679 225 1044 838 1287 666 348 98 1178 709 1085 438 905 494 223 604 890 0 10 1048 787 1121 346 147 1275 1161 1237 893 685 1030 250 595
616 0 83 209 1272 1116 163 991 294 640 322 734 806 55 510 391 435 805 110 237 235 792 1100 960 593 1271 1077 727 0 1198 332 38 74 477 1274
390 654 223 78 892 1141 0 300 845 1009 712 1214 562 54 174 633 685 1050 93 233 1186 0 81 1335 367 91 1002 1287 899 943 312 521 497 146 261
225 246 1098 0 1299 420 973 742 898 1141 294 1321 1004 1302 81 952 156 1063 236 175 690 223 333 1209 1342 811 618 1052 1186 248 392 83 933
1139 143 845 0 562 743 1021 304 647 483 174 1024 1218 0 439 961 666 483 1349 748 844 81 378 1118 520 1286 311 1100 610 208 648 1283 999 407
1059 1067 843 294 1201 762 1231 209 731 0 1116 144 348 446 51 925 691 779 262 407 1033 521 991 1220 130 933 51 182 1138 1154 1299 0 870 530
350 78 1237 557 163 0 494 431 1055 647 637 1205 899 262 1110 340 21 597 1057 50 1222 1278 219 349 883 570 134 1291 1205 497 484 314 640 723
1074 0 1079 1110 305 83 146 391 410 573 973 349 785 39 634 1092 1062 694 1240 223 1184 100 1137 1260 0 171 1058 875 626 255 1114 0 1205 29
1302 520 877 763 841 974 439 1109 93 38 74 918 350 1237 181 1132 971 884 434 300 1181 1300 0 32 680 347 829 1335 81 213 206 171 383 580 557
1319 867 343 519 477 1044 799 208 420 1212 960 635 50 1114 364 767 0 295 128 1275 1199 383 1141 794 258 873 181 477 93 1235 364 1050 944 0
182 435 783 1088 966 1202 481 729 722 54 906 128 1178 1114 637 367 994 1081 435 917 182 295 1278 580 0