Name | csp/js-taillard-20/ normalized-js-taillard-20-95-7.xml |
MD5SUM | a7bfced7c76430a4e64d921de0f86ae8 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 37 |
Best CPU time to get the best result obtained on this benchmark | 3600.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 4180 |
Maximum constraint arity | 2 |
Maximum domain size | 1551 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 4180 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113816 | MSAT (TO) | 37 | 3600.09 | 3601.12 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113815 | MSAT (TO) | 42 | 3600.08 | 3605.32 |
AbsconMax 112 pc-w | 1113817 | ? | 123.843 | 124.49 | |
AbsconMax 112 pc-d | 1113818 | ? | 131.296 | 132.626 | |
Sugar v1.13+minisat | 1113820 | ? (MO) | 78.6698 | 109.188 | |
Sugar++ v1.13+minisat-inc | 1113819 | ? (MO) | 85.708 | 87.3849 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 37118 176 648 996 1141 1392 1415 1457 0 78 144 691 712 881 1236 1331 226 529 646 1261 0 13 149 202 231 306 436 689 735 791 844 928 1006 1042 98 202 264 343 637 825 146 233 685 792 834 1142 1412 68 436 613 991 1447 1463 153 310 499 665 896 1226 1335 228 590 731 922 1289 48 95 368 995 1085 1187 1404 1518 3 64 117 353 446 481 997 6 77 578 746 1174 1337 30 761 866 1166 1177 1264 1291 1449 174 267 343 469 775 1001 668 1176 1324 1410 1449 1498 20 142 192 320 544 1076 1211 1417 205 454 487 643 1211 1497 80 709 831 1010 1116 367 562 718 772 851 928 983 1166 1287 1413 112 398 686 879 932 145 818 924 961 1083 1213 1385 199 218 498 770 905 1001 1112 1236 1502 113 665 830 971 184 300 381 481 579 624 760 947 1156 299 480 982 1378 1459 190 273 346 549 1008 1494 11 195 340 427 1447 42 120 690 951 1059 1452 351 729 986 1074 1369 349 537 807 928 89 981 1003 1148 1218 1285 1341 1405 0 136 288 514 617 759 1050 1066 1322 1378 1385 1388 101 180 236 289 612 711 846 1159 1359 49 104 223 534 883 1231 1291 13 343 502 872 48 308 699 984 1130 1271 1364 393 489 634 1127 1325 1385 1480 138 218 292 418 1316 1485 158 588 1074 1111 1236 1364 298 420 719 854 1036 1283 1419 38 246 600 780 1080 1150 1299 77 196 411 519 698 989 1489 262 415 460 582 1206 1402 1494 2 22 428 722 867 1437 215 265 473 491 584 809 506 602 1048 1346 1493 21 216 252 263 375 509 595 729 954 16 122 189 613 658 808 1130 1222 1250 1363 274 338 537 560 785 877 920 958 1046 1307 0 251 389 984 1068 1328 1462 106 173 293 480 593 774 1002 1142 1437 136 251 807 922 247 397 550 749 842 882 1246 1442 3 123 336 455 778 909 1023 1062 1155 1220 1356 1454 0 26 361 571 913 1084 1142 1248 598 786 806 918 1001 1112 1323 1544 565 750 832 1015