#!/bin/sh

echo "#########################################"
echo "  Modal QBF"

qbf -clauses 10 -vars 4  -depth 4 -lits 4 -all 8
qbf -clauses 10 -vars 4  -depth 6 -lits 4 -all 8
qbf -clauses 10 -vars 8  -depth 4 -lits 4 -all 8
qbf -clauses 10 -vars 8  -depth 6 -lits 4 -all 8
qbf -clauses 10 -vars 16 -depth 4 -lits 4 -all 8
qbf -clauses 10 -vars 16 -depth 6 -lits 4 -all 8
qbf -clauses 20 -vars 4  -depth 4 -lits 4 -all 8
qbf -clauses 20 -vars 4  -depth 6 -lits 4 -all 8
qbf -clauses 20 -vars 8  -depth 4 -lits 4 -all 8
qbf -clauses 20 -vars 8  -depth 6 -lits 4 -all 8
qbf -clauses 20 -vars 16 -depth 4 -lits 4 -all 8
qbf -clauses 20 -vars 16 -depth 6 -lits 4 -all 8
qbf -clauses 30 -vars 4  -depth 4 -lits 4 -all 8
qbf -clauses 30 -vars 4  -depth 6 -lits 4 -all 8
qbf -clauses 30 -vars 8  -depth 4 -lits 4 -all 8
qbf -clauses 30 -vars 8  -depth 6 -lits 4 -all 8
qbf -clauses 30 -vars 16 -depth 4 -lits 4 -all 8
qbf -clauses 30 -vars 16 -depth 6 -lits 4 -all 8

echo "#########################################"
echo "  Modal QBF with Inverse"

qbf-inv -clauses 10 -vars 4  -depth 4 -lits 4 -all 8
qbf-inv -clauses 10 -vars 4  -depth 6 -lits 4 -all 8
qbf-inv -clauses 10 -vars 8  -depth 4 -lits 4 -all 8
qbf-inv -clauses 10 -vars 8  -depth 6 -lits 4 -all 8
qbf-inv -clauses 10 -vars 16 -depth 4 -lits 4 -all 8
qbf-inv -clauses 10 -vars 16 -depth 6 -lits 4 -all 8
qbf-inv -clauses 20 -vars 4  -depth 4 -lits 4 -all 8
qbf-inv -clauses 20 -vars 4  -depth 6 -lits 4 -all 8
qbf-inv -clauses 20 -vars 8  -depth 4 -lits 4 -all 8
qbf-inv -clauses 20 -vars 8  -depth 6 -lits 4 -all 8
qbf-inv -clauses 20 -vars 16 -depth 4 -lits 4 -all 8
qbf-inv -clauses 20 -vars 16 -depth 6 -lits 4 -all 8
qbf-inv -clauses 30 -vars 4  -depth 4 -lits 4 -all 8
qbf-inv -clauses 30 -vars 4  -depth 6 -lits 4 -all 8
qbf-inv -clauses 30 -vars 8  -depth 4 -lits 4 -all 8
qbf-inv -clauses 30 -vars 8  -depth 6 -lits 4 -all 8
qbf-inv -clauses 30 -vars 16 -depth 4 -lits 4 -all 8
qbf-inv -clauses 30 -vars 16 -depth 6 -lits 4 -all 8


echo "#########################################"
echo "  Periodic Satisfiability"

psat  -clauses 20 -vars 4  -depth 1 -lits 4 -all 8
psat  -clauses 20 -vars 4  -depth 2 -lits 4 -all 8
psat  -clauses 20 -vars 8  -depth 1 -lits 4 -all 8
psat  -clauses 20 -vars 8  -depth 2 -lits 4 -all 8
psat  -clauses 30 -vars 4  -depth 1 -lits 4 -all 8
psat  -clauses 30 -vars 4  -depth 2 -lits 4 -all 8
psat  -clauses 30 -vars 8  -depth 1 -lits 4 -all 8
psat  -clauses 30 -vars 8  -depth 2 -lits 4 -all 8
psat  -clauses 40 -vars 4  -depth 1 -lits 4 -all 8
psat  -clauses 40 -vars 4  -depth 2 -lits 4 -all 8
psat  -clauses 40 -vars 8  -depth 1 -lits 4 -all 8
psat  -clauses 40 -vars 8  -depth 2 -lits 4 -all 8

echo "#########################################"
echo "  Periodic Satisfiability with Inverse"

psat-inv -clauses 20 -vars 4  -depth 1 -lits 4 -all 8
psat-inv -clauses 20 -vars 4  -depth 2 -lits 4 -all 8
psat-inv -clauses 20 -vars 8  -depth 1 -lits 4 -all 8
psat-inv -clauses 20 -vars 8  -depth 2 -lits 4 -all 8
psat-inv -clauses 30 -vars 4  -depth 1 -lits 4 -all 8
psat-inv -clauses 30 -vars 4  -depth 2 -lits 4 -all 8
psat-inv -clauses 30 -vars 8  -depth 1 -lits 4 -all 8
psat-inv -clauses 30 -vars 8  -depth 2 -lits 4 -all 8
psat-inv -clauses 40 -vars 4  -depth 1 -lits 4 -all 8
psat-inv -clauses 40 -vars 4  -depth 2 -lits 4 -all 8
psat-inv -clauses 40 -vars 8  -depth 1 -lits 4 -all 8
psat-inv -clauses 40 -vars 8  -depth 2 -lits 4 -all 8