#!/bin/sh
adapt P | tee solverlog
adapt N | tee solverlogneg
