#!/bin/sh

PRI=../../princess

TESTS="./formula.001.pri \
       ./formula.002.pri \
       ./formula.003.pri \
       ./formula.004.pri \
       ./formula.005.pri \
       ./formula.006.pri \
       ./formula.007.pri \
       ./formula.008.pri \
       ./formula.009.pri \
       ./formula.010.pri \
       ./formula.011.pri \
       ./formula.012.pri \
       ./formula.013.pri \
       ./formula.014.pri \
       ./formula.015.pri \
       ./formula.016.pri \
       ./formula.017.pri \
       ./formula.018.pri \
       ./formula.019.pri \
       ./formula.020.pri \
       ./formula.021.pri \
       ./formula.022.pri \
       ./formula.023.pri \
       ./formula.024.pri \
       ./formula.025.pri \
       ./formula.026.pri \
       ./formula.027.pri \
       ./formula.028.pri \
       ./formula.029.pri \
       ./formula.030.pri \
       ./formula.031.pri \
       ./formula.032.pri \
       ./formula.033.pri \
       ./formula.034.pri \
       ./formula.035.pri \
       ./formula.036.pri \
       ./formula.037.pri \
       ./formula.038.pri \
       ./formula.039.pri \
       ./formula.040.pri \
       ./formula.041.pri \
       ./formula.042.pri \
       ./formula.043.pri \
       ./formula.044.pri \
       ./formula.045.pri \
       ./formula.046.pri \
       ./formula.047.pri \
       ./formula.048.pri \
       ./formula.049.pri \
       ./formula.050.pri \
       ./formula.051.pri \
       ./formula.052.pri \
       ./formula.053.pri \
       ./formula.054.pri \
       ./formula.055.pri \
       ./formula.056.pri \
       ./formula.057.pri \
       ./formula.058.pri \
       ./formula.059.pri \
       ./formula.060.pri \
       ./formula.061.pri \
       ./formula.062.pri \
       ./formula.063.pri \
       ./formula.064.pri \
       ./formula.065.pri \
       ./formula.066.pri \
       ./formula.067.pri \
       ./formula.068.pri \
       ./formula.069.pri \
       ./formula.070.pri \
       ./formula.071.pri \
       ./formula.072.pri \
       ./formula.073.pri \
       ./formula.074.pri \
       ./formula.075.pri \
       ./formula.076.pri \
       ./formula.077.pri \
       ./formula.078.pri \
       ./formula.079.pri \
       ./formula.080.pri \
       ./formula.081.pri \
       ./formula.082.pri \
       ./formula.083.pri \
       ./formula.084.pri \
       ./formula.085.pri \
       ./formula.086.pri \
       ./formula.087.pri \
       ./formula.088.pri \
       ./formula.089.pri \
       ./formula.090.pri \
       ./formula.091.pri \
       ./formula.092.pri \
       ./formula.093.pri \
       ./formula.094.pri \
       ./formula.095.pri \
       ./formula.096.pri \
       ./formula.097.pri \
       ./formula.098.pri \
       ./formula.099.pri \
       ./formula.100.pri \
       ./formula.101.pri \
       ./formula.102.pri \
       ./formula.103.pri \
       ./formula.104.pri \
       ./formula.105.pri \
       ./formula.106.pri \
       ./formula.107.pri \
       ./formula.108.pri \
       ./formula.109.pri \
       ./formula.110.pri \
       ./formula.111.pri \
       ./formula.112.pri \
       ./formula.113.pri \
       ./formula.114.pri \
       ./formula.115.pri \
       ./formula.116.pri \
       ./formula.117.pri \
       ./formula.118.pri \
       ./formula.119.pri \
       ./formula.120.pri \
       ./formula.121.pri \
       ./formula.122.pri \
       ./formula.123.pri \
       ./formula.124.pri \
       ./formula.125.pri \
       ./formula.126.pri \
       ./formula.127.pri \
       ./formula.128.pri \
       ./formula.129.pri \
       ./formula.130.pri \
       ./formula.131.pri \
       ./formula.132.pri \
       ./formula.133.pri \
       ./formula.134.pri \
       ./formula.135.pri \
       ./formula.136.pri \
       ./formula.137.pri \
       ./formula.138.pri \
       ./formula.139.pri \
       ./formula.140.pri \
       ./formula.141.pri \
       ./formula.142.pri \
       ./formula.143.pri \
       ./formula.144.pri \
       ./formula.145.pri \
       ./formula.146.pri \
       ./formula.147.pri \
       ./formula.148.pri \
       ./formula.149.pri \
       ./formula.150.pri \
       ./formula.151.pri \
       ./formula.152.pri \
       ./formula.153.pri \
       ./formula.154.pri \
       ./formula.155.pri \
       ./formula.156.pri \
       ./formula.157.pri \
       ./formula.158.pri \
       ./formula.159.pri \
       ./formula.160.pri \
       ./formula.161.pri \
       ./formula.162.pri \
       ./formula.163.pri \
       ./formula.164.pri \
       ./formula.165.pri \
       ./formula.166.pri \
       ./formula.167.pri \
       ./formula.168.pri \
       ./formula.169.pri \
       ./formula.170.pri \
       ./formula.171.pri \
       ./formula.172.pri \
       ./formula.173.pri \
       ./formula.174.pri \
       ./formula.175.pri \
       ./formula.176.pri \
       ./formula.177.pri \
       ./formula.178.pri \
       ./formula.179.pri \
       ./formula.180.pri \
       ./formula-E.001.pri \
       ./formula-E.002.pri \
       ./formula-E.003.pri \
       ./formula-E.004.pri \
       ./formula-E.005.pri \
       ./formula-E.006.pri \
       ./formula-E.007.pri \
       ./formula-E.008.pri \
       ./formula-E.009.pri \
       ./formula-E.010.pri \
       ./formula-E.011.pri \
       ./formula-E.012.pri \
       ./formula-E.013.pri \
       ./formula-E.014.pri \
       ./formula-E.015.pri \
       ./formula-E.016.pri \
       ./formula-E.017.pri \
       ./formula-E.018.pri \
       ./formula-E.019.pri \
       ./formula-E.020.pri \
       ./formula-E.021.pri \
       ./formula-E.022.pri \
       ./formula-E.023.pri \
       ./formula-E.024.pri \
       ./formula-E.025.pri \
       ./formula-E.026.pri \
       ./formula-E.027.pri \
       ./formula-E.028.pri \
       ./formula-E.029.pri \
       ./formula-E.030.pri \
       ./formula-E.031.pri \
       ./formula-E.032.pri \
       ./formula-E.033.pri \
       ./formula-E.034.pri \
       ./formula-E.035.pri \
       ./formula-E.036.pri \
       ./formula-E.037.pri \
       ./formula-E.038.pri \
       ./formula-E.039.pri \
       ./formula-E.040.pri \
       ./formula-E.041.pri \
       ./formula-E.042.pri \
       ./formula-E.043.pri \
       ./formula-E.044.pri \
       ./formula-E.045.pri \
       ./formula-E.046.pri \
       ./formula-E.047.pri \
       ./formula-E.048.pri \
       ./formula-E.049.pri \
       ./formula-E.050.pri \
       ./formula-E.051.pri \
       ./formula-E.052.pri \
       ./formula-E.053.pri \
       ./formula-E.054.pri \
       ./formula-E.055.pri \
       ./formula-E.056.pri \
       ./formula-E.057.pri \
       ./formula-E.058.pri \
       ./formula-E.059.pri \
       ./formula-E.060.pri \
       ./formula-E.061.pri \
       ./formula-E.062.pri \
       ./formula-E.063.pri \
       ./formula-E.064.pri \
       ./formula-E.065.pri \
       ./formula-E.066.pri \
       ./formula-E.067.pri \
       ./formula-E.068.pri \
       ./formula-E.069.pri \
       ./formula-E.070.pri \
       ./formula-E.071.pri \
       ./formula-E.072.pri \
       ./formula-E.073.pri \
       ./formula-E.074.pri \
       ./formula-E.075.pri \
       ./formula-E.076.pri \
       ./formula-E.077.pri \
       ./formula-E.078.pri \
       ./formula-E.079.pri \
       ./formula-E.080.pri \
       ./formula-E.081.pri \
       ./formula-E.082.pri \
       ./formula-E.083.pri \
       ./formula-E.084.pri \
       ./formula-E.085.pri \
       ./formula-E.086.pri \
       ./formula-E.087.pri \
       ./formula-E.088.pri \
       ./formula-E.089.pri \
       ./formula-E.090.pri \
       ./formula-E.091.pri \
       ./formula-E.092.pri \
       ./formula-E.093.pri \
       ./formula-E.094.pri \
       ./formula-E.095.pri \
       ./formula-E.096.pri \
       ./formula-E.097.pri \
       ./formula-E.098.pri \
       ./formula-E.099.pri \
       ./formula-E.100.pri \
       ./formula-EA.001.pri \
       ./formula-EA.002.pri \
       ./formula-EA.003.pri \
       ./formula-EA.004.pri \
       ./formula-EA.005.pri \
       ./formula-EA.006.pri \
       ./formula-EA.007.pri \
       ./formula-EA.008.pri \
       ./formula-EA.009.pri \
       ./formula-EA.010.pri \
       ./formula-EA.011.pri \
       ./formula-EA.012.pri \
       ./formula-EA.013.pri \
       ./formula-EA.014.pri \
       ./formula-EA.015.pri \
       ./formula-EA.016.pri \
       ./formula-EA.017.pri \
       ./formula-EA.018.pri \
       ./formula-EA.019.pri \
       ./formula-EA.020.pri \
       ./formula-EA.021.pri \
       ./formula-EA.022.pri \
       ./formula-EA.023.pri \
       ./formula-EA.024.pri \
       ./formula-EA.025.pri \
       ./formula-EA.026.pri \
       ./formula-EA.027.pri \
       ./formula-EA.028.pri \
       ./formula-EA.029.pri \
       ./formula-EA.030.pri \
       ./formula-EA.031.pri \
       ./formula-EA.032.pri \
       ./formula-EA.033.pri \
       ./formula-EA.034.pri \
       ./formula-EA.035.pri \
       ./formula-EA.036.pri \
       ./formula-EA.073.pri"

# the returned constraints and witnesses are filtered out, because
# this data is too unstable and would cause the test cases to fail
# most of the time
$PRI "$@" $TESTS 2>&1 | grep -v "^[(x!41\\]" | grep -v "^true"
