PB'11 competition: satisfaction and optimization track: benchmarks results per solver
Result page for solver clasp
2.0-R4191-patched (fixed)
(complete)
Category "optimisation, small integers, non linear constraints" (OPT-SMALLINT-NLC)
Solver found optimum (OPTIMUM FOUND) (280 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_10_4_5.opb
OPT
-4
0
0.005901
3491904
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_10_4_5.opb
OPT
2
0
0.00579612
3491864
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=29-P1=23-B.opb
OPT
3
0.000999
0.00590008
3491614
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=23-P1=11-B.opb
OPT
3
0.000999
0.00583892
3491765
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_10_4_1.opb
OPT
2
0.000999
0.00580101
3491850
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=47-P1=37-B.opb
OPT
3
0.000999
0.0057279
3491674
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_10_4_1.opb
OPT
-3
0.000999
0.00581704
3491892
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_10_4_3.opb
OPT
-3
0.000999
0.00591301
3491875
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=17-P1=5-B.opb
OPT
3
0.000999
0.00576107
3491751
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_10_4_4.opb
OPT
-3
0.000999
0.00605591
3491910
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=3-P1=37-B.opb
OPT
3
0.000999
0.0058151
3491626
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_10_4_2.opb
OPT
2
0.000999
0.00580592
3491848
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_10_4_3.opb
OPT
2
0.000999
0.00565992
3491836
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_10_4_2.opb
OPT
-3
0.000999
0.00571611
3491989
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_10_4_4.opb
OPT
2
0.000999
0.00575606
3491843
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=59-P1=29-B.opb
OPT
3
0.000999
0.00581409
3491759
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_10_4_4.opb
OPT
-4
0.000999
0.00572003
3491963
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_10_4_3.opb
OPT
-3
0.001998
0.00570805
3491987
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_10_4_5.opb
OPT
-4
0.001998
0.00574899
3491990
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=13-P1=13-B.opb
OPT
3
0.001998
0.00583792
3491661
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=5-P0=2-P1=23-P2=17-B.opb
OPT
2
0.001998
0.00592498
3491711
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_10_4_2.opb
OPT
-3
0.001999
0.00601491
3491909
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=5-P0=11-P1=2-P2=23-B.opb
OPT
2
0.001999
0.00573501
3491677
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=59-P1=97-B.opb
OPT
3
0.001999
0.00582301
3491604
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=41-P1=19-B.opb
OPT
3
0.001999
0.00590209
3491731
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_10_4_1.opb
OPT
-3
0.001999
0.00577888
3491979
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=61-P1=67-B.opb
OPT
3
0.002998
0.00577393
3491738
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=59-P1=37-B.opb
OPT
3
0.002998
0.00594295
3491675
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=37-P1=43-B.opb
OPT
3
0.002998
0.00585594
3491650
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=2-P1=23-P2=29-P3=19-B.opb
OPT
2
0.002998
0.00581908
3491755
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=157-P1=47-B.opb
OPT
3
0.002999
0.0058661
3491633
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=157-P1=107-B.opb
OPT
3
0.002999
0.00582112
3491791
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=79-P1=41-B.opb
OPT
3
0.003998
0.00580804
3491647
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=5-P0=29-P1=13-P2=19-B.opb
OPT
3
0.003998
0.00579602
3491607
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=5-P0=11-P1=31-P2=17-B.opb
OPT
3
0.003998
0.00580394
3491799
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_25_2.opb
OPT
-6
0.003999
0.006024
3491912
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_25_1.opb
OPT
-6
0.003999
0.00595804
3491919
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=5-P0=23-P1=11-P2=19-B.opb
OPT
3
0.003999
0.00576605
3491775
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_25_3.opb
OPT
-6
0.004998
0.00591698
3491913
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_25_4.opb
OPT
-6
0.004998
0.00597197
3491887
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_25_5.opb
OPT
-6
0.004999
0.00625499
3491907
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=83-P1=11-B.opb
OPT
3
0.004999
0.00587594
3491645
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=31-P1=23-P2=2-P3=17-P4=17-B.opb
OPT
2
0.004999
0.00932992
3491597
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=29-P1=17-P2=2-P3=19-P4=13-B.opb
OPT
2
0.004999
0.00580889
3491779
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=61-P1=53-B.opb
OPT
3
0.005998
0.00647406
3491802
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=5-P1=173-B.opb
OPT
3
0.006998
0.007355
3491764
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_25_4.opb
OPT
2
0.008998
0.00961399
3491846
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_25_3.opb
OPT
2
0.008998
0.00982102
3491834
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_25_2.opb
OPT
2
0.009997
0.0102201
3491871
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=271-P1=293-B.opb
OPT
3
0.010998
0.011928
3491735
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_25_5.opb
OPT
3
0.011998
0.012887
3491847
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=67-P1=71-B.opb
OPT
3
0.013997
0.0159999
3491748
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=2-P1=31-P2=13-P3=31-P4=31-B.opb
OPT
2
0.013997
0.0145939
3491736
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=6-P0=37-P1=23-P2=5-B.opb
OPT
3
0.013997
0.015954
3491767
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_25_1.opb
OPT
3
0.013997
0.014424
3491828
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=179-P1=37-B.opb
OPT
3
0.014997
0.014172
3491693
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=53-P2=59-B.opb
OPT
3
0.015997
0.016313
3491644
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=6-P0=19-P1=53-P2=37-B.opb
OPT
3
0.016997
0.0200381
3491600
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=5-P1=7-P2=11-B.opb
OPT
3
0.017997
0.020774
3491679
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=23-P1=29-P2=23-P3=19-P4=2-P5=23-B.opb
OPT
2
0.018997
0.0202171
3491654
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=2-P1=13-P2=23-P3=29-P4=29-P5=11-B.opb
OPT
2
0.019996
0.0199861
3491801
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=19-P1=29-P2=19-P3=23-P4=2-P5=29-P6=7-B.opb
OPT
2
0.019996
0.0213319
3491811
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=97-P1=127-B.opb
OPT
3
0.019996
0.021539
3491804
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=6-P0=53-P1=41-P2=53-B.opb
OPT
3
0.020996
0.021339
3491630
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=263-P1=269-B.opb
OPT
3
0.020996
0.02144
3491666
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_10_3.opb
OPT
-13
0.022995
0.0238161
3491874
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_10_5.opb
OPT
-13
0.022996
0.023509
3491877
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=71-P1=439-B.opb
OPT
3
0.022996
0.0269461
3491595
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=223-P1=73-B.opb
OPT
3
0.026995
0.027221
3491710
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=11-P1=29-P2=19-P3=7-P4=2-P5=13-P6=23-B.opb
OPT
2
0.027994
0.0282699
3491696
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=17-P1=13-P2=29-P3=11-B.opb
OPT
3
0.028995
0.039864
3491708
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_10_4.opb
OPT
-12
0.029994
0.029717
3491889
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_10_1.opb
OPT
-12
0.030995
0.032114
3491884
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_10_2.opb
OPT
-12
0.032994
0.0321349
3491925
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=13-P1=5-P2=17-P3=2-P4=29-P5=5-P6=19-P7=17-P8=5-B.opb
OPT
2
0.034994
0.0354109
3491632
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=23-P1=29-P2=31-P3=29-B.opb
OPT
3
0.037994
0.038871
3491697
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=3-P1=7-P2=31-P3=29-B.opb
OPT
3
0.040992
0.040822
3491678
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=19-P1=23-P2=23-P3=23-B.opb
OPT
3
0.040993
0.0413459
3491747
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=17-P1=13-P2=29-P3=37-P4=23-B.opb
OPT
3
0.044992
0.045089
3491681
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=17-P1=29-P2=17-P3=19-P4=2-P5=11-P6=29-P7=17-P8=5-B.opb
OPT
2
0.044993
0.045998
3491761
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=17-P1=7-P2=11-P3=17-P4=11-B.opb
OPT
3
0.050992
0.0509751
3491589
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=29-P1=31-P2=13-P3=17-P4=29-P5=2-P6=29-B.opb
OPT
2
0.05899
0.0590459
3491685
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=53-P1=13-P2=23-P3=47-P4=2-B.opb
OPT
2
0.05899
0.0586521
3491700
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=7-P0=89-P1=17-P2=37-B.opb
OPT
3
0.068989
0.069191
3491624
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=17-P1=17-P2=13-P3=17-P4=29-B.opb
OPT
3
0.069989
0.0711671
3491646
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=17-P1=13-P2=11-P3=19-P4=11-P5=23-B.opb
OPT
3
0.070988
0.07177
3491588
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=59-P1=23-P2=29-P3=41-B.opb
OPT
3
0.070989
0.071542
3491701
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=127-P1=13-P2=109-B.opb
OPT
3
0.072988
0.0737421
3491698
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=17-P1=53-P2=109-B.opb
OPT
3
0.074988
0.0754159
3491699
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=107-P1=73-P2=127-B.opb
OPT
3
0.076987
0.0766151
3491593
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=29-P1=11-P2=11-P3=17-P4=29-P5=23-B.opb
OPT
3
0.080986
0.0807411
3491610
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
roussel/factor-mod-B/factor-mod-size=7-P0=23-P1=29-P2=43-B.opb
OPT
3
0.081987
0.0840639
3491727
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=29-P1=29-P2=17-P3=7-P4=5-P5=13-P6=5-B.opb
OPT
3
0.085986
0.0868041
3491741
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=7-P1=11-P2=23-P3=23-P4=29-P5=31-P6=13-B.opb
OPT
3
0.091985
0.0919311
3491746
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=23-P1=31-P2=23-P3=7-P4=31-P5=19-P6=31-P7=11-P8=2-B.opb
OPT
2
0.094984
0.0946781
3491690
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_10_1.opb
OPT
5
0.101984
0.10185
3491872
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=11-P1=7-P2=23-P3=11-P4=23-P5=37-P6=17-P7=29-B.opb
OPT
3
0.106983
0.108193
3491687
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=19-P1=5-P2=7-P3=19-P4=29-P5=29-B.opb
OPT
3
0.117982
0.118455
3491657
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=3-P1=19-P2=2-P3=19-P4=17-P5=13-P6=37-P7=5-B.opb
OPT
2
0.12398
0.124219
3491702
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=2-P1=29-P2=11-P3=7-P4=17-P5=11-P6=7-P7=29-P8=11-P9=5-B.opb
OPT
2
0.128979
0.129206
3491716
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=23-P1=7-P2=29-P3=5-P4=2-P5=13-P6=37-P7=29-B.opb
OPT
2
0.144977
0.144696
3491704
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_10_2.opb
OPT
5
0.149977
0.152604
3491851
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=11-P1=23-P2=2-P3=5-P4=29-P5=7-P6=23-P7=17-B.opb
OPT
2
0.157975
0.159339
3491744
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=17-P1=29-P2=13-P3=37-P4=29-P5=29-P6=11-P7=11-P8=31-P9=17-B.opb
OPT
3
0.169974
0.171093
3491668
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=5-P1=13-P2=29-P3=13-P4=7-P5=5-P6=37-P7=7-P8=29-B.opb
OPT
3
0.174973
0.175829
3491616
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=29-P1=19-P2=29-P3=5-P4=17-P5=5-P6=5-P7=13-P8=31-B.opb
OPT
3
0.174973
0.174918
3491659
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=13-P1=29-P2=29-P3=31-P4=37-P5=17-P6=29-P7=3-P8=29-P9=17-B.opb
OPT
3
0.189971
0.190411
3491671
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=11-P1=13-P2=29-P3=23-P4=5-P5=29-P6=29-P7=31-P8=29-P9=31-B.opb
OPT
3
0.19097
0.191716
3491605
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=31-P1=31-P2=37-P3=37-B.opb
OPT
3
0.200968
0.201123
3491662
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=5-P1=23-P2=17-P3=7-P4=23-P5=23-P6=17-P7=31-B.opb
OPT
3
0.214967
0.214287
3491639
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb
OPT
2
0.225965
0.226679
3491750
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=37-P1=59-P2=17-P3=29-P4=2-P5=29-B.opb
OPT
2
0.226965
0.228123
3491740
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=59-P1=53-P2=11-P3=59-B.opb
OPT
3
0.250961
0.252208
3491643
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=47-P1=17-P2=17-P3=31-B.opb
OPT
3
0.25296
0.253209
3491706
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=47-P1=67-P2=7-P3=59-P4=59-B.opb
OPT
3
0.315951
0.315965
3491773
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=5-P1=11-P2=11-P3=29-P4=29-P5=23-P6=29-P7=17-P8=29-P9=17-B.opb
OPT
3
0.32695
0.328019
3491596
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=257-P1=97-P2=149-B.opb
OPT
3
0.372943
0.37394
3491664
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=127-P1=71-P2=13-B.opb
OPT
3
0.377941
0.377912
3491742
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=227-P1=23-P2=89-B.opb
OPT
3
0.380942
0.381359
3491676
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=19-P1=211-P2=79-B.opb
OPT
3
0.401938
0.4028
3491809
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=191-P1=43-P2=41-B.opb
OPT
3
0.422935
0.424689
3491785
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=13-P1=23-P2=59-P3=41-P4=53-B.opb
OPT
3
0.470928
0.472417
3491784
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=31-P1=53-P2=29-P3=29-P4=31-P5=19-B.opb
OPT
3
0.476926
0.478641
3491786
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=11-P1=37-P2=37-P3=29-B.opb
OPT
3
0.511921
0.512372
3491636
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=59-P1=23-P2=2-P3=37-P4=53-P5=47-P6=31-B.opb
OPT
2
0.515921
0.515897
3491780
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=53-P1=17-P2=17-P3=13-P4=17-P5=61-B.opb
OPT
3
0.515921
0.516894
3491803
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=53-P1=43-P2=37-P3=59-P4=29-P5=29-B.opb
OPT
3
0.532918
0.534562
3491772
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=41-P1=37-P2=47-P3=2-P4=7-P5=29-P6=53-B.opb
OPT
2
0.627903
0.629002
3491653
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_10_4.opb
OPT
6
0.6519
0.652379
3491844
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=47-P1=17-P2=37-P3=53-P4=13-P5=13-B.opb
OPT
3
0.667897
0.667632
3491598
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_10_3.opb
OPT
6
0.667897
0.669858
3491826
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=67-P1=47-P2=2-P3=53-P4=23-P5=7-P6=41-P7=31-B.opb
OPT
2
0.667898
0.671445
3491745
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=17-P1=11-P2=29-P3=59-P4=41-P5=11-P6=13-B.opb
OPT
3
0.688894
0.689302
3491718
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=7-P1=29-P2=53-P3=31-P4=23-P5=47-P6=67-B.opb
OPT
3
0.688895
0.689281
3491652
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=6-P0=47-P1=29-P2=11-P3=29-P4=53-B.opb
OPT
3
0.710891
0.711384
3491692
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=29-P1=59-P2=11-P3=29-P4=29-P5=11-P6=41-P7=53-B.opb
OPT
3
0.713891
0.713756
3491725
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_10_5.opb
OPT
6
0.731888
0.731849
3491823
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=59-P1=37-P2=37-P3=53-P4=11-P5=7-P6=13-B.opb
OPT
3
0.84587
0.846827
3491724
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=47-P1=23-P2=47-P3=53-P4=59-P5=23-P6=37-P7=61-B.opb
OPT
3
0.906861
0.906859
3491623
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=23-P1=11-P2=13-P3=17-P4=19-P5=53-P6=67-P7=29-P8=7-B.opb
OPT
3
0.956853
0.956433
3491651
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=5-P1=53-P2=23-P3=7-P4=31-P5=59-P6=59-P7=37-P8=41-P9=67-B.opb
OPT
3
1.07383
1.07503
3491798
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=5-P1=11-P2=79-P3=109-B.opb
OPT
3
1.12383
1.12527
3491720
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=41-P1=53-P2=67-P3=59-P4=53-P5=61-P6=29-P7=29-P8=17-B.opb
OPT
3
1.12483
1.12481
3491627
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=131-P1=89-P2=127-P3=37-B.opb
OPT
3
1.13683
1.13764
3491810
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=47-P1=47-P2=67-P3=3-P4=41-P5=53-P6=31-P7=3-P8=41-P9=23-B.opb
OPT
3
1.20781
1.20767
3491609
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=53-P1=53-P2=41-P3=41-P4=41-P5=53-P6=41-P7=47-P8=17-B.opb
OPT
3
1.26681
1.26671
3491794
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=17-P1=11-P2=61-P3=5-P4=53-P5=7-P6=37-P7=7-B.opb
OPT
3
1.36379
1.36379
3491714
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=73-P1=127-P2=41-P3=29-P4=59-B.opb
OPT
3
1.49377
1.49431
3491688
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=5-P1=59-P2=47-P3=43-P4=7-P5=19-P6=67-P7=41-B.opb
OPT
3
1.58576
1.58576
3491792
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=47-P1=43-P2=113-P3=61-B.opb
OPT
3
1.65475
1.65516
3491667
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=107-P1=7-P2=73-P3=61-B.opb
OPT
3
1.65975
1.65994
3491592
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_25_2.opb
OPT
-15
1.66175
1.6613
3491890
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=149-P1=191-P2=199-B.opb
OPT
3
1.70174
1.70312
3491739
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_25_4.opb
OPT
-15
1.71574
1.71587
3491876
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=137-P1=127-P2=347-B.opb
OPT
3
1.77873
1.77902
3491734
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=419-P1=479-P2=367-B.opb
OPT
3
1.86472
1.86588
3491631
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=71-P1=107-P2=197-P3=67-B.opb
OPT
3
1.86572
1.86574
3491805
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=457-P1=137-P2=191-B.opb
OPT
3
1.9347
1.9351
3491611
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_25_1.opb
OPT
-15
2.00769
2.00799
3491895
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb
OPT
3
2.06469
2.06527
3491637
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=47-P1=43-P2=59-P3=29-P4=31-P5=13-P6=59-P7=53-P8=67-P9=17-B.opb
OPT
3
2.10368
2.10573
3491788
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=73-P1=113-P2=59-P3=53-P4=29-B.opb
OPT
3
2.20466
2.20635
3491602
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=11-P1=2-P2=41-P3=47-P4=37-P5=17-P6=41-P7=43-P8=59-B.opb
OPT
2
2.29765
2.29779
3491762
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=67-P1=11-P2=79-P3=19-B.opb
OPT
3
2.38564
2.38547
3491665
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_25_3.opb
OPT
-14
2.40663
2.4073
3491901
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=61-P1=127-P2=131-P3=107-P4=47-B.opb
OPT
3
2.50262
2.50219
3491635
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=17-P1=89-P2=113-P3=89-P4=67-B.opb
OPT
3
2.53661
2.53951
3491670
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=5-P1=113-P2=107-P3=11-P4=43-P5=101-B.opb
OPT
3
2.56261
2.56334
3491800
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=97-P1=37-P2=107-P3=53-P4=53-B.opb
OPT
3
2.6156
2.61588
3491634
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=5-P1=53-P2=2-P3=3-P4=59-P5=29-P6=47-P7=67-P8=37-P9=43-B.opb
OPT
2
2.6206
2.62083
3491756
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb
OPT
2
2.93355
2.93377
3491642
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_25_5.opb
OPT
-13
3.05453
3.0547
3491899
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb
OPT
3
3.2895
3.28946
3491618
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb
OPT
2
3.51247
3.51365
3491770
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=59-P1=67-P2=97-P3=53-P4=41-P5=89-B.opb
OPT
3
3.56946
3.57043
3491638
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=107-P1=79-P2=47-P3=23-P4=59-P5=43-B.opb
OPT
3
3.60745
3.60855
3491591
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=11-P1=71-P2=127-P3=19-P4=89-P5=17-B.opb
OPT
3
3.62645
3.6284
3491732
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=37-P1=47-P2=17-P3=127-P4=31-P5=127-P6=17-B.opb
OPT
3
3.65044
3.65077
3491790
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=5-P1=47-P2=89-P3=41-P4=37-P5=113-P6=47-P7=127-P8=37-B.opb
OPT
3
4.55431
4.55765
3491778
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb
OPT
3
4.5743
4.57413
3491812
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=89-P1=37-P2=43-P3=47-P4=41-P5=107-P6=127-B.opb
OPT
3
4.63029
4.63005
3491625
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=127-P1=47-P2=7-P3=127-P4=17-P5=97-P6=127-B.opb
OPT
3
4.83127
4.83164
3491601
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=157-P1=211-P2=97-P3=71-B.opb
OPT
3
4.98424
4.98409
3491590
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb
OPT
3
5.05923
5.05981
3491682
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb
OPT
3
5.11422
5.11528
3491641
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=37-P1=67-P2=5-P3=47-P4=73-P5=127-P6=29-P7=127-B.opb
OPT
3
5.2562
5.25603
3491622
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=43-P1=107-P2=31-P3=113-P4=127-P5=2-P6=79-B.opb
OPT
2
5.34019
5.34283
3491728
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=59-P1=103-P2=101-P3=43-P4=37-P5=37-P6=17-P7=23-B.opb
OPT
3
5.70913
5.71065
3491743
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb
OPT
3
5.72913
5.7294
3491782
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=71-P1=79-P2=101-P3=109-P4=107-P5=97-P6=127-P7=127-P8=67-B.opb
OPT
3
5.78412
5.78445
3491771
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=13-P1=53-P2=127-P3=83-P4=37-P5=107-P6=67-P7=41-P8=113-B.opb
OPT
3
5.79612
5.79618
3491795
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=47-P1=43-P2=53-P3=59-P4=67-P5=71-P6=53-P7=67-B.opb
OPT
3
5.8871
5.88675
3491806
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=97-P1=11-P2=73-P3=43-P4=127-P5=127-P6=37-P7=127-P8=5-B.opb
OPT
3
7.67883
7.67867
3491686
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=83-P1=113-P2=127-P3=71-P4=61-P5=43-P6=71-P7=41-P8=13-P9=71-B.opb
OPT
3
8.05877
8.05902
3491781
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb
OPT
3
8.25974
8.25913
3491709
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=127-P1=59-P2=127-P3=89-P4=17-P5=43-P6=53-B.opb
OPT
3
8.28174
8.28154
3491758
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=67-P1=127-P2=73-P3=79-P4=17-P5=109-P6=17-P7=23-P8=23-P9=53-B.opb
OPT
3
8.58569
8.58676
3491723
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb
OPT
3
8.69368
8.69299
3491629
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=149-P1=191-P2=149-P3=191-B.opb
OPT
3
9.11061
9.11111
3491793
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb
OPT
3
10.9693
10.9695
3491713
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=239-P1=257-P2=113-P3=223-B.opb
OPT
3
11.3573
11.3566
3491705
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb
OPT
3
11.6012
11.6035
3491763
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_3.opb
OPT
5
11.7032
11.7033
3491863
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=89-P1=13-P2=37-P3=97-P4=101-P5=107-P6=37-P7=19-P8=47-P9=127-B.opb
OPT
3
11.9712
11.9751
3491603
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=8-P0=167-P1=131-P2=83-P3=109-B.opb
OPT
3
13.6369
13.6369
3491683
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=13-P2=53-P3=149-P4=137-B.opb
OPT
3
13.7909
13.7925
3491776
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=19-P2=137-P3=191-P4=223-B.opb
OPT
3
13.9469
13.9481
3491733
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_1.opb
OPT
5
15.5026
15.5033
3491820
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=173-P1=191-P2=127-P3=113-P4=97-P5=167-B.opb
OPT
3
15.9426
15.9424
3491715
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb
OPT
3
16.7025
16.7027
3491797
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb
OPT
3
16.8064
16.8065
3491808
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb
OPT
3
16.9604
16.9624
3491599
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=487-P1=163-P2=173-P3=211-B.opb
OPT
3
17.9883
17.9886
3491656
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-B.opb
OPT
3
19.45
19.4504
3491783
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=47-P1=211-P2=233-P3=173-P4=181-P5=71-B.opb
OPT
3
23.2045
23.2041
3491673
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb
OPT
3
23.4104
23.4104
3491726
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb
OPT
3
24.3853
24.3846
3491648
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_5.opb
OPT
5
27.9378
27.9375
3491868
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
OPT
5
28.5197
28.5203
3491852
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_2.opb
OPT
5
30.1614
30.1638
3491865
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb
OPT
3
31.4852
31.4845
3491628
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb
OPT
3
33.099
33.0992
3491707
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_1.opb
OPT
-6
37.1524
37.152
3491959
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
OPT
3
38.0532
38.0524
3491615
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_2.opb
OPT
-7
38.1392
38.1383
3491957
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb
OPT
3
38.4132
38.4137
3491729
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_4.opb
OPT
-7
39.338
39.3376
3491968
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb
OPT
3
39.9279
39.9266
3491777
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb
OPT
3
42.3006
42.3014
3491672
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_3.opb
OPT
-7
43.0694
43.0726
3491940
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=43-P1=131-P2=257-P3=71-P4=149-P5=223-P6=167-B.opb
OPT
3
43.4064
43.4073
3491649
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb
OPT
2
43.6094
43.6086
3491768
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb
OPT
3
44.1053
44.104
3491617
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=149-P1=419-P2=307-P3=223-B.opb
OPT
3
44.1273
44.1267
3491594
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb
OPT
3
45.5181
45.517
3491737
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb
OPT
3
48.8066
48.8062
3491613
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=163-P2=41-P3=157-P4=223-P5=67-P6=191-P7=17-P8=37-B.opb
OPT
3
49.3605
49.3593
3491640
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_5.opb
OPT
-6
50.4363
50.4379
3491941
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-B.opb
OPT
3
51.4232
51.4228
3491749
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb
OPT
3
51.9001
51.8991
3491680
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb
OPT
3
53.1209
53.1219
3491752
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb
OPT
3
54.1178
54.1222
3491789
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=233-P1=79-P2=107-P3=23-P4=107-P5=223-P6=239-P7=127-P8=229-P9=181-B.opb
OPT
3
59.104
59.1032
3491669
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb
OPT
3
59.318
59.3183
3491757
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb
OPT
3
60.0869
60.0851
3491796
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb
OPT
3
63.8913
63.8909
3491719
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=223-P1=61-P2=13-P3=127-P4=37-P5=37-P6=137-P7=37-P8=223-B.opb
OPT
3
66.9498
66.952
3491655
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb
OPT
3
68.0856
68.0926
3491689
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=127-P1=293-P2=269-P3=7-P4=157-B.opb
OPT
3
74.8916
74.8899
3491663
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=397-P1=307-P2=37-P3=127-P4=401-P5=331-B.opb
OPT
3
84.6231
84.6214
3491658
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb
OPT
3
92.5509
92.5487
3491694
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=19-P1=337-P2=467-P3=53-B.opb
OPT
3
94.8986
94.8959
3491787
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb
OPT
3
95.3815
95.3785
3491717
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb
OPT
3
103.233
103.231
3491760
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb
OPT
3
113.923
113.922
3491754
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb
OPT
3
125
124.998
3491807
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=347-P1=127-P2=53-P3=293-P4=199-P5=107-B.opb
OPT
3
142.136
142.134
3491766
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb
OPT
3
150.05
150.046
3491608
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb
OPT
3
156.835
156.836
3491606
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_2.opb
OPT
-26
159.765
159.762
3491878
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-B.opb
OPT
3
176.768
176.764
3491619
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb
OPT
3
178.811
178.809
3491721
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_3.opb
OPT
-26
180.443
180.438
3491932
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb
OPT
3
189.001
188.996
3491730
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb
OPT
3
208.896
208.891
3491753
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_1.opb
OPT
-26
222.458
222.452
3491927
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_4.opb
OPT
-25
223.522
223.517
3491915
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb
OPT
3
232.254
232.247
3491684
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=137-P1=101-P2=5-P3=409-P4=419-P5=401-P6=61-P7=239-B.opb
OPT
3
235.453
235.448
3491695
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb
OPT
3
252.641
252.646
3491620
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_5.opb
OPT
-25
258.386
258.38
3491883
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb
OPT
3
261.377
261.371
3491712
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=103-P1=277-P2=401-P3=67-P4=337-P5=17-P6=499-P7=23-B.opb
OPT
3
304.023
304.016
3491722
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb
OPT
3
328.235
328.226
3491612
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=113-P1=127-P2=101-P3=419-P4=107-P5=271-P6=379-P7=167-P8=163-B.opb
OPT
3
334.991
334.982
3491774
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=257-P1=53-P2=163-P3=163-P4=251-P5=269-P6=479-P7=113-B.opb
OPT
3
339.21
339.206
3491691
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=131-P1=307-P2=281-P3=173-P4=479-P5=461-P6=107-P7=337-P8=353-B.opb
OPT
3
370.5
370.492
3491769
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb
OPT
3
423.508
423.495
3491621
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb
OPT
3
481.184
481.169
3491703
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb
OPT
3
681.236
681.223
3491660
Solver timed out but found at least a solution (129 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_5.opb
SAT (TO)
-25
1800.02
1800.01
3491974
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_2.opb
SAT (TO)
-24
1800.02
1800.01
3491950
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_5.opb
SAT (TO)
-66
1800.03
1800.01
3491891
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_3.opb
SAT (TO)
-14
1800.03
1800.01
3491976
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_4.opb
SAT (TO)
-64
1800.03
1800.01
3491981
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_5.opb
SAT (TO)
-33
1800.04
1800.01
3491951
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_1.opb
SAT (TO)
-29
1800.04
1800.01
3491916
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_5.opb
SAT (TO)
-111
1800.04
1800.01
3491977
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_3.opb
SAT (TO)
-37
1800.04
1800.01
3491893
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_5.opb
SAT (TO)
-66
1800.05
1800.01
3491966
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_5.opb
SAT (TO)
-27
1800.05
1800.01
3491962
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_2.opb
SAT (TO)
-15
1800.05
1800.01
3491961
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_3.opb
SAT (TO)
-27
1800.05
1800.01
3491942
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_0_errors.opb
SAT (TO)
26
1800.05
1800.01
3491996
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_4.opb
SAT (TO)
-69
1800.05
1800.01
3491938
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_1.opb
SAT (TO)
-13
1800.05
1800.01
3491936
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_2.opb
SAT (TO)
-13
1800.05
1800.01
3491971
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_4.opb
SAT (TO)
-67
1800.05
1800.03
3491923
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_4.opb
SAT (TO)
-15
1800.05
1800.01
3491973
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_2.opb
SAT (TO)
-65
1800.05
1800.01
3491939
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_1.opb
SAT (TO)
37
1800.05
1800.01
3491821
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_4.opb
SAT (TO)
38
1800.05
1800.01
3491862
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_1.opb
SAT (TO)
-111
1800.05
1800.01
3491885
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_3.opb
SAT (TO)
13
1800.05
1800.01
3491867
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_5.opb
SAT (TO)
-14
1800.05
1800.01
3491946
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_1.opb
SAT (TO)
-48
1800.05
1800.01
3491992
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_5.opb
SAT (TO)
-106
1800.05
1800.01
3491903
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_5.opb
SAT (TO)
-122
1800.05
1800.02
3491905
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_2.opb
SAT (TO)
-29
1800.05
1800.01
3491906
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_2.opb
SAT (TO)
13
1800.05
1800.01
3491854
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
SAT (TO)
33
1800.05
1800.01
3491993
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_4.opb
SAT (TO)
-27
1800.05
1800.01
3491991
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_3.opb
SAT (TO)
-47
1800.05
1800.01
3491988
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_4.opb
SAT (TO)
-110
1800.05
1800.01
3491873
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_2.opb
SAT (TO)
-37
1800.05
1800.01
3491888
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_2.opb
SAT (TO)
-27
1800.05
1800.01
3491947
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_1.opb
SAT (TO)
-27
1800.05
1800.01
3491948
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
SAT (TO)
-46
1800.05
1800.01
3491949
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_5.opb
SAT (TO)
-13
1800.05
1800.01
3491970
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_5.opb
SAT (TO)
-47
1800.05
1800.01
3491975
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_3.opb
SAT (TO)
-121
1800.05
1800.02
3491908
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_3.opb
SAT (TO)
77
1800.05
1800.01
3491818
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_5.opb
SAT (TO)
-27
1800.05
1800.01
3491914
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_1.opb
SAT (TO)
-48
1800.05
1800.01
3491917
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_5.opb
SAT (TO)
-47
1800.05
1800.01
3491920
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_3.opb
SAT (TO)
-28
1800.05
1800.01
3491921
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_4.opb
SAT (TO)
-50
1800.05
1800.01
3491922
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_4.opb
SAT (TO)
79
1800.06
1800.01
3491827
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
SAT (TO)
13
1800.06
1800.01
3491857
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_1.opb
SAT (TO)
11
1800.06
1800.01
3491861
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_3.opb
SAT (TO)
79
1800.06
1800.01
3491866
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_4.opb
SAT (TO)
12
1800.06
1800.01
3491814
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_1.opb
SAT (TO)
30
1800.06
1800.01
3491816
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_5.opb
SAT (TO)
30
1800.06
1800.01
3491831
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_1.opb
SAT (TO)
79
1800.06
1800.01
3491832
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_4.opb
SAT (TO)
79
1800.06
1800.01
3491835
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
SAT (TO)
13
1800.06
1800.01
3491837
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_5.opb
SAT (TO)
11
1800.06
1800.01
3491839
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_4.opb
SAT (TO)
13
1800.06
1800.01
3491841
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_2.opb
SAT (TO)
18
1800.06
1800.01
3491845
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_2.opb
SAT (TO)
38
1800.06
1800.01
3491849
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_3.opb
SAT (TO)
29
1800.06
1800.01
3491853
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_4.opb
SAT (TO)
-118
1800.06
1800.02
3491886
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_4.opb
SAT (TO)
-37
1800.06
1800.01
3491911
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_3.opb
SAT (TO)
-33
1800.06
1800.01
3491935
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_4.opb
SAT (TO)
-133
1800.06
1800.02
3491937
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_4.opb
SAT (TO)
-115
1800.06
1800.01
3491943
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_1.opb
SAT (TO)
-25
1800.06
1800.01
3491960
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_2.opb
SAT (TO)
-107
1800.06
1800.01
3491965
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_2.opb
SAT (TO)
-34
1800.06
1800.01
3491969
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
SAT (TO)
-13
1800.06
1800.01
3491986
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_4.opb
SAT (TO)
-29
1800.06
1800.01
3491898
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_5.opb
SAT (TO)
-127
1800.06
1800.02
3491972
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_1.opb
SAT (TO)
-113
1800.06
1800.01
3491967
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_3.opb
SAT (TO)
-108
1800.06
1800.01
3491956
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_3.opb
SAT (TO)
-13
1800.06
1800.01
3491955
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_2.opb
SAT (TO)
-66
1800.06
1800.02
3491944
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_2.opb
SAT (TO)
-125
1800.06
1800.02
3491918
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_5.opb
SAT (TO)
-67
1800.06
1800.02
3491945
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_3.opb
SAT (TO)
-47
1800.06
1800.01
3491882
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_2.opb
SAT (TO)
11
1800.06
1800.01
3491815
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_5.opb
SAT (TO)
-37
1800.07
1800.01
3491930
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_5.opb
SAT (TO)
84
1800.07
1800.01
3491842
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_2.opb
SAT (TO)
75
1800.07
1800.01
3491840
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_4.opb
SAT (TO)
18
1800.07
1800.01
3491813
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_5.opb
SAT (TO)
38
1800.07
1800.02
3491838
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_2.opb
SAT (TO)
29
1800.07
1800.01
3491860
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_3.opb
SAT (TO)
-68
1800.07
1800.02
3491934
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_1.opb
SAT (TO)
-64
1800.07
1800.02
3491933
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_5.opb
SAT (TO)
-71
1800.07
1800.02
3491931
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_1.opb
SAT (TO)
40
1800.07
1800.02
3491825
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_1.opb
SAT (TO)
-15
1800.07
1800.01
3491952
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_3.opb
SAT (TO)
39
1800.07
1800.02
3491858
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_4.opb
SAT (TO)
-65
1800.07
1800.01
3491926
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_4.opb
SAT (TO)
37
1800.07
1800.02
3491817
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_3.opb
SAT (TO)
11
1800.07
1800.01
3491856
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_1.opb
SAT (TO)
-66
1800.07
1800.02
3491880
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_4.opb
SAT (TO)
-25
1800.07
1800.01
3491983
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_3.opb
SAT (TO)
40
1800.07
1800.01
3491822
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_5.opb
SAT (TO)
74
1800.07
1800.01
3491870
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_5.opb
SAT (TO)
42
1800.07
1800.01
3491869
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_1.opb
SAT (TO)
79
1800.07
1800.01
3491819
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_1.opb
SAT (TO)
-36
1800.07
1800.01
3491897
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_4.opb
SAT (TO)
26
1800.07
1800.01
3491855
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_1.opb
SAT (TO)
-65
1800.07
1800.01
3491900
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_1.opb
SAT (TO)
-68
1800.07
1800.02
3491985
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_4.opb
SAT (TO)
-34
1800.07
1800.01
3491982
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_3.opb
SAT (TO)
-110
1800.07
1800.01
3491896
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_3.opb
SAT (TO)
20
1800.07
1800.01
3491833
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_5.opb
SAT (TO)
17
1800.07
1800.01
3491830
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_1.opb
SAT (TO)
18
1800.07
1800.01
3491829
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_1.opb
SAT (TO)
-120
1800.07
1800.02
3491902
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_1.opb
SAT (TO)
-130
1800.07
1800.02
3491964
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_3.opb
SAT (TO)
-124
1800.07
1800.02
3491958
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_2.opb
SAT (TO)
-127
1800.08
1800.02
3491978
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_2.opb
SAT (TO)
-50
1800.08
1800.01
3491894
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_1.opb
SAT (TO)
-33
1800.08
1800.01
3491953
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_2.opb
SAT (TO)
-47
1800.08
1800.01
3491980
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_2.opb
SAT (TO)
-68
1800.08
1800.02
3491881
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_5_errors.opb
SAT (TO)
27
1800.08
1800.01
3491994
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
SAT (TO)
30
1800.08
1800.01
3491995
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_2.opb
SAT (TO)
-109
1800.08
1800.01
3491929
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_2.opb
SAT (TO)
77
1800.08
1800.01
3491824
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_2.opb
SAT (TO)
-65
1800.08
1800.01
3491928
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_3.opb
SAT (TO)
-64
1800.08
1800.01
3491984
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_2.opb
SAT (TO)
39
1800.08
1800.02
3491859
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_3.opb
SAT (TO)
-25
1800.08
1800.01
3491954
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_3.opb
SAT (TO)
-63
1800.09
1800.11
3491924
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_3.opb
SAT (TO)
-71
1800.12
1800.22
3491879