CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp21/
normalized-fapp21-0500-7.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp21/
normalized-fapp21-0500-7.xml
MD5SUM258fa7544fb64a4c6d6543dd4100fd0f
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 benchmark21.7487
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints2852
Maximum constraint arity2
Maximum domain size242
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2852
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC1086266SAT 21.7487 21.8971
Abscon 112v4 AC1086265SAT 21.7917 22.1975
cpHydra k_401086268SAT 32.737 33.1745
cpHydra k_101086267SAT 33.4639 33.7272
Sugar v1.13+picosat1086254SAT 278.277 281.326
Sugar v1.13+minisat1086255SAT 288.646 291.761
Mistral-prime 1.3131086262SAT 504.034 506.089
Concrete + CPS4J 2008-05-301086250SAT 1414.1 1414.63
SAT4J CSP 2008-06-131086253? 363.875 399.752
galac E1086260? (problem) 0.435932 0.516848
galac M1086259? (problem) 0.441932 0.525734
Concrete + CSP4J - WMC Engine 2008-05-301086249? (TO) 1800.03 1808.92
MDG-noprobe 2008-06-271086252? (TO) 1800.04 1807.51
bpsolver 2008-06-271086256? (TO) 1800.05 1802.51
Mistral-option 1.3141086261? (TO) 1800.05 1806.01
casper zao1086263? (TO) 1800.06 1808.12
MDG-probe 2008-06-271086251? (TO) 1800.06 1808.91
casper zito1086264? (TO) 1800.06 1808.21
Concrete + CSP4J - Tabu Engine 2008-05-301086248? (TO) 1800.07 1808.22
choco2_dwdeg 2008-06-261086258? (TO) 1800.12 1800.79
choco2_impwdeg 2008-06-261086257? (TO) 1800.16 1805.87
Minion/Tailor 2008-07-041105552Wrong UNSAT 111.471 111.589

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 -2324 -2588 -2404 2660 2660 -2384 -2296 -2624 -2220 -2332 -2480 -2220 -2400 -2528 -2496 -2332 -2232 -2276 -2660 -2416 2680 -2412 -2700
-2660 -2424 -2260 -2456 -2276 -2256 -2700 -2548 -2700 -2220 -2700 -2260 -2588 -2372 -2472 -2612 -2648 -2416 -2696 -2688 -2228 2700 -2600
-2512 -2568 -2372 -2424 -2480 -2284 -2376 -2276 -2296 -2260 -2628 -2336 -2688 -2264 -2612 -2360 -2268 -2536 -2608 -2280 -2476 -2260 -2440
-2416 -2236 -2700 -2344 -2384 -2700 -2408 -2700 2220 -2404 -2356 -2452 -2700 -2432 -2220 2220 -2260 -2700 -2228 -2332 -2580 -2368 -2592
-2600 -2260 -2260 -2292 -2632 -2624 -2220 -2352 -2660 -2220 -2276 -2260 -2360 -2504 -2700 -2296 2636 -2260 -2384 -2648 -2628 -2632 -2260
-2440 -2260 -2244 -2428 -2364 -2364 -2304 -2660 -2440 -2260 -2340 -2220 -2636 -2280 -2488 -2236 2408 -2460 -2260 -2460 -2392 -2592 -2260
-2700 -2548 -2412 -2460 -2416 -2600 -2420 -2660 -2700 -2332 -2236 -2560 -2700 -2360 -2288 2260 -2628 -2412 -2260 -2364 -2660 -2220 -2500
-2336 -2424 -2660 -2660 -2424 2424 -2596 -2260 -2364 2532 -2660 -2456 -2660 -2220 -2464 -2524 -2424 -2700 -2660 -2308 -2588 2660 -2400 -2220
-2628 2404 -2564 -2412 -2400 -2336 -2220 2676 -2260 -2584 -2660 -2648 -2220 -2220 -2380 2600 -2700 -2608 -2220 2660 2648 2584 -2660 -2260
-2304 -2400 2220 2648 -2408 -2408 -2260 -2648 -2512 2624 2612 -2472 2316 -2220 -2296 2652 -2660 -2672 -2228 -2700 -2372 -2220 -2660 -2660
-2544 -2604 -2660 2568 2676 -2412 -2660 -2420 -2360 2688 -2528 -2552 -2444 -2384 -2368 -2448 -2220 2660 -2248 -2324 -2504 -2220 -2468 -2700
2660 -2592 -2660 -2660 -2604 -2356 -2668 -2292 2660 2236 2660 -2220 -2620 -2448 -2220 -2572 -2308 -2292 -2700 -2700 -2244 -2516 -2260 2220
-2500 -2220 2636 -2700 -2660 -2656 -2444 2472 -2700 -2508 -2288 -2552 -2300 -2260 -2700 -2464 -2384 2700 -2504 -2364 -2572 -2572 -2584 -2312
-2696 -2540 -2220 -2608 -2268 -2372 -2344 -2260 -2400 -2496 -2672 -2316 -2220 -2560 -2400 -2272 -2260 -2420 -2660 -2700 -2456 -2348 -2324
-2424 -2260 -2700 -2656 -2544 -2464 -2444 -2256 -2548 -2260 -2432 -2540 2528 -2468 2432 -2384 -2328 -2316 -2700 -2376 -2660 2492 -2660 -2484
-2220 -2260 2508 -2584 -2384 2700 2588 -2344 -2584 -2596 -2700 -2380 -2464 -2492 -2260 -2220 -2512 -2460 -2684 -2260 -2524 -2352 -2568 -2644
-2452 -2348 2660 -2588 -2220 -2276 -2296 -2520 -2260 -2348 -2532 -2260 -2276 -2588 -2628 -2220 -2252 -2636 -2336 -2632 -2284 -2320 2360
-2572 -2668 -2336 -2660 -2576 2640 -2460 -2220 -2344 -2224 2628 -2220 -2608 -2700 -2456 -2532 -2700 -2660 -2260 -2260 -2464 -2640 2636 -2300
-2448 -2640 -2500 -2392 -2700 -2220 -2484 -2340 -2220 -2268 -2260 -2520 -2404 -2392 -2700 2552 -2388 -2436 -2484 -2688 -2672 2220 -2288
-2392 2660 -2344 -2504 -2660 -2464 -2596 -2700 -2260 -2260 -2588 -2220 -2700 -2304 -2296 -2660 -2260 -2648 -2628 -2480 -2260 -2420 2396
-2420 -2700 -2564 -2504 -2220 -2248 -2352 -2660 -2700 -2336 -2240 -2272 -2700 -2380 -2240 -2408 -2276 -2700 2532 -2260 -2220 -2420 -2260
-2624 -2236 -2296 -2536 -2552 -2316 -2372