normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
|
UNSAT TT=0.004
|
UNSAT TT=0.468
|
UNSAT TT=0.004
|
UNSAT TT=23.347
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
UNSAT TT=203.056
|
UNSAT TT=205.898
|
UNSAT TT=0.187
|
UNSAT TT=0.275
|
UNSAT TT=1001.22
|
UNSAT TT=0.016
|
UNSAT TT=0.015
|
UNSAT TT=0.017
|
UNSAT TT=0.016
|
UNSAT TT=109.266
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
|
UNSAT TT=0.003
|
UNSAT TT=0.467
|
UNSAT TT=0.003
|
UNSAT TT=24.733
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
UNSAT TT=166.631
|
UNSAT TT=191.445
|
UNSAT TT=0.196
|
UNSAT TT=0.23
|
? (TO) TT=1800.13
|
UNSAT TT=0.019
|
UNSAT TT=0.017
|
UNSAT TT=0.019
|
UNSAT TT=0.019
|
UNSAT TT=458.821
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
|
UNSAT TT=0.005
|
UNSAT TT=0.476
|
UNSAT TT=0.005
|
UNSAT TT=25.133
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
UNSAT TT=195.175
|
UNSAT TT=186.274
|
UNSAT TT=0.204
|
UNSAT TT=0.242
|
UNSAT TT=801.533
|
UNSAT TT=0.019
|
UNSAT TT=0.018
|
UNSAT TT=0.021
|
UNSAT TT=0.019
|
UNSAT TT=132.562
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
|
UNSAT TT=0.009
|
UNSAT TT=0.511
|
UNSAT TT=0.009
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
UNSAT TT=0.245
|
UNSAT TT=0.382
|
? (TO) TT=1800.15
|
UNSAT TT=0.019
|
UNSAT TT=0.018
|
UNSAT TT=0.02
|
UNSAT TT=0.02
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
|
UNSAT TT=0.014
|
UNSAT TT=0.477
|
UNSAT TT=0.014
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=0.222
|
UNSAT TT=0.283
|
? (TO) TT=1800.05
|
UNSAT TT=0.022
|
UNSAT TT=0.02
|
UNSAT TT=0.022
|
UNSAT TT=0.022
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
|
UNSAT TT=0.014
|
UNSAT TT=0.501
|
UNSAT TT=0.014
|
? (TO) TT=1800.06
|
? (TO) TT=1800.12
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
UNSAT TT=0.252
|
UNSAT TT=0.319
|
? (TO) TT=1800.15
|
UNSAT TT=0.024
|
UNSAT TT=0.022
|
UNSAT TT=0.024
|
UNSAT TT=0.024
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
|
UNSAT TT=0.023
|
UNSAT TT=0.489
|
UNSAT TT=0.025
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
UNSAT TT=0.318
|
UNSAT TT=0.667
|
? (TO) TT=1800.06
|
UNSAT TT=0.025
|
UNSAT TT=0.023
|
UNSAT TT=0.026
|
UNSAT TT=0.025
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
|
UNSAT TT=0.021
|
UNSAT TT=0.494
|
UNSAT TT=0.021
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
UNSAT TT=0.274
|
UNSAT TT=0.38
|
? (TO) TT=1800.13
|
UNSAT TT=0.026
|
UNSAT TT=0.027
|
UNSAT TT=0.03
|
UNSAT TT=0.026
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
|
UNSAT TT=0.027
|
UNSAT TT=0.503
|
UNSAT TT=0.028
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
UNSAT TT=0.308
|
UNSAT TT=0.446
|
? (TO) TT=1800.12
|
UNSAT TT=0.029
|
UNSAT TT=0.027
|
UNSAT TT=0.03
|
UNSAT TT=0.028
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
|
UNSAT TT=0.039
|
UNSAT TT=0.522
|
UNSAT TT=0.068
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
UNSAT TT=0.549
|
UNSAT TT=1.088
|
? (TO) TT=1800.14
|
UNSAT TT=0.039
|
UNSAT TT=0.039
|
UNSAT TT=0.039
|
UNSAT TT=0.041
|
? (TO) TT=1800.08
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
|
UNSAT TT=0.044
|
UNSAT TT=0.532
|
UNSAT TT=0.074
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.02
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
UNSAT TT=0.386
|
UNSAT TT=0.588
|
? (TO) TT=1800.06
|
UNSAT TT=0.05
|
UNSAT TT=0.044
|
UNSAT TT=0.045
|
UNSAT TT=0.044
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
|
UNSAT TT=0.047
|
UNSAT TT=0.548
|
UNSAT TT=0.116
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
UNSAT TT=0.397
|
UNSAT TT=0.631
|
? (TO) TT=1800.14
|
UNSAT TT=0.049
|
UNSAT TT=0.047
|
UNSAT TT=0.051
|
UNSAT TT=0.048
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
|
UNSAT TT=0.047
|
UNSAT TT=0.609
|
UNSAT TT=0.113
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
UNSAT TT=0.739
|
UNSAT TT=1.552
|
? (TO) TT=1800.08
|
UNSAT TT=0.049
|
UNSAT TT=0.047
|
UNSAT TT=0.049
|
UNSAT TT=0.051
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
|
UNSAT TT=0.05
|
UNSAT TT=0.618
|
UNSAT TT=0.234
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.03
|
UNSAT TT=0.463
|
UNSAT TT=0.794
|
? (TO) TT=1800.13
|
UNSAT TT=0.053
|
UNSAT TT=0.05
|
UNSAT TT=0.054
|
UNSAT TT=0.056
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
|
UNSAT TT=0.055
|
UNSAT TT=0.584
|
UNSAT TT=0.132
|
? (TO) TT=1800.03
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
UNSAT TT=0.484
|
UNSAT TT=0.822
|
? (TO) TT=1800.14
|
UNSAT TT=0.058
|
UNSAT TT=0.055
|
UNSAT TT=0.06
|
UNSAT TT=0.057
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
|
UNSAT TT=0.059
|
UNSAT TT=0.612
|
UNSAT TT=0.207
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
UNSAT TT=0.876
|
UNSAT TT=1.604
|
? (TO) TT=1800.16
|
UNSAT TT=0.061
|
UNSAT TT=0.059
|
UNSAT TT=0.066
|
UNSAT TT=0.06
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
|
UNSAT TT=0.067
|
UNSAT TT=0.61
|
UNSAT TT=0.182
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
UNSAT TT=0.511
|
UNSAT TT=0.93
|
? (TO) TT=1800.1
|
UNSAT TT=0.071
|
UNSAT TT=0.067
|
UNSAT TT=0.071
|
UNSAT TT=0.068
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
|
UNSAT TT=0.074
|
UNSAT TT=0.635
|
UNSAT TT=0.234
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
UNSAT TT=0.503
|
UNSAT TT=0.938
|
? (TO) TT=1800.08
|
UNSAT TT=0.078
|
UNSAT TT=0.074
|
UNSAT TT=0.083
|
UNSAT TT=0.074
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
|
UNSAT TT=0.084
|
UNSAT TT=0.709
|
UNSAT TT=0.371
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=1.236
|
UNSAT TT=2.139
|
? (TO) TT=1800.08
|
UNSAT TT=0.088
|
UNSAT TT=0.091
|
UNSAT TT=0.088
|
UNSAT TT=0.084
|
? (TO) TT=1800.12
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
|
UNSAT TT=0.091
|
UNSAT TT=0.707
|
UNSAT TT=0.534
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=0.73
|
UNSAT TT=1.146
|
? (TO) TT=1800.18
|
UNSAT TT=0.096
|
UNSAT TT=0.091
|
UNSAT TT=0.096
|
UNSAT TT=0.092
|
? (TO) TT=1800.09
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
|
UNSAT TT=0.098
|
UNSAT TT=0.726
|
UNSAT TT=3.959
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
UNSAT TT=0.713
|
UNSAT TT=1.186
|
? (TO) TT=1800.1
|
UNSAT TT=0.102
|
UNSAT TT=0.098
|
UNSAT TT=0.102
|
UNSAT TT=0.098
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga10_10_sat_pb.cnf.cr.opb
|
SAT TT=0.003 T1=0
|
SAT TT=0.78 T1=0.82
|
SAT TT=0.003 T1=0
|
SAT TT=0.01 T1=0.01
|
SAT TT=0.003 T1=0.01
|
SAT TT=0.01 T1=0.01
|
SAT TT=0.004 T1=0
|
SAT TT=0.01 T1=0.01
|
SAT TT=0.302 T1=0.2
|
SAT TT=0.529 T1=0.66
|
SAT TT=0.349 T1=0.21
|
SAT TT=0.126 T1=0.12
|
SAT TT=0.124 T1=0.12
|
SAT TT=0.126 T1=0.12
|
SAT TT=0.127 T1=0.12
|
SAT TT=0.004 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga10_8_sat_pb.cnf.cr.opb
|
SAT TT=0.001 T1=0
|
SAT TT=0.487 T1=0.66
|
SAT TT=0.001 T1=0
|
SAT TT=0.004 T1=0.01
|
SAT TT=0.003 T1=0
|
SAT TT=0.007 T1=0
|
SAT TT=0.003 T1=0
|
SAT TT=0.007 T1=0
|
SAT TT=1.628 T1=0.65
|
SAT TT=0.571 T1=0.65
|
SAT TT=0.314 T1=0.19
|
SAT TT=0.039 T1=0.03
|
SAT TT=0.038 T1=0.03
|
SAT TT=0.042 T1=0.03
|
SAT TT=0.041 T1=0.03
|
SAT TT=0.001 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga10_9_sat_pb.cnf.cr.opb
|
SAT TT=0.003 T1=0
|
SAT TT=0.461 T1=0.53
|
SAT TT=0.013 T1=0.01
|
SAT TT=0.008 T1=0
|
SAT TT=0.003 T1=0
|
SAT TT=0.009 T1=0
|
SAT TT=0.003 T1=0
|
SAT TT=0.009 T1=0
|
SAT TT=1.339 T1=0.56
|
SAT TT=0.654 T1=0.66
|
SAT TT=0.385 T1=0.22
|
SAT TT=0.105 T1=0.1
|
SAT TT=0.105 T1=0.1
|
SAT TT=0.108 T1=0.1
|
SAT TT=0.108 T1=0.1
|
SAT TT=0.004 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga11_10_sat_pb.cnf.cr.opb
|
SAT TT=0.002 T1=0
|
SAT TT=0.822 T1=0.97
|
SAT TT=0.003 T1=0
|
SAT TT=0.091 T1=0.09
|
SAT TT=0.005 T1=0
|
SAT TT=0.011 T1=0.01
|
SAT TT=0.004 T1=0
|
SAT TT=0.012 T1=0.01
|
SAT TT=0.333 T1=0.22
|
SAT TT=0.615 T1=0.66
|
SAT TT=0.376 T1=0.22
|
SAT TT=0.168 T1=0.16
|
SAT TT=0.167 T1=0.16
|
SAT TT=0.17 T1=0.16
|
SAT TT=0.171 T1=0.16
|
SAT TT=0.002 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga11_11_sat_pb.cnf.cr.opb
|
SAT TT=0.001 T1=0
|
SAT TT=0.851 T1=1.08
|
SAT TT=0.002 T1=0
|
SAT TT=0.011 T1=0.01
|
SAT TT=0.004 T1=0.01
|
SAT TT=0.012 T1=0.01
|
SAT TT=0.004 T1=0
|
SAT TT=0.012 T1=0.01
|
SAT TT=1.022 T1=0.45
|
SAT TT=0.753 T1=0.67
|
SAT TT=0.394 T1=0.23
|
SAT TT=0.136 T1=0.13
|
SAT TT=0.133 T1=0.13
|
SAT TT=0.137 T1=0.13
|
SAT TT=0.139 T1=0.13
|
SAT TT=0.001 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga11_9_sat_pb.cnf.cr.opb
|
SAT TT=0.001 T1=0
|
SAT TT=0.467 T1=0.61
|
SAT TT=0.001 T1=0
|
SAT TT=0.033 T1=0.03
|
SAT TT=0.004 T1=0
|
SAT TT=0.009 T1=0
|
SAT TT=0.003 T1=0
|
SAT TT=0.009 T1=0
|
SAT TT=1.799 T1=0.75
|
SAT TT=0.564 T1=0.67
|
SAT TT=0.354 T1=0.21
|
SAT TT=0.219 T1=0.21
|
SAT TT=0.22 T1=0.21
|
SAT TT=0.22 T1=0.21
|
SAT TT=0.223 T1=0.21
|
SAT TT=0.001 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga12_10_sat_pb.cnf.cr.opb
|
SAT TT=0.001 T1=0
|
SAT TT=0.476 T1=0.69
|
SAT TT=0.002 T1=0
|
SAT TT=0.028 T1=0.02
|
SAT TT=0.044 T1=0.04
|
SAT TT=0.068 T1=0.08
|
SAT TT=0.005 T1=0
|
SAT TT=0.013 T1=0.01
|
SAT TT=72.39 T1=70.69
|
SAT TT=0.694 T1=0.67
|
SAT TT=0.416 T1=0.24
|
SAT TT=1.041 T1=1.03
|
SAT TT=1.06 T1=1.05
|
SAT TT=1.04 T1=1.03
|
SAT TT=1.069 T1=1.06
|
SAT TT=0.001 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga12_11_sat_pb.cnf.cr.opb
|
SAT TT=0.006 T1=0
|
SAT TT=0.907 T1=0.92
|
SAT TT=0.019 T1=0.01
|
SAT TT=0.015 T1=0.01
|
SAT TT=0.182 T1=0.18
|
SAT TT=0.239 T1=0.24
|
SAT TT=0.007 T1=0
|
SAT TT=0.02 T1=0.02
|
SAT TT=1.512 T1=0.68
|
SAT TT=0.755 T1=0.67
|
SAT TT=0.459 T1=0.25
|
SAT TT=0.197 T1=0.19
|
SAT TT=0.178 T1=0.17
|
SAT TT=0.179 T1=0.17
|
SAT TT=0.194 T1=0.18
|
SAT TT=0.006 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga12_12_sat_pb.cnf.cr.opb
|
SAT TT=0.002 T1=0
|
SAT TT=0.896 T1=1.21
|
SAT TT=0.004 T1=0
|
SAT TT=0.004 T1=0
|
SAT TT=0.055 T1=0.06
|
SAT TT=0.074 T1=0.07
|
SAT TT=0.007 T1=0
|
SAT TT=0.019 T1=0.01
|
SAT TT=1.282 T1=0.54
|
SAT TT=0.701 T1=0.69
|
SAT TT=0.415 T1=0.24
|
SAT TT=0.16 T1=0.15
|
SAT TT=0.175 T1=0.17
|
SAT TT=0.161 T1=0.15
|
SAT TT=0.163 T1=0.15
|
SAT TT=0.002 T1=0
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga13_11_sat_pb.cnf.cr.opb
|
SAT TT=0.001 T1=0
|
SAT TT=0.502 T1=0.8
|
SAT TT=0.155 T1=0.15
|
SAT TT=0.16 T1=0.16
|
SAT TT=0.004 T1=0.01
|
SAT TT=0.014 T1=0.01
|
SAT TT=0.006 T1=0
|
SAT TT=0.014 T1=0.01
|
SAT TT=145.362 T1=143.04
|
SAT TT=0.665 T1=0.68
|
SAT TT=0.412 T1=0.23
|
SAT TT=1.208 T1=1.2
|
SAT TT=1.352 T1=1.34
|
SAT TT=1.209 T1=1.2
|
SAT TT=1.245 T1=1.23
|
SAT TT=0.001 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga13_12_sat_pb.cnf.cr.opb
|
SAT TT=0.004 T1=0
|
SAT TT=0.836 T1=1.18
|
SAT TT=0.004 T1=0
|
SAT TT=1.032 T1=1.03
|
SAT TT=0.005 T1=0
|
SAT TT=0.016 T1=0.01
|
SAT TT=0.006 T1=0
|
SAT TT=0.017 T1=0.01
|
SAT TT=0.417 T1=0.31
|
SAT TT=0.602 T1=0.68
|
SAT TT=0.396 T1=0.23
|
SAT TT=0.236 T1=0.23
|
SAT TT=0.249 T1=0.24
|
SAT TT=0.236 T1=0.23
|
SAT TT=0.239 T1=0.23
|
SAT TT=0.004 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga13_13_sat_pb.cnf.cr.opb
|
SAT TT=0.004 T1=0
|
SAT TT=0.915 T1=2.57
|
SAT TT=0.005 T1=0
|
SAT TT=0.726 T1=0.72
|
SAT TT=0.252 T1=0.25
|
SAT TT=0.288 T1=0.28
|
SAT TT=0.008 T1=0
|
SAT TT=0.021 T1=0.02
|
SAT TT=0.665 T1=0.33
|
SAT TT=0.838 T1=0.7
|
SAT TT=0.457 T1=0.26
|
SAT TT=0.234 T1=0.23
|
SAT TT=0.207 T1=0.2
|
SAT TT=0.21 T1=0.2
|
SAT TT=0.211 T1=0.2
|
SAT TT=0.004 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga14_12_sat_pb.cnf.cr.opb
|
SAT TT=0.006 T1=0
|
SAT TT=1.404 T1=1.5
|
SAT TT=0.184 T1=0.18
|
SAT TT=0.095 T1=0.09
|
SAT TT=0.006 T1=0
|
SAT TT=0.016 T1=0.01
|
SAT TT=0.006 T1=0
|
SAT TT=0.016 T1=0.01
|
SAT TT=187.642 T1=185.45
|
SAT TT=2.955 T1=1.2
|
SAT TT=0.97 T1=0.67
|
SAT TT=6.191 T1=6.18
|
SAT TT=6.88 T1=6.87
|
SAT TT=6.173 T1=6.16
|
SAT TT=6.946 T1=6.93
|
SAT TT=0.006 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga14_13_sat_pb.cnf.cr.opb
|
SAT TT=0.002 T1=0
|
SAT TT=0.962 T1=0.81
|
SAT TT=0.004 T1=0
|
SAT TT=0.463 T1=0.46
|
SAT TT=0.007 T1=0
|
SAT TT=0.022 T1=0.02
|
SAT TT=0.007 T1=0
|
SAT TT=0.022 T1=0.02
|
SAT TT=1.908 T1=0.8
|
SAT TT=1.093 T1=0.69
|
SAT TT=0.524 T1=0.29
|
SAT TT=0.492 T1=0.48
|
SAT TT=0.546 T1=0.54
|
SAT TT=0.535 T1=0.52
|
SAT TT=0.498 T1=0.49
|
SAT TT=0.002 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga14_14_sat_pb.cnf.cr.opb
|
SAT TT=0.005 T1=0
|
SAT TT=0.918 T1=0.79
|
SAT TT=0.006 T1=0
|
SAT TT=0.254 T1=0.25
|
SAT TT=0.009 T1=0
|
SAT TT=0.028 T1=0.02
|
SAT TT=0.009 T1=0
|
SAT TT=0.026 T1=0.02
|
SAT TT=0.66 T1=0.33
|
SAT TT=0.846 T1=0.69
|
SAT TT=0.475 T1=0.27
|
SAT TT=0.307 T1=0.3
|
SAT TT=0.279 T1=0.27
|
SAT TT=0.282 T1=0.27
|
SAT TT=0.281 T1=0.27
|
SAT TT=0.005 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga15_13_sat_pb.cnf.cr.opb
|
SAT TT=0.002 T1=0
|
SAT TT=2.662 T1=2.54
|
SAT TT=0.004 T1=0
|
SAT TT=0.436 T1=0.43
|
SAT TT=0.007 T1=0
|
SAT TT=0.022 T1=0.02
|
SAT TT=0.007 T1=0
|
SAT TT=0.022 T1=0.02
|
? (TO) TT=1800.31
|
SAT TT=5.321 T1=2.22
|
SAT TT=2.31 T1=1.94
|
SAT TT=0.693 T1=0.68
|
SAT TT=0.679 T1=0.67
|
SAT TT=0.613 T1=0.6
|
SAT TT=0.622 T1=0.61
|
SAT TT=0.002 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga15_14_sat_pb.cnf.cr.opb
|
SAT TT=0.003 T1=0
|
SAT TT=0.959 T1=1.23
|
SAT TT=0.005 T1=0
|
SAT TT=43.215 T1=43.21
|
SAT TT=0.108 T1=0.11
|
SAT TT=0.144 T1=0.14
|
SAT TT=0.011 T1=0.01
|
SAT TT=0.033 T1=0.03
|
SAT TT=0.565 T1=0.31
|
SAT TT=0.839 T1=0.7
|
SAT TT=0.504 T1=0.27
|
SAT TT=0.504 T1=0.49
|
SAT TT=0.546 T1=0.54
|
SAT TT=0.501 T1=0.49
|
SAT TT=0.547 T1=0.54
|
SAT TT=0.003 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga15_15_sat_pb.cnf.cr.opb
|
SAT TT=0.004 T1=0
|
SAT TT=1.015 T1=1.19
|
SAT TT=0.006 T1=0
|
SAT TT=3.243 T1=3.24
|
SAT TT=2.264 T1=2.26
|
SAT TT=2.491 T1=2.49
|
SAT TT=0.015 T1=0.01
|
SAT TT=0.04 T1=0.03
|
SAT TT=2.293 T1=1.02
|
SAT TT=1.058 T1=0.7
|
SAT TT=0.546 T1=0.3
|
SAT TT=0.335 T1=0.33
|
SAT TT=0.333 T1=0.32
|
SAT TT=0.335 T1=0.32
|
SAT TT=0.338 T1=0.33
|
SAT TT=0.004 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_18_sat_pb.cnf.cr.opb
|
SAT TT=0.011 T1=0.01
|
SAT TT=0.504 T1=0.61
|
SAT TT=0.015 T1=0.01
|
? (TO) TT=1800.06
|
SAT TT=14.511 T1=14.51
|
SAT TT=15.279 T1=15.28
|
SAT TT=0.02 T1=0.02
|
SAT TT=0.061 T1=0.06
|
? (TO) TT=1800.31
|
SAT TT=1.312 T1=0.74
|
SAT TT=0.581 T1=0.31
|
? (TO) TT=1800.07
|
? TT=1797.08
|
? (TO) TT=1800.07
|
? TT=1797.05
|
SAT TT=0.011 T1=0.02
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_19_sat_pb.cnf.cr.opb
|
SAT TT=0.005 T1=0
|
SAT TT=0.482 T1=0.56
|
SAT TT=0.011 T1=0.01
|
? (TO) TT=1800.08
|
SAT TT=0.018 T1=0.01
|
SAT TT=0.056 T1=0.05
|
SAT TT=0.017 T1=0.01
|
SAT TT=0.059 T1=0.05
|
SAT TT=19.145 T1=17.71
|
SAT TT=1.616 T1=0.74
|
SAT TT=0.685 T1=0.39
|
SAT TT=0.982 T1=0.97
|
SAT TT=0.978 T1=0.97
|
SAT TT=0.977 T1=0.97
|
SAT TT=0.988 T1=0.98
|
SAT TT=0.005 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_20_sat_pb.cnf.cr.opb
|
SAT TT=0.005 T1=0
|
SAT TT=0.522 T1=1.19
|
SAT TT=0.013 T1=0.01
|
? (TO) TT=1800.08
|
SAT TT=0.019 T1=0.01
|
SAT TT=0.062 T1=0.06
|
SAT TT=0.019 T1=0.02
|
SAT TT=0.062 T1=0.06
|
SAT TT=7.419 T1=5.94
|
SAT TT=1.583 T1=0.75
|
SAT TT=0.677 T1=0.35
|
SAT TT=1.653 T1=1.65
|
SAT TT=1.658 T1=1.65
|
SAT TT=1.636 T1=1.63
|
SAT TT=1.66 T1=1.65
|
SAT TT=0.005 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_23_sat_pb.cnf.cr.opb
|
SAT TT=0.088 T1=0.08
|
SAT TT=1.095 T1=1.33
|
SAT TT=0.621 T1=0.62
|
? (TO) TT=1800.06
|
SAT TT=66.066 T1=66.06
|
SAT TT=69.097 T1=69.09
|
SAT TT=0.088 T1=0.08
|
SAT TT=0.216 T1=0.21
|
? (TO) TT=1800.19
|
SAT TT=5.47 T1=2.3
|
SAT TT=2.42 T1=1.83
|
SAT TT=4.107 T1=4.1
|
SAT TT=4.409 T1=4.4
|
SAT TT=4.064 T1=4.05
|
SAT TT=4.161 T1=4.15
|
SAT TT=2.354 T1=2.35
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_24_sat_pb.cnf.cr.opb
|
SAT TT=0.018 T1=0.01
|
SAT TT=1.257 T1=1.04
|
SAT TT=0.43 T1=0.43
|
? (TO) TT=1800.1
|
SAT TT=139.428 T1=139.42
|
SAT TT=148.066 T1=148.06
|
SAT TT=0.111 T1=0.11
|
SAT TT=0.268 T1=0.26
|
SAT TT=331.876 T1=329.46
|
SAT TT=1.658 T1=0.78
|
SAT TT=0.813 T1=0.41
|
SAT TT=603.498 T1=603.46
|
SAT TT=630.766 T1=630.72
|
SAT TT=595.78 T1=595.74
|
SAT TT=612.948 T1=612.91
|
SAT TT=0.018 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_25_sat_pb.cnf.cr.opb
|
SAT TT=0.019 T1=0.01
|
SAT TT=1.377 T1=1
|
SAT TT=0.028 T1=0.02
|
? (TO) TT=1800.07
|
SAT TT=133.887 T1=133.88
|
SAT TT=140.656 T1=140.65
|
SAT TT=0.073 T1=0.07
|
SAT TT=0.219 T1=0.21
|
SAT TT=142.085 T1=140.03
|
SAT TT=2.079 T1=0.79
|
SAT TT=0.872 T1=0.44
|
SAT TT=2.212 T1=2.2
|
SAT TT=2.434 T1=2.42
|
SAT TT=2.197 T1=2.18
|
SAT TT=2.245 T1=2.23
|
SAT TT=0.019 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_28_sat_pb.cnf.cr.opb
|
SAT TT=0.012 T1=0.01
|
SAT TT=2.33 T1=3.34
|
SAT TT=0.035 T1=0.03
|
? (TO) TT=1800.04
|
SAT TT=0.059 T1=0.06
|
SAT TT=0.211 T1=0.21
|
SAT TT=0.059 T1=0.05
|
SAT TT=0.189 T1=0.18
|
? (TO) TT=1800.3
|
SAT TT=3.898 T1=1.81
|
SAT TT=1.704 T1=1.2
|
? (TO) TT=1800.04
|
? TT=1797.13
|
? (TO) TT=1800.07
|
? TT=1797.07
|
SAT TT=0.012 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_29_sat_pb.cnf.cr.opb
|
SAT TT=0.026 T1=0.02
|
SAT TT=1.555 T1=1.25
|
SAT TT=0.161 T1=0.16
|
? (TO) TT=1800.06
|
SAT TT=469.597 T1=469.58
|
SAT TT=536.217 T1=536.2
|
SAT TT=0.137 T1=0.13
|
SAT TT=0.375 T1=0.37
|
? (TO) TT=1800.25
|
SAT TT=2.403 T1=0.81
|
SAT TT=1.069 T1=0.6
|
SAT TT=11.754 T1=11.74
|
SAT TT=12.885 T1=12.87
|
SAT TT=11.718 T1=11.7
|
SAT TT=13.095 T1=13.08
|
SAT TT=0.026 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_30_sat_pb.cnf.cr.opb
|
SAT TT=0.014 T1=0.01
|
SAT TT=1.56 T1=1.35
|
SAT TT=0.044 T1=0.04
|
? (TO) TT=1800.05
|
SAT TT=718.085 T1=718.04
|
SAT TT=816.857 T1=816.81
|
SAT TT=0.181 T1=0.18
|
SAT TT=0.44 T1=0.43
|
SAT TT=8.018 T1=6.57
|
SAT TT=2.589 T1=0.82
|
SAT TT=1.218 T1=0.63
|
? (TO) TT=1800.09
|
? TT=1797.07
|
? (TO) TT=1800.07
|
? TT=1797.09
|
SAT TT=0.014 T1=0.01
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_33_sat_pb.cnf.cr.opb
|
SAT TT=0.298 T1=0.29
|
SAT TT=1.892 T1=2.04
|
SAT TT=0.6 T1=0.6
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
SAT TT=0.298 T1=0.29
|
SAT TT=0.721 T1=0.72
|
? (TO) TT=1800.24
|
SAT TT=3.131 T1=1.35
|
SAT TT=1.281 T1=0.67
|
SAT TT=1755.78 T1=1755.7
|
? TT=1797.07
|
SAT TT=1742.67 T1=1742.59
|
? TT=1797.08
|
SAT TT=43.849 T1=43.84
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_34_sat_pb.cnf.cr.opb
|
SAT TT=0.019 T1=0.01
|
SAT TT=1.67 T1=1.56
|
SAT TT=0.065 T1=0.06
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
SAT TT=0.377 T1=0.37
|
SAT TT=0.885 T1=0.88
|
? (TO) TT=1800.2
|
SAT TT=2.549 T1=0.85
|
SAT TT=1.231 T1=0.59
|
SAT TT=17.67 T1=17.65
|
SAT TT=16.317 T1=16.3
|
SAT TT=16.088 T1=16.07
|
SAT TT=16.289 T1=16.27
|
SAT TT=0.019 T1=0.01
|
Bench name | Best results | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_35_sat_pb.cnf.cr.opb
|
SAT TT=0.027 T1=0.02
|
SAT TT=1.748 T1=1.23
|
SAT TT=0.086 T1=0.08
|
? (TO) TT=1800.08
|
SAT TT=290.957 T1=290.94
|
SAT TT=304.153 T1=304.14
|
SAT TT=0.334 T1=0.33
|
SAT TT=0.862 T1=0.86
|
SAT TT=430.97 T1=428.52
|
SAT TT=2.544 T1=0.87
|
SAT TT=1.205 T1=0.6
|
? (TO) TT=1800.09
|
? TT=1797.09
|
? (TO) TT=1800.07
|
? TT=1797.13
|
SAT TT=0.027 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_38_sat_pb.cnf.cr.opb
|
SAT TT=0.027 T1=0.02
|
SAT TT=1.587 T1=1.88
|
SAT TT=0.103 T1=0.1
|
? (TO) TT=1800.07
|
SAT TT=0.198 T1=0.19
|
SAT TT=0.627 T1=0.62
|
SAT TT=0.3 T1=0.29
|
SAT TT=0.872 T1=0.87
|
? (TO) TT=1800.21
|
SAT TT=3.464 T1=1.44
|
SAT TT=1.704 T1=1.04
|
SAT TT=20.558 T1=20.54
|
SAT TT=22.359 T1=22.34
|
SAT TT=20.487 T1=20.47
|
SAT TT=22.298 T1=22.28
|
SAT TT=0.027 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_39_sat_pb.cnf.cr.opb
|
SAT TT=0.265 T1=0.26
|
SAT TT=1.084 T1=1.16
|
SAT TT=0.265 T1=0.26
|
? (TO) TT=1800.07
|
? (TO) TT=1800.12
|
? (TO) TT=1800.05
|
SAT TT=0.648 T1=0.64
|
SAT TT=1.587 T1=1.58
|
? (TO) TT=1800.26
|
SAT TT=3.52 T1=1.39
|
SAT TT=1.809 T1=1.09
|
? (TO) TT=1800.07
|
? TT=1797.1
|
? (TO) TT=1800.03
|
? TT=1797.08
|
SAT TT=1.134 T1=1.13
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_40_sat_pb.cnf.cr.opb
|
SAT TT=0.058 T1=0.06
|
SAT TT=1.827 T1=1.89
|
SAT TT=0.14 T1=0.13
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
SAT TT=0.725 T1=0.72
|
SAT TT=1.657 T1=1.65
|
SAT TT=3.805 T1=2.66
|
SAT TT=3.074 T1=1.43
|
SAT TT=1.524 T1=0.88
|
SAT TT=29.764 T1=29.74
|
SAT TT=33.072 T1=33.05
|
SAT TT=29.628 T1=29.6
|
SAT TT=30.083 T1=30.06
|
SAT TT=0.058 T1=0.06
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_43_sat_pb.cnf.cr.opb
|
SAT TT=0.055 T1=0.05
|
SAT TT=3.948 T1=4.07
|
SAT TT=0.222 T1=0.22
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
SAT TT=0.728 T1=0.72
|
SAT TT=1.808 T1=1.8
|
? (TO) TT=1800.29
|
SAT TT=21.208 T1=10.02
|
SAT TT=10.55 T1=9.68
|
SAT TT=40.101 T1=40.08
|
SAT TT=40.627 T1=40.6
|
SAT TT=39.811 T1=39.79
|
SAT TT=40.565 T1=40.54
|
SAT TT=0.055 T1=0.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_44_sat_pb.cnf.cr.opb
|
SAT TT=0.284 T1=0.28
|
SAT TT=1.744 T1=2.5
|
SAT TT=0.284 T1=0.28
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
SAT TT=0.899 T1=0.89
|
SAT TT=2.132 T1=2.12
|
? (TO) TT=1800.27
|
SAT TT=3.428 T1=1.44
|
SAT TT=1.753 T1=0.99
|
? (TO) TT=1800.07
|
? TT=1797.08
|
? (TO) TT=1800.07
|
? TT=1797.09
|
SAT TT=8.352 T1=8.34
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_45_sat_pb.cnf.cr.opb
|
SAT TT=0.073 T1=0.07
|
SAT TT=1.467 T1=1.7
|
SAT TT=0.387 T1=0.38
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
SAT TT=0.772 T1=0.77
|
SAT TT=1.943 T1=1.93
|
SAT TT=1170.9 T1=1166.64
|
SAT TT=3.724 T1=1.42
|
SAT TT=1.741 T1=1.02
|
SAT TT=25.169 T1=25.14
|
SAT TT=28.39 T1=28.36
|
SAT TT=25.07 T1=25.04
|
SAT TT=25.967 T1=25.94
|
SAT TT=0.073 T1=0.07
|
|
Statistics | borg pb-dec-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
Number of times the solver is able to give the best known answer | 57 | 57 | 21 | 0 | 0 | 39 | 39 | 46 | 57 | 38 | 51 | 50 | 51 | 50 | 39 |
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) | 0 | 13 | 0 | 0 | 0 | 4 | 0 | 0 | 0 | 0 | 1 | 12 | 1 | 4 | 30 |