application/fuhs/ slp-synthesis-AES/ slp-synthesis-aes-top20.cnf
|
UNSAT TT=0.12
|
UNSAT TT=0.212
|
UNSAT TT=0.126
|
UNSAT TT=0.537
|
UNSAT TT=0.586
|
UNSAT TT=0.12
|
UNSAT TT=0.427
|
UNSAT TT=77.615
|
UNSAT TT=71.849
|
UNSAT TT=226.825
|
UNSAT TT=1.881
|
UNSAT TT=2.132
|
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-nusmvguidancep9-tseitin.cnf
|
UNSAT TT=198.979
|
UNSAT TT=244.315
|
UNSAT TT=198.979
|
UNSAT TT=351.765
|
? (TO) TT=1800.05
|
UNSAT TT=355.5
|
UNSAT TT=225.244
|
? (MO) TT=704.384
|
? (MO) TT=455.182
|
? (MO) TT=799.093
|
UNSAT TT=1721.4
|
No Cert. TT=1800.3
|
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-nusmvtcastp2-tseitin.cnf
|
UNSAT TT=188.396
|
UNSAT TT=445.433
|
UNSAT TT=469.706
|
UNSAT TT=442.455
|
? (TO) TT=1800.05
|
UNSAT TT=188.396
|
UNSAT TT=400.567
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
No Cert. TT=1800.09
|
No Cert. TT=1800.22
|
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf
|
UNSAT TT=727.208
|
UNSAT TT=949.595
|
UNSAT TT=886.046
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
No Cert. TT=1800.06
|
UNSAT TT=727.208
|
? TT=577.054
|
? TT=524.657
|
? TT=502.916
|
No Cert. TT=1800.06
|
No Cert. TT=1800.31
|
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
|
|
? (TO) TT=1800.17
|
? (TO) TT=1800.21
|
? TT=366.553
|
? (TO) TT=1800.05
|
No Cert. TT=1800.08
|
? (MO) TT=452.876
|
? TT=428.162
|
? TT=424.544
|
? TT=422.678
|
No Cert. TT=1800.15
|
No Cert. TT=1800.27
|
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp0neg-tseitin.cnf
|
UNSAT TT=227.396
|
UNSAT TT=333.688
|
UNSAT TT=324.732
|
UNSAT TT=489.015
|
? (TO) TT=1800.07
|
UNSAT TT=420.824
|
UNSAT TT=227.396
|
? (TO) TT=1800.13
|
? (TO) TT=1800.18
|
? (MO) TT=1753.26
|
No Cert. TT=1800.06
|
No Cert. TT=1800.18
|
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvguidancep1-tseitin.cnf
|
UNSAT TT=145.975
|
UNSAT TT=148.966
|
UNSAT TT=145.975
|
UNSAT TT=1429.71
|
? (TO) TT=1800.07
|
UNSAT TT=1101.2
|
UNSAT TT=340.408
|
? (TO) TT=1800.07
|
UNSAT TT=1268.6
|
? (TO) TT=1800.06
|
UNSAT TT=1583.07
|
No Cert. TT=1800.25
|
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf
|
|
? (TO) TT=1800.16
|
? (TO) TT=1800.1
|
? (TO) TT=1800.16
|
? (TO) TT=1800.1
|
No Cert. TT=1800.07
|
? (exit code) TT=1199.19
|
? TT=661.235
|
? TT=719.705
|
? TT=773.998
|
No Cert. TT=1800.07
|
No Cert. TT=1800.38
|
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
|
UNSAT TT=1414.3
|
UNSAT TT=1414.3
|
UNSAT TT=1483.95
|
? TT=182.728
|
? (TO) TT=1800.1
|
No Cert. TT=1800.13
|
? (exit code) TT=1199.12
|
? TT=398.152
|
? TT=397.2
|
? TT=333.737
|
No Cert. TT=1800.08
|
? (TO) TT=1800.24
|
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-viscoherencep3-tseitin.cnf
|
|
? (TO) TT=1800.17
|
? (TO) TT=1800.1
|
? TT=561.331
|
? (TO) TT=1800.05
|
No Cert. TT=1800.13
|
? (MO) TT=448.274
|
? TT=1531.71
|
? (TO) TT=1800.11
|
? TT=1588.83
|
No Cert. TT=1800.07
|
? (TO) TT=1800.18
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
application/leberre/ 2dimensionalstrippacking/ E00N10.cnf
|
UNSAT TT=0.253
|
UNSAT TT=0.253
|
UNSAT TT=0.336
|
UNSAT TT=0.535
|
UNSAT TT=1.977
|
UNSAT TT=0.315
|
UNSAT TT=0.565
|
UNSAT TT=10.324
|
UNSAT TT=10.025
|
UNSAT TT=219.776
|
UNSAT TT=3.098
|
UNSAT TT=5.466
|
application/leberre/ 2dimensionalstrippacking/ E00N15.cnf
|
UNSAT TT=480.045
|
? (MO) TT=892.126
|
UNSAT TT=1524.86
|
UNSAT TT=1161.83
|
? (TO) TT=1800.05
|
UNSAT TT=1004.78
|
UNSAT TT=480.054
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
UNSAT TT=480.045
|
No Cert. TT=1800.11
|
application/leberre/ 2dimensionalstrippacking/ E03N15.cnf
|
UNSAT TT=5.382
|
UNSAT TT=10.425
|
UNSAT TT=7.352
|
UNSAT TT=5.382
|
UNSAT TT=1590.88
|
UNSAT TT=10.571
|
UNSAT TT=12.904
|
? (TO) TT=1800.04
|
? (TO) TT=1800.09
|
UNSAT TT=473.365
|
UNSAT TT=17.027
|
UNSAT TT=92.925
|
application/leberre/ 2dimensionalstrippacking/ E04F15.cnf
|
UNSAT TT=496.525
|
? (MO) TT=1173.93
|
? (MO) TT=1199.36
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
UNSAT TT=869.833
|
UNSAT TT=496.525
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
? (TO) TT=1800.05
|
No Cert. TT=1800.06
|
No Cert. TT=1800.14
|
application/leberre/ 2dimensionalstrippacking/ E04N18.cnf
|
UNSAT TT=4.21
|
UNSAT TT=7.3
|
UNSAT TT=4.21
|
UNSAT TT=9.913
|
UNSAT TT=214.068
|
UNSAT TT=8.65
|
? (exit code) TT=1199.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
No Cert. TT=1800.08
|
No Cert. TT=1800.15
|
application/leberre/ 2dimensionalstrippacking/ E05N15.cnf
|
UNSAT TT=0.042
|
UNSAT TT=0.165
|
UNSAT TT=0.068
|
UNSAT TT=0.176
|
UNSAT TT=230.235
|
UNSAT TT=0.042
|
UNSAT TT=0.156
|
UNSAT TT=7.461
|
UNSAT TT=7.386
|
UNSAT TT=6.026
|
UNSAT TT=0.279
|
UNSAT TT=3.95
|
application/leberre/ 2dimensionalstrippacking/ E07N10.cnf
|
UNSAT TT=0.369
|
UNSAT TT=0.41
|
UNSAT TT=0.372
|
UNSAT TT=0.369
|
UNSAT TT=5.294
|
UNSAT TT=0.847
|
UNSAT TT=0.68
|
UNSAT TT=17.208
|
UNSAT TT=14.541
|
UNSAT TT=3.029
|
UNSAT TT=2.237
|
UNSAT TT=5.364
|
application/leberre/ 2dimensionalstrippacking/ E10N10.cnf
|
UNSAT TT=0.06
|
UNSAT TT=0.093
|
UNSAT TT=0.092
|
UNSAT TT=0.175
|
UNSAT TT=6.048
|
UNSAT TT=0.06
|
UNSAT TT=0.324
|
UNSAT TT=157.409
|
UNSAT TT=141.745
|
UNSAT TT=386.56
|
UNSAT TT=1.933
|
UNSAT TT=4.412
|
application/leberre/ 2dimensionalstrippacking/ E10X15.cnf
|
UNSAT TT=0.026
|
UNSAT TT=0.081
|
UNSAT TT=0.059
|
UNSAT TT=0.152
|
UNSAT TT=2.061
|
UNSAT TT=0.026
|
UNSAT TT=0.11
|
UNSAT TT=4.298
|
UNSAT TT=4.239
|
UNSAT TT=2.6
|
UNSAT TT=0.28
|
UNSAT TT=3.471
|
application/leberre/ 2dimensionalstrippacking/ E13N10.cnf
|
UNSAT TT=1.626
|
UNSAT TT=26.406
|
UNSAT TT=25.534
|
UNSAT TT=5.569
|
UNSAT TT=5.934
|
UNSAT TT=2.066
|
UNSAT TT=1.626
|
UNSAT TT=8.763
|
UNSAT TT=8.524
|
UNSAT TT=37.992
|
UNSAT TT=2.461
|
UNSAT TT=63.581
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
application/leberre/ 2dimensionalstrippacking/ E13X15.cnf
|
UNSAT TT=0.035
|
UNSAT TT=0.087
|
UNSAT TT=0.039
|
UNSAT TT=0.085
|
UNSAT TT=0.151
|
UNSAT TT=0.035
|
UNSAT TT=0.118
|
UNSAT TT=5.475
|
UNSAT TT=5.37
|
UNSAT TT=92.334
|
UNSAT TT=0.368
|
UNSAT TT=2.076
|
application/leberre/ 2dimensionalstrippacking/ E15N10.cnf
|
UNSAT TT=0.586
|
UNSAT TT=3.019
|
UNSAT TT=4.814
|
UNSAT TT=0.825
|
UNSAT TT=13.2
|
UNSAT TT=2.043
|
UNSAT TT=0.586
|
UNSAT TT=52.302
|
UNSAT TT=36.389
|
UNSAT TT=21.16
|
UNSAT TT=2.897
|
UNSAT TT=22.187
|
application/leberre/ 2dimensionalstrippacking/ E15N15.cnf
|
UNSAT TT=0.042
|
UNSAT TT=0.145
|
UNSAT TT=0.07
|
UNSAT TT=0.185
|
UNSAT TT=78.853
|
UNSAT TT=0.042
|
UNSAT TT=0.174
|
UNSAT TT=7.304
|
UNSAT TT=7.032
|
UNSAT TT=6.02
|
UNSAT TT=0.307
|
UNSAT TT=4.309
|
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.010-NOTKNOWN.cnf
|
|
? (TO) TT=1800.26
|
? (TO) TT=1800.25
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
No Cert. TT=1800.13
|
? (exit code) TT=1199.2
|
? (exit code) TT=32.947
|
? (exit code) TT=33.269
|
? (exit code) TT=33.042
|
No Cert. TT=1800.06
|
? (TO) TT=1800.3
|
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.010-NOTKNOWN.cnf
|
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
No Cert. TT=1800.07
|
? (exit code) TT=1199.06
|
? (exit code) TT=35.216
|
? (exit code) TT=35.297
|
? (exit code) TT=35.426
|
No Cert. TT=1800.07
|
No Cert. TT=1800.21
|
APPLICATIONS/ bitverif/ icbrt/icbrt2_32.cnf
|
|
? (MO) TT=635.929
|
? (MO) TT=581.129
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
No Cert. TT=1800.1
|
? (MO) TT=825.499
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
No Cert. TT=1800.1
|
No Cert. TT=1800.13
|
APPLICATIONS/ bitverif/maxand/ maxand032.cnf
|
UNSAT TT=73.569
|
UNSAT TT=93.956
|
UNSAT TT=96.217
|
UNSAT TT=1362.01
|
UNSAT TT=1204.09
|
UNSAT TT=1020.66
|
UNSAT TT=113.791
|
UNSAT TT=209.21
|
UNSAT TT=93.838
|
UNSAT TT=79.344
|
UNSAT TT=73.569
|
UNSAT TT=330.852
|
APPLICATIONS/ bitverif/maxor/ maxor032.cnf
|
|
? (MO) TT=1792.46
|
? (TO) TT=1800.4
|
? (TO) TT=1800.13
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
? (exit code) TT=1199.27
|
? (TO) TT=1800.08
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
No Cert. TT=1800.07
|
No Cert. TT=1800.18
|
APPLICATIONS/ bitverif/minand/ minand016.cnf
|
UNSAT TT=1.407
|
UNSAT TT=1.478
|
UNSAT TT=1.478
|
UNSAT TT=4.76
|
UNSAT TT=35.95
|
UNSAT TT=5.899
|
UNSAT TT=1.407
|
UNSAT TT=5.52
|
UNSAT TT=2.015
|
UNSAT TT=1.532
|
UNSAT TT=3.628
|
UNSAT TT=17.222
|
APPLICATIONS/ bitverif/minand/ minand064.cnf
|
UNSAT TT=1105.69
|
? (TO) TT=1800.17
|
? (TO) TT=1800.17
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
No Cert. TT=1800.11
|
UNSAT TT=1168.5
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=1105.69
|
UNSAT TT=1123.87
|
No Cert. TT=1800.19
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
APPLICATIONS/bitverif/ minxorminand/ minxorminand032.cnf
|
|
? (MO) TT=1123.18
|
? (MO) TT=1064.61
|
? (TO) TT=1800.16
|
? (TO) TT=1800.05
|
? (TO) TT=1800.11
|
? (exit code) TT=1199.22
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
No Cert. TT=1800.16
|
No Cert. TT=1800.18
|
APPLICATIONS/ bitverif/minxor/ minxor032.cnf
|
UNSAT TT=1129.15
|
? (MO) TT=873.985
|
? (MO) TT=908.821
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
No Cert. TT=1800.12
|
? (exit code) TT=1199.05
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
UNSAT TT=1129.15
|
No Cert. TT=1800.17
|
APPLICATIONS/ bitverif/mulhs/ mulhs008.cnf
|
|
? (MO) TT=681.134
|
? (MO) TT=634.517
|
? (TO) TT=1800.05
|
? (TO) TT=1800.01
|
No Cert. TT=1800.11
|
? (exit code) TT=1199.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
No Cert. TT=1800.06
|
No Cert. TT=1800.07
|
APPLICATIONS/ bitverif/smulo/ smulo016.cnf
|
|
? (MO) TT=1135.1
|
? (MO) TT=1298.13
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
No Cert. TT=1800.09
|
? (exit code) TT=1199.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
No Cert. TT=1800.07
|
? (TO) TT=1800.12
|
APPLICATIONS/c32sat/ post-cbmc-aes-d-r1-noholes.cnf
|
UNSAT TT=525.306
|
UNSAT TT=585.734
|
UNSAT TT=525.306
|
? (TO) TT=1800.04
|
? (TO) TT=1800.11
|
No Cert. TT=1800.07
|
? (exit code) TT=1198.98
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
? (TO) TT=1800.03
|
No Cert. TT=1800.07
|
No Cert. TT=1800.17
|
APPLICATIONS/ crypto/md5gen/ gus-md5-05.cnf
|
|
? (MO) TT=522.99
|
? (MO) TT=471.761
|
? TT=326.419
|
? (TO) TT=1800.09
|
No Cert. TT=1800.13
|
? (MO) TT=520.074
|
? TT=333.879
|
? TT=339.322
|
? TT=335.657
|
No Cert. TT=1800.17
|
No Cert. TT=1800.16
|
APPLICATIONS/ crypto/md5gen/ gus-md5-06.cnf
|
|
? (MO) TT=395.975
|
? (MO) TT=391.377
|
? TT=267.083
|
? (TO) TT=1800.06
|
No Cert. TT=1800.07
|
? (MO) TT=575.6
|
? TT=360.976
|
? TT=358.613
|
? TT=359.613
|
No Cert. TT=1800.19
|
No Cert. TT=1800.26
|
APPLICATIONS/diagnosis/ ACG-10-10t0.cnf
|
UNSAT TT=1388.66
|
UNSAT TT=1388.66
|
UNSAT TT=1522.7
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
No Cert. TT=1800.08
|
? (exit code) TT=1199.06
|
? (exit code) TT=23.173
|
? (exit code) TT=21.371
|
? (exit code) TT=21.703
|
No Cert. TT=1800.08
|
No Cert. TT=1800.35
|
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf
|
|
? (MO) TT=891.045
|
? (MO) TT=619.509
|
? TT=457.253
|
? (TO) TT=1800.06
|
No Cert. TT=1800.1
|
? (exit code) TT=1199.15
|
? TT=711.557
|
? TT=712.89
|
? TT=800.319
|
No Cert. TT=1412.41
|
? (TO) TT=1800.2
|
APPLICATIONS/diagnosis/ ACG-20-5t0.cnf
|
|
? (TO) TT=1800.12
|
? (TO) TT=1800.04
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
No Cert. TT=1800.08
|
? (exit code) TT=1199.05
|
? (exit code) TT=34.991
|
? (exit code) TT=35.683
|
? (exit code) TT=35.695
|
No Cert. TT=1800.04
|
No Cert. TT=1800.2
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
APPLICATIONS/diagnosis/ UCG-10-10t0.cnf
|
UNSAT TT=1126.3
|
UNSAT TT=1289.51
|
UNSAT TT=1126.3
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
No Cert. TT=1800.08
|
? (exit code) TT=1199.06
|
? (exit code) TT=19.59
|
? (exit code) TT=19.593
|
? (exit code) TT=20.066
|
No Cert. TT=1800.08
|
No Cert. TT=1800.17
|
APPLICATIONS/diagnosis/ UCG-20-5t0.cnf
|
UNSAT TT=1020.99
|
? (TO) TT=1800.04
|
? (TO) TT=1800.03
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
UNSAT TT=1020.99
|
? (exit code) TT=1199.01
|
? (exit code) TT=32.797
|
? (exit code) TT=33.505
|
? (exit code) TT=33
|
No Cert. TT=1800.11
|
No Cert. TT=1800.2
|
APPLICATIONS/diagnosis/ UR-10-10t0.cnf
|
UNSAT TT=995.54
|
UNSAT TT=1018.11
|
UNSAT TT=995.54
|
? (TO) TT=1800.09
|
? (TO) TT=1800.03
|
UNSAT TT=1011.82
|
? (exit code) TT=1199.03
|
? (exit code) TT=19.698
|
? (exit code) TT=22.011
|
? (exit code) TT=20.426
|
No Cert. TT=1800.09
|
No Cert. TT=1800.19
|
APPLICATIONS/diagnosis/ UR-10-5p0.cnf
|
|
? (MO) TT=727.497
|
? (MO) TT=503.171
|
? TT=263.922
|
? (TO) TT=1800.06
|
No Cert. TT=1800.08
|
? (exit code) TT=1199.28
|
? TT=721.427
|
? TT=720.697
|
? TT=1441.99
|
No Cert. TT=1800.06
|
? (TO) TT=1800.27
|
APPLICATIONS/diagnosis/ UR-15-10t0.cnf
|
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (TO) TT=1800.04
|
No Cert. TT=1800.11
|
? (exit code) TT=1199.05
|
? (exit code) TT=30.184
|
? (exit code) TT=30.465
|
? (exit code) TT=30.715
|
No Cert. TT=1800.08
|
No Cert. TT=1800.19
|
APPLICATIONS/diagnosis/ UR-15-5t0.cnf
|
UNSAT TT=1684.82
|
UNSAT TT=1684.82
|
UNSAT TT=1717.46
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
No Cert. TT=1800.07
|
? (exit code) TT=1199.04
|
? (exit code) TT=31.419
|
? (exit code) TT=31.581
|
? (exit code) TT=31.563
|
No Cert. TT=1800.07
|
No Cert. TT=1800.17
|
APPLICATIONS/diagnosis/ UR-20-5t0.cnf
|
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
No Cert. TT=1800.04
|
? (exit code) TT=1199.05
|
? (exit code) TT=34.1
|
? (exit code) TT=35.845
|
? (exit code) TT=34.165
|
No Cert. TT=1800.1
|
No Cert. TT=1800.15
|
APPLICATIONS/diagnosis/ UTI-20-5t0.cnf
|
UNSAT TT=927.594
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
UNSAT TT=927.594
|
? (exit code) TT=1199.04
|
? (exit code) TT=34.528
|
? (exit code) TT=34.531
|
? (exit code) TT=34.481
|
No Cert. TT=1800.06
|
No Cert. TT=1800.2
|
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf
|
|
? (MO) TT=1612.17
|
? (MO) TT=1600.69
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
No Cert. TT=1800.1
|
? (exit code) TT=1199.04
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
No Cert. TT=1800.11
|
No Cert. TT=1800.24
|
industrial/anbulagan/ medium-unsat/ total-5-11-u.cnf
|
|
? (MO) TT=209.563
|
? (MO) TT=189.852
|
? TT=562.899
|
? (TO) TT=1800.1
|
No Cert. TT=1800.11
|
? (exit code) TT=1199.31
|
? (exit code) TT=29.594
|
? (exit code) TT=29.548
|
? (exit code) TT=30.025
|
No Cert. TT=1800.12
|
No Cert. TT=1800.19
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
industrial/babic/ dspam/ dspam_dump_vc1081.cnf
|
UNSAT TT=10.577
|
UNSAT TT=88.514
|
UNSAT TT=78.637
|
? TT=404.811
|
? (TO) TT=1800.07
|
UNSAT TT=97.212
|
UNSAT TT=10.577
|
? TT=989.693
|
? TT=775.915
|
? (TO) TT=1800.19
|
UNSAT TT=139.128
|
UNSAT TT=112.874
|
industrial/babic/ dspam/ dspam_dump_vc1093.cnf
|
UNSAT TT=7.961
|
UNSAT TT=24.716
|
UNSAT TT=25.007
|
UNSAT TT=12.101
|
? (TO) TT=1800.08
|
UNSAT TT=7.961
|
UNSAT TT=10.132
|
? (TO) TT=1800.15
|
? TT=1738.82
|
? (TO) TT=1800.09
|
UNSAT TT=136.432
|
UNSAT TT=234.006
|
industrial/babic/ dspam/ dspam_dump_vc950.cnf
|
UNSAT TT=5.995
|
? (MO) TT=353.325
|
? (MO) TT=385.181
|
? TT=309.853
|
? (TO) TT=1800.06
|
? (TO) TT=1800.1
|
UNSAT TT=5.995
|
? TT=877.088
|
? (TO) TT=1800.12
|
? (TO) TT=1800.06
|
UNSAT TT=121.811
|
UNSAT TT=99.624
|
industrial/babic/ dspam/ dspam_dump_vc972.cnf
|
UNSAT TT=16.969
|
UNSAT TT=20.382
|
UNSAT TT=19.677
|
UNSAT TT=39.986
|
? (TO) TT=1800.1
|
UNSAT TT=69.705
|
UNSAT TT=16.969
|
? (TO) TT=1800.19
|
? (TO) TT=1800.1
|
? (TO) TT=1800.14
|
UNSAT TT=337.654
|
UNSAT TT=264.396
|
industrial/babic/ hsatv17/ hsat_vc11803.cnf
|
UNSAT TT=3.695
|
UNSAT TT=19.011
|
UNSAT TT=16.209
|
UNSAT TT=11.945
|
? (TO) TT=1800.03
|
UNSAT TT=3.695
|
UNSAT TT=6.514
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
UNSAT TT=249.801
|
UNSAT TT=199.022
|
industrial/babic/ hsatv17/ hsat_vc11817.cnf
|
UNSAT TT=1.946
|
UNSAT TT=10.052
|
UNSAT TT=9.486
|
UNSAT TT=9.789
|
? (TO) TT=1800.04
|
UNSAT TT=1.946
|
UNSAT TT=5.864
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
UNSAT TT=212.314
|
UNSAT TT=182.23
|
industrial/babic/ hsatv17/ hsat_vc11944.cnf
|
UNSAT TT=1.481
|
UNSAT TT=8.166
|
UNSAT TT=9.188
|
UNSAT TT=8.465
|
UNSAT TT=1730.3
|
UNSAT TT=1.481
|
UNSAT TT=4.161
|
? (TO) TT=1800.1
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
UNSAT TT=152.756
|
UNSAT TT=123.282
|
industrial/babic/ hsatv17/ hsat_vc12016.cnf
|
UNSAT TT=1.293
|
UNSAT TT=7.737
|
UNSAT TT=7.471
|
UNSAT TT=6.879
|
? (TO) TT=1800.05
|
UNSAT TT=1.293
|
UNSAT TT=3.957
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
? (TO) TT=1800.03
|
UNSAT TT=138.037
|
UNSAT TT=114.248
|
industrial/babic/ hsatv17/ hsat_vc12072.cnf
|
UNSAT TT=2.203
|
UNSAT TT=7.674
|
UNSAT TT=7.229
|
UNSAT TT=12.147
|
? (TO) TT=1800.06
|
UNSAT TT=2.203
|
UNSAT TT=5.76
|
? (TO) TT=1800.09
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
UNSAT TT=210.803
|
UNSAT TT=156.625
|
industrial/babic/ xinetd/ xinetd_vc56687.cnf
|
UNSAT TT=0.792
|
UNSAT TT=4.856
|
UNSAT TT=4.841
|
UNSAT TT=7.149
|
UNSAT TT=502.539
|
UNSAT TT=0.792
|
UNSAT TT=5.215
|
? (exit code) TT=31.624
|
? (exit code) TT=31.561
|
? (exit code) TT=31.489
|
UNSAT TT=160.761
|
UNSAT TT=126.456
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
industrial/babic/ xinetd/ xinetd_vc56703.cnf
|
UNSAT TT=1.002
|
UNSAT TT=4.952
|
UNSAT TT=4.803
|
UNSAT TT=6.785
|
UNSAT TT=518.362
|
UNSAT TT=1.002
|
UNSAT TT=5.226
|
? (exit code) TT=31.62
|
? (exit code) TT=31.469
|
? (exit code) TT=31.555
|
UNSAT TT=147.167
|
UNSAT TT=118.514
|
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf
|
|
? (MO) TT=837.026
|
? (MO) TT=863.652
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
No Cert. TT=1800.07
|
? (exit code) TT=1199.01
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
No Cert. TT=1800.08
|
No Cert. TT=1800.17
|
industrial/palacios/ uts/ uts-l05-ipc5-h26-unsat.cnf
|
UNSAT TT=573.059
|
UNSAT TT=650.508
|
UNSAT TT=573.059
|
? TT=356.183
|
? (TO) TT=1800.03
|
No Cert. TT=1800.09
|
? (MO) TT=541.161
|
? TT=1519.19
|
? TT=1461.8
|
? TT=1109.77
|
No Cert. TT=1800.13
|
No Cert. TT=1800.27
|
industrial/palacios/ uts/ uts-l06-ipc5-h28-unknown.cnf
|
UNSAT TT=791.039
|
UNSAT TT=872.101
|
UNSAT TT=791.039
|
? TT=301.931
|
? (TO) TT=1800.09
|
No Cert. TT=1800.1
|
? (MO) TT=503.48
|
? TT=743.763
|
? TT=776.573
|
? TT=633.031
|
No Cert. TT=1800.12
|
No Cert. TT=1800.2
|
industrial/palacios/ uts/ uts-l06-ipc5-h31-unknown.cnf
|
|
? (TO) TT=1800.15
|
? (TO) TT=1800.09
|
? TT=319.83
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
? (MO) TT=756.166
|
? TT=927.537
|
? TT=928.403
|
? TT=570.913
|
No Cert. TT=1800.19
|
? (TO) TT=1800.29
|
mus/chen/ fdmus_v100/ fdmus_b14_134.cnf
|
UNSAT TT=25.608
|
UNSAT TT=27.991
|
UNSAT TT=29.145
|
UNSAT TT=116.352
|
UNSAT TT=124.224
|
UNSAT TT=44.234
|
UNSAT TT=25.608
|
UNSAT TT=356.773
|
UNSAT TT=272.255
|
UNSAT TT=388.573
|
UNSAT TT=43.52
|
UNSAT TT=112.674
|
mus/chen/ fdmus_v100/ fdmus_b14_141.cnf
|
UNSAT TT=40.733
|
UNSAT TT=40.733
|
UNSAT TT=43.669
|
UNSAT TT=204.911
|
UNSAT TT=237.712
|
UNSAT TT=90.324
|
UNSAT TT=47.6
|
UNSAT TT=643.49
|
UNSAT TT=641.561
|
UNSAT TT=614.593
|
UNSAT TT=86.415
|
UNSAT TT=258.547
|
mus/chen/ fdmus_v100/ fdmus_b14_210.cnf
|
UNSAT TT=47.305
|
UNSAT TT=52.975
|
UNSAT TT=50.44
|
UNSAT TT=168.466
|
UNSAT TT=289.063
|
UNSAT TT=65.114
|
UNSAT TT=47.305
|
UNSAT TT=488.101
|
UNSAT TT=384.617
|
UNSAT TT=691.833
|
UNSAT TT=94.275
|
UNSAT TT=176.249
|
mus/chen/ fdmus_v100/ fdmus_b15_291.cnf
|
UNSAT TT=67.802
|
UNSAT TT=92.404
|
UNSAT TT=92.097
|
UNSAT TT=178.723
|
UNSAT TT=260.952
|
UNSAT TT=291.404
|
UNSAT TT=97.037
|
UNSAT TT=275.605
|
UNSAT TT=122.234
|
UNSAT TT=67.802
|
UNSAT TT=142.792
|
UNSAT TT=800.712
|
mus/chen/ fdmus_v100/ fdmus_b15_294.cnf
|
UNSAT TT=59.842
|
UNSAT TT=106.913
|
UNSAT TT=111.322
|
UNSAT TT=389.524
|
UNSAT TT=314.142
|
UNSAT TT=435.414
|
UNSAT TT=71.402
|
UNSAT TT=253.81
|
UNSAT TT=113.383
|
UNSAT TT=59.842
|
UNSAT TT=138.237
|
UNSAT TT=530.388
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/chen/ fdmus_v100/ fdmus_b15_296.cnf
|
UNSAT TT=67.306
|
UNSAT TT=89.942
|
UNSAT TT=91.899
|
UNSAT TT=304.855
|
UNSAT TT=304.516
|
UNSAT TT=565.021
|
UNSAT TT=84.944
|
UNSAT TT=277.82
|
UNSAT TT=130.991
|
UNSAT TT=67.306
|
UNSAT TT=148.206
|
UNSAT TT=920.611
|
mus/chen/ fdmus_v100/ fdmus_b15_303.cnf
|
UNSAT TT=64.579
|
UNSAT TT=64.856
|
UNSAT TT=64.579
|
UNSAT TT=333.344
|
UNSAT TT=331.998
|
UNSAT TT=507.057
|
UNSAT TT=69.867
|
UNSAT TT=305.112
|
UNSAT TT=126.045
|
UNSAT TT=77.739
|
UNSAT TT=180.713
|
UNSAT TT=482.311
|
mus/chen/ fdmus_v100/ fdmus_b15_304.cnf
|
UNSAT TT=81.366
|
UNSAT TT=109.602
|
UNSAT TT=109.588
|
UNSAT TT=281.228
|
UNSAT TT=335.459
|
UNSAT TT=406.823
|
UNSAT TT=115.566
|
UNSAT TT=334.216
|
UNSAT TT=119.94
|
UNSAT TT=81.366
|
UNSAT TT=171.143
|
UNSAT TT=714.634
|
mus/chen/ fdmus_v100/ fdmus_b15_307.cnf
|
UNSAT TT=73.899
|
UNSAT TT=104.826
|
UNSAT TT=101.382
|
UNSAT TT=535.034
|
UNSAT TT=388.718
|
UNSAT TT=408.607
|
UNSAT TT=137.401
|
UNSAT TT=262.506
|
UNSAT TT=156.262
|
UNSAT TT=73.899
|
UNSAT TT=204.92
|
UNSAT TT=596.788
|
mus/chen/ fdmus_v100/ fdmus_b15_421.cnf
|
UNSAT TT=11.739
|
UNSAT TT=11.868
|
UNSAT TT=11.739
|
UNSAT TT=95.299
|
UNSAT TT=129.587
|
UNSAT TT=38.784
|
UNSAT TT=31.346
|
UNSAT TT=112.828
|
UNSAT TT=53.654
|
UNSAT TT=35.267
|
UNSAT TT=67.741
|
UNSAT TT=244.321
|
mus/chen/ fdmus_v100/ fdmus_b15_463.cnf
|
UNSAT TT=22.632
|
UNSAT TT=23.474
|
UNSAT TT=22.632
|
UNSAT TT=220.713
|
UNSAT TT=216.733
|
UNSAT TT=50.54
|
UNSAT TT=46.321
|
UNSAT TT=163.981
|
UNSAT TT=47.92
|
UNSAT TT=46.551
|
UNSAT TT=102.131
|
UNSAT TT=327.899
|
mus/chen/ fdmus_v100/ fdmus_b17_1037.cnf
|
UNSAT TT=7.945
|
UNSAT TT=8.805
|
UNSAT TT=7.945
|
UNSAT TT=55.892
|
UNSAT TT=134.069
|
UNSAT TT=15.151
|
UNSAT TT=18.537
|
UNSAT TT=90.422
|
UNSAT TT=21.937
|
UNSAT TT=18.057
|
UNSAT TT=59.81
|
UNSAT TT=156.144
|
mus/chen/ fdmus_v100/ fdmus_b17_1324.cnf
|
UNSAT TT=38.167
|
UNSAT TT=56.111
|
UNSAT TT=51.515
|
UNSAT TT=210.137
|
UNSAT TT=300.259
|
UNSAT TT=264.907
|
UNSAT TT=38.167
|
UNSAT TT=143.719
|
UNSAT TT=50.329
|
UNSAT TT=108.149
|
UNSAT TT=128.564
|
UNSAT TT=417.813
|
mus/chen/ fdmus_v100/ fdmus_b17_1327.cnf
|
UNSAT TT=47.632
|
UNSAT TT=47.831
|
UNSAT TT=49.187
|
UNSAT TT=372.449
|
UNSAT TT=300.173
|
UNSAT TT=196.748
|
UNSAT TT=47.632
|
UNSAT TT=133.586
|
UNSAT TT=52.329
|
UNSAT TT=53.372
|
UNSAT TT=124.904
|
UNSAT TT=770.625
|
mus/chen/ fdmus_v100/ fdmus_b17_1456.cnf
|
UNSAT TT=21.792
|
UNSAT TT=21.931
|
UNSAT TT=21.792
|
UNSAT TT=154.228
|
UNSAT TT=231.349
|
UNSAT TT=45.518
|
UNSAT TT=28.836
|
UNSAT TT=177.536
|
UNSAT TT=49.229
|
UNSAT TT=51.216
|
UNSAT TT=100.469
|
UNSAT TT=366.466
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/chen/ fdmus_v100/ fdmus_b17_420.cnf
|
UNSAT TT=24.268
|
UNSAT TT=40.866
|
UNSAT TT=40.054
|
UNSAT TT=118.283
|
UNSAT TT=114.623
|
UNSAT TT=284.006
|
UNSAT TT=49.705
|
UNSAT TT=55.285
|
UNSAT TT=24.268
|
UNSAT TT=95.629
|
UNSAT TT=53.519
|
UNSAT TT=185.689
|
mus/chen/ fdmus_v100/ fdmus_b20_141.cnf
|
UNSAT TT=82.457
|
UNSAT TT=82.457
|
UNSAT TT=87.398
|
UNSAT TT=1527
|
UNSAT TT=865.656
|
UNSAT TT=648.49
|
UNSAT TT=282.368
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
UNSAT TT=379.651
|
No Cert. TT=1800.16
|
mus/chen/ fdmus_v100/ fdmus_b20_171.cnf
|
UNSAT TT=85.092
|
UNSAT TT=93.337
|
UNSAT TT=85.092
|
UNSAT TT=1109.38
|
UNSAT TT=788.552
|
UNSAT TT=366.468
|
UNSAT TT=175.877
|
? (TO) TT=1800.06
|
? (TO) TT=1800.03
|
? (TO) TT=1800.07
|
UNSAT TT=414.171
|
No Cert. TT=1800.16
|
mus/chen/ fdmus_v100/ fdmus_b20_238.cnf
|
UNSAT TT=40.022
|
UNSAT TT=44.953
|
UNSAT TT=40.022
|
UNSAT TT=367.396
|
UNSAT TT=472.342
|
UNSAT TT=124.857
|
UNSAT TT=74.02
|
UNSAT TT=779.237
|
UNSAT TT=499.336
|
UNSAT TT=365.751
|
UNSAT TT=113.565
|
UNSAT TT=302.626
|
mus/chen/ fdmus_v100/ fdmus_b20_240.cnf
|
UNSAT TT=25.269
|
UNSAT TT=33.619
|
UNSAT TT=36.839
|
UNSAT TT=165.093
|
UNSAT TT=245.841
|
UNSAT TT=66.18
|
UNSAT TT=25.269
|
UNSAT TT=230.693
|
UNSAT TT=145.914
|
UNSAT TT=30.598
|
UNSAT TT=53.263
|
UNSAT TT=120.405
|
mus/chen/ fdmus_v100/ fdmus_b20_341.cnf
|
UNSAT TT=21.831
|
UNSAT TT=22.304
|
UNSAT TT=21.831
|
UNSAT TT=111.508
|
UNSAT TT=142.066
|
UNSAT TT=48.577
|
UNSAT TT=24.863
|
UNSAT TT=284.251
|
UNSAT TT=331.898
|
UNSAT TT=226.755
|
UNSAT TT=47.818
|
UNSAT TT=202.813
|
mus/chen/ fdmus_v100/ fdmus_b20_349.cnf
|
UNSAT TT=69.892
|
UNSAT TT=69.892
|
UNSAT TT=74.426
|
UNSAT TT=630.16
|
UNSAT TT=363
|
UNSAT TT=168.8
|
UNSAT TT=146.658
|
UNSAT TT=1637.31
|
UNSAT TT=1495.5
|
UNSAT TT=1223.9
|
UNSAT TT=236.595
|
UNSAT TT=1191.88
|
mus/chen/ fdmus_v100/ fdmus_b20_381.cnf
|
UNSAT TT=69.941
|
UNSAT TT=69.941
|
UNSAT TT=76.75
|
UNSAT TT=637.949
|
UNSAT TT=378.013
|
UNSAT TT=136.088
|
UNSAT TT=124.941
|
UNSAT TT=1303.96
|
UNSAT TT=1463.83
|
UNSAT TT=823.747
|
UNSAT TT=243.566
|
UNSAT TT=423.358
|
mus/chen/ fdmus_v100/ fdmus_b20_388.cnf
|
UNSAT TT=105.122
|
UNSAT TT=112.751
|
UNSAT TT=105.122
|
UNSAT TT=1542.88
|
UNSAT TT=582.958
|
UNSAT TT=369.145
|
UNSAT TT=207.418
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
UNSAT TT=371.236
|
No Cert. TT=1800.18
|
mus/chen/ fdmus_v100/ fdmus_b20_424.cnf
|
UNSAT TT=165.971
|
UNSAT TT=165.971
|
UNSAT TT=168.723
|
? (TO) TT=1800.04
|
UNSAT TT=720.886
|
UNSAT TT=318.421
|
UNSAT TT=242.638
|
? (TO) TT=1800.05
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
UNSAT TT=377.413
|
UNSAT TT=823.896
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/chen/ fdmus_v100/ fdmus_b20_492.cnf
|
UNSAT TT=54.627
|
UNSAT TT=62.885
|
UNSAT TT=61.383
|
UNSAT TT=455.002
|
UNSAT TT=339.334
|
UNSAT TT=90.817
|
UNSAT TT=54.627
|
UNSAT TT=1004.87
|
UNSAT TT=631.369
|
UNSAT TT=661.553
|
UNSAT TT=125.102
|
UNSAT TT=336.628
|
mus/chen/ fdmus_v100/ fdmus_b20_498.cnf
|
UNSAT TT=43.427
|
UNSAT TT=51.96
|
UNSAT TT=52.308
|
UNSAT TT=311.35
|
UNSAT TT=280.221
|
UNSAT TT=78.413
|
UNSAT TT=43.427
|
UNSAT TT=532.073
|
UNSAT TT=392.449
|
UNSAT TT=111.28
|
UNSAT TT=82.698
|
UNSAT TT=205.359
|
mus/chen/ fdmus_v100/ fdmus_b21_111.cnf
|
UNSAT TT=139.811
|
UNSAT TT=139.811
|
UNSAT TT=141.132
|
? (TO) TT=1800.06
|
UNSAT TT=882.503
|
UNSAT TT=342.044
|
UNSAT TT=227.471
|
? (TO) TT=1800.04
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
UNSAT TT=431.358
|
No Cert. TT=1800.14
|
mus/chen/ fdmus_v100/ fdmus_b21_112.cnf
|
UNSAT TT=153.074
|
UNSAT TT=153.074
|
UNSAT TT=153.277
|
? (TO) TT=1800.01
|
UNSAT TT=943.148
|
UNSAT TT=732.615
|
UNSAT TT=303.382
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
UNSAT TT=466.571
|
No Cert. TT=1800.11
|
mus/chen/ fdmus_v100/ fdmus_b21_167.cnf
|
UNSAT TT=63.691
|
UNSAT TT=66.891
|
UNSAT TT=63.691
|
UNSAT TT=754.414
|
UNSAT TT=534.137
|
UNSAT TT=205.779
|
UNSAT TT=165.408
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
? (TO) TT=1800.08
|
UNSAT TT=238.417
|
UNSAT TT=329.033
|
mus/chen/ fdmus_v100/ fdmus_b21_242.cnf
|
UNSAT TT=26.853
|
UNSAT TT=28.499
|
UNSAT TT=27.789
|
UNSAT TT=219.673
|
UNSAT TT=280.022
|
UNSAT TT=68.577
|
UNSAT TT=26.853
|
UNSAT TT=328.006
|
UNSAT TT=212.92
|
UNSAT TT=48.31
|
UNSAT TT=58.248
|
UNSAT TT=447.723
|
mus/chen/ fdmus_v100/ fdmus_b21_250.cnf
|
UNSAT TT=39.016
|
UNSAT TT=39.016
|
UNSAT TT=40.213
|
UNSAT TT=243.571
|
UNSAT TT=399.369
|
UNSAT TT=77.666
|
UNSAT TT=48.378
|
UNSAT TT=581.269
|
UNSAT TT=447.462
|
UNSAT TT=148.871
|
UNSAT TT=83.129
|
UNSAT TT=201.202
|
mus/chen/ fdmus_v100/ fdmus_b21_359.cnf
|
UNSAT TT=269.055
|
UNSAT TT=368.675
|
UNSAT TT=386.792
|
UNSAT TT=1581.35
|
UNSAT TT=815.336
|
UNSAT TT=356.876
|
UNSAT TT=269.055
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
UNSAT TT=582.25
|
UNSAT TT=1441.24
|
mus/chen/ fdmus_v100/ fdmus_b21_422.cnf
|
UNSAT TT=205.601
|
UNSAT TT=205.798
|
UNSAT TT=205.601
|
? (TO) TT=1800.03
|
UNSAT TT=770.296
|
UNSAT TT=427.357
|
UNSAT TT=306.462
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
? (TO) TT=1800.02
|
UNSAT TT=402.984
|
No Cert. TT=1800.21
|
mus/chen/ fdmus_v100/ fdmus_b21_481.cnf
|
UNSAT TT=59.373
|
UNSAT TT=67.205
|
UNSAT TT=59.373
|
UNSAT TT=659.087
|
UNSAT TT=462.882
|
UNSAT TT=121.867
|
UNSAT TT=83.743
|
UNSAT TT=1037.68
|
UNSAT TT=897.199
|
UNSAT TT=812.097
|
UNSAT TT=149.709
|
UNSAT TT=495.462
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/chen/ fdmus_v100/ fdmus_b21_486.cnf
|
UNSAT TT=37.22
|
UNSAT TT=37.93
|
UNSAT TT=37.22
|
UNSAT TT=371.839
|
UNSAT TT=397.755
|
UNSAT TT=121.448
|
UNSAT TT=45.38
|
UNSAT TT=625.858
|
UNSAT TT=382.043
|
UNSAT TT=122.375
|
UNSAT TT=113.26
|
UNSAT TT=539.166
|
mus/chen/ fdmus_v100/ fdmus_b21_96.cnf
|
UNSAT TT=23.225
|
UNSAT TT=24.03
|
UNSAT TT=23.225
|
UNSAT TT=226.709
|
UNSAT TT=222.62
|
UNSAT TT=79.769
|
UNSAT TT=36.557
|
UNSAT TT=625.288
|
UNSAT TT=611.525
|
UNSAT TT=421.897
|
UNSAT TT=75.06
|
UNSAT TT=183.695
|
mus/chen/ fdmus_v100/ fdmus_b22_102.cnf
|
UNSAT TT=56.364
|
UNSAT TT=56.364
|
UNSAT TT=56.6
|
UNSAT TT=477.039
|
UNSAT TT=509.16
|
UNSAT TT=198.764
|
UNSAT TT=147.459
|
? (TO) TT=1800.05
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
UNSAT TT=323.732
|
No Cert. TT=1800.14
|
mus/chen/ fdmus_v100/ fdmus_b22_113.cnf
|
UNSAT TT=219.372
|
UNSAT TT=219.372
|
UNSAT TT=224.253
|
? (TO) TT=1800.05
|
UNSAT TT=1056.36
|
UNSAT TT=395.298
|
UNSAT TT=257.705
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
UNSAT TT=599.144
|
No Cert. TT=1800.12
|
mus/chen/ fdmus_v100/ fdmus_b22_133.cnf
|
UNSAT TT=71.106
|
UNSAT TT=110.387
|
UNSAT TT=109.38
|
UNSAT TT=614.413
|
UNSAT TT=445.657
|
UNSAT TT=328.365
|
UNSAT TT=71.106
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
UNSAT TT=143.222
|
UNSAT TT=271.376
|
mus/chen/ fdmus_v100/ fdmus_b22_141.cnf
|
UNSAT TT=85.236
|
UNSAT TT=85.637
|
UNSAT TT=85.236
|
? (TO) TT=1800.11
|
UNSAT TT=821.961
|
UNSAT TT=365.708
|
UNSAT TT=167.934
|
? (TO) TT=1800.09
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
UNSAT TT=355.589
|
No Cert. TT=1800.13
|
mus/chen/ fdmus_v100/ fdmus_b22_162.cnf
|
UNSAT TT=40.075
|
UNSAT TT=40.075
|
UNSAT TT=41.019
|
UNSAT TT=226.825
|
UNSAT TT=306.52
|
UNSAT TT=217.23
|
UNSAT TT=62.91
|
UNSAT TT=1038.53
|
UNSAT TT=1008.18
|
UNSAT TT=735.264
|
UNSAT TT=92.081
|
UNSAT TT=319.535
|
mus/chen/ fdmus_v100/ fdmus_b22_172.cnf
|
UNSAT TT=82.121
|
UNSAT TT=86.156
|
UNSAT TT=82.121
|
? (TO) TT=1800.04
|
UNSAT TT=763.543
|
UNSAT TT=481.623
|
UNSAT TT=185.95
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
? (TO) TT=1800.06
|
UNSAT TT=373.966
|
No Cert. TT=1800.18
|
mus/chen/ fdmus_v100/ fdmus_b22_241.cnf
|
UNSAT TT=61.364
|
UNSAT TT=61.364
|
UNSAT TT=63.657
|
UNSAT TT=768.378
|
UNSAT TT=662.54
|
UNSAT TT=254.179
|
UNSAT TT=80.602
|
UNSAT TT=1168.52
|
UNSAT TT=793.751
|
UNSAT TT=215.207
|
UNSAT TT=170.148
|
UNSAT TT=635.225
|
mus/chen/ fdmus_v100/ fdmus_b22_355.cnf
|
UNSAT TT=120.909
|
UNSAT TT=122.465
|
UNSAT TT=120.909
|
UNSAT TT=1044.88
|
UNSAT TT=762.446
|
UNSAT TT=295.927
|
UNSAT TT=280.885
|
? (TO) TT=1800.11
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=479.528
|
UNSAT TT=1614.06
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/chen/ fdmus_v100/ fdmus_b22_356.cnf
|
UNSAT TT=104.305
|
UNSAT TT=104.305
|
UNSAT TT=113.221
|
UNSAT TT=1416.91
|
UNSAT TT=847.101
|
UNSAT TT=370.792
|
UNSAT TT=199.917
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
UNSAT TT=470.313
|
No Cert. TT=1800.26
|
mus/chen/ fdmus_v100/ fdmus_b22_488.cnf
|
UNSAT TT=45.02
|
UNSAT TT=57.625
|
UNSAT TT=49.169
|
UNSAT TT=307.026
|
UNSAT TT=361.155
|
UNSAT TT=121.563
|
UNSAT TT=45.02
|
UNSAT TT=643.745
|
UNSAT TT=295.84
|
UNSAT TT=99.093
|
UNSAT TT=106.089
|
UNSAT TT=581.116
|
mus/chen/ fdmus_v100/ fdmus_b22_600.cnf
|
UNSAT TT=115.81
|
UNSAT TT=115.81
|
UNSAT TT=126.817
|
? (TO) TT=1800.1
|
UNSAT TT=896.345
|
UNSAT TT=366.041
|
UNSAT TT=151.928
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
UNSAT TT=219.037
|
No Cert. TT=1800.18
|
mus/chen/ fdmus_v100/ fdmus_b22_662.cnf
|
UNSAT TT=94.366
|
UNSAT TT=96.264
|
UNSAT TT=94.366
|
UNSAT TT=1407.78
|
UNSAT TT=745.072
|
UNSAT TT=214.193
|
UNSAT TT=172.359
|
? (TO) TT=1800.04
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
UNSAT TT=210.339
|
No Cert. TT=1800.15
|
mus/chen/ fdmus_v100/ fdmus_b22_669.cnf
|
UNSAT TT=128.484
|
UNSAT TT=128.484
|
UNSAT TT=145.776
|
? (TO) TT=1800.03
|
UNSAT TT=1139.54
|
UNSAT TT=476.021
|
UNSAT TT=211.741
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
UNSAT TT=347.276
|
No Cert. TT=1800.12
|
mus/marques-silva/ abstraction-refinement-intel/ edn_20259_10.cnf_0.48000000.unsat.cnf
|
UNSAT TT=2.777
|
UNSAT TT=28.635
|
UNSAT TT=27.712
|
UNSAT TT=43.157
|
UNSAT TT=1775.73
|
UNSAT TT=2.777
|
UNSAT TT=41.137
|
? (exit code) TT=38.943
|
? (exit code) TT=38.762
|
? (exit code) TT=39.574
|
UNSAT TT=843.803
|
UNSAT TT=1156.32
|
mus/marques-silva/ abstraction-refinement-intel/ edn_20259_8.cnf_0.39000000.unsat.cnf
|
UNSAT TT=2.535
|
UNSAT TT=9.956
|
UNSAT TT=7.705
|
UNSAT TT=14.566
|
UNSAT TT=369.643
|
UNSAT TT=2.535
|
UNSAT TT=15.402
|
? (exit code) TT=29.743
|
? (exit code) TT=29.713
|
? (exit code) TT=29.918
|
UNSAT TT=202.709
|
UNSAT TT=849.826
|
mus/marques-silva/ abstraction-refinement-intel/ edn_20403_10.cnf_0.03000000.unsat.cnf
|
UNSAT TT=0.233
|
UNSAT TT=1.989
|
UNSAT TT=1.859
|
UNSAT TT=2.742
|
UNSAT TT=375.101
|
UNSAT TT=0.233
|
UNSAT TT=2.343
|
? (exit code) TT=1.467
|
? (exit code) TT=1.475
|
? (exit code) TT=1.509
|
UNSAT TT=29.708
|
UNSAT TT=50.195
|
mus/marques-silva/ abstraction-refinement-intel/ edn_20403_12.cnf_0.08000000.unsat.cnf
|
UNSAT TT=0.624
|
UNSAT TT=12.36
|
UNSAT TT=12.689
|
UNSAT TT=15.938
|
UNSAT TT=928.308
|
UNSAT TT=0.624
|
UNSAT TT=11.468
|
? (exit code) TT=1.792
|
? (exit code) TT=1.996
|
? (exit code) TT=1.978
|
UNSAT TT=267.938
|
UNSAT TT=214.673
|
mus/marques-silva/ abstraction-refinement-intel/ edn_20403_8.cnf_0.03000000.unsat.cnf
|
UNSAT TT=0.108
|
UNSAT TT=1.7
|
UNSAT TT=1.618
|
UNSAT TT=2.178
|
UNSAT TT=4.306
|
UNSAT TT=0.108
|
UNSAT TT=0.448
|
UNSAT TT=17.209
|
UNSAT TT=19.015
|
UNSAT TT=4.38
|
UNSAT TT=3.933
|
UNSAT TT=45.097
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ abstraction-refinement-intel/ edn_22134_10.cnf_0.47000000.unsat.cnf
|
UNSAT TT=3.247
|
UNSAT TT=140.277
|
UNSAT TT=126.692
|
UNSAT TT=254.208
|
? (TO) TT=1800.07
|
UNSAT TT=3.247
|
UNSAT TT=88.35
|
? (exit code) TT=27.997
|
? (exit code) TT=28.245
|
? (exit code) TT=30.687
|
No Cert. TT=1800.05
|
UNSAT TT=1607.46
|
mus/marques-silva/ abstraction-refinement-intel/ edn_22134_8.cnf_0.38000000.unsat.cnf
|
UNSAT TT=3.714
|
UNSAT TT=51.567
|
UNSAT TT=50.317
|
UNSAT TT=130.584
|
? (TO) TT=1800.09
|
UNSAT TT=3.714
|
UNSAT TT=24.964
|
? (exit code) TT=25.305
|
? (exit code) TT=23.169
|
? (exit code) TT=24.022
|
UNSAT TT=570.216
|
UNSAT TT=1418.2
|
mus/marques-silva/ abstraction-refinement-intel/ edn_24095_8.cnf_0.21000000.unsat.cnf
|
UNSAT TT=4.288
|
UNSAT TT=27.415
|
Signal TT=4.975
|
UNSAT TT=39.697
|
UNSAT TT=1405.01
|
UNSAT TT=4.288
|
UNSAT TT=33.452
|
? (exit code) TT=24.562
|
? (exit code) TT=22.5
|
? (exit code) TT=22.866
|
UNSAT TT=885.45
|
UNSAT TT=1322.69
|
mus/marques-silva/ abstraction-refinement-intel/ edn_25208_10.cnf_0.58000000.unsat.cnf
|
UNSAT TT=19.076
|
UNSAT TT=446.486
|
UNSAT TT=460.776
|
UNSAT TT=617.522
|
? (TO) TT=1800.06
|
UNSAT TT=19.076
|
UNSAT TT=518.852
|
? (exit code) TT=21.023
|
? (exit code) TT=20.967
|
? (exit code) TT=21.242
|
No Cert. TT=1800.07
|
No Cert. TT=1800.2
|
mus/marques-silva/ abstraction-refinement-intel/ edn_25208_14.cnf_37.38000000.unsat.cnf
|
|
? (TO) TT=1800.19
|
? (TO) TT=1800.15
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
No Cert. TT=1800.09
|
? (exit code) TT=1199.14
|
? (exit code) TT=47.599
|
? (exit code) TT=44.157
|
? (exit code) TT=44.908
|
No Cert. TT=1800.09
|
No Cert. TT=1800.21
|
mus/marques-silva/ abstraction-refinement-intel/ edn_28491_10.cnf_0.46000000.unsat.cnf
|
UNSAT TT=6.727
|
UNSAT TT=129.147
|
UNSAT TT=127.048
|
UNSAT TT=255.725
|
? (TO) TT=1800.08
|
UNSAT TT=6.727
|
UNSAT TT=52.231
|
? (exit code) TT=32.006
|
? (exit code) TT=32.163
|
? (exit code) TT=32.562
|
No Cert. TT=1800.08
|
UNSAT TT=1613.65
|
mus/marques-silva/ abstraction-refinement-intel/ edn_28491_12.cnf_0.50000000.unsat.cnf
|
UNSAT TT=3.885
|
UNSAT TT=174.737
|
UNSAT TT=155.145
|
UNSAT TT=247.879
|
? (TO) TT=1800.08
|
UNSAT TT=3.885
|
UNSAT TT=173.649
|
? (exit code) TT=38.555
|
? (exit code) TT=38.747
|
? (exit code) TT=39.857
|
No Cert. TT=1800.12
|
No Cert. TT=1800.2
|
mus/marques-silva/ abstraction-refinement-intel/ edn_28491_6.cnf_0.31000000.unsat.cnf
|
UNSAT TT=1.442
|
UNSAT TT=16.862
|
UNSAT TT=14.192
|
UNSAT TT=20.824
|
UNSAT TT=1516.49
|
UNSAT TT=1.442
|
UNSAT TT=6.425
|
? (exit code) TT=12.499
|
? (exit code) TT=12.618
|
? (exit code) TT=13.687
|
UNSAT TT=100.689
|
UNSAT TT=198.769
|
mus/marques-silva/ abstraction-refinement-intel/ edn_2948_14.cnf_0.97000000.unsat.cnf
|
UNSAT TT=14.671
|
UNSAT TT=639.634
|
UNSAT TT=633.179
|
UNSAT TT=1016.72
|
? (TO) TT=1800.07
|
UNSAT TT=14.671
|
UNSAT TT=611.217
|
? (exit code) TT=35.367
|
? (exit code) TT=35.307
|
? (exit code) TT=36.878
|
No Cert. TT=1800.07
|
No Cert. TT=1800.21
|
mus/marques-silva/ abstraction-refinement-intel/ edn_5371_10.cnf_0.46000000.unsat.cnf
|
UNSAT TT=2.577
|
Signal TT=36.058
|
UNSAT TT=30.813
|
UNSAT TT=54.277
|
UNSAT TT=1787.92
|
UNSAT TT=2.577
|
UNSAT TT=40.36
|
? (exit code) TT=38.206
|
? (exit code) TT=38.172
|
? (exit code) TT=37.204
|
UNSAT TT=1129.02
|
UNSAT TT=760.18
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ abstraction-refinement-intel/ edn_5371_12.cnf_0.50000000.unsat.cnf
|
UNSAT TT=9.293
|
UNSAT TT=61.397
|
UNSAT TT=58.876
|
UNSAT TT=110.381
|
? (TO) TT=1800.09
|
UNSAT TT=9.293
|
UNSAT TT=70.543
|
? (exit code) TT=43.449
|
? (exit code) TT=42.993
|
? (exit code) TT=46.371
|
No Cert. TT=1800.08
|
UNSAT TT=1692.56
|
mus/marques-silva/ abstraction-refinement-intel/ edn_5371_4.cnf_0.21000000.unsat.cnf
|
UNSAT TT=0.774
|
UNSAT TT=1.717
|
Signal TT=1.063
|
UNSAT TT=3.579
|
UNSAT TT=9.26
|
UNSAT TT=0.774
|
UNSAT TT=2.941
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
UNSAT TT=180.911
|
UNSAT TT=20.456
|
UNSAT TT=18.503
|
mus/marques-silva/ abstraction-refinement-intel/ edn_5371_6.cnf_0.30000000.unsat.cnf
|
UNSAT TT=1.294
|
Signal TT=4.793
|
UNSAT TT=3.054
|
UNSAT TT=7.286
|
UNSAT TT=80.621
|
UNSAT TT=1.294
|
UNSAT TT=6.97
|
? (exit code) TT=12.814
|
? (exit code) TT=12.733
|
? (exit code) TT=13.441
|
UNSAT TT=68.009
|
UNSAT TT=45.392
|
mus/marques-silva/ abstraction-refinement-intel/ edn_9789_21.cnf_46.05000000.unsat.cnf
|
|
? (TO) TT=1800.16
|
? (TO) TT=1800.14
|
? (TO) TT=1800.11
|
? (TO) TT=1800.14
|
No Cert. TT=1800.07
|
? (exit code) TT=1199.06
|
? (TO) TT=1800.12
|
? (TO) TT=1800.16
|
? (TO) TT=1800.11
|
No Cert. TT=1800.06
|
No Cert. TT=1800.19
|
mus/marques-silva/ abstraction-refinement-intel/ edn_9789_6.cnf_0.31000000.unsat.cnf
|
UNSAT TT=1.543
|
UNSAT TT=25.151
|
UNSAT TT=24.366
|
UNSAT TT=38.383
|
? (TO) TT=1800.07
|
UNSAT TT=1.543
|
UNSAT TT=35.74
|
? (exit code) TT=5.6
|
? (exit code) TT=6.088
|
? (exit code) TT=6.032
|
UNSAT TT=921.008
|
UNSAT TT=760.958
|
mus/marques-silva/ abstraction-refinement-intel/ edn_9789_8.cnf_0.51000000.unsat.cnf
|
UNSAT TT=4.322
|
UNSAT TT=163.299
|
UNSAT TT=162.113
|
UNSAT TT=248.123
|
? (TO) TT=1800.06
|
UNSAT TT=4.322
|
UNSAT TT=146.386
|
? (exit code) TT=10.032
|
? (exit code) TT=11.047
|
? (exit code) TT=10.152
|
No Cert. TT=1800.06
|
No Cert. TT=1800.14
|
mus/marques-silva/ atpg/ bf1355-123.cnf
|
UNSAT TT=0.012
|
UNSAT TT=0.038
|
UNSAT TT=0.035
|
UNSAT TT=0.066
|
UNSAT TT=0.882
|
UNSAT TT=0.012
|
UNSAT TT=0.065
|
? (exit code) TT=0.043
|
? (exit code) TT=0.042
|
? (exit code) TT=0.042
|
UNSAT TT=0.362
|
UNSAT TT=1.865
|
mus/marques-silva/ atpg/ bf1355-127.cnf
|
UNSAT TT=0.01
|
UNSAT TT=0.036
|
UNSAT TT=0.033
|
UNSAT TT=0.064
|
UNSAT TT=0.708
|
UNSAT TT=0.01
|
UNSAT TT=0.057
|
? (exit code) TT=0.04
|
? (exit code) TT=0.04
|
? (exit code) TT=0.041
|
UNSAT TT=0.326
|
UNSAT TT=1.926
|
mus/marques-silva/ atpg/ bf1355-227.cnf
|
UNSAT TT=0.009
|
UNSAT TT=0.025
|
UNSAT TT=0.022
|
UNSAT TT=0.044
|
UNSAT TT=0.321
|
UNSAT TT=0.009
|
UNSAT TT=0.034
|
? (exit code) TT=0.03
|
? (exit code) TT=0.029
|
? (exit code) TT=0.029
|
UNSAT TT=0.188
|
UNSAT TT=1.765
|
mus/marques-silva/ atpg/ bf1355-228.cnf
|
UNSAT TT=0.008
|
UNSAT TT=0.024
|
UNSAT TT=0.021
|
UNSAT TT=0.043
|
UNSAT TT=0.422
|
UNSAT TT=0.008
|
UNSAT TT=0.036
|
? (exit code) TT=0.043
|
? (exit code) TT=0.042
|
? (exit code) TT=0.042
|
UNSAT TT=0.191
|
UNSAT TT=1.675
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ atpg/ bf1355-359.cnf
|
UNSAT TT=0.01
|
UNSAT TT=0.035
|
UNSAT TT=0.033
|
UNSAT TT=0.065
|
UNSAT TT=0.765
|
UNSAT TT=0.01
|
UNSAT TT=0.057
|
? (exit code) TT=0.034
|
? (exit code) TT=0.033
|
? (exit code) TT=0.034
|
UNSAT TT=0.315
|
UNSAT TT=1.653
|
mus/marques-silva/ atpg/ bf1355-445.cnf
|
UNSAT TT=0.011
|
UNSAT TT=0.039
|
UNSAT TT=0.036
|
UNSAT TT=0.066
|
UNSAT TT=0.851
|
UNSAT TT=0.011
|
UNSAT TT=0.058
|
? (exit code) TT=0.043
|
? (exit code) TT=0.042
|
? (exit code) TT=0.042
|
UNSAT TT=0.323
|
UNSAT TT=2.01
|
mus/marques-silva/ atpg/ bf1355-446.cnf
|
UNSAT TT=0.011
|
UNSAT TT=0.038
|
UNSAT TT=0.036
|
UNSAT TT=0.07
|
UNSAT TT=0.668
|
UNSAT TT=0.011
|
UNSAT TT=0.058
|
? (exit code) TT=0.029
|
? (exit code) TT=0.028
|
? (exit code) TT=0.028
|
UNSAT TT=0.316
|
UNSAT TT=1.848
|
mus/marques-silva/ atpg/ bf1355-462.cnf
|
UNSAT TT=0.011
|
UNSAT TT=0.041
|
UNSAT TT=0.037
|
UNSAT TT=0.071
|
UNSAT TT=0.855
|
UNSAT TT=0.011
|
UNSAT TT=0.056
|
? (exit code) TT=0.03
|
? (exit code) TT=0.03
|
? (exit code) TT=0.03
|
UNSAT TT=0.375
|
UNSAT TT=2.176
|
mus/marques-silva/ atpg/ bf1355-466.cnf
|
UNSAT TT=0.011
|
UNSAT TT=0.037
|
UNSAT TT=0.035
|
UNSAT TT=0.064
|
UNSAT TT=0.711
|
UNSAT TT=0.011
|
UNSAT TT=0.053
|
? (exit code) TT=0.027
|
? (exit code) TT=0.028
|
? (exit code) TT=0.028
|
UNSAT TT=0.354
|
UNSAT TT=2.113
|
mus/marques-silva/ atpg/ bf1355-530.cnf
|
UNSAT TT=0.008
|
UNSAT TT=0.023
|
UNSAT TT=0.021
|
UNSAT TT=0.042
|
UNSAT TT=0.443
|
UNSAT TT=0.008
|
UNSAT TT=0.036
|
? (exit code) TT=0.042
|
? (exit code) TT=0.042
|
? (exit code) TT=0.042
|
UNSAT TT=0.202
|
UNSAT TT=1.629
|
mus/marques-silva/ atpg/ bf1355-598.cnf
|
UNSAT TT=0.011
|
UNSAT TT=0.04
|
UNSAT TT=0.037
|
UNSAT TT=0.066
|
UNSAT TT=0.725
|
UNSAT TT=0.011
|
UNSAT TT=0.06
|
? (exit code) TT=0.028
|
? (exit code) TT=0.029
|
? (exit code) TT=0.028
|
UNSAT TT=0.34
|
UNSAT TT=1.936
|
mus/marques-silva/ atpg/ bf1355-621.cnf
|
UNSAT TT=0.007
|
UNSAT TT=0.025
|
UNSAT TT=0.021
|
UNSAT TT=0.04
|
UNSAT TT=0.366
|
UNSAT TT=0.007
|
UNSAT TT=0.035
|
? (exit code) TT=0.045
|
? (exit code) TT=0.043
|
? (exit code) TT=0.046
|
UNSAT TT=0.175
|
UNSAT TT=1.494
|
mus/marques-silva/ atpg/ bf1355-665.cnf
|
UNSAT TT=0.009
|
UNSAT TT=0.032
|
UNSAT TT=0.028
|
UNSAT TT=0.059
|
UNSAT TT=0.661
|
UNSAT TT=0.009
|
UNSAT TT=0.047
|
? (exit code) TT=0.028
|
? (exit code) TT=0.028
|
? (exit code) TT=0.027
|
UNSAT TT=0.266
|
UNSAT TT=1.715
|
mus/marques-silva/ atpg/ bf1355-666.cnf
|
UNSAT TT=0.011
|
UNSAT TT=0.031
|
UNSAT TT=0.027
|
UNSAT TT=0.06
|
UNSAT TT=0.589
|
UNSAT TT=0.011
|
UNSAT TT=0.044
|
? (exit code) TT=0.027
|
? (exit code) TT=0.027
|
? (exit code) TT=0.026
|
UNSAT TT=0.276
|
UNSAT TT=1.711
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ atpg/ bf1355-741.cnf
|
UNSAT TT=0.009
|
UNSAT TT=0.026
|
UNSAT TT=0.023
|
UNSAT TT=0.041
|
UNSAT TT=0.421
|
UNSAT TT=0.009
|
UNSAT TT=0.032
|
? (exit code) TT=0.026
|
? (exit code) TT=0.027
|
? (exit code) TT=0.027
|
UNSAT TT=0.201
|
UNSAT TT=1.672
|
mus/marques-silva/ atpg/ ssa2670-129.cnf
|
UNSAT TT=0.131
|
UNSAT TT=0.135
|
UNSAT TT=0.131
|
UNSAT TT=0.16
|
UNSAT TT=4.928
|
UNSAT TT=0.14
|
UNSAT TT=0.184
|
? (exit code) TT=0.015
|
? (exit code) TT=0.016
|
? (exit code) TT=0.017
|
UNSAT TT=0.91
|
UNSAT TT=3.981
|
mus/marques-silva/ atpg/ ssa2670-132.cnf
|
UNSAT TT=0.133
|
UNSAT TT=0.135
|
UNSAT TT=0.133
|
UNSAT TT=0.152
|
UNSAT TT=4.959
|
UNSAT TT=0.139
|
UNSAT TT=0.18
|
? (exit code) TT=0.015
|
? (exit code) TT=0.017
|
? (exit code) TT=0.016
|
UNSAT TT=0.885
|
UNSAT TT=4.189
|
mus/marques-silva/ atpg/ ssa2670-133.cnf
|
UNSAT TT=0.137
|
UNSAT TT=0.139
|
UNSAT TT=0.137
|
UNSAT TT=0.171
|
UNSAT TT=5.072
|
UNSAT TT=0.14
|
UNSAT TT=0.183
|
? (exit code) TT=0.017
|
? (exit code) TT=0.017
|
? (exit code) TT=0.016
|
UNSAT TT=0.9
|
UNSAT TT=3.916
|
mus/marques-silva/ atpg/ ssa2670-140.cnf
|
UNSAT TT=0.286
|
UNSAT TT=0.32
|
UNSAT TT=0.319
|
UNSAT TT=0.67
|
UNSAT TT=6.409
|
UNSAT TT=0.338
|
UNSAT TT=0.527
|
UNSAT TT=1.28
|
UNSAT TT=0.293
|
UNSAT TT=0.286
|
UNSAT TT=1.62
|
UNSAT TT=6.046
|
mus/marques-silva/ bmc-aerielogic/ fifo4_33.cnf
|
UNSAT TT=1.343
|
UNSAT TT=3.703
|
UNSAT TT=3.303
|
UNSAT TT=3.704
|
UNSAT TT=136.157
|
UNSAT TT=1.343
|
UNSAT TT=3.811
|
? (exit code) TT=0.301
|
? (exit code) TT=0.326
|
? (exit code) TT=0.313
|
UNSAT TT=40.687
|
UNSAT TT=84.605
|
mus/marques-silva/bmc-aerielogic/ w10_45.shuffled.cnf
|
UNSAT TT=21.337
|
UNSAT TT=24.469
|
UNSAT TT=21.337
|
UNSAT TT=56.414
|
UNSAT TT=1653.19
|
UNSAT TT=67.213
|
UNSAT TT=50.566
|
UNSAT TT=715.594
|
UNSAT TT=603.941
|
UNSAT TT=229.491
|
UNSAT TT=190.582
|
UNSAT TT=798.061
|
mus/marques-silva/ bmc-default/barrel2.cnf
|
UNSAT TT=0.002
|
UNSAT TT=0.003
|
UNSAT TT=0.003
|
UNSAT TT=0.003
|
UNSAT TT=0.007
|
UNSAT TT=0.003
|
UNSAT TT=0.002
|
UNSAT TT=0.003
|
UNSAT TT=0.004
|
UNSAT TT=0.003
|
UNSAT TT=0.004
|
UNSAT TT=0.485
|
mus/marques-silva/ bmc-default/barrel6.cnf
|
UNSAT TT=29.057
|
UNSAT TT=31.61
|
UNSAT TT=29.057
|
UNSAT TT=1172.68
|
UNSAT TT=222.27
|
UNSAT TT=184.643
|
UNSAT TT=33.039
|
UNSAT TT=143.193
|
UNSAT TT=54.081
|
UNSAT TT=36.707
|
UNSAT TT=54.408
|
UNSAT TT=323.724
|
mus/marques-silva/ bmc-default/barrel7.cnf
|
UNSAT TT=46.778
|
UNSAT TT=51.057
|
UNSAT TT=46.778
|
UNSAT TT=816.527
|
UNSAT TT=770.682
|
UNSAT TT=269.014
|
UNSAT TT=54.744
|
UNSAT TT=794.207
|
UNSAT TT=532.644
|
UNSAT TT=237.263
|
UNSAT TT=117.812
|
No Cert. TT=1800.18
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ bmc-default/ longmult0.cnf
|
UNSAT TT=0.002
|
Signal TT=0.004
|
UNSAT TT=0.002
|
UNSAT TT=0.003
|
UNSAT TT=0.016
|
UNSAT TT=0.003
|
UNSAT TT=0.003
|
UNSAT TT=0.006
|
UNSAT TT=0.005
|
UNSAT TT=0.005
|
UNSAT TT=0.026
|
UNSAT TT=0.506
|
mus/marques-silva/ bmc-default/ longmult6.cnf
|
UNSAT TT=12.904
|
UNSAT TT=21.87
|
UNSAT TT=20.83
|
UNSAT TT=30.449
|
UNSAT TT=49.189
|
UNSAT TT=85.015
|
UNSAT TT=12.904
|
? (exit code) TT=0.07
|
? (exit code) TT=0.068
|
? (exit code) TT=0.072
|
UNSAT TT=37.026
|
UNSAT TT=92.892
|
mus/marques-silva/ bmc-default/ longmult7.cnf
|
UNSAT TT=80.744
|
UNSAT TT=191.054
|
UNSAT TT=189.524
|
UNSAT TT=401.672
|
UNSAT TT=173.677
|
UNSAT TT=757.711
|
UNSAT TT=80.744
|
? (exit code) TT=0.086
|
? (exit code) TT=0.085
|
? (exit code) TT=0.095
|
UNSAT TT=344.231
|
UNSAT TT=745.791
|
mus/marques-silva/ bmc-default/ longmult9.cnf
|
|
? (MO) TT=432.81
|
? (MO) TT=457.422
|
? (TO) TT=1800.07
|
? (TO) TT=1800.04
|
No Cert. TT=1800.09
|
? (exit code) TT=1198.83
|
? (exit code) TT=0.149
|
? (exit code) TT=0.157
|
? (exit code) TT=0.159
|
No Cert. TT=1800.07
|
No Cert. TT=1800.11
|
mus/marques-silva/ bmc-default/ queueinvar12.cnf
|
UNSAT TT=6.441
|
UNSAT TT=13.293
|
UNSAT TT=14.682
|
UNSAT TT=10.822
|
UNSAT TT=7.986
|
UNSAT TT=60.176
|
UNSAT TT=12.753
|
UNSAT TT=9.287
|
UNSAT TT=6.441
|
UNSAT TT=6.739
|
UNSAT TT=19.783
|
UNSAT TT=63.826
|
mus/marques-silva/ bmc-default/ queueinvar14.cnf
|
UNSAT TT=10.596
|
UNSAT TT=29.238
|
UNSAT TT=29.941
|
UNSAT TT=20.118
|
UNSAT TT=11.848
|
UNSAT TT=142.155
|
UNSAT TT=22.913
|
UNSAT TT=14.906
|
UNSAT TT=10.596
|
UNSAT TT=11.256
|
UNSAT TT=39.996
|
UNSAT TT=115.082
|
mus/marques-silva/ bmc-default/ queueinvar20.cnf
|
UNSAT TT=42.872
|
UNSAT TT=263.623
|
UNSAT TT=275.667
|
UNSAT TT=146.457
|
UNSAT TT=42.872
|
UNSAT TT=1419.93
|
UNSAT TT=119.69
|
UNSAT TT=74.565
|
UNSAT TT=50.758
|
UNSAT TT=55.054
|
UNSAT TT=208.741
|
UNSAT TT=693.589
|
mus/marques-silva/ bmc-default/ queueinvar4.cnf
|
UNSAT TT=0.124
|
UNSAT TT=0.133
|
UNSAT TT=0.133
|
UNSAT TT=0.172
|
UNSAT TT=0.537
|
UNSAT TT=0.175
|
UNSAT TT=0.176
|
UNSAT TT=0.228
|
UNSAT TT=0.132
|
UNSAT TT=0.124
|
UNSAT TT=0.268
|
UNSAT TT=2.017
|
mus/marques-silva/ bmc-default/ queueinvar8.cnf
|
UNSAT TT=0.84
|
UNSAT TT=1.919
|
UNSAT TT=1.934
|
UNSAT TT=1.834
|
UNSAT TT=2.083
|
UNSAT TT=2.779
|
UNSAT TT=1.74
|
UNSAT TT=1.375
|
UNSAT TT=0.922
|
UNSAT TT=0.84
|
UNSAT TT=2.351
|
UNSAT TT=8.731
|
mus/marques-silva/design-debugging/ c1_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=1.106
|
UNSAT TT=1.907
|
Signal TT=1.164
|
UNSAT TT=3.496
|
UNSAT TT=5.505
|
UNSAT TT=1.106
|
UNSAT TT=3.854
|
UNSAT TT=801.19
|
UNSAT TT=810.704
|
UNSAT TT=1586.54
|
UNSAT TT=16.233
|
UNSAT TT=10.038
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/design-debugging/ c1_DD_s3_f1_e2_v1-bug-onevec-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=0.222
|
UNSAT TT=0.447
|
Signal TT=0.297
|
UNSAT TT=0.823
|
UNSAT TT=1.305
|
UNSAT TT=0.222
|
UNSAT TT=0.851
|
UNSAT TT=35.539
|
UNSAT TT=34.498
|
UNSAT TT=45.271
|
UNSAT TT=4.4
|
UNSAT TT=4.014
|
mus/marques-silva/design-debugging/ c4_DD_s3_f1_e2_v1-bug-onevec-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=0.398
|
UNSAT TT=332.252
|
UNSAT TT=318.18
|
? (TO) TT=1800.04
|
UNSAT TT=46.44
|
UNSAT TT=0.398
|
UNSAT TT=2.072
|
? (exit code) TT=30.558
|
? (exit code) TT=30.593
|
? (exit code) TT=30.551
|
UNSAT TT=30.283
|
UNSAT TT=62.337
|
mus/marques-silva/ design-debugging/ c5315-bug-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=0.005
|
UNSAT TT=0.013
|
UNSAT TT=0.012
|
UNSAT TT=0.019
|
UNSAT TT=0.053
|
UNSAT TT=0.005
|
UNSAT TT=0.011
|
UNSAT TT=0.05
|
UNSAT TT=0.041
|
UNSAT TT=0.076
|
UNSAT TT=0.101
|
Wrong Cert. TT=1.172
|
mus/marques-silva/design-debugging/ c5_DD_s3_f1_e1_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=0.285
|
UNSAT TT=0.74
|
UNSAT TT=0.477
|
UNSAT TT=0.915
|
UNSAT TT=15.217
|
UNSAT TT=0.285
|
UNSAT TT=2.315
|
? (exit code) TT=2.018
|
? (exit code) TT=2.033
|
? (exit code) TT=1.911
|
UNSAT TT=11.043
|
UNSAT TT=36.297
|
mus/marques-silva/design-debugging/ c5_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=0.589
|
UNSAT TT=1.408
|
UNSAT TT=1.04
|
UNSAT TT=1.776
|
UNSAT TT=16.896
|
UNSAT TT=0.589
|
UNSAT TT=2.673
|
? (exit code) TT=3.968
|
? (exit code) TT=4.147
|
? (exit code) TT=4.171
|
UNSAT TT=23.229
|
UNSAT TT=25.204
|
mus/marques-silva/design-debugging/ c5_DD_s3_f1_e1_v2-bug-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=0.653
|
UNSAT TT=1.377
|
UNSAT TT=0.953
|
UNSAT TT=1.808
|
UNSAT TT=18.472
|
UNSAT TT=0.653
|
UNSAT TT=2.461
|
? (exit code) TT=4.06
|
? (exit code) TT=4.073
|
? (exit code) TT=3.987
|
UNSAT TT=23.098
|
UNSAT TT=25.072
|
mus/marques-silva/design-debugging/ c6_DD_s3_f1_e1_v1-bug-fourvec-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=0.481
|
Signal TT=1.672
|
UNSAT TT=1.242
|
UNSAT TT=3.137
|
UNSAT TT=37.751
|
UNSAT TT=0.481
|
UNSAT TT=2.485
|
UNSAT TT=29.871
|
UNSAT TT=25.829
|
UNSAT TT=82.481
|
UNSAT TT=23.737
|
UNSAT TT=34.781
|
mus/marques-silva/design-debugging/ c6_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=0.874
|
Signal TT=3.3
|
UNSAT TT=2.194
|
UNSAT TT=5.285
|
UNSAT TT=40.589
|
UNSAT TT=0.874
|
UNSAT TT=4.435
|
UNSAT TT=111.114
|
UNSAT TT=105.334
|
UNSAT TT=447.238
|
UNSAT TT=36.893
|
UNSAT TT=73.515
|
mus/marques-silva/ design-debugging/ c7552-bug-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=0.016
|
UNSAT TT=0.064
|
UNSAT TT=0.065
|
UNSAT TT=0.099
|
UNSAT TT=3.647
|
UNSAT TT=0.016
|
UNSAT TT=0.077
|
UNSAT TT=0.187
|
UNSAT TT=0.022
|
UNSAT TT=0.021
|
UNSAT TT=0.898
|
Wrong Cert. TT=2.861
|
mus/marques-silva/ design-debugging/ divider-problem.dimacs_1.filtered.cnf
|
UNSAT TT=33.327
|
UNSAT TT=75.446
|
UNSAT TT=63.67
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
UNSAT TT=59.566
|
UNSAT TT=33.327
|
? (exit code) TT=31.726
|
? (exit code) TT=31.76
|
? (exit code) TT=31.375
|
UNSAT TT=1156
|
No Cert. TT=1800.12
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ design-debugging/ divider-problem.dimacs_2.filtered.cnf
|
UNSAT TT=3.131
|
UNSAT TT=36.248
|
UNSAT TT=7.239
|
? (TO) TT=1800.09
|
UNSAT TT=580.559
|
UNSAT TT=3.131
|
UNSAT TT=9.839
|
? (exit code) TT=32.153
|
? (exit code) TT=32.175
|
? (exit code) TT=31.892
|
UNSAT TT=357.148
|
No Cert. TT=1800.19
|
mus/marques-silva/ design-debugging/ divider-problem.dimacs_5.filtered.cnf
|
UNSAT TT=23.613
|
UNSAT TT=24.141
|
UNSAT TT=23.613
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
UNSAT TT=38.497
|
UNSAT TT=31.721
|
? (exit code) TT=31.879
|
? (exit code) TT=32.004
|
? (exit code) TT=31.922
|
UNSAT TT=1186.43
|
No Cert. TT=1800.24
|
mus/marques-silva/ design-debugging/ divider-problem.dimacs_7.filtered.cnf
|
UNSAT TT=41.828
|
UNSAT TT=80.173
|
UNSAT TT=82.892
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
UNSAT TT=41.828
|
UNSAT TT=48.462
|
? (exit code) TT=31.829
|
? (exit code) TT=31.983
|
? (exit code) TT=31.837
|
UNSAT TT=892.168
|
No Cert. TT=1800.15
|
mus/marques-silva/ design-debugging/ divider-problem.dimacs_9.filtered.cnf
|
UNSAT TT=52.183
|
UNSAT TT=70.203
|
UNSAT TT=89.773
|
? (TO) TT=1800.1
|
? (TO) TT=1800.07
|
UNSAT TT=55.559
|
UNSAT TT=52.183
|
? (exit code) TT=31.525
|
? (exit code) TT=31.68
|
? (exit code) TT=31.945
|
UNSAT TT=859.268
|
No Cert. TT=1800.16
|
mus/marques-silva/ design-debugging/ dividers11.dimacs.filtered.cnf
|
UNSAT TT=0.224
|
UNSAT TT=8.805
|
UNSAT TT=7.445
|
UNSAT TT=12.493
|
UNSAT TT=42.448
|
UNSAT TT=0.224
|
UNSAT TT=1.444
|
UNSAT TT=14.527
|
UNSAT TT=11.161
|
UNSAT TT=58.552
|
UNSAT TT=22.148
|
UNSAT TT=215.176
|
mus/marques-silva/ design-debugging/ dividers3.dimacs.filtered.cnf
|
UNSAT TT=0.237
|
UNSAT TT=0.796
|
UNSAT TT=7.097
|
UNSAT TT=1.34
|
UNSAT TT=27.172
|
UNSAT TT=0.237
|
UNSAT TT=1.278
|
UNSAT TT=15.69
|
UNSAT TT=13.73
|
UNSAT TT=56.481
|
UNSAT TT=18.479
|
UNSAT TT=18.927
|
mus/marques-silva/ design-debugging/ dividers7.dimacs.filtered.cnf
|
UNSAT TT=1.507
|
UNSAT TT=73.588
|
UNSAT TT=74.735
|
UNSAT TT=1136.14
|
UNSAT TT=767.349
|
UNSAT TT=1.507
|
UNSAT TT=4.577
|
? (exit code) TT=8.774
|
? (exit code) TT=8.789
|
? (exit code) TT=9.063
|
UNSAT TT=153.011
|
No Cert. TT=1800.18
|
mus/marques-silva/ design-debugging/ dividers9.dimacs.filtered.cnf
|
UNSAT TT=0.848
|
UNSAT TT=9.9
|
UNSAT TT=5.666
|
UNSAT TT=8.534
|
UNSAT TT=425.349
|
UNSAT TT=0.848
|
UNSAT TT=3.494
|
? (exit code) TT=7.559
|
? (exit code) TT=6.908
|
? (exit code) TT=7.167
|
UNSAT TT=116.735
|
UNSAT TT=163.242
|
mus/marques-silva/ design-debugging/ fpu1-problem.dimacs_13.filtered.cnf
|
UNSAT TT=0.371
|
UNSAT TT=1.502
|
UNSAT TT=1.226
|
UNSAT TT=3.29
|
UNSAT TT=37.515
|
UNSAT TT=0.371
|
UNSAT TT=2.356
|
? (exit code) TT=12.209
|
? (exit code) TT=12.102
|
? (exit code) TT=12.147
|
UNSAT TT=26.949
|
UNSAT TT=55.441
|
mus/marques-silva/ design-debugging/ fpu2-problem.dimacs_16.filtered.cnf
|
UNSAT TT=0.411
|
UNSAT TT=0.903
|
Signal TT=0.649
|
UNSAT TT=1.867
|
UNSAT TT=3.172
|
UNSAT TT=0.411
|
UNSAT TT=1.723
|
UNSAT TT=211.132
|
UNSAT TT=186.6
|
UNSAT TT=187.436
|
UNSAT TT=8.257
|
UNSAT TT=9.755
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ design-debugging/ mem_ctrl-debug.dimacs.cnf
|
UNSAT TT=0.418
|
Signal TT=2.235
|
Signal TT=1.902
|
UNSAT TT=4.141
|
UNSAT TT=100.634
|
UNSAT TT=0.418
|
UNSAT TT=2.9
|
? (exit code) TT=4.17
|
? (exit code) TT=3.862
|
? (exit code) TT=4
|
UNSAT TT=38.258
|
UNSAT TT=46.189
|
mus/marques-silva/ design-debugging/ mem_ctrl-problem.dimacs_27.filtered.cnf
|
UNSAT TT=13.24
|
UNSAT TT=704.682
|
UNSAT TT=689.056
|
? (TO) TT=1800.22
|
UNSAT TT=1211.04
|
UNSAT TT=13.24
|
UNSAT TT=98.287
|
? (exit code) TT=160.086
|
? (exit code) TT=147.845
|
? (exit code) TT=155.313
|
No Cert. TT=106.14
|
? TT=111.921
|
mus/marques-silva/design-debugging/ mot_comb3._red-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=0.029
|
UNSAT TT=0.064
|
UNSAT TT=0.055
|
UNSAT TT=0.121
|
UNSAT TT=1.161
|
UNSAT TT=0.029
|
UNSAT TT=0.089
|
? (exit code) TT=0.082
|
? (exit code) TT=0.072
|
? (exit code) TT=0.077
|
UNSAT TT=0.991
|
UNSAT TT=2.855
|
mus/marques-silva/design-debugging/ mrisc_mem2wire-problem.dimacs_29.filtered.cnf
|
UNSAT TT=39.067
|
UNSAT TT=370.064
|
UNSAT TT=393.808
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
UNSAT TT=39.067
|
UNSAT TT=157.997
|
? (exit code) TT=39.434
|
? (exit code) TT=39.36
|
? (exit code) TT=41.027
|
No Cert. TT=1800.1
|
No Cert. TT=1800.16
|
mus/marques-silva/ design-debugging/ rsdecoder4.dimacs.filtered.cnf
|
UNSAT TT=0.843
|
UNSAT TT=2.25
|
UNSAT TT=1.475
|
UNSAT TT=4.137
|
? (TO) TT=1800.05
|
UNSAT TT=0.843
|
UNSAT TT=4.283
|
UNSAT TT=222.167
|
UNSAT TT=218.713
|
? (TO) TT=1800.06
|
UNSAT TT=36.036
|
UNSAT TT=68.819
|
mus/marques-silva/ design-debugging/ rsdecoder6.dimacs.filtered.cnf
|
UNSAT TT=1.508
|
UNSAT TT=354.337
|
UNSAT TT=322.916
|
UNSAT TT=12.393
|
? (TO) TT=1800.09
|
UNSAT TT=1.508
|
UNSAT TT=352.245
|
UNSAT TT=1260.76
|
UNSAT TT=833.501
|
? (TO) TT=1800.08
|
No Cert. TT=1800.05
|
No Cert. TT=1573.33
|
mus/marques-silva/ design-debugging/ rsdecoder_fsm1.dimacs.filtered.cnf
|
UNSAT TT=18.081
|
UNSAT TT=348.704
|
UNSAT TT=396.715
|
UNSAT TT=18.081
|
? (TO) TT=1800.07
|
UNSAT TT=50.205
|
UNSAT TT=265.291
|
UNSAT TT=531.711
|
UNSAT TT=393.526
|
? (TO) TT=1800.1
|
No Cert. TT=1800.07
|
UNSAT TT=257.135
|
mus/marques-silva/ design-debugging/ rsdecoder_multivec1.dimacs.filtered.cnf
|
UNSAT TT=49.455
|
? (TO) TT=1800.14
|
UNSAT TT=518.609
|
UNSAT TT=703.014
|
? (TO) TT=1800.09
|
UNSAT TT=49.455
|
UNSAT TT=157.647
|
? (exit code) TT=19.719
|
? (exit code) TT=22.292
|
? (exit code) TT=19.662
|
No Cert. TT=1800.04
|
No Cert. TT=1800.21
|
mus/marques-silva/ design-debugging/ rsdecoder-problem.dimacs_31.filtered.cnf
|
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
? (TO) TT=1800.12
|
No Cert. TT=1800.07
|
? (exit code) TT=1199.07
|
? (exit code) TT=25.164
|
? (exit code) TT=25.379
|
? (exit code) TT=25.019
|
No Cert. TT=1800.07
|
No Cert. TT=1800.2
|
mus/marques-silva/ design-debugging/ rsdecoder-problem.dimacs_37.filtered.cnf
|
|
? (TO) TT=1800.09
|
? (TO) TT=1800.13
|
? (TO) TT=1800.11
|
? (TO) TT=1800.13
|
No Cert. TT=1800.08
|
? (exit code) TT=1199.08
|
? (exit code) TT=28.877
|
? (exit code) TT=28.914
|
? (exit code) TT=28.962
|
No Cert. TT=1800.09
|
No Cert. TT=1800.3
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ design-debugging/ rsdecoder-problem.dimacs_38.filtered.cnf
|
|
? (TO) TT=1800.1
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
? (TO) TT=1800.13
|
No Cert. TT=1800.04
|
? (exit code) TT=1199.08
|
? (exit code) TT=36.617
|
? (exit code) TT=36.19
|
? (exit code) TT=36.123
|
No Cert. TT=1800.07
|
No Cert. TT=1800.23
|
mus/marques-silva/ design-debugging/ rsdecoder-problem.dimacs_39.filtered.cnf
|
|
? (TO) TT=1800.12
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (TO) TT=1800.07
|
No Cert. TT=1800.07
|
? (exit code) TT=1199.09
|
? (exit code) TT=24.525
|
? (exit code) TT=26.627
|
? (exit code) TT=27.243
|
No Cert. TT=1800.06
|
No Cert. TT=1800.25
|
mus/marques-silva/design-debugging/ s38584-bug-onevec-gate-0.dimacs.seq.filtered.cnf
|
UNSAT TT=4.203
|
UNSAT TT=19.975
|
UNSAT TT=21.921
|
UNSAT TT=20.497
|
UNSAT TT=872.218
|
UNSAT TT=4.203
|
UNSAT TT=14.896
|
? (exit code) TT=31.491
|
? (exit code) TT=31.301
|
? (exit code) TT=31.536
|
UNSAT TT=409.708
|
UNSAT TT=437.565
|
mus/marques-silva/ design-debugging/ SM_RX_TOP.dimacs.filtered.cnf
|
UNSAT TT=0.745
|
UNSAT TT=1.471
|
UNSAT TT=0.801
|
UNSAT TT=2.563
|
UNSAT TT=3.32
|
UNSAT TT=0.745
|
UNSAT TT=3.001
|
UNSAT TT=339.479
|
UNSAT TT=339.594
|
? (TO) TT=1800.06
|
UNSAT TT=7.691
|
UNSAT TT=6.694
|
mus/marques-silva/ design-debugging/ wb2.dimacs.filtered.cnf
|
UNSAT TT=0.018
|
UNSAT TT=0.204
|
UNSAT TT=0.125
|
UNSAT TT=0.39
|
UNSAT TT=0.468
|
UNSAT TT=0.018
|
UNSAT TT=0.356
|
UNSAT TT=11.064
|
UNSAT TT=11.997
|
UNSAT TT=30.729
|
UNSAT TT=1.17
|
UNSAT TT=2.049
|
mus/marques-silva/ design-debugging/ wb_4m8s1.dimacs.filtered.cnf
|
UNSAT TT=1.632
|
UNSAT TT=14.907
|
UNSAT TT=13.489
|
UNSAT TT=29.149
|
? (TO) TT=1800.07
|
UNSAT TT=1.632
|
UNSAT TT=20.375
|
? (exit code) TT=33.057
|
? (exit code) TT=31.991
|
? (exit code) TT=33.006
|
UNSAT TT=89.699
|
UNSAT TT=431.367
|
mus/marques-silva/ design-debugging/ wb_conmax3.dimacs.filtered.cnf
|
UNSAT TT=0.989
|
UNSAT TT=2.446
|
UNSAT TT=1.54
|
UNSAT TT=19.756
|
? (TO) TT=1800.07
|
UNSAT TT=0.989
|
UNSAT TT=4.535
|
UNSAT TT=84.933
|
UNSAT TT=89.807
|
UNSAT TT=274.952
|
UNSAT TT=29.103
|
UNSAT TT=295.209
|
mus/marques-silva/ design-debugging/ wb-debug.dimacs.cnf
|
UNSAT TT=0.55
|
UNSAT TT=1.769
|
UNSAT TT=1.293
|
UNSAT TT=2.868
|
UNSAT TT=17.086
|
UNSAT TT=0.55
|
UNSAT TT=2.569
|
UNSAT TT=12.603
|
UNSAT TT=11.053
|
UNSAT TT=8.631
|
UNSAT TT=10.485
|
UNSAT TT=20.858
|
mus/marques-silva/ design-debugging/ wb-problem.dimacs_46.filtered.cnf
|
UNSAT TT=0.619
|
UNSAT TT=1.45
|
UNSAT TT=0.759
|
UNSAT TT=2.991
|
UNSAT TT=3.691
|
UNSAT TT=0.619
|
UNSAT TT=2.552
|
UNSAT TT=141.208
|
UNSAT TT=140.542
|
UNSAT TT=149.554
|
UNSAT TT=12.116
|
UNSAT TT=8.029
|
mus/marques-silva/ equivalence-checking/ c2670.cnf
|
UNSAT TT=7.339
|
UNSAT TT=7.352
|
UNSAT TT=7.339
|
UNSAT TT=320.679
|
UNSAT TT=102.311
|
UNSAT TT=13.578
|
UNSAT TT=14.663
|
UNSAT TT=152.701
|
UNSAT TT=33.729
|
UNSAT TT=36.5
|
UNSAT TT=25.091
|
Wrong Cert. TT=97.245
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ equivalence-checking/ c3540-s.cnf
|
UNSAT TT=475.662
|
UNSAT TT=737.724
|
UNSAT TT=731.193
|
? (TO) TT=1800.03
|
? (TO) TT=1800.02
|
UNSAT TT=475.662
|
? (exit code) TT=1198.98
|
? (TO) TT=1800.07
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
UNSAT TT=637.955
|
No Cert. TT=1800.23
|
mus/marques-silva/ equivalence-checking/ c5315-s.cnf
|
UNSAT TT=57.409
|
UNSAT TT=57.409
|
UNSAT TT=58.176
|
? (TO) TT=1800.07
|
UNSAT TT=1231.58
|
UNSAT TT=204.265
|
UNSAT TT=138.692
|
UNSAT TT=1163.28
|
UNSAT TT=1122.15
|
UNSAT TT=1383.15
|
UNSAT TT=255.008
|
UNSAT TT=939.625
|
mus/marques-silva/ equivalence-checking/ c7552.cnf
|
UNSAT TT=188.954
|
UNSAT TT=193.341
|
UNSAT TT=188.954
|
UNSAT TT=1608.24
|
UNSAT TT=1448.12
|
UNSAT TT=799.24
|
UNSAT TT=281.197
|
? (TO) TT=1800.12
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
UNSAT TT=469.356
|
No Cert. TT=1800.32
|
mus/marques-silva/ fpga-routing/ 9symml_gr_2pin_w5.shuffled.cnf
|
UNSAT TT=0.18
|
UNSAT TT=0.219
|
UNSAT TT=0.18
|
UNSAT TT=1.054
|
UNSAT TT=113.714
|
UNSAT TT=0.216
|
UNSAT TT=0.209
|
? (TO) TT=1800.04
|
? (TO) TT=1800.11
|
? (TO) TT=1800.06
|
UNSAT TT=5.497
|
UNSAT TT=8.567
|
mus/marques-silva/ fpga-routing/ alu2_gr_rcs_w7.shuffled.cnf
|
UNSAT TT=12.336
|
UNSAT TT=1038.69
|
UNSAT TT=1048.52
|
? (TO) TT=1800.09
|
UNSAT TT=12.336
|
UNSAT TT=293.768
|
UNSAT TT=20.835
|
? (TO) TT=1800.1
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
UNSAT TT=51.33
|
No Cert. TT=1800.13
|
mus/marques-silva/ fpga-routing/ apex7_gr_2pin_w4.shuffled.cnf
|
UNSAT TT=0.021
|
UNSAT TT=0.029
|
UNSAT TT=0.021
|
UNSAT TT=0.119
|
UNSAT TT=7.662
|
UNSAT TT=0.06
|
UNSAT TT=0.041
|
UNSAT TT=9.846
|
UNSAT TT=9.018
|
UNSAT TT=11.062
|
UNSAT TT=0.369
|
UNSAT TT=2.587
|
mus/marques-silva/ fpga-routing/ c499_gr_2pin_w5.shuffled.cnf
|
UNSAT TT=0.055
|
UNSAT TT=0.078
|
UNSAT TT=0.055
|
UNSAT TT=0.216
|
UNSAT TT=48.158
|
UNSAT TT=0.068
|
UNSAT TT=0.18
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
UNSAT TT=25.558
|
UNSAT TT=0.903
|
UNSAT TT=7.126
|
mus/marques-silva/ fpga-routing/ example2_gr_rcs_w5.shuffled.cnf
|
UNSAT TT=0.098
|
UNSAT TT=0.183
|
UNSAT TT=0.181
|
UNSAT TT=2.154
|
UNSAT TT=0.737
|
UNSAT TT=0.098
|
UNSAT TT=0.773
|
UNSAT TT=1100.73
|
UNSAT TT=978.46
|
UNSAT TT=2.891
|
UNSAT TT=3.528
|
UNSAT TT=3.722
|
mus/marques-silva/ fpga-routing/ term1_gr_2pin_w3.shuffled.cnf
|
UNSAT TT=0.006
|
UNSAT TT=0.008
|
UNSAT TT=0.006
|
UNSAT TT=0.012
|
UNSAT TT=0.08
|
UNSAT TT=0.006
|
UNSAT TT=0.008
|
UNSAT TT=0.306
|
UNSAT TT=0.294
|
UNSAT TT=0.395
|
UNSAT TT=0.086
|
UNSAT TT=1.137
|
mus/marques-silva/ fpga-routing/ too_large_gr_rcs_w6.shuffled.cnf
|
UNSAT TT=0.362
|
UNSAT TT=23.95
|
UNSAT TT=26.076
|
UNSAT TT=0.992
|
UNSAT TT=0.854
|
UNSAT TT=32.055
|
UNSAT TT=0.362
|
? (TO) TT=1800.08
|
? (TO) TT=1800.09
|
UNSAT TT=19.928
|
UNSAT TT=13.468
|
UNSAT TT=99.114
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ fpga-routing/ vda_gr_rcs_w7.shuffled.cnf
|
UNSAT TT=199.295
|
? (TO) TT=1800.32
|
? (TO) TT=1800.33
|
? (TO) TT=1800.06
|
UNSAT TT=619.188
|
UNSAT TT=1639.16
|
UNSAT TT=199.295
|
? (TO) TT=1800.09
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
UNSAT TT=629.199
|
No Cert. TT=1800.15
|
mus/marques-silva/ hardware-verification/ 3pipe_1_ooo.cnf
|
UNSAT TT=23.201
|
UNSAT TT=33.122
|
UNSAT TT=33.196
|
UNSAT TT=23.201
|
UNSAT TT=951.615
|
UNSAT TT=295.148
|
UNSAT TT=74.87
|
UNSAT TT=53.149
|
UNSAT TT=37.551
|
UNSAT TT=51.2
|
UNSAT TT=352.444
|
UNSAT TT=187.104
|
mus/marques-silva/ hardware-verification/ 4pipe_1_ooo.cnf
|
UNSAT TT=189.561
|
UNSAT TT=790.259
|
UNSAT TT=703.215
|
UNSAT TT=189.561
|
? (TO) TT=1800.07
|
No Cert. TT=1800.07
|
UNSAT TT=762.503
|
UNSAT TT=518.659
|
UNSAT TT=490.917
|
UNSAT TT=691.021
|
No Cert. TT=1800.05
|
UNSAT TT=1593.54
|
mus/marques-silva/ hardware-verification/ 4pipe_3_ooo.cnf
|
UNSAT TT=313.241
|
UNSAT TT=419.958
|
UNSAT TT=471.751
|
UNSAT TT=313.241
|
? (TO) TT=1800.05
|
? (TO) TT=1800.12
|
? (exit code) TT=1199.09
|
UNSAT TT=797.823
|
UNSAT TT=647.736
|
UNSAT TT=846.883
|
No Cert. TT=1800.2
|
No Cert. TT=1800.36
|
mus/marques-silva/ hardware-verification/ 4pipe_4_ooo.cnf
|
UNSAT TT=307.322
|
? (MO) TT=1024.73
|
? (MO) TT=923.081
|
UNSAT TT=307.322
|
? (TO) TT=1800.07
|
? (TO) TT=1800.1
|
? (MO) TT=1025.5
|
UNSAT TT=893.893
|
UNSAT TT=680.587
|
UNSAT TT=909.49
|
No Cert. TT=903.177
|
No Cert. TT=1800.33
|
mus/marques-silva/ hardware-verification/c10nidw_s.cnf
|
UNSAT TT=92.984
|
UNSAT TT=1307.46
|
UNSAT TT=1410.92
|
? (TO) TT=1800.23
|
? (TO) TT=1800.07
|
UNSAT TT=92.984
|
? (exit code) TT=1198.02
|
? (TO) TT=1800.18
|
? (TO) TT=1800.09
|
? (TO) TT=1800.1
|
No Cert. TT=1800.07
|
No Cert. TT=1800.2
|
mus/marques-silva/ hardware-verification/c6bidw_s.cnf
|
UNSAT TT=15.961
|
UNSAT TT=89.515
|
UNSAT TT=94.004
|
UNSAT TT=103.263
|
? (TO) TT=1800.07
|
UNSAT TT=15.961
|
UNSAT TT=100.595
|
? (TO) TT=1800.08
|
? (TO) TT=1800.04
|
UNSAT TT=592.091
|
UNSAT TT=1048.25
|
UNSAT TT=1129.48
|
mus/marques-silva/ hardware-verification/ c6n_s.cnf
|
UNSAT TT=0.057
|
UNSAT TT=0.152
|
UNSAT TT=0.135
|
UNSAT TT=0.223
|
UNSAT TT=5.014
|
UNSAT TT=0.057
|
UNSAT TT=0.237
|
UNSAT TT=2.777
|
UNSAT TT=1.918
|
UNSAT TT=0.633
|
UNSAT TT=1.831
|
UNSAT TT=4.324
|
mus/marques-silva/ hardware-verification/ c7b_s.cnf
|
UNSAT TT=0.11
|
UNSAT TT=0.274
|
UNSAT TT=0.269
|
UNSAT TT=0.673
|
UNSAT TT=8.334
|
UNSAT TT=0.11
|
UNSAT TT=0.41
|
UNSAT TT=6.098
|
UNSAT TT=4.031
|
UNSAT TT=1.453
|
UNSAT TT=4.813
|
UNSAT TT=8.226
|
mus/marques-silva/ hardware-verification/ c7n_s.cnf
|
UNSAT TT=0.097
|
UNSAT TT=0.261
|
UNSAT TT=0.256
|
UNSAT TT=0.502
|
UNSAT TT=8.649
|
UNSAT TT=0.097
|
UNSAT TT=0.408
|
UNSAT TT=5.209
|
UNSAT TT=3.481
|
UNSAT TT=1.496
|
UNSAT TT=4.471
|
UNSAT TT=8.368
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ hardware-verification/c8bidw_s.cnf
|
UNSAT TT=36.968
|
UNSAT TT=289.567
|
UNSAT TT=323.118
|
UNSAT TT=801.119
|
? (TO) TT=1800.06
|
UNSAT TT=36.968
|
UNSAT TT=319.722
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
No Cert. TT=1800.03
|
No Cert. TT=1800.12
|
mus/marques-silva/ hardware-verification/c8idw_s.cnf
|
UNSAT TT=21.959
|
UNSAT TT=122.92
|
UNSAT TT=142.131
|
UNSAT TT=211.333
|
? (TO) TT=1800.09
|
UNSAT TT=21.959
|
UNSAT TT=179.699
|
? (TO) TT=1800.07
|
? (TO) TT=1800.11
|
UNSAT TT=703.251
|
UNSAT TT=1731.43
|
No Cert. TT=1800.23
|
mus/marques-silva/ hardware-verification/dlx2_aa.cnf
|
UNSAT TT=0.333
|
UNSAT TT=0.471
|
UNSAT TT=0.419
|
UNSAT TT=0.464
|
UNSAT TT=5.158
|
UNSAT TT=0.796
|
UNSAT TT=0.721
|
UNSAT TT=0.609
|
UNSAT TT=0.341
|
UNSAT TT=0.333
|
UNSAT TT=1.646
|
UNSAT TT=4.873
|
mus/marques-silva/ hardware-verification/dlx2_ca.cnf
|
UNSAT TT=3.035
|
UNSAT TT=6.797
|
UNSAT TT=6.844
|
UNSAT TT=3.946
|
UNSAT TT=87.6
|
UNSAT TT=15.615
|
UNSAT TT=7.596
|
UNSAT TT=4.843
|
UNSAT TT=3.035
|
UNSAT TT=3.209
|
UNSAT TT=27.694
|
UNSAT TT=24.16
|
mus/marques-silva/ hardware-verification/dlx2_cc.cnf
|
UNSAT TT=8.58
|
UNSAT TT=12.827
|
UNSAT TT=17.607
|
UNSAT TT=9.183
|
UNSAT TT=566.335
|
UNSAT TT=84.228
|
UNSAT TT=32.896
|
UNSAT TT=12.584
|
UNSAT TT=8.58
|
UNSAT TT=10.772
|
UNSAT TT=131.134
|
UNSAT TT=46.256
|
mus/marques-silva/ hardware-verification/ elf.rf7.ucl.sat.chaff.4.1.bryant.cnf
|
UNSAT TT=0.069
|
UNSAT TT=0.11
|
UNSAT TT=0.098
|
UNSAT TT=0.159
|
UNSAT TT=3.149
|
UNSAT TT=0.069
|
UNSAT TT=0.118
|
UNSAT TT=0.797
|
UNSAT TT=0.537
|
UNSAT TT=0.39
|
UNSAT TT=0.979
|
UNSAT TT=3.22
|
mus/marques-silva/ hardware-verification/ f6b.cnf
|
UNSAT TT=122.125
|
UNSAT TT=122.125
|
UNSAT TT=132.099
|
UNSAT TT=953.346
|
? (TO) TT=1800.06
|
UNSAT TT=382.385
|
UNSAT TT=206.794
|
UNSAT TT=1150.97
|
UNSAT TT=491.271
|
UNSAT TT=216.77
|
UNSAT TT=899.9
|
UNSAT TT=1242.89
|
mus/marques-silva/ hardware-verification/ f6n.cnf
|
UNSAT TT=88.583
|
UNSAT TT=98.104
|
UNSAT TT=88.583
|
UNSAT TT=593.359
|
? (TO) TT=1800.08
|
UNSAT TT=520.926
|
UNSAT TT=190.911
|
UNSAT TT=1398.54
|
UNSAT TT=503.293
|
UNSAT TT=194.017
|
UNSAT TT=798.793
|
UNSAT TT=1054.02
|
mus/marques-silva/ hardware-verification/ f7b.cnf
|
UNSAT TT=1589.42
|
? (MO) TT=1419.34
|
? (MO) TT=1370.74
|
? (TO) TT=1800.21
|
? (TO) TT=1800.11
|
No Cert. TT=1800.08
|
? (exit code) TT=1199.15
|
? (TO) TT=1800.08
|
? (TO) TT=1800.16
|
UNSAT TT=1589.42
|
No Cert. TT=1800.11
|
No Cert. TT=1800.31
|
mus/marques-silva/ hardware-verification/ f7.cnf
|
UNSAT TT=1343.31
|
? (MO) TT=1596.19
|
? (MO) TT=1301.55
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
No Cert. TT=1800.09
|
? (exit code) TT=1199.21
|
? (TO) TT=1800.11
|
? (TO) TT=1800.1
|
UNSAT TT=1343.31
|
No Cert. TT=1800.09
|
No Cert. TT=1800.22
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ hardware-verification/ g6b.cnf
|
UNSAT TT=19.862
|
UNSAT TT=19.862
|
UNSAT TT=20.206
|
UNSAT TT=91.948
|
UNSAT TT=604.699
|
UNSAT TT=53.468
|
UNSAT TT=41.964
|
UNSAT TT=356.469
|
UNSAT TT=112.299
|
UNSAT TT=58.918
|
UNSAT TT=150.756
|
UNSAT TT=284.33
|
mus/marques-silva/ hardware-verification/ g6bid.cnf
|
UNSAT TT=209.295
|
UNSAT TT=209.295
|
UNSAT TT=213.867
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
UNSAT TT=385.868
|
UNSAT TT=330.246
|
? (TO) TT=1800.06
|
UNSAT TT=907.036
|
UNSAT TT=362.307
|
UNSAT TT=1249.52
|
UNSAT TT=1798.5
|
mus/marques-silva/ hardware-verification/ g6n.cnf
|
UNSAT TT=20.308
|
UNSAT TT=20.308
|
UNSAT TT=20.547
|
UNSAT TT=146.886
|
UNSAT TT=645.226
|
UNSAT TT=36.385
|
UNSAT TT=43.555
|
UNSAT TT=346.109
|
UNSAT TT=113.47
|
UNSAT TT=47.562
|
UNSAT TT=143.361
|
UNSAT TT=279.667
|
mus/marques-silva/ hardware-verification/ g7b.cnf
|
UNSAT TT=257.924
|
UNSAT TT=269.889
|
UNSAT TT=257.924
|
UNSAT TT=1381.44
|
? (TO) TT=1800.1
|
UNSAT TT=933.488
|
UNSAT TT=339.699
|
? (TO) TT=1800.08
|
? (TO) TT=1800.13
|
UNSAT TT=382.98
|
UNSAT TT=633.373
|
UNSAT TT=1168.42
|
mus/marques-silva/ hardware-verification/ g7n.cnf
|
UNSAT TT=173.249
|
UNSAT TT=173.249
|
UNSAT TT=179.411
|
UNSAT TT=1003.33
|
? (TO) TT=1800.07
|
UNSAT TT=658.721
|
UNSAT TT=300.154
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
UNSAT TT=411.264
|
UNSAT TT=646.107
|
UNSAT TT=1133.37
|
mus/marques-silva/ hardware-verification/ ooo.rf8.ucl.sat.chaff.4.1.bryant.cnf
|
UNSAT TT=10.874
|
UNSAT TT=10.874
|
UNSAT TT=10.967
|
UNSAT TT=12.757
|
UNSAT TT=308.34
|
UNSAT TT=17.08
|
UNSAT TT=17.112
|
UNSAT TT=155.589
|
UNSAT TT=124.691
|
UNSAT TT=70.766
|
UNSAT TT=75.335
|
UNSAT TT=205.012
|
mus/marques-silva/ hardware-verification/ ooo.tag10.ucl.sat.chaff.4.1.bryant.cnf
|
UNSAT TT=3.787
|
UNSAT TT=4.017
|
UNSAT TT=3.99
|
UNSAT TT=3.787
|
UNSAT TT=92.081
|
UNSAT TT=9.474
|
UNSAT TT=5.867
|
UNSAT TT=23.681
|
UNSAT TT=16.9
|
UNSAT TT=18.624
|
UNSAT TT=43.63
|
UNSAT TT=92.912
|
mus/marques-silva/ hardware-verification/ ooo.tag12.ucl.sat.chaff.4.1.bryant.cnf
|
UNSAT TT=14.194
|
UNSAT TT=17.729
|
UNSAT TT=18.353
|
UNSAT TT=14.194
|
UNSAT TT=373.168
|
UNSAT TT=48.511
|
UNSAT TT=25.479
|
UNSAT TT=97.218
|
UNSAT TT=70.183
|
UNSAT TT=99.969
|
UNSAT TT=193.616
|
UNSAT TT=351.034
|
mus/marques-silva/ product-configuration/ C168_FW_UT_851.cnf
|
UNSAT TT=0.008
|
UNSAT TT=0.013
|
UNSAT TT=0.008
|
UNSAT TT=0.015
|
UNSAT TT=0.028
|
UNSAT TT=0.008
|
UNSAT TT=0.018
|
UNSAT TT=0.351
|
UNSAT TT=0.351
|
UNSAT TT=0.266
|
UNSAT TT=0.088
|
Wrong Cert. TT=1.043
|
mus/marques-silva/ product-configuration/ C202_FW_SZ_61.cnf
|
UNSAT TT=0.007
|
UNSAT TT=0.017
|
UNSAT TT=0.01
|
UNSAT TT=0.018
|
UNSAT TT=0.025
|
UNSAT TT=0.007
|
UNSAT TT=0.02
|
? (exit code) TT=0.036
|
? (exit code) TT=0.035
|
? (exit code) TT=0.042
|
UNSAT TT=0.145
|
UNSAT TT=0.953
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ product-configuration/ C208_FA_UT_3254.cnf
|
UNSAT TT=0.008
|
UNSAT TT=0.019
|
UNSAT TT=0.012
|
UNSAT TT=0.019
|
UNSAT TT=0.018
|
UNSAT TT=0.008
|
UNSAT TT=0.038
|
? (exit code) TT=0.117
|
? (exit code) TT=0.119
|
? (exit code) TT=0.135
|
UNSAT TT=0.229
|
UNSAT TT=1.088
|
mus/marques-silva/ product-configuration/ C210_FW_UT_8630.cnf
|
UNSAT TT=0.013
|
UNSAT TT=0.021
|
UNSAT TT=0.014
|
UNSAT TT=0.024
|
UNSAT TT=0.052
|
UNSAT TT=0.013
|
UNSAT TT=0.034
|
UNSAT TT=0.673
|
UNSAT TT=0.669
|
UNSAT TT=0.501
|
UNSAT TT=0.262
|
UNSAT TT=1.133
|
mus/marques-silva/ software-verification/ bin_libsmbsharemodes_vc4083.cnf
|
UNSAT TT=2.951
|
UNSAT TT=8.37
|
UNSAT TT=8.332
|
UNSAT TT=14.182
|
UNSAT TT=1210.65
|
UNSAT TT=2.951
|
UNSAT TT=7.805
|
UNSAT TT=125.662
|
UNSAT TT=97.016
|
UNSAT TT=55.259
|
UNSAT TT=119.669
|
UNSAT TT=179.689
|
mus/marques-silva/ software-verification/ cvs_vc81760.cnf
|
|
? (MO) TT=1683.51
|
? (MO) TT=1685.24
|
? (TO) TT=1800.09
|
? (TO) TT=1800.01
|
No Cert. TT=1800.08
|
? (exit code) TT=1199.07
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
No Cert. TT=1800.09
|
? (TO) TT=1800.13
|
mus/marques-silva/ software-verification/dspam_dump_vc1093.cnf
|
UNSAT TT=9.369
|
UNSAT TT=12.557
|
UNSAT TT=12.028
|
UNSAT TT=18.854
|
? (TO) TT=1800.07
|
UNSAT TT=11.227
|
UNSAT TT=9.369
|
? TT=1345.36
|
? (TO) TT=1800.13
|
? (TO) TT=1800.09
|
UNSAT TT=124.299
|
UNSAT TT=226.631
|
mus/marques-silva/ software-verification/dspam_dump_vc949.cnf
|
UNSAT TT=6.487
|
UNSAT TT=113.775
|
UNSAT TT=106.55
|
? TT=415.965
|
? (TO) TT=1800.07
|
UNSAT TT=209.01
|
UNSAT TT=6.487
|
? (TO) TT=1800.11
|
? (TO) TT=1800.14
|
? (TO) TT=1800.1
|
UNSAT TT=126.055
|
UNSAT TT=104.995
|
mus/marques-silva/ software-verification/dspam_dump_vc950.cnf
|
UNSAT TT=5.932
|
UNSAT TT=90.29
|
UNSAT TT=85.839
|
? TT=364.737
|
? (TO) TT=1800.06
|
UNSAT TT=1094.83
|
UNSAT TT=5.932
|
? (TO) TT=1800.18
|
? (TO) TT=1800.11
|
? (TO) TT=1800.09
|
UNSAT TT=121.928
|
UNSAT TT=100.929
|
mus/marques-silva/ software-verification/dspam_dump_vc962.cnf
|
UNSAT TT=5.313
|
UNSAT TT=12.488
|
UNSAT TT=12.552
|
UNSAT TT=13.938
|
? (TO) TT=1800.13
|
UNSAT TT=5.401
|
UNSAT TT=5.313
|
? (TO) TT=1800.16
|
? (TO) TT=1800.18
|
? (TO) TT=1800.14
|
UNSAT TT=117.322
|
UNSAT TT=191.289
|
mus/marques-silva/ software-verification/dspam_dump_vc973.cnf
|
UNSAT TT=6.471
|
UNSAT TT=20.671
|
UNSAT TT=18.858
|
UNSAT TT=30.686
|
? (TO) TT=1800.07
|
UNSAT TT=6.471
|
UNSAT TT=15.703
|
? (TO) TT=1800.27
|
? TT=1135.14
|
? (TO) TT=1800.13
|
UNSAT TT=320.655
|
UNSAT TT=255.09
|
mus/marques-silva/ software-verification/ hsat_vc11813.cnf
|
UNSAT TT=3.188
|
UNSAT TT=22.428
|
UNSAT TT=20.758
|
UNSAT TT=12.806
|
? (TO) TT=1800.09
|
UNSAT TT=3.188
|
UNSAT TT=8.406
|
? (TO) TT=1800.06
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
UNSAT TT=308.932
|
UNSAT TT=230.873
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
mus/marques-silva/ software-verification/ hsat_vc12016.cnf
|
UNSAT TT=0.761
|
UNSAT TT=8.231
|
UNSAT TT=7.539
|
UNSAT TT=6.979
|
? (TO) TT=1800.07
|
UNSAT TT=0.761
|
UNSAT TT=4.301
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
? (TO) TT=1800.12
|
UNSAT TT=137.703
|
UNSAT TT=116.082
|
mus/marques-silva/ software-verification/ hsat_vc12070.cnf
|
UNSAT TT=3.059
|
UNSAT TT=7.948
|
UNSAT TT=7.29
|
UNSAT TT=7.799
|
? (TO) TT=1800.07
|
UNSAT TT=3.059
|
UNSAT TT=4.642
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
? (TO) TT=1800.11
|
UNSAT TT=172.103
|
UNSAT TT=138.383
|
mus/marques-silva/ software-verification/ hsat_vc12072.cnf
|
UNSAT TT=2.902
|
UNSAT TT=7.899
|
UNSAT TT=7.488
|
UNSAT TT=10.727
|
? (TO) TT=1800.03
|
UNSAT TT=2.902
|
UNSAT TT=5.769
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
? (TO) TT=1800.07
|
UNSAT TT=233.853
|
UNSAT TT=157.856
|
mus/marques-silva/ software-verification/ itox_vc1216.cnf
|
UNSAT TT=1.615
|
UNSAT TT=6.927
|
UNSAT TT=6.793
|
UNSAT TT=10.917
|
? (TO) TT=1800.02
|
UNSAT TT=1.615
|
UNSAT TT=8.057
|
? (TO) TT=1800.11
|
? (TO) TT=1800.04
|
? (TO) TT=1800.05
|
UNSAT TT=228.896
|
UNSAT TT=182.723
|
mus/marques-silva/ software-verification/ itox_vc965.cnf
|
UNSAT TT=1.203
|
UNSAT TT=5.283
|
UNSAT TT=5.153
|
UNSAT TT=8.796
|
UNSAT TT=883.595
|
UNSAT TT=1.203
|
UNSAT TT=5.594
|
? (TO) TT=1800.1
|
? (exit code) TT=38.237
|
? (TO) TT=1800.07
|
UNSAT TT=174.37
|
UNSAT TT=132.01
|
SAT02/industrial/biere/ cmpadd/ca002.shuffled.cnf
|
UNSAT TT=0.001
|
UNSAT TT=0.003
|
UNSAT TT=0.003
|
UNSAT TT=0.002
|
UNSAT TT=0.003
|
UNSAT TT=0.002
|
UNSAT TT=0.001
|
UNSAT TT=0.002
|
UNSAT TT=0.003
|
UNSAT TT=0.003
|
UNSAT TT=0.012
|
UNSAT TT=0.286
|
SAT02/industrial/biere/ cmpadd/ca064.shuffled.cnf
|
UNSAT TT=1.742
|
UNSAT TT=2.421
|
UNSAT TT=2.409
|
UNSAT TT=2.242
|
UNSAT TT=23.448
|
UNSAT TT=2.043
|
UNSAT TT=2.189
|
UNSAT TT=3.772
|
UNSAT TT=1.742
|
UNSAT TT=1.867
|
UNSAT TT=4.068
|
UNSAT TT=16.179
|
SAT02/industrial/biere/ cmpadd/ca256.shuffled.cnf
|
UNSAT TT=45.469
|
UNSAT TT=301.054
|
UNSAT TT=274.586
|
UNSAT TT=112.733
|
UNSAT TT=840.088
|
UNSAT TT=49.035
|
UNSAT TT=45.469
|
UNSAT TT=812.691
|
UNSAT TT=431.719
|
UNSAT TT=338.477
|
UNSAT TT=93.15
|
UNSAT TT=250.924
|
SAT02/industrial/ biere/dinphil/ dp02u01.shuffled.cnf
|
UNSAT TT=0.002
|
UNSAT TT=0.002
|
UNSAT TT=0.004
|
UNSAT TT=0.004
|
UNSAT TT=0.027
|
UNSAT TT=0.002
|
UNSAT TT=0.002
|
? (exit code) TT=0.003
|
? (exit code) TT=0.003
|
? (exit code) TT=0.003
|
UNSAT TT=0.007
|
UNSAT TT=0.433
|
SAT02/industrial/ biere/dinphil/ dp08u07.shuffled.cnf
|
UNSAT TT=194.429
|
UNSAT TT=1506.57
|
UNSAT TT=1420.89
|
? (TO) TT=1800.09
|
UNSAT TT=1429.7
|
UNSAT TT=215.837
|
UNSAT TT=194.429
|
? (TO) TT=1800.07
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
No Cert. TT=1800.05
|
No Cert. TT=1800.11
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
SAT02/industrial/ biere/dinphil/ dp09u08.shuffled.cnf
|
|
? (MO) TT=1466.2
|
? (MO) TT=1346.17
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
No Cert. TT=1800.07
|
? (exit code) TT=1199.05
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
? (TO) TT=1800.05
|
No Cert. TT=1800.09
|
No Cert. TT=1800.11
|
SAT02/industrial/ dellacherie/comb/ comb2.shuffled.cnf
|
|
? (TO) TT=1800.18
|
? (TO) TT=1800.19
|
? (TO) TT=1800.06
|
? (TO) TT=1800.11
|
No Cert. TT=1800.13
|
? (MO) TT=456.577
|
? (TO) TT=1800.12
|
? (TO) TT=1800.09
|
? (TO) TT=1800.13
|
No Cert. TT=1800.05
|
? (TO) TT=1800.26
|
SAT02/industrial/ dellacherie/fifo8/ fifo8_100.shuffled.cnf
|
UNSAT TT=218.851
|
UNSAT TT=262.964
|
UNSAT TT=263.744
|
UNSAT TT=559.23
|
? (TO) TT=1800.06
|
UNSAT TT=221.993
|
UNSAT TT=218.851
|
? (TO) TT=1800.1
|
? (TO) TT=1800.11
|
? (TO) TT=1800.14
|
No Cert. TT=1800.07
|
No Cert. TT=1800.25
|
SAT02/industrial/ dellacherie/fifo8/ fifo8_300.shuffled.cnf
|
|
? (TO) TT=1800.31
|
? (TO) TT=1800.32
|
? TT=601.312
|
? (TO) TT=1800.05
|
No Cert. TT=1800.08
|
? (exit code) TT=1199.22
|
? (TO) TT=1800.24
|
? (TO) TT=1800.25
|
? TT=897.38
|
No Cert. TT=1800.08
|
No Cert. TT=1800.12
|
SAT02/industrial/ dellacherie/w08/ w08_10.shuffled.cnf
|
UNSAT TT=510.691
|
UNSAT TT=772.842
|
UNSAT TT=792.742
|
? (TO) TT=1800.11
|
? (TO) TT=1800.11
|
UNSAT TT=510.691
|
? (exit code) TT=1199.04
|
? (TO) TT=1800.13
|
? (TO) TT=1800.22
|
? TT=1441.34
|
No Cert. TT=1800.06
|
No Cert. TT=1800.28
|
SAT02/industrial/ dellacherie/w10/ w10_70.shuffled.cnf
|
UNSAT TT=805.073
|
UNSAT TT=809.004
|
UNSAT TT=805.073
|
? (TO) TT=1800.08
|
? (TO) TT=1800.06
|
No Cert. TT=1800.08
|
? (exit code) TT=1199.16
|
? (TO) TT=1800.1
|
? (TO) TT=1800.13
|
? (TO) TT=1800.1
|
No Cert. TT=1800.08
|
No Cert. TT=1800.17
|
SAT02/industrial/ goldberg/bmc1/ 23.shuffled.cnf
|
UNSAT TT=0.009
|
UNSAT TT=0.011
|
UNSAT TT=0.011
|
UNSAT TT=0.012
|
UNSAT TT=0.211
|
UNSAT TT=0.011
|
UNSAT TT=0.016
|
UNSAT TT=0.024
|
UNSAT TT=0.01
|
UNSAT TT=0.009
|
UNSAT TT=0.04
|
UNSAT TT=1.016
|
SAT02/industrial/ goldberg/bmc1/ 42.shuffled.cnf
|
UNSAT TT=0.025
|
UNSAT TT=0.034
|
UNSAT TT=0.034
|
UNSAT TT=0.034
|
UNSAT TT=0.779
|
UNSAT TT=0.042
|
UNSAT TT=0.054
|
UNSAT TT=0.08
|
UNSAT TT=0.025
|
UNSAT TT=0.026
|
UNSAT TT=0.146
|
UNSAT TT=1.314
|
SAT02/industrial/goldberg/ fpga_routing/ c499_gr_rcs_w5.shuffled.cnf
|
UNSAT TT=0.092
|
UNSAT TT=0.186
|
UNSAT TT=0.179
|
UNSAT TT=0.295
|
UNSAT TT=0.4
|
UNSAT TT=0.713
|
UNSAT TT=0.092
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
UNSAT TT=1.657
|
UNSAT TT=0.544
|
UNSAT TT=10.001
|
SAT02/industrial/goldberg/ fpga_routing/ c880_gr_rcs_w6.shuffled.cnf
|
UNSAT TT=11.107
|
? (TO) TT=1800.26
|
? (TO) TT=1800.23
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
No Cert. TT=1800.09
|
? (exit code) TT=1199.06
|
? (TO) TT=1800.08
|
? (TO) TT=1800.08
|
? (TO) TT=1800.05
|
UNSAT TT=11.107
|
No Cert. TT=1800.12
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
SAT02/industrial/goldberg/ fpga_routing/ term1_gr_rcs_w3.shuffled.cnf
|
UNSAT TT=0.003
|
UNSAT TT=0.005
|
UNSAT TT=0.004
|
UNSAT TT=0.008
|
UNSAT TT=0.022
|
UNSAT TT=0.003
|
UNSAT TT=0.007
|
UNSAT TT=0.123
|
UNSAT TT=0.109
|
UNSAT TT=0.036
|
UNSAT TT=0.066
|
UNSAT TT=0.758
|
SAT02/industrial/goldberg/ fpga_routing/ too_large_gr_rcs_w5.shuffled.cnf
|
UNSAT TT=0.077
|
UNSAT TT=0.098
|
UNSAT TT=0.077
|
UNSAT TT=0.272
|
UNSAT TT=0.609
|
UNSAT TT=0.294
|
UNSAT TT=0.258
|
? (TO) TT=1800.11
|
? (TO) TT=1800.04
|
UNSAT TT=1.644
|
UNSAT TT=3.205
|
UNSAT TT=6.856
|
SAT02/industrial/goldberg/ fpga_routing/ too_large_gr_rcs_w6.shuffled.cnf
|
UNSAT TT=0.85
|
UNSAT TT=23.937
|
UNSAT TT=24.008
|
UNSAT TT=0.909
|
UNSAT TT=0.85
|
UNSAT TT=31.874
|
UNSAT TT=3.118
|
? (TO) TT=1800.04
|
? (TO) TT=1800.1
|
UNSAT TT=19.398
|
UNSAT TT=12.263
|
UNSAT TT=103.113
|
SAT02/industrial/goldberg/ rand_net/ rand_net40-25-10.shuffled.cnf
|
UNSAT TT=23.381
|
UNSAT TT=23.381
|
UNSAT TT=23.846
|
? (TO) TT=1800.05
|
UNSAT TT=339.064
|
UNSAT TT=655.649
|
UNSAT TT=160.975
|
UNSAT TT=892.899
|
UNSAT TT=793.694
|
UNSAT TT=739.33
|
UNSAT TT=352.953
|
UNSAT TT=741.808
|
SAT02/industrial/goldberg/ rand_net/ rand_net40-25-1.shuffled.cnf
|
UNSAT TT=2.615
|
UNSAT TT=2.615
|
UNSAT TT=2.636
|
UNSAT TT=6.364
|
UNSAT TT=55.574
|
UNSAT TT=5.332
|
UNSAT TT=4.173
|
UNSAT TT=7.814
|
UNSAT TT=4.496
|
UNSAT TT=4.317
|
UNSAT TT=11.622
|
UNSAT TT=29.813
|
SAT02/industrial/goldberg/ rand_net/ rand_net40-25-5.shuffled.cnf
|
UNSAT TT=51.166
|
UNSAT TT=53.445
|
UNSAT TT=51.166
|
? (TO) TT=1800.05
|
UNSAT TT=307.273
|
UNSAT TT=1110.43
|
UNSAT TT=273.108
|
UNSAT TT=420.927
|
UNSAT TT=232.633
|
UNSAT TT=274.039
|
UNSAT TT=466.879
|
UNSAT TT=601.813
|
SAT02/industrial/goldberg/ rand_net/ rand_net40-30-5.shuffled.cnf
|
UNSAT TT=68.684
|
UNSAT TT=68.684
|
UNSAT TT=70.042
|
UNSAT TT=1475.94
|
UNSAT TT=497.465
|
UNSAT TT=1145.25
|
UNSAT TT=180.333
|
UNSAT TT=189.607
|
UNSAT TT=158.718
|
UNSAT TT=208.932
|
UNSAT TT=603.965
|
UNSAT TT=721.637
|
SAT02/industrial/goldberg/ rand_net/ rand_net50-25-5.shuffled.cnf
|
UNSAT TT=142.2
|
UNSAT TT=142.2
|
UNSAT TT=158.877
|
? (TO) TT=1800.05
|
UNSAT TT=989.028
|
No Cert. TT=1800.08
|
? (exit code) TT=1199.05
|
? (TO) TT=1800.06
|
UNSAT TT=1706.34
|
UNSAT TT=1190.52
|
No Cert. TT=1800.07
|
No Cert. TT=1800.17
|
SAT02/industrial/goldberg/ rand_net/ rand_net50-30-1.shuffled.cnf
|
UNSAT TT=41.254
|
UNSAT TT=73.973
|
UNSAT TT=70.631
|
UNSAT TT=68.201
|
UNSAT TT=306.898
|
UNSAT TT=173.477
|
UNSAT TT=58.34
|
UNSAT TT=55.951
|
UNSAT TT=42.111
|
UNSAT TT=41.254
|
UNSAT TT=111.212
|
UNSAT TT=320.631
|
SAT02/industrial/goldberg/ rand_net/ rand_net50-40-5.shuffled.cnf
|
UNSAT TT=754.708
|
UNSAT TT=754.708
|
UNSAT TT=779.657
|
? (TO) TT=1800.07
|
? (TO) TT=1800.05
|
No Cert. TT=1800.08
|
? (exit code) TT=1199.06
|
? (TO) TT=1800.11
|
? (TO) TT=1800.05
|
? (TO) TT=1800.07
|
No Cert. TT=1800.09
|
No Cert. TT=1800.13
|
Bench name | Best results | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
SAT02/industrial/goldberg/ rand_net/ rand_net60-25-5.shuffled.cnf
|
UNSAT TT=661.508
|
UNSAT TT=661.508
|
UNSAT TT=725.749
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
No Cert. TT=1800.09
|
? (exit code) TT=1199.04
|
? (TO) TT=1800.06
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
No Cert. TT=1800.06
|
? (TO) TT=1800.11
|
SAT02/industrial/goldberg/ rand_net/ rand_net60-30-10.shuffled.cnf
|
UNSAT TT=367.343
|
UNSAT TT=367.343
|
UNSAT TT=376.447
|
? (TO) TT=1800.06
|
? (TO) TT=1800.04
|
No Cert. TT=1800.13
|
? (exit code) TT=1199.06
|
? (TO) TT=1800.05
|
? (TO) TT=1800.09
|
? (TO) TT=1800.05
|
No Cert. TT=1800.07
|
No Cert. TT=1800.15
|
SAT02/industrial/goldberg/ rand_net/ rand_net70-25-1.shuffled.cnf
|
UNSAT TT=525.373
|
UNSAT TT=771.367
|
UNSAT TT=712.262
|
? (TO) TT=1800.07
|
UNSAT TT=1105.21
|
No Cert. TT=1800.12
|
UNSAT TT=884.774
|
UNSAT TT=730.788
|
UNSAT TT=525.373
|
UNSAT TT=608.738
|
No Cert. TT=1800.05
|
No Cert. TT=1800.11
|
SAT02/industrial/goldberg/ rand_net/ rand_net70-25-5.shuffled.cnf
|
UNSAT TT=329.94
|
UNSAT TT=379.641
|
UNSAT TT=329.94
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
No Cert. TT=1800.11
|
? (exit code) TT=1199.07
|
? (TO) TT=1800.1
|
? (TO) TT=1800.04
|
? (TO) TT=1800.09
|
No Cert. TT=1800.07
|
? (TO) TT=1800.14
|
SAT02/industrial/goldberg/ rand_net/ rand_net70-30-1.shuffled.cnf
|
UNSAT TT=119.866
|
UNSAT TT=119.866
|
UNSAT TT=124.05
|
UNSAT TT=161.217
|
UNSAT TT=634.128
|
UNSAT TT=282.663
|
UNSAT TT=136.11
|
UNSAT TT=169.208
|
UNSAT TT=125.047
|
UNSAT TT=122.543
|
UNSAT TT=250.783
|
UNSAT TT=492.698
|
SAT02/industrial/goldberg/ rand_net/ rand_net70-60-1.shuffled.cnf
|
UNSAT TT=207.313
|
UNSAT TT=207.313
|
UNSAT TT=209.654
|
UNSAT TT=316.411
|
? (TO) TT=1800.05
|
UNSAT TT=1122.79
|
UNSAT TT=317.822
|
UNSAT TT=422.222
|
UNSAT TT=327.16
|
UNSAT TT=249.692
|
UNSAT TT=447.746
|
No Cert. TT=1173.2
|
SAT03/industrial/goldberg/ hard_eq_check/ c7552mul.miter.shuffled-as.sat03-347.cnf
|
|
? (TO) TT=1800.22
|
? (TO) TT=1800.21
|
? (TO) TT=1800.12
|
? (TO) TT=1800.01
|
No Cert. TT=1800.12
|
? (exit code) TT=1199.14
|
? (TO) TT=1800.06
|
? (TO) TT=1800.07
|
? (TO) TT=1800.08
|
No Cert. TT=1800.07
|
No Cert. TT=1800.12
|
SAT03/industrial/kukula/ addm_bench/ am_4_4.shuffled-as.sat03-360.cnf
|
UNSAT TT=0.354
|
UNSAT TT=7.337
|
UNSAT TT=7.385
|
UNSAT TT=25.831
|
UNSAT TT=1.443
|
UNSAT TT=8.067
|
UNSAT TT=1.442
|
UNSAT TT=0.493
|
UNSAT TT=0.39
|
UNSAT TT=0.354
|
UNSAT TT=6.698
|
UNSAT TT=21.341
|
SAT03/industrial/kukula/ addm_bench/ am_5_5.shuffled-as.sat03-361.cnf
|
UNSAT TT=1.444
|
UNSAT TT=671.936
|
UNSAT TT=725.028
|
? (TO) TT=1800.06
|
UNSAT TT=37.631
|
UNSAT TT=511.789
|
UNSAT TT=148.753
|
UNSAT TT=2.478
|
UNSAT TT=1.462
|
UNSAT TT=1.444
|
UNSAT TT=669.244
|
No Cert. TT=1800.1
|
SAT04/industrial/hoonsang/ vis-bmc/ luckySeven.used-as.sat04-990.cnf
|
UNSAT TT=804.342
|
UNSAT TT=1402.25
|
UNSAT TT=1422.18
|
? (TO) TT=1800.06
|
? (TO) TT=1800.05
|
UNSAT TT=1690.83
|
UNSAT TT=804.342
|
? (TO) TT=1800.08
|
? (TO) TT=1800.07
|
? (TO) TT=1800.07
|
No Cert. TT=1800.07
|
? (TO) TT=1800.14
|
|
Statistics | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC 2011-04-07 (complete) | Haifa-MUC-A 2011-04-07 (complete) | MiniUnsat2 2011-02-22 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | OptimuS a100_source (complete) | OptimuS p100_source (complete) | OptimuS x100_source (complete) | PicoMUS 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
Number of times the solver is able to give the best known answer | 248 | 250 | 210 | 185 | 243 | 241 | 114 | 117 | 126 | 222 | 0 |
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) | 36 | 46 | 9 | 3 | 110 | 38 | 0 | 8 | 16 | 4 | 0 |