-#! ./tesh
+#!/usr/bin/env tesh
-! timeout 40
+! timeout 300
! expect return 0
-$ ./maxmin_bench big 3
-> Starting to solve
-> Starting to solve
-> Starting to solve
-> 3x 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
-
+! 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