aloul-chnl11-13.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
APPLICATIONS/aprove09/ AProVE09-01.cnf
|
SAT TT=1.451
|
SAT TT=5.694
|
SAT TT=9.574
|
SAT TT=1.902
|
SAT TT=1.451
|
SAT TT=31.849
|
SAT TT=12.148
|
SAT TT=32.448
|
APPLICATIONS/aprove09/ AProVE09-03.cnf
|
SAT TT=1.127
|
SAT TT=3.783
|
SAT TT=5.957
|
SAT TT=1.151
|
SAT TT=1.127
|
SAT TT=167.65
|
SAT TT=32.974
|
SAT TT=171.521
|
APPLICATIONS/aprove09/ AProVE09-05.cnf
|
SAT TT=0.44
|
SAT TT=1.652
|
SAT TT=13.936
|
SAT TT=0.44
|
SAT TT=1.496
|
SAT TT=1.703
|
SAT TT=3.084
|
SAT TT=2.529
|
APPLICATIONS/aprove09/ AProVE09-06.cnf
|
SAT TT=41.957
|
SAT TT=121.429
|
? (TO) TT=1200.03
|
SAT TT=42.888
|
SAT TT=41.957
|
SAT TT=131.379
|
SAT TT=86.396
|
SAT TT=105.515
|
APPLICATIONS/aprove09/ AProVE09-07.cnf
|
SAT TT=0.795
|
SAT TT=1.667
|
SAT TT=6.099
|
SAT TT=0.795
|
SAT TT=10.649
|
SAT TT=2.756
|
SAT TT=2.784
|
SAT TT=6.992
|
APPLICATIONS/aprove09/ AProVE09-08.cnf
|
SAT TT=0.549
|
SAT TT=0.549
|
SAT TT=25.182
|
SAT TT=0.913
|
SAT TT=4.857
|
SAT TT=3.344
|
SAT TT=2.226
|
SAT TT=1.191
|
APPLICATIONS/aprove09/ AProVE09-10.cnf
|
SAT TT=2.07
|
SAT TT=6.636
|
SAT TT=10.389
|
SAT TT=5.31
|
SAT TT=2.07
|
SAT TT=500.86
|
SAT TT=503.494
|
SAT TT=502.059
|
APPLICATIONS/aprove09/ AProVE09-11.cnf
|
SAT TT=0.521
|
SAT TT=1.748
|
SAT TT=2.098
|
SAT TT=0.521
|
SAT TT=0.559
|
SAT TT=420.798
|
SAT TT=177.015
|
SAT TT=419.646
|
APPLICATIONS/aprove09/ AProVE09-12.cnf
|
SAT TT=0.909
|
SAT TT=2.415
|
SAT TT=2.982
|
SAT TT=1.165
|
SAT TT=0.909
|
SAT TT=112.159
|
SAT TT=31.212
|
SAT TT=113.865
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/aprove09/ AProVE09-13.cnf
|
SAT TT=0.099
|
SAT TT=0.455
|
SAT TT=0.679
|
SAT TT=0.099
|
SAT TT=0.181
|
SAT TT=5.354
|
SAT TT=4.6
|
SAT TT=5.241
|
APPLICATIONS/aprove09/ AProVE09-15.cnf
|
SAT TT=10.443
|
SAT TT=23.81
|
SAT TT=34.435
|
SAT TT=12.848
|
SAT TT=10.443
|
SAT TT=59.382
|
SAT TT=505.384
|
SAT TT=55.817
|
APPLICATIONS/aprove09/ AProVE09-17.cnf
|
SAT TT=4.66
|
SAT TT=51.967
|
SAT TT=20.699
|
SAT TT=36.158
|
SAT TT=4.66
|
SAT TT=17.65
|
SAT TT=26.219
|
SAT TT=12.936
|
APPLICATIONS/aprove09/ AProVE09-19.cnf
|
SAT TT=0.74
|
SAT TT=2.033
|
SAT TT=3.704
|
SAT TT=0.74
|
SAT TT=1.259
|
SAT TT=326.172
|
SAT TT=180.009
|
SAT TT=313.371
|
APPLICATIONS/aprove09/ AProVE09-20.cnf
|
SAT TT=98.469
|
? (TO) TT=1200.06
|
SAT TT=98.469
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
SAT TT=448.56
|
? (TO) TT=1200.07
|
APPLICATIONS/aprove09/ AProVE09-21.cnf
|
SAT TT=2.655
|
SAT TT=87.13
|
SAT TT=6.663
|
SAT TT=35.095
|
SAT TT=2.655
|
SAT TT=27.502
|
SAT TT=31.03
|
SAT TT=32.417
|
APPLICATIONS/aprove09/ AProVE09-22.cnf
|
SAT TT=0.354
|
SAT TT=0.733
|
SAT TT=1.007
|
SAT TT=0.43
|
SAT TT=0.354
|
SAT TT=13.722
|
SAT TT=8.941
|
SAT TT=13.961
|
APPLICATIONS/aprove09/ AProVE09-24.cnf
|
SAT TT=5.969
|
SAT TT=16.564
|
SAT TT=8.681
|
SAT TT=13.004
|
SAT TT=5.969
|
SAT TT=102.341
|
SAT TT=141.197
|
SAT TT=110.484
|
APPLICATIONS/aprove09/ AProVE09-25.cnf
|
SAT TT=1.008
|
SAT TT=2.613
|
SAT TT=3.736
|
SAT TT=1.21
|
SAT TT=1.008
|
SAT TT=250.932
|
SAT TT=61.307
|
SAT TT=264.437
|
APPLICATIONS/ bioinfo/ q_query_2_L324_coli.cnf
|
UNSAT TT=36.98
|
UNSAT TT=37.169
|
UNSAT TT=48.499
|
UNSAT TT=36.98
|
UNSAT TT=70.971
|
UNSAT TT=170.11
|
UNSAT TT=109.296
|
UNSAT TT=163.763
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf
|
UNSAT TT=396.216
|
UNSAT TT=983.572
|
UNSAT TT=396.216
|
? (TO) TT=1200.04
|
UNSAT TT=1170.78
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf
|
UNSAT TT=201.186
|
UNSAT TT=1056.53
|
UNSAT TT=201.186
|
? (TO) TT=1200.1
|
? (TO) TT=1200.13
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf
|
UNSAT TT=660.451
|
? (TO) TT=1200.02
|
UNSAT TT=660.451
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
APPLICATIONS/ bioinfo/ q_query_3_l37_lambda.cnf
|
SAT TT=2.821
|
SAT TT=7.09
|
SAT TT=3.562
|
SAT TT=5.128
|
SAT TT=2.821
|
SAT TT=33.304
|
SAT TT=39.61
|
SAT TT=21.919
|
APPLICATIONS/ bioinfo/ q_query_3_l38_lambda.cnf
|
SAT TT=3.371
|
SAT TT=24.196
|
SAT TT=3.371
|
SAT TT=14.697
|
SAT TT=12.809
|
SAT TT=31.259
|
SAT TT=42.859
|
SAT TT=26.572
|
APPLICATIONS/ bioinfo/ q_query_3_l39_lambda.cnf
|
SAT TT=9.409
|
SAT TT=19.129
|
SAT TT=9.409
|
SAT TT=11.71
|
SAT TT=16.786
|
SAT TT=41.366
|
SAT TT=43.865
|
SAT TT=41.253
|
APPLICATIONS/ bioinfo/ q_query_3_l40_lambda.cnf
|
SAT TT=9.922
|
SAT TT=61.257
|
SAT TT=9.922
|
SAT TT=62.372
|
SAT TT=55.784
|
SAT TT=31.155
|
SAT TT=61.573
|
SAT TT=58.741
|
APPLICATIONS/ bioinfo/ q_query_3_l41_lambda.cnf
|
SAT TT=18.221
|
SAT TT=89.393
|
SAT TT=18.221
|
SAT TT=55.412
|
SAT TT=52.387
|
SAT TT=73.902
|
SAT TT=75.762
|
SAT TT=80.12
|
APPLICATIONS/ bioinfo/ q_query_3_l42_lambda.cnf
|
SAT TT=27.962
|
SAT TT=38.672
|
SAT TT=27.962
|
SAT TT=81.118
|
SAT TT=73.594
|
SAT TT=99.783
|
SAT TT=115.878
|
SAT TT=66.9
|
APPLICATIONS/ bioinfo/ q_query_3_l43_lambda.cnf
|
SAT TT=43.306
|
SAT TT=75.922
|
SAT TT=67.412
|
SAT TT=138.311
|
SAT TT=43.306
|
SAT TT=183.849
|
SAT TT=106.706
|
SAT TT=89.146
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/ bioinfo/ q_query_3_l44_lambda.cnf
|
UNSAT TT=290.22
|
UNSAT TT=566.893
|
UNSAT TT=290.22
|
UNSAT TT=748.343
|
UNSAT TT=500.406
|
UNSAT TT=753.538
|
UNSAT TT=538.223
|
UNSAT TT=598.322
|
APPLICATIONS/ bioinfo/ q_query_3_l45_lambda.cnf
|
UNSAT TT=281.673
|
UNSAT TT=521.048
|
UNSAT TT=281.673
|
UNSAT TT=699.624
|
UNSAT TT=493.733
|
UNSAT TT=946.196
|
UNSAT TT=600.909
|
UNSAT TT=651.389
|
APPLICATIONS/ bioinfo/ q_query_3_l46_lambda.cnf
|
UNSAT TT=361.596
|
UNSAT TT=666.828
|
UNSAT TT=361.596
|
UNSAT TT=673.585
|
UNSAT TT=498.882
|
UNSAT TT=659.012
|
UNSAT TT=847.614
|
UNSAT TT=455.118
|
APPLICATIONS/ bioinfo/ q_query_3_l47_lambda.cnf
|
UNSAT TT=291.973
|
UNSAT TT=582.987
|
UNSAT TT=291.973
|
UNSAT TT=640.854
|
UNSAT TT=369.236
|
UNSAT TT=849.565
|
UNSAT TT=625.763
|
UNSAT TT=698.938
|
APPLICATIONS/ bioinfo/ q_query_3_l48_lambda.cnf
|
UNSAT TT=292.081
|
UNSAT TT=676.705
|
UNSAT TT=292.081
|
UNSAT TT=683.627
|
UNSAT TT=550.195
|
UNSAT TT=939.712
|
UNSAT TT=870.46
|
UNSAT TT=420.755
|
APPLICATIONS/ bioinfo/ q_query_3_L60_coli.sat.cnf
|
SAT TT=90.689
|
SAT TT=236.236
|
SAT TT=90.689
|
SAT TT=155.977
|
SAT TT=458.656
|
SAT TT=977.963
|
SAT TT=622.282
|
SAT TT=556.581
|
APPLICATIONS/ bioinfo/ q_query_3_L70_coli.sat.cnf
|
SAT TT=259.901
|
SAT TT=754.128
|
SAT TT=259.901
|
SAT TT=989.913
|
SAT TT=830.476
|
SAT TT=1197.39
|
SAT TT=776.823
|
SAT TT=1071.21
|
APPLICATIONS/ bioinfo/ q_query_3_L80_coli.sat.cnf
|
UNSAT TT=245.963
|
UNSAT TT=993.469
|
UNSAT TT=245.963
|
? (TO) TT=1200.04
|
UNSAT TT=1065.66
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
UNSAT TT=1043.8
|
APPLICATIONS/ bioinfo/ q_query_3_L90_coli.sat.cnf
|
UNSAT TT=170.945
|
? (TO) TT=1200
|
UNSAT TT=170.945
|
? (TO) TT=1200.11
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
UNSAT TT=1073.98
|
? (TO) TT=1200.09
|
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray02_32.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.11
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray08_32.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200
|
? (TO) TT=1200.04
|
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray32_32.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.06
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate016.cnf
|
UNSAT TT=30.286
|
UNSAT TT=47.162
|
UNSAT TT=43.307
|
UNSAT TT=50.353
|
UNSAT TT=39.297
|
UNSAT TT=45.24
|
UNSAT TT=31.859
|
UNSAT TT=30.286
|
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate032.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
? (TO) TT=1200.12
|
? (TO) TT=1200.07
|
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate128.cnf
|
|
? (TO) TT=1200
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl016.cnf
|
UNSAT TT=5.565
|
UNSAT TT=10.294
|
UNSAT TT=5.565
|
UNSAT TT=10.362
|
UNSAT TT=7.157
|
UNSAT TT=7.619
|
UNSAT TT=8.323
|
UNSAT TT=10.63
|
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl032.cnf
|
UNSAT TT=990.494
|
? (TO) TT=1200.02
|
UNSAT TT=990.494
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl128.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
APPLICATIONS/bitverif/ countbitswegner/ countbitswegner064.cnf
|
UNSAT TT=183.586
|
? (TO) TT=1200.05
|
UNSAT TT=183.586
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
APPLICATIONS/ bitverif/ icbrt/icbrt1_32.cnf
|
UNSAT TT=18.607
|
UNSAT TT=26.728
|
UNSAT TT=26.829
|
UNSAT TT=27.318
|
UNSAT TT=26.519
|
UNSAT TT=28.528
|
UNSAT TT=20.1
|
UNSAT TT=18.607
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/ bitverif/maxand/ maxand064.cnf
|
UNSAT TT=15.605
|
UNSAT TT=74.371
|
UNSAT TT=35.591
|
UNSAT TT=55.166
|
UNSAT TT=15.605
|
UNSAT TT=105.893
|
UNSAT TT=77.188
|
UNSAT TT=120.582
|
APPLICATIONS/ bitverif/maxor/ maxor128.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.14
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
APPLICATIONS/ bitverif/maxxor/ maxxor064.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
? (TO) TT=1200.11
|
? (TO) TT=1200.12
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
APPLICATIONS/ bitverif/maxxor/ maxxor128.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.16
|
? (TO) TT=1200.16
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
APPLICATIONS/bitverif/ maxxororand/ maxxororand032.cnf
|
UNSAT TT=1139.9
|
? (TO) TT=1200.02
|
UNSAT TT=1139.9
|
? (TO) TT=1200.12
|
? (TO) TT=1200.11
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
APPLICATIONS/bitverif/ maxxororand/ maxxororand128.cnf
|
|
? (TO) TT=1200.09
|
? (MO) TT=195.08
|
? (TO) TT=1200.12
|
? (TO) TT=1200.13
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor032.cnf
|
UNSAT TT=21.645
|
UNSAT TT=56.5
|
UNSAT TT=21.645
|
UNSAT TT=45.198
|
UNSAT TT=25.654
|
UNSAT TT=53.951
|
UNSAT TT=29.411
|
UNSAT TT=24.957
|
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor128.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.01
|
? (TO) TT=1200.14
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
APPLICATIONS/ bitverif/minand/ minand128.cnf
|
UNSAT TT=138.842
|
UNSAT TT=989.718
|
UNSAT TT=332.821
|
? (TO) TT=1200.15
|
UNSAT TT=138.842
|
? (TO) TT=1200.09
|
UNSAT TT=147.557
|
UNSAT TT=147.68
|
APPLICATIONS/ bitverif/minor/ minor032.cnf
|
UNSAT TT=0.881
|
UNSAT TT=3.089
|
UNSAT TT=2.816
|
UNSAT TT=2.317
|
UNSAT TT=0.881
|
UNSAT TT=3.42
|
UNSAT TT=1.458
|
UNSAT TT=2.518
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/ bitverif/minor/ minor064.cnf
|
UNSAT TT=22.805
|
UNSAT TT=83.531
|
UNSAT TT=46.786
|
UNSAT TT=72.33
|
UNSAT TT=22.805
|
UNSAT TT=105.343
|
UNSAT TT=51.37
|
UNSAT TT=108.689
|
APPLICATIONS/bitverif/ minxorminand/ minxorminand032.cnf
|
UNSAT TT=10.229
|
UNSAT TT=62.963
|
UNSAT TT=44.054
|
UNSAT TT=45.66
|
UNSAT TT=30.018
|
UNSAT TT=40.124
|
UNSAT TT=12.488
|
UNSAT TT=10.229
|
APPLICATIONS/bitverif/ minxorminand/ minxorminand064.cnf
|
UNSAT TT=277.211
|
? (TO) TT=1200
|
UNSAT TT=729.36
|
? (TO) TT=1200.12
|
? (TO) TT=1200.12
|
? (TO) TT=1200.03
|
UNSAT TT=277.211
|
UNSAT TT=863.825
|
APPLICATIONS/bitverif/ minxorminand/ minxorminand128.cnf
|
|
? (TO) TT=1200.07
|
? (MO) TT=261.97
|
? (TO) TT=1200.16
|
? (TO) TT=1200.21
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
APPLICATIONS/ bitverif/minxor/ minxor128.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200.18
|
? (TO) TT=1200.14
|
? (TO) TT=1200
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
APPLICATIONS/ bitverif/mulhs/ mulhs016.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
APPLICATIONS/ bitverif/mulhs/ mulhs032.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.01
|
? (TO) TT=1200.12
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
APPLICATIONS/ bitverif/smulo/ smulo016.cnf
|
UNSAT TT=21.118
|
UNSAT TT=24.998
|
UNSAT TT=23.409
|
UNSAT TT=63.276
|
UNSAT TT=46.766
|
UNSAT TT=50.905
|
UNSAT TT=21.118
|
UNSAT TT=31.4
|
APPLICATIONS/ bitverif/smulo/ smulo128.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
APPLICATIONS/ c32sat/ post-c32s-col400-16.cnf
|
UNSAT TT=74.564
|
UNSAT TT=423.736
|
UNSAT TT=323.889
|
UNSAT TT=944.278
|
UNSAT TT=74.564
|
UNSAT TT=789.613
|
UNSAT TT=650.771
|
UNSAT TT=750.06
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/ c32sat/ post-c32s-gcdm16-22.cnf
|
SAT TT=130.444
|
? (TO) TT=1200.04
|
SAT TT=552.904
|
? (TO) TT=1200.12
|
SAT TT=480.839
|
SAT TT=1103.64
|
SAT TT=130.444
|
SAT TT=253.797
|
APPLICATIONS/ c32sat/ post-c32s-gcdm16-23.cnf
|
UNSAT TT=93.772
|
? (TO) TT=1200.05
|
UNSAT TT=654.779
|
? (TO) TT=1200.11
|
UNSAT TT=618.447
|
UNSAT TT=1126.77
|
UNSAT TT=93.772
|
UNSAT TT=299.845
|
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf
|
UNSAT TT=470.844
|
? (TO) TT=1200.01
|
UNSAT TT=470.844
|
? (TO) TT=1200.13
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
? (TO) TT=1200
|
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
? (TO) TT=1200.13
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.17
|
? (TO) TT=1200.16
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf
|
UNSAT TT=83.492
|
? (TO) TT=1200
|
UNSAT TT=83.492
|
UNSAT TT=664.245
|
UNSAT TT=326.559
|
? (TO) TT=1200.08
|
UNSAT TT=826.494
|
UNSAT TT=832.841
|
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf
|
|
? (MO) TT=13.335
|
? (MO) TT=3.58
|
? (MO) TT=18.132
|
? (MO) TT=18.077
|
? (MO) TT=7.78
|
? (problem) TT=0.004
|
? (MO) TT=7.78
|
APPLICATIONS/ crypto/desgen/ gss-13-s100.cnf
|
SAT TT=12.047
|
SAT TT=80.148
|
SAT TT=41.368
|
SAT TT=101.294
|
SAT TT=12.047
|
SAT TT=57.365
|
SAT TT=47.449
|
SAT TT=24.101
|
APPLICATIONS/ crypto/desgen/ gss-14-s100.cnf
|
SAT TT=37.783
|
SAT TT=73.172
|
SAT TT=115.195
|
SAT TT=137.861
|
SAT TT=65.943
|
SAT TT=53.667
|
SAT TT=67.079
|
SAT TT=37.783
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/ crypto/desgen/ gss-15-s100.cnf
|
SAT TT=2.96
|
SAT TT=159.238
|
SAT TT=26.103
|
SAT TT=2.96
|
SAT TT=234.538
|
SAT TT=296.926
|
SAT TT=53.634
|
SAT TT=155.277
|
APPLICATIONS/ crypto/desgen/ gss-16-s100.cnf
|
SAT TT=153.922
|
SAT TT=563.39
|
SAT TT=163.763
|
SAT TT=605.209
|
SAT TT=386.205
|
SAT TT=502.208
|
SAT TT=281.986
|
SAT TT=153.922
|
APPLICATIONS/ crypto/desgen/ gss-17-s100.cnf
|
SAT TT=528.07
|
SAT TT=1034.33
|
SAT TT=1195.53
|
? (TO) TT=1200.02
|
SAT TT=951.217
|
SAT TT=995.835
|
SAT TT=528.07
|
SAT TT=664.048
|
APPLICATIONS/ crypto/desgen/ gss-19-s100.cnf
|
SAT TT=57.808
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
SAT TT=1138.07
|
SAT TT=57.808
|
? (TO) TT=1200.13
|
APPLICATIONS/ crypto/desgen/ gss-20-s100.cnf
|
SAT TT=378.318
|
? (TO) TT=1200.14
|
? (TO) TT=1200.04
|
? (TO) TT=1200.06
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
? (TO) TT=1200.12
|
SAT TT=378.318
|
APPLICATIONS/ crypto/desgen/ gss-21-s100.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.06
|
? (TO) TT=1200.12
|
APPLICATIONS/ crypto/desgen/ gss-22-s100.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
APPLICATIONS/ crypto/desgen/ gss-23-s100.cnf
|
|
? (TO) TT=1200.13
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.11
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
APPLICATIONS/ crypto/desgen/ gss-24-s100.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
APPLICATIONS/ crypto/desgen/ gss-25-s100.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.12
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/ crypto/desgen/ gss-26-s100.cnf
|
|
? (TO) TT=1200.12
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
APPLICATIONS/ crypto/desgen/ gss-27-s100.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
APPLICATIONS/ crypto/desgen/ gss-28-s100.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
APPLICATIONS/ crypto/desgen/ gss-31-s100.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
APPLICATIONS/ crypto/desgen/ gss-32-s100.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
APPLICATIONS/ crypto/desgen/ gss-33-s100.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.13
|
? (TO) TT=1200.1
|
APPLICATIONS/ crypto/desgen/ gss-34-s100.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.01
|
? (TO) TT=1200.11
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
APPLICATIONS/ crypto/md5gen/ gus-md5-04.cnf
|
UNSAT TT=6.648
|
UNSAT TT=9.525
|
UNSAT TT=18.15
|
UNSAT TT=7.468
|
UNSAT TT=6.648
|
UNSAT TT=16.316
|
UNSAT TT=17.713
|
UNSAT TT=13.035
|
APPLICATIONS/ crypto/md5gen/ gus-md5-05.cnf
|
UNSAT TT=19.196
|
UNSAT TT=27.005
|
UNSAT TT=43.436
|
UNSAT TT=25.071
|
UNSAT TT=19.196
|
UNSAT TT=32.061
|
UNSAT TT=23.785
|
UNSAT TT=22.647
|
APPLICATIONS/ crypto/md5gen/ gus-md5-06.cnf
|
UNSAT TT=39.797
|
UNSAT TT=86.462
|
UNSAT TT=79.326
|
UNSAT TT=62.906
|
UNSAT TT=55.059
|
UNSAT TT=67.533
|
UNSAT TT=45.038
|
UNSAT TT=39.797
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/ crypto/md5gen/ gus-md5-07.cnf
|
UNSAT TT=97.687
|
UNSAT TT=161.718
|
UNSAT TT=144.677
|
UNSAT TT=195.454
|
UNSAT TT=120.492
|
UNSAT TT=189.619
|
UNSAT TT=97.687
|
UNSAT TT=114.015
|
APPLICATIONS/ crypto/md5gen/ gus-md5-09.cnf
|
UNSAT TT=644.047
|
? (TO) TT=1200.11
|
UNSAT TT=1146.6
|
? (TO) TT=1200.09
|
UNSAT TT=915.504
|
UNSAT TT=1010.43
|
UNSAT TT=696.95
|
UNSAT TT=644.047
|
APPLICATIONS/ crypto/md5gen/ gus-md5-10.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
APPLICATIONS/ crypto/md5gen/ gus-md5-11.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200
|
APPLICATIONS/ crypto/md5gen/ gus-md5-14.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
APPLICATIONS/ crypto/md5gen/ gus-md5-15.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
APPLICATIONS/ crypto/md5gen/ gus-md5-16.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf
|
UNSAT TT=130.815
|
UNSAT TT=133.311
|
UNSAT TT=130.815
|
UNSAT TT=199.869
|
UNSAT TT=140.348
|
UNSAT TT=516.054
|
UNSAT TT=522.503
|
UNSAT TT=542.187
|
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
? (TO) TT=1200.13
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.12
|
? (TO) TT=1200.11
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
? (TO) TT=1200
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.16
|
? (TO) TT=1200.14
|
? (TO) TT=1200
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
? (TO) TT=1200.12
|
? (TO) TT=1200.17
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.04
|
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf
|
SAT TT=976.508
|
? (TO) TT=1200.08
|
SAT TT=976.508
|
? (TO) TT=1200.13
|
? (TO) TT=1200.14
|
? (TO) TT=1200.01
|
SAT TT=1091.47
|
? (TO) TT=1200
|
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf
|
UNSAT TT=73.139
|
UNSAT TT=73.139
|
UNSAT TT=99.945
|
UNSAT TT=131.247
|
UNSAT TT=104.84
|
UNSAT TT=512.066
|
UNSAT TT=515.517
|
UNSAT TT=522.603
|
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200
|
? (TO) TT=1200.12
|
? (TO) TT=1200.14
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.14
|
? (TO) TT=1200.14
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf
|
UNSAT TT=162.406
|
UNSAT TT=466.888
|
UNSAT TT=281.632
|
UNSAT TT=660.375
|
UNSAT TT=162.406
|
UNSAT TT=647.059
|
UNSAT TT=629.307
|
UNSAT TT=648
|
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.11
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf
|
SAT TT=1117.34
|
? (TO) TT=1200.01
|
SAT TT=1117.34
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
APPLICATIONS/diagnosis/ UR-10-5p0.cnf
|
UNSAT TT=78.133
|
UNSAT TT=123.339
|
UNSAT TT=123.685
|
UNSAT TT=112.546
|
UNSAT TT=78.133
|
UNSAT TT=516.638
|
UNSAT TT=520.955
|
UNSAT TT=515.92
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/diagnosis/ UR-10-5p1.cnf
|
SAT TT=16.452
|
SAT TT=161.087
|
SAT TT=115.545
|
SAT TT=16.452
|
SAT TT=87.712
|
SAT TT=529.793
|
SAT TT=524.853
|
SAT TT=513.078
|
APPLICATIONS/diagnosis/ UR-15-10p0.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.14
|
? (TO) TT=1200.15
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
APPLICATIONS/diagnosis/ UR-15-10p1.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.15
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
APPLICATIONS/diagnosis/ UR-15-5p0.cnf
|
UNSAT TT=323.652
|
UNSAT TT=1199.17
|
UNSAT TT=323.652
|
UNSAT TT=1021.19
|
UNSAT TT=721.602
|
UNSAT TT=1086.2
|
UNSAT TT=773.648
|
UNSAT TT=1003.37
|
APPLICATIONS/diagnosis/ UR-20-10p1.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.15
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
APPLICATIONS/diagnosis/ UR-20-5p0.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
APPLICATIONS/diagnosis/ UR-20-5p1.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.13
|
? (TO) TT=1200.11
|
? (TO) TT=1200.01
|
? (TO) TT=1200
|
? (TO) TT=1200.1
|
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf
|
UNSAT TT=95.144
|
UNSAT TT=317.849
|
UNSAT TT=393.513
|
? (TO) TT=1200.13
|
UNSAT TT=95.144
|
UNSAT TT=810.567
|
UNSAT TT=569.098
|
UNSAT TT=748.313
|
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf
|
UNSAT TT=636.454
|
? (TO) TT=1200.01
|
UNSAT TT=636.454
|
? (TO) TT=1200.13
|
UNSAT TT=741.146
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
UNSAT TT=786.33
|
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf
|
SAT TT=706.808
|
? (TO) TT=1200.08
|
SAT TT=706.808
|
? (TO) TT=1200.21
|
? (TO) TT=1200.12
|
? (TO) TT=1200.05
|
? (TO) TT=1200
|
? (TO) TT=1200.09
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.17
|
? (TO) TT=1200.14
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.01
|
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf
|
SAT TT=396.099
|
? (TO) TT=1200.05
|
SAT TT=396.099
|
? (TO) TT=1200.19
|
? (TO) TT=1200.16
|
? (TO) TT=1200
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
? (TO) TT=1200.16
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.11
|
? (TO) TT=1200.14
|
? (TO) TT=1200.05
|
? (TO) TT=1200
|
? (TO) TT=1200.01
|
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.15
|
? (TO) TT=1200.16
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200
|
? (TO) TT=1200.18
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_09_UNSAT.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_10_UNSAT.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf
|
|
? (TO) TT=1200
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.12
|
? (TO) TT=1200.12
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.15
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.13
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_20_SAT.cnf
|
SAT TT=1.679
|
SAT TT=404.86
|
SAT TT=65.195
|
SAT TT=1.679
|
? (TO) TT=1200.13
|
SAT TT=865.581
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_21_SAT.cnf
|
SAT TT=57.295
|
SAT TT=1185.72
|
SAT TT=57.295
|
SAT TT=822.87
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
SAT TT=1179.76
|
? (TO) TT=1200.01
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_22_SAT.cnf
|
SAT TT=5.021
|
SAT TT=5.021
|
? (TO) TT=1200.06
|
SAT TT=16.162
|
SAT TT=35.387
|
SAT TT=501.632
|
SAT TT=518.47
|
SAT TT=514.35
|
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf
|
UNSAT TT=40.099
|
UNSAT TT=61.514
|
UNSAT TT=40.099
|
UNSAT TT=43.608
|
UNSAT TT=73.392
|
UNSAT TT=81.098
|
UNSAT TT=384.463
|
UNSAT TT=128.608
|
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf
|
UNSAT TT=941.666
|
UNSAT TT=1012.98
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
UNSAT TT=1155.72
|
UNSAT TT=941.666
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
? (TO) TT=1200.11
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.11
|
? (TO) TT=1200
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200
|
? (TO) TT=1200.04
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_14_SAT.cnf
|
SAT TT=24.023
|
? (TO) TT=1200.06
|
SAT TT=24.023
|
? (TO) TT=1200.12
|
? (TO) TT=1200.13
|
SAT TT=172.491
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf
|
UNSAT TT=533.289
|
UNSAT TT=868.79
|
UNSAT TT=593.082
|
UNSAT TT=786.518
|
UNSAT TT=836.636
|
UNSAT TT=533.289
|
? (TO) TT=1200.06
|
UNSAT TT=910.693
|
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200
|
? (TO) TT=1200.02
|
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.14
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_17_SAT.cnf
|
SAT TT=0.122
|
SAT TT=2.036
|
SAT TT=12.54
|
SAT TT=0.122
|
SAT TT=5.828
|
SAT TT=178.033
|
SAT TT=503.127
|
SAT TT=181.448
|
cmu-bmc-barrel6.cnf
|
UNSAT TT=2.688
|
UNSAT TT=3.207
|
UNSAT TT=2.826
|
UNSAT TT=4.702
|
UNSAT TT=4.394
|
UNSAT TT=3.188
|
UNSAT TT=2.707
|
UNSAT TT=2.688
|
cmu-bmc-longmult15.cnf
|
UNSAT TT=30.742
|
UNSAT TT=44.816
|
UNSAT TT=33.368
|
UNSAT TT=42.654
|
UNSAT TT=35.907
|
UNSAT TT=70.661
|
UNSAT TT=30.742
|
UNSAT TT=50.188
|
een-tip-sat-texas-tp-5e.cnf
|
SAT TT=0.133
|
SAT TT=1.222
|
SAT TT=1.039
|
SAT TT=0.519
|
SAT TT=0.133
|
SAT TT=0.389
|
SAT TT=0.323
|
SAT TT=0.456
|
een-tip-uns-nusmv-t5.B.cnf
|
UNSAT TT=1.588
|
UNSAT TT=5.547
|
UNSAT TT=4.02
|
UNSAT TT=2.879
|
UNSAT TT=1.588
|
UNSAT TT=113.997
|
UNSAT TT=48.375
|
UNSAT TT=109.458
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
goldb-heqc-alu4mul.cnf
|
UNSAT TT=117.085
|
UNSAT TT=570.313
|
UNSAT TT=117.085
|
UNSAT TT=567.617
|
UNSAT TT=533.851
|
UNSAT TT=443.367
|
UNSAT TT=407.7
|
UNSAT TT=547.753
|
goldb-heqc-dalumul.cnf
|
UNSAT TT=103.603
|
? (TO) TT=1200.07
|
UNSAT TT=103.603
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
goldb-heqc-frg1mul.cnf
|
UNSAT TT=20.902
|
? (TO) TT=1200.07
|
UNSAT TT=20.902
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
goldb-heqc-i10mul.cnf
|
UNSAT TT=180.488
|
? (TO) TT=1200.02
|
UNSAT TT=180.488
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
goldb-heqc-term1mul.cnf
|
UNSAT TT=26.355
|
? (TO) TT=1200.07
|
UNSAT TT=26.355
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
UNSAT TT=397.851
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
goldb-heqc-x1mul.cnf
|
UNSAT TT=100.685
|
? (TO) TT=1200.06
|
UNSAT TT=100.685
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
hoons-vbmc-lucky7.cnf
|
UNSAT TT=4.22
|
UNSAT TT=83.26
|
UNSAT TT=4.934
|
UNSAT TT=220.276
|
UNSAT TT=15.698
|
UNSAT TT=128.588
|
UNSAT TT=6.308
|
UNSAT TT=4.22
|
industrial/anbulagan/ hard-sat/ partial-10-13-s.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.19
|
? (TO) TT=1200.15
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200
|
industrial/anbulagan/ hard-sat/ partial-10-15-s.cnf
|
SAT TT=436.753
|
? (TO) TT=1200.04
|
SAT TT=436.753
|
? (TO) TT=1200.19
|
? (TO) TT=1200.16
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
industrial/anbulagan/ hard-sat/ partial-5-17-s.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
? (TO) TT=1200.19
|
? (TO) TT=1200.13
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
industrial/anbulagan/ hard-unsat/ dated-10-19-u.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.14
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
industrial/anbulagan/ hard-unsat/ dated-5-13-u.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
industrial/anbulagan/ hard-unsat/ dated-5-15-u.cnf
|
UNSAT TT=220.394
|
? (TO) TT=1200.05
|
UNSAT TT=458.941
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
UNSAT TT=1060.68
|
UNSAT TT=657.448
|
UNSAT TT=220.394
|
industrial/anbulagan/ hard-unsat/ dated-5-17-u.cnf
|
UNSAT TT=621.227
|
? (TO) TT=1200.04
|
UNSAT TT=621.227
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
UNSAT TT=1054.2
|
UNSAT TT=652.873
|
industrial/anbulagan/ hard-unsat/ dated-5-19-u.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
industrial/anbulagan/ hard-unsat/ partial-10-13-u.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.21
|
? (TO) TT=1200.18
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
industrial/anbulagan/ hard-unsat/ partial-10-19-u.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.12
|
? (TO) TT=1200.11
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
industrial/anbulagan/ hard-unsat/ partial-5-11-u.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
? (TO) TT=1200.12
|
? (TO) TT=1200.2
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
industrial/anbulagan/ hard-unsat/ partial-5-13-u.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.17
|
? (TO) TT=1200.21
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
industrial/anbulagan/ hard-unsat/ partial-5-15-u.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.16
|
? (TO) TT=1200.2
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
industrial/anbulagan/ hard-unsat/ partial-5-17-u.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
? (TO) TT=1200.17
|
? (TO) TT=1200.2
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
industrial/anbulagan/ hard-unsat/ total-10-17-u.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.12
|
? (TO) TT=1200.12
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
industrial/anbulagan/ hard-unsat/ total-10-19-u.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.16
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
industrial/anbulagan/ hard-unsat/ total-5-15-u.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.04
|
? (TO) TT=1200.12
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
industrial/anbulagan/ hard-unsat/ total-5-17-u.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.12
|
? (TO) TT=1200.12
|
? (TO) TT=1200.01
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
industrial/anbulagan/ medium-sat/ partial-5-13-s.cnf
|
SAT TT=16.041
|
? (TO) TT=1200.05
|
SAT TT=233.786
|
SAT TT=16.041
|
? (TO) TT=1200.19
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
industrial/anbulagan/ medium-sat/ partial-5-15-s.cnf
|
SAT TT=314.644
|
? (TO) TT=1200.03
|
SAT TT=314.644
|
? (TO) TT=1200.16
|
? (TO) TT=1200.17
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
industrial/anbulagan/ medium-unsat/ total-10-13-u.cnf
|
UNSAT TT=906.362
|
? (TO) TT=1200
|
UNSAT TT=906.362
|
? (TO) TT=1200.11
|
? (TO) TT=1200.13
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
industrial/anbulagan/ medium-unsat/ total-5-11-u.cnf
|
UNSAT TT=23.534
|
UNSAT TT=38.527
|
UNSAT TT=46.956
|
UNSAT TT=47.39
|
UNSAT TT=23.534
|
UNSAT TT=237.36
|
UNSAT TT=54.802
|
UNSAT TT=237.631
|
industrial/anbulagan/ medium-unsat/ total-5-13-u.cnf
|
UNSAT TT=56.936
|
UNSAT TT=98.95
|
UNSAT TT=92.81
|
UNSAT TT=116.484
|
UNSAT TT=97.952
|
UNSAT TT=109.85
|
UNSAT TT=56.936
|
UNSAT TT=109.058
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
industrial/babic/ hsatv17/ hsat_vc11803.cnf
|
UNSAT TT=0.529
|
UNSAT TT=35.36
|
UNSAT TT=8.612
|
UNSAT TT=0.529
|
UNSAT TT=1.716
|
UNSAT TT=14.898
|
UNSAT TT=9.728
|
UNSAT TT=14.829
|
industrial/babic/ hsatv17/ hsat_vc11813.cnf
|
UNSAT TT=2.513
|
UNSAT TT=34.076
|
UNSAT TT=9.084
|
UNSAT TT=2.513
|
UNSAT TT=2.627
|
UNSAT TT=70.857
|
UNSAT TT=13.806
|
UNSAT TT=67.542
|
industrial/babic/ xinetd/ xinetd_vc56703.cnf
|
UNSAT TT=0.13
|
UNSAT TT=1.792
|
UNSAT TT=1.438
|
UNSAT TT=0.182
|
UNSAT TT=0.289
|
UNSAT TT=0.132
|
UNSAT TT=0.317
|
UNSAT TT=0.13
|
industrial/ fuhs/hard/ AProVE07-01.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
industrial/ fuhs/hard/ AProVE07-08.cnf
|
UNSAT TT=1141.78
|
? (TO) TT=1200.05
|
UNSAT TT=1141.78
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
industrial/ fuhs/hard/ AProVE07-25.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
industrial/ fuhs/hard/ AProVE07-26.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.12
|
? (TO) TT=1200.13
|
? (TO) TT=1200.01
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
industrial/ fuhs/hard/ AProVE07-27.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.12
|
? (TO) TT=1200.05
|
industrial/ fuhs/medium/ AProVE07-09.cnf
|
UNSAT TT=836.783
|
? (TO) TT=1200.07
|
UNSAT TT=836.783
|
? (TO) TT=1200.1
|
? (TO) TT=1200.12
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
industrial/ fuhs/medium/ AProVE07-16.cnf
|
UNSAT TT=417.869
|
? (TO) TT=1200.06
|
UNSAT TT=417.869
|
? (TO) TT=1200.14
|
? (TO) TT=1200.12
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
industrial/grieu/ vmpc_24.cnf
|
SAT TT=3.3
|
SAT TT=179.436
|
SAT TT=3.3
|
SAT TT=77.691
|
SAT TT=164.17
|
SAT TT=247.061
|
SAT TT=247.581
|
SAT TT=247.377
|
industrial/grieu/ vmpc_25.cnf
|
SAT TT=26.615
|
SAT TT=319.139
|
SAT TT=26.615
|
SAT TT=778.873
|
SAT TT=116.341
|
SAT TT=67.806
|
SAT TT=70.668
|
SAT TT=67.571
|
industrial/grieu/ vmpc_26.cnf
|
SAT TT=162.724
|
SAT TT=188.424
|
SAT TT=162.724
|
SAT TT=1143.87
|
SAT TT=406.44
|
SAT TT=823.117
|
SAT TT=825.338
|
SAT TT=849.053
|
industrial/grieu/ vmpc_28.cnf
|
SAT TT=393.943
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
SAT TT=393.943
|
SAT TT=410.844
|
SAT TT=395.458
|
industrial/grieu/ vmpc_29.cnf
|
SAT TT=50.498
|
? (TO) TT=1200.09
|
SAT TT=50.498
|
? (TO) TT=1200.11
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
industrial/grieu/ vmpc_30.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
industrial/grieu/ vmpc_33.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200
|
? (TO) TT=1200.05
|
? (TO) TT=1200.12
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
industrial/grieu/ vmpc_34.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf
|
UNSAT TT=486.742
|
UNSAT TT=596.39
|
? (TO) TT=1200.03
|
UNSAT TT=630.235
|
UNSAT TT=814.417
|
UNSAT TT=549.969
|
UNSAT TT=486.742
|
UNSAT TT=581.322
|
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf
|
|
? (TO) TT=1200.12
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf
|
UNSAT TT=17.321
|
UNSAT TT=29.868
|
UNSAT TT=33.203
|
UNSAT TT=28.71
|
UNSAT TT=24.162
|
UNSAT TT=21.514
|
UNSAT TT=17.321
|
UNSAT TT=25.452
|
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf
|
UNSAT TT=68.548
|
UNSAT TT=88.507
|
UNSAT TT=131.779
|
UNSAT TT=107.049
|
UNSAT TT=113.81
|
UNSAT TT=86.365
|
UNSAT TT=90.551
|
UNSAT TT=68.548
|
industrial/narain/ clauses-8.cnf
|
|
? (TO) TT=1200.23
|
? (MO) TT=115.21
|
? (TO) TT=1200.17
|
? (TO) TT=1200.12
|
? (TO) TT=1200.03
|
? (problem) TT=0.005
|
? (problem) TT=506.861
|
industrial/palacios/ hard/ safe-30-h29-unsat.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.14
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.04
|
? (TO) TT=1200
|
industrial/palacios/ hard/ safe-50-h49-unsat.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
industrial/palacios/ hard/ sortnet-7-ipc5-h15-unsat.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
industrial/palacios/ hard/ sortnet-8-ipc5-h18-unsat.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200
|
industrial/palacios/ hard/ sortnet-8-ipc5-h19-sat.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200
|
? (TO) TT=1200.04
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
industrial/palacios/ medium/ blocks-4-ipc5-h22-unknown.cnf
|
UNSAT TT=167.798
|
UNSAT TT=627.272
|
UNSAT TT=167.798
|
UNSAT TT=493.196
|
UNSAT TT=260.462
|
UNSAT TT=903.363
|
UNSAT TT=573.687
|
UNSAT TT=569.101
|
industrial/palacios/ medium/ cube-11-h13-unsat.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
industrial/palacios/ medium/ cube-11-h14-sat.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
industrial/palacios/ medium/ emptyroom-4-h21-unsat.cnf
|
UNSAT TT=1059
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.13
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
UNSAT TT=1059
|
industrial/palacios/ uts/ uts-l05-ipc5-h26-unsat.cnf
|
UNSAT TT=59.439
|
UNSAT TT=134.684
|
UNSAT TT=187.384
|
UNSAT TT=147.25
|
UNSAT TT=59.439
|
UNSAT TT=674.254
|
UNSAT TT=518.945
|
UNSAT TT=519.648
|
industrial/palacios/ uts/ uts-l05-ipc5-h27-unknown.cnf
|
UNSAT TT=84.559
|
UNSAT TT=157.254
|
UNSAT TT=164.28
|
UNSAT TT=184.934
|
UNSAT TT=84.559
|
UNSAT TT=730.301
|
UNSAT TT=539.302
|
UNSAT TT=536.982
|
industrial/palacios/ uts/ uts-l06-ipc5-h28-unknown.cnf
|
UNSAT TT=178.161
|
UNSAT TT=346.396
|
UNSAT TT=179.469
|
UNSAT TT=178.161
|
UNSAT TT=209.667
|
UNSAT TT=761.632
|
UNSAT TT=532.189
|
UNSAT TT=528.721
|
industrial/palacios/ uts/ uts-l06-ipc5-h31-unknown.cnf
|
UNSAT TT=379.064
|
UNSAT TT=484.8
|
UNSAT TT=379.064
|
UNSAT TT=1174.5
|
UNSAT TT=642.306
|
? (TO) TT=1200.01
|
UNSAT TT=614.099
|
UNSAT TT=569.136
|
industrial/palacios/ uts/ uts-l06-ipc5-h33-unknown.cnf
|
UNSAT TT=756.775
|
UNSAT TT=788.862
|
UNSAT TT=756.775
|
? (TO) TT=1200.12
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
UNSAT TT=870.247
|
UNSAT TT=773.855
|
industrial/palacios/ uts/ uts-l06-ipc5-h35-unknown.cnf
|
SAT TT=68.884
|
SAT TT=93.979
|
SAT TT=232.75
|
SAT TT=184.262
|
SAT TT=68.884
|
SAT TT=587.233
|
SAT TT=576.372
|
SAT TT=642.986
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf
|
SAT TT=30.427
|
? (MO) TT=165.271
|
? (MO) TT=85.95
|
SAT TT=30.427
|
SAT TT=30.668
|
SAT TT=583.91
|
? (problem) TT=0.004
|
? (problem) TT=519.868
|
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf
|
SAT TT=22.426
|
? (MO) TT=166.45
|
? (MO) TT=90.08
|
SAT TT=22.726
|
SAT TT=22.426
|
SAT TT=568.846
|
? (problem) TT=0.004
|
? (problem) TT=518.591
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.04
|
? (TO) TT=1200.15
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.01
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.04
|
? (TO) TT=1200.15
|
? (TO) TT=1200.17
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.27
|
? (TO) TT=1200.23
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf
|
|
? (MO) TT=957.56
|
? (TO) TT=1200.02
|
? (TO) TT=1200.29
|
? (TO) TT=1200.24
|
? (TO) TT=1200.02
|
? (TO) TT=1200
|
? (TO) TT=1200.03
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf
|
|
? (MO) TT=704.2
|
? (TO) TT=1200.08
|
? (TO) TT=1200.26
|
? (TO) TT=1200.21
|
? (TO) TT=1200.01
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf
|
|
? (MO) TT=785.68
|
? (TO) TT=1200.05
|
? (TO) TT=1200.33
|
? (TO) TT=1200.21
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf
|
|
? (MO) TT=486.14
|
? (TO) TT=1200.08
|
? (MO) TT=849.828
|
? (MO) TT=825.451
|
? (TO) TT=1200.04
|
? (problem) TT=0.005
|
? (problem) TT=508.13
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf
|
|
? (MO) TT=351.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.18
|
? (TO) TT=1200.26
|
? (TO) TT=1200.02
|
? (problem) TT=0.003
|
? (problem) TT=509.557
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf
|
|
? (MO) TT=179.942
|
? (MO) TT=115.21
|
? (MO) TT=1026.83
|
? (MO) TT=1002.09
|
? (TO) TT=1200.02
|
? (problem) TT=0.004
|
? (problem) TT=514.078
|
manol-pipe-c10nid_i.cnf
|
UNSAT TT=910.132
|
? (TO) TT=1200.07
|
UNSAT TT=910.132
|
? (TO) TT=1200.14
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
manol-pipe-c10nidw.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.15
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.06
|
manol-pipe-c10nidw_s.cnf
|
UNSAT TT=75.486
|
UNSAT TT=516.61
|
UNSAT TT=75.486
|
UNSAT TT=476.928
|
UNSAT TT=793.974
|
UNSAT TT=840.547
|
UNSAT TT=289.173
|
UNSAT TT=718.47
|
manol-pipe-c6bidw_i.cnf
|
UNSAT TT=114.882
|
UNSAT TT=645.465
|
UNSAT TT=115.626
|
UNSAT TT=661.724
|
UNSAT TT=122.648
|
UNSAT TT=1141.03
|
UNSAT TT=114.882
|
UNSAT TT=236.8
|
manol-pipe-c6nidw_i.cnf
|
UNSAT TT=104.969
|
UNSAT TT=602.522
|
UNSAT TT=104.969
|
UNSAT TT=617.396
|
UNSAT TT=126.234
|
UNSAT TT=657.423
|
UNSAT TT=278.242
|
UNSAT TT=369.349
|
manol-pipe-c7bidw_i.cnf
|
UNSAT TT=183.064
|
? (TO) TT=1200.03
|
UNSAT TT=183.064
|
? (TO) TT=1200.08
|
UNSAT TT=586.57
|
? (TO) TT=1200.03
|
UNSAT TT=382.118
|
UNSAT TT=503.289
|
manol-pipe-c7nidw.cnf
|
UNSAT TT=234.249
|
? (TO) TT=1200.01
|
UNSAT TT=234.249
|
? (TO) TT=1200.07
|
UNSAT TT=522.37
|
? (TO) TT=1200.03
|
UNSAT TT=1045.21
|
? (TO) TT=1200.09
|
manol-pipe-c9.cnf
|
UNSAT TT=7.302
|
UNSAT TT=11.835
|
UNSAT TT=7.302
|
UNSAT TT=11.778
|
UNSAT TT=28.188
|
UNSAT TT=23.129
|
UNSAT TT=53.8
|
UNSAT TT=34.465
|
manol-pipe-f10ni.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.12
|
? (TO) TT=1200.17
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
manol-pipe-f9b.cnf
|
UNSAT TT=570.06
|
? (TO) TT=1200.04
|
UNSAT TT=570.06
|
? (TO) TT=1200.13
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
manol-pipe-f9n.cnf
|
UNSAT TT=563.504
|
? (TO) TT=1200.04
|
UNSAT TT=563.504
|
? (TO) TT=1200.11
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
manol-pipe-g10bidw.cnf
|
UNSAT TT=365.575
|
? (TO) TT=1200.09
|
UNSAT TT=365.575
|
? (TO) TT=1200.12
|
UNSAT TT=929.293
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
manol-pipe-g10id.cnf
|
UNSAT TT=105.633
|
UNSAT TT=110.226
|
UNSAT TT=218.024
|
UNSAT TT=105.633
|
UNSAT TT=168.922
|
UNSAT TT=254.435
|
UNSAT TT=327.53
|
UNSAT TT=261.238
|
manol-pipe-g10nid.cnf
|
UNSAT TT=262.216
|
? (TO) TT=1200.09
|
UNSAT TT=262.216
|
? (TO) TT=1200.14
|
? (TO) TT=1200.09
|
UNSAT TT=1087.78
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
manol-pipe-g6bi.cnf
|
UNSAT TT=1.846
|
UNSAT TT=3.347
|
UNSAT TT=2.906
|
UNSAT TT=2.16
|
UNSAT TT=1.846
|
UNSAT TT=6.548
|
UNSAT TT=5.063
|
UNSAT TT=5.796
|
manol-pipe-g7nidw.cnf
|
UNSAT TT=21.358
|
UNSAT TT=48.771
|
UNSAT TT=21.358
|
UNSAT TT=44.482
|
UNSAT TT=41.245
|
UNSAT TT=46.318
|
UNSAT TT=24.59
|
UNSAT TT=326.27
|
mizh-md5-47-3.cnf
|
SAT TT=173.973
|
SAT TT=277.595
|
SAT TT=714.916
|
SAT TT=173.973
|
SAT TT=870.178
|
SAT TT=725.812
|
? (TO) TT=1200
|
SAT TT=546.188
|
mizh-md5-47-4.cnf
|
SAT TT=168.641
|
? (TO) TT=1200.08
|
SAT TT=207.155
|
? (TO) TT=1200.14
|
SAT TT=586.792
|
SAT TT=168.641
|
SAT TT=378.271
|
? (TO) TT=1200.05
|
mizh-md5-48-5.cnf
|
SAT TT=615.989
|
SAT TT=1146.53
|
SAT TT=615.989
|
SAT TT=715.034
|
? (TO) TT=1200.13
|
? (TO) TT=1200.06
|
SAT TT=800.32
|
SAT TT=663.487
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
mizh-sha0-35-3.cnf
|
SAT TT=37.876
|
? (TO) TT=1200.03
|
SAT TT=37.876
|
SAT TT=57.063
|
? (TO) TT=1200.08
|
SAT TT=59.065
|
SAT TT=632.015
|
SAT TT=299.555
|
mizh-sha0-36-2.cnf
|
SAT TT=927.697
|
SAT TT=927.697
|
? (TO) TT=1200.08
|
? (TO) TT=1200.14
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
mizh-sha0-36-3.cnf
|
SAT TT=197.679
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.15
|
? (TO) TT=1200.12
|
SAT TT=197.679
|
? (TO) TT=1200.02
|
SAT TT=765.613
|
mizh-sha0-36-4.cnf
|
SAT TT=215.523
|
? (TO) TT=1200.06
|
SAT TT=215.523
|
? (TO) TT=1200.1
|
? (TO) TT=1200.12
|
SAT TT=274.788
|
SAT TT=401.18
|
? (TO) TT=1200
|
schup-l2s-abp4-1-k31.cnf
|
UNSAT TT=45.534
|
UNSAT TT=158.562
|
UNSAT TT=45.534
|
UNSAT TT=144.12
|
UNSAT TT=81.565
|
UNSAT TT=137.349
|
UNSAT TT=51.432
|
UNSAT TT=116.357
|
schup-l2s-bc56s-1-k391.cnf
|
UNSAT TT=1185.35
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.12
|
? (TO) TT=1200.04
|
UNSAT TT=1185.35
|
? (TO) TT=1200.01
|
schup-l2s-guid-1-k56.cnf
|
UNSAT TT=266.181
|
UNSAT TT=949.053
|
UNSAT TT=266.181
|
UNSAT TT=985.149
|
UNSAT TT=447.406
|
UNSAT TT=1157.53
|
UNSAT TT=455.153
|
UNSAT TT=822.92
|
schup-l2s-motst-2-k315.cnf
|
SAT TT=103.748
|
SAT TT=1190.72
|
SAT TT=354.277
|
? (TO) TT=1200.11
|
SAT TT=103.748
|
? (TO) TT=1200.05
|
SAT TT=526.593
|
SAT TT=561.656
|
simon-s02b-dp11u10.cnf
|
UNSAT TT=110.933
|
UNSAT TT=110.933
|
? (TO) TT=1200.03
|
UNSAT TT=183.199
|
UNSAT TT=401.779
|
UNSAT TT=240.291
|
UNSAT TT=1084.52
|
UNSAT TT=240.752
|
simon-s02b-k2f-gr-rcs-w8.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
simon-s03-fifo8-300.cnf
|
UNSAT TT=40.527
|
UNSAT TT=195.196
|
UNSAT TT=40.527
|
UNSAT TT=202.197
|
UNSAT TT=58.345
|
UNSAT TT=302.106
|
UNSAT TT=116.198
|
UNSAT TT=183.732
|
simon-s03-w08-15.cnf
|
SAT TT=143.626
|
SAT TT=588.297
|
SAT TT=318.309
|
SAT TT=705.278
|
SAT TT=143.626
|
SAT TT=968.98
|
SAT TT=544.191
|
SAT TT=604.336
|
vange-col-abb313GPIA-9-c.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
velev-engi-uns-1.0-4nd.cnf
|
UNSAT TT=41.677
|
UNSAT TT=45.166
|
UNSAT TT=55.039
|
UNSAT TT=41.677
|
UNSAT TT=57.963
|
UNSAT TT=237.771
|
UNSAT TT=361.349
|
UNSAT TT=228.144
|
velev-live-uns-2.0-ebuf.cnf
|
UNSAT TT=56.655
|
UNSAT TT=56.655
|
UNSAT TT=82.771
|
UNSAT TT=62.574
|
UNSAT TT=86.589
|
UNSAT TT=470.642
|
UNSAT TT=478.666
|
UNSAT TT=457.492
|
velev-pipe-o-uns-1.0-7.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.23
|
? (TO) TT=1200.16
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
velev-pipe-o-uns-1.1-6.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.16
|
? (TO) TT=1200.14
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
velev-pipe-sat-1.0-b10.cnf
|
|
? (MO) TT=208.626
|
? (MO) TT=918.07
|
? (MO) TT=829.411
|
? (MO) TT=853.931
|
? (TO) TT=1200.08
|
? (problem) TT=0.004
|
? (problem) TT=511.124
|
velev-pipe-sat-1.0-b7.cnf
|
SAT TT=541.463
|
? (MO) TT=210.16
|
SAT TT=639.108
|
? (TO) TT=1200.18
|
? (TO) TT=1200.24
|
SAT TT=541.463
|
? (problem) TT=0.004
|
? (problem) TT=511.146
|
velev-pipe-uns-1.0-8.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (MO) TT=801.488
|
? (TO) TT=1200.21
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.06
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
velev-vliw-uns-4.0-9C1.cnf
|
|
? (TO) TT=1200
|
? (TO) TT=1200.01
|
? (TO) TT=1200.19
|
? (TO) TT=1200.25
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
velev-vliw-uns-4.0-9-i1.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
? (TO) TT=1200.18
|
? (TO) TT=1200.2
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
|
Statistics | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
Number of times the solver is able to give the best known answer | 111 | 149 | 106 | 116 | 117 | 121 | 119 |
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time) | 6 | 72 | 18 | 34 | 6 | 13 | 14 |