SOLVER: started
SOLVER:
running time: 1063.592
EV OOP: -17.510
EV IP: 17.510
MES OOP: -5.886
MES IP: 18.092
Exploitable for: 6.103
SOLVER:
running time: 2127.076
EV OOP: -16.939
EV IP: 16.939
MES OOP: -8.202
MES IP: 17.387
Exploitable for: 4.592
SOLVER:
running time: 3191.805
EV OOP: -16.472
EV IP: 16.472
MES OOP: -9.226
MES IP: 16.877
Exploitable for: 3.826
SOLVER:
running time: 4256.168
EV OOP: -16.076
EV IP: 16.077
MES OOP: -9.811
MES IP: 16.440
Exploitable for: 3.314
SOLVER:
running time: 5319.494
EV OOP: -15.728
EV IP: 15.728
MES OOP: -10.160
MES IP: 16.033
Exploitable for: 2.936
SOLVER:
running time: 6383.982
EV OOP: -15.451
EV IP: 15.451
MES OOP: -10.329
MES IP: 15.702
Exploitable for: 2.686
SOLVER:
running time: 7448.080
EV OOP: -15.228
EV IP: 15.228
MES OOP: -10.402
MES IP: 15.440
Exploitable for: 2.519
SOLVER:
running time: 8511.659
EV OOP: -15.022
EV IP: 15.022
MES OOP: -10.449
MES IP: 15.205
Exploitable for: 2.378
SOLVER:
running time: 9577.002
EV OOP: -14.702
EV IP: 14.702
MES OOP: -10.447
MES IP: 14.870
Exploitable for: 2.212
SOLVER:
running time: 10639.458
EV OOP: -14.449
EV IP: 14.449
MES OOP: -10.464
MES IP: 14.602
Exploitable for: 2.069
SOLVER:
running time: 11707.968
EV OOP: -14.243
EV IP: 14.243
MES OOP: -10.468
MES IP: 14.382
Exploitable for: 1.957
SOLVER:
running time: 12774.287
EV OOP: -14.071
EV IP: 14.071
MES OOP: -10.471
MES IP: 14.198
Exploitable for: 1.863
SOLVER:
running time: 13839.001
EV OOP: -13.926
EV IP: 13.926
MES OOP: -10.472
MES IP: 14.043
Exploitable for: 1.785
SOLVER:
running time: 14902.974
EV OOP: -13.802
EV IP: 13.802
MES OOP: -10.473
MES IP: 13.910
Exploitable for: 1.718
SOLVER:
running time: 15969.590
EV OOP: -13.695
EV IP: 13.695
MES OOP: -10.474
MES IP: 13.795
Exploitable for: 1.660
SOLVER:
running time: 17033.241
EV OOP: -13.602
EV IP: 13.602
MES OOP: -10.475
MES IP: 13.695
Exploitable for: 1.610
SOLVER:
running time: 18097.175
EV OOP: -13.520
EV IP: 13.520
MES OOP: -10.475
MES IP: 13.607
Exploitable for: 1.566
SOLVER:
running time: 19161.864
EV OOP: -13.447
EV IP: 13.447
MES OOP: -10.474
MES IP: 13.529
Exploitable for: 1.527
SOLVER:
running time: 20225.000
EV OOP: -13.382
EV IP: 13.382
MES OOP: -10.474
MES IP: 13.459
Exploitable for: 1.493
SOLVER:
running time: 21289.920
EV OOP: -13.323
EV IP: 13.323
MES OOP: -10.473
MES IP: 13.396
Exploitable for: 1.462
SOLVER:
running time: 22354.225
EV OOP: -13.270
EV IP: 13.270
MES OOP: -10.472
MES IP: 13.339
Exploitable for: 1.434
SOLVER:
running time: 23417.267
EV OOP: -13.222
EV IP: 13.222
MES OOP: -10.470
MES IP: 13.288
Exploitable for: 1.409
SOLVER:
running time: 24479.585
EV OOP: -13.178
EV IP: 13.178
MES OOP: -10.470
MES IP: 13.241
Exploitable for: 1.386
SOLVER:
running time: 25543.579
EV OOP: -13.138
EV IP: 13.137
MES OOP: -10.469
MES IP: 13.198
Exploitable for: 1.365
SOLVER:
running time: 26607.905
EV OOP: -13.101
EV IP: 13.101
MES OOP: -10.468
MES IP: 13.159
Exploitable for: 1.346
SOLVER:
running time: 27670.768
EV OOP: -13.067
EV IP: 13.067
MES OOP: -10.467
MES IP: 13.123
Exploitable for: 1.328
SOLVER:
running time: 28732.695
EV OOP: -13.036
EV IP: 13.036
MES OOP: -10.466
MES IP: 13.090
Exploitable for: 1.312
SOLVER:
running time: 29796.444
EV OOP: -13.006
EV IP: 13.006
MES OOP: -10.465
MES IP: 13.059
Exploitable for: 1.297
SOLVER:
running time: 30859.410
EV OOP: -12.979
EV IP: 12.979
MES OOP: -10.464
MES IP: 13.029
Exploitable for: 1.283
SOLVER:
running time: 31922.559
EV OOP: -12.953
EV IP: 12.953
MES OOP: -10.463
MES IP: 13.003
Exploitable for: 1.270
SOLVER:
running time: 32984.673
EV OOP: -12.930
EV IP: 12.930
MES OOP: -10.462
MES IP: 12.978
Exploitable for: 1.258
SOLVER:
running time: 34047.114
EV OOP: -12.908
EV IP: 12.908
MES OOP: -10.461
MES IP: 12.954
Exploitable for: 1.246
SOLVER:
running time: 35109.894
EV OOP: -12.887
EV IP: 12.887
MES OOP: -10.460
MES IP: 12.932
Exploitable for: 1.236
SOLVER:
running time: 36171.777
EV OOP: -12.868
EV IP: 12.868
MES OOP: -10.460
MES IP: 12.912
Exploitable for: 1.226
SOLVER:
running time: 37234.070
EV OOP: -12.849
EV IP: 12.849
MES OOP: -10.459
MES IP: 12.892
Exploitable for: 1.217
SOLVER:
running time: 38296.657
EV OOP: -12.832
EV IP: 12.832
MES OOP: -10.458
MES IP: 12.874
Exploitable for: 1.208
SOLVER:
running time: 39359.660
EV OOP: -12.815
EV IP: 12.815
MES OOP: -10.457
MES IP: 12.856
Exploitable for: 1.199
SOLVER:
running time: 40421.625
EV OOP: -12.799
EV IP: 12.799
MES OOP: -10.456
MES IP: 12.840
Exploitable for: 1.192
SOLVER:
running time: 41484.034
EV OOP: -12.784
EV IP: 12.784
MES OOP: -10.456
MES IP: 12.825
Exploitable for: 1.184
SOLVER:
running time: 42546.603
EV OOP: -12.771
EV IP: 12.771
MES OOP: -10.455
MES IP: 12.810
Exploitable for: 1.177
SOLVER:
running time: 43609.274
EV OOP: -12.757
EV IP: 12.757
MES OOP: -10.454
MES IP: 12.796
Exploitable for: 1.171
SOLVER:
running time: 44671.028
EV OOP: -12.745
EV IP: 12.745
MES OOP: -10.454
MES IP: 12.782
Exploitable for: 1.164
SOLVER:
running time: 45733.265
EV OOP: -12.732
EV IP: 12.732
MES OOP: -10.453
MES IP: 12.769
Exploitable for: 1.158
SOLVER:
running time: 46796.636
EV OOP: -12.719
EV IP: 12.719
MES OOP: -10.452
MES IP: 12.756
Exploitable for: 1.152
SOLVER:
running time: 47860.246
EV OOP: -12.707
EV IP: 12.707
MES OOP: -10.452
MES IP: 12.743
Exploitable for: 1.146
SOLVER:
running time: 48923.795
EV OOP: -12.695
EV IP: 12.695
MES OOP: -10.450
MES IP: 12.731
Exploitable for: 1.140
SOLVER:
running time: 49985.954
EV OOP: -12.684
EV IP: 12.684
MES OOP: -10.450
MES IP: 12.719
Exploitable for: 1.135
SOLVER:
running time: 51048.529
EV OOP: -12.672
EV IP: 12.672
MES OOP: -10.449
MES IP: 12.707
Exploitable for: 1.129
SOLVER:
running time: 52109.323
EV OOP: -12.661
EV IP: 12.661
MES OOP: -10.448
MES IP: 12.696
Exploitable for: 1.124
SOLVER:
running time: 53172.299
EV OOP: -12.651
EV IP: 12.651
MES OOP: -10.447
MES IP: 12.685
Exploitable for: 1.119
SOLVER:
running time: 54234.267
EV OOP: -12.641
EV IP: 12.641
MES OOP: -10.446
MES IP: 12.675
Exploitable for: 1.114