PB12の結果が出ていた。
http://www.cril.univ-artois.fr/PB12/
自作のtoysatの結果は以下のとおり。
もうちょっと頑張りたかったけど、まあ健闘した方かな。
DEC-SMALLINT-LIN: 40個中20位 (SAT4J PB RES//CP が1位)
DEC-SMALLINT-NLC: 40個中18位 (PB10: pb_cplex が1位)
DEC-BIGINT-LIN: 25個中16位 (PB12: minisatp が1位)
OPT-SMALLINT-LIN: 32個中24位 (PB10: pb_cplex が1位)
OPT-SMALLINT-NLC: 32個中27位 (SCIP spx E が1位)
OPT-BIGINT-LIN: 20個中8位 (PB10: SAT4J PB RES//CP が1位)
SOFT-SMALLINT-LIN: 18個中4位 (SCIP spx が1位)
SOFT-BIGINT-LIN: 7個中2位 (SAT4J PB が1位)
PARTIAL-SMALLINT-LIN: 14個中4位 (SCIP spx が1位)
PARTIAL-BIGINT-LIN: 8個中2位 (SAT4J PB が1位)