+++ /dev/null
-#!/usr/bin/env tesh
-
-! timeout 300
-! expect return 0
-! output sort
-$ ${bindir:=.}/maxmin_bench big 1
-> Starting 0: (845)
-> Starting to solve(858)
-> 1x One shot execution time for a total of 2000 constraints, 2000 variables with 96 active constraint each, concurrency in [32,288] and max concurrency share 2