CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/js-taillard-20-15/
normalized-js-taillard-20-15-105-3.xml

Jump to solvers results

General information on the benchmark

Namecsp/js-taillard-20-15/
normalized-js-taillard-20-15-105-3.xml
MD5SUM9ba2c05d75416be79db8f8c7771688d8
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 benchmark18.8941
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3130
Maximum constraint arity2
Maximum domain size1424
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3130
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+minisat1080873SAT 18.8941 19.2574
choco2_dwdeg 2008-06-261080876SAT 39.0961 39.1438
choco2_impwdeg 2008-06-261080875SAT 44.2433 46.5985
cpHydra k_101080885SAT 46.225 46.9064
Sugar v1.13+picosat1080872SAT 46.6349 47.021
cpHydra k_401080886SAT 574.535 576.742
SAT4J CSP 2008-06-131080871? 276.949 276.69
galac E1080878? (problem) 72.087 72.4866
galac M1080877? (problem) 73.9448 74.037
Mistral-option 1.3141080879? (TO) 1800.01 1801.41
bpsolver 2008-06-271080874? (TO) 1800.01 1808.61
MDG-probe 2008-06-271080869? (TO) 1800.02 1810.51
MDG-noprobe 2008-06-271080870? (TO) 1800.05 1813.21
casper zao1080881? (TO) 1800.05 1809.21
Concrete + CPS4J 2008-05-301080868? (TO) 1800.06 1806.72
Concrete + CSP4J - WMC Engine 2008-05-301080867? (TO) 1800.06 1809.02
Mistral-prime 1.3131080880? (TO) 1800.06 1815.81
casper zito1080882? (TO) 1800.08 1802.51
Concrete + CSP4J - Tabu Engine 2008-05-301080866? (TO) 1800.09 1815.32
Minion/Tailor 2008-07-041105863? (TO) 1800.09 1813.11
Abscon 112v4 AC1080883? (TO) 1800.12 1871.77
Abscon 112v4 ESAC1080884? (TO) 1800.13 1814.65

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:
22 78 109 126 199 227 771 846 879 932 1015 1196 1286 1374 1394 181 237 257 345 424 472 538 704 1097 1179 1251 1303 1317 1319 1335 16 21 76
330 458 576 691 783 823 836 850 899 979 1029 1106 51 115 178 275 296 370 501 546 606 1212 1236 1284 1336 1344 1374 47 64 157 244 359 553 631
758 820 1042 1084 1187 1217 1263 1347 52 66 103 389 484 526 555 659 701 762 1077 1122 1220 1257 1292 14 267 322 741 801 852 907 916 1016
1037 1085 1140 1187 1253 1338 4 15 58 86 131 149 208 292 325 403 424 754 972 1052 1139 127 136 156 216 285 304 400 684 968 1060 1157 1185
1240 1329 1363 210 220 278 405 542 629 647 721 785 797 819 1087 1118 1337 1343 52 99 167 293 324 338 344 364 378 535 901 933 1132 1229 1320
106 182 325 380 459 494 520 590 835 921 1141 1239 1287 1303 1374 146 258 330 396 443 491 543 773 896 934 1162 1234 1305 1326 1411 51 386 507
522 599 700 786 929 1019 1033 1045 1084 1187 1362 1406 96 171 281 297 321 448 456 497 536 621 677 714 818 857 1000 8 84 206 313 326 366 398
458 583 666 720 761 951 1378 1412 1 2 69 167 208 292 560 646 775 868 973 1039 1132 1271 1360 5 229 507 590 682 766 835 866 946 999 1010 1084
1092 1129 1273 189 458 547 614 624 699 748 823 889 926 1003 1106 1175 1213 1265 117 171 327 404 423 564 760 784 909 1076 1166 1176 1250 1323
1407