CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp13/
normalized-fapp13-2000-9.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp13/
normalized-fapp13-2000-9.xml
MD5SUM8646843a2e95f500eada934cacf94d53
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 benchmark53.7878
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC1085930SAT 53.7878 54.0976
Abscon 112v4 AC1085929SAT 59.144 59.4979
cpHydra k_401085932SAT 65.478 67.5263
cpHydra k_101085931SAT 75.2506 75.5666
Sugar v1.13+minisat1085919? 362.158 370.684
Sugar v1.13+picosat1085918? 381.569 390.351
SAT4J CSP 2008-06-131085917? 1213.35 1223.58
galac E1085924? (problem) 0.435932 0.51797
galac M1085923? (problem) 0.761883 0.831239
Concrete + CSP4J - Tabu Engine 2008-05-301085912? (TO) 1775.88 2200.02
Minion/Tailor 2008-07-041105528? (TO) 1800.02 1809.11
Concrete + CSP4J - WMC Engine 2008-05-301085913? (TO) 1800.02 1817.32
Mistral-prime 1.3131085926? (TO) 1800.04 1814.21
Concrete + CPS4J 2008-05-301085914? (TO) 1800.06 1799.53
casper zito1085928? (TO) 1800.07 1806.52
MDG-probe 2008-06-271085915? (TO) 1800.07 1807.42
MDG-noprobe 2008-06-271085916? (TO) 1800.09 1811.11
bpsolver 2008-06-271085920? (TO) 1800.1 1815.62
Mistral-option 1.3141085925? (TO) 1800.11 1809.63
casper zao1085927? (TO) 1800.16 1801.66
choco2_dwdeg 2008-06-261085922? (TO) 1800.2 1809.32
choco2_impwdeg 2008-06-261085921? (TO) 1800.23 1808.55

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:
-2580 -2512 2532 2548 2360 2468 -2656 2296 -2636 2372 2336 2324 -2596 2600 -2616 2508 -2656 -2288 -2316 -2316 2424 2396 -2300 2492 -2380
-2636 -2348 2476 2592 2480 -2320 -2652 -2512 -2320 -2656 2452 -2360 -2340 -2528 -2380 2324 -2304 2280 2412 -2448 2656 2540 2616 -2636 -2320
2364 2560 2560 -2616 -2496 -2552 2616 -2320 -2396 -2500 -2580 -2432 2388 2308 -2328 -2560 -2356 2580 -2572 -2280 2484 -2648 2428 2648 -2280
-2504 2340 2624 2412 -2352 2640 2300 2476 2428 -2612 -2320 -2512 -2616 2516 2280 2368 2352 2564 2284 -2436 -2468 2456 -2532 -2432 2608 -2280
2652 2468 -2456 -2376 -2640 2656 2424 -2356 -2428 -2504 2288 -2320 -2320 -2572 2616 -2540 2628 2452 2432 2616 2600 2612 2604 -2364 2584 2548
2432 2656 -2284 -2440 -2416 2588 2604 -2328 -2456 2436 2456 -2600 2452 -2384 -2448 -2596 2428 2528 2656 2608 -2488 -2444 -2628 -2456 -2392
2396 -2280 2580 -2568 -2320 -2416 -2324 -2280 2464 -2280 -2432 2644 -2492 -2388 -2412 2612 2348 -2448 -2508 2320 -2344 2384 -2656 2288 -2348
-2616 -2432 2480 -2504 2380 -2368 -2612 -2608 2420 -2496 -2480 2596 -2468 -2280 -2320 2368 2308 -2300 2572 -2320 -2304 2588 2464 -2280 -2584
-2528 -2620 2536 2600 -2588 2484 -2340 -2616 2644 2392 -2300 -2320 -2552 2368 -2492 2644 2472 2384 2400 2584 -2320 -2360 -2448 -2544 2616
2508 -2336 -2556 -2432 2580 -2368 -2576 -2620 -2280 2596 -2584 2616 -2592 2652 -2468 2284 -2328 -2280 -2520 -2388 -2320 -2348 -2616 -2640
-2456 2600 2280 -2544 -2340 -2512 -2476 -2336 2320 2624 -2480 2416 2360 2508 -2312 -2600 2280 2580 -2656 -2304 2540 2592 2512 2580 2616 2332
2332 -2304 -2288 2472 2556 -2452 2380 -2616 -2404 -2360 2448 2524 2320 -2460 2616 -2396 -2444 -2468 2428 -2488 2576 -2340 -2568 2452 2280
-2500 -2536 -2396 -2556 2596 2416 -2364 2376 -2472 -2600 2420 -2616 -2500 -2336 2608 -2320 2360 -2332 -2616 -2512 2596 -2568 -2332 -2496
-2656 -2300 2320 2648 2288 -2500 2600 2584 -2612 -2336 2392 -2352 -2284 2656 2504 -2444 2624 -2564 -2384 2572 -2576 -2484 -2292 -2468 -2404
2632 2556 2608 2492 -2436 -2328 -2424 -2376 2328 -2520 2360 -2600 2320 2656 2592 -2424 -2612 -2572 2336 2284 2492 -2452 -2320 2512 -2536
-2412 -2344 -2472 2576 2656 2408 -2428 -2368 -2368 -2652 -2428 2588 2320 -2656 -2436 -2372 2544 -2400 2488 2516 -2384 2424 -2456 2528 2432
-2280 2556 -2560 2472 2432 -2392 2508 -2376 2328 -2536 2568 2408 2408 -2560 -2656 -2348 2588 -2616 2572 -2320 2452 2420 -2656 -2616 2516
-2440 2512 -2596 -2540 2376 2600 -2348 -2280 -2580 2512 2616 2604 -2344 -2656 2456 -2548 2608 -2352 -2356 -2632 -2332 2280 2548 -2428 2312
2284 -2476 2320 -2284 2584 -2556 2320 -2308 -2600 -2524 2548 -2656 -2400 -2300 2352 -2480 -2292 -2524 2616 -2392 -2360 -2416 2280 -2328
-2468 2280 2320 -2616 2456 -2632 -2392 -2656 2580 -2592 -2348 -2320 2424 2496 -2356 2540 -2320 2596 -2576 -2408 2456 2340 -2472 2544 -2372
-2324 -2280 2392 2588 -2280 -2408 2640 -2656 2460 -2304 -2448 -2488 -2548 -2592 2532 2292 -2656 2548 2540 -2640 -2384 2324 2592 -2592 -2544
2400 -2456 -2312 2432 -2348 -2616 2320 -2632 2316 2612 -2280 -2584 -2500 2520 -2448 2348 2580 2632 -2592 -2284 2508 2540 2280 -2404 -2616
-2656 2320 -2360 2352 2344 -2472 -2380 -2280 -2320 2648 2488 2360 -2656 -2560 2324 -2628 -2584 -2504 -2280 2280 -2616 2584 -2320 -2600 2524
-2580 -2516 -2296 -2608 -2656 2468 2336 -2532 2320 -2348 -2588 2588 2540 2552 2428 2548 2328 -2416 -2456 -2404 2408 -2288 -2596 2572 2560
-2616 2320 2460 -2448 -2332 -2356 -2356 -2596 -2412 2656 2492 -2288 -2656 -2600 -2368 2460 -2616 -2464 2532 -2536 -2552 -2620 2452 2656
-2476 2600 2656 2372 -2652 -2612 -2292 2328 2388 -2656 -2292 2652 -2324 -2616 2508 -2336 2320 -2460 -2344 2616 2324 2324 -2432 2344 2304
-2320 2416 -2328 2528 -2496 2468 -2280 2632 -2616 -2636 -2324 -2580 -2592 2556 -2432 2392 -2584 -2656 -2552 -2616 -2408 -2440 2600 -2548
2552 2616 -2616 -2412 2396 2476 -2280 2600 2280 -2320 2376 -2432 -2604 -2632 -2656 -2356 2476 -2416 -2388 2404 2280 2336 2300 2328 -2368
2428 -2360 -2472 2568 -2616 -2324 -2544 -2588 2520 2548 -2580 -2552 -2616 -2420 -2628 -2280 -2656 -2436 -2548 2320 2640 -2344 2616 2380
-2656 -2624 -2528 -2288 2516 2476 2452 -2280 -2424 -2372 -2320 2604 2488 2604 -2576 2284 -2392 2456 -2388 -2280 -2588 -2368 2536 -2520 -2536
2500 -2560 2556 -2496 -2300 -2592 2564 -2448 -2640 2404 -2492 2336 -2520 2520 -2452 2368 2288 -2516 -2656 -2332 2640 -2592 2596 -2392 2344
-2656 2356 -2324 2604 -2284 -2636 -2376 2324 -2548 -2340 2572 -2616 -2616 2624 -2496 2488 2620 -2496 2588 2300 2532 2624 -2448 -2368 -2388
-2340 -2452 -2412 -2532 -2508 -2600 -2492 2508 2576 -2296 2280 -2472 -2308 2320 -2388 -2616 -2328 2288 -2416 -2408 2400 -2388 -2488 -2468
-2364 2320 -2652 2612 -2384 -2452 -2332 -2480 2396 -2468 -2324 2480 -2404 -2576 -2584 2576 -2408 2280 -2420 -2568 2380 2384 -2516 -2492 2600
-2580 -2320 -2448 -2428 -2284 2564 -2584 2312 -2296 2320 -2616 2552 -2452 2436 -2384 -2656 -2584 2392 2412 -2296 2640 2308 -2528 -2592 -2336
-2320 -2320 2352 -2356 2616 -2440 2464 2424 2616 -2344 -2552 2320 -2284 -2612 -2456 -2480 -2516 2476 -2584 -2428 -2476 -2656 -2428 -2396
2632 2436 -2544 2316 2468 -2476 2656 -2652 -2364 -2328 -2280 2440 -2640 -2428 -2564 -2532 2656 -2540 2280 2584 -2388 -2644 -2616 -2536 2596
-2432 -2404 2588 2540 -2608 -2464 2340 2608 2540 -2312 2436 -2612 2652 -2572 -2512 -2476 -2620 -2632 2380 2520 -2408 2320 -2572 2392 2608
-2444 -2456 2628 2372 2324 2560 -2592 2496 -2512 2472 -2444 -2500 -2516 -2404 -2328 2556 -2344 -2280 2628 2356 -2320 -2412 -2504 -2432 2572
-2396 2508 -2328 2460 -2344 -2320 2572 -2568 2488 -2396 -2368 2460 2320 2592 2636 -2592 -2460 2616 -2380 -2332 2616 2396 2544 -2572 2320
-2616 2468 2588 2564 -2420 2508 -2460 -2628 2440 -2444 -2612 -2568 -2464 -2292 2348 -2472 2308 2428 -2448 -2556 2556 2556 -2472 -2344 -2584
-2280 -2616 2612 -2656 2376 2468 -2636 -2540 -2640 2436 2580 -2440 -2492 -2492 -2412 -2384 2584 2552 -2656 -2628 -2328 -2468 2436 -2408 2452
2524 -2384 2604 -2568 2552 2340 2344 -2372 -2640 2428 2384 2384 -2400 -2616 2456 2572 -2292 -2408 -2320 -2508 -2592 2284 2604 2516 2320
-2500 2400 -2616 -2332 -2288 -2640 -2596 -2340 -2348 2616 2420 -2280 -2508 2280 2372 2600 -2280 -2572 2456 2548 -2568 -2520 2640 2360 -2368
-2432 2416 2308 2400 -2324 2340 -2356 -2656 2612 -2352 2620 -2616 2616 -2656 2656 -2512 -2560 -2528 -2584 -2340 -2336 2592 -2644 2560 -2376
2420 2332 -2480 -2616 2544 2364 -2532 2464 -2408 2492 -2656 2284 2420 2644 -2284 2516 -2280 -2428 2492 -2488 2616 -2336 2364 2280 -2332 2496
-2364 -2448 -2508 -2536 -2636 2468 -2508 2444 -2416 2384 2512 -2656 2488 2612 -2380 2320 2428 -2616 2320 -2616 2592 2636 -2460 -2592 -2340
2508 2532 -2508 2396 -2460 2572 2320 -2564 2604 -2572 2332 2540 -2372 -2472 -2280 2552 -2392 -2280 2536 2400 2524 2496 -2588 2444 -2344
-2552 2640 -2396 2592 -2316 -2516 2320 2556 -2508 2388 -2616 2616 -2616 2368 -2616 -2636 -2480 -2452 -2436 -2652 -2368 -2280 -2656 -2520
-2604 -2380 2560 -2468 -2376 2572 -2416 -2576 -2656 2540 2280 -2440 -2528 2612 -2640 -2636 2424 -2656 2648 -2384 -2612 2364 2476 2644 2460
-2344 2312 -2320 -2544 2656 -2344 2320 -2484 2328 -2388 2488 -2496 2320 -2532 -2628 2624 2440 2592 -2320 -2420 2336 -2304 -2592 -2588 -2296
2516 -2520 -2616 2648 -2408 2564 -2632 -2480 2408 -2500 -2376 -2608 -2532 2620 -2568 2612 -2440 2604 2480 2280 2472 2376 2340 -2624 -2428
-2644 -2536 -2380 -2468 -2632 -2280 2604 2320 2568 2412 -2344 2332 -2492 -2340 -2384 -2524 -2412 -2620 2588 -2384 2424 -2412 2604 -2508
-2576 -2608 -2496 2400 -2476 -2592 -2324 -2584 2540 -2500 -2532 -2360 -2616 2520 -2504 -2324 2412 2324 -2652 -2540 -2536 -2284 -2352 2604
-2428 2600 2280 2296 -2636 -2580 -2320 -2392 2364 2536 -2600 -2364 2280 -2324 2656 -2444 -2624 2280 2304 -2320 -2640 -2280 -2520 -2508 2444
-2596 -2508 2320 2584 2484 2400 -2324 2632 -2320 -2468 -2496 -2656 2352 2540 -2460 -2300 -2340 2552 -2588 2420 2304 2324 2532 -2292 -2576
-2588 2444 -2564 -2560 2616 2436 2384 2368 -2544 -2364 2632 -2324 -2320 2388 2460 -2328 2360 -2564 2324 2320 -2292 2336 -2420 -2400 -2600
2616 -2444 -2448 -2576 -2480 -2628 2608 -2512 -2656 2600 2280 -2536 2616 -2656 -2532 2612 -2492 2412 2288 -2280 -2592 2656 -2528 2544 -2344
-2488 -2632 2360 -2280 -2332 2624 -2356 -2532 2636 2620 -2600 -2544 -2612 -2452 2520 -2656 -2384 -2416 -2608 -2496 -2468 2500 -2636 2616
-2284 -2356 -2312 2616 -2604 -2496 2304 -2452 2612 -2600 -2408 -2344 -2280 -2344 -2596 2648 -2496 -2476 2516 2280 -2288 2516 -2384 2304
-2372 -2288 -2596 2408 -2484 -2520 2328 -2612 2500 2368 -2356 2632 -2364 2536 -2328 2388 -2656 -2328 2508 2600 -2536 2352 2516 -2304 2648
-2320 2656 2404 -2428 -2516 2656 -2292 -2320 -2380 -2344 -2580 -2396 -2336 -2424 2656 2416 -2528 2444 2320 -2344 -2280 2328 -2280 -2308
-2560 -2656 2492 -2484 2656 -2332 -2656 -2520 2332 -2616 -2544 2400 -2364 2632 -2320 -2372 -2592 2468 2436 2408 2640 2592 -2336 -2616 -2644
2408 -2616 2608 -2532 2572 -2544 -2296 2468 -2452 -2496 -2376 2492 2652 2608 -2416 -2636 -2628 -2376 -2320 2576 2616 -2464 -2332 -2344 -2616
2604 -2340 2280 -2332 -2552 -2320 2472 -2336 2472 -2616 -2548 2492 2492 2424 2624 2564 2316 -2488 2312 -2416 -2380 -2360 -2492 -2548 -2404
-2532 -2596 2600 2644 2464 -2300 2644 -2528 -2344 2392 -2516 -2656 2560 -2504 2408 -2408 2608 -2288 -2300 -2280 2452 -2488 2356 -2320 -2424
-2656 2460 -2596 -2580 -2344 -2556 -2436 2548 2392 -2324 -2616 2560 2524 -2576 2556 -2424 -2568 -2616 -2636 -2400 -2280 -2580 2612 -2656
2368 2652 2520 -2644 -2600 -2316 -2392 -2440 -2512 2412 -2656 2304 2616 2420 -2332 2280 2628 -2656 -2496 -2340 -2620 -2348 -2532 -2452 2560
-2656 -2532 2492 2280 -2280 -2480 2540 2528 2552 -2580 -2588 -2420 2616 -2320 2436 -2592 2604 -2656 -2400 2320 -2604 -2452 2384 -2484 -2580
-2612 2280 -2568 2372 2384 2416 2532 -2352 -2324 -2656 -2392 -2420 2280 2536 -2492 -2468 -2576 -2360 2468 -2456 2412 2520 -2560 2332 2496
-2592 2536 2484 -2508 2628 -2388 2308 -2616 -2404 -2344 -2468 -2372 2568 -2352 -2472 2280 2524 -2448 2296 2480 -2532 2368 2504 -2572 -2444
-2380 -2580 2632 2500 2552 -2528 -2552 2600 -2616 2392 -2296 -2440 -2612 -2560 2360 2280 -2456 -2616 2608 -2420 -2592 -2528 2600 2476 -2508
-2632 2572 -2320 -2580 -2472 -2384 2616 -2632 2592 -2472 2320 2620 -2596 2572 2364 2552 -2596 -2352 2332 2580 2536 -2348 -2584 2388 -2376
2588 2528 2520 2560 -2616 -2544 2440 2616 -2440 -2428 2656 -2448 -2616 2652 2324 2544 -2344 2404 2500 2584 -2408 -2656 2296 -2300 2652 2596
-2416 -2488 -2320 2280 -2616 -2564 -2524 2280 2452 2328 -2352 -2592 -2476 -2484 -2432 -2376 -2348 -2360 2432 -2340 2632 -2648 -2468 -2292
2320 -2528 2320 2324 2364 -2328 2504 -2352 2352 -2576 2288 -2456 -2364 -2400 -2656 -2352 -2656 2280 -2396 2560 2620 2280 -2356 -2316 -2500
-2656 2592 -2284 -2320 -2280 -2552 2348 2500 -2288 2440 2540 2416 2496 2284 2392 -2304 2624 2280 2592 2536 2476 -2316 -2320 2548 -2588 -2404
2572 2336 -2344 2644 2352 -2340 2344 -2432 2464 -2640 -2572 -2596 2392 2292 -2380 -2292 2280 2412 -2520 -2480 2364 -2452 2436 2480 -2320
-2352 2292 2612 -2416 2292 2404 -2556 -2328 -2320 -2464 -2452 -2536 2412 -2412 -2296 -2516 2644 -2320 -2560 2652 -2616 -2352 -2488 -2372
-2612 -2476 2492 -2548 2356 -2320 -2320 2424 2408 -2540 2644 -2564 -2508 -2656 2372 -2460 2384 2584 -2628 2612 -2372 2344 -2448 2388 2412
-2320 -2656 2436 2596 -2312 2532 -2604 2320 2508 -2360 -2636