HEAD is now at 0e68ffa initial deployement # Checking available version of Java # Java(TM) SE Runtime Environment (build 1.6.0_12-b04) # Running really p2cudf #Solver launched on Mon Jul 05 19:46:02 UTC 2010 #Using input file /home/misc2010/data/2010/debian-dudf/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf #Using ouput file /home/misc2010/tmp/201007051233/p2cudf-trendy-1.6/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.result #Objective function trendy #Timeout 280s #java.runtime.name Java(TM) SE Runtime Environment #java.vm.name Java HotSpot(TM) Server VM #java.vm.version 11.2-b01 #java.vm.vendor Sun Microsystems Inc. #sun.arch.data.model 32 #java.version 1.6.0_12 #os.name Linux #os.version 2.6.18-6-xen-amd64 #os.arch i386 #Free memory 721951896 #Max memory 725876736 #Total memory 725876736 #Number of processors 1 #Parsing ... #Time to parse:2642 #Parsing done (2.642s). #Solving ... #Request size: 2999 #Number of packages after slice: 15516 #Slice efficiency: 79% ## Optimization to Pseudo Boolean adapter # Pseudo Boolean Optimization # --- Begin Solver configuration --- # Stops conflict analysis at the first Unique Implication Point # org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1995d80 # Learn all clauses as in MiniSAT # claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 # VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function # Expensive reason simplification # Armin Biere (Picosat) restarts strategy # Glucose learned constraints deletion strategy # timeout=280s # DB Simplification allowed=false # --- End Solver configuration --- # Optimization function: misc 2010, trendy # p cnf 41503 183268 # Current objective function value: 462034071196202(6.765s) # Current objective function value: 333039224594116(23.51s) # cleaning 1759 clauses out of 4999 with flag 5000/5000 # Current objective function value: 277429929907230(40.435s) # Current objective function value: 205308363506313(56.281s) # Current objective function value: 171650770051484(66.003s) # Current objective function value: 148861365517263(77.045s) # Current objective function value: 36813103365039(83.647s) # Current objective function value: 11099840660397(86.048s) # Current objective function value: 2945714129321(87.008s) # cleaning 4616 clauses out of 9235 with flag 11000/11000 # cleaning 5805 clauses out of 11616 with flag 18000/18000 # cleaning 6886 clauses out of 13798 with flag 26000/26000 # cleaning 7952 clauses out of 15903 with flag 35001/35001 # cleaning 8968 clauses out of 17938 with flag 45001/45001 # cleaning 9983 clauses out of 19968 with flag 56000/56000 # cleaning 10988 clauses out of 21985 with flag 68000/68000 # cleaning 11949 clauses out of 23997 with flag 81000/81000 # cleaning 12994 clauses out of 26049 with flag 95001/95001 # Trendy criteria value: -14, -537, -32, -896 # Proof: [AbstractVariable: gamin, AbstractVariable: gnome, AbstractVariable: gnome-desktop-environment, AbstractVariable: hevea, AbstractVariable: libbeecrypt6, AbstractVariable: libdirac0, AbstractVariable: libesd-alsa0, AbstractVariable: libgamin0, AbstractVariable: libgd2-xpm, AbstractVariable: libgdict-1.0-6, AbstractVariable: libglib1.2ldbl, AbstractVariable: librpm4.4, AbstractVariable: ocsigen, AbstractVariable: texlive-binaries, AbstractVariable: abiword, AbstractVariable: abiword-plugin-grammar, AbstractVariable: abiword-plugin-mathview, AbstractVariable: advi, AbstractVariable: akonadi-server, AbstractVariable: akregator, AbstractVariable: amarok, AbstractVariable: amor, AbstractVariable: ark, AbstractVariable: bibtex2html, AbstractVariable: blinken, AbstractVariable: bomber, AbstractVariable: bovo, AbstractVariable: camlp4, AbstractVariable: camlp4-extra, AbstractVariable: camlp5, AbstractVariable: capplets-data, AbstractVariable: cervisia, AbstractVariable: coq, AbstractVariable: coq-theories, AbstractVariable: coqide, AbstractVariable: cpp-4.1, AbstractVariable: cron, AbstractVariable: cups, AbstractVariable: dbus-x11, AbstractVariable: debian-keyring, AbstractVariable: devscripts, AbstractVariable: dolphin, AbstractVariable: dpkg, AbstractVariable: dpkg-dev, AbstractVariable: dragonplayer, AbstractVariable: eclipse-jdt, AbstractVariable: eclipse-pde, AbstractVariable: eclipse-platform, AbstractVariable: eclipse-rcp, AbstractVariable: ekiga, AbstractVariable: empathy, AbstractVariable: epiphany-browser, AbstractVariable: epiphany-browser-data, AbstractVariable: epiphany-extensions, AbstractVariable: epiphany-extensions-more, AbstractVariable: epiphany-gecko, AbstractVariable: filelight, AbstractVariable: gcc-4.1, AbstractVariable: gcc-4.1-base, AbstractVariable: gcj-4.3-base, AbstractVariable: gij-4.3, AbstractVariable: gnokii-common, AbstractVariable: gnome-accessibility, AbstractVariable: gnome-app-install, AbstractVariable: gnome-control-center, AbstractVariable: gnome-core, AbstractVariable: gnome-office, AbstractVariable: gnome-power-manager, AbstractVariable: gnome-screensaver, AbstractVariable: gnome-session, AbstractVariable: gnome-settings-daemon, AbstractVariable: gnome-utils, AbstractVariable: gnucash, AbstractVariable: gnucash-common, AbstractVariable: gnumeric, AbstractVariable: gnumeric-common, AbstractVariable: google-gadgets-common, AbstractVariable: google-gadgets-gst, AbstractVariable: google-gadgets-qt, AbstractVariable: google-gadgets-xul, AbstractVariable: graphviz, AbstractVariable: gstreamer0.10-plugins-bad, AbstractVariable: gwenview, AbstractVariable: hlins, AbstractVariable: iceweasel, AbstractVariable: indi, AbstractVariable: juk, AbstractVariable: k3b, AbstractVariable: k3b-data, AbstractVariable: kaddressbook, AbstractVariable: kalarm, AbstractVariable: kalgebra, AbstractVariable: kalzium, AbstractVariable: kamera, AbstractVariable: kanagram, AbstractVariable: kapman, AbstractVariable: kappfinder, AbstractVariable: kapptemplate, AbstractVariable: kate, AbstractVariable: katomic, AbstractVariable: kbattleship, AbstractVariable: kblackbox, AbstractVariable: kblocks, AbstractVariable: kbounce, AbstractVariable: kbreakout, AbstractVariable: kbruch, AbstractVariable: kbugbuster, AbstractVariable: kcachegrind, AbstractVariable: kcalc, AbstractVariable: kcharselect, AbstractVariable: kcolorchooser, AbstractVariable: kcron, AbstractVariable: kde-full, AbstractVariable: kde-minimal, AbstractVariable: kde-window-manager, AbstractVariable: kdeaccessibility, AbstractVariable: kdeadmin, AbstractVariable: kdeartwork, AbstractVariable: kdeartwork-style, AbstractVariable: kdebase, AbstractVariable: kdebase-bin, AbstractVariable: kdebase-data, AbstractVariable: kdebase-runtime, AbstractVariable: kdebase-runtime-data, AbstractVariable: kdebase-workspace, AbstractVariable: kdebase-workspace-bin, AbstractVariable: kdebase-workspace-data, AbstractVariable: kdebase-workspace-kgreet-plugins, AbstractVariable: kdeedu, AbstractVariable: kdeedu-kvtml-data, AbstractVariable: kdegames, AbstractVariable: kdegraphics, AbstractVariable: kdegraphics-strigi-plugins, AbstractVariable: kdelibs-bin, AbstractVariable: kdelibs5, AbstractVariable: kdelibs5-data, AbstractVariable: kdemultimedia, AbstractVariable: kdemultimedia-kio-plugins, AbstractVariable: kdenetwork, AbstractVariable: kdenetwork-filesharing, AbstractVariable: kdepasswd, AbstractVariable: kdepim, AbstractVariable: kdepim-groupware, AbstractVariable: kdepim-kresources, AbstractVariable: kdepim-strigi-plugins, AbstractVariable: kdepim-wizards, AbstractVariable: kdepimlibs5, AbstractVariable: kdeplasma-addons, AbstractVariable: kdesdk, AbstractVariable: kdesdk-kio-plugins, AbstractVariable: kdesdk-misc, AbstractVariable: kdesdk-strigi-plugins, AbstractVariable: kdessh, AbstractVariable: kdetoys, AbstractVariable: kdeutils, AbstractVariable: kdewebdev, AbstractVariable: kdf, AbstractVariable: kdiamond, AbstractVariable: kdiff3, AbstractVariable: kdm, AbstractVariable: kfilereplace, AbstractVariable: kfind, AbstractVariable: kfloppy, AbstractVariable: kfourinline, AbstractVariable: kgamma, AbstractVariable: kgeography, AbstractVariable: kget, AbstractVariable: kgoldrunner, AbstractVariable: kgpg, AbstractVariable: khangman, AbstractVariable: khelpcenter4, AbstractVariable: kig, AbstractVariable: kile, AbstractVariable: killbots, AbstractVariable: kimagemapeditor, AbstractVariable: kiriki, AbstractVariable: kiten, AbstractVariable: kjots, AbstractVariable: kjumpingcube, AbstractVariable: kleopatra, AbstractVariable: klettres, AbstractVariable: klines, AbstractVariable: klinkstatus, AbstractVariable: klipper, AbstractVariable: kmag, AbstractVariable: kmahjongg, AbstractVariable: kmail, AbstractVariable: kmines, AbstractVariable: kmix, AbstractVariable: kmousetool, AbstractVariable: kmouth, AbstractVariable: kmplot, AbstractVariable: kmtrace, AbstractVariable: knetwalk, AbstractVariable: knetworkconf, AbstractVariable: knode, AbstractVariable: knotes, AbstractVariable: kolf, AbstractVariable: kollision, AbstractVariable: kolourpaint4, AbstractVariable: kommander, AbstractVariable: kompare, AbstractVariable: konqueror, AbstractVariable: konqueror-nsplugins, AbstractVariable: konquest, AbstractVariable: konsole, AbstractVariable: konsolekalendar, AbstractVariable: kontact, AbstractVariable: kopete, AbstractVariable: korganizer, AbstractVariable: kpackage, AbstractVariable: kpartloader, AbstractVariable: kpat, AbstractVariable: kpilot, AbstractVariable: kppp, AbstractVariable: krdc, AbstractVariable: kreversi, AbstractVariable: krfb, AbstractVariable: kruler, AbstractVariable: ksame, AbstractVariable: kscd, AbstractVariable: kscreensaver, AbstractVariable: kscreensaver-xsavers, AbstractVariable: kshisen, AbstractVariable: ksirk, AbstractVariable: ksnapshot, AbstractVariable: kspaceduel, AbstractVariable: ksquares, AbstractVariable: kstars, AbstractVariable: ksudoku, AbstractVariable: ksysguard, AbstractVariable: ksystemlog, AbstractVariable: kteatime, AbstractVariable: ktimer, AbstractVariable: ktimetracker, AbstractVariable: ktorrent, AbstractVariable: ktouch, AbstractVariable: kttsd, AbstractVariable: ktuberling, AbstractVariable: kturtle, AbstractVariable: ktux, AbstractVariable: kubrick, AbstractVariable: kuiviewer, AbstractVariable: kuser, AbstractVariable: kwalletmanager, AbstractVariable: kweather, AbstractVariable: kwordquiz, AbstractVariable: kwrite, AbstractVariable: kxsldbg, AbstractVariable: latex-cjk-all, AbstractVariable: latex-cjk-chinese, AbstractVariable: latex-cjk-chinese-arphic-bkai00mp, AbstractVariable: latex-cjk-chinese-arphic-bsmi00lp, AbstractVariable: latex-cjk-chinese-arphic-gbsn00lp, AbstractVariable: latex-cjk-chinese-arphic-gkai00mp, AbstractVariable: latex-cjk-common, AbstractVariable: latex-cjk-japanese, AbstractVariable: latex-cjk-japanese-wadalab, AbstractVariable: latex-cjk-korean, AbstractVariable: latex-cjk-thai, AbstractVariable: latex-cjk-xcjk, AbstractVariable: latex-make, AbstractVariable: ledit, AbstractVariable: libbin-prot-camlp4-dev, AbstractVariable: libbz2-ocaml, AbstractVariable: libbz2-ocaml-dev, AbstractVariable: libcairo2, AbstractVariable: libcairo2-dev, AbstractVariable: libcalendar-ocaml, AbstractVariable: libcalendar-ocaml-dev, AbstractVariable: libcf-ocaml, AbstractVariable: libcf-ocaml-dev, AbstractVariable: libcore-ocaml, AbstractVariable: libcore-ocaml-dev, AbstractVariable: libcryptgps-ocaml-dev, AbstractVariable: libcryptokit-ocaml, AbstractVariable: libcryptokit-ocaml-dev, AbstractVariable: libdirectfb-dev, AbstractVariable: libdirectfb-extra, AbstractVariable: libdose2-ocaml, AbstractVariable: libdose2-ocaml-dev, AbstractVariable: libempathy-common, AbstractVariable: libempathy-gtk-common, AbstractVariable: libexpat-ocaml, AbstractVariable: libexpat-ocaml-dev, AbstractVariable: libextlib-ocaml, AbstractVariable: libextlib-ocaml-dev, AbstractVariable: libfindlib-ocaml, AbstractVariable: libfindlib-ocaml-dev, AbstractVariable: libgcj9-0, AbstractVariable: libgcj9-jar, AbstractVariable: libgd-tools, AbstractVariable: libgdl-1-0, AbstractVariable: libgl1-mesa-dev, AbstractVariable: libgl1-mesa-dri, AbstractVariable: libgl1-mesa-glx, AbstractVariable: libglib1.2-dev, AbstractVariable: libgnome-window-settings1, AbstractVariable: libgtk1.2, AbstractVariable: libgtk2.0-cil, AbstractVariable: libjson-static-camlp4-dev, AbstractVariable: libjson-wheel-ocaml-dev, AbstractVariable: libkabcommon4, AbstractVariable: libkcddb4, AbstractVariable: libkdb5-4, AbstractVariable: libkde4-ruby1.8, AbstractVariable: libkdecorations4, AbstractVariable: libkdeedu4, AbstractVariable: libkdegames5, AbstractVariable: libkdepim4, AbstractVariable: libkexiv2-7, AbstractVariable: libkipi6, AbstractVariable: libkiten4, AbstractVariable: libkleo4, AbstractVariable: libkonq5, AbstractVariable: libkonqsidebarplugin4, AbstractVariable: libkontactinterfaces4, AbstractVariable: libkopete4, AbstractVariable: libkpgp4, AbstractVariable: libkrb5-dev, AbstractVariable: libkrb53, AbstractVariable: libksane0, AbstractVariable: libksieve4, AbstractVariable: libkwineffects1, AbstractVariable: liblablgl-ocaml, AbstractVariable: liblablgtk2-ocaml, AbstractVariable: liblablgtk2-ocaml-dev, AbstractVariable: liblancelot0, AbstractVariable: libledit-ocaml-dev, AbstractVariable: libmaildir4, AbstractVariable: libmarble4, AbstractVariable: libmimelib4, AbstractVariable: libmysql-ocaml, AbstractVariable: libnethttpd-ocaml-dev, AbstractVariable: libocamlgraph-ocaml-dev, AbstractVariable: libocamlnet-gtk2-ocaml-dev, AbstractVariable: libocamlnet-ocaml, AbstractVariable: libocamlnet-ocaml-dev, AbstractVariable: libokularcore1, AbstractVariable: libounit-ocaml-dev, AbstractVariable: libpango1.0-0, AbstractVariable: libpango1.0-dev, AbstractVariable: libpcre-ocaml, AbstractVariable: libpcre-ocaml-dev, AbstractVariable: libplasma-ruby1.8, AbstractVariable: libplasma3, AbstractVariable: libpostgresql-ocaml, AbstractVariable: libpostgresql-ocaml-dev, AbstractVariable: libqt4-ruby1.8, AbstractVariable: libqtruby4shared2, AbstractVariable: libreadline5, AbstractVariable: libreadline5-dev, AbstractVariable: libres-ocaml-dev, AbstractVariable: libruby1.8, AbstractVariable: libsdl-ocaml, AbstractVariable: libsdl1.2-dev, AbstractVariable: libsdl1.2debian, AbstractVariable: libsdl1.2debian-alsa, AbstractVariable: libsexplib-camlp4-dev, AbstractVariable: libsmokekde4-2, AbstractVariable: libsmokeplasma2, AbstractVariable: libsmokeqt4-2, AbstractVariable: libsox-fmt-alsa, AbstractVariable: libsox-fmt-base, AbstractVariable: libsplashy1, AbstractVariable: libsqlite3-ocaml, AbstractVariable: libsqlite3-ocaml-dev, AbstractVariable: libtag1-vanilla, AbstractVariable: libtag1c2a, AbstractVariable: libtagc0, AbstractVariable: libtype-conv-camlp4-dev, AbstractVariable: libxine1, AbstractVariable: libxine1-bin, AbstractVariable: libxine1-console, AbstractVariable: libxine1-ffmpeg, AbstractVariable: libxine1-gnome, AbstractVariable: libxine1-misc-plugins, AbstractVariable: libxine1-x, AbstractVariable: libxml-libxml-perl, AbstractVariable: libxml-light-ocaml-dev, AbstractVariable: libxmlm-ocaml-dev, AbstractVariable: libxmmsclient-glib1, AbstractVariable: libzip-ocaml, AbstractVariable: libzip-ocaml-dev, AbstractVariable: lmodern, AbstractVariable: lokalize, AbstractVariable: lskat, AbstractVariable: luatex, AbstractVariable: marble, AbstractVariable: mesa-common-dev, AbstractVariable: mysql-server, AbstractVariable: nautilus, AbstractVariable: nautilus-data, AbstractVariable: network-manager, AbstractVariable: network-manager-kde, AbstractVariable: ocaml, AbstractVariable: ocaml-base, AbstractVariable: ocaml-base-nox, AbstractVariable: ocaml-compiler-libs, AbstractVariable: ocaml-findlib-wizard, AbstractVariable: ocaml-interp, AbstractVariable: ocaml-native-compilers, AbstractVariable: ocaml-nox, AbstractVariable: odbcinst, AbstractVariable: okteta, AbstractVariable: okular, AbstractVariable: parley, AbstractVariable: plasma-dataengines-addons, AbstractVariable: plasma-dataengines-workspace, AbstractVariable: plasma-runners-addons, AbstractVariable: plasma-scriptengine-googlegadgets, AbstractVariable: plasma-scriptengine-javascript, AbstractVariable: plasma-scriptengine-qedje, AbstractVariable: plasma-scriptengine-superkaramba, AbstractVariable: plasma-scriptengine-webkit, AbstractVariable: plasma-scriptengines, AbstractVariable: plasma-widget-folderview, AbstractVariable: plasma-widget-lancelot, AbstractVariable: plasma-widgets-addons, AbstractVariable: plasma-widgets-workspace, AbstractVariable: python-eggtrayicon, AbstractVariable: python-evolution, AbstractVariable: python-gdl, AbstractVariable: python-gksu2, AbstractVariable: python-gtkhtml2, AbstractVariable: python-gtkmozembed, AbstractVariable: python-gtkspell, AbstractVariable: python-kde3, AbstractVariable: python-kde4, AbstractVariable: python-qt3, AbstractVariable: python-qt3-gl, AbstractVariable: python-qt4, AbstractVariable: python-sip4, AbstractVariable: python-twisted-core, AbstractVariable: ruby1.8, AbstractVariable: scilab-bin, AbstractVariable: sox, AbstractVariable: step, AbstractVariable: sweeper, AbstractVariable: systemsettings, AbstractVariable: tex-common, AbstractVariable: texlive-base, AbstractVariable: texlive-base-bin, AbstractVariable: texlive-base-bin-doc, AbstractVariable: texlive-bibtex-extra, AbstractVariable: texlive-common, AbstractVariable: texlive-doc-base, AbstractVariable: texlive-extra-utils, AbstractVariable: texlive-font-utils, AbstractVariable: texlive-fonts-extra, AbstractVariable: texlive-fonts-extra-doc, AbstractVariable: texlive-fonts-recommended, AbstractVariable: texlive-fonts-recommended-doc, AbstractVariable: texlive-generic-extra, AbstractVariable: texlive-generic-recommended, AbstractVariable: texlive-humanities, AbstractVariable: texlive-humanities-doc, AbstractVariable: texlive-lang-croatian, AbstractVariable: texlive-lang-cyrillic, AbstractVariable: texlive-lang-czechslovak, AbstractVariable: texlive-lang-danish, AbstractVariable: texlive-lang-dutch, AbstractVariable: texlive-lang-finnish, AbstractVariable: texlive-lang-french, AbstractVariable: texlive-lang-german, AbstractVariable: texlive-lang-greek, AbstractVariable: texlive-lang-hungarian, AbstractVariable: texlive-lang-italian, AbstractVariable: texlive-lang-latin, AbstractVariable: texlive-lang-mongolian, AbstractVariable: texlive-lang-norwegian, AbstractVariable: texlive-lang-other, AbstractVariable: texlive-lang-polish, AbstractVariable: texlive-lang-portuguese, AbstractVariable: texlive-lang-spanish, AbstractVariable: texlive-lang-swedish, AbstractVariable: texlive-lang-vietnamese, AbstractVariable: texlive-latex-base, AbstractVariable: texlive-latex-base-doc, AbstractVariable: texlive-latex-extra, AbstractVariable: texlive-latex-extra-doc, AbstractVariable: texlive-latex-recommended, AbstractVariable: texlive-latex-recommended-doc, AbstractVariable: texlive-math-extra, AbstractVariable: texlive-pictures, AbstractVariable: texlive-pictures-doc, AbstractVariable: texlive-pstricks, AbstractVariable: texlive-pstricks-doc, AbstractVariable: texlive-publishers, AbstractVariable: texlive-publishers-doc, AbstractVariable: texlive-science, AbstractVariable: texlive-science-doc, AbstractVariable: texlive-xetex, AbstractVariable: tipa, AbstractVariable: umbrello, AbstractVariable: unixodbc, AbstractVariable: update-manager-core, AbstractVariable: uswsusp, AbstractVariable: vde2, AbstractVariable: x11-common, AbstractVariable: xgnokii, AbstractVariable: xmms2, AbstractVariable: xmms2-client-cli, AbstractVariable: xmms2-core, AbstractVariable: xmms2-plugin-alsa, AbstractVariable: xmms2-plugin-id3v2, AbstractVariable: xmms2-plugin-mad, AbstractVariable: xmms2-plugin-vorbis, AbstractVariable: xnest, AbstractVariable: xserver-xephyr, AbstractVariable: xserver-xorg, AbstractVariable: xserver-xorg-core, AbstractVariable: xserver-xorg-input-evdev, AbstractVariable: xserver-xorg-input-kbd, AbstractVariable: xserver-xorg-input-mouse, AbstractVariable: xserver-xorg-input-synaptics, AbstractVariable: xserver-xorg-input-wacom, AbstractVariable: xserver-xorg-video-apm, AbstractVariable: xserver-xorg-video-ark, AbstractVariable: xserver-xorg-video-ati, AbstractVariable: xserver-xorg-video-chips, AbstractVariable: xserver-xorg-video-cirrus, AbstractVariable: xserver-xorg-video-dummy, AbstractVariable: xserver-xorg-video-fbdev, AbstractVariable: xserver-xorg-video-glint, AbstractVariable: xserver-xorg-video-i128, AbstractVariable: xserver-xorg-video-i740, AbstractVariable: xserver-xorg-video-intel, AbstractVariable: xserver-xorg-video-mach64, AbstractVariable: xserver-xorg-video-mga, AbstractVariable: xserver-xorg-video-neomagic, AbstractVariable: xserver-xorg-video-nv, AbstractVariable: xserver-xorg-video-openchrome, AbstractVariable: xserver-xorg-video-r128, AbstractVariable: xserver-xorg-video-radeon, AbstractVariable: xserver-xorg-video-radeonhd, AbstractVariable: xserver-xorg-video-rendition, AbstractVariable: xserver-xorg-video-s3, AbstractVariable: xserver-xorg-video-s3virge, AbstractVariable: xserver-xorg-video-savage, AbstractVariable: xserver-xorg-video-siliconmotion, AbstractVariable: xserver-xorg-video-sis, AbstractVariable: xserver-xorg-video-sisusb, AbstractVariable: xserver-xorg-video-tdfx, AbstractVariable: xserver-xorg-video-tga, AbstractVariable: xserver-xorg-video-trident, AbstractVariable: xserver-xorg-video-tseng, AbstractVariable: xserver-xorg-video-v4l, AbstractVariable: xserver-xorg-video-vesa, AbstractVariable: xserver-xorg-video-vmware, AbstractVariable: xserver-xorg-video-voodoo, AbstractVariable: 10284430, AbstractVariable: 31401995, AbstractVariable: 20698484, AbstractVariable: 27789929, AbstractVariable: 12621140, AbstractVariable: 16949413, AbstractVariable: 16987216, AbstractVariable: 5834000, AbstractVariable: 5991680, AbstractVariable: 4311415, AbstractVariable: 15613422, AbstractVariable: 7584802, AbstractVariable: 22402238, AbstractVariable: 9189847, AbstractVariable: 30261648, AbstractVariable: 3996331, AbstractVariable: 13766827, AbstractVariable: 27260527, AbstractVariable: 29548899, AbstractVariable: 22387624, AbstractVariable: 16460484, AbstractVariable: 26848924, AbstractVariable: 13517260, AbstractVariable: 4206097, AbstractVariable: 17205004, AbstractVariable: 17981873, AbstractVariable: 31667671, AbstractVariable: 10749831, AbstractVariable: 31632757, AbstractVariable: 22905039, AbstractVariable: 18661065, AbstractVariable: 21728476, AbstractVariable: 9base, AbstractVariable: 9menu, AbstractVariable: a2ps, AbstractVariable: af, AbstractVariable: amarok-engine-yauap, AbstractVariable: amarok-engines, AbstractVariable: amiwm, AbstractVariable: anjuta, AbstractVariable: anjuta-common, AbstractVariable: antlr3, AbstractVariable: antlr3-gcj, AbstractVariable: aolserver4-core, AbstractVariable: aolserver4-daemon, AbstractVariable: aolserver4-doc, AbstractVariable: aptdaemon, AbstractVariable: aqbanking16-qt-wizard, AbstractVariable: artsbuilder, AbstractVariable: aterm-ml, AbstractVariable: audacious, AbstractVariable: audacious-plugins, AbstractVariable: audacious-plugins-extra, AbstractVariable: aumix-common, AbstractVariable: aumix-gtk, AbstractVariable: autogen, AbstractVariable: autopoint, AbstractVariable: avahi-utils, AbstractVariable: balsa, AbstractVariable: baobab, AbstractVariable: bcc, AbstractVariable: bcron, AbstractVariable: bin86, AbstractVariable: bluez, AbstractVariable: bluez-alsa, AbstractVariable: bluez-cups, AbstractVariable: bluez-gstreamer, AbstractVariable: bzr, AbstractVariable: bzrtools, AbstractVariable: ca-certificates-java, AbstractVariable: caudium, AbstractVariable: caudium-modules, AbstractVariable: caudium-pixsl, AbstractVariable: caudium-ultralog, AbstractVariable: cherokee, AbstractVariable: citadel-server, AbstractVariable: cl-asdf, AbstractVariable: clamav, AbstractVariable: clamav-base, AbstractVariable: clamav-data, AbstractVariable: claws-mail, AbstractVariable: claws-mail-i18n, AbstractVariable: clisp, AbstractVariable: cmucl, AbstractVariable: common-lisp-controller, AbstractVariable: conkeror, AbstractVariable: conkeror-spawn-process-helper, AbstractVariable: cpp-3.3, AbstractVariable: cpp-4.4, AbstractVariable: crafty, AbstractVariable: crafty-books-small, AbstractVariable: cups-ppdc, AbstractVariable: db4.6-util, AbstractVariable: devhelp, AbstractVariable: devhelp-common, AbstractVariable: device3dfx-source, AbstractVariable: diffutils, AbstractVariable: dkms, AbstractVariable: docbook-defguide, AbstractVariable: docbook-xsl-doc-text, AbstractVariable: dracut, AbstractVariable: dwm, AbstractVariable: dwm-tools, AbstractVariable: e16, AbstractVariable: e16-data, AbstractVariable: ecj, AbstractVariable: ecj-gcj, AbstractVariable: egroupware-egw-pear, AbstractVariable: elks-libc, AbstractVariable: erlang-base, AbstractVariable: erlang-crypto, AbstractVariable: erlang-syntax-tools, AbstractVariable: ethtool, AbstractVariable: evince-common, AbstractVariable: exfalso, AbstractVariable: exiftran, AbstractVariable: exo-utils, AbstractVariable: fairymax, AbstractVariable: fancontrol, AbstractVariable: fastjar, AbstractVariable: festival-hi, AbstractVariable: festival-mr, AbstractVariable: festival-te, AbstractVariable: festlex-ifd, AbstractVariable: festvox-hi-nsk, AbstractVariable: festvox-italp16k, AbstractVariable: festvox-itapc16k, AbstractVariable: festvox-mr-nsk, AbstractVariable: festvox-suopuhe-common, AbstractVariable: festvox-suopuhe-lj, AbstractVariable: festvox-suopuhe-mv, AbstractVariable: festvox-te-nsk, AbstractVariable: fgetty, AbstractVariable: firebird2.5-common, AbstractVariable: firebird2.5-common-doc, AbstractVariable: firmware-linux-free, AbstractVariable: flwm, AbstractVariable: fortune-mod, AbstractVariable: fortunes, AbstractVariable: fortunes-debian-hints, AbstractVariable: fortunes-min, AbstractVariable: fortunes-off, AbstractVariable: freedesktop-sound-theme, AbstractVariable: freemind-doc, AbstractVariable: fvwm, AbstractVariable: fvwm-icons, AbstractVariable: g++-4.4, AbstractVariable: g-wrap, AbstractVariable: gappletviewer-4.3, AbstractVariable: gaupol, AbstractVariable: gcc-3.3, AbstractVariable: gcc-3.3-base, AbstractVariable: gcc-4.4, AbstractVariable: gcj-4.1, AbstractVariable: gcj-4.1-base, AbstractVariable: gcj-4.2, AbstractVariable: gcj-4.2-base, AbstractVariable: gcj-4.3, AbstractVariable: gcj-4.4-base, AbstractVariable: gcj-4.4-jre-headless, AbstractVariable: gcj-4.4-jre-lib, AbstractVariable: gcompris-sound-ar, AbstractVariable: gcompris-sound-bg, AbstractVariable: gcompris-sound-br, AbstractVariable: gcompris-sound-cs, AbstractVariable: gcompris-sound-da, AbstractVariable: gcompris-sound-de, AbstractVariable: gcompris-sound-el, AbstractVariable: gcompris-sound-eo, AbstractVariable: gcompris-sound-es, AbstractVariable: gcompris-sound-eu, AbstractVariable: gcompris-sound-fi, AbstractVariable: gcompris-sound-fr, AbstractVariable: gcompris-sound-he, AbstractVariable: gcompris-sound-hi, AbstractVariable: gcompris-sound-hu, AbstractVariable: gcompris-sound-id, AbstractVariable: gcompris-sound-it, AbstractVariable: gcompris-sound-mr, AbstractVariable: gcompris-sound-nb, AbstractVariable: gcompris-sound-nl, AbstractVariable: gcompris-sound-nn, AbstractVariable: gcompris-sound-pa, AbstractVariable: gcompris-sound-pt, AbstractVariable: gcompris-sound-ptbr, AbstractVariable: gcompris-sound-ru, AbstractVariable: gcompris-sound-so, AbstractVariable: gcompris-sound-sr, AbstractVariable: gcompris-sound-sv, AbstractVariable: gcompris-sound-tr, AbstractVariable: gcompris-sound-ur, AbstractVariable: gcompris-sound-zhcn, AbstractVariable: gdbserver, AbstractVariable: gdebi, AbstractVariable: gdebi-core, AbstractVariable: geeqie, AbstractVariable: geeqie-common, AbstractVariable: geeqie-gps, AbstractVariable: gfortran-4.4, AbstractVariable: gij-4.1, AbstractVariable: gij-4.2, AbstractVariable: git, AbstractVariable: gnash-common, AbstractVariable: gnome-audio, AbstractVariable: gnome-cups-manager, AbstractVariable: gnome-keyring-manager, AbstractVariable: gnome-session-canberra, AbstractVariable: gnupg-curl, AbstractVariable: gnus, AbstractVariable: gnustep-base-common, AbstractVariable: gnustep-base-runtime, AbstractVariable: gnustep-common, AbstractVariable: gnustep-gui-common, AbstractVariable: gnustep-ppd, AbstractVariable: grub-pc, AbstractVariable: gstreamer0.10-esd, AbstractVariable: gstreamer0.10-fluendo-mp3, AbstractVariable: gstreamer0.10-plugins-base-dbg, AbstractVariable: gstreamer0.10-plugins-good-dbg, AbstractVariable: gstreamer0.10-plugins-ugly-dbg, AbstractVariable: gstreamer0.10-pulseaudio, AbstractVariable: gtk2-engines-xfce, AbstractVariable: guile-library, AbstractVariable: gutenprint-locales, AbstractVariable: hplip-cups, AbstractVariable: hplip-gui, AbstractVariable: hyperestraier, AbstractVariable: icedtea-6-jre-cacao, AbstractVariable: icewm-common, AbstractVariable: idn, AbstractVariable: indent, AbstractVariable: insserv, AbstractVariable: intltool, AbstractVariable: ion3, AbstractVariable: ipsvd, AbstractVariable: jackd-firewire, AbstractVariable: java-gcj-compat, AbstractVariable: java-gcj-compat-dev, AbstractVariable: java-gcj-compat-headless, AbstractVariable: java-package, AbstractVariable: jed-common, AbstractVariable: jed-extra, AbstractVariable: kaboodle, AbstractVariable: kbabel, AbstractVariable: kbibtex, AbstractVariable: kbstate, AbstractVariable: kbuild, AbstractVariable: kdebase-kio-plugins, AbstractVariable: kdeeject, AbstractVariable: kdnssd, AbstractVariable: kexi, AbstractVariable: koffice-data, AbstractVariable: koffice-doc-html, AbstractVariable: koffice-libs, AbstractVariable: ksayit, AbstractVariable: ksirc, AbstractVariable: kspread, AbstractVariable: ktalkd, AbstractVariable: kterm, AbstractVariable: kword, AbstractVariable: kword-data, AbstractVariable: lam-runtime, AbstractVariable: laptop-mode-tools, AbstractVariable: libaccess-bridge-java, AbstractVariable: libaccess-bridge-java-jni, AbstractVariable: libacr38u, AbstractVariable: libanjuta0, AbstractVariable: libanthy0, AbstractVariable: libao-common, AbstractVariable: libao4, AbstractVariable: libaqbanking-plugins-libgwenhywfar38, AbstractVariable: libaqbanking16, AbstractVariable: libaqbanking29, AbstractVariable: libaqbanking29-plugins, AbstractVariable: libaqbanking29-plugins-qt, AbstractVariable: libaqhbci10, AbstractVariable: libaqhbci17, AbstractVariable: libaqofxconnect5, AbstractVariable: libarchive-zip-perl, AbstractVariable: libarts1-mpeglib, AbstractVariable: libarts1-xine, AbstractVariable: libasn1-8-heimdal, AbstractVariable: libasound2-plugins, AbstractVariable: libass4, AbstractVariable: libasync-interrupt-perl, AbstractVariable: libatasmart4, AbstractVariable: libatk1.0-doc, AbstractVariable: libaudclient2, AbstractVariable: libaudcore1, AbstractVariable: libaudid3tag2, AbstractVariable: libaudutil1, AbstractVariable: libavfilter1, AbstractVariable: libbg1, AbstractVariable: libbg1-doc, AbstractVariable: libbind9-60, AbstractVariable: libbinio1ldbl, AbstractVariable: libbluetooth3, AbstractVariable: libboost-date-time1.40.0, AbstractVariable: libboost-iostreams1.40.0, AbstractVariable: libboost-program-options1.40.0, AbstractVariable: libboost-regex1.40.0, AbstractVariable: libboost-thread1.40.0, AbstractVariable: libburn4, AbstractVariable: libc-bin, AbstractVariable: libc-dev-bin, AbstractVariable: libc6-dbg, AbstractVariable: libc6-xen, AbstractVariable: libcache-perl, AbstractVariable: libcap-ng0, AbstractVariable: libcap1, AbstractVariable: libcap2-bin, AbstractVariable: libccid, AbstractVariable: libcddb2, AbstractVariable: libcgi-formbuilder-perl, AbstractVariable: libcgi-session-perl, AbstractVariable: libchamplain-0.4-0, AbstractVariable: libchamplain-gtk-0.4-0, AbstractVariable: libcherokee-base0, AbstractVariable: libcherokee-client0, AbstractVariable: libcherokee-config0, AbstractVariable: libcherokee-mod-admin, AbstractVariable: libcherokee-server0, AbstractVariable: libchipcard2-0c2, AbstractVariable: libchipcard2-data, AbstractVariable: libchipcard2-libgwenhywfar38-plugins, AbstractVariable: libcitadel2, AbstractVariable: libclamav6, AbstractVariable: libclass-errorhandler-perl, AbstractVariable: libclutter-1.0-0, AbstractVariable: libclutter-gtk-0.10-0, AbstractVariable: libcolamd2.7.1, AbstractVariable: libcommon-sense-perl, AbstractVariable: libcommons-compress-java, AbstractVariable: libcommons-lang-java, AbstractVariable: libcrypt-dh-perl, AbstractVariable: libcucul-dev, AbstractVariable: libcvsservice0, AbstractVariable: libcxxtools6, AbstractVariable: libdb4.6-java-gcj, AbstractVariable: libdevhelp-1-1, AbstractVariable: libdevice-serialport-perl, AbstractVariable: libdevkit-power-gobject1, AbstractVariable: libdigest-hmac-perl, AbstractVariable: libdirectfb-0.9-25, AbstractVariable: libdiscid0, AbstractVariable: libdmraid1.0.0.rc16, AbstractVariable: libdns64, AbstractVariable: libdvdread3, AbstractVariable: libeel2-2.20, AbstractVariable: libeel2-data, AbstractVariable: libeggdbus-1-0, AbstractVariable: libeina-svn-05, AbstractVariable: libesmtp5, AbstractVariable: libestraier8, AbstractVariable: libetpan13, AbstractVariable: libevince1, AbstractVariable: libexcalibur-logkit-java, AbstractVariable: libexiv2-0.10, AbstractVariable: libexiv2-4, AbstractVariable: libexiv2-6, AbstractVariable: libexo-0.3-0, AbstractVariable: libexo-common, AbstractVariable: libextutils-cbuilder-perl, AbstractVariable: libextutils-parsexs-perl, AbstractVariable: libfbclient2, AbstractVariable: libfcgi0ldbl, AbstractVariable: libffado2, AbstractVariable: libffcall1, AbstractVariable: libfile-copy-recursive-perl, AbstractVariable: libfile-nfslock-perl, AbstractVariable: libfltk1.1, AbstractVariable: libfluidsynth1, AbstractVariable: libfont-freetype-perl, AbstractVariable: libftgl2, AbstractVariable: libgail-dbg, AbstractVariable: libgail-dev, AbstractVariable: libgammu7, AbstractVariable: libgcj10, AbstractVariable: libgcj7-0, AbstractVariable: libgcj7-awt, AbstractVariable: libgcj7-dev, AbstractVariable: libgcj7-jar, AbstractVariable: libgcj8-1-awt, AbstractVariable: libgcj8-dev, AbstractVariable: libgcj8-jar, AbstractVariable: libgcj9-0-awt, AbstractVariable: libgcj9-dev, AbstractVariable: libgcj9-src, AbstractVariable: libgconfmm-2.6-1c2, AbstractVariable: libgda-4.0-4, AbstractVariable: libgda-4.0-common, AbstractVariable: libgda3-3, AbstractVariable: libgda3-bin, AbstractVariable: libgda3-common, AbstractVariable: libgda3-sqlite, AbstractVariable: libgdata-common, AbstractVariable: libgdata6, AbstractVariable: libgdl-1-3, AbstractVariable: libgdu0, AbstractVariable: libgeronimo-jms-1.1-spec-java, AbstractVariable: libgetopt-java, AbstractVariable: libggiwmh0, AbstractVariable: libggiwmh0-target-x, AbstractVariable: libggzcore7, AbstractVariable: libglademm-2.4-1c2a, AbstractVariable: libgladeui-1-9, AbstractVariable: libglc0, AbstractVariable: libglib2.0-doc, AbstractVariable: libgme0, AbstractVariable: libgmime-2.4-2, AbstractVariable: libgmime2.4-cil, AbstractVariable: libgnome-bluetooth7, AbstractVariable: libgnome-desktop-2, AbstractVariable: libgnomecupsui1.0-1c2a, AbstractVariable: libgnomedb3-4, AbstractVariable: libgnomedb3-bin, AbstractVariable: libgnomedb3-common, AbstractVariable: libgnomekbd4, AbstractVariable: libgnu-regexp-java, AbstractVariable: libgnustep-base1.16, AbstractVariable: libgnustep-base1.19, AbstractVariable: libgoffice-0-6, AbstractVariable: libgoffice-0-6-common, AbstractVariable: libgpgme6, AbstractVariable: libgpod0, AbstractVariable: libgraphicsmagick1, AbstractVariable: libgraphicsmagick3, AbstractVariable: libgraphite3, AbstractVariable: libgsasl7, AbstractVariable: libgsf-1-114-dbg, AbstractVariable: libgsf-gnome-1-114-dbg, AbstractVariable: libgsmsd7, AbstractVariable: libgssdp-1.0-2, AbstractVariable: libgstreamer0.10-0-dbg, AbstractVariable: libgtk2.0-0-dbg, AbstractVariable: libgtk2.0-doc, AbstractVariable: libgtkimageview0, AbstractVariable: libgudev-1.0-0, AbstractVariable: libgupnp-1.0-3, AbstractVariable: libgupnp-igd-1.0-3, AbstractVariable: libgutenprintui2-1, AbstractVariable: libgwenhywfar-data, AbstractVariable: libgwenhywfar38, AbstractVariable: libhdf5-mpich-1.8.4, AbstractVariable: libheap-perl, AbstractVariable: libhogweed1, AbstractVariable: libhpmud0, AbstractVariable: libhubbub0, AbstractVariable: libhx509-5-heimdal, AbstractVariable: libicu42, AbstractVariable: libicu4j-java, AbstractVariable: libimobiledevice0, AbstractVariable: libiodbc2, AbstractVariable: libisc60, AbstractVariable: libisccc60, AbstractVariable: libisccfg60, AbstractVariable: libiso9660-7, AbstractVariable: libisofs6, AbstractVariable: libiw30, AbstractVariable: libjaxen-java, AbstractVariable: libjdom-java, AbstractVariable: libjdom1-java, AbstractVariable: libjgoodies-forms-java, AbstractVariable: libjgraphx-java, AbstractVariable: libjhdf5-java, AbstractVariable: libjhdf5-jni, AbstractVariable: libjibx1.1-java, AbstractVariable: libjlatexmath-java, AbstractVariable: libjpeg8, AbstractVariable: libjs-mootools, AbstractVariable: libjson-perl, AbstractVariable: libjson-xs-perl, AbstractVariable: libkadm55, AbstractVariable: libkate1, AbstractVariable: libkcal2b, AbstractVariable: libkdepim1a, AbstractVariable: libkrb5-26-heimdal, AbstractVariable: libkscan1, AbstractVariable: libktnef1, AbstractVariable: liblam4, AbstractVariable: liblash2, AbstractVariable: liblog-any-perl, AbstractVariable: liblog4cxx10, AbstractVariable: liblouis-data, AbstractVariable: liblouis2, AbstractVariable: libltdl-dev, AbstractVariable: liblwres60, AbstractVariable: liblzma2, AbstractVariable: libm17n-0, AbstractVariable: libmagick++3, AbstractVariable: libmagickcore3, AbstractVariable: libmagickwand3, AbstractVariable: libmail-spf-perl, AbstractVariable: libmath-bigint-gmp-perl, AbstractVariable: libmatrixssl1.8, AbstractVariable: libmcs1, AbstractVariable: libmhash2, AbstractVariable: libmimic0, AbstractVariable: libmodule-build-perl, AbstractVariable: libmoe1.5, AbstractVariable: libmono-accessibility1.0-cil, AbstractVariable: libmono-accessibility2.0-cil, AbstractVariable: libmono-bytefx0.7.6.1-cil, AbstractVariable: libmono-bytefx0.7.6.2-cil, AbstractVariable: libmono-c5-1.0-cil, AbstractVariable: libmono-cairo1.0-cil, AbstractVariable: libmono-cil-dev, AbstractVariable: libmono-cscompmgd7.0-cil, AbstractVariable: libmono-cscompmgd8.0-cil, AbstractVariable: libmono-data1.0-cil, AbstractVariable: libmono-data2.0-cil, AbstractVariable: libmono-db2-1.0-cil, AbstractVariable: libmono-firebirdsql1.7-cil, AbstractVariable: libmono-getoptions1.0-cil, AbstractVariable: libmono-i18n1.0-cil, AbstractVariable: libmono-i18n2.0-cil, AbstractVariable: libmono-ldap1.0-cil, AbstractVariable: libmono-ldap2.0-cil, AbstractVariable: libmono-messaging-rabbitmq2.0-cil, AbstractVariable: libmono-messaging2.0-cil, AbstractVariable: libmono-microsoft-build2.0-cil, AbstractVariable: libmono-microsoft7.0-cil, AbstractVariable: libmono-microsoft8.0-cil, AbstractVariable: libmono-npgsql1.0-cil, AbstractVariable: libmono-npgsql2.0-cil, AbstractVariable: libmono-oracle1.0-cil, AbstractVariable: libmono-oracle2.0-cil, AbstractVariable: libmono-peapi1.0-cil, AbstractVariable: libmono-posix1.0-cil, AbstractVariable: libmono-rabbitmq2.0-cil, AbstractVariable: libmono-relaxng2.0-cil, AbstractVariable: libmono-sharpzip0.6-cil, AbstractVariable: libmono-sharpzip0.84-cil, AbstractVariable: libmono-sharpzip2.6-cil, AbstractVariable: libmono-simd2.0-cil, AbstractVariable: libmono-sqlite1.0-cil, AbstractVariable: libmono-system-ldap1.0-cil, AbstractVariable: libmono-system-ldap2.0-cil, AbstractVariable: libmono-system-messaging1.0-cil, AbstractVariable: libmono-system-messaging2.0-cil, AbstractVariable: libmono-system-runtime2.0-cil, AbstractVariable: libmono-system-web-mvc1.0-cil, AbstractVariable: libmono-wcf3.0-cil, AbstractVariable: libmono-webbrowser0.5-cil, AbstractVariable: libmono-winforms1.0-cil, AbstractVariable: libmono-winforms2.0-cil, AbstractVariable: libmono-zeroconf1.0-cil, AbstractVariable: libmono1.0-cil, AbstractVariable: libmowgli1, AbstractVariable: libmpcdec6, AbstractVariable: libmusicbrainz3-6, AbstractVariable: libnet-dns-perl, AbstractVariable: libnet-ip-perl, AbstractVariable: libnet-openid-consumer-perl, AbstractVariable: libnetaddr-ip-perl, AbstractVariable: libnettle3, AbstractVariable: libnm-glib-vpn1, AbstractVariable: libnm-glib2, AbstractVariable: libnsbmp0, AbstractVariable: libnsgif0, AbstractVariable: libntfs-3g75, AbstractVariable: libntfs10, AbstractVariable: libntlm0, AbstractVariable: libnunit-cil-dev, AbstractVariable: libnunit2.4-cil, AbstractVariable: libobjc2, AbstractVariable: libobparser21, AbstractVariable: libobrender21, AbstractVariable: libonig2, AbstractVariable: liboop4, AbstractVariable: libopenct1, AbstractVariable: libopts25, AbstractVariable: libopts25-dev, AbstractVariable: liborc-0.4-0, AbstractVariable: liboro-java, AbstractVariable: libossp-uuid16, AbstractVariable: libotf0, AbstractVariable: libpango1.0-doc, AbstractVariable: libpano13-1, AbstractVariable: libparserutils0, AbstractVariable: libparted0debian1, AbstractVariable: libpciaccess0, AbstractVariable: libphp-serialization-perl, AbstractVariable: libplist1, AbstractVariable: libpod-readme-perl, AbstractVariable: libpolkit-agent-1-0, AbstractVariable: libpolkit-backend-1-0, AbstractVariable: libpolkit-gobject-1-0, AbstractVariable: libpolkit-gtk-1-0, AbstractVariable: libpoppler3, AbstractVariable: libpotrace0, AbstractVariable: libpq4, AbstractVariable: libpqxx-2.6.9ldbl, AbstractVariable: libprojectm-data, AbstractVariable: libprojectm2, AbstractVariable: libpulse-browse0, AbstractVariable: libpulsecore5, AbstractVariable: libpython2.6, AbstractVariable: libqbanking4, AbstractVariable: libqbanking8, AbstractVariable: libqdbm14, AbstractVariable: libqdox-java, AbstractVariable: libqt3-compat-headers, AbstractVariable: libqt3-headers, AbstractVariable: libqt3-mt-dev, AbstractVariable: librasqal2, AbstractVariable: libreadline6, AbstractVariable: libresid-builder0c2a, AbstractVariable: libroken18-heimdal, AbstractVariable: librplay3, AbstractVariable: libsablot0, AbstractVariable: libsad2, AbstractVariable: libsctp1, AbstractVariable: libservlet2.5-java, AbstractVariable: libsgutils2-2, AbstractVariable: libsidplay2, AbstractVariable: libsieve2-1, AbstractVariable: libsigsegv0, AbstractVariable: libsilcclient-1.1-3, AbstractVariable: libslang2-modules, AbstractVariable: libstdc++6-4.4-dev, AbstractVariable: libstringtemplate-java, AbstractVariable: libstroke0, AbstractVariable: libswfdec-0.6-90, AbstractVariable: libsyncml2, AbstractVariable: libtalloc2, AbstractVariable: libtask-weaken-perl, AbstractVariable: libthunar-vfs-1-2, AbstractVariable: libtntnet8, AbstractVariable: libtommath0, AbstractVariable: libtool, AbstractVariable: libtracker-client-0.8-0, AbstractVariable: libtunepimp3, AbstractVariable: libupower-glib1, AbstractVariable: liburi-fetch-perl, AbstractVariable: libusbmuxd1, AbstractVariable: libutempter0, AbstractVariable: libvala0, AbstractVariable: libvdpau1, AbstractVariable: libwerken.xpath-java, AbstractVariable: libwind0-heimdal, AbstractVariable: libx11-protocol-perl, AbstractVariable: libx264-88, AbstractVariable: libxcb-keysyms1, AbstractVariable: libxfce4mcs-client3, AbstractVariable: libxfce4mcs-manager3, AbstractVariable: libxfce4menu-0.1-0, AbstractVariable: libxfce4util-bin, AbstractVariable: libxfce4util-common, AbstractVariable: libxfce4util4, AbstractVariable: libxfcegui4-4, AbstractVariable: libxfconf-0-2, AbstractVariable: libxklavier16, AbstractVariable: libxml++2.6-2, AbstractVariable: libxom-java, AbstractVariable: libxpp3-java, AbstractVariable: libzephyr4, AbstractVariable: lighttpd, AbstractVariable: linux-base, AbstractVariable: linux-image-2.6.18-6-686, AbstractVariable: linux-image-2.6.18-6-686-bigmem, AbstractVariable: linux-image-2.6.18-6-k7, AbstractVariable: linux-image-2.6.18-6-vserver-686, AbstractVariable: linux-image-2.6.18-6-vserver-k7, AbstractVariable: linux-image-2.6.18-6-xen-686, AbstractVariable: linux-image-2.6.18-6-xen-vserver-686, AbstractVariable: linux-image-2.6.24-etchnhalf.1-686, AbstractVariable: linux-image-2.6.24-etchnhalf.1-686-bigmem, AbstractVariable: linux-image-2.6.26-1-686, AbstractVariable: linux-image-2.6.26-1-686-bigmem, AbstractVariable: linux-image-2.6.26-1-openvz-686, AbstractVariable: linux-image-2.6.26-1-vserver-686, AbstractVariable: linux-image-2.6.26-1-vserver-686-bigmem, AbstractVariable: linux-image-2.6.26-1-xen-686, AbstractVariable: linux-image-2.6.26-2-openvz-686, AbstractVariable: linux-image-2.6.26-2-vserver-686, AbstractVariable: linux-image-2.6.26-2-vserver-686-bigmem, AbstractVariable: linux-image-2.6.26-2-xen-686, AbstractVariable: linux-image-2.6.30-2-686, AbstractVariable: linux-image-2.6.30-2-686-bigmem, AbstractVariable: linux-image-2.6.32-3-486, AbstractVariable: linux-image-2.6.32-3-686, AbstractVariable: linux-image-2.6.32-3-686-bigmem, AbstractVariable: linux-image-2.6.32-3-amd64, AbstractVariable: linux-image-2.6.32-3-vserver-686, AbstractVariable: linux-image-2.6.32-3-vserver-686-bigmem, AbstractVariable: linux-image-2.6.32-4-486, AbstractVariable: linux-image-2.6.32-4-686, AbstractVariable: linux-image-2.6.32-4-686-bigmem, AbstractVariable: linux-image-2.6.32-4-amd64, AbstractVariable: linux-image-2.6.32-4-openvz-686, AbstractVariable: linux-image-2.6.32-4-vserver-686, AbstractVariable: linux-image-2.6.32-4-vserver-686-bigmem, AbstractVariable: linux-image-2.6.32-4-xen-686, AbstractVariable: linux-modules-2.6.18-6-xen-686, AbstractVariable: linux-modules-2.6.18-6-xen-vserver-686, AbstractVariable: linux-modules-2.6.26-1-xen-686, AbstractVariable: linux-modules-2.6.26-2-xen-686, AbstractVariable: lksctp-tools, AbstractVariable: lsh-server, AbstractVariable: lsh-utils, AbstractVariable: lxsession-lite, AbstractVariable: m17n-contrib, AbstractVariable: m17n-db, AbstractVariable: mdadm, AbstractVariable: media-player-info, AbstractVariable: mediawiki1.7, AbstractVariable: mediawiki1.7-math, AbstractVariable: meld, AbstractVariable: mercurial, AbstractVariable: mercurial-common, AbstractVariable: mew-bin, AbstractVariable: midori, AbstractVariable: mlterm, AbstractVariable: mlterm-common, AbstractVariable: mlterm-tools, AbstractVariable: mobile-broadband-provider-info, AbstractVariable: modemmanager, AbstractVariable: mono-1.0-gac, AbstractVariable: mono-mcs, AbstractVariable: mousepad, AbstractVariable: mpeglib, AbstractVariable: msmtp, AbstractVariable: nautilus-sendto, AbstractVariable: netsurf-framebuffer-common, AbstractVariable: netsurf-gtk, AbstractVariable: netsurf-linuxfb, AbstractVariable: netsurf-sdl, AbstractVariable: netsurf-vnc, AbstractVariable: nettle-bin, AbstractVariable: nmh, AbstractVariable: ntfs-3g, AbstractVariable: ntfsprogs, AbstractVariable: nuvola-icon-theme, AbstractVariable: nvidia-kernel-2.6.32-4-686, AbstractVariable: obconf, AbstractVariable: odbcinst, AbstractVariable: openbox, AbstractVariable: openbox-themes, AbstractVariable: openct, AbstractVariable: openjdk-6-jdk, AbstractVariable: openjdk-6-jre, AbstractVariable: openjdk-6-jre-headless, AbstractVariable: openjdk-6-jre-lib, AbstractVariable: os-prober, AbstractVariable: oxygen-icon-theme, AbstractVariable: padevchooser, AbstractVariable: paman, AbstractVariable: paprefs, AbstractVariable: pavucontrol, AbstractVariable: pavumeter, AbstractVariable: pcscd, AbstractVariable: php-mail, AbstractVariable: php-net-smtp, AbstractVariable: php-net-socket, AbstractVariable: php-pear, AbstractVariable: php5-suhosin, AbstractVariable: pike7.6, AbstractVariable: pike7.6-core, AbstractVariable: pike7.6-doc, AbstractVariable: pike7.6-gdbm, AbstractVariable: pike7.6-image, AbstractVariable: pike7.6-manual, AbstractVariable: pike7.6-pcre, AbstractVariable: pike7.6-reference, AbstractVariable: podsleuth, AbstractVariable: policykit-1, AbstractVariable: policykit-1-gnome, AbstractVariable: postgresql-client-common, AbstractVariable: ppthtml, AbstractVariable: proofgeneral, AbstractVariable: proofgeneral-coq, AbstractVariable: pulseaudio, AbstractVariable: pulseaudio-module-gconf, AbstractVariable: pulseaudio-module-x11, AbstractVariable: pulseaudio-module-zeroconf, AbstractVariable: pulseaudio-utils, AbstractVariable: pybliographer, AbstractVariable: python-aptdaemon, AbstractVariable: python-beaker, AbstractVariable: python-beautifulsoup, AbstractVariable: python-bibtex, AbstractVariable: python-cddb, AbstractVariable: python-configobj, AbstractVariable: python-gnupginterface, AbstractVariable: python-gpod, AbstractVariable: python-gtkglext1, AbstractVariable: python-iniparse, AbstractVariable: python-keybinder, AbstractVariable: python-levenshtein, AbstractVariable: python-louis, AbstractVariable: python-mako, AbstractVariable: python-musicbrainz2, AbstractVariable: python-mutagen, AbstractVariable: python-simplejson, AbstractVariable: python-software-properties, AbstractVariable: python-vobject, AbstractVariable: python-webkit, AbstractVariable: python2.5-dev, AbstractVariable: python2.6, AbstractVariable: python2.6-minimal, AbstractVariable: qemu-system, AbstractVariable: qemu-user, AbstractVariable: qemu-utils, AbstractVariable: qt3-dev-tools, AbstractVariable: quanta, AbstractVariable: quanta-data, AbstractVariable: quilt, AbstractVariable: quodlibet, AbstractVariable: quodlibet-ext, AbstractVariable: quodlibet-plugins, AbstractVariable: r-cran-class, AbstractVariable: r-cran-mass, AbstractVariable: r-cran-nnet, AbstractVariable: r-cran-spatial, AbstractVariable: r-doc-html, AbstractVariable: ratpoison, AbstractVariable: realpath, AbstractVariable: rhythmbox-dbg, AbstractVariable: rhythmbox-plugins, AbstractVariable: rox-filer, AbstractVariable: roxterm, AbstractVariable: rpm-common, AbstractVariable: rpm2cpio, AbstractVariable: runit, AbstractVariable: rxvt, AbstractVariable: rxvt-ml, AbstractVariable: samba-common-bin, AbstractVariable: sbcl, AbstractVariable: scid, AbstractVariable: scilab-cli, AbstractVariable: scilab-full-bin, AbstractVariable: scilab-minimal-bin, AbstractVariable: scrotwm, AbstractVariable: sdparm, AbstractVariable: seabios, AbstractVariable: simplyhtml, AbstractVariable: slsh, AbstractVariable: smbclient, AbstractVariable: socat, AbstractVariable: socklog, AbstractVariable: soprano-daemon, AbstractVariable: spawn-fcgi, AbstractVariable: stunnel4, AbstractVariable: sun-java5-bin, AbstractVariable: sun-java5-jre, AbstractVariable: sylpheed, AbstractVariable: sylpheed-claws, AbstractVariable: sylpheed-claws-i18n, AbstractVariable: sylpheed-claws-scripts, AbstractVariable: sylpheed-i18n, AbstractVariable: talk, AbstractVariable: tdom, AbstractVariable: terminator, AbstractVariable: tesseract-ocr-deu-f, AbstractVariable: tesseract-ocr-nld, AbstractVariable: tesseract-ocr-por, AbstractVariable: tesseract-ocr-vie, AbstractVariable: tex4ht, AbstractVariable: tex4ht-common, AbstractVariable: thttpd, AbstractVariable: thunar, AbstractVariable: thunar-data, AbstractVariable: thunar-volman, AbstractVariable: timidity-daemon, AbstractVariable: tla, AbstractVariable: tla-doc, AbstractVariable: tntnet-runtime, AbstractVariable: tor-geoipdb, AbstractVariable: transcode-utils, AbstractVariable: translate-toolkit, AbstractVariable: ttf-arphic-uming, AbstractVariable: ttf-kochi-mincho-naga10, AbstractVariable: ttf-lyx, AbstractVariable: ttf-mscorefonts-installer, AbstractVariable: ttf-sil-gentium, AbstractVariable: ttf-sil-gentium-basic, AbstractVariable: tzdata-java, AbstractVariable: ucspi-unix, AbstractVariable: ude, AbstractVariable: udisks, AbstractVariable: ufraw, AbstractVariable: update-manager-core, AbstractVariable: upower, AbstractVariable: usb-modeswitch, AbstractVariable: usb-modeswitch-data, AbstractVariable: usbmuxd, AbstractVariable: util-vserver, AbstractVariable: uuid-runtime, AbstractVariable: uwm, AbstractVariable: velocity, AbstractVariable: virtualbox-ose-guest-source, AbstractVariable: vlc-plugin-pulse, AbstractVariable: vnc-common, AbstractVariable: vnc4server, AbstractVariable: vncserver, AbstractVariable: vzctl, AbstractVariable: vzquota, AbstractVariable: w3-el-e21, AbstractVariable: w3-url-e21, AbstractVariable: w3mmee, AbstractVariable: wmii2, AbstractVariable: wmii2-doc, AbstractVariable: xboard, AbstractVariable: xdg-user-dirs, AbstractVariable: xfce-keyboard-shortcuts, AbstractVariable: xfce4-icon-theme, AbstractVariable: xfce4-mcs-manager, AbstractVariable: xfce4-panel, AbstractVariable: xfce4-session, AbstractVariable: xfce4-settings, AbstractVariable: xfce4-terminal, AbstractVariable: xfce4-utils, AbstractVariable: xfconf, AbstractVariable: xfdesktop4, AbstractVariable: xfdesktop4-data, AbstractVariable: xfonts-mathml, AbstractVariable: xfprint4, AbstractVariable: xfwm4, AbstractVariable: xfwm4-themes, AbstractVariable: xindy, AbstractVariable: xindy-rules, AbstractVariable: xinput, AbstractVariable: xjed, AbstractVariable: xlhtml, AbstractVariable: xlockmore, AbstractVariable: xorg-docs-core, AbstractVariable: ytalk] # starts : 99 # conflicts : 102373 # decisions : 12901942 # propagations : 106189374 # inspects : 120830721 # learnt literals : 46 # learnt binary clauses : 2927 # learnt ternary clauses : 4195 # learnt clauses : 102327 # ignored clauses : 0 # root simplifications : 0 # removed literals (reason simplification) : 2444189 # reason swapping (by a shorter reason) : 0 # Calls to reduceDB : 10 # number of reductions to clauses (during analyze) : 0 # number of learned constraints concerned by reduction : 0 # number of learning phase by resolution : 0 # number of learning phase by cutting planes : 0 # speed (assignments/second) : 548904.2733010437 # non guided choices 2916930 # learnt constraints type #Solving done (284.391s). #Solution contains:3880