normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
|
UNSAT TT=0.008
|
UNSAT TT=605.879
|
UNSAT TT=0.008
|
UNSAT TT=152.381
|
UNSAT TT=0.015
|
UNSAT TT=519.953
|
UNSAT TT=1064.54
|
? (TO) TT=1800.06
|
? (TO) TT=1800.12
|
UNSAT TT=0.375
|
UNSAT TT=0.889
|
UNSAT TT=968.748
|
UNSAT TT=0.04
|
? (TO) TT=1802.17
|
UNSAT TT=0.04
|
UNSAT TT=0.038
|
UNSAT TT=375.744
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
|
UNSAT TT=0.008
|
UNSAT TT=608.612
|
UNSAT TT=0.008
|
UNSAT TT=420.603
|
UNSAT TT=0.02
|
UNSAT TT=1363.09
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
UNSAT TT=0.367
|
UNSAT TT=0.541
|
? (TO) TT=1800.24
|
UNSAT TT=0.042
|
? (TO) TT=1802.19
|
UNSAT TT=0.044
|
UNSAT TT=0.041
|
UNSAT TT=1657.91
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
|
UNSAT TT=0.011
|
UNSAT TT=601.272
|
UNSAT TT=0.011
|
? TT=1798.03
|
UNSAT TT=0.023
|
UNSAT TT=1661.69
|
UNSAT TT=1733.23
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
UNSAT TT=0.409
|
UNSAT TT=0.501
|
? (TO) TT=1800.18
|
UNSAT TT=0.045
|
? (TO) TT=1802.15
|
UNSAT TT=0.048
|
UNSAT TT=0.047
|
UNSAT TT=466.323
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
|
UNSAT TT=0.019
|
UNSAT TT=600.797
|
UNSAT TT=0.019
|
? TT=1798.01
|
UNSAT TT=0.027
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
UNSAT TT=0.514
|
UNSAT TT=0.645
|
? (TO) TT=1800.18
|
UNSAT TT=0.05
|
? (TO) TT=1802.2
|
UNSAT TT=0.048
|
UNSAT TT=0.047
|
? (TO) TT=1800.13
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
|
UNSAT TT=0.028
|
UNSAT TT=600.231
|
UNSAT TT=0.028
|
? TT=1798.01
|
UNSAT TT=0.031
|
? (TO) TT=1800.01
|
? (TO) TT=1800.11
|
? (TO) TT=1800.03
|
? (TO) TT=1800.04
|
UNSAT TT=0.475
|
UNSAT TT=1.688
|
? (TO) TT=1800.22
|
UNSAT TT=0.055
|
? (TO) TT=1802.19
|
UNSAT TT=0.056
|
UNSAT TT=0.054
|
? (TO) TT=1800.16
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
|
UNSAT TT=0.03
|
UNSAT TT=602.746
|
UNSAT TT=0.03
|
? TT=1798.02
|
UNSAT TT=0.039
|
? (TO) TT=1800.03
|
? (TO) TT=1800.01
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
UNSAT TT=0.523
|
UNSAT TT=0.743
|
? (TO) TT=1800.2
|
UNSAT TT=0.056
|
? (TO) TT=1802.25
|
UNSAT TT=0.059
|
UNSAT TT=0.055
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
|
UNSAT TT=0.042
|
UNSAT TT=598.94
|
UNSAT TT=0.048
|
? TT=1798.02
|
UNSAT TT=0.042
|
? (TO) TT=1800.13
|
? (TO) TT=1800.03
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
UNSAT TT=0.694
|
UNSAT TT=1.628
|
? (TO) TT=1800.2
|
UNSAT TT=0.064
|
? (TO) TT=1802.22
|
UNSAT TT=0.063
|
UNSAT TT=0.061
|
? (TO) TT=1800.13
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
|
UNSAT TT=0.045
|
UNSAT TT=603.715
|
UNSAT TT=0.045
|
? TT=1798.03
|
UNSAT TT=0.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
UNSAT TT=0.596
|
UNSAT TT=0.724
|
? (TO) TT=1800.25
|
UNSAT TT=0.072
|
? (TO) TT=1802.23
|
UNSAT TT=0.068
|
UNSAT TT=0.063
|
? (TO) TT=1800.19
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
|
UNSAT TT=0.058
|
UNSAT TT=600.987
|
UNSAT TT=0.058
|
? TT=1798.03
|
UNSAT TT=0.059
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
? (TO) TT=1800.02
|
? (TO) TT=1800.1
|
UNSAT TT=0.657
|
UNSAT TT=1.578
|
? (TO) TT=1800.17
|
UNSAT TT=0.076
|
? (TO) TT=1802.21
|
UNSAT TT=0.076
|
UNSAT TT=0.072
|
? (TO) TT=1800.13
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
|
UNSAT TT=0.091
|
UNSAT TT=600.999
|
UNSAT TT=0.138
|
? TT=1798.14
|
UNSAT TT=0.091
|
? (TO) TT=1800.1
|
? (TO) TT=1800.12
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
UNSAT TT=1.344
|
UNSAT TT=2.672
|
? (TO) TT=1800.2
|
UNSAT TT=0.122
|
? (TO) TT=1802.16
|
UNSAT TT=0.103
|
UNSAT TT=0.098
|
? (TO) TT=1800.21
|
Bench name | Best results | borg-pb 10.05.30 (complete) | bsolo 3.2 Card (complete) | bsolo 3.2 Cl (complete) | pb_cplex 2010-06-29 (complete) | PB/CT 0.1 (complete) | PB/CT 0.1 fixed (complete) | PBPASSolver 2010-06-13 (complete) | PB-wave alpha 2 (incomplete) | SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete) | SAT4J PB RES // CP 2.2.0 2010-05-31 (complete) | SAT4J PB Resolution 2.2.0 2010-05-26 (complete) | SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete) | SCIPnone SCIP 1.2.1.2 without any LP solver (complete) | SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | wbo 1.4a (complete) |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
|
UNSAT TT=0.102
|
UNSAT TT=600.085
|
UNSAT TT=0.146
|
? TT=1798.08
|
UNSAT TT=0.102
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
? (TO) TT=1800.09
|
UNSAT TT=0.901
|
UNSAT TT=1.385
|
? (TO) TT=1800.18
|
UNSAT TT=0.136
|
? (TO) TT=1802.17
|
UNSAT TT=0.128
|
UNSAT TT=0.121
|
? (TO) TT=1800.14
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
|
UNSAT TT=0.119
|
UNSAT TT=602.978
|
UNSAT TT=0.237
|
? TT=1798.08
|
UNSAT TT=0.119
|
? (TO) TT=1800.02
|
? (TO) TT=1800.13
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
UNSAT TT=0.885
|
UNSAT TT=1.991
|
? (TO) TT=1800.14
|
UNSAT TT=0.147
|
? (TO) TT=1802.19
|
UNSAT TT=0.136
|
UNSAT TT=0.126
|
? (TO) TT=1800.18
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
|
UNSAT TT=0.126
|
UNSAT TT=604.982
|
UNSAT TT=0.236
|
? TT=1798.13
|
UNSAT TT=0.126
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? (TO) TT=1800.11
|
? (TO) TT=1800.07
|
UNSAT TT=1.921
|
UNSAT TT=3.699
|
? (TO) TT=1800.23
|
UNSAT TT=0.173
|
? (TO) TT=1802.1
|
UNSAT TT=0.137
|
UNSAT TT=0.13
|
? (TO) TT=1800.2
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
|
UNSAT TT=0.142
|
UNSAT TT=610.81
|
UNSAT TT=0.403
|
? TT=1798.11
|
UNSAT TT=0.142
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
? (TO) TT=1800.1
|
? (TO) TT=1800.11
|
UNSAT TT=1.192
|
UNSAT TT=1.713
|
? (TO) TT=1800.17
|
UNSAT TT=0.187
|
? (TO) TT=1802.15
|
UNSAT TT=0.155
|
UNSAT TT=0.151
|
? (TO) TT=1800.18
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
|
UNSAT TT=0.155
|
UNSAT TT=601.154
|
UNSAT TT=0.269
|
? TT=1798.1
|
UNSAT TT=0.162
|
? (TO) TT=1800.06
|
? (TO) TT=1800.12
|
? (TO) TT=1800.05
|
? (TO) TT=1800.03
|
UNSAT TT=1.194
|
UNSAT TT=3.047
|
? (TO) TT=1800.11
|
UNSAT TT=0.204
|
? (TO) TT=1802.14
|
UNSAT TT=0.171
|
UNSAT TT=0.155
|
? (TO) TT=1800.2
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
|
UNSAT TT=0.17
|
UNSAT TT=603.747
|
UNSAT TT=0.367
|
? TT=1798.13
|
UNSAT TT=0.17
|
? (TO) TT=1800.03
|
? (TO) TT=1800.12
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
UNSAT TT=1.781
|
UNSAT TT=3.881
|
? (TO) TT=1800.17
|
UNSAT TT=0.233
|
? (TO) TT=1802.14
|
UNSAT TT=0.182
|
UNSAT TT=0.173
|
? (TO) TT=1800.18
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
|
UNSAT TT=0.19
|
UNSAT TT=600.836
|
UNSAT TT=0.366
|
? TT=1798.13
|
UNSAT TT=0.19
|
? (TO) TT=1800.03
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
UNSAT TT=1.138
|
UNSAT TT=2.183
|
? (TO) TT=1800.18
|
UNSAT TT=0.259
|
? (TO) TT=1802.12
|
UNSAT TT=0.207
|
UNSAT TT=0.198
|
? (TO) TT=1800.22
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
|
UNSAT TT=0.21
|
UNSAT TT=603.27
|
UNSAT TT=0.473
|
? TT=1798.1
|
UNSAT TT=0.214
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
UNSAT TT=1.201
|
UNSAT TT=2.351
|
? (TO) TT=1800.21
|
UNSAT TT=0.29
|
? (TO) TT=1801.88
|
UNSAT TT=0.228
|
UNSAT TT=0.21
|
? (TO) TT=1800.21
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
|
UNSAT TT=0.26
|
UNSAT TT=614.688
|
UNSAT TT=0.735
|
? TT=1798.12
|
UNSAT TT=0.295
|
? (TO) TT=1800.09
|
? (TO) TT=1800.11
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
UNSAT TT=2.622
|
UNSAT TT=4.798
|
? (TO) TT=1800.17
|
UNSAT TT=0.448
|
? (TO) TT=1800.9
|
UNSAT TT=0.271
|
UNSAT TT=0.26
|
? (TO) TT=1800.18
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
|
UNSAT TT=0.29
|
? (TO) TT=1800.07
|
UNSAT TT=1.076
|
? TT=1798.13
|
UNSAT TT=0.321
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
UNSAT TT=1.781
|
UNSAT TT=2.924
|
? (TO) TT=1800.2
|
UNSAT TT=0.466
|
? (TO) TT=1800.73
|
UNSAT TT=0.301
|
UNSAT TT=0.29
|
? (TO) TT=1800.2
|
Bench name | Best results | borg-pb 10.05.30 (complete) | bsolo 3.2 Card (complete) | bsolo 3.2 Cl (complete) | pb_cplex 2010-06-29 (complete) | PB/CT 0.1 (complete) | PB/CT 0.1 fixed (complete) | PBPASSolver 2010-06-13 (complete) | PB-wave alpha 2 (incomplete) | SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete) | SAT4J PB RES // CP 2.2.0 2010-05-31 (complete) | SAT4J PB Resolution 2.2.0 2010-05-26 (complete) | SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete) | SCIPnone SCIP 1.2.1.2 without any LP solver (complete) | SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | wbo 1.4a (complete) |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
|
UNSAT TT=0.301
|
UNSAT TT=603.391
|
UNSAT TT=7.447
|
? TT=1798.11
|
UNSAT TT=0.356
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? (TO) TT=1800
|
? (TO) TT=1800.07
|
UNSAT TT=1.806
|
UNSAT TT=2.661
|
? (TO) TT=1800.22
|
UNSAT TT=0.493
|
? (TO) TT=1800.66
|
UNSAT TT=0.317
|
UNSAT TT=0.301
|
? (TO) TT=1800.22
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga10_10_sat_pb.cnf.cr.opb
|
SAT TT=0.007 T1=0
|
SAT TT=1.434 T1=1.44
|
SAT TT=0.008 T1=0
|
SAT TT=0.011 T1=0.01
|
SAT TT=0.038 T1=0.03
|
SAT TT=0.03 T1=0.02
|
SAT TT=0.029 T1=0.02
|
SAT TT=2.899 T1=2.89
|
SAT TT=0.008 T1=0
|
SAT TT=0.589 T1=0.4
|
SAT TT=1.068 T1=1.31
|
SAT TT=0.695 T1=0.45
|
SAT TT=0.54 T1=0.53
|
SAT TT=0.093 T1=0.08
|
SAT TT=0.337 T1=0.32
|
SAT TT=0.325 T1=0.31
|
SAT TT=0.007 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga10_8_sat_pb.cnf.cr.opb
|
SAT TT=0.002 T1=0
|
SAT TT=1.347 T1=1.9
|
SAT TT=0.004 T1=0
|
SAT TT=0.004 T1=0
|
SAT TT=0.031 T1=0.03
|
SAT TT=0.027 T1=0.02
|
SAT TT=0.026 T1=0.02
|
SAT TT=0.676 T1=0.67
|
SAT TT=0.008 T1=0
|
SAT TT=3.258 T1=1.73
|
SAT TT=0.801 T1=1.31
|
SAT TT=0.69 T1=0.4
|
SAT TT=0.077 T1=0.07
|
SAT TT=0.07 T1=0.06
|
SAT TT=0.074 T1=0.06
|
SAT TT=0.072 T1=0.06
|
SAT TT=0.002 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga10_9_sat_pb.cnf.cr.opb
|
SAT TT=0.008 T1=0
|
SAT TT=1.388 T1=1.72
|
SAT TT=0.027 T1=0.02
|
SAT TT=0.022 T1=0.02
|
SAT TT=0.032 T1=0.03
|
SAT TT=0.028 T1=0.02
|
SAT TT=0.026 T1=0.02
|
SAT TT=1.868 T1=1.86
|
SAT TT=0.008 T1=0
|
SAT TT=2.721 T1=1.4
|
SAT TT=1.553 T1=1.31
|
SAT TT=1.078 T1=0.61
|
SAT TT=0.084 T1=0.07
|
SAT TT=0.046 T1=0.03
|
SAT TT=0.082 T1=0.07
|
SAT TT=0.078 T1=0.06
|
SAT TT=0.01 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga11_10_sat_pb.cnf.cr.opb
|
SAT TT=0.003 T1=0
|
SAT TT=1.488 T1=2.04
|
SAT TT=0.005 T1=0
|
SAT TT=0.006 T1=0
|
SAT TT=0.042 T1=0.04
|
SAT TT=0.045 T1=0.04
|
SAT TT=0.046 T1=0.04
|
SAT TT=5.353 T1=5.34
|
SAT TT=0.008 T1=0
|
SAT TT=0.701 T1=0.44
|
SAT TT=1.288 T1=1.32
|
SAT TT=0.767 T1=0.48
|
SAT TT=0.096 T1=0.08
|
SAT TT=0.049 T1=0.04
|
SAT TT=0.099 T1=0.09
|
SAT TT=0.094 T1=0.08
|
SAT TT=0.003 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga11_11_sat_pb.cnf.cr.opb
|
SAT TT=0.003 T1=0
|
SAT TT=1.562 T1=1.92
|
SAT TT=0.005 T1=0
|
SAT TT=0.006 T1=0
|
SAT TT=0.049 T1=0.04
|
SAT TT=0.034 T1=0.03
|
SAT TT=0.033 T1=0.03
|
SAT TT=143.719 T1=143.74
|
SAT TT=0.009 T1=0
|
SAT TT=2.511 T1=1.32
|
SAT TT=1.254 T1=1.33
|
SAT TT=0.808 T1=0.51
|
SAT TT=0.098 T1=0.09
|
SAT TT=0.05 T1=0.04
|
SAT TT=0.1 T1=0.09
|
SAT TT=0.096 T1=0.08
|
SAT TT=0.003 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga11_9_sat_pb.cnf.cr.opb
|
SAT TT=0.003 T1=0
|
SAT TT=1.488 T1=1.85
|
SAT TT=0.005 T1=0
|
SAT TT=0.005 T1=0
|
SAT TT=0.035 T1=0.03
|
SAT TT=0.045 T1=0.04
|
SAT TT=0.044 T1=0.04
|
SAT TT=13.582 T1=13.57
|
SAT TT=0.009 T1=0
|
SAT TT=7.683 T1=2.07
|
SAT TT=1.252 T1=1.31
|
SAT TT=0.851 T1=0.47
|
SAT TT=0.101 T1=0.09
|
SAT TT=0.106 T1=0.09
|
SAT TT=0.102 T1=0.09
|
SAT TT=0.097 T1=0.08
|
SAT TT=0.003 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga12_10_sat_pb.cnf.cr.opb
|
SAT TT=0.004 T1=0
|
SAT TT=1.5 T1=2.09
|
SAT TT=0.006 T1=0
|
SAT TT=0.005 T1=0
|
SAT TT=0.056 T1=0.05
|
SAT TT=0.036 T1=0.03
|
SAT TT=0.034 T1=0.03
|
SAT TT=98.151 T1=98.15
|
SAT TT=0.01 T1=0
|
SAT TT=231.479 T1=226.52
|
SAT TT=1.96 T1=1.33
|
SAT TT=0.889 T1=0.51
|
SAT TT=1.376 T1=1.36
|
SAT TT=0.151 T1=0.14
|
SAT TT=0.518 T1=0.5
|
SAT TT=0.505 T1=0.49
|
SAT TT=0.004 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga12_11_sat_pb.cnf.cr.opb
|
SAT TT=0.009 T1=0
|
SAT TT=1.327 T1=1.55
|
SAT TT=0.037 T1=0.03
|
SAT TT=0.044 T1=0.04
|
SAT TT=0.042 T1=0.04
|
SAT TT=0.051 T1=0.04
|
SAT TT=0.049 T1=0.04
|
SAT TT=34.773 T1=34.75
|
SAT TT=0.009 T1=0
|
SAT TT=3.361 T1=1.72
|
SAT TT=2.485 T1=1.34
|
SAT TT=1.127 T1=0.65
|
SAT TT=0.523 T1=0.51
|
SAT TT=0.14 T1=0.13
|
SAT TT=0.604 T1=0.59
|
SAT TT=0.592 T1=0.58
|
SAT TT=0.014 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga12_12_sat_pb.cnf.cr.opb
|
SAT TT=0.003 T1=0
|
SAT TT=1.826 T1=2.2
|
SAT TT=0.007 T1=0
|
SAT TT=0.006 T1=0
|
SAT TT=0.093 T1=0.09
|
SAT TT=0.041 T1=0.03
|
SAT TT=0.041 T1=0.03
|
SAT TT=278.691 T1=278.79
|
SAT TT=0.009 T1=0
|
SAT TT=3.643 T1=1.37
|
SAT TT=2.154 T1=1.35
|
SAT TT=1.011 T1=0.58
|
SAT TT=0.684 T1=0.67
|
SAT TT=0.058 T1=0.05
|
SAT TT=0.462 T1=0.45
|
SAT TT=0.443 T1=0.43
|
SAT TT=0.003 T1=0
|
Bench name | Best results | borg-pb 10.05.30 (complete) | bsolo 3.2 Card (complete) | bsolo 3.2 Cl (complete) | pb_cplex 2010-06-29 (complete) | PB/CT 0.1 (complete) | PB/CT 0.1 fixed (complete) | PBPASSolver 2010-06-13 (complete) | PB-wave alpha 2 (incomplete) | SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete) | SAT4J PB RES // CP 2.2.0 2010-05-31 (complete) | SAT4J PB Resolution 2.2.0 2010-05-26 (complete) | SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete) | SCIPnone SCIP 1.2.1.2 without any LP solver (complete) | SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | wbo 1.4a (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga13_11_sat_pb.cnf.cr.opb
|
SAT TT=0.004 T1=0
|
SAT TT=2.365 T1=2.34
|
SAT TT=0.29 T1=0.28
|
SAT TT=0.478 T1=0.47
|
SAT TT=0.072 T1=0.07
|
SAT TT=0.049 T1=0.04
|
SAT TT=0.04 T1=0.03
|
SAT TT=7.863 T1=7.84
|
SAT TT=0.009 T1=0
|
SAT TT=441.561 T1=434.89
|
SAT TT=10.536 T1=5.42
|
SAT TT=2.414 T1=1.67
|
SAT TT=0.681 T1=0.67
|
SAT TT=0.105 T1=0.09
|
SAT TT=1.244 T1=1.23
|
SAT TT=1.209 T1=1.19
|
SAT TT=0.004 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga13_12_sat_pb.cnf.cr.opb
|
SAT TT=0.009 T1=0
|
SAT TT=2.057 T1=2.1
|
SAT TT=0.009 T1=0
|
SAT TT=0.017 T1=0.01
|
SAT TT=0.055 T1=0.05
|
SAT TT=0.06 T1=0.05
|
SAT TT=0.047 T1=0.04
|
SAT TT=228.208 T1=228.26
|
SAT TT=0.009 T1=0
|
SAT TT=1.059 T1=0.62
|
SAT TT=1.984 T1=1.36
|
SAT TT=0.904 T1=0.53
|
SAT TT=0.676 T1=0.66
|
SAT TT=0.246 T1=0.23
|
SAT TT=1.249 T1=1.24
|
SAT TT=1.211 T1=1.2
|
SAT TT=0.009 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga13_13_sat_pb.cnf.cr.opb
|
SAT TT=0.009 T1=0
|
SAT TT=2.499 T1=2.48
|
SAT TT=0.011 T1=0.01
|
SAT TT=0.015 T1=0.01
|
SAT TT=0.089 T1=0.08
|
SAT TT=0.048 T1=0.04
|
SAT TT=0.048 T1=0.04
|
SAT TT=1359.11 T1=1359.49
|
SAT TT=0.009 T1=0
|
SAT TT=1.801 T1=1.01
|
SAT TT=1.52 T1=1.38
|
SAT TT=1.092 T1=0.6
|
SAT TT=0.353 T1=0.34
|
SAT TT=0.224 T1=0.21
|
SAT TT=0.42 T1=0.41
|
SAT TT=0.408 T1=0.39
|
SAT TT=0.009 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga14_12_sat_pb.cnf.cr.opb
|
SAT TT=0.01 T1=0
|
SAT TT=6.881 T1=6.81
|
SAT TT=0.318 T1=0.31
|
SAT TT=0.797 T1=0.79
|
SAT TT=0.063 T1=0.06
|
SAT TT=0.09 T1=0.08
|
SAT TT=0.338 T1=0.33
|
SAT TT=124.198 T1=124.2
|
SAT TT=0.01 T1=0
|
SAT TT=495.026 T1=487.78
|
SAT TT=4.029 T1=2.4
|
SAT TT=2.264 T1=1.57
|
SAT TT=1.435 T1=1.42
|
SAT TT=0.232 T1=0.22
|
SAT TT=1.688 T1=1.68
|
SAT TT=1.646 T1=1.63
|
SAT TT=0.015 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga14_13_sat_pb.cnf.cr.opb
|
SAT TT=0.004 T1=0
|
SAT TT=2.887 T1=3.24
|
SAT TT=0.009 T1=0.01
|
SAT TT=0.009 T1=0
|
SAT TT=0.095 T1=0.09
|
SAT TT=0.081 T1=0.07
|
SAT TT=0.064 T1=0.05
|
SAT TT=238.31 T1=238.33
|
SAT TT=0.009 T1=0
|
SAT TT=4.711 T1=2.47
|
SAT TT=2.672 T1=1.45
|
SAT TT=1.136 T1=0.7
|
SAT TT=1.069 T1=1.06
|
SAT TT=0.315 T1=0.3
|
SAT TT=1 T1=0.99
|
SAT TT=0.908 T1=0.89
|
SAT TT=0.004 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga14_14_sat_pb.cnf.cr.opb
|
SAT TT=0.009 T1=0
|
SAT TT=8.582 T1=8.28
|
SAT TT=0.013 T1=0.01
|
SAT TT=0.026 T1=0.02
|
SAT TT=0.077 T1=0.07
|
SAT TT=0.09 T1=0.08
|
SAT TT=0.059 T1=0.05
|
SAT TT=515.474 T1=515.56
|
SAT TT=0.009 T1=0
|
SAT TT=1.728 T1=0.78
|
SAT TT=2.461 T1=1.4
|
SAT TT=1.17 T1=0.68
|
SAT TT=1.292 T1=1.28
|
SAT TT=0.292 T1=0.28
|
SAT TT=1.313 T1=1.3
|
SAT TT=1.197 T1=1.18
|
SAT TT=0.012 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga15_13_sat_pb.cnf.cr.opb
|
SAT TT=0.005 T1=0
|
SAT TT=65.803 T1=62.61
|
SAT TT=0.01 T1=0
|
SAT TT=0.01 T1=0
|
SAT TT=0.091 T1=0.08
|
SAT TT=0.273 T1=0.26
|
SAT TT=0.47 T1=0.46
|
SAT TT=1616.67 T1=1617.24
|
SAT TT=0.01 T1=0
|
? (TO) TT=1800.27
|
SAT TT=2.012 T1=1.4
|
SAT TT=1.107 T1=0.62
|
SAT TT=1.956 T1=1.94
|
SAT TT=0.283 T1=0.27
|
SAT TT=2.542 T1=2.53
|
SAT TT=2.447 T1=2.43
|
SAT TT=0.005 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga15_14_sat_pb.cnf.cr.opb
|
SAT TT=0.005 T1=0
|
SAT TT=37.848 T1=36.14
|
SAT TT=0.013 T1=0.01
|
SAT TT=0.012 T1=0.01
|
SAT TT=0.087 T1=0.08
|
SAT TT=0.104 T1=0.09
|
SAT TT=0.103 T1=0.09
|
SAT TT=1741.61 T1=1742.11
|
SAT TT=0.01 T1=0
|
SAT TT=1.374 T1=0.78
|
SAT TT=2.303 T1=1.41
|
SAT TT=1.297 T1=0.71
|
SAT TT=1.428 T1=1.41
|
SAT TT=0.078 T1=0.07
|
SAT TT=1.691 T1=1.68
|
SAT TT=1.653 T1=1.64
|
SAT TT=0.005 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga15_15_sat_pb.cnf.cr.opb
|
SAT TT=0.01 T1=0
|
SAT TT=5.63 T1=5.78
|
SAT TT=0.014 T1=0.01
|
SAT TT=0.021 T1=0.02
|
SAT TT=0.093 T1=0.09
|
SAT TT=0.082 T1=0.07
|
SAT TT=0.081 T1=0.07
|
SAT TT=212.125 T1=212.14
|
SAT TT=0.01 T1=0
|
SAT TT=5.514 T1=3.12
|
SAT TT=2.451 T1=1.42
|
SAT TT=1.239 T1=0.7
|
SAT TT=0.789 T1=0.77
|
SAT TT=0.301 T1=0.29
|
SAT TT=0.565 T1=0.55
|
SAT TT=0.554 T1=0.54
|
SAT TT=0.012 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_18_sat_pb.cnf.cr.opb
|
SAT TT=0.012 T1=0.01
|
SAT TT=65.557 T1=62.23
|
SAT TT=0.032 T1=0.03
|
SAT TT=5.228 T1=5.22
|
SAT TT=0.335 T1=0.33
|
SAT TT=0.448 T1=0.43
|
SAT TT=0.269 T1=0.25
|
? (TO) TT=1800.03
|
SAT TT=0.012 T1=0.01
|
? (TO) TT=1800.21
|
SAT TT=2.912 T1=1.52
|
SAT TT=1.514 T1=0.84
|
SAT TT=3.251 T1=3.23
|
SAT TT=1.805 T1=1.79
|
SAT TT=792.581 T1=792.79
|
SAT TT=769.156 T1=769.33
|
SAT TT=0.028 T1=0.02
|
Bench name | Best results | borg-pb 10.05.30 (complete) | bsolo 3.2 Card (complete) | bsolo 3.2 Cl (complete) | pb_cplex 2010-06-29 (complete) | PB/CT 0.1 (complete) | PB/CT 0.1 fixed (complete) | PBPASSolver 2010-06-13 (complete) | PB-wave alpha 2 (incomplete) | SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete) | SAT4J PB RES // CP 2.2.0 2010-05-31 (complete) | SAT4J PB Resolution 2.2.0 2010-05-26 (complete) | SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete) | SCIPnone SCIP 1.2.1.2 without any LP solver (complete) | SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | wbo 1.4a (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_19_sat_pb.cnf.cr.opb
|
SAT TT=0.01 T1=0
|
SAT TT=66.603 T1=63.02
|
SAT TT=0.024 T1=0.02
|
SAT TT=0.024 T1=0.02
|
SAT TT=0.23 T1=0.22
|
SAT TT=0.121 T1=0.1
|
SAT TT=0.219 T1=0.19
|
? (TO) TT=1800.1
|
SAT TT=0.013 T1=0.01
|
SAT TT=49.89 T1=46.72
|
SAT TT=3.483 T1=2.97
|
SAT TT=1.617 T1=0.89
|
SAT TT=4.379 T1=4.36
|
SAT TT=1.576 T1=1.56
|
SAT TT=3.799 T1=3.78
|
SAT TT=3.703 T1=3.69
|
SAT TT=0.01 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_20_sat_pb.cnf.cr.opb
|
SAT TT=0.011 T1=0.01
|
SAT TT=65.384 T1=62.58
|
SAT TT=0.028 T1=0.02
|
SAT TT=0.025 T1=0.02
|
SAT TT=0.242 T1=0.24
|
SAT TT=0.135 T1=0.11
|
SAT TT=0.189 T1=0.16
|
? (TO) TT=1800.1
|
SAT TT=0.012 T1=0.01
|
SAT TT=15.562 T1=11.45
|
SAT TT=3.315 T1=2.61
|
SAT TT=1.407 T1=0.91
|
SAT TT=4.193 T1=4.18
|
SAT TT=1.238 T1=1.22
|
SAT TT=4.497 T1=4.5
|
SAT TT=4.399 T1=4.38
|
SAT TT=0.011 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_23_sat_pb.cnf.cr.opb
|
SAT TT=0.016 T1=0.01
|
SAT TT=73.097 T1=69.12
|
SAT TT=1.191 T1=1.19
|
SAT TT=155.45 T1=155.5
|
SAT TT=0.444 T1=0.44
|
SAT TT=0.759 T1=0.72
|
SAT TT=0.247 T1=0.21
|
? (TO) TT=1800.09
|
SAT TT=0.016 T1=0.01
|
? (TO) TT=1800.15
|
SAT TT=2.461 T1=1.99
|
SAT TT=1.751 T1=1.02
|
SAT TT=12.778 T1=12.76
|
SAT TT=4.126 T1=4.11
|
SAT TT=16.877 T1=16.89
|
SAT TT=16.56 T1=16.54
|
SAT TT=6.741 T1=6.74
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_24_sat_pb.cnf.cr.opb
|
SAT TT=0.017 T1=0.01
|
SAT TT=65.433 T1=62.29
|
SAT TT=0.852 T1=0.85
|
SAT TT=0.092 T1=0.09
|
SAT TT=0.59 T1=0.58
|
SAT TT=0.264 T1=0.22
|
SAT TT=0.336 T1=0.29
|
? (TO) TT=1800.04
|
SAT TT=0.017 T1=0.01
|
SAT TT=1067.05 T1=1056.68
|
SAT TT=2.968 T1=1.69
|
SAT TT=2.093 T1=1.19
|
SAT TT=34.887 T1=17.48
|
SAT TT=5.437 T1=5.42
|
SAT TT=23.852 T1=23.84
|
SAT TT=23.192 T1=23.18
|
SAT TT=0.047 T1=0.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_25_sat_pb.cnf.cr.opb
|
SAT TT=0.017 T1=0.01
|
SAT TT=65.579 T1=62.65
|
SAT TT=0.063 T1=0.06
|
SAT TT=0.105 T1=0.1
|
SAT TT=0.59 T1=0.58
|
SAT TT=0.335 T1=0.29
|
SAT TT=0.302 T1=0.26
|
? (TO) TT=1800.09
|
SAT TT=0.017 T1=0.01
|
SAT TT=437.915 T1=430.96
|
SAT TT=4.237 T1=2.67
|
SAT TT=2.348 T1=1.32
|
SAT TT=9.378 T1=9.37
|
SAT TT=5.202 T1=5.19
|
SAT TT=8.616 T1=8.61
|
SAT TT=8.481 T1=8.46
|
SAT TT=0.049 T1=0.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_28_sat_pb.cnf.cr.opb
|
SAT TT=0.022 T1=0.02
|
SAT TT=66.239 T1=62.05
|
SAT TT=0.081 T1=0.07
|
SAT TT=0.079 T1=0.07
|
SAT TT=1.389 T1=1.38
|
SAT TT=3.968 T1=3.91
|
SAT TT=1.942 T1=1.88
|
? (TO) TT=1800.09
|
SAT TT=0.022 T1=0.02
|
? (TO) TT=1800.19
|
SAT TT=13.856 T1=7.78
|
SAT TT=6.344 T1=4.82
|
SAT TT=29.381 T1=29.36
|
SAT TT=27.724 T1=27.71
|
? (TO) TT=1800.19
|
? TT=1789.58
|
SAT TT=0.024 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_29_sat_pb.cnf.cr.opb
|
SAT TT=0.023 T1=0.02
|
SAT TT=65.389 T1=62.57
|
SAT TT=0.306 T1=0.3
|
SAT TT=0.144 T1=0.14
|
SAT TT=1.906 T1=1.9
|
SAT TT=0.544 T1=0.48
|
SAT TT=0.562 T1=0.5
|
? (TO) TT=1800.03
|
SAT TT=0.023 T1=0.02
|
? (TO) TT=1800.19
|
SAT TT=7.263 T1=4.79
|
SAT TT=2.282 T1=1.53
|
SAT TT=29.373 T1=29.35
|
SAT TT=25.115 T1=25.1
|
SAT TT=34.969 T1=34.96
|
SAT TT=31.802 T1=31.79
|
SAT TT=0.065 T1=0.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_30_sat_pb.cnf.cr.opb
|
SAT TT=0.023 T1=0.02
|
SAT TT=65.718 T1=62.76
|
SAT TT=0.092 T1=0.09
|
SAT TT=0.093 T1=0.09
|
SAT TT=1.451 T1=1.44
|
SAT TT=0.494 T1=0.43
|
SAT TT=0.456 T1=0.39
|
? (TO) TT=1800.02
|
SAT TT=0.023 T1=0.02
|
SAT TT=15.998 T1=12.4
|
SAT TT=4.113 T1=2.9
|
SAT TT=2.106 T1=1.34
|
SAT TT=11.575 T1=11.55
|
SAT TT=20.537 T1=20.52
|
SAT TT=29.769 T1=29.75
|
SAT TT=29.157 T1=29.14
|
SAT TT=0.025 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_33_sat_pb.cnf.cr.opb
|
SAT TT=0.03 T1=0.02
|
SAT TT=608.452 T1=574.82
|
SAT TT=1.187 T1=1.18
|
SAT TT=0.172 T1=0.17
|
SAT TT=2.03 T1=2.02
|
SAT TT=11.147 T1=11.08
|
SAT TT=1.793 T1=1.72
|
? (TO) TT=1800.05
|
SAT TT=0.03 T1=0.02
|
? (TO) TT=1800.14
|
SAT TT=31.05 T1=16.23
|
SAT TT=14.979 T1=13.7
|
SAT TT=38.32 T1=38.3
|
SAT TT=50.234 T1=50.22
|
SAT TT=44.162 T1=44.14
|
SAT TT=42.587 T1=42.58
|
SAT TT=136.25 T1=136.27
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_34_sat_pb.cnf.cr.opb
|
SAT TT=0.031 T1=0.03
|
SAT TT=65.671 T1=62.34
|
SAT TT=0.155 T1=0.15
|
SAT TT=0.154 T1=0.15
|
SAT TT=2.686 T1=2.68
|
SAT TT=0.501 T1=0.43
|
SAT TT=0.492 T1=0.42
|
? (TO) TT=1800.01
|
SAT TT=0.031 T1=0.03
|
? (TO) TT=1800.18
|
SAT TT=6.991 T1=3.92
|
SAT TT=2.894 T1=1.69
|
SAT TT=21.304 T1=21.28
|
SAT TT=68.021 T1=68.01
|
SAT TT=250.078 T1=250.12
|
SAT TT=233.023 T1=233.08
|
SAT TT=0.038 T1=0.03
|
Bench name | Best results | borg-pb 10.05.30 (complete) | bsolo 3.2 Card (complete) | bsolo 3.2 Cl (complete) | pb_cplex 2010-06-29 (complete) | PB/CT 0.1 (complete) | PB/CT 0.1 fixed (complete) | PBPASSolver 2010-06-13 (complete) | PB-wave alpha 2 (incomplete) | SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete) | SAT4J PB RES // CP 2.2.0 2010-05-31 (complete) | SAT4J PB Resolution 2.2.0 2010-05-26 (complete) | SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete) | SCIPnone SCIP 1.2.1.2 without any LP solver (complete) | SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | wbo 1.4a (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_35_sat_pb.cnf.cr.opb
|
SAT TT=0.032 T1=0.03
|
SAT TT=65.536 T1=62.65
|
SAT TT=0.205 T1=0.2
|
SAT TT=0.211 T1=0.21
|
SAT TT=4.938 T1=4.93
|
SAT TT=1.308 T1=1.23
|
SAT TT=1.272 T1=1.2
|
? (TO) TT=1800.03
|
SAT TT=0.032 T1=0.03
|
SAT TT=1283.27 T1=1270.8
|
SAT TT=6.395 T1=3.95
|
SAT TT=2.88 T1=1.6
|
SAT TT=28.873 T1=28.85
|
SAT TT=72.784 T1=72.79
|
SAT TT=49.502 T1=49.5
|
SAT TT=48.375 T1=48.35
|
SAT TT=0.06 T1=0.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_38_sat_pb.cnf.cr.opb
|
SAT TT=0.041 T1=0.04
|
SAT TT=65.981 T1=62.66
|
SAT TT=0.243 T1=0.24
|
SAT TT=0.248 T1=0.24
|
SAT TT=3.875 T1=3.87
|
SAT TT=28.22 T1=28.13
|
SAT TT=2.657 T1=2.56
|
? (TO) TT=1800.1
|
SAT TT=0.041 T1=0.04
|
? (TO) TT=1800.15
|
SAT TT=6.471 T1=4.04
|
SAT TT=2.815 T1=1.56
|
SAT TT=39.369 T1=39.35
|
SAT TT=204.84 T1=204.87
|
SAT TT=62.316 T1=62.29
|
SAT TT=59.771 T1=59.76
|
SAT TT=0.055 T1=0.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_39_sat_pb.cnf.cr.opb
|
SAT TT=0.042 T1=0.04
|
SAT TT=70.214 T1=66.45
|
SAT TT=0.589 T1=0.58
|
SAT TT=4.42 T1=4.41
|
SAT TT=5.307 T1=5.3
|
SAT TT=1.399 T1=1.3
|
SAT TT=1.171 T1=1.08
|
? (TO) TT=1800.03
|
SAT TT=0.042 T1=0.04
|
? (TO) TT=1800.23
|
SAT TT=5.892 T1=4.03
|
SAT TT=3.063 T1=1.73
|
SAT TT=37.528 T1=37.5
|
SAT TT=178.174 T1=178.2
|
? (TO) TT=1800.16
|
? TT=1789.6
|
SAT TT=3.308 T1=3.3
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_40_sat_pb.cnf.cr.opb
|
SAT TT=0.044 T1=0.04
|
SAT TT=66.439 T1=62.72
|
SAT TT=0.33 T1=0.32
|
SAT TT=0.324 T1=0.32
|
SAT TT=7.069 T1=7.06
|
SAT TT=0.842 T1=0.75
|
SAT TT=2.866 T1=2.77
|
? (TO) TT=1800.01
|
SAT TT=0.044 T1=0.04
|
SAT TT=8.307 T1=5.62
|
SAT TT=5.869 T1=3.19
|
SAT TT=2.967 T1=1.67
|
? (TO) TT=1800.19
|
SAT TT=248.688 T1=248.75
|
? (TO) TT=1800.17
|
? TT=1789.53
|
SAT TT=0.134 T1=0.13
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_43_sat_pb.cnf.cr.opb
|
SAT TT=0.057 T1=0.05
|
SAT TT=66.257 T1=62.75
|
SAT TT=0.525 T1=0.52
|
SAT TT=0.414 T1=0.41
|
SAT TT=9.863 T1=9.85
|
SAT TT=12.34 T1=12.22
|
SAT TT=7.873 T1=7.75
|
? (TO) TT=1800.03
|
SAT TT=0.057 T1=0.05
|
? (TO) TT=1800.18
|
SAT TT=30.639 T1=16.18
|
SAT TT=14.427 T1=13.45
|
SAT TT=62.501 T1=62.48
|
SAT TT=545.775 T1=545.89
|
SAT TT=81.752 T1=81.74
|
SAT TT=79.208 T1=79.17
|
SAT TT=0.127 T1=0.12
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_44_sat_pb.cnf.cr.opb
|
SAT TT=0.053 T1=0.05
|
SAT TT=90.599 T1=86.02
|
SAT TT=0.671 T1=0.66
|
SAT TT=0.459 T1=0.45
|
SAT TT=7.723 T1=7.71
|
SAT TT=1.453 T1=1.33
|
SAT TT=2.617 T1=2.49
|
? (TO) TT=1800.1
|
SAT TT=0.053 T1=0.05
|
? (TO) TT=1800.19
|
SAT TT=13.692 T1=10.05
|
SAT TT=3.815 T1=2.49
|
? (TO) TT=1800.12
|
SAT TT=447.376 T1=447.51
|
SAT TT=86.831 T1=86.82
|
SAT TT=83.896 T1=83.86
|
SAT TT=25.101 T1=25.1
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_45_sat_pb.cnf.cr.opb
|
SAT TT=0.058 T1=0.05
|
SAT TT=66.136 T1=62.31
|
SAT TT=0.819 T1=0.81
|
SAT TT=0.602 T1=0.6
|
SAT TT=10.92 T1=10.91
|
SAT TT=1.7 T1=1.57
|
SAT TT=1.946 T1=1.82
|
? (TO) TT=1800.03
|
SAT TT=0.058 T1=0.05
|
? (TO) TT=1800.21
|
SAT TT=5.29 T1=3.02
|
SAT TT=3.174 T1=1.91
|
SAT TT=64.226 T1=64.19
|
SAT TT=587.238 T1=587.38
|
SAT TT=82.101 T1=82.06
|
SAT TT=79.473 T1=79.44
|
SAT TT=0.178 T1=0.17
|
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-22s.smv.opb
|
UNSAT TT=0.153
|
UNSAT TT=1.525
|
UNSAT TT=0.982
|
UNSAT TT=0.985
|
UNSAT TT=2.787
|
UNSAT TT=2.352
|
UNSAT TT=2.389
|
? (TO) TT=1800.11
|
? (TO) TT=1800.08
|
UNSAT TT=3.321
|
UNSAT TT=4.148
|
UNSAT TT=3.704
|
UNSAT TT=682.725
|
UNSAT TT=12.279
|
UNSAT TT=524.268
|
UNSAT TT=1231.27
|
UNSAT TT=0.153
|
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-25s.smv.opb
|
UNSAT TT=0.098
|
UNSAT TT=1.377
|
UNSAT TT=0.463
|
UNSAT TT=0.465
|
UNSAT TT=1.786
|
UNSAT TT=1.903
|
UNSAT TT=1.893
|
? (TO) TT=1800.02
|
? (TO) TT=1800.07
|
UNSAT TT=2.9
|
UNSAT TT=4.59
|
UNSAT TT=3.281
|
UNSAT TT=3
|
UNSAT TT=29.407
|
UNSAT TT=3.965
|
UNSAT TT=3.632
|
UNSAT TT=0.098
|
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-37s.smv.opb
|
UNSAT TT=0.024
|
UNSAT TT=1.381
|
UNSAT TT=0.072
|
UNSAT TT=0.07
|
UNSAT TT=4.301
|
UNSAT TT=0.257
|
UNSAT TT=0.241
|
UNSAT TT=50.215
|
? (TO) TT=1800.11
|
UNSAT TT=2.03
|
UNSAT TT=1.989
|
UNSAT TT=1.678
|
UNSAT TT=0.769
|
UNSAT TT=0.845
|
UNSAT TT=0.828
|
UNSAT TT=0.795
|
UNSAT TT=0.024
|
Bench name | Best results | borg-pb 10.05.30 (complete) | bsolo 3.2 Card (complete) | bsolo 3.2 Cl (complete) | pb_cplex 2010-06-29 (complete) | PB/CT 0.1 (complete) | PB/CT 0.1 fixed (complete) | PBPASSolver 2010-06-13 (complete) | PB-wave alpha 2 (incomplete) | SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete) | SAT4J PB RES // CP 2.2.0 2010-05-31 (complete) | SAT4J PB Resolution 2.2.0 2010-05-26 (complete) | SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete) | SCIPnone SCIP 1.2.1.2 without any LP solver (complete) | SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | wbo 1.4a (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-43s.smv.opb
|
UNSAT TT=0.203
|
UNSAT TT=1.767
|
UNSAT TT=0.746
|
UNSAT TT=0.601
|
? (TO) TT=1800.15
|
UNSAT TT=3.935
|
UNSAT TT=3.429
|
? (TO) TT=1800.04
|
? (TO) TT=1800.04
|
UNSAT TT=43.858
|
UNSAT TT=8.116
|
UNSAT TT=3.966
|
UNSAT TT=119.101
|
UNSAT TT=31.881
|
UNSAT TT=147.102
|
UNSAT TT=209.16
|
UNSAT TT=0.203
|
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-44s.smv.opb
|
UNSAT TT=0.019
|
UNSAT TT=1.363
|
UNSAT TT=0.024
|
UNSAT TT=0.028
|
UNSAT TT=0.959
|
UNSAT TT=0.307
|
UNSAT TT=0.294
|
Wrong Cert. TT=402.904
|
? (TO) TT=1800.09
|
UNSAT TT=2.572
|
UNSAT TT=1.979
|
UNSAT TT=1.676
|
UNSAT TT=6.55
|
UNSAT TT=0.287
|
UNSAT TT=10.641
|
UNSAT TT=5.417
|
UNSAT TT=0.019
|
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-46s.smv.opb
|
UNSAT TT=0.056
|
UNSAT TT=1.403
|
UNSAT TT=0.198
|
UNSAT TT=0.188
|
UNSAT TT=22.044
|
UNSAT TT=0.752
|
UNSAT TT=0.736
|
? (TO) TT=1800.09
|
? (TO) TT=1800.11
|
UNSAT TT=5.67
|
UNSAT TT=4.882
|
UNSAT TT=2.769
|
UNSAT TT=46.311
|
UNSAT TT=1.525
|
? (TO) TT=1800.09
|
UNSAT TT=53.234
|
UNSAT TT=0.056
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl.opb
|
UNSAT TT=0.014
|
UNSAT TT=1.282
|
UNSAT TT=0.023
|
UNSAT TT=0.014
|
UNSAT TT=0.022
|
UNSAT TT=0.185
|
UNSAT TT=0.181
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
UNSAT TT=6.025
|
UNSAT TT=2.519
|
UNSAT TT=1.219
|
UNSAT TT=0.062
|
UNSAT TT=0.06
|
UNSAT TT=0.06
|
UNSAT TT=0.052
|
UNSAT TT=0.023
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl.opb
|
UNSAT TT=0.004
|
UNSAT TT=1.35
|
UNSAT TT=0.004
|
UNSAT TT=0.004
|
UNSAT TT=0.018
|
Wrong Cert. TT=0.122
|
UNSAT TT=0.008
|
UNSAT TT=1.146
|
? (TO) TT=1800.02
|
UNSAT TT=0.499
|
UNSAT TT=0.587
|
UNSAT TT=0.501
|
UNSAT TT=0.037
|
UNSAT TT=0.036
|
UNSAT TT=0.037
|
UNSAT TT=0.037
|
UNSAT TT=0.004
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl.opb
|
UNSAT TT=0.003
|
UNSAT TT=1.326
|
UNSAT TT=0.003
|
UNSAT TT=0.003
|
UNSAT TT=0.017
|
Wrong Cert. TT=0.095
|
UNSAT TT=0.006
|
UNSAT TT=1.03
|
? (TO) TT=1800.07
|
UNSAT TT=0.458
|
UNSAT TT=0.534
|
UNSAT TT=0.445
|
UNSAT TT=0.034
|
UNSAT TT=0.033
|
UNSAT TT=0.034
|
UNSAT TT=0.035
|
UNSAT TT=0.003
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl.opb
|
UNSAT TT=0.036
|
UNSAT TT=1.38
|
UNSAT TT=0.119
|
UNSAT TT=0.082
|
UNSAT TT=0.072
|
UNSAT TT=0.793
|
UNSAT TT=0.823
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
UNSAT TT=0.98
|
UNSAT TT=2.305
|
UNSAT TT=2.336
|
UNSAT TT=0.528
|
UNSAT TT=0.546
|
UNSAT TT=0.477
|
UNSAT TT=0.439
|
UNSAT TT=0.036
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl.opb
|
UNSAT TT=0.044
|
UNSAT TT=1.28
|
UNSAT TT=0.063
|
UNSAT TT=0.064
|
UNSAT TT=0.39
|
UNSAT TT=1.911
|
UNSAT TT=1.825
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
UNSAT TT=1.985
|
UNSAT TT=2.93
|
UNSAT TT=2.075
|
UNSAT TT=0.959
|
UNSAT TT=1.028
|
UNSAT TT=0.96
|
UNSAT TT=0.649
|
UNSAT TT=0.044
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl.opb
|
UNSAT TT=0.054
|
UNSAT TT=1.37
|
UNSAT TT=0.063
|
UNSAT TT=0.063
|
UNSAT TT=0.307
|
UNSAT TT=2.495
|
UNSAT TT=2.383
|
? (TO) TT=1800.03
|
? (TO) TT=1800.03
|
UNSAT TT=2.023
|
UNSAT TT=3.098
|
UNSAT TT=1.839
|
UNSAT TT=1.111
|
UNSAT TT=1.124
|
UNSAT TT=1.124
|
UNSAT TT=0.722
|
UNSAT TT=0.054
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl.opb
|
UNSAT TT=0.074
|
UNSAT TT=1.413
|
UNSAT TT=0.182
|
UNSAT TT=0.16
|
UNSAT TT=0.158
|
UNSAT TT=1.473
|
UNSAT TT=1.417
|
? (TO) TT=1800.03
|
? (TO) TT=1800.12
|
UNSAT TT=1.584
|
UNSAT TT=2.978
|
UNSAT TT=3.803
|
UNSAT TT=0.655
|
UNSAT TT=0.655
|
UNSAT TT=0.65
|
UNSAT TT=0.419
|
UNSAT TT=0.074
|
Bench name | Best results | borg-pb 10.05.30 (complete) | bsolo 3.2 Card (complete) | bsolo 3.2 Cl (complete) | pb_cplex 2010-06-29 (complete) | PB/CT 0.1 (complete) | PB/CT 0.1 fixed (complete) | PBPASSolver 2010-06-13 (complete) | PB-wave alpha 2 (incomplete) | SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete) | SAT4J PB RES // CP 2.2.0 2010-05-31 (complete) | SAT4J PB Resolution 2.2.0 2010-05-26 (complete) | SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete) | SCIPnone SCIP 1.2.1.2 without any LP solver (complete) | SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | wbo 1.4a (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl.opb
|
UNSAT TT=0.367
|
UNSAT TT=1.494
|
UNSAT TT=0.481
|
UNSAT TT=0.478
|
UNSAT TT=1.616
|
Wrong Cert. TT=18.924
|
UNSAT TT=0.915
|
? (MO) TT=13.57
|
? (TO) TT=1800.04
|
UNSAT TT=4.493
|
UNSAT TT=5.538
|
UNSAT TT=4.852
|
UNSAT TT=2.728
|
UNSAT TT=2.741
|
UNSAT TT=2.76
|
UNSAT TT=2.523
|
UNSAT TT=0.367
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb
|
|
? (TO) TT=1800.03
|
? TT=1798.08
|
? TT=1798.05
|
? TT=1798.91
|
UNSAT TT=1222.92
|
? (TO) TT=1800.17
|
? (MO) TT=12.98
|
? (TO) TT=1800.06
|
? (TO) TT=1800.2
|
? (TO) TT=1800.41
|
? (TO) TT=1800.18
|
? (TO) TT=1802.12
|
? (TO) TT=1802.22
|
? (TO) TT=1802.17
|
? TT=1791.05
|
? (TO) TT=1800.06
|
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
|
UNSAT TT=53.527
|
UNSAT TT=53.527
|
UNSAT TT=219.04
|
UNSAT TT=494.26
|
? TT=1799.15
|
UNSAT TT=157.056
|
UNSAT TT=189.767
|
? (MO) TT=13.6
|
? (TO) TT=1800.07
|
UNSAT TT=514.877
|
UNSAT TT=310.533
|
UNSAT TT=137.352
|
? (TO) TT=1802.03
|
? (TO) TT=1801.89
|
? (TO) TT=1802
|
? TT=1791.94
|
UNSAT TT=55.013
|
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
|
UNSAT TT=2.84
|
UNSAT TT=2.84
|
UNSAT TT=59.106
|
UNSAT TT=65.604
|
? (TO) TT=1800.18
|
UNSAT TT=15.638
|
UNSAT TT=20.849
|
? (MO) TT=13.51
|
? (TO) TT=1800.08
|
UNSAT TT=29.048
|
UNSAT TT=27.835
|
UNSAT TT=13.803
|
? (TO) TT=1800.61
|
UNSAT TT=1195.56
|
? (TO) TT=1802.08
|
? TT=1789.93
|
UNSAT TT=4.488
|
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
|
|
? (TO) TT=1800.01
|
? TT=1798.14
|
? TT=1798.21
|
? TT=1799.69
|
? (MO) TT=25.234
|
? (MO) TT=36.489
|
? (MO) TT=13.3
|
? (exit code) TT=0.004
|
? (TO) TT=1800.26
|
? (TO) TT=1800.28
|
? (TO) TT=1800.15
|
? (MO) TT=52.413
|
? (TO) TT=1802.17
|
? (MO) TT=54.39
|
? (MO) TT=42.227
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
|
SAT TT=1.9 T1=1.87
|
SAT TT=6.944 T1=7.23
|
SAT TT=181.971 T1=181.98
|
SAT TT=199.528 T1=199.57
|
? TT=1799.07
|
SAT TT=29.871 T1=24.22
|
SAT TT=27.053 T1=21.38
|
? (MO) TT=13.6
|
? (TO) TT=1800.11
|
SAT TT=10.4 T1=7.14
|
SAT TT=14.8 T1=9.38
|
SAT TT=9.67 T1=7
|
? (TO) TT=1802.16
|
? (TO) TT=1801.53
|
? (TO) TT=1802.14
|
? TT=1791.72
|
SAT TT=1.9 T1=1.87
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl.opb
|
UNSAT TT=0.119
|
UNSAT TT=1.442
|
UNSAT TT=0.219
|
UNSAT TT=0.219
|
UNSAT TT=3.607
|
UNSAT TT=1.411
|
UNSAT TT=1.383
|
UNSAT TT=33.885
|
? (TO) TT=1800.09
|
UNSAT TT=2.759
|
UNSAT TT=4.116
|
UNSAT TT=3.019
|
UNSAT TT=713.678
|
UNSAT TT=3.004
|
UNSAT TT=523.247
|
UNSAT TT=800.988
|
UNSAT TT=0.119
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl.opb
|
UNSAT TT=9.104
|
UNSAT TT=9.104
|
UNSAT TT=146.516
|
UNSAT TT=115.368
|
? (TO) TT=1800.16
|
UNSAT TT=24.906
|
UNSAT TT=24.162
|
? (MO) TT=13.39
|
? (TO) TT=1800.03
|
? (TO) TT=1800.2
|
UNSAT TT=47.652
|
UNSAT TT=25.174
|
? (TO) TT=1801.27
|
UNSAT TT=229.102
|
? (TO) TT=1802.07
|
? TT=1797.25
|
UNSAT TT=19.234
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl.opb
|
|
? (TO) TT=1800.05
|
? TT=1798.07
|
? TT=1798.13
|
? TT=1798.98
|
UNSAT TT=442.88
|
? (TO) TT=1800.09
|
? (MO) TT=13.73
|
? (TO) TT=1800.07
|
? (TO) TT=1800.15
|
? (TO) TT=1800.24
|
? (TO) TT=1800.19
|
? (TO) TT=1802.15
|
? (MO) TT=1314.27
|
? (TO) TT=1802.1
|
? TT=1791.06
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl.opb
|
UNSAT TT=0.029
|
UNSAT TT=1.387
|
UNSAT TT=0.037
|
UNSAT TT=0.037
|
UNSAT TT=0.094
|
UNSAT TT=0.373
|
UNSAT TT=0.088
|
UNSAT TT=5.616
|
? (TO) TT=1800.09
|
UNSAT TT=1.341
|
UNSAT TT=1.991
|
UNSAT TT=1.358
|
UNSAT TT=0.467
|
UNSAT TT=0.469
|
UNSAT TT=0.476
|
UNSAT TT=0.421
|
UNSAT TT=0.029
|
Bench name | Best results | borg-pb 10.05.30 (complete) | bsolo 3.2 Card (complete) | bsolo 3.2 Cl (complete) | pb_cplex 2010-06-29 (complete) | PB/CT 0.1 (complete) | PB/CT 0.1 fixed (complete) | PBPASSolver 2010-06-13 (complete) | PB-wave alpha 2 (incomplete) | SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete) | SAT4J PB RES // CP 2.2.0 2010-05-31 (complete) | SAT4J PB Resolution 2.2.0 2010-05-26 (complete) | SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete) | SCIPnone SCIP 1.2.1.2 without any LP solver (complete) | SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | wbo 1.4a (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl.opb
|
UNSAT TT=0.442
|
UNSAT TT=1.696
|
UNSAT TT=4.089
|
UNSAT TT=3.715
|
? (TO) TT=1800.09
|
UNSAT TT=1.925
|
UNSAT TT=1.846
|
UNSAT TT=438.836
|
? (TO) TT=1800.03
|
UNSAT TT=5.385
|
UNSAT TT=6.049
|
UNSAT TT=3.924
|
? (TO) TT=1800.28
|
UNSAT TT=128.344
|
? (TO) TT=1801.34
|
? TT=1789.54
|
UNSAT TT=0.442
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl.opb
|
UNSAT TT=0.48
|
UNSAT TT=1.777
|
UNSAT TT=7.421
|
UNSAT TT=7.143
|
? (TO) TT=1800.01
|
UNSAT TT=2.13
|
UNSAT TT=2.049
|
UNSAT TT=623.978
|
? (TO) TT=1800.06
|
UNSAT TT=6.058
|
UNSAT TT=7.217
|
UNSAT TT=4.806
|
? (TO) TT=1802.06
|
UNSAT TT=147.134
|
? (TO) TT=1800.63
|
? TT=1789.47
|
UNSAT TT=0.48
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-dlx1c.ucl.opb
|
UNSAT TT=0.25
|
UNSAT TT=1.578
|
UNSAT TT=2.605
|
UNSAT TT=2.379
|
? (TO) TT=1800.04
|
UNSAT TT=1.561
|
UNSAT TT=1.494
|
UNSAT TT=447.325
|
? (TO) TT=1800.12
|
UNSAT TT=4.899
|
UNSAT TT=5.935
|
UNSAT TT=3.637
|
? (TO) TT=1801.31
|
UNSAT TT=61.792
|
UNSAT TT=1625.87
|
UNSAT TT=1380.15
|
UNSAT TT=0.25
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl.opb
|
UNSAT TT=5.518
|
UNSAT TT=6.098
|
UNSAT TT=167.248
|
UNSAT TT=161.893
|
? TT=1799.37
|
UNSAT TT=15.358
|
UNSAT TT=14.261
|
? (MO) TT=13.1
|
? (TO) TT=1800.06
|
UNSAT TT=24.71
|
UNSAT TT=22.211
|
UNSAT TT=12.459
|
? (TO) TT=1802.15
|
UNSAT TT=567.86
|
? (TO) TT=1802.11
|
? TT=1795.38
|
UNSAT TT=5.518
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl.opb
|
UNSAT TT=0.002
|
UNSAT TT=1.342
|
UNSAT TT=0.002
|
UNSAT TT=0.002
|
UNSAT TT=0.017
|
UNSAT TT=0.012
|
UNSAT TT=0.012
|
UNSAT TT=0.134
|
? (TO) TT=1800.06
|
UNSAT TT=0.348
|
UNSAT TT=0.374
|
UNSAT TT=0.333
|
UNSAT TT=0.039
|
UNSAT TT=0.039
|
UNSAT TT=0.039
|
UNSAT TT=0.036
|
UNSAT TT=0.002
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl.opb
|
UNSAT TT=0.02
|
UNSAT TT=1.327
|
UNSAT TT=0.096
|
UNSAT TT=0.095
|
UNSAT TT=0.582
|
UNSAT TT=0.3
|
UNSAT TT=0.272
|
UNSAT TT=4.586
|
? (TO) TT=1800.02
|
UNSAT TT=1.477
|
UNSAT TT=1.612
|
UNSAT TT=1.29
|
UNSAT TT=0.584
|
UNSAT TT=0.374
|
UNSAT TT=0.657
|
UNSAT TT=0.63
|
UNSAT TT=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl.opb
|
UNSAT TT=0.106
|
UNSAT TT=1.418
|
UNSAT TT=1.198
|
UNSAT TT=1.202
|
UNSAT TT=52.924
|
UNSAT TT=1.45
|
UNSAT TT=1.386
|
UNSAT TT=27.195
|
? (TO) TT=1800.09
|
UNSAT TT=4.081
|
UNSAT TT=3.511
|
UNSAT TT=3.002
|
UNSAT TT=359.653
|
UNSAT TT=3.422
|
UNSAT TT=415.227
|
UNSAT TT=403.213
|
UNSAT TT=0.106
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl.opb
|
UNSAT TT=0.714
|
UNSAT TT=1.838
|
UNSAT TT=18.04
|
UNSAT TT=17.875
|
? (TO) TT=1800.1
|
UNSAT TT=5.039
|
UNSAT TT=4.843
|
? (MO) TT=13.2
|
? (TO) TT=1800.07
|
UNSAT TT=6.57
|
UNSAT TT=5.529
|
UNSAT TT=4.072
|
? (TO) TT=1802.13
|
UNSAT TT=37.587
|
? (TO) TT=1802.12
|
? TT=1789.93
|
UNSAT TT=0.714
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl.opb
|
UNSAT TT=1.371
|
UNSAT TT=2.429
|
UNSAT TT=5.176
|
UNSAT TT=4.76
|
? (TO) TT=1800.08
|
UNSAT TT=6.966
|
UNSAT TT=6.553
|
? (TO) TT=1800.03
|
? (TO) TT=1800.04
|
UNSAT TT=606.653
|
UNSAT TT=17.534
|
UNSAT TT=8.008
|
UNSAT TT=1240.82
|
UNSAT TT=1123.66
|
UNSAT TT=1218.45
|
? TT=1789.76
|
UNSAT TT=1.371
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl.opb
|
UNSAT TT=5.11
|
UNSAT TT=5.41
|
UNSAT TT=20.837
|
UNSAT TT=18.031
|
? (TO) TT=1800.13
|
UNSAT TT=21.168
|
UNSAT TT=25.327
|
? (TO) TT=1800.02
|
? (TO) TT=1800.07
|
UNSAT TT=1738.71
|
UNSAT TT=35.15
|
UNSAT TT=13.418
|
? (TO) TT=1800.19
|
? (TO) TT=1801.64
|
? (TO) TT=1800.34
|
? TT=1789.64
|
UNSAT TT=5.11
|
Bench name | Best results | borg-pb 10.05.30 (complete) | bsolo 3.2 Card (complete) | bsolo 3.2 Cl (complete) | pb_cplex 2010-06-29 (complete) | PB/CT 0.1 (complete) | PB/CT 0.1 fixed (complete) | PBPASSolver 2010-06-13 (complete) | PB-wave alpha 2 (incomplete) | SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete) | SAT4J PB RES // CP 2.2.0 2010-05-31 (complete) | SAT4J PB Resolution 2.2.0 2010-05-26 (complete) | SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete) | SCIPnone SCIP 1.2.1.2 without any LP solver (complete) | SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | wbo 1.4a (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb
|
UNSAT TT=0.197
|
UNSAT TT=1.578
|
UNSAT TT=0.456
|
UNSAT TT=0.412
|
? (TO) TT=1800.1
|
UNSAT TT=1.201
|
UNSAT TT=1.158
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
UNSAT TT=3.701
|
UNSAT TT=4.667
|
UNSAT TT=3.211
|
UNSAT TT=316.517
|
UNSAT TT=131.248
|
UNSAT TT=319.632
|
UNSAT TT=306.207
|
UNSAT TT=0.197
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.6.accl.ucl.opb
|
|
? (TO) TT=1800.07
|
? TT=1798.09
|
? TT=1798.1
|
? (TO) TT=1800.18
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
? (MO) TT=13.39
|
? (TO) TT=1800.05
|
? (TO) TT=1800.26
|
? (TO) TT=1800.77
|
? (TO) TT=1800.19
|
? (TO) TT=1802.1
|
? (TO) TT=1801.4
|
? (TO) TT=1802.06
|
? TT=1794.31
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl.opb
|
UNSAT TT=1219.55
|
? (TO) TT=1800.07
|
? TT=1798.05
|
? TT=1798.09
|
? (TO) TT=1800.05
|
? (TO) TT=1800.13
|
UNSAT TT=1449.55
|
? (MO) TT=13.2
|
? (TO) TT=1800.08
|
? (TO) TT=1800.25
|
? (TO) TT=1800.38
|
UNSAT TT=1219.55
|
? (TO) TT=1802.11
|
? (TO) TT=1801.43
|
? (TO) TT=1802.06
|
? TT=1794.54
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
|
UNSAT TT=44.148
|
UNSAT TT=114.371
|
UNSAT TT=299.058
|
UNSAT TT=374.543
|
? TT=1798.67
|
UNSAT TT=295.466
|
UNSAT TT=359.462
|
? (MO) TT=12.69
|
? (TO) TT=1800.04
|
? (TO) TT=1800.18
|
UNSAT TT=221.425
|
UNSAT TT=97.6
|
? (TO) TT=1802.06
|
? (TO) TT=1801.26
|
? (TO) TT=1802.14
|
? TT=1790.55
|
UNSAT TT=44.148
|
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
|
UNSAT TT=786.704
|
? (TO) TT=1800.07
|
? TT=1798.09
|
? TT=1798.04
|
? TT=1799.1
|
? (TO) TT=1800.21
|
? (TO) TT=1800.2
|
? (MO) TT=13.39
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
? (TO) TT=1800.54
|
? (TO) TT=1800.16
|
? (TO) TT=1802.19
|
? (TO) TT=1801.98
|
? (TO) TT=1802.16
|
? TT=1792.11
|
UNSAT TT=786.704
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb
|
UNSAT TT=1799.77
|
? (TO) TT=1800.06
|
? TT=1798.07
|
? TT=1798.07
|
? TT=1799.16
|
UNSAT TT=1740.53
|
UNSAT TT=1799.77
|
? (MO) TT=13.29
|
? (TO) TT=1800.12
|
? (TO) TT=1800.32
|
? (TO) TT=1800.48
|
? (TO) TT=1800.27
|
? (TO) TT=1802.14
|
? (TO) TT=1801.47
|
? (TO) TT=1802.09
|
? TT=1791.99
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
|
|
? (TO) TT=1800.11
|
? TT=1798.43
|
? TT=1798.27
|
? TT=1799.94
|
? (MO) TT=25.801
|
? (MO) TT=34.304
|
? (MO) TT=13.2
|
? (exit code) TT=0.003
|
? (TO) TT=1800.25
|
? (TO) TT=1800.5
|
? (TO) TT=1800.2
|
? (MO) TT=68.731
|
? (TO) TT=1802.21
|
? (MO) TT=133.023
|
? (MO) TT=139.227
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl.opb
|
UNSAT TT=22.634
|
UNSAT TT=25.599
|
UNSAT TT=229.464
|
UNSAT TT=135.2
|
? (TO) TT=1800.1
|
UNSAT TT=23.849
|
UNSAT TT=23.17
|
? (MO) TT=13.2
|
? (TO) TT=1800.09
|
UNSAT TT=1364.41
|
UNSAT TT=83.966
|
UNSAT TT=40.968
|
? (TO) TT=1802.04
|
? (TO) TT=1801.64
|
? (TO) TT=1802.1
|
? TT=1795.61
|
UNSAT TT=22.634
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl.opb
|
UNSAT TT=0.041
|
UNSAT TT=1.37
|
UNSAT TT=0.199
|
UNSAT TT=0.244
|
UNSAT TT=30.831
|
UNSAT TT=0.382
|
UNSAT TT=0.366
|
UNSAT TT=32.649
|
? (TO) TT=1800.08
|
UNSAT TT=2.26
|
UNSAT TT=2.904
|
UNSAT TT=2.11
|
UNSAT TT=1.12
|
UNSAT TT=1.012
|
UNSAT TT=1.247
|
UNSAT TT=1.314
|
UNSAT TT=0.041
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl.opb
|
UNSAT TT=0.122
|
UNSAT TT=1.435
|
UNSAT TT=1.041
|
UNSAT TT=1.262
|
? (TO) TT=1800.04
|
UNSAT TT=0.889
|
UNSAT TT=0.859
|
UNSAT TT=1114.25
|
? (TO) TT=1800.05
|
UNSAT TT=6.259
|
UNSAT TT=5.836
|
UNSAT TT=4.842
|
UNSAT TT=284.46
|
UNSAT TT=8.151
|
UNSAT TT=4.981
|
UNSAT TT=4.862
|
UNSAT TT=0.122
|
Bench name | Best results | borg-pb 10.05.30 (complete) | bsolo 3.2 Card (complete) | bsolo 3.2 Cl (complete) | pb_cplex 2010-06-29 (complete) | PB/CT 0.1 (complete) | PB/CT 0.1 fixed (complete) | PBPASSolver 2010-06-13 (complete) | PB-wave alpha 2 (incomplete) | SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete) | SAT4J PB RES // CP 2.2.0 2010-05-31 (complete) | SAT4J PB Resolution 2.2.0 2010-05-26 (complete) | SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete) | SCIPnone SCIP 1.2.1.2 without any LP solver (complete) | SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | wbo 1.4a (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl.opb
|
UNSAT TT=0.758
|
UNSAT TT=1.674
|
UNSAT TT=4.607
|
UNSAT TT=7.548
|
? (TO) TT=1800.07
|
UNSAT TT=1.928
|
UNSAT TT=1.798
|
UNSAT TT=1491.95
|
? (TO) TT=1800.11
|
UNSAT TT=9.397
|
UNSAT TT=8.621
|
UNSAT TT=4.906
|
? (TO) TT=1802.06
|
UNSAT TT=40.664
|
? (TO) TT=1800.76
|
? TT=1790.15
|
UNSAT TT=0.758
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl.opb
|
UNSAT TT=2.474
|
UNSAT TT=3.736
|
UNSAT TT=25.377
|
UNSAT TT=27.92
|
? (TO) TT=1800.08
|
UNSAT TT=5.466
|
UNSAT TT=5.284
|
? (MO) TT=46.85
|
? (TO) TT=1800.03
|
UNSAT TT=25.852
|
UNSAT TT=17.317
|
UNSAT TT=12.472
|
? (TO) TT=1802.04
|
UNSAT TT=382.596
|
? (TO) TT=1800.94
|
? TT=1793.88
|
UNSAT TT=2.474
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl.opb
|
UNSAT TT=5.032
|
UNSAT TT=5.032
|
UNSAT TT=13.223
|
UNSAT TT=59.364
|
? (TO) TT=1800.13
|
UNSAT TT=8.336
|
UNSAT TT=8.005
|
? (TO) TT=1800.1
|
? (TO) TT=1800.1
|
? (TO) TT=1800.14
|
UNSAT TT=76.261
|
UNSAT TT=39.781
|
? (TO) TT=1802.06
|
? (TO) TT=1800.72
|
? (TO) TT=1800.75
|
? TT=1791.21
|
UNSAT TT=24.108
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl.opb
|
UNSAT TT=30.418
|
UNSAT TT=30.418
|
UNSAT TT=115.058
|
UNSAT TT=474.026
|
? (TO) TT=1800.15
|
UNSAT TT=27.757
|
UNSAT TT=59.056
|
? (MO) TT=12.84
|
? (TO) TT=1800.06
|
? (TO) TT=1800.17
|
UNSAT TT=305.247
|
UNSAT TT=152.164
|
? (TO) TT=1802.13
|
? (TO) TT=1801.23
|
? (TO) TT=1802.05
|
? TT=1792.31
|
UNSAT TT=127.143
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl.opb
|
UNSAT TT=52.8
|
UNSAT TT=52.8
|
UNSAT TT=460.271
|
UNSAT TT=1619.02
|
? TT=1799.11
|
UNSAT TT=150.175
|
UNSAT TT=128.38
|
? (MO) TT=13.69
|
? (TO) TT=1800.1
|
? (TO) TT=1800.22
|
UNSAT TT=1648.88
|
UNSAT TT=767.276
|
? (TO) TT=1802.12
|
? (TO) TT=1801.67
|
? (TO) TT=1802.14
|
? TT=1790.71
|
UNSAT TT=433.181
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl.opb
|
UNSAT TT=0.564
|
UNSAT TT=2.085
|
UNSAT TT=4.973
|
UNSAT TT=4.573
|
? (TO) TT=1800.17
|
UNSAT TT=1.977
|
UNSAT TT=1.999
|
UNSAT TT=1333.97
|
? (TO) TT=1800.04
|
UNSAT TT=745.94
|
UNSAT TT=16.794
|
UNSAT TT=7.819
|
UNSAT TT=316.9
|
UNSAT TT=225.442
|
? (TO) TT=1800.37
|
UNSAT TT=186.48
|
UNSAT TT=0.564
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl.opb
|
UNSAT TT=663.935
|
? (TO) TT=1800.11
|
UNSAT TT=1593.46
|
? TT=1798.04
|
? TT=1799.08
|
UNSAT TT=1045.06
|
UNSAT TT=1125.42
|
? (MO) TT=13.96
|
? (TO) TT=1800.06
|
? (TO) TT=1800.19
|
? (TO) TT=1800.52
|
? (TO) TT=1800.27
|
? (TO) TT=1802.14
|
? (TO) TT=1802.02
|
? (TO) TT=1802.19
|
? TT=1791.86
|
UNSAT TT=663.935
|
|
Statistics | borg-pb 10.05.30 (complete) | bsolo 3.2 Card (complete) | bsolo 3.2 Cl (complete) | pb_cplex 2010-06-29 (complete) | PB/CT 0.1 (complete) | PB/CT 0.1 fixed (complete) | PBPASSolver 2010-06-13 (complete) | PB-wave alpha 2 (incomplete) | SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete) | SAT4J PB RES // CP 2.2.0 2010-05-31 (complete) | SAT4J PB Resolution 2.2.0 2010-05-26 (complete) | SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver (complete) | SCIPnone SCIP 1.2.1.2 without any LP solver (complete) | SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete) | wbo 1.4a (complete) |
Number of times the solver is able to give the best known answer | 97 | 99 | 79 | 76 | 0 | 82 | 0 | 36 | 81 | 98 | 79 | 79 | 69 | 77 | 78 | 82 |
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time) | 6 | 11 | 3 | 8 | 0 | 1 | 0 | 21 | 0 | 0 | 1 | 0 | 0 | 0 | 5 | 51 |