Big Tree (5 bet sizes, 2 raise sizes), latest versions of the solvers as of September 2020. Solved on Intel i7-7800X / Win10.
      In this case Jesolver is 8.3x faster. Jesolver runs in the new fast mode which uses 7660 MB of memory vs PioSOLVER's 6378 MB.

      

      Amazon EC2 c5.24xlarge (Intel Xeon Platinum 8275CL, 48 cores / 96 threads), Windows Server 2019.  Jesolver is 16.6x faster.

      

BigTree.txt

Solver outputs:

---------------------
              
Jesolver pro (piosolver) build 1061 (Sep 14 2020, 12:50:44)
(c) Oskari Tammelin (ot@iki.fi)
[verbosity 1]
[load_script script20-02-12_14-15-46_monotone.txt]
[set_range 0 min 0 max 1 nonzero 342 rtz 0]
[set_range 1 min 0 max 0.8698 nonzero 204 rtz 0]
[uncompressed storage 10774 MB]
[compression set -1 (auto) actual 5 (fast)]
[accuracy 0.06 (0.005 fraction)]
[go 12 threads]
SOLVER: started
SOLVER:
running time: 25.160
EV OOP: 6.040
EV IP: 5.960
OOP's MES: 13.646
IP's MES: 12.504
Exploitable for: 7.075
END
[25 iterations | cpu time 321.1s | peak working set 4057 MB]
SOLVER:
running time: 51.561
EV OOP: 6.015
EV IP: 5.985
OOP's MES: 9.773
IP's MES: 10.379
Exploitable for: 4.076
END
[50 iterations | cpu time 633.4s | peak working set 4059 MB]
SOLVER:
running time: 79.928
EV OOP: 5.809
EV IP: 6.191
OOP's MES: 6.718
IP's MES: 7.047
Exploitable for: 0.882
END
[75 iterations | cpu time 980.3s | peak working set 7659 MB]
SOLVER:
running time: 107.148
EV OOP: 5.816
EV IP: 6.184
OOP's MES: 6.410
IP's MES: 6.891
Exploitable for: 0.651
END
[100 iterations | cpu time 1306.4s | peak working set 7660 MB]
SOLVER:
running time: 134.135
EV OOP: 5.827
EV IP: 6.173
OOP's MES: 6.225
IP's MES: 6.654
Exploitable for: 0.439
END
[125 iterations | cpu time 1630.7s | peak working set 7660 MB]
SOLVER:
running time: 160.580
EV OOP: 5.831
EV IP: 6.169
OOP's MES: 6.116
IP's MES: 6.534
Exploitable for: 0.325
END
[150 iterations | cpu time 1947.4s | peak working set 7660 MB]
SOLVER:
running time: 187.126
EV OOP: 5.835
EV IP: 6.165
OOP's MES: 6.031
IP's MES: 6.413
Exploitable for: 0.222
END
[175 iterations | cpu time 2265.0s | peak working set 7660 MB]
SOLVER:
running time: 213.084
EV OOP: 5.837
EV IP: 6.163
OOP's MES: 5.990
IP's MES: 6.346
Exploitable for: 0.168
END
[200 iterations | cpu time 2576.5s | peak working set 7660 MB]
SOLVER:
running time: 239.268
EV OOP: 5.838
EV IP: 6.162
OOP's MES: 5.961
IP's MES: 6.306
Exploitable for: 0.133
END
[225 iterations | cpu time 2890.6s | peak working set 7660 MB]
SOLVER:
running time: 265.002
EV OOP: 5.839
EV IP: 6.161
OOP's MES: 5.947
IP's MES: 6.291
Exploitable for: 0.119
END
[250 iterations | cpu time 3198.2s | peak working set 7660 MB]
SOLVER:
running time: 290.829
EV OOP: 5.840
EV IP: 6.160
OOP's MES: 5.931
IP's MES: 6.267
Exploitable for: 0.099
END
[275 iterations | cpu time 3507.6s | peak working set 7660 MB]
SOLVER:
running time: 316.508
EV OOP: 5.841
EV IP: 6.159
OOP's MES: 5.920
IP's MES: 6.253
Exploitable for: 0.086
END
[300 iterations | cpu time 3814.9s | peak working set 7660 MB]
SOLVER:
running time: 341.877
EV OOP: 5.841
EV IP: 6.159
OOP's MES: 5.911
IP's MES: 6.241
Exploitable for: 0.076
END
[325 iterations | cpu time 4118.7s | peak working set 7660 MB]
SOLVER:
running time: 367.942
EV OOP: 5.842
EV IP: 6.158
OOP's MES: 5.904
IP's MES: 6.234
Exploitable for: 0.069
END
[350 iterations | cpu time 4427.4s | peak working set 7660 MB]
SOLVER:
running time: 393.252
EV OOP: 5.842
EV IP: 6.158
OOP's MES: 5.900
IP's MES: 6.229
Exploitable for: 0.064
END
[375 iterations | cpu time 4730.5s | peak working set 7660 MB]
SOLVER:
running time: 418.898
EV OOP: 5.842
EV IP: 6.158
OOP's MES: 5.895
IP's MES: 6.221
Exploitable for: 0.058
END
[400 iterations | cpu time 5038.0s | peak working set 7660 MB]
SOLVER: stopped (required accuracy reached)

---------------------

PioSOLVER-edge 1.10.21 (Sep 25 2019, 09:23:45)
(c) Piotr Lopusiewicz
SOLVER: started
SOLVER:
running time: 82.795
EV OOP: 5.272
EV IP: 6.728
OOP's MES: 10.190
IP's MES: 10.238
Exploitable for: 4.214
END
SOLVER:
running time: 163.416
EV OOP: 5.500
EV IP: 6.500
OOP's MES: 8.476
IP's MES: 8.312
Exploitable for: 2.394
END
SOLVER:
running time: 244.229
EV OOP: 5.684
EV IP: 6.316
OOP's MES: 7.402
IP's MES: 7.620
Exploitable for: 1.511
END
SOLVER:
running time: 324.846
EV OOP: 5.745
EV IP: 6.255
OOP's MES: 6.869
IP's MES: 7.171
Exploitable for: 1.020
END
SOLVER:
running time: 406.023
EV OOP: 5.771
EV IP: 6.229
OOP's MES: 6.590
IP's MES: 6.924
Exploitable for: 0.757
END
SOLVER:
running time: 487.115
EV OOP: 5.789
EV IP: 6.211
OOP's MES: 6.430
IP's MES: 6.766
Exploitable for: 0.598
END
SOLVER:
running time: 568.041
EV OOP: 5.802
EV IP: 6.198
OOP's MES: 6.320
IP's MES: 6.663
Exploitable for: 0.491
END
SOLVER:
running time: 648.355
EV OOP: 5.809
EV IP: 6.191
OOP's MES: 6.242
IP's MES: 6.588
Exploitable for: 0.415
END
SOLVER:
running time: 729.452
EV OOP: 5.814
EV IP: 6.186
OOP's MES: 6.188
IP's MES: 6.530
Exploitable for: 0.359
END
SOLVER:
running time: 810.537
EV OOP: 5.817
EV IP: 6.183
OOP's MES: 6.147
IP's MES: 6.485
Exploitable for: 0.316
END
SOLVER:
running time: 891.448
EV OOP: 5.820
EV IP: 6.180
OOP's MES: 6.116
IP's MES: 6.445
Exploitable for: 0.281
END
SOLVER:
running time: 972.204
EV OOP: 5.822
EV IP: 6.178
OOP's MES: 6.088
IP's MES: 6.414
Exploitable for: 0.251
END
SOLVER:
running time: 1052.918
EV OOP: 5.825
EV IP: 6.175
OOP's MES: 6.062
IP's MES: 6.390
Exploitable for: 0.226
END
SOLVER:
running time: 1133.765
EV OOP: 5.826
EV IP: 6.174
OOP's MES: 6.044
IP's MES: 6.371
Exploitable for: 0.207
END
SOLVER:
running time: 1214.298
EV OOP: 5.828
EV IP: 6.172
OOP's MES: 6.029
IP's MES: 6.354
Exploitable for: 0.191
END
SOLVER:
running time: 1294.770
EV OOP: 5.829
EV IP: 6.171
OOP's MES: 6.015
IP's MES: 6.340
Exploitable for: 0.178
END
SOLVER:
running time: 1375.553
EV OOP: 5.831
EV IP: 6.169
OOP's MES: 6.003
IP's MES: 6.328
Exploitable for: 0.166
END
SOLVER:
running time: 1456.344
EV OOP: 5.831
EV IP: 6.169
OOP's MES: 5.993
IP's MES: 6.318
Exploitable for: 0.155
END
SOLVER:
running time: 1536.794
EV OOP: 5.832
EV IP: 6.168
OOP's MES: 5.984
IP's MES: 6.308
Exploitable for: 0.146
END
SOLVER:
running time: 1617.235
EV OOP: 5.833
EV IP: 6.167
OOP's MES: 5.975
IP's MES: 6.299
Exploitable for: 0.137
END
SOLVER:
running time: 1697.917
EV OOP: 5.833
EV IP: 6.167
OOP's MES: 5.968
IP's MES: 6.292
Exploitable for: 0.130
END
SOLVER:
running time: 1778.619
EV OOP: 5.834
EV IP: 6.166
OOP's MES: 5.961
IP's MES: 6.285
Exploitable for: 0.123
END
SOLVER:
running time: 1859.413
EV OOP: 5.834
EV IP: 6.166
OOP's MES: 5.955
IP's MES: 6.278
Exploitable for: 0.117
END
SOLVER:
running time: 1940.099
EV OOP: 5.835
EV IP: 6.165
OOP's MES: 5.950
IP's MES: 6.272
Exploitable for: 0.111
END
SOLVER:
running time: 2020.649
EV OOP: 5.835
EV IP: 6.165
OOP's MES: 5.945
IP's MES: 6.268
Exploitable for: 0.106
END
SOLVER:
running time: 2101.512
EV OOP: 5.836
EV IP: 6.164
OOP's MES: 5.941
IP's MES: 6.263
Exploitable for: 0.102
END
SOLVER:
running time: 2182.221
EV OOP: 5.836
EV IP: 6.164
OOP's MES: 5.937
IP's MES: 6.259
Exploitable for: 0.098
END
SOLVER:
running time: 2263.225
EV OOP: 5.836
EV IP: 6.164
OOP's MES: 5.933
IP's MES: 6.255
Exploitable for: 0.094
END
SOLVER:
running time: 2343.879
EV OOP: 5.836
EV IP: 6.164
OOP's MES: 5.930
IP's MES: 6.252
Exploitable for: 0.091
END
SOLVER:
running time: 2424.684
EV OOP: 5.837
EV IP: 6.163
OOP's MES: 5.927
IP's MES: 6.248
Exploitable for: 0.087
END
SOLVER:
running time: 2505.440
EV OOP: 5.837
EV IP: 6.163
OOP's MES: 5.924
IP's MES: 6.245
Exploitable for: 0.084
END
SOLVER:
running time: 2586.386
EV OOP: 5.837
EV IP: 6.163
OOP's MES: 5.921
IP's MES: 6.242
Exploitable for: 0.081
END
SOLVER:
running time: 2666.991
EV OOP: 5.837
EV IP: 6.163
OOP's MES: 5.918
IP's MES: 6.239
Exploitable for: 0.079
END
SOLVER:
running time: 2747.646
EV OOP: 5.838
EV IP: 6.162
OOP's MES: 5.916
IP's MES: 6.237
Exploitable for: 0.076
END
SOLVER:
running time: 2829.535
EV OOP: 5.838
EV IP: 6.162
OOP's MES: 5.914
IP's MES: 6.234
Exploitable for: 0.074
END
SOLVER:
running time: 2910.456
EV OOP: 5.838
EV IP: 6.162
OOP's MES: 5.912
IP's MES: 6.232
Exploitable for: 0.072
END
SOLVER:
running time: 2991.090
EV OOP: 5.838
EV IP: 6.162
OOP's MES: 5.910
IP's MES: 6.230
Exploitable for: 0.070
END
SOLVER:
running time: 3071.740
EV OOP: 5.838
EV IP: 6.162
OOP's MES: 5.908
IP's MES: 6.227
Exploitable for: 0.068
END
SOLVER:
running time: 3152.705
EV OOP: 5.838
EV IP: 6.162
OOP's MES: 5.906
IP's MES: 6.226
Exploitable for: 0.066
END
SOLVER:
running time: 3233.341
EV OOP: 5.838
EV IP: 6.162
OOP's MES: 5.904
IP's MES: 6.224
Exploitable for: 0.064
END
SOLVER:
running time: 3313.817
EV OOP: 5.839
EV IP: 6.161
OOP's MES: 5.903
IP's MES: 6.222
Exploitable for: 0.062
END
SOLVER:
running time: 3394.052
EV OOP: 5.839
EV IP: 6.161
OOP's MES: 5.901
IP's MES: 6.220
Exploitable for: 0.061
END
SOLVER:
running time: 3474.425
EV OOP: 5.839
EV IP: 6.161
OOP's MES: 5.900
IP's MES: 6.219
Exploitable for: 0.059
END
SOLVER: stopped (required accuracy reached)