CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp17/
normalized-fapp17-0300-4.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp17/
normalized-fapp17-0300-4.xml
MD5SUM6aaa661c05cede3ed88b267795412528
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 benchmark1.13383
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3865
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3865
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
bpsolver 2008-06-271094995SAT 1.13383 1.14189
Mistral-prime 1.3131095001SAT 10.3134 10.3166
MDG-noprobe 2008-06-271094991SAT 12.6611 12.772
choco2_impwdeg 2008-06-261094996SAT 16.7974 16.9846
choco2_dwdeg 2008-06-261094997SAT 18.1512 18.3845
Abscon 112v4 ESAC1095005SAT 21.9707 22.1843
Abscon 112v4 AC1095004SAT 22.1256 22.2909
cpHydra k_101095006SAT 34.5387 34.6907
cpHydra k_401095007SAT 34.9267 35.262
Concrete + CSP4J - Tabu Engine 2008-05-301094987SAT 35.2356 35.4555
Concrete + CSP4J - WMC Engine 2008-05-301094988SAT 38.1072 38.5341
Concrete + CPS4J 2008-05-301094989SAT 68.0087 68.4093
Sugar v1.13+minisat1094994SAT 167.822 169.424
MDG-probe 2008-06-271094990SAT 171.907 173.22
Sugar v1.13+picosat1094993SAT 204.387 206.146
SAT4J CSP 2008-06-131094992? 461.054 462.276
galac E1094999? (problem) 0.404937 0.507713
galac M1094998? (problem) 0.554915 0.608877
Mistral-option 1.3141095000? (TO) 1800.07 1805.51
casper zao1095002? (TO) 1800.09 1812.72
casper zito1095003? (TO) 1800.09 1806.81
Minion/Tailor 2008-07-041105540Wrong UNSAT 853.934 857.34

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:
-2640 -2180 -2356 -2592 -2544 -2400 -2608 -2460 -2396 -2132 -2176 -2460 -2608 -2460 -2416 -2136 -2544 -2628 -2380 -2136 -2600 -2520 -2200
-2456 -2372 -2284 -2492 -2692 -2380 -2496 -2424 -2460 -2528 -2504 -2720 -2588 -2440 2128 -2680 -2604 -2424 -2600 -2652 -2504 -2536 -2304
-2560 -2536 -2420 -2456 -2500 -2652 -2496 2284 -2176 -2720 2220 2644 -2228 -2456 -2664 -2288 -2504 -2136 -2396 -2176 -2536 -2568 -2296 -2680
-2628 -2376 -2176 -2408 -2176 -2416 -2536 -2192 -2256 2256 -2420 -2628 -2692 -2504 -2544 -2516 -2460 -2676 -2552 -2504 -2612 -2136 -2168
-2120 -2316 -2168 -2416 -2416 -2684 -2456 -2456 -2420 -2356 -2456 -2368 -2680 -2380 -2668 -2496 2576 -2184 -2360 -2208 -2720 -2176 2160
-2380 -2164 -2140 -2324 -2256 -2656 -2336 -2656 -2544 -2420 -2136 -2504 -2264 -2504 -2416 2616 -2500 -2240 -2152 -2504 -2248 -2232 -2612
-2416 -2324 -2316 -2504 -2568 -2144 -2668 -2176 -2692 -2420 -2368 -2544 -2480 -2568 -2456 -2528 -2180 -2544 -2136 -2420 -2644 -2324 -2152
-2616 -2184 -2456 -2456 -2208 -2276 -2544 -2376 -2456 -2668 -2692 -2616 -2704 -2568 -2328 -2652 -2668 -2544 -2272 -2420 -2652 -2276 2524
-2400 -2200 2460 -2268 -2396 -2420 -2652 2168 -2476 -2324 -2244 -2636 -2608 -2332 -2504 -2524 -2288 -2436 -2628 -2284 -2416 -2144 -2204
-2496 -2136 -2396 -2416 -2652 -2640 -2484 -2120 -2416 -2296 -2384 -2232 -2668 -2420 -2440 -2204 2316 -2272 -2548 -2304 -2416 -2396 -2504
-2480 -2284 -2380 2628 -2496 -2172 -2472 -2208 -2132 -2456 -2536 2416 -2160 -2488 -2628 -2608 -2416 -2416 -2544 2132 -2628 -2384 -2264 -2568
-2416 -2484 -2172 -2524 -2544 -2220 -2172 -2496 2376 -2588 2296 -2332 -2136 -2628 -2568 -2456 -2292 -2668 -2544 -2448 -2144 -2456 -2184
-2176 -2456 2440 -2628 -2508 -2512 -2416 -2192 2532 -2180 -2484 -2164 -2532 -2492 -2284 -2248 2436 -2276 -2248 -2240 -2668 -2436