CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/ttp/
normalized-data-6-3.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/ttp/
normalized-data-6-3.xml
MD5SUM5f02e94dfa7c928ac6b219598e0d8ae8
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.58845
Satisfiable
(Un)Satisfiability was proved
Number of variables540
Number of constraints4626
Maximum constraint arity20
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4626
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+picosat1050000SAT 3.58845 3.70546
Sugar v1.13+minisat1050001SAT 3.68944 3.84328
choco2_dwdeg 2008-06-261050004SAT 6.92495 7.01452
Mistral-prime 1.3131050008SAT 11.6332 11.7496
Abscon 112v4 AC1050011SAT 12.839 12.9259
Abscon 112v4 ESAC1050012SAT 13.6939 13.8073
cpHydra k_401050014SAT 16.7415 17.0259
cpHydra k_101050013SAT 16.7874 17.1582
casper zito1050010SAT 17.3774 17.5197
casper zao1050009SAT 26.028 26.2318
Concrete + CPS4J 2008-05-301049996SAT 34.8317 35.1955
choco2_impwdeg 2008-06-261050003SAT 36.1125 36.4846
Mistral-option 1.3141050007SAT 94.2617 95.1516
SAT4J CSP 2008-06-131049999? 217.951 217.569
Concrete + CSP4J - WMC Engine 2008-05-301049995? (TO) 1800.01 1800.82
bpsolver 2008-06-271050002? (TO) 1800.03 1807.71
Concrete + CSP4J - Tabu Engine 2008-05-301049994? (TO) 1800.04 1816.13
MDG-noprobe 2008-06-271049998? (TO) 1800.05 1806.41
Minion/Tailor 2008-07-041104862? (TO) 1800.05 1814.61
MDG-probe 2008-06-271049997? (TO) 1800.11 1811.21
galac E1050006Wrong UNSAT 11.4893 11.5867
galac M1050005Wrong UNSAT 11.5732 11.7092

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:
0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0
0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0
0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0
0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0
0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0
0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0
0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0
0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1