SAT Preprocessor
 SAT Solver
 #SAT Solver
 PB / MaxSAT
 Solver Evaluation

Solver Evaluation

In this area, we provide scripts for

  • extracting features from CNF formulae
  • identifying duplicate formulae in a multiset of CNF formulae
  • speeding up SAT solver evaluation on a combination of benchmarks; the speed-up is achieved by running the solver after removing duplicate formulae from the benchmarks and mapping back the results on the entire benchmarks

Download scripts and documentation


Norbert Manthey and Sibylle Möhle. Better Evaluations by Analyzing Benchmark Structure. Pragmatics of SAT 2016 (download).


Sibylle Möhle  

ICCL Home   |   Institute of Artificial Intelligence - KRR Group   |   Publications