CSP 2009 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp13/
normalized-fapp13-2000-7.xml
MD5SUM84133ea5ae34af4b55008c1b033d164e
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 benchmark198.569
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 ESAC (complete)2097774SAT 198.569 199.594
Abscon 112v4 AC (complete)2097773SAT 1435.35 1436.27
Concrete DC 2009-07-14 (complete)2083179? 561.468 563.694
SAT4J CSP 2.1.1 (complete)2083175? 965.825 967.765
bpsolver 09 (complete)2083185? (exit code) 11.9972 12.1028
Sugar v1.14.6+minisat (complete)2083182? (MO) 193.144 727.031
Sugar v1.14.6+picosat (complete)2083181? (MO) 260.351 270.73
Concrete 2009-07-14 (complete)2083178? (TO) 1800.01 1806.02
Mistral 1.545 (complete)2083184? (TO) 1800.05 1806.91
pcs 0.3.2 (complete)2083176? (TO) 1800.1 1803.55
Choco2.1.1b 2009-07-16 (complete)2116798? (TO) 1800.13 1804.31
pcs-restart 0.3.2 (complete)2083177? (TO) 1800.14 1814.05
Choco2.1.1 2009-06-10 (complete)2083180? (TO) 1800.16 1814.92

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