CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp01/
normalized-fapp01-0200-8.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp01/
normalized-fapp01-0200-8.xml
MD5SUM77d0c06508d30467ab0ad961e0384939
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 benchmark6.562
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2053
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2053
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131087144SAT 6.562 6.59502
choco2_impwdeg 2008-06-261087139SAT 6.65399 6.76963
choco2_dwdeg 2008-06-261087140SAT 6.78797 6.86579
Abscon 112v4 ESAC1087148SAT 10.7014 10.8343
Abscon 112v4 AC1087147SAT 10.8943 11.0538
Concrete + CSP4J - WMC Engine 2008-05-301087131SAT 11.9622 12.0091
MDG-noprobe 2008-06-271087134SAT 13.8939 14.0127
cpHydra k_101087149SAT 17.0504 17.2994
cpHydra k_401087150SAT 18.3382 22.2634
Concrete + CPS4J 2008-05-301087132SAT 20.6299 20.7686
MDG-probe 2008-06-271087133SAT 90.1813 90.5703
Sugar v1.13+picosat1087136SAT 90.3003 91.4253
SAT4J CSP 2008-06-131087135SAT 141.143 142.298
Sugar v1.13+minisat1087137SAT 145.2 146.153
galac M1087141SAT 608.366 610.894
galac E1087142? (problem) 0.491925 0.556705
Concrete + CSP4J - Tabu Engine 2008-05-301087130? (TO) 1800.01 1803.22
Mistral-option 1.3141087143? (TO) 1800.01 1809.41
casper zito1087146? (TO) 1800.04 1802.21
casper zao1087145? (TO) 1800.06 1800.82
bpsolver 2008-06-271087138? (TO) 1800.07 1804.22
Minion/Tailor 2008-07-041105492? (TO) 1800.07 1814.02

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:
-2632 -2452 -2616 -2616 -2344 -2472 -2508 2528 2440 -2288 -2328 -2640 2536 2396 2488 -2544 -2652 -2516 -2320 -2648 -2572 -2432 -2332 2584
-2616 -2488 -2600 -2608 2600 2356 -2640 -2504 -2656 -2376 -2472 2476 2636 -2528 2456 2280 -2616 2280 2480 -2480 2464 -2332 -2452 -2616 2420
-2556 2496 -2612 -2384 2468 -2360 -2384 -2344 -2460 2456 -2416 2544 2352 -2412 -2512 -2448 2464 -2492 -2448 2608 -2460 -2612 2324 2596 -2528
-2360 -2568 -2336 -2612 -2600 2320 -2376 2320 -2308 -2428 2604 2556 2592 -2656 2320 -2600 -2340 2396 -2568 -2528 -2516 2520 -2504 -2500
-2644 -2652 2576 -2608 2480 -2512 -2504 2420 -2516 -2552 -2380 -2380 -2472 2280 -2336 -2616 -2328 -2540 2436 -2644 2408 -2580 -2476 -2552
2356 2280 -2340 -2352 -2532 -2452 -2280 2492 2612 -2540 -2468 2424 -2300 -2532 2592 -2340 -2580 -2608 -2392 -2612 2496 -2400 -2460 2512 2412
-2656 2416 2320 2656 -2560 -2488 -2412 -2656 2284 -2620 -2368 2520 -2596 2456 -2616 2412 -2304 -2604 2572 -2488 2420 -2640 2416 2280 -2652
-2300 2336 -2296 2336 2544 -2420 -2376 2344 -2648 -2312 -2656 2320 -2616 -2648 -2460 -2348 2656 -2452 -2432 2320 -2420 2580 2292 2620 2376
-2476 -2292 -2552