normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb |
UNSAT
TT=0.002
|
? (TO) TT=1800.14
|
UNSAT TT=228.517
|
UNSAT TT=232.037
|
UNSAT TT=0.006
|
UNSAT TT=33.422
|
? (TO) TT=1800.2
|
UNSAT TT=66.627
|
UNSAT TT=134.644
|
UNSAT TT=0.004
|
UNSAT TT=0.002
|
UNSAT TT=0.007
|
UNSAT TT=0.536
|
UNSAT TT=0.522
|
UNSAT TT=1133.68
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb |
UNSAT
TT=0.002
|
? (TO) TT=1800.07
|
UNSAT TT=671.661
|
UNSAT TT=662.216
|
UNSAT TT=0.01
|
UNSAT TT=139.022
|
? (TO) TT=1800.14
|
UNSAT TT=99.004
|
UNSAT TT=121.473
|
UNSAT TT=0.004
|
UNSAT TT=0.002
|
UNSAT TT=0.007
|
UNSAT TT=0.36
|
UNSAT TT=0.332
|
? (TO) TT=1800.13
|
? (TO) TT=1800.1
|
? (TO) TT=1800.01
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb |
UNSAT
TT=0.004
|
? (TO) TT=1800.1
|
? TT=1800.01
|
? (TO) TT=1800.04
|
UNSAT TT=0.01
|
UNSAT TT=120.815
|
? (TO) TT=1800.14
|
UNSAT TT=120.78
|
UNSAT TT=103.596
|
UNSAT TT=0.006
|
UNSAT TT=0.004
|
UNSAT TT=0.01
|
UNSAT TT=0.382
|
UNSAT TT=0.389
|
? (TO) TT=1800.16
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb |
UNSAT
TT=0.005
|
? (TO) TT=1800.07
|
? (TO) TT=1800.02
|
? (TO) TT=1800.08
|
UNSAT TT=0.013
|
? (TO) TT=1800.09
|
? (TO) TT=1800.32
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
UNSAT TT=0.005
|
UNSAT TT=0.005
|
UNSAT TT=0.01
|
UNSAT TT=0.655
|
UNSAT TT=0.657
|
? (TO) TT=1800.17
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb |
UNSAT
TT=0.006
|
? (TO) TT=1800.06
|
? TT=1800.01
|
? (TO) TT=1800.06
|
UNSAT TT=0.013
|
? (TO) TT=1800.08
|
? (TO) TT=1800.2
|
? (TO) TT=1800.02
|
? (TO) TT=1800.12
|
UNSAT TT=0.006
|
UNSAT TT=0.006
|
UNSAT TT=0.012
|
UNSAT TT=0.446
|
UNSAT TT=0.446
|
? (TO) TT=1800.14
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb |
UNSAT
TT=0.007
|
? (TO) TT=1800.16
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
UNSAT TT=0.013
|
? (TO) TT=1800.11
|
? (TO) TT=1800.08
|
? (TO) TT=1800.03
|
? (TO) TT=1800.05
|
UNSAT TT=0.007
|
UNSAT TT=0.007
|
UNSAT TT=0.013
|
UNSAT TT=0.499
|
UNSAT TT=0.494
|
? (TO) TT=1800.16
|
? (TO) TT=1800.11
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb |
UNSAT
TT=0.006
|
? (TO) TT=1800.15
|
? TT=1800.03
|
? (TO) TT=1800.1
|
UNSAT TT=0.018
|
? (TO) TT=1800.1
|
? (TO) TT=1800.56
|
? (TO) TT=1800.01
|
? (TO) TT=1800.08
|
UNSAT TT=0.006
|
UNSAT TT=0.006
|
UNSAT TT=0.018
|
UNSAT TT=0.906
|
UNSAT TT=0.91
|
? (TO) TT=1800.19
|
? (TO) TT=1800.05
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb |
UNSAT
TT=0.007
|
? (TO) TT=1800.14
|
? TT=1800.03
|
? (TO) TT=1800.09
|
UNSAT TT=0.019
|
? (TO) TT=1800.04
|
? (TO) TT=1800.16
|
? (TO) TT=1800.07
|
? (TO) TT=1800.13
|
UNSAT TT=0.007
|
UNSAT TT=0.008
|
UNSAT TT=0.023
|
UNSAT TT=0.544
|
UNSAT TT=0.557
|
? (TO) TT=1800.19
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb |
UNSAT
TT=0.01
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? (TO) TT=1800.13
|
UNSAT TT=0.023
|
? (TO) TT=1800.05
|
? (TO) TT=1800.15
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
UNSAT TT=0.011
|
UNSAT TT=0.01
|
UNSAT TT=0.033
|
UNSAT TT=0.667
|
UNSAT TT=0.681
|
? (TO) TT=1800.2
|
? (TO) TT=1800.02
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb |
UNSAT
TT=0.014
|
? (TO) TT=1800.08
|
? (TO) TT=1800.12
|
? (TO) TT=1800.21
|
UNSAT TT=0.039
|
? (TO) TT=1800.12
|
? (TO) TT=1800.54
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
UNSAT TT=0.014
|
UNSAT TT=0.015
|
UNSAT TT=0.055
|
UNSAT TT=2.245
|
UNSAT TT=2.23
|
? (TO) TT=1800.25
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb |
UNSAT
TT=0.016
|
? (TO) TT=1800.15
|
? (TO) TT=1800.19
|
? (TO) TT=1800.15
|
UNSAT TT=0.043
|
? (TO) TT=1800.12
|
? (TO) TT=1800.23
|
? (TO) TT=1800.03
|
? (TO) TT=1800.09
|
UNSAT TT=0.016
|
UNSAT TT=0.016
|
UNSAT TT=0.101
|
UNSAT TT=0.798
|
UNSAT TT=0.808
|
? (TO) TT=1801.15
|
? (TO) TT=1800.06
|
? (TO) TT=1800.01
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb |
UNSAT
TT=0.019
|
? (TO) TT=1800.17
|
? (TO) TT=1800.23
|
? (TO) TT=1800.25
|
UNSAT TT=0.057
|
? (TO) TT=1800.08
|
? (TO) TT=1800.34
|
? (TO) TT=1800.11
|
? (TO) TT=1800.04
|
UNSAT TT=0.019
|
UNSAT TT=0.019
|
UNSAT TT=0.101
|
UNSAT TT=0.84
|
UNSAT TT=0.844
|
? (TO) TT=1800.26
|
? (TO) TT=1800.01
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb |
UNSAT
TT=0.02
|
? (TO) TT=1800.09
|
? (TO) TT=1800.22
|
? (TO) TT=1800.25
|
UNSAT TT=0.053
|
? (TO) TT=1800.12
|
? (TO) TT=1800.13
|
? (TO) TT=1800.04
|
? (TO) TT=1800.04
|
UNSAT TT=0.02
|
UNSAT TT=0.02
|
UNSAT TT=0.114
|
UNSAT TT=3.161
|
UNSAT TT=3.167
|
? (TO) TT=1800.29
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb |
UNSAT
TT=0.023
|
? (TO) TT=1800.1
|
? (TO) TT=1800.24
|
? (TO) TT=1800.31
|
UNSAT TT=0.06
|
? (TO) TT=1800.11
|
? (TO) TT=1800.22
|
? (TO) TT=1800.03
|
? (TO) TT=1800.06
|
UNSAT TT=0.023
|
UNSAT TT=0.023
|
UNSAT TT=0.14
|
UNSAT TT=1.031
|
UNSAT TT=1.087
|
? (TO) TT=1800.3
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb |
UNSAT
TT=0.026
|
? (TO) TT=1800.09
|
? (TO) TT=1800.22
|
? (TO) TT=1800.25
|
UNSAT TT=0.075
|
? (TO) TT=1800.12
|
? (TO) TT=1800.2
|
? (TO) TT=1800.12
|
? (TO) TT=1800.02
|
UNSAT TT=0.026
|
UNSAT TT=0.027
|
UNSAT TT=0.189
|
UNSAT TT=1.115
|
UNSAT TT=1.06
|
? (TO) TT=1800.19
|
? (TO) TT=1800.1
|
? (TO) TT=1800.03
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb |
UNSAT
TT=0.026
|
? (TO) TT=1800.05
|
? (TO) TT=1800.32
|
? (TO) TT=1800.27
|
UNSAT TT=0.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.36
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
UNSAT TT=0.026
|
UNSAT TT=0.026
|
UNSAT TT=0.181
|
UNSAT TT=4.449
|
UNSAT TT=4.481
|
? (TO) TT=1800.3
|
? (TO) TT=1800.03
|
? (TO) TT=1800.1
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb |
UNSAT
TT=0.029
|
? (TO) TT=1800.08
|
? (TO) TT=1800.32
|
? (TO) TT=1800.32
|
UNSAT TT=0.082
|
? (TO) TT=1800.11
|
? (TO) TT=1800.17
|
? (TO) TT=1800.14
|
? (TO) TT=1800.03
|
UNSAT TT=0.029
|
UNSAT TT=0.029
|
UNSAT TT=0.219
|
UNSAT TT=1.217
|
UNSAT TT=1.282
|
? (TO) TT=1800.27
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb |
UNSAT
TT=0.032
|
? (TO) TT=1800.08
|
? (TO) TT=1800.26
|
? (TO) TT=1800.24
|
UNSAT TT=0.082
|
? (TO) TT=1800.07
|
? (TO) TT=1800.17
|
? (TO) TT=1800.02
|
? (TO) TT=1800.11
|
UNSAT TT=0.032
|
UNSAT TT=0.032
|
UNSAT TT=0.294
|
UNSAT TT=1.349
|
UNSAT TT=1.351
|
? (TO) TT=1800.21
|
? (TO) TT=1800.07
|
? (TO) TT=1800.02
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb |
UNSAT
TT=0.042
|
? (TO) TT=1800.16
|
? (TO) TT=1800.3
|
? (TO) TT=1800.32
|
UNSAT TT=0.123
|
? (TO) TT=1800.11
|
? (TO) TT=1800.57
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
UNSAT TT=0.042
|
UNSAT TT=0.042
|
UNSAT TT=0.46
|
UNSAT TT=10.308
|
UNSAT TT=10.276
|
? (TO) TT=1800.62
|
? (TO) TT=1800.02
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb |
UNSAT
TT=0.046
|
? (TO) TT=1800.13
|
? (MO) TT=1076.28
|
? (MO) TT=1075.43
|
UNSAT TT=0.133
|
? (TO) TT=1800.1
|
? (TO) TT=1800.31
|
? (TO) TT=1800.1
|
? (TO) TT=1800
|
UNSAT TT=0.046
|
UNSAT TT=0.046
|
UNSAT TT=0.549
|
UNSAT TT=1.927
|
UNSAT TT=1.681
|
? (TO) TT=1800.18
|
? (TO) TT=1800.08
|
? (TO) TT=1800.02
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb |
UNSAT
TT=0.05
|
? (TO) TT=1800.07
|
? (MO) TT=1129.51
|
? (MO) TT=1125.91
|
UNSAT TT=0.143
|
? (TO) TT=1800.07
|
? (TO) TT=1800.23
|
? (TO) TT=1800
|
? (TO) TT=1800.04
|
UNSAT TT=0.05
|
UNSAT TT=0.052
|
UNSAT TT=0.75
|
UNSAT TT=1.732
|
UNSAT TT=1.732
|
? (TO) TT=1800.68
|
? (TO) TT=1800.1
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga10_10_sat_pb.cnf.cr.opb |
SAT
TT=0.003 T1=0
|
? (TO) TT=1800.17
|
SAT TT=0.014 T1=0
|
SAT TT=0.014 T1=0
|
SAT TT=0.311 T1=0.29
|
SAT TT=0.019 T1=0
|
SAT TT=696.748 T1=696.68
|
SAT TT=0.066 T1=0
|
SAT TT=0.066 T1=0
|
SAT TT=1.115 T1=1.09
|
SAT TT=1.119 T1=1.09
|
SAT TT=0.01 T1=0
|
SAT TT=1.082 T1=1.02
|
SAT TT=1.067 T1=0.86
|
SAT TT=14.512 T1=14.49
|
SAT TT=0.004 T1=0
|
SAT TT=0.003 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
|
? (TO) TT=1800.09
|
SAT TT=0.008 T1=0
|
SAT TT=0.006 T1=0
|
SAT TT=5.053 T1=4.99
|
SAT TT=0.017 T1=0
|
SAT TT=1225.06 T1=1224.96
|
SAT TT=0.054 T1=0
|
SAT TT=0.043 T1=0
|
SAT TT=0.655 T1=0.59
|
SAT TT=0.644 T1=0.59
|
SAT TT=0.014 T1=0
|
SAT TT=6.632 T1=6.54
|
SAT TT=45.512 T1=45.4
|
SAT TT=7.92 T1=7.88
|
SAT TT=0.002 T1=0
|
SAT TT=0.005 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
|
? (TO) TT=1800.08
|
SAT TT=0.062 T1=0
|
SAT TT=0.063 T1=0
|
SAT TT=111.741 T1=111.65
|
SAT TT=0.016 T1=0
|
SAT TT=191.759 T1=191.64
|
SAT TT=0.065 T1=0
|
SAT TT=0.051 T1=0
|
SAT TT=0.975 T1=0.89
|
SAT TT=0.965 T1=0.89
|
SAT TT=0.009 T1=0
|
SAT TT=1.998 T1=1.8
|
SAT TT=1.735 T1=1.58
|
SAT TT=63.673 T1=63.6
|
SAT TT=0.003 T1=0
|
SAT TT=0.003 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
|
? (TO) TT=1800.11
|
SAT TT=0.009 T1=0
|
SAT TT=0.009 T1=0
|
? (TO) TT=1800.09
|
SAT TT=0.019 T1=0
|
? (TO) TT=1800.15
|
SAT TT=0.062 T1=0
|
SAT TT=0.056 T1=0
|
SAT TT=1.195 T1=1.09
|
SAT TT=1.181 T1=1.1
|
SAT TT=0.011 T1=0
|
SAT TT=0.779 T1=0.65
|
SAT TT=0.812 T1=0.67
|
SAT TT=89.878 T1=89.77
|
SAT TT=0.003 T1=0
|
SAT TT=0.005 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
|
? (TO) TT=1800.11
|
SAT TT=0.009 T1=0
|
SAT TT=0.009 T1=0
|
SAT TT=864.937 T1=864.86
|
SAT TT=0.023 T1=0
|
? (TO) TT=1800.15
|
SAT TT=0.118 T1=0
|
SAT TT=0.055 T1=0
|
SAT TT=1.452 T1=1.39
|
SAT TT=1.468 T1=1.4
|
SAT TT=0.01 T1=0
|
SAT TT=2.221 T1=2.11
|
SAT TT=1.499 T1=1.35
|
SAT TT=460.711 T1=460.59
|
SAT TT=0.004 T1=0
|
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
|
? (TO) TT=1800.11
|
SAT TT=0.007 T1=0
|
SAT TT=0.009 T1=0
|
SAT TT=1733.34 T1=1733.25
|
SAT TT=0.019 T1=0
|
? (TO) TT=1800.17
|
SAT TT=0.066 T1=0
|
SAT TT=0.051 T1=0
|
SAT TT=0.988 T1=0.89
|
SAT TT=0.982 T1=0.89
|
SAT TT=0.013 T1=0
|
SAT TT=81.597 T1=81.5
|
SAT TT=22.67 T1=22.56
|
SAT TT=326.659 T1=326.62
|
SAT TT=0.003 T1=0
|
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.003 T1=0
|
? (TO) TT=1800.1
|
SAT TT=0.008 T1=0
|
SAT TT=0.007 T1=0
|
? (TO) TT=1800.08
|
SAT TT=0.021 T1=0
|
? (TO) TT=1800.21
|
SAT TT=0.075 T1=0
|
SAT TT=0.057 T1=0
|
SAT TT=1.54 T1=1.49
|
SAT TT=1.442 T1=1.39
|
SAT TT=0.024 T1=0
|
SAT TT=23.108 T1=23.05
|
? (TO) TT=1800.44
|
? (TO) TT=1800.17
|
SAT TT=0.003 T1=0
|
SAT TT=0.003 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga12_11_sat_pb.cnf.cr.opb |
SAT
TT=0.003 T1=0
|
? (TO) TT=1800.16
|
SAT TT=0.022 T1=0
|
SAT TT=0.023 T1=0
|
? (TO) TT=1800.04
|
SAT TT=0.024 T1=0
|
? (TO) TT=1800.3
|
SAT TT=0.123 T1=0
|
SAT TT=0.105 T1=0
|
SAT TT=1.823 T1=1.79
|
SAT TT=1.797 T1=1.69
|
SAT TT=0.012 T1=0
|
SAT TT=2.183 T1=1.97
|
SAT TT=2 T1=1.95
|
? (TO) TT=1800.23
|
SAT TT=0.004 T1=0
|
SAT TT=0.003 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga12_12_sat_pb.cnf.cr.opb |
SAT
TT=0.005 T1=0
|
? (TO) TT=1800.12
|
SAT TT=0.008 T1=0
|
SAT TT=0.009 T1=0
|
? (TO) TT=1800.02
|
SAT TT=0.026 T1=0
|
? (TO) TT=1800.09
|
SAT TT=0.086 T1=0
|
SAT TT=0.074 T1=0
|
SAT TT=1.912 T1=1.89
|
SAT TT=1.899 T1=1.79
|
SAT TT=0.01 T1=0
|
SAT TT=1.129 T1=0.99
|
SAT TT=1.135 T1=1
|
? (TO) TT=1800.16
|
SAT TT=0.006 T1=0
|
SAT TT=0.005 T1=0
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga13_11_sat_pb.cnf.cr.opb |
SAT
TT=0.003 T1=0
|
? (TO) TT=1800.09
|
SAT TT=0.084 T1=0
|
SAT TT=0.081 T1=0.01
|
? (TO) TT=1800.09
|
SAT TT=0.027 T1=0
|
? (TO) TT=1800.12
|
SAT TT=0.191 T1=0
|
SAT TT=0.059 T1=0
|
SAT TT=2.027 T1=1.99
|
SAT TT=1.962 T1=1.89
|
SAT TT=0.013 T1=0
|
SAT TT=276.986 T1=276.84
|
? (TO) TT=1800.21
|
? (TO) TT=1800.12
|
SAT TT=0.004 T1=0
|
SAT TT=0.003 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
|
? (TO) TT=1800.16
|
SAT TT=0.016 T1=0
|
SAT TT=0.015 T1=0
|
? (TO) TT=1800.1
|
SAT TT=0.028 T1=0.01
|
? (TO) TT=1800.32
|
SAT TT=0.101 T1=0
|
SAT TT=0.073 T1=0
|
SAT TT=1.646 T1=1.59
|
SAT TT=1.632 T1=1.59
|
SAT TT=0.03 T1=0.01
|
SAT TT=1.184 T1=1.16
|
SAT TT=1.127 T1=1.02
|
? (TO) TT=1800.17
|
SAT TT=0.004 T1=0
|
SAT TT=0.005 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
|
? (TO) TT=1800.16
|
SAT TT=0.017 T1=0
|
SAT TT=0.017 T1=0
|
? (TO) TT=1800.1
|
SAT TT=0.071 T1=0.05
|
? (TO) TT=1800.17
|
SAT TT=0.1 T1=0
|
SAT TT=0.082 T1=0
|
SAT TT=1.896 T1=1.79
|
SAT TT=1.862 T1=1.79
|
SAT TT=0.012 T1=0
|
SAT TT=2.686 T1=2.41
|
SAT TT=2.364 T1=2.24
|
? (TO) TT=1800.1
|
SAT TT=0.005 T1=0
|
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.004 T1=0
|
? (TO) TT=1800.14
|
SAT TT=0.086 T1=0.03
|
SAT TT=0.084 T1=0.02
|
? (TO) TT=1800.03
|
SAT TT=0.029 T1=0
|
? (TO) TT=1800.11
|
SAT TT=0.495 T1=0
|
SAT TT=0.598 T1=0
|
SAT TT=2.217 T1=2.2
|
SAT TT=2.212 T1=2.2
|
SAT TT=0.013 T1=0
|
? (TO) TT=1800.18
|
SAT TT=307.822 T1=307.66
|
? (TO) TT=1800.09
|
SAT TT=0.004 T1=0
|
SAT TT=0.004 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga14_13_sat_pb.cnf.cr.opb |
SAT
TT=0.004 T1=0
|
? (TO) TT=1800.11
|
SAT TT=0.013 T1=0
|
SAT TT=0.013 T1=0
|
? (TO) TT=1800.06
|
SAT TT=0.041 T1=0.03
|
? (TO) TT=1800.4
|
SAT TT=0.33 T1=0
|
SAT TT=0.129 T1=0
|
SAT TT=1.958 T1=1.89
|
SAT TT=1.92 T1=1.88
|
SAT TT=0.025 T1=0
|
SAT TT=3.444 T1=3.32
|
SAT TT=3.551 T1=3.09
|
? (TO) TT=1800.15
|
SAT TT=0.005 T1=0
|
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.005 T1=0
|
? (TO) TT=1800.15
|
SAT TT=0.024 T1=0
|
SAT TT=0.023 T1=0
|
? (TO) TT=1800.02
|
SAT TT=0.037 T1=0.02
|
? (TO) TT=1800.08
|
SAT TT=1.598 T1=1.57
|
SAT TT=0.073 T1=0
|
SAT TT=2.232 T1=2.2
|
SAT TT=2.206 T1=2.19
|
SAT TT=0.014 T1=0
|
SAT TT=4.517 T1=4.46
|
SAT TT=3.3 T1=3.08
|
? (TO) TT=1800.18
|
SAT TT=0.005 T1=0
|
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.004 T1=0
|
? (TO) TT=1800.14
|
SAT TT=0.014 T1=0
|
SAT TT=0.013 T1=0
|
? (TO) TT=1800.06
|
SAT TT=0.033 T1=0
|
? (TO) TT=1800.22
|
SAT TT=75.103 T1=75.05
|
SAT TT=1.683 T1=1.58
|
SAT TT=1.72 T1=1.68
|
SAT TT=1.679 T1=1.58
|
SAT TT=0.018 T1=0
|
? (TO) TT=1800.18
|
? (TO) TT=1800.22
|
? (TO) TT=1800.2
|
SAT TT=0.005 T1=0
|
SAT TT=0.004 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga15_14_sat_pb.cnf.cr.opb |
SAT
TT=0.004 T1=0
|
? (TO) TT=1800.05
|
SAT TT=0.013 T1=0
|
SAT TT=0.014 T1=0
|
? (TO) TT=1800.01
|
SAT TT=0.039 T1=0
|
? (TO) TT=1800.11
|
SAT TT=1.062 T1=1.03
|
SAT TT=0.234 T1=0
|
SAT TT=2.688 T1=2.59
|
SAT TT=2.687 T1=2.59
|
SAT TT=0.029 T1=0
|
SAT TT=4.255 T1=4.13
|
SAT TT=4.123 T1=4.07
|
? (TO) TT=1800.13
|
SAT TT=0.005 T1=0
|
SAT TT=0.004 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga15_15_sat_pb.cnf.cr.opb |
SAT
TT=0.005 T1=0
|
? (TO) TT=1800.09
|
SAT TT=0.022 T1=0
|
SAT TT=0.026 T1=0
|
? (TO) TT=1800.02
|
SAT TT=0.06 T1=0
|
? (TO) TT=1800.08
|
SAT TT=0.903 T1=0
|
SAT TT=0.145 T1=0
|
SAT TT=3.551 T1=3.48
|
SAT TT=3.58 T1=3.49
|
SAT TT=0.017 T1=0
|
SAT TT=3.535 T1=3.43
|
SAT TT=3.699 T1=3.66
|
? (TO) TT=1800.18
|
SAT TT=0.006 T1=0
|
SAT TT=0.005 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_18_sat_pb.cnf.cr.opb |
SAT
TT=0.008 T1=0
|
? (TO) TT=1800.09
|
SAT TT=2.449 T1=2.39
|
SAT TT=2.441 T1=2.39
|
? (TO) TT=1800.11
|
SAT TT=0.199 T1=0.09
|
? (TO) TT=1800.33
|
SAT TT=602.767 T1=602.66
|
SAT TT=1.387 T1=1.28
|
SAT TT=5.145 T1=5.09
|
SAT TT=5.152 T1=5.08
|
SAT TT=0.039 T1=0
|
? (TO) TT=1800.31
|
? (TO) TT=1800.22
|
? (TO) TT=1800.1
|
SAT TT=0.009 T1=0
|
SAT TT=0.008 T1=0
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_19_sat_pb.cnf.cr.opb |
SAT
TT=0.009 T1=0
|
? (TO) TT=1800.08
|
SAT TT=0.026 T1=0.01
|
SAT TT=0.034 T1=0
|
? (TO) TT=1800.05
|
SAT TT=0.284 T1=0.19
|
? (TO) TT=1800.14
|
SAT TT=1139.58 T1=1139.53
|
SAT TT=0.475 T1=0
|
SAT TT=7.124 T1=7.09
|
SAT TT=7.126 T1=7.08
|
SAT TT=0.045 T1=0.03
|
? (TO) TT=1800.17
|
SAT TT=34.507 T1=34.42
|
? (TO) TT=1800.17
|
SAT TT=0.012 T1=0
|
SAT TT=0.009 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga20_20_sat_pb.cnf.cr.opb |
SAT
TT=0.01 T1=0
|
? (TO) TT=1800.11
|
SAT TT=0.03 T1=0
|
SAT TT=0.03 T1=0
|
? (TO) TT=1800.08
|
SAT TT=0.122 T1=0.09
|
? (TO) TT=1800.21
|
SAT TT=612.441 T1=612.36
|
SAT TT=0.143 T1=0
|
SAT TT=16.824 T1=16.79
|
SAT TT=16.826 T1=16.79
|
SAT TT=0.042 T1=0
|
SAT TT=7.23 T1=7.17
|
SAT TT=5.703 T1=5.56
|
? (TO) TT=1800.16
|
SAT TT=0.011 T1=0
|
SAT TT=0.01 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_23_sat_pb.cnf.cr.opb |
SAT
TT=0.013 T1=0
|
? (TO) TT=1800.07
|
SAT TT=186.369 T1=186.26
|
SAT TT=186.054 T1=185.94
|
? (TO) TT=1800.08
|
SAT TT=14.637 T1=14.59
|
? (TO) TT=1800.29
|
? (TO) TT=1800.01
|
SAT TT=0.279 T1=0
|
SAT TT=12.68 T1=12.59
|
SAT TT=12.692 T1=12.59
|
SAT TT=0.065 T1=0
|
? (TO) TT=1800.25
|
? (TO) TT=1800.45
|
? (TO) TT=1800.16
|
SAT TT=0.016 T1=0
|
SAT TT=0.013 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_24_sat_pb.cnf.cr.opb |
SAT
TT=0.016 T1=0
|
? (TO) TT=1800.08
|
SAT TT=0.083 T1=0.03
|
SAT TT=0.099 T1=0.04
|
? (TO) TT=1800.09
|
SAT TT=0.395 T1=0.29
|
? (TO) TT=1800.15
|
? (TO) TT=1800.08
|
? (TO) TT=1800.1
|
SAT TT=30.721 T1=30.69
|
SAT TT=30.638 T1=30.57
|
SAT TT=0.431 T1=0.39
|
? (TO) TT=1800.16
|
? (TO) TT=1800.24
|
? (TO) TT=1800.27
|
SAT TT=0.018 T1=0
|
SAT TT=0.016 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga25_25_sat_pb.cnf.cr.opb |
SAT
TT=0.017 T1=0
|
? (TO) TT=1800.14
|
SAT TT=1.533 T1=1.48
|
SAT TT=1.519 T1=1.49
|
? (TO) TT=1800.09
|
SAT TT=0.298 T1=0.19
|
? (TO) TT=1800.14
|
? (TO) TT=1800.1
|
SAT TT=0.316 T1=0
|
SAT TT=54.969 T1=54.89
|
SAT TT=55.06 T1=54.98
|
SAT TT=0.095 T1=0.04
|
? (TO) TT=1800.26
|
SAT TT=8.028 T1=7.87
|
? (TO) TT=1800.15
|
SAT TT=0.019 T1=0.01
|
SAT TT=0.017 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_28_sat_pb.cnf.cr.opb |
SAT
TT=0.023 T1=0
|
? (TO) TT=1800.16
|
SAT TT=0.08 T1=0.02
|
SAT TT=0.081 T1=0.02
|
? (TO) TT=1800.1
|
SAT TT=10.941 T1=10.89
|
? (TO) TT=1800.2
|
? (TO) TT=1800.05
|
SAT TT=0.773 T1=0
|
SAT TT=774.411 T1=774.35
|
SAT TT=773.836 T1=773.77
|
SAT TT=0.233 T1=0.19
|
? (TO) TT=1800.25
|
? (TO) TT=1800.27
|
? (TO) TT=1800.22
|
SAT TT=0.025 T1=0
|
SAT TT=0.023 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_29_sat_pb.cnf.cr.opb |
SAT
TT=0.022 T1=0
|
? (TO) TT=1800.07
|
SAT TT=0.147 T1=0.09
|
SAT TT=0.144 T1=0.09
|
? (TO) TT=1800.07
|
SAT TT=0.262 T1=0.19
|
? (TO) TT=1800.37
|
? (TO) TT=1800.1
|
SAT TT=1.556 T1=1.5
|
SAT TT=862.333 T1=862.25
|
SAT TT=863.859 T1=863.72
|
SAT TT=0.201 T1=0.19
|
? (TO) TT=1800.45
|
? (TO) TT=1800.2
|
? (TO) TT=1800.21
|
SAT TT=0.028 T1=0.02
|
SAT TT=0.022 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga30_30_sat_pb.cnf.cr.opb |
SAT
TT=0.024 T1=0
|
? (TO) TT=1800.11
|
SAT TT=0.097 T1=0.01
|
SAT TT=0.096 T1=0.04
|
? (TO) TT=1800.06
|
SAT TT=1.724 T1=1.68
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
SAT TT=0.31 T1=0
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
SAT TT=0.234 T1=0.16
|
SAT TT=21.284 T1=21.08
|
? (TO) TT=1800.24
|
? (TO) TT=1801.12
|
SAT TT=0.03 T1=0
|
SAT TT=0.024 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_33_sat_pb.cnf.cr.opb |
SAT
TT=0.037 T1=0
|
? (TO) TT=1800.12
|
SAT TT=3.54 T1=3.49
|
SAT TT=3.416 T1=3.4
|
? (TO) TT=1800.03
|
? (TO) TT=1800.09
|
? (TO) TT=1800.42
|
? (TO) TT=1800.03
|
SAT TT=25.614 T1=25.49
|
? (TO) TT=1800.12
|
? (TO) TT=1800.11
|
SAT TT=0.315 T1=0.29
|
? (TO) TT=1800.24
|
? (TO) TT=1800.3
|
? (TO) TT=1800.25
|
SAT TT=0.04 T1=0
|
SAT TT=0.037 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_34_sat_pb.cnf.cr.opb |
SAT
TT=0.037 T1=0
|
? (TO) TT=1800.13
|
SAT TT=0.152 T1=0.07
|
SAT TT=0.16 T1=0.09
|
? (TO) TT=1800.01
|
SAT TT=121.219 T1=121.15
|
? (TO) TT=1800.19
|
? (TO) TT=1800.04
|
SAT TT=1.922 T1=1.81
|
? (TO) TT=1800.17
|
? (TO) TT=1800.15
|
SAT TT=0.415 T1=0.39
|
? (TO) TT=1800.22
|
? (TO) TT=1800.27
|
? (TO) TT=1800.27
|
SAT TT=0.045 T1=0
|
SAT TT=0.037 T1=0
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga35_35_sat_pb.cnf.cr.opb |
SAT
TT=0.038 T1=0
|
? (TO) TT=1800.07
|
SAT TT=0.205 T1=0.19
|
SAT TT=0.204 T1=0.19
|
? (TO) TT=1800.04
|
SAT TT=67.297 T1=67.26
|
? (TO) TT=1800.29
|
? (TO) TT=1800.04
|
SAT TT=6.718 T1=6.61
|
? (TO) TT=1800.1
|
? (TO) TT=1800.17
|
SAT TT=0.378 T1=0.28
|
? (TO) TT=1800.28
|
? (TO) TT=1800.43
|
? (TO) TT=1800.68
|
SAT TT=0.049 T1=0
|
SAT TT=0.038 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_38_sat_pb.cnf.cr.opb |
SAT
TT=0.053 T1=0
|
? (TO) TT=1800.13
|
SAT TT=0.255 T1=0.19
|
SAT TT=0.248 T1=0.19
|
? (TO) TT=1800.04
|
? (TO) TT=1800.12
|
? (TO) TT=1800.2
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
? (TO) TT=1800.15
|
? (TO) TT=1800.14
|
SAT TT=2.983 T1=2.89
|
? (TO) TT=1800.19
|
? (TO) TT=1800.25
|
? (TO) TT=1800.28
|
SAT TT=0.064 T1=0.05
|
SAT TT=0.053 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_39_sat_pb.cnf.cr.opb |
SAT
TT=0.058 T1=0
|
? (TO) TT=1800.06
|
SAT TT=0.298 T1=0.19
|
SAT TT=0.348 T1=0.29
|
? (TO) TT=1800.08
|
SAT TT=239.999 T1=239.9
|
? (TO) TT=1800.31
|
? (TO) TT=1800.07
|
SAT TT=10.956 T1=10.82
|
? (TO) TT=1800.16
|
? (TO) TT=1800.13
|
SAT TT=0.849 T1=0.79
|
? (TO) TT=1800.3
|
? (TO) TT=1800.2
|
? (TO) TT=1801.07
|
SAT TT=0.065 T1=0
|
SAT TT=0.058 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga40_40_sat_pb.cnf.cr.opb |
SAT
TT=0.061 T1=0
|
? (TO) TT=1800.08
|
SAT TT=0.323 T1=0.29
|
SAT TT=0.322 T1=0.29
|
? (TO) TT=1800.07
|
SAT TT=575.848 T1=575.73
|
? (TO) TT=1800.23
|
? (TO) TT=1800.05
|
SAT TT=7.432 T1=7.31
|
? (TO) TT=1800.12
|
? (TO) TT=1800.12
|
SAT TT=0.809 T1=0.79
|
? (TO) TT=1800.25
|
SAT TT=385.798 T1=385.72
|
? (TO) TT=1800.32
|
SAT TT=0.071 T1=0
|
SAT TT=0.061 T1=0.04
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_43_sat_pb.cnf.cr.opb |
SAT
TT=0.077 T1=0
|
? (TO) TT=1800.14
|
? (TO) TT=1800.15
|
? (TO) TT=1800.18
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
? (TO) TT=1800.51
|
? (TO) TT=1800.04
|
SAT TT=2.813 T1=2.73
|
? (TO) TT=1800.16
|
? (TO) TT=1800.14
|
SAT TT=2.314 T1=2.28
|
? (TO) TT=1800.3
|
? (TO) TT=1800.31
|
? (TO) TT=1800.28
|
SAT TT=0.09 T1=0
|
SAT TT=0.077 T1=0
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_44_sat_pb.cnf.cr.opb |
SAT
TT=0.085 T1=0.03
|
? (TO) TT=1800.13
|
SAT TT=1.793 T1=1.69
|
SAT TT=1.492 T1=1.39
|
? (TO) TT=1800.07
|
? (TO) TT=1800.12
|
? (TO) TT=1800.19
|
? (TO) TT=1800.1
|
SAT TT=20.524 T1=20.44
|
? (TO) TT=1800.15
|
? (TO) TT=1800.09
|
SAT TT=1.509 T1=1.49
|
? (TO) TT=1800.29
|
? (TO) TT=1800.25
|
? (TO) TT=1800.28
|
SAT TT=0.095 T1=0.03
|
SAT TT=0.085 T1=0.03
|
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB05/aloul/FPGA_SAT05/ normalized-fpga45_45_sat_pb.cnf.cr.opb |
SAT
TT=0.084 T1=0
|
? (TO) TT=1800.12
|
SAT TT=0.735 T1=0.69
|
SAT TT=0.708 T1=0.69
|
? (TO) TT=1800.11
|
SAT TT=1.155 T1=1.09
|
? (TO) TT=1800.38
|
? (TO) TT=1800.02
|
SAT TT=9.076 T1=8.93
|
? (TO) TT=1800.17
|
? (TO) TT=1800.14
|
SAT TT=1.144 T1=1.09
|
? (TO) TT=1800.2
|
? (TO) TT=1800.33
|
? (TO) TT=1800.25
|
SAT TT=0.103 T1=0
|
SAT TT=0.084 T1=0.02
|
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-22s.smv.opb |
UNSAT
TT=0.362
|
? (TO) TT=1800.13
|
UNSAT TT=0.803
|
UNSAT TT=0.805
|
? (TO) TT=1800.09
|
UNSAT TT=1.399
|
UNSAT TT=0.628
|
UNSAT TT=12.544
|
UNSAT TT=1.652
|
UNSAT TT=0.365
|
UNSAT TT=0.362
|
UNSAT TT=0.479
|
UNSAT TT=3.122
|
UNSAT TT=3.106
|
UNSAT TT=2.802
|
? (TO) TT=1800.11
|
? TT=1150.58
|
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-25s.smv.opb |
UNSAT
TT=0.201
|
? (TO) TT=1800.1
|
UNSAT TT=0.412
|
UNSAT TT=0.414
|
? (TO) TT=1800.04
|
UNSAT TT=1.017
|
UNSAT TT=0.697
|
UNSAT TT=7.328
|
UNSAT TT=1.396
|
UNSAT TT=0.201
|
UNSAT TT=0.201
|
UNSAT TT=0.332
|
UNSAT TT=2.881
|
UNSAT TT=4.648
|
UNSAT TT=3.017
|
? (TO) TT=1800.08
|
? TT=763.749
|
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-37s.smv.opb |
UNSAT
TT=0.055
|
? (TO) TT=1800.08
|
UNSAT TT=0.065
|
UNSAT TT=0.068
|
? (TO) TT=1800.09
|
UNSAT TT=0.141
|
UNSAT TT=2.9
|
UNSAT TT=0.449
|
UNSAT TT=0.305
|
UNSAT TT=0.058
|
UNSAT TT=0.057
|
UNSAT TT=0.055
|
UNSAT TT=2.426
|
UNSAT TT=2.783
|
UNSAT TT=1.964
|
? (TO) TT=1800.06
|
? TT=774.934
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-43s.smv.opb |
UNSAT
TT=0.377
|
? (TO) TT=1800.11
|
UNSAT TT=0.554
|
UNSAT TT=0.557
|
? (TO) TT=1800.02
|
UNSAT TT=0.932
|
UNSAT TT=16.837
|
UNSAT TT=9.76
|
UNSAT TT=1.526
|
UNSAT TT=0.377
|
UNSAT TT=0.377
|
UNSAT TT=0.39
|
UNSAT TT=49.84
|
? (TO) TT=1800.17
|
UNSAT TT=3.163
|
? (TO) TT=1800.02
|
? TT=746.476
|
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-44s.smv.opb |
UNSAT
TT=0.026
|
? (TO) TT=1800.07
|
UNSAT TT=0.026
|
UNSAT TT=0.029
|
? (TO) TT=1800.09
|
UNSAT TT=0.085
|
UNSAT TT=0.311
|
UNSAT TT=0.278
|
UNSAT TT=0.138
|
UNSAT TT=0.028
|
UNSAT TT=0.028
|
UNSAT TT=0.029
|
UNSAT TT=5.697
|
UNSAT TT=5.105
|
UNSAT TT=1.249
|
? (TO) TT=1800.08
|
? TT=752.713
|
normalized-PB06/SATUNSAT-SMALLINT/ web/ uclid_pb_benchmarks/normalized-46s.smv.opb |
UNSAT
TT=0.084
|
? (TO) TT=1800.15
|
UNSAT TT=0.184
|
UNSAT TT=0.181
|
? (TO) TT=1800.02
|
UNSAT TT=0.303
|
UNSAT TT=1.66
|
UNSAT TT=1.083
|
UNSAT TT=0.415
|
UNSAT TT=0.086
|
UNSAT TT=0.084
|
UNSAT TT=0.118
|
UNSAT TT=7.62
|
UNSAT TT=5.971
|
UNSAT TT=2.29
|
? (TO) TT=1800.08
|
? TT=746.841
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl.opb |
UNSAT
TT=0.015
|
UNSAT TT=0.616
|
UNSAT TT=0.016
|
UNSAT TT=0.015
|
UNSAT TT=0.015
|
UNSAT TT=0.023
|
UNSAT TT=0.096
|
UNSAT TT=0.409
|
UNSAT TT=0.058
|
UNSAT TT=0.045
|
UNSAT TT=0.046
|
UNSAT TT=0.02
|
UNSAT TT=11.245
|
UNSAT TT=6.1
|
UNSAT TT=0.917
|
? (TO) TT=1800.08
|
? TT=819.467
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl.opb |
UNSAT
TT=0.006
|
UNSAT TT=0.573
|
UNSAT TT=0.009
|
UNSAT TT=0.008
|
UNSAT TT=0.02
|
UNSAT TT=0.021
|
UNSAT TT=0.008
|
UNSAT TT=0.125
|
UNSAT TT=0.061
|
UNSAT TT=0.008
|
UNSAT TT=0.006
|
UNSAT TT=0.011
|
UNSAT TT=0.458
|
UNSAT TT=0.46
|
UNSAT TT=0.466
|
? (TO) TT=1800.11
|
? TT=724.233
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl.opb |
UNSAT
TT=0.004
|
UNSAT TT=0.473
|
UNSAT TT=0.009
|
UNSAT TT=0.008
|
UNSAT TT=0.015
|
UNSAT TT=0.017
|
UNSAT TT=0.008
|
UNSAT TT=0.217
|
UNSAT TT=0.056
|
UNSAT TT=0.004
|
UNSAT TT=0.004
|
UNSAT TT=0.008
|
UNSAT TT=0.406
|
UNSAT TT=0.415
|
UNSAT TT=0.413
|
? (TO) TT=1800.05
|
? TT=812.7
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl.opb |
UNSAT
TT=0.054
|
UNSAT TT=0.703
|
UNSAT TT=0.078
|
UNSAT TT=0.076
|
UNSAT TT=0.095
|
UNSAT TT=0.089
|
UNSAT TT=0.32
|
UNSAT TT=2.795
|
UNSAT TT=0.144
|
UNSAT TT=0.115
|
UNSAT TT=0.116
|
UNSAT TT=0.054
|
UNSAT TT=1.034
|
UNSAT TT=8.434
|
UNSAT TT=1.279
|
? (TO) TT=1800.08
|
? TT=838.644
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl.opb |
UNSAT
TT=0.065
|
UNSAT TT=0.802
|
UNSAT TT=0.065
|
UNSAT TT=0.067
|
UNSAT TT=1.236
|
UNSAT TT=0.583
|
UNSAT TT=0.095
|
? (MO) TT=33.17
|
UNSAT TT=0.523
|
UNSAT TT=0.102
|
UNSAT TT=0.102
|
UNSAT TT=0.126
|
UNSAT TT=2.582
|
UNSAT TT=9.98
|
UNSAT TT=2.528
|
? (TO) TT=1800.06
|
? TT=1779.49
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl.opb |
UNSAT
TT=0.067
|
UNSAT TT=0.858
|
UNSAT TT=0.068
|
UNSAT TT=0.067
|
UNSAT TT=1.969
|
UNSAT TT=0.411
|
UNSAT TT=0.12
|
? (MO) TT=35.14
|
UNSAT TT=0.65
|
UNSAT TT=0.127
|
UNSAT TT=0.127
|
UNSAT TT=0.164
|
UNSAT TT=2.415
|
UNSAT TT=2.484
|
UNSAT TT=2.467
|
? (TO) TT=1800.11
|
? TT=1754.22
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl.opb |
UNSAT
TT=0.121
|
? (TO) TT=1800.07
|
UNSAT TT=0.128
|
UNSAT TT=0.13
|
UNSAT TT=1.007
|
UNSAT TT=0.382
|
UNSAT TT=0.252
|
UNSAT TT=11.399
|
UNSAT TT=0.454
|
UNSAT TT=0.121
|
UNSAT TT=0.122
|
UNSAT TT=0.138
|
UNSAT TT=3.226
|
UNSAT TT=14.938
|
UNSAT TT=3.694
|
? (TO) TT=1800.06
|
? TT=748.261
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl.opb |
UNSAT
TT=0.501
|
UNSAT TT=3.43
|
UNSAT TT=0.839
|
UNSAT TT=0.501
|
UNSAT TT=195.769
|
UNSAT TT=3.025
|
UNSAT TT=0.848
|
? (MO) TT=40.68
|
UNSAT TT=5.588
|
UNSAT TT=1.018
|
UNSAT TT=1.022
|
UNSAT TT=2.845
|
UNSAT TT=4.409
|
UNSAT TT=4.764
|
UNSAT TT=4.489
|
? (TO) TT=1800.11
|
? TT=830.574
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb |
UNSAT
TT=1140.32
|
? (TO) TT=1800.39
|
? (TO) TT=1800.05
|
? (TO) TT=1800.11
|
? (TO) TT=1800.08
|
UNSAT TT=1140.32
|
? (TO) TT=1800.19
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
? (TO) TT=1800.1
|
? (TO) TT=1800.14
|
? (TO) TT=1800.16
|
? (TO) TT=1800.21
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb |
UNSAT
TT=20.743
|
? TT=12.356
|
UNSAT TT=421.82
|
UNSAT TT=466.737
|
? (TO) TT=1800.06
|
UNSAT TT=20.743
|
? (TO) TT=1800.22
|
UNSAT TT=210
|
UNSAT TT=57.251
|
UNSAT TT=70.572
|
UNSAT TT=70.488
|
UNSAT TT=86.244
|
? (TO) TT=1800.37
|
? (TO) TT=1800.25
|
UNSAT TT=60.987
|
? (TO) TT=1800.13
|
? (TO) TT=1800.13
|
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb |
UNSAT
TT=3.569
|
? (TO) TT=1800.2
|
UNSAT TT=66.535
|
UNSAT TT=66.25
|
? (TO) TT=1800.05
|
UNSAT TT=3.797
|
UNSAT TT=409.91
|
UNSAT TT=18.284
|
UNSAT TT=7.769
|
UNSAT TT=3.609
|
UNSAT TT=3.569
|
UNSAT TT=6.964
|
UNSAT TT=67.109
|
UNSAT TT=137.74
|
UNSAT TT=14.63
|
? (TO) TT=1800.07
|
? TT=815.458
|
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb |
UNSAT
TT=803.494
|
? (MO) TT=12.442
|
? (TO) TT=1800.12
|
? (TO) TT=1800.09
|
? (TO) TT=1800.14
|
UNSAT TT=803.494
|
? (TO) TT=1800.31
|
? (TO) TT=1800.09
|
? (TO) TT=1800.03
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
? (TO) TT=1800.27
|
? (TO) TT=1800.16
|
? (TO) TT=1800.21
|
? (TO) TT=1800.11
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb |
SAT
TT=3.409 T1=3.29
|
? TT=11.477
|
SAT TT=186.592 T1=186.43
|
SAT TT=187.272 T1=187.13
|
? (TO) TT=1800.13
|
SAT TT=11.122 T1=10.97
|
SAT TT=16.854 T1=16.68
|
SAT TT=76.928 T1=76.85
|
SAT TT=22.012 T1=21.93
|
SAT TT=3.437 T1=3.29
|
SAT TT=3.409 T1=3.29
|
SAT TT=42.818 T1=42.77
|
SAT TT=11.145 T1=10.87
|
SAT TT=11.689 T1=11.42
|
SAT TT=11.662 T1=11.4
|
? (TO) TT=1800.14
|
? (TO) TT=1800.13
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl.opb |
UNSAT
TT=0.204
|
UNSAT TT=87.462
|
UNSAT TT=0.204
|
UNSAT TT=0.209
|
? (TO) TT=1800.07
|
UNSAT TT=0.909
|
UNSAT TT=0.979
|
UNSAT TT=3.08
|
UNSAT TT=2.237
|
UNSAT TT=0.29
|
UNSAT TT=0.287
|
UNSAT TT=0.735
|
UNSAT TT=2.571
|
UNSAT TT=2.535
|
UNSAT TT=2.486
|
? (TO) TT=1800.05
|
? TT=1194.2
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl.opb |
UNSAT
TT=9.239
|
? (TO) TT=1800.09
|
UNSAT TT=129.883
|
UNSAT TT=130.896
|
? (TO) TT=1800.11
|
UNSAT TT=11.65
|
? (TO) TT=1800.18
|
UNSAT TT=45.346
|
UNSAT TT=15.538
|
UNSAT TT=9.239
|
UNSAT TT=9.266
|
UNSAT TT=35.928
|
? (TO) TT=1800.17
|
? (TO) TT=1800.33
|
UNSAT TT=26.862
|
? (TO) TT=1800.1
|
? TT=1350.19
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl.opb |
|
? (TO) TT=1800.23
|
? (TO) TT=1800.16
|
? (TO) TT=1800.17
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1802.05
|
? (TO) TT=1800.01
|
? (TO) TT=1800.01
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.15
|
? (TO) TT=1800.18
|
? (TO) TT=1800.2
|
? (TO) TT=1800.17
|
? (TO) TT=1800.07
|
? TT=1727.27
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl.opb |
UNSAT
TT=0.041
|
UNSAT TT=0.686
|
UNSAT TT=0.042
|
UNSAT TT=0.041
|
UNSAT TT=1.317
|
UNSAT TT=0.222
|
UNSAT TT=0.07
|
UNSAT TT=0.81
|
UNSAT TT=0.597
|
UNSAT TT=0.065
|
UNSAT TT=0.065
|
UNSAT TT=0.11
|
UNSAT TT=1.497
|
UNSAT TT=1.477
|
UNSAT TT=1.481
|
? (TO) TT=1800.06
|
? TT=1092.81
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl.opb |
UNSAT
TT=0.581
|
? (TO) TT=1800.12
|
UNSAT TT=3.005
|
UNSAT TT=3.066
|
? (TO) TT=1800.07
|
UNSAT TT=1.254
|
UNSAT TT=50.368
|
UNSAT TT=4.139
|
UNSAT TT=2.338
|
UNSAT TT=0.581
|
UNSAT TT=0.622
|
UNSAT TT=0.937
|
UNSAT TT=6.238
|
UNSAT TT=7.409
|
UNSAT TT=3.717
|
? (TO) TT=1800.02
|
? TT=1413.2
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl.opb |
UNSAT
TT=0.84
|
? (TO) TT=1800.14
|
UNSAT TT=6.147
|
UNSAT TT=6.262
|
? (TO) TT=1800.03
|
UNSAT TT=1.409
|
UNSAT TT=96.075
|
UNSAT TT=4.706
|
UNSAT TT=2.903
|
UNSAT TT=0.84
|
UNSAT TT=0.882
|
UNSAT TT=1.128
|
UNSAT TT=5.989
|
UNSAT TT=6.155
|
UNSAT TT=3.72
|
? (TO) TT=1800.04
|
? TT=1409.98
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-dlx1c.ucl.opb |
UNSAT
TT=0.394
|
? (TO) TT=1800.07
|
UNSAT TT=1.952
|
UNSAT TT=1.97
|
? (TO) TT=1800.03
|
UNSAT TT=0.98
|
UNSAT TT=7.327
|
UNSAT TT=2.855
|
UNSAT TT=1.848
|
UNSAT TT=0.394
|
UNSAT TT=0.397
|
UNSAT TT=0.563
|
UNSAT TT=5.006
|
UNSAT TT=4.88
|
UNSAT TT=3.969
|
? (TO) TT=1800.1
|
? TT=1379.07
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl.opb |
UNSAT
TT=9.648
|
? (TO) TT=1800.28
|
UNSAT TT=153.951
|
UNSAT TT=155.128
|
? (TO) TT=1800.08
|
UNSAT TT=9.648
|
UNSAT TT=842.439
|
UNSAT TT=51.429
|
UNSAT TT=20.134
|
UNSAT TT=10.572
|
UNSAT TT=10.528
|
UNSAT TT=57.208
|
UNSAT TT=55.942
|
UNSAT TT=55.81
|
UNSAT TT=12.994
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl.opb |
UNSAT
TT=0.002
|
UNSAT TT=0.455
|
UNSAT TT=0.004
|
UNSAT TT=0.005
|
UNSAT TT=0.018
|
UNSAT TT=0.007
|
UNSAT TT=0.003
|
UNSAT TT=0.043
|
UNSAT TT=0.042
|
UNSAT TT=0.002
|
UNSAT TT=0.003
|
UNSAT TT=0.007
|
UNSAT TT=0.285
|
UNSAT TT=0.282
|
UNSAT TT=0.279
|
? TT=1461.33
|
? TT=791.042
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl.opb |
UNSAT
TT=0.036
|
? (TO) TT=1800.08
|
UNSAT TT=0.086
|
UNSAT TT=0.09
|
? (TO) TT=1800.09
|
UNSAT TT=0.149
|
UNSAT TT=0.065
|
UNSAT TT=0.459
|
UNSAT TT=0.315
|
UNSAT TT=0.036
|
UNSAT TT=0.037
|
UNSAT TT=0.055
|
UNSAT TT=1.927
|
UNSAT TT=2.008
|
UNSAT TT=1.5
|
? (TO) TT=1800.1
|
? TT=887.68
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl.opb |
UNSAT
TT=0.218
|
? (TO) TT=1800.08
|
UNSAT TT=1.082
|
UNSAT TT=1.039
|
? (TO) TT=1800.01
|
UNSAT TT=0.754
|
UNSAT TT=0.721
|
UNSAT TT=2.526
|
UNSAT TT=1.592
|
UNSAT TT=0.218
|
UNSAT TT=0.219
|
UNSAT TT=0.46
|
UNSAT TT=3.436
|
UNSAT TT=3.486
|
UNSAT TT=2.916
|
? (TO) TT=1800.02
|
? TT=1173.92
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl.opb |
UNSAT
TT=1.128
|
? (TO) TT=1800.13
|
UNSAT TT=17.335
|
UNSAT TT=17.062
|
? (TO) TT=1800.11
|
UNSAT TT=2.721
|
UNSAT TT=17.669
|
UNSAT TT=11.111
|
UNSAT TT=5.591
|
UNSAT TT=1.194
|
UNSAT TT=1.128
|
UNSAT TT=3.506
|
UNSAT TT=7.773
|
UNSAT TT=7.8
|
UNSAT TT=4.336
|
? (TO) TT=1800.04
|
? TT=1591.27
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl.opb |
UNSAT
TT=1.366
|
? (TO) TT=1800.14
|
UNSAT TT=5.596
|
UNSAT TT=5.551
|
? (TO) TT=1800.09
|
UNSAT TT=1.372
|
? (TO) TT=1801.16
|
UNSAT TT=3.341
|
UNSAT TT=2.023
|
UNSAT TT=1.366
|
UNSAT TT=1.372
|
UNSAT TT=1.433
|
? (TO) TT=1800.16
|
? (TO) TT=1800.17
|
UNSAT TT=5.576
|
? (TO) TT=1800.08
|
? TT=734.417
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl.opb |
UNSAT
TT=3.615
|
? (TO) TT=1800.1
|
UNSAT TT=16.975
|
UNSAT TT=16.928
|
? (TO) TT=1800.07
|
UNSAT TT=3.615
|
? (TO) TT=1800.33
|
UNSAT TT=12.608
|
UNSAT TT=7.057
|
UNSAT TT=4.615
|
UNSAT TT=4.336
|
UNSAT TT=9.401
|
? (TO) TT=1800.2
|
? (TO) TT=1800.24
|
UNSAT TT=12.361
|
? (TO) TT=1800.06
|
? TT=1188.92
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb |
UNSAT
TT=0.285
|
? (TO) TT=1800.14
|
UNSAT TT=0.343
|
UNSAT TT=0.343
|
? (TO) TT=1800.08
|
UNSAT TT=0.611
|
UNSAT TT=17.373
|
UNSAT TT=2.496
|
UNSAT TT=1.119
|
UNSAT TT=0.291
|
UNSAT TT=0.294
|
UNSAT TT=0.285
|
UNSAT TT=4.129
|
UNSAT TT=4.159
|
UNSAT TT=2.487
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.6.accl.ucl.opb |
|
? (TO) TT=1800.16
|
? (TO) TT=1800.17
|
? (TO) TT=1800.2
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.16
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.19
|
? (TO) TT=1800.25
|
? (TO) TT=1800.21
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl.opb |
UNSAT
TT=315.848
|
? (TO) TT=1800.13
|
? (TO) TT=1800.08
|
? (TO) TT=1800.12
|
? (TO) TT=1800.09
|
? (TO) TT=1800.13
|
? (TO) TT=1800.2
|
UNSAT TT=1306.94
|
UNSAT TT=495.434
|
UNSAT TT=318.155
|
UNSAT TT=315.848
|
? (TO) TT=1800.09
|
? (TO) TT=1800.31
|
? (TO) TT=1800.29
|
UNSAT TT=785.177
|
? (TO) TT=1800.04
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb |
UNSAT
TT=82.804
|
? TT=10.287
|
UNSAT TT=499.312
|
UNSAT TT=499.556
|
? (TO) TT=1800.06
|
UNSAT TT=87.836
|
? (TO) TT=1800.32
|
UNSAT TT=1387.88
|
UNSAT TT=324.737
|
UNSAT TT=201.184
|
UNSAT TT=200.676
|
UNSAT TT=91.518
|
? (TO) TT=1800.43
|
? (TO) TT=1800.22
|
UNSAT TT=82.804
|
? (TO) TT=1800.11
|
? (TO) TT=1800.09
|
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb |
UNSAT
TT=1506.93
|
? TT=13.768
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
? (TO) TT=1800.13
|
UNSAT TT=1506.93
|
? (TO) TT=1800.39
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
? (TO) TT=1800.24
|
? (TO) TT=1800.25
|
? (TO) TT=1800.22
|
? (TO) TT=1800.1
|
? (TO) TT=1800.16
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb |
UNSAT
TT=1370.29
|
? TT=11.675
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
? (TO) TT=1800.13
|
UNSAT TT=1370.29
|
? (TO) TT=1800.26
|
? (TO) TT=1800.04
|
? (TO) TT=1800.03
|
UNSAT TT=1719.6
|
UNSAT TT=1717.91
|
? (TO) TT=1800.12
|
? (TO) TT=1800.27
|
? (TO) TT=1800.3
|
? (TO) TT=1800.27
|
? (TO) TT=1800.1
|
? (TO) TT=1800.12
|
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb |
UNSAT
TT=1587.71
|
? TT=17.94
|
? (TO) TT=1800.05
|
? (TO) TT=1800.1
|
? (TO) TT=1800.1
|
UNSAT TT=1587.71
|
? (TO) TT=1800.25
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
? (TO) TT=1800.14
|
? (TO) TT=1800.14
|
? (TO) TT=1800.26
|
? (TO) TT=1800.13
|
? (TO) TT=1800.12
|
? (TO) TT=1800.08
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl.opb |
UNSAT
TT=12.589
|
? (TO) TT=1800.13
|
UNSAT TT=294.864
|
UNSAT TT=286.618
|
? (TO) TT=1800.03
|
UNSAT TT=12.589
|
? (TO) TT=1800.15
|
UNSAT TT=56.885
|
UNSAT TT=18.698
|
UNSAT TT=28.477
|
UNSAT TT=28.564
|
UNSAT TT=68.095
|
? (TO) TT=1800.25
|
? (TO) TT=1800.2
|
UNSAT TT=54.617
|
? (TO) TT=1800.09
|
? TT=1338.03
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl.opb |
UNSAT
TT=0.058
|
? (TO) TT=1800.04
|
UNSAT TT=0.165
|
UNSAT TT=0.178
|
? (TO) TT=1800.07
|
UNSAT TT=0.209
|
UNSAT TT=0.382
|
UNSAT TT=0.652
|
UNSAT TT=0.454
|
UNSAT TT=0.059
|
UNSAT TT=0.058
|
UNSAT TT=0.103
|
UNSAT TT=2.845
|
UNSAT TT=3.222
|
UNSAT TT=2
|
? (TO) TT=1800.11
|
? TT=924.03
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl.opb |
UNSAT
TT=0.201
|
? (TO) TT=1800.14
|
UNSAT TT=1.162
|
UNSAT TT=1.204
|
? (TO) TT=1800.08
|
UNSAT TT=0.469
|
UNSAT TT=9.288
|
UNSAT TT=1.665
|
UNSAT TT=0.991
|
UNSAT TT=0.204
|
UNSAT TT=0.201
|
UNSAT TT=0.391
|
UNSAT TT=4.648
|
UNSAT TT=6.075
|
UNSAT TT=2.928
|
? (TO) TT=1800.02
|
? TT=973.164
|
Bench name | Best results on this instance | absconPseudo 102 | bsolo 3.0.16 | bsolo 3.0.17 | glpPB 0.2 | minisat+ 1.14 | oree 0.1.2 alpha | PB-clasp 2007-03-23 | PB-clasp 2007-04-10 | PBS4 2007-03-23 | PBS4_v2 2007-03-23 | Pueblo 1.4 | sat4jPseudoCP 2007-03-23 | sat4jPseudoCPClause 2007-03-23 | SAT4JPseudoResolution 2007-03-23 | wildcat-rnp 2007-03-21 | wildcat-skc 2007-03-21 |
---|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl.opb |
UNSAT
TT=0.754
|
? (TO) TT=1800.13
|
UNSAT TT=4.725
|
UNSAT TT=4.613
|
? (TO) TT=1800.05
|
UNSAT TT=1.026
|
UNSAT TT=197.717
|
UNSAT TT=3.944
|
UNSAT TT=2.014
|
UNSAT TT=0.754
|
UNSAT TT=0.756
|
UNSAT TT=1.448
|
UNSAT TT=12.79
|
UNSAT TT=18.942
|
UNSAT TT=3.94
|
? (TO) TT=1800.07
|
? TT=1026.35
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl.opb |
UNSAT
TT=2.946
|
? (TO) TT=1800.17
|
UNSAT TT=28.582
|
UNSAT TT=28.469
|
? (TO) TT=1800.06
|
UNSAT TT=2.946
|
? (TO) TT=1800.52
|
UNSAT TT=12.253
|
UNSAT TT=4.934
|
UNSAT TT=3.319
|
UNSAT TT=3.251
|
UNSAT TT=9.304
|
UNSAT TT=80.237
|
UNSAT TT=123.844
|
UNSAT TT=8.736
|
? (TO) TT=1800.09
|
? TT=1164.06
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl.opb |
UNSAT
TT=2.129
|
? (TO) TT=1800.15
|
UNSAT TT=54.245
|
UNSAT TT=54.316
|
? (TO) TT=1800.02
|
UNSAT TT=3.784
|
UNSAT TT=1348.33
|
UNSAT TT=10.731
|
UNSAT TT=4.818
|
UNSAT TT=2.129
|
UNSAT TT=2.146
|
UNSAT TT=23.166
|
UNSAT TT=1365.48
|
UNSAT TT=327.608
|
UNSAT TT=27.149
|
? (TO) TT=1800.06
|
? TT=1207.81
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl.opb |
UNSAT
TT=12.221
|
? (TO) TT=1800.14
|
UNSAT TT=420.918
|
UNSAT TT=419.885
|
? (TO) TT=1800.12
|
UNSAT TT=22.07
|
? (TO) TT=1800.71
|
UNSAT TT=28.126
|
UNSAT TT=23.646
|
UNSAT TT=12.221
|
UNSAT TT=12.318
|
UNSAT TT=52.354
|
UNSAT TT=535.059
|
UNSAT TT=1624.92
|
UNSAT TT=139.742
|
? (TO) TT=1800.06
|
? TT=1458.82
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl.opb |
UNSAT
TT=46.821
|
? (TO) TT=1800.19
|
UNSAT TT=1432.86
|
UNSAT TT=1664.59
|
? (TO) TT=1800.06
|
UNSAT TT=46.945
|
? (TO) TT=1800.61
|
UNSAT TT=169.059
|
UNSAT TT=48.821
|
UNSAT TT=47.299
|
UNSAT TT=46.821
|
UNSAT TT=763.786
|
? (TO) TT=1800.24
|
? (TO) TT=1800.2
|
UNSAT TT=755.273
|
? (TO) TT=1800.02
|
? TT=1767.8
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl.opb |
UNSAT
TT=0.538
|
? (TO) TT=1800.12
|
UNSAT TT=4.732
|
UNSAT TT=4.524
|
? (TO) TT=1800.07
|
UNSAT TT=1.02
|
UNSAT TT=92.808
|
UNSAT TT=2.301
|
UNSAT TT=1.388
|
UNSAT TT=0.541
|
UNSAT TT=0.538
|
UNSAT TT=3.004
|
UNSAT TT=71.594
|
UNSAT TT=219.129
|
UNSAT TT=6.787
|
? (TO) TT=1800.11
|
? TT=985.358
|
normalized-PB06/SATUNSAT-SMALLINT/ web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl.opb |
UNSAT
TT=419.445
|
? TT=12.099
|
? (TO) TT=1800.06
|
? (TO) TT=1800.14
|
? (TO) TT=1800.08
|
UNSAT TT=419.445
|
? (TO) TT=1800.18
|
? (TO) TT=1800.08
|
UNSAT TT=729.469
|
UNSAT TT=1266.7
|
UNSAT TT=1226.04
|
UNSAT TT=784.144
|
? (TO) TT=1800.37
|
? (TO) TT=1800.2
|
UNSAT TT=910.691
|
? (TO) TT=1800.12
|
? (TO) TT=1800.09
|