CSP 2008 Competition: comparison of two solvers

Select the pair of solvers which you want to compare:

• Abscon 112v4 AC versus Abscon 112v4 ESAC
• Abscon 112v4 AC versus bpsolver 2008-06-27
• Abscon 112v4 AC versus casper zao
• Abscon 112v4 AC versus casper zito
• Abscon 112v4 AC versus choco2_dwdeg 2008-06-26
• Abscon 112v4 AC versus choco2_impwdeg 2008-06-26
• Abscon 112v4 AC versus Concrete + CPS4J 2008-05-30
• Abscon 112v4 AC versus Concrete + CSP4J - Tabu Engine 2008-05-30
• Abscon 112v4 AC versus Concrete + CSP4J - WMC Engine 2008-05-30
• Abscon 112v4 AC versus cpHydra k_10
• Abscon 112v4 AC versus cpHydra k_40
• Abscon 112v4 AC versus galac E
• Abscon 112v4 AC versus galac M
• Abscon 112v4 AC versus mddc-solv 2008-06-09
• Abscon 112v4 AC versus MDG-noprobe 2008-06-27
• Abscon 112v4 AC versus MDG-probe 2008-06-27
• Abscon 112v4 AC versus Minion/Tailor 2008-07-04
• Abscon 112v4 AC versus Mistral-option 1.314
• Abscon 112v4 AC versus Mistral-prime 1.313
• Abscon 112v4 AC versus SAT4J CSP 2008-06-13
• Abscon 112v4 AC versus spider 2008-06-14
• Abscon 112v4 AC versus Sugar v1.13+minisat
• Abscon 112v4 AC versus Sugar v1.13+picosat
• Abscon 112v4 ESAC versus Abscon 112v4 AC
• Abscon 112v4 ESAC versus bpsolver 2008-06-27
• Abscon 112v4 ESAC versus casper zao
• Abscon 112v4 ESAC versus casper zito
• Abscon 112v4 ESAC versus choco2_dwdeg 2008-06-26
• Abscon 112v4 ESAC versus choco2_impwdeg 2008-06-26
• Abscon 112v4 ESAC versus Concrete + CPS4J 2008-05-30
• Abscon 112v4 ESAC versus Concrete + CSP4J - Tabu Engine 2008-05-30
• Abscon 112v4 ESAC versus Concrete + CSP4J - WMC Engine 2008-05-30
• Abscon 112v4 ESAC versus cpHydra k_10
• Abscon 112v4 ESAC versus cpHydra k_40
• Abscon 112v4 ESAC versus galac E
• Abscon 112v4 ESAC versus galac M
• Abscon 112v4 ESAC versus mddc-solv 2008-06-09
• Abscon 112v4 ESAC versus MDG-noprobe 2008-06-27
• Abscon 112v4 ESAC versus MDG-probe 2008-06-27
• Abscon 112v4 ESAC versus Minion/Tailor 2008-07-04
• Abscon 112v4 ESAC versus Mistral-option 1.314
• Abscon 112v4 ESAC versus Mistral-prime 1.313
• Abscon 112v4 ESAC versus SAT4J CSP 2008-06-13
• Abscon 112v4 ESAC versus spider 2008-06-14
• Abscon 112v4 ESAC versus Sugar v1.13+minisat
• Abscon 112v4 ESAC versus Sugar v1.13+picosat
• bpsolver 2008-06-27 versus Abscon 112v4 AC
• bpsolver 2008-06-27 versus Abscon 112v4 ESAC
• bpsolver 2008-06-27 versus casper zao
• bpsolver 2008-06-27 versus casper zito
• bpsolver 2008-06-27 versus choco2_dwdeg 2008-06-26
• bpsolver 2008-06-27 versus choco2_impwdeg 2008-06-26
• bpsolver 2008-06-27 versus Concrete + CPS4J 2008-05-30
• bpsolver 2008-06-27 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• bpsolver 2008-06-27 versus Concrete + CSP4J - WMC Engine 2008-05-30
• bpsolver 2008-06-27 versus cpHydra k_10
• bpsolver 2008-06-27 versus cpHydra k_40
• bpsolver 2008-06-27 versus galac E
• bpsolver 2008-06-27 versus galac M
• bpsolver 2008-06-27 versus mddc-solv 2008-06-09
• bpsolver 2008-06-27 versus MDG-noprobe 2008-06-27
• bpsolver 2008-06-27 versus MDG-probe 2008-06-27
• bpsolver 2008-06-27 versus Minion/Tailor 2008-07-04
• bpsolver 2008-06-27 versus Mistral-option 1.314
• bpsolver 2008-06-27 versus Mistral-prime 1.313
• bpsolver 2008-06-27 versus SAT4J CSP 2008-06-13
• bpsolver 2008-06-27 versus spider 2008-06-14
• bpsolver 2008-06-27 versus Sugar v1.13+minisat
• bpsolver 2008-06-27 versus Sugar v1.13+picosat
• casper zao versus Abscon 112v4 AC
• casper zao versus Abscon 112v4 ESAC
• casper zao versus bpsolver 2008-06-27
• casper zao versus casper zito
• casper zao versus choco2_dwdeg 2008-06-26
• casper zao versus choco2_impwdeg 2008-06-26
• casper zao versus Concrete + CPS4J 2008-05-30
• casper zao versus Concrete + CSP4J - Tabu Engine 2008-05-30
• casper zao versus Concrete + CSP4J - WMC Engine 2008-05-30
• casper zao versus cpHydra k_10
• casper zao versus cpHydra k_40
• casper zao versus galac E
• casper zao versus galac M
• casper zao versus mddc-solv 2008-06-09
• casper zao versus MDG-noprobe 2008-06-27
• casper zao versus MDG-probe 2008-06-27
• casper zao versus Minion/Tailor 2008-07-04
• casper zao versus Mistral-option 1.314
• casper zao versus Mistral-prime 1.313
• casper zao versus SAT4J CSP 2008-06-13
• casper zao versus spider 2008-06-14
• casper zao versus Sugar v1.13+minisat
• casper zao versus Sugar v1.13+picosat
• casper zito versus Abscon 112v4 AC
• casper zito versus Abscon 112v4 ESAC
• casper zito versus bpsolver 2008-06-27
• casper zito versus casper zao
• casper zito versus choco2_dwdeg 2008-06-26
• casper zito versus choco2_impwdeg 2008-06-26
• casper zito versus Concrete + CPS4J 2008-05-30
• casper zito versus Concrete + CSP4J - Tabu Engine 2008-05-30
• casper zito versus Concrete + CSP4J - WMC Engine 2008-05-30
• casper zito versus cpHydra k_10
• casper zito versus cpHydra k_40
• casper zito versus galac E
• casper zito versus galac M
• casper zito versus mddc-solv 2008-06-09
• casper zito versus MDG-noprobe 2008-06-27
• casper zito versus MDG-probe 2008-06-27
• casper zito versus Minion/Tailor 2008-07-04
• casper zito versus Mistral-option 1.314
• casper zito versus Mistral-prime 1.313
• casper zito versus SAT4J CSP 2008-06-13
• casper zito versus spider 2008-06-14
• casper zito versus Sugar v1.13+minisat
• casper zito versus Sugar v1.13+picosat
• choco2_dwdeg 2008-06-26 versus Abscon 112v4 AC
• choco2_dwdeg 2008-06-26 versus Abscon 112v4 ESAC
• choco2_dwdeg 2008-06-26 versus bpsolver 2008-06-27
• choco2_dwdeg 2008-06-26 versus casper zao
• choco2_dwdeg 2008-06-26 versus casper zito
• choco2_dwdeg 2008-06-26 versus choco2_impwdeg 2008-06-26
• choco2_dwdeg 2008-06-26 versus Concrete + CPS4J 2008-05-30
• choco2_dwdeg 2008-06-26 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• choco2_dwdeg 2008-06-26 versus Concrete + CSP4J - WMC Engine 2008-05-30
• choco2_dwdeg 2008-06-26 versus cpHydra k_10
• choco2_dwdeg 2008-06-26 versus cpHydra k_40
• choco2_dwdeg 2008-06-26 versus galac E
• choco2_dwdeg 2008-06-26 versus galac M
• choco2_dwdeg 2008-06-26 versus mddc-solv 2008-06-09
• choco2_dwdeg 2008-06-26 versus MDG-noprobe 2008-06-27
• choco2_dwdeg 2008-06-26 versus MDG-probe 2008-06-27
• choco2_dwdeg 2008-06-26 versus Minion/Tailor 2008-07-04
• choco2_dwdeg 2008-06-26 versus Mistral-option 1.314
• choco2_dwdeg 2008-06-26 versus Mistral-prime 1.313
• choco2_dwdeg 2008-06-26 versus SAT4J CSP 2008-06-13
• choco2_dwdeg 2008-06-26 versus spider 2008-06-14
• choco2_dwdeg 2008-06-26 versus Sugar v1.13+minisat
• choco2_dwdeg 2008-06-26 versus Sugar v1.13+picosat
• choco2_impwdeg 2008-06-26 versus Abscon 112v4 AC
• choco2_impwdeg 2008-06-26 versus Abscon 112v4 ESAC
• choco2_impwdeg 2008-06-26 versus bpsolver 2008-06-27
• choco2_impwdeg 2008-06-26 versus casper zao
• choco2_impwdeg 2008-06-26 versus casper zito
• choco2_impwdeg 2008-06-26 versus choco2_dwdeg 2008-06-26
• choco2_impwdeg 2008-06-26 versus Concrete + CPS4J 2008-05-30
• choco2_impwdeg 2008-06-26 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• choco2_impwdeg 2008-06-26 versus Concrete + CSP4J - WMC Engine 2008-05-30
• choco2_impwdeg 2008-06-26 versus cpHydra k_10
• choco2_impwdeg 2008-06-26 versus cpHydra k_40
• choco2_impwdeg 2008-06-26 versus galac E
• choco2_impwdeg 2008-06-26 versus galac M
• choco2_impwdeg 2008-06-26 versus mddc-solv 2008-06-09
• choco2_impwdeg 2008-06-26 versus MDG-noprobe 2008-06-27
• choco2_impwdeg 2008-06-26 versus MDG-probe 2008-06-27
• choco2_impwdeg 2008-06-26 versus Minion/Tailor 2008-07-04
• choco2_impwdeg 2008-06-26 versus Mistral-option 1.314
• choco2_impwdeg 2008-06-26 versus Mistral-prime 1.313
• choco2_impwdeg 2008-06-26 versus SAT4J CSP 2008-06-13
• choco2_impwdeg 2008-06-26 versus spider 2008-06-14
• choco2_impwdeg 2008-06-26 versus Sugar v1.13+minisat
• choco2_impwdeg 2008-06-26 versus Sugar v1.13+picosat
• Concrete + CPS4J 2008-05-30 versus Abscon 112v4 AC
• Concrete + CPS4J 2008-05-30 versus Abscon 112v4 ESAC
• Concrete + CPS4J 2008-05-30 versus bpsolver 2008-06-27
• Concrete + CPS4J 2008-05-30 versus casper zao
• Concrete + CPS4J 2008-05-30 versus casper zito
• Concrete + CPS4J 2008-05-30 versus choco2_dwdeg 2008-06-26
• Concrete + CPS4J 2008-05-30 versus choco2_impwdeg 2008-06-26
• Concrete + CPS4J 2008-05-30 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• Concrete + CPS4J 2008-05-30 versus Concrete + CSP4J - WMC Engine 2008-05-30
• Concrete + CPS4J 2008-05-30 versus cpHydra k_10
• Concrete + CPS4J 2008-05-30 versus cpHydra k_40
• Concrete + CPS4J 2008-05-30 versus galac E
• Concrete + CPS4J 2008-05-30 versus galac M
• Concrete + CPS4J 2008-05-30 versus mddc-solv 2008-06-09
• Concrete + CPS4J 2008-05-30 versus MDG-noprobe 2008-06-27
• Concrete + CPS4J 2008-05-30 versus MDG-probe 2008-06-27
• Concrete + CPS4J 2008-05-30 versus Minion/Tailor 2008-07-04
• Concrete + CPS4J 2008-05-30 versus Mistral-option 1.314
• Concrete + CPS4J 2008-05-30 versus Mistral-prime 1.313
• Concrete + CPS4J 2008-05-30 versus SAT4J CSP 2008-06-13
• Concrete + CPS4J 2008-05-30 versus spider 2008-06-14
• Concrete + CPS4J 2008-05-30 versus Sugar v1.13+minisat
• Concrete + CPS4J 2008-05-30 versus Sugar v1.13+picosat
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus Abscon 112v4 AC
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus Abscon 112v4 ESAC
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus bpsolver 2008-06-27
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus casper zao
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus casper zito
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus choco2_dwdeg 2008-06-26
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus choco2_impwdeg 2008-06-26
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus Concrete + CPS4J 2008-05-30
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus Concrete + CSP4J - WMC Engine 2008-05-30
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus cpHydra k_10
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus cpHydra k_40
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus galac E
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus galac M
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus mddc-solv 2008-06-09
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus MDG-noprobe 2008-06-27
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus MDG-probe 2008-06-27
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus Minion/Tailor 2008-07-04
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus Mistral-option 1.314
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus Mistral-prime 1.313
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus SAT4J CSP 2008-06-13
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus spider 2008-06-14
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus Sugar v1.13+minisat
• Concrete + CSP4J - Tabu Engine 2008-05-30 versus Sugar v1.13+picosat
• Concrete + CSP4J - WMC Engine 2008-05-30 versus Abscon 112v4 AC
• Concrete + CSP4J - WMC Engine 2008-05-30 versus Abscon 112v4 ESAC
• Concrete + CSP4J - WMC Engine 2008-05-30 versus bpsolver 2008-06-27
• Concrete + CSP4J - WMC Engine 2008-05-30 versus casper zao
• Concrete + CSP4J - WMC Engine 2008-05-30 versus casper zito
• Concrete + CSP4J - WMC Engine 2008-05-30 versus choco2_dwdeg 2008-06-26
• Concrete + CSP4J - WMC Engine 2008-05-30 versus choco2_impwdeg 2008-06-26
• Concrete + CSP4J - WMC Engine 2008-05-30 versus Concrete + CPS4J 2008-05-30
• Concrete + CSP4J - WMC Engine 2008-05-30 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• Concrete + CSP4J - WMC Engine 2008-05-30 versus cpHydra k_10
• Concrete + CSP4J - WMC Engine 2008-05-30 versus cpHydra k_40
• Concrete + CSP4J - WMC Engine 2008-05-30 versus galac E
• Concrete + CSP4J - WMC Engine 2008-05-30 versus galac M
• Concrete + CSP4J - WMC Engine 2008-05-30 versus mddc-solv 2008-06-09
• Concrete + CSP4J - WMC Engine 2008-05-30 versus MDG-noprobe 2008-06-27
• Concrete + CSP4J - WMC Engine 2008-05-30 versus MDG-probe 2008-06-27
• Concrete + CSP4J - WMC Engine 2008-05-30 versus Minion/Tailor 2008-07-04
• Concrete + CSP4J - WMC Engine 2008-05-30 versus Mistral-option 1.314
• Concrete + CSP4J - WMC Engine 2008-05-30 versus Mistral-prime 1.313
• Concrete + CSP4J - WMC Engine 2008-05-30 versus SAT4J CSP 2008-06-13
• Concrete + CSP4J - WMC Engine 2008-05-30 versus spider 2008-06-14
• Concrete + CSP4J - WMC Engine 2008-05-30 versus Sugar v1.13+minisat
• Concrete + CSP4J - WMC Engine 2008-05-30 versus Sugar v1.13+picosat
• cpHydra k_10 versus Abscon 112v4 AC
• cpHydra k_10 versus Abscon 112v4 ESAC
• cpHydra k_10 versus bpsolver 2008-06-27
• cpHydra k_10 versus casper zao
• cpHydra k_10 versus casper zito
• cpHydra k_10 versus choco2_dwdeg 2008-06-26
• cpHydra k_10 versus choco2_impwdeg 2008-06-26
• cpHydra k_10 versus Concrete + CPS4J 2008-05-30
• cpHydra k_10 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• cpHydra k_10 versus Concrete + CSP4J - WMC Engine 2008-05-30
• cpHydra k_10 versus cpHydra k_40
• cpHydra k_10 versus galac E
• cpHydra k_10 versus galac M
• cpHydra k_10 versus mddc-solv 2008-06-09
• cpHydra k_10 versus MDG-noprobe 2008-06-27
• cpHydra k_10 versus MDG-probe 2008-06-27
• cpHydra k_10 versus Minion/Tailor 2008-07-04
• cpHydra k_10 versus Mistral-option 1.314
• cpHydra k_10 versus Mistral-prime 1.313
• cpHydra k_10 versus SAT4J CSP 2008-06-13
• cpHydra k_10 versus spider 2008-06-14
• cpHydra k_10 versus Sugar v1.13+minisat
• cpHydra k_10 versus Sugar v1.13+picosat
• cpHydra k_40 versus Abscon 112v4 AC
• cpHydra k_40 versus Abscon 112v4 ESAC
• cpHydra k_40 versus bpsolver 2008-06-27
• cpHydra k_40 versus casper zao
• cpHydra k_40 versus casper zito
• cpHydra k_40 versus choco2_dwdeg 2008-06-26
• cpHydra k_40 versus choco2_impwdeg 2008-06-26
• cpHydra k_40 versus Concrete + CPS4J 2008-05-30
• cpHydra k_40 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• cpHydra k_40 versus Concrete + CSP4J - WMC Engine 2008-05-30
• cpHydra k_40 versus cpHydra k_10
• cpHydra k_40 versus galac E
• cpHydra k_40 versus galac M
• cpHydra k_40 versus mddc-solv 2008-06-09
• cpHydra k_40 versus MDG-noprobe 2008-06-27
• cpHydra k_40 versus MDG-probe 2008-06-27
• cpHydra k_40 versus Minion/Tailor 2008-07-04
• cpHydra k_40 versus Mistral-option 1.314
• cpHydra k_40 versus Mistral-prime 1.313
• cpHydra k_40 versus SAT4J CSP 2008-06-13
• cpHydra k_40 versus spider 2008-06-14
• cpHydra k_40 versus Sugar v1.13+minisat
• cpHydra k_40 versus Sugar v1.13+picosat
• galac E versus Abscon 112v4 AC
• galac E versus Abscon 112v4 ESAC
• galac E versus bpsolver 2008-06-27
• galac E versus casper zao
• galac E versus casper zito
• galac E versus choco2_dwdeg 2008-06-26
• galac E versus choco2_impwdeg 2008-06-26
• galac E versus Concrete + CPS4J 2008-05-30
• galac E versus Concrete + CSP4J - Tabu Engine 2008-05-30
• galac E versus Concrete + CSP4J - WMC Engine 2008-05-30
• galac E versus cpHydra k_10
• galac E versus cpHydra k_40
• galac E versus galac M
• galac E versus mddc-solv 2008-06-09
• galac E versus MDG-noprobe 2008-06-27
• galac E versus MDG-probe 2008-06-27
• galac E versus Minion/Tailor 2008-07-04
• galac E versus Mistral-option 1.314
• galac E versus Mistral-prime 1.313
• galac E versus SAT4J CSP 2008-06-13
• galac E versus spider 2008-06-14
• galac E versus Sugar v1.13+minisat
• galac E versus Sugar v1.13+picosat
• galac M versus Abscon 112v4 AC
• galac M versus Abscon 112v4 ESAC
• galac M versus bpsolver 2008-06-27
• galac M versus casper zao
• galac M versus casper zito
• galac M versus choco2_dwdeg 2008-06-26
• galac M versus choco2_impwdeg 2008-06-26
• galac M versus Concrete + CPS4J 2008-05-30
• galac M versus Concrete + CSP4J - Tabu Engine 2008-05-30
• galac M versus Concrete + CSP4J - WMC Engine 2008-05-30
• galac M versus cpHydra k_10
• galac M versus cpHydra k_40
• galac M versus galac E
• galac M versus mddc-solv 2008-06-09
• galac M versus MDG-noprobe 2008-06-27
• galac M versus MDG-probe 2008-06-27
• galac M versus Minion/Tailor 2008-07-04
• galac M versus Mistral-option 1.314
• galac M versus Mistral-prime 1.313
• galac M versus SAT4J CSP 2008-06-13
• galac M versus spider 2008-06-14
• galac M versus Sugar v1.13+minisat
• galac M versus Sugar v1.13+picosat
• mddc-solv 2008-06-09 versus Abscon 112v4 AC
• mddc-solv 2008-06-09 versus Abscon 112v4 ESAC
• mddc-solv 2008-06-09 versus bpsolver 2008-06-27
• mddc-solv 2008-06-09 versus casper zao
• mddc-solv 2008-06-09 versus casper zito
• mddc-solv 2008-06-09 versus choco2_dwdeg 2008-06-26
• mddc-solv 2008-06-09 versus choco2_impwdeg 2008-06-26
• mddc-solv 2008-06-09 versus Concrete + CPS4J 2008-05-30
• mddc-solv 2008-06-09 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• mddc-solv 2008-06-09 versus Concrete + CSP4J - WMC Engine 2008-05-30
• mddc-solv 2008-06-09 versus cpHydra k_10
• mddc-solv 2008-06-09 versus cpHydra k_40
• mddc-solv 2008-06-09 versus galac E
• mddc-solv 2008-06-09 versus galac M
• mddc-solv 2008-06-09 versus MDG-noprobe 2008-06-27
• mddc-solv 2008-06-09 versus MDG-probe 2008-06-27
• mddc-solv 2008-06-09 versus Minion/Tailor 2008-07-04
• mddc-solv 2008-06-09 versus Mistral-option 1.314
• mddc-solv 2008-06-09 versus Mistral-prime 1.313
• mddc-solv 2008-06-09 versus SAT4J CSP 2008-06-13
• mddc-solv 2008-06-09 versus spider 2008-06-14
• mddc-solv 2008-06-09 versus Sugar v1.13+minisat
• mddc-solv 2008-06-09 versus Sugar v1.13+picosat
• MDG-noprobe 2008-06-27 versus Abscon 112v4 AC
• MDG-noprobe 2008-06-27 versus Abscon 112v4 ESAC
• MDG-noprobe 2008-06-27 versus bpsolver 2008-06-27
• MDG-noprobe 2008-06-27 versus casper zao
• MDG-noprobe 2008-06-27 versus casper zito
• MDG-noprobe 2008-06-27 versus choco2_dwdeg 2008-06-26
• MDG-noprobe 2008-06-27 versus choco2_impwdeg 2008-06-26
• MDG-noprobe 2008-06-27 versus Concrete + CPS4J 2008-05-30
• MDG-noprobe 2008-06-27 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• MDG-noprobe 2008-06-27 versus Concrete + CSP4J - WMC Engine 2008-05-30
• MDG-noprobe 2008-06-27 versus cpHydra k_10
• MDG-noprobe 2008-06-27 versus cpHydra k_40
• MDG-noprobe 2008-06-27 versus galac E
• MDG-noprobe 2008-06-27 versus galac M
• MDG-noprobe 2008-06-27 versus mddc-solv 2008-06-09
• MDG-noprobe 2008-06-27 versus MDG-probe 2008-06-27
• MDG-noprobe 2008-06-27 versus Minion/Tailor 2008-07-04
• MDG-noprobe 2008-06-27 versus Mistral-option 1.314
• MDG-noprobe 2008-06-27 versus Mistral-prime 1.313
• MDG-noprobe 2008-06-27 versus SAT4J CSP 2008-06-13
• MDG-noprobe 2008-06-27 versus spider 2008-06-14
• MDG-noprobe 2008-06-27 versus Sugar v1.13+minisat
• MDG-noprobe 2008-06-27 versus Sugar v1.13+picosat
• MDG-probe 2008-06-27 versus Abscon 112v4 AC
• MDG-probe 2008-06-27 versus Abscon 112v4 ESAC
• MDG-probe 2008-06-27 versus bpsolver 2008-06-27
• MDG-probe 2008-06-27 versus casper zao
• MDG-probe 2008-06-27 versus casper zito
• MDG-probe 2008-06-27 versus choco2_dwdeg 2008-06-26
• MDG-probe 2008-06-27 versus choco2_impwdeg 2008-06-26
• MDG-probe 2008-06-27 versus Concrete + CPS4J 2008-05-30
• MDG-probe 2008-06-27 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• MDG-probe 2008-06-27 versus Concrete + CSP4J - WMC Engine 2008-05-30
• MDG-probe 2008-06-27 versus cpHydra k_10
• MDG-probe 2008-06-27 versus cpHydra k_40
• MDG-probe 2008-06-27 versus galac E
• MDG-probe 2008-06-27 versus galac M
• MDG-probe 2008-06-27 versus mddc-solv 2008-06-09
• MDG-probe 2008-06-27 versus MDG-noprobe 2008-06-27
• MDG-probe 2008-06-27 versus Minion/Tailor 2008-07-04
• MDG-probe 2008-06-27 versus Mistral-option 1.314
• MDG-probe 2008-06-27 versus Mistral-prime 1.313
• MDG-probe 2008-06-27 versus SAT4J CSP 2008-06-13
• MDG-probe 2008-06-27 versus spider 2008-06-14
• MDG-probe 2008-06-27 versus Sugar v1.13+minisat
• MDG-probe 2008-06-27 versus Sugar v1.13+picosat
• Minion/Tailor 2008-07-04 versus Abscon 112v4 AC
• Minion/Tailor 2008-07-04 versus Abscon 112v4 ESAC
• Minion/Tailor 2008-07-04 versus bpsolver 2008-06-27
• Minion/Tailor 2008-07-04 versus casper zao
• Minion/Tailor 2008-07-04 versus casper zito
• Minion/Tailor 2008-07-04 versus choco2_dwdeg 2008-06-26
• Minion/Tailor 2008-07-04 versus choco2_impwdeg 2008-06-26
• Minion/Tailor 2008-07-04 versus Concrete + CPS4J 2008-05-30
• Minion/Tailor 2008-07-04 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• Minion/Tailor 2008-07-04 versus Concrete + CSP4J - WMC Engine 2008-05-30
• Minion/Tailor 2008-07-04 versus cpHydra k_10
• Minion/Tailor 2008-07-04 versus cpHydra k_40
• Minion/Tailor 2008-07-04 versus galac E
• Minion/Tailor 2008-07-04 versus galac M
• Minion/Tailor 2008-07-04 versus mddc-solv 2008-06-09
• Minion/Tailor 2008-07-04 versus MDG-noprobe 2008-06-27
• Minion/Tailor 2008-07-04 versus MDG-probe 2008-06-27
• Minion/Tailor 2008-07-04 versus Mistral-option 1.314
• Minion/Tailor 2008-07-04 versus Mistral-prime 1.313
• Minion/Tailor 2008-07-04 versus SAT4J CSP 2008-06-13
• Minion/Tailor 2008-07-04 versus spider 2008-06-14
• Minion/Tailor 2008-07-04 versus Sugar v1.13+minisat
• Minion/Tailor 2008-07-04 versus Sugar v1.13+picosat
• Mistral-option 1.314 versus Abscon 112v4 AC
• Mistral-option 1.314 versus Abscon 112v4 ESAC
• Mistral-option 1.314 versus bpsolver 2008-06-27
• Mistral-option 1.314 versus casper zao
• Mistral-option 1.314 versus casper zito
• Mistral-option 1.314 versus choco2_dwdeg 2008-06-26
• Mistral-option 1.314 versus choco2_impwdeg 2008-06-26
• Mistral-option 1.314 versus Concrete + CPS4J 2008-05-30
• Mistral-option 1.314 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• Mistral-option 1.314 versus Concrete + CSP4J - WMC Engine 2008-05-30
• Mistral-option 1.314 versus cpHydra k_10
• Mistral-option 1.314 versus cpHydra k_40
• Mistral-option 1.314 versus galac E
• Mistral-option 1.314 versus galac M
• Mistral-option 1.314 versus mddc-solv 2008-06-09
• Mistral-option 1.314 versus MDG-noprobe 2008-06-27
• Mistral-option 1.314 versus MDG-probe 2008-06-27
• Mistral-option 1.314 versus Minion/Tailor 2008-07-04
• Mistral-option 1.314 versus Mistral-prime 1.313
• Mistral-option 1.314 versus SAT4J CSP 2008-06-13
• Mistral-option 1.314 versus spider 2008-06-14
• Mistral-option 1.314 versus Sugar v1.13+minisat
• Mistral-option 1.314 versus Sugar v1.13+picosat
• Mistral-prime 1.313 versus Abscon 112v4 AC
• Mistral-prime 1.313 versus Abscon 112v4 ESAC
• Mistral-prime 1.313 versus bpsolver 2008-06-27
• Mistral-prime 1.313 versus casper zao
• Mistral-prime 1.313 versus casper zito
• Mistral-prime 1.313 versus choco2_dwdeg 2008-06-26
• Mistral-prime 1.313 versus choco2_impwdeg 2008-06-26
• Mistral-prime 1.313 versus Concrete + CPS4J 2008-05-30
• Mistral-prime 1.313 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• Mistral-prime 1.313 versus Concrete + CSP4J - WMC Engine 2008-05-30
• Mistral-prime 1.313 versus cpHydra k_10
• Mistral-prime 1.313 versus cpHydra k_40
• Mistral-prime 1.313 versus galac E
• Mistral-prime 1.313 versus galac M
• Mistral-prime 1.313 versus mddc-solv 2008-06-09
• Mistral-prime 1.313 versus MDG-noprobe 2008-06-27
• Mistral-prime 1.313 versus MDG-probe 2008-06-27
• Mistral-prime 1.313 versus Minion/Tailor 2008-07-04
• Mistral-prime 1.313 versus Mistral-option 1.314
• Mistral-prime 1.313 versus SAT4J CSP 2008-06-13
• Mistral-prime 1.313 versus spider 2008-06-14
• Mistral-prime 1.313 versus Sugar v1.13+minisat
• Mistral-prime 1.313 versus Sugar v1.13+picosat
• SAT4J CSP 2008-06-13 versus Abscon 112v4 AC
• SAT4J CSP 2008-06-13 versus Abscon 112v4 ESAC
• SAT4J CSP 2008-06-13 versus bpsolver 2008-06-27
• SAT4J CSP 2008-06-13 versus casper zao
• SAT4J CSP 2008-06-13 versus casper zito
• SAT4J CSP 2008-06-13 versus choco2_dwdeg 2008-06-26
• SAT4J CSP 2008-06-13 versus choco2_impwdeg 2008-06-26
• SAT4J CSP 2008-06-13 versus Concrete + CPS4J 2008-05-30
• SAT4J CSP 2008-06-13 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• SAT4J CSP 2008-06-13 versus Concrete + CSP4J - WMC Engine 2008-05-30
• SAT4J CSP 2008-06-13 versus cpHydra k_10
• SAT4J CSP 2008-06-13 versus cpHydra k_40
• SAT4J CSP 2008-06-13 versus galac E
• SAT4J CSP 2008-06-13 versus galac M
• SAT4J CSP 2008-06-13 versus mddc-solv 2008-06-09
• SAT4J CSP 2008-06-13 versus MDG-noprobe 2008-06-27
• SAT4J CSP 2008-06-13 versus MDG-probe 2008-06-27
• SAT4J CSP 2008-06-13 versus Minion/Tailor 2008-07-04
• SAT4J CSP 2008-06-13 versus Mistral-option 1.314
• SAT4J CSP 2008-06-13 versus Mistral-prime 1.313
• SAT4J CSP 2008-06-13 versus spider 2008-06-14
• SAT4J CSP 2008-06-13 versus Sugar v1.13+minisat
• SAT4J CSP 2008-06-13 versus Sugar v1.13+picosat
• spider 2008-06-14 versus Abscon 112v4 AC
• spider 2008-06-14 versus Abscon 112v4 ESAC
• spider 2008-06-14 versus bpsolver 2008-06-27
• spider 2008-06-14 versus casper zao
• spider 2008-06-14 versus casper zito
• spider 2008-06-14 versus choco2_dwdeg 2008-06-26
• spider 2008-06-14 versus choco2_impwdeg 2008-06-26
• spider 2008-06-14 versus Concrete + CPS4J 2008-05-30
• spider 2008-06-14 versus Concrete + CSP4J - Tabu Engine 2008-05-30
• spider 2008-06-14 versus Concrete + CSP4J - WMC Engine 2008-05-30
• spider 2008-06-14 versus cpHydra k_10
• spider 2008-06-14 versus cpHydra k_40
• spider 2008-06-14 versus galac E
• spider 2008-06-14 versus galac M
• spider 2008-06-14 versus mddc-solv 2008-06-09
• spider 2008-06-14 versus MDG-noprobe 2008-06-27
• spider 2008-06-14 versus MDG-probe 2008-06-27
• spider 2008-06-14 versus Minion/Tailor 2008-07-04
• spider 2008-06-14 versus Mistral-option 1.314
• spider 2008-06-14 versus Mistral-prime 1.313
• spider 2008-06-14 versus SAT4J CSP 2008-06-13
• spider 2008-06-14 versus Sugar v1.13+minisat
• spider 2008-06-14 versus Sugar v1.13+picosat
• Sugar v1.13+minisat versus Abscon 112v4 AC
• Sugar v1.13+minisat versus Abscon 112v4 ESAC
• Sugar v1.13+minisat versus bpsolver 2008-06-27
• Sugar v1.13+minisat versus casper zao
• Sugar v1.13+minisat versus casper zito
• Sugar v1.13+minisat versus choco2_dwdeg 2008-06-26
• Sugar v1.13+minisat versus choco2_impwdeg 2008-06-26
• Sugar v1.13+minisat versus Concrete + CPS4J 2008-05-30
• Sugar v1.13+minisat versus Concrete + CSP4J - Tabu Engine 2008-05-30
• Sugar v1.13+minisat versus Concrete + CSP4J - WMC Engine 2008-05-30
• Sugar v1.13+minisat versus cpHydra k_10
• Sugar v1.13+minisat versus cpHydra k_40
• Sugar v1.13+minisat versus galac E
• Sugar v1.13+minisat versus galac M
• Sugar v1.13+minisat versus mddc-solv 2008-06-09
• Sugar v1.13+minisat versus MDG-noprobe 2008-06-27
• Sugar v1.13+minisat versus MDG-probe 2008-06-27
• Sugar v1.13+minisat versus Minion/Tailor 2008-07-04
• Sugar v1.13+minisat versus Mistral-option 1.314
• Sugar v1.13+minisat versus Mistral-prime 1.313
• Sugar v1.13+minisat versus SAT4J CSP 2008-06-13
• Sugar v1.13+minisat versus spider 2008-06-14
• Sugar v1.13+minisat versus Sugar v1.13+picosat
• Sugar v1.13+picosat versus Abscon 112v4 AC
• Sugar v1.13+picosat versus Abscon 112v4 ESAC
• Sugar v1.13+picosat versus bpsolver 2008-06-27
• Sugar v1.13+picosat versus casper zao
• Sugar v1.13+picosat versus casper zito
• Sugar v1.13+picosat versus choco2_dwdeg 2008-06-26
• Sugar v1.13+picosat versus choco2_impwdeg 2008-06-26
• Sugar v1.13+picosat versus Concrete + CPS4J 2008-05-30
• Sugar v1.13+picosat versus Concrete + CSP4J - Tabu Engine 2008-05-30
• Sugar v1.13+picosat versus Concrete + CSP4J - WMC Engine 2008-05-30
• Sugar v1.13+picosat versus cpHydra k_10
• Sugar v1.13+picosat versus cpHydra k_40
• Sugar v1.13+picosat versus galac E
• Sugar v1.13+picosat versus galac M
• Sugar v1.13+picosat versus mddc-solv 2008-06-09
• Sugar v1.13+picosat versus MDG-noprobe 2008-06-27
• Sugar v1.13+picosat versus MDG-probe 2008-06-27
• Sugar v1.13+picosat versus Minion/Tailor 2008-07-04
• Sugar v1.13+picosat versus Mistral-option 1.314
• Sugar v1.13+picosat versus Mistral-prime 1.313
• Sugar v1.13+picosat versus SAT4J CSP 2008-06-13
• Sugar v1.13+picosat versus spider 2008-06-14
• Sugar v1.13+picosat versus Sugar v1.13+minisat