CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp04/
normalized-fapp04-0300-6.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp04/
normalized-fapp04-0300-6.xml
MD5SUMc69528fd65a2520fb81be713348cca16
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 benchmark25.9351
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3360
Maximum constraint arity2
Maximum domain size270
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3360
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 AC1086979SAT 25.9351 26.1265
Abscon 112v4 ESAC1086980SAT 26.226 26.5589
cpHydra k_401086982SAT 33.052 33.4299
cpHydra k_101086981SAT 33.1 34.1917
Concrete + CPS4J 2008-05-301086964SAT 227.979 228.923
Sugar v1.13+picosat1086968SAT 319.265 320.081
Mistral-prime 1.3131086976SAT 335.873 338.534
Sugar v1.13+minisat1086969SAT 1282.26 1288.92
MDG-noprobe 2008-06-271086966SAT 1684.01 1692.76
SAT4J CSP 2008-06-131086967? 555.881 558.581
galac M1086973? (problem) 0.45293 0.519178
galac E1086974? (problem) 0.573912 0.670063
Minion/Tailor 2008-07-041105501? (TO) 1800.04 1813.81
Concrete + CSP4J - WMC Engine 2008-05-301086963? (TO) 1800.05 1802.72
bpsolver 2008-06-271086970? (TO) 1800.05 1802.81
Mistral-option 1.3141086975? (TO) 1800.06 1811.71
Concrete + CSP4J - Tabu Engine 2008-05-301086962? (TO) 1800.08 1809.02
casper zito1086978? (TO) 1800.08 1806.61
MDG-probe 2008-06-271086965? (TO) 1800.09 1808.81
casper zao1086977? (TO) 1800.1 1811.82
choco2_impwdeg 2008-06-261086971? (TO) 1800.13 1801.79
choco2_dwdeg 2008-06-261086972? (TO) 1800.16 1807.29

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