CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp06/
normalized-fapp06-0500-9.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp06/
normalized-fapp06-0500-9.xml
MD5SUM7fe976fa4ce71b2c5a4965beb0a6326a
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 benchmark32.804
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints6531
Maximum constraint arity2
Maximum domain size290
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6531
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC1086224SAT 32.804 32.8528
Abscon 112v4 AC1086223SAT 33.7899 34.0481
cpHydra k_101086225SAT 45.1151 45.3568
cpHydra k_401086226SAT 47.1358 47.3757
Concrete + CPS4J 2008-05-301086208SAT 289.119 291.832
MDG-noprobe 2008-06-271086210SAT 509.265 511.301
MDG-probe 2008-06-271086209SAT 557.666 560.428
Sugar v1.13+picosat1086212SAT 809.405 815.393
SAT4J CSP 2008-06-131086211? 1592.48 1599.12
galac E1086218? (problem) 0.480926 0.575057
galac M1086217? (problem) 0.594908 0.685581
Sugar v1.13+minisat1086213? (MO) 99.7721 101.389
bpsolver 2008-06-271086214? (TO) 1800.02 1808.32
Concrete + CSP4J - WMC Engine 2008-05-301086207? (TO) 1800.03 1800.92
casper zito1086222? (TO) 1800.05 1802.01
Mistral-prime 1.3131086220? (TO) 1800.06 1808.41
Concrete + CSP4J - Tabu Engine 2008-05-301086206? (TO) 1800.06 1812.52
Minion/Tailor 2008-07-041105507? (TO) 1800.06 1916.41
Mistral-option 1.3141086219? (TO) 1800.09 1808.42
casper zao1086221? (TO) 1800.14 1816.04
choco2_dwdeg 2008-06-261086216? (TO) 1800.17 1801.5
choco2_impwdeg 2008-06-261086215? (TO) 1800.19 1802.51

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:
2612 2240 2704 -2444 -2252 2524 2268 2436 -2300 2540 2600 -2532 2560 -2584 2668 -2576 2340 2552 -2244 2372 -2716 -2372 -2324 -2628 2696 2656
-2396 -2212 -2140 -2476 2628 -2376 -2616 2444 -2616 -2452 -2140 2488 -2196 -2152 2308 2244 -2584 2256 2304 2716 -2560 -2616 -2420 2580 2352
-2340 2512 -2348 -2284 -2272 -2248 2676 -2564 2436 2640 2516 -2288 2540 2672 -2524 2588 2676 2480 -2520 -2296 2224 2224 2208 2656 2292 -2348
-2716 -2264 2444 2328 2400 -2360 2464 -2716 -2488 -2520 -2388 2640 2140 -2380 2552 -2708 2576 -2184 -2188 -2272 -2140 -2716 -2400 -2628
-2408 2576 -2296 -2716 2228 -2660 2312 -2696 -2528 -2536 2656 2620 -2528 -2716 2296 2576 2288 -2692 2328 2564 2556 -2168 -2356 -2200 2564
2692 -2324 2656 -2652 -2416 2544 -2652 2212 -2300 2352 -2324 -2436 2236 2180 2232 2612 -2172 -2396 -2460 -2628 -2588 2512 -2676 -2184 -2156
-2496 -2576 -2144 2296 2676 -2208 -2440 -2296 2328 2664 -2412 2692 -2576 2448 2676 -2476 -2716 2180 -2204 2252 -2460 2648 -2612 2400 2248
-2676 -2180 -2264 -2284 -2616 2604 -2564 -2200 -2716 -2492 2664 -2524 -2452 2140 2632 2308 2308 -2540 -2556 -2180 -2180 -2412 -2244 -2716
2448 2140 -2208 -2160 2652 -2640 -2572 2536 2232 2632 2424 -2620 -2360 -2352 2608 2664 -2612 2480 2384 -2540 -2668 2640 -2392 -2668 2536
2512 -2412 -2592 2384 -2612 -2672 -2632 -2140 2664 2424 -2284 2616 2564 -2288 -2660 -2256 -2348 -2180 -2592 -2352 -2512 -2384 2600 2192 2148
-2592 2504 2452 -2512 2652 2312 -2524 -2340 -2180 2580 2704 2476 -2676 -2308 -2372 -2348 2628 2276 2212 2496 -2552 2256 2392 2300 -2140
-2288 2488 -2420 2640 2668 -2344 2560 2140 2564 2672 2428 -2164 2368 -2248 -2716 -2204 2656 -2468 2168 2680 -2340 -2332 -2412 -2408 -2356
-2484 -2716 2264 2336 -2500 2348 2212 2600 2200 2636 -2292 2592 2672 2300 2552 -2484 2632 -2308 -2552 -2676 2208 2624 -2172 2712 2576 2604
-2448 -2652 -2152 -2292 2564 -2676 -2180 -2140 2644 2628 -2604 -2480 -2340 -2140 2320 -2552 -2652 -2632 -2252 -2704 2444 2180 -2676 2560
-2716 2672 2680 -2572 2580 -2336 -2180 -2180 -2168 2696 -2440 -2180 -2604 -2208 -2676 -2536 -2520 2412 -2340 -2240 -2564 2676 2232 2692
-2536 -2600 2412 2284 2564 2196 -2336 -2716 2172 2560 -2292 -2568 2368 2588 -2192 2568 2464 2676 -2192 2160 2476 2428 -2500 -2360 -2156
-2580 -2616 2552 -2344 2424 2304 2280 -2556 2632 2668 -2300 -2596 -2672 2632 2376 -2232 -2680 -2256 2704 -2676 -2452 -2140 -2480 -2296 -2520
-2696 -2404 2600 -2416 -2676 -2652 -2252 -2232 -2684 -2496 -2516 -2392 2440 -2380 -2380 -2716 2228 -2140 2704 -2500 2576 2260 2684 2656
-2436 2688 2524 -2212 -2664 2224 -2320 -2524 -2520 -2432 -2644 -2676 2204 -2332 2476 2564 -2348 2676 2204 -2460 -2180 -2692 2192 -2140 2620
-2576 -2696 2140 2244 2616 -2232 2656 -2296 2248 -2332 2616 -2548 -2620 -2268 2180 -2340 -2272 2272 -2572 -2484 -2612 -2652 -2388 -2716
-2180 -2596 -2696