CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-1.xml

Jump to solvers results

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-1.xml
MD5SUMdaaf1af72f8f417d373a93d1048498fa
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 benchmark276.089
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1247
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5580
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+picosat1083141SAT 276.089 277.574
Sugar v1.13+minisat1083142SAT 285.18 286.699
SAT4J CSP 2008-06-131083140? 237.392 238.445
galac E1083147? (problem) 81.4516 82.2682
galac M1083146? (problem) 87.8546 88.7551
cpHydra k_401083155? (TO) 1800.03 1833.54
casper zito1083151? (TO) 1800.03 1804.61
bpsolver 2008-06-271083143? (TO) 1800.03 1814.02
cpHydra k_101083154? (TO) 1800.03 1815.94
Concrete + CSP4J - Tabu Engine 2008-05-301083135? (TO) 1800.03 1803.02
Mistral-option 1.3141083148? (TO) 1800.04 1807.32
casper zao1083150? (TO) 1800.04 1815.03
Concrete + CPS4J 2008-05-301083137? (TO) 1800.05 1808.92
Minion/Tailor 2008-07-041107074? (TO) 1800.06 1800.81
Concrete + CSP4J - WMC Engine 2008-05-301083136? (TO) 1800.06 1816.12
MDG-probe 2008-06-271083138? (TO) 1800.06 1807.41
Mistral-prime 1.3131083149? (TO) 1800.07 1803.91
Abscon 112v4 ESAC1083153? (TO) 1800.09 1810.25
MDG-noprobe 2008-06-271083139? (TO) 1800.09 1812.11
choco2_dwdeg 2008-06-261083145? (TO) 1800.09 1816.87
choco2_impwdeg 2008-06-261083144? (TO) 1800.12 1815.56
Abscon 112v4 AC1083152? (TO) 1800.14 1809.66

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:
6 7 105 104 216 217 227 226 282 283 401 402 509 527 592 591 691 690 757 758 806 805 903 902 996 995 1093 1092 1164 1163 142 276 368 369 415
414 579 578 640 641 709 710 789 788 797 798 805 804 896 897 976 975 994 995 1046 1045 1064 1065 1213 1214 0 1 314 315 397 398 455 454 642
641 693 692 748 749 770 769 777 776 832 831 901 900 1000 1001 1021 1022 1088 1089 1133 1132 109 110 183 184 207 206 238 237 268 269 326 325
444 443 507 506 600 601 633 634 758 759 793 794 850 851 878 877 1124 1123 0 1 79 78 102 103 179 180 240 239 276 277 306 305 413 414 541 542
621 620 709 708 860 859 971 970 1038 1039 1133 1134 27 28 221 220 284 285 373 374 454 455 475 476 513 512 633 634 724 723 803 802 831 830
885 886 1118 1117 1201 1202 1216 1217 0 1 20 19 95 96 116 117 128 129 448 449 517 516 537 538 662 663 859 858 932 933 976 975 1001 1000 1039
1038 1180 1181 0 1 57 56 112 113 122 121 171 172 233 232 313 314 413 414 537 538 544 543 630 629 637 638 988 1058 1143 1144 1240 1239 0 1 93
92 124 123 220 221 312 311 326 325 454 455 537 536 726 727 840 839 896 897 983 984 992 991 1127 1126 1230 1231 0 1 33 32 92 93 123 122 209
210 251 250 268 269 335 336 425 426 504 503 593 592 805 899 1042 1043 1125 1126 1132 1133 0 1 191 190 218 219 220 219 276 277 374 373 552
551 641 642 725 724 757 758 786 787 970 971 1064 1065 1082 1081 1140 1139 0 1 85 56 129 128 233 232 268 269 322 323 326 325 410 411 445 444
504 503 571 570 663 662 718 717 1098 1099 1157 1156 185 186 251 252 327 328 433 434 454 453 518 517 567 568 601 602 698 697 748 749 829 830
880 879 970 971 1105 1104 1202 1201 6 7 35 64 91 90 143 142 259 258 354 355 444 443 536 537 662 663 992 991 1023 1024 1041 1040 1071 1072
1132 1133 1211 1212 121 122 193 192 242 241 320 319 438 437 476 475 502 503 785 786 859 858 864 865 873 872 889 890 977 978 1061 1062 1146
1147