Program and Benchmark Choice

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	Cache w10 w08 ip fifo f2clk Comb
Goldberg	BMC fpga-routing-1 BMC-2 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-7cnf30 twentyvars-7cnf20 twentyvars-6cnf20 twentyvars-8cnf20 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-2 xor-chain-1 xor-chain-1.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