CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp04/
normalized-fapp04-0300-5.xml
MD5SUM9b390cbd2e7aec20d5f3a2cc4b660065
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 benchmark24.2143
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 ESAC1086959SAT 24.2143 24.5022
Abscon 112v4 AC1086958SAT 24.6812 24.9094
cpHydra k_101086960SAT 32.0511 32.1519
cpHydra k_401086961SAT 32.802 33.0525
Concrete + CPS4J 2008-05-301086943SAT 155.869 156.71
Sugar v1.13+picosat1086947SAT 300.795 303.553
Mistral-prime 1.3131086955SAT 610.226 614.938
Sugar v1.13+minisat1086948SAT 1099.34 1105.76
MDG-noprobe 2008-06-271086945SAT 1231.85 1232.38
MDG-probe 2008-06-271086944SAT 1261.2 1270.45
SAT4J CSP 2008-06-131086946? 711.431 716.447
galac E1086953? (problem) 0.448931 0.517889
galac M1086952? (problem) 0.44993 0.91948
casper zito1086957? (TO) 1800.04 1813.91
casper zao1086956? (TO) 1800.04 1802.72
Concrete + CSP4J - WMC Engine 2008-05-301086942? (TO) 1800.07 1811.82
choco2_impwdeg 2008-06-261086950? (TO) 1800.09 1801.28
Concrete + CSP4J - Tabu Engine 2008-05-301086941? (TO) 1800.09 1814.93
Minion/Tailor 2008-07-041105500? (TO) 1800.1 1813.41
choco2_dwdeg 2008-06-261086951? (TO) 1800.11 1805.8
bpsolver 2008-06-271086949? (TO) 1800.11 1807.71
Mistral-option 1.3141086954? (TO) 1800.11 1802.82

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 2504 -2272 2288 -2200 2448 -2628 -2276 -2664 -2452 2620 2536 -2552 2356 -2448 -2488 2512 -2508 2244 -2332 -2200 2656 2232 -2444 -2236
2568 -2340 -2372 -2200 -2596 -2160 -2544 -2256 -2656 -2200 -2212 2600 2248 2620 2200 2160 -2160 2612 -2324 2276 -2204 -2572 2604 -2336 2624
2228 -2684 2636 2468 -2264 -2584 2180 -2192 2404 -2696 2272 -2200 -2204 -2564 2476 2516 -2568 2664 -2424 2336 2696 -2232 2232 -2184 2160
-2640 -2636 2556 -2368 -2160 2548 -2248 2536 2696 -2408 2648 2564 2560 2164 2288 2668 2668 -2580 -2544 -2292 2252 -2544 2232 -2624 -2380
2404 -2484 -2688 2472 2344 2376 -2340 -2584 2556 2632 -2252 2588 -2160 2604 -2200 2660 -2644 -2584 2304 2588 -2676 2604 -2524 -2516 2648
-2464 -2476 -2648 -2212 -2544 -2676 2272 2548 2696 2316 2272 2288 -2284 -2696 2584 -2204 -2172 -2628 -2268 2516 2476 2324 -2560 -2164 -2620
2336 2656 2240 2364 -2312 -2564 -2248 -2588 -2340 -2684 2348 -2336 2344 2644 -2372 2656 -2240 2612 -2604 -2460 -2608 2584 -2696 -2696 2652
-2260 2656 -2160 -2296 2640 -2476 -2232 -2296 -2204 -2200 -2664 2484 -2200 2664 -2632 2220 2524 2292 2624 -2588 2160 2624 -2516 -2504 -2660
-2444 2624 -2608 -2464 2676 2672 2224 -2384 2332 -2292 -2356 2644 2220 -2200 2336 -2564 2524 -2328 -2160 -2504 2624 2408 -2600 2424 -2592
2288 -2332 -2524 -2436 2644 2636 -2544 2296 -2564 2568 -2628 2436 2624 -2408 -2160 2656 2228 -2676 2436 -2476 -2448 -2164 -2396 2200 2604
2308 -2160 -2304 -2688 2284 -2252 -2684 -2444 -2656 -2628 -2644 -2524 -2636 2412 2600 2404 -2608 -2564 -2644 -2404 2444 -2272 2180 2220 2500
2496 2576 2280 2296 -2188 2600 2608 -2524 2512 -2696 -2656 -2160 2380 -2664 -2464 2324 2476 2364 2200 2200 -2376 2564 -2664 2396 -2300