SAT'02 Solvers Competition Page

Program and Benchmark Choice

Quick help: From this page, you can choose exactly what kind of results you want to view. Select a number of programs and a number of families of benchmarks, then the type of cpu-time summary you want and, at last, click to generate an automatic synthesis. First, select a subset of programs, then select a subset of benchmark families. Finish by pushing the OK button.

I - Please first select programs

Complete Deterministic

2clseq

berkmin

blindsat

limmat

lsat (hors-concours)

marchI (hors-concours)

marchII

marchII-hc (hors-concours)

marchIIse

marchIIse-hc (hors-concours)

marchIse (hors-concours)

marchIse-hc (hors-concours)

modoc

oksolver

partsat (hors-concours)

rb2cl

zchaff

Complete Randomized

jquest

sato (hors-concours)

simo

Incomplete Randomized

dlmsat1

dlmsat2

dlmsat3

ga

saturn

unitwalk

usat05

usat10

II.a - Industrial Benchmarks

Aloul
Homer Bart

Biere
dinphil-UNSAT dinphil-SAT cmpadd

Dellacherie-Valiosys
w10 w08 ip fifo f2clk Comb Cache

Goldberg
fpga-routing-1 BMC-2 BMC
rand-net40 rand-net50 rand-net60 rand-net70

Nam
fpga-routing-2

Prestwich
Mediator

Satex-Challenges
satex-challenges

Van-Gelder
CheckerInterchange

Velev
sss-sat-1.0
fvp-unsat-2.0-2pipe fvp-unsat-2.0-3pipe fvp-unsat-2.0-4pipe fvp-unsat-2.0-5pipe fvp-unsat-2.0-6pipe fvp-unsat-2.0-7pipe

Zarpas-IBM
IBM-Hard IBM-Medium IBM-Easy

Zbrzezny
BMCTA

Zhang-Lintao
sha

II.b - Hand-Made Benchmarks

Aloul
Lisa

Goldberg
hanoi-2 hanoi

Li
Polynomial Matrix Urquhart-bis Urquhart

Pehoushek
twentyvars-7cnf20 twentyvars-6cnf20 twentyvars-8cnf20 twentyvars-7cnf30
ezfact-16 ezfact-32 ezfact-48 ezfact-64 ezfact-256

Ricci-Tersinghi
glassy-sat-sel

Simon

Urquhart-Simon-3 Urquhart-Simon-4 Urquhart-Simon-5

Tuomo Pyhala

pyhala-braun-sat-4-30 pyhala-braun-sat-4-35 pyhala-braun-sat-4-40
pyhala-braun-unsat-4-30 pyhala-braun-unsat-4-35 pyhala-braun-unsat-4-40
pyhala-atree-sat-4-30 pyhala-atree-sat-4-35 pyhala-atree-sat-4-40
pyhala-atree-unsat-4-30 pyhala-atree-unsat-4-35 pyhala-atree-unsat-4-40

Van-Gelder
Rope GridMNbench

Zhang-Hantao
QGgroup

Zhang-Lintao
xor-chain-1.1 xor-chain-2 xor-chain-1

III - Select the kind of results you want

Sum of cpu-time (default)

Mean (Std) cpu-time

Median cpu-time

All available results (sum, mean (std), median, 50% conf. Int., max and min values)

IV - At last clic OK to view synthesis

Last modified on 16-04-2002
File generated on 5-07-2008