context[
    config[
        gamekind: "CSP"
        turnduration: 60
        mindecrement: 0.01
        initacc: 100.0
        maxProposals: 5
        minProposals: 1
        minPropositions: 1
        objective: []
        predicate: SlowPitch [1000]
        numrounds: 15
        profitfactor: 2.0
        otrounds: 2
        hasSecrets: true
        secretRatio: 0.2 
    ]
     10
     100.0
     4
     ()
     ()
     ()
     ( provided[ 10 v1 v10 v2 v3 v4 v5 v6 v7 v8 v9  
          (2 {1} v3 v2 v1 ) (2 {1} v4 v2 v1 ) (2 {1} v4 v3 v1 ) (2 {1} v4 v3 v2 ) (2 {1} v5 v2 v1 )
          (2 {1} v5 v3 v1 ) (2 {1} v5 v3 v2 ) (2 {1} v5 v4 v1 ) (2 {1} v5 v4 v2 ) (2 {1} v5 v4 v3 )
          (2 {1} v6 v2 v1 ) (2 {1} v6 v3 v1 ) (2 {1} v6 v3 v2 ) (2 {1} v6 v4 v1 ) (2 {1} v6 v4 v2 )
          (2 {1} v6 v4 v3 ) (2 {1} v6 v5 v1 ) (2 {1} v6 v5 v2 ) (2 {1} v6 v5 v3 ) (2 {1} v6 v5 v4 )
          (2 {1} v7 v2 v1 ) (2 {1} v7 v3 v1 ) (2 {1} v7 v3 v2 ) (2 {1} v7 v4 v1 ) (2 {1} v7 v4 v2 )
          (2 {1} v7 v4 v3 ) (2 {1} v7 v5 v1 ) (2 {1} v7 v5 v2 ) (2 {1} v7 v5 v3 ) (2 {1} v7 v5 v4 )
          (2 {1} v7 v6 v1 ) (2 {1} v7 v6 v2 ) (2 {1} v7 v6 v3 ) (2 {1} v7 v6 v4 ) (2 {1} v7 v6 v5 )
          (2 {1} v8 v2 v1 ) (2 {1} v8 v3 v1 ) (2 {1} v8 v3 v2 ) (2 {1} v8 v4 v1 ) (2 {1} v8 v4 v2 ) 
          (2 {1} v8 v4 v3 ) (2 {1} v8 v5 v1 ) (2 {1} v8 v5 v2 ) (2 {1} v8 v5 v3 ) (2 {1} v8 v5 v4 ) 
          (2 {1} v8 v6 v1 ) (2 {1} v8 v6 v2 ) (2 {1} v8 v6 v3 ) (2 {1} v8 v6 v4 ) (2 {1} v8 v6 v5 ) 
          (2 {1} v8 v7 v1 ) (2 {1} v8 v7 v2 ) (2 {1} v8 v7 v3 ) (2 {1} v8 v7 v4 ) (2 {1} v8 v7 v5 ) 
          (2 {1} v8 v7 v6 ) (2 {1} v9 v2 v1 ) (2 {1} v9 v3 v1 ) (2 {1} v9 v3 v2 ) (2 {1} v9 v4 v1 ) 
          (2 {1} v9 v4 v2 ) (2 {1} v9 v4 v3 ) (2 {1} v9 v5 v1 ) (2 {1} v9 v5 v2 ) (2 {1} v9 v5 v3 ) 
          (2 {1} v9 v5 v4 ) (2 {1} v9 v6 v1 ) (2 {1} v9 v6 v2 ) (2 {1} v9 v6 v3 ) (2 {1} v9 v6 v4 ) 
          (2 {1} v9 v6 v5 ) (2 {1} v9 v7 v1 ) (2 {1} v9 v7 v2 ) (2 {1} v9 v7 v3 ) (2 {1} v9 v7 v4 ) 
          (2 {1} v9 v7 v5 ) (2 {1} v9 v7 v6 ) (2 {1} v9 v8 v1 ) (2 {1} v9 v8 v2 ) (2 {1} v9 v8 v3 ) 
          (2 {1} v9 v8 v4 ) (2 {1} v9 v8 v5 ) (2 {1} v9 v8 v6 ) (2 {1} v9 v8 v7 ) (2 {1} v10 v2 v1 ) 
          (2 {1} v10 v3 v1 ) (2 {1} v10 v3 v2 ) (2 {1} v10 v4 v1 ) (2 {1} v10 v4 v2 ) (2 {1} v10 v4 v3 ) 
          (2 {1} v10 v5 v1 ) (2 {1} v10 v5 v2 ) (2 {1} v10 v5 v3 ) (2 {1} v10 v5 v4 ) (2 {1} v10 v6 v1 ) 
          (2 {1} v10 v6 v2 ) (2 {1} v10 v6 v3 ) (2 {1} v10 v6 v4 ) (2 {1} v10 v6 v5 ) (2 {1} v10 v7 v1 ) 
          (2 {1} v10 v7 v2 ) (2 {1} v10 v7 v3 ) (2 {1} v10 v7 v4 ) (2 {1} v10 v7 v5 ) (2 {1} v10 v7 v6 ) 
          (2 {1} v10 v8 v1 ) (2 {1} v10 v8 v2 ) (2 {1} v10 v8 v3 ) (2 {1} v10 v8 v4 ) (2 {1} v10 v8 v5 ) 
          (2 {1} v10 v8 v6 ) (2 {1} v10 v8 v7 ) (2 {1} v10 v9 v1 ) (2 {1} v10 v9 v2 ) (2 {1} v10 v9 v3 ) 
          (2 {1} v10 v9 v4 ) (2 {1} v10 v9 v5 ) (2 {1} v10 v9 v6 ) (2 {1} v10 v9 v7 ) (2 {1} v10 v9 v8 )
          10 200 (2) 0.3190712736521433 all] )
]
