gmus/belov/ 2dlx_ca_mc_ex_bp_f_new.gcnf
|
UNSAT TT=11.744
|
UNSAT TT=11.744
|
UNSAT TT=7.346
|
UNSAT TT=19.32
|
UNSAT TT=24.007
|
UNSAT TT=30.377
|
UNSAT TT=52.613
|
UNSAT TT=21.035
|
UNSAT TT=16.584
|
gmus/belov/ 2dlx_cc_mc_ex_bp_f_new.gcnf
|
UNSAT TT=22.767
|
UNSAT TT=22.767
|
UNSAT TT=15.223
|
UNSAT TT=36.089
|
UNSAT TT=34.899
|
UNSAT TT=67.583
|
UNSAT TT=132.467
|
UNSAT TT=47.048
|
UNSAT TT=40.865
|
gmus/belov/ 3pipe_1_ooo.gcnf
|
UNSAT TT=12.199
|
UNSAT TT=12.199
|
UNSAT TT=10.113
|
UNSAT TT=16.493
|
UNSAT TT=17.38
|
UNSAT TT=14.242
|
UNSAT TT=149.047
|
UNSAT TT=47.579
|
UNSAT TT=26.945
|
gmus/belov/ 3pipe_2_ooo.gcnf
|
UNSAT TT=15.188
|
UNSAT TT=23.793
|
UNSAT TT=8.089
|
UNSAT TT=16.641
|
UNSAT TT=15.188
|
UNSAT TT=23.674
|
UNSAT TT=209.177
|
UNSAT TT=45.15
|
UNSAT TT=37.89
|
gmus/belov/ 3pipe_3_ooo.gcnf
|
UNSAT TT=17.791
|
UNSAT TT=17.791
|
UNSAT TT=8.346
|
UNSAT TT=19.71
|
UNSAT TT=24.38
|
UNSAT TT=43.731
|
UNSAT TT=197.771
|
UNSAT TT=75.819
|
UNSAT TT=43.518
|
gmus/belov/ 3pipe.gcnf
|
UNSAT TT=12.552
|
UNSAT TT=22.595
|
UNSAT TT=16.369
|
UNSAT TT=12.552
|
UNSAT TT=52.034
|
UNSAT TT=36.979
|
UNSAT TT=238.241
|
UNSAT TT=26.605
|
UNSAT TT=14.337
|
gmus/belov/ 4pipe_1_ooo.gcnf
|
UNSAT TT=58.059
|
UNSAT TT=58.059
|
UNSAT TT=68.335
|
UNSAT TT=103.129
|
UNSAT TT=245.546
|
UNSAT TT=220.077
|
UNSAT TT=1148.16
|
UNSAT TT=375.169
|
UNSAT TT=177.911
|
gmus/belov/ 4pipe_2_ooo.gcnf
|
UNSAT TT=70.587
|
UNSAT TT=70.587
|
UNSAT TT=54.702
|
UNSAT TT=360.173
|
UNSAT TT=128.067
|
UNSAT TT=389.064
|
? (exit code) TT=1199.21
|
UNSAT TT=1615.47
|
UNSAT TT=376.506
|
gmus/belov/ 4pipe_3_ooo.gcnf
|
UNSAT TT=96.012
|
UNSAT TT=96.012
|
UNSAT TT=48.041
|
UNSAT TT=199.567
|
UNSAT TT=190.075
|
UNSAT TT=255.007
|
UNSAT TT=1080.01
|
UNSAT TT=882.008
|
UNSAT TT=546.173
|
gmus/belov/ 4pipe_4_ooo.gcnf
|
UNSAT TT=70.75
|
UNSAT TT=70.75
|
UNSAT TT=44.978
|
UNSAT TT=159.856
|
UNSAT TT=138.988
|
UNSAT TT=376.704
|
? (exit code) TT=1199.17
|
UNSAT TT=935.761
|
UNSAT TT=471.008
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ 4pipe.gcnf
|
UNSAT TT=225.656
|
UNSAT TT=225.656
|
UNSAT TT=182.675
|
? (TO) TT=1800.04
|
? (TO) TT=1800.08
|
UNSAT TT=1042.3
|
Signal TT=1201.12
|
UNSAT TT=1081.68
|
UNSAT TT=111.336
|
gmus/belov/ bj08amba2g3f3.aig.k20.gcnf
|
UNSAT TT=404.135
|
UNSAT TT=404.135
|
UNSAT TT=774.714
|
UNSAT TT=823.594
|
UNSAT TT=736.177
|
UNSAT TT=1443.74
|
UNSAT TT=762.272
|
UNSAT TT=574.132
|
No Cert. TT=1800.18
|
gmus/belov/ bj08amba4g5.aig.k20.gcnf
|
UNSAT TT=41.122
|
UNSAT TT=186.273
|
UNSAT TT=65.988
|
UNSAT TT=90.578
|
UNSAT TT=93.197
|
UNSAT TT=41.122
|
UNSAT TT=451.495
|
UNSAT TT=1256.77
|
UNSAT TT=699.244
|
gmus/belov/ bj08amba4g5.aig.k25.gcnf
|
UNSAT TT=58.056
|
UNSAT TT=429.944
|
UNSAT TT=122.147
|
UNSAT TT=193.809
|
UNSAT TT=192.802
|
UNSAT TT=58.056
|
UNSAT TT=774.354
|
No Cert. TT=1800.05
|
UNSAT TT=1273.21
|
gmus/belov/ bj08amba5g62.aig.k20.gcnf
|
UNSAT TT=44.937
|
UNSAT TT=181.805
|
UNSAT TT=92.306
|
UNSAT TT=119.681
|
UNSAT TT=107.883
|
UNSAT TT=44.937
|
UNSAT TT=529.443
|
UNSAT TT=1672.52
|
UNSAT TT=1049.34
|
gmus/belov/ bj08amba5g62.aig.k25.gcnf
|
UNSAT TT=90.203
|
UNSAT TT=564.034
|
UNSAT TT=177.242
|
UNSAT TT=250.26
|
UNSAT TT=243.43
|
UNSAT TT=90.203
|
UNSAT TT=1066.49
|
No Cert. TT=1800.03
|
No Cert. TT=1800.15
|
gmus/belov/ bjrb07amba2andenv.aig.k20.gcnf
|
UNSAT TT=49.7
|
UNSAT TT=49.7
|
UNSAT TT=35.321
|
UNSAT TT=89.335
|
UNSAT TT=80.269
|
UNSAT TT=184.091
|
UNSAT TT=173.561
|
UNSAT TT=157.375
|
UNSAT TT=869.909
|
gmus/belov/ bjrb07amba2andenv.aig.k25.gcnf
|
UNSAT TT=144.13
|
UNSAT TT=144.13
|
UNSAT TT=185.737
|
UNSAT TT=260.896
|
UNSAT TT=266.33
|
UNSAT TT=343.815
|
UNSAT TT=443.02
|
UNSAT TT=359.805
|
No Cert. TT=1339.82
|
gmus/belov/ bjrb07amba4andenv.aig.k10.gcnf
|
UNSAT TT=110.794
|
UNSAT TT=280.745
|
UNSAT TT=51.159
|
UNSAT TT=110.794
|
UNSAT TT=115.105
|
UNSAT TT=684.283
|
UNSAT TT=677.563
|
UNSAT TT=688.162
|
UNSAT TT=1318.07
|
gmus/belov/ bjrb07amba5andenv.aig.k10.gcnf
|
UNSAT TT=75.202
|
UNSAT TT=179.625
|
UNSAT TT=68.803
|
UNSAT TT=75.202
|
UNSAT TT=132.502
|
UNSAT TT=475.537
|
UNSAT TT=789.019
|
UNSAT TT=1019.32
|
UNSAT TT=1409.95
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ intel005.aig.k20.gcnf
|
UNSAT TT=77.255
|
UNSAT TT=77.255
|
UNSAT TT=34.093
|
UNSAT TT=139.539
|
UNSAT TT=105.994
|
UNSAT TT=1332.81
|
UNSAT TT=946.88
|
UNSAT TT=720.988
|
UNSAT TT=806.239
|
gmus/belov/ intel049.aig.k25.gcnf
|
UNSAT TT=125.016
|
UNSAT TT=125.016
|
UNSAT TT=35.187
|
UNSAT TT=168.561
|
UNSAT TT=159.533
|
UNSAT TT=1730.79
|
UNSAT TT=661.688
|
UNSAT TT=224.483
|
No Cert. TT=1800.21
|
gmus/belov/ kenflashp11.aig.k25.gcnf
|
UNSAT TT=25.51
|
UNSAT TT=203.305
|
UNSAT TT=63.482
|
UNSAT TT=77.38
|
UNSAT TT=80.007
|
UNSAT TT=25.51
|
UNSAT TT=447.45
|
No Cert. TT=1800.04
|
UNSAT TT=607.128
|
gmus/belov/ mentorbm1p00.aig.k20.gcnf
|
UNSAT TT=19.978
|
UNSAT TT=104.685
|
UNSAT TT=40.161
|
UNSAT TT=62.07
|
UNSAT TT=62.673
|
UNSAT TT=19.978
|
UNSAT TT=272.767
|
UNSAT TT=858.636
|
UNSAT TT=491.837
|
gmus/belov/ mentorbm1p00.aig.k25.gcnf
|
UNSAT TT=42.397
|
UNSAT TT=257.982
|
Wrong Cert. TT=91.097
|
UNSAT TT=116.481
|
UNSAT TT=122.405
|
UNSAT TT=42.397
|
UNSAT TT=621.574
|
UNSAT TT=1566.93
|
UNSAT TT=1003.74
|
gmus/belov/ mentorbm1p02.aig.k20.gcnf
|
UNSAT TT=3.847
|
UNSAT TT=27.909
|
UNSAT TT=10.381
|
UNSAT TT=15.197
|
UNSAT TT=14.866
|
UNSAT TT=3.847
|
UNSAT TT=77.93
|
UNSAT TT=281.448
|
UNSAT TT=320.582
|
gmus/belov/ mentorbm1p02.aig.k25.gcnf
|
UNSAT TT=18.383
|
UNSAT TT=59.314
|
UNSAT TT=21.206
|
UNSAT TT=25.42
|
UNSAT TT=26.573
|
UNSAT TT=18.383
|
UNSAT TT=135.679
|
UNSAT TT=532.114
|
UNSAT TT=715.452
|
gmus/belov/ nusmvguidancep2.aig.k20.gcnf
|
UNSAT TT=93.401
|
UNSAT TT=93.401
|
UNSAT TT=92.864
|
UNSAT TT=117.655
|
UNSAT TT=117.299
|
UNSAT TT=212.981
|
UNSAT TT=262.347
|
UNSAT TT=275.221
|
UNSAT TT=785.327
|
gmus/belov/ nusmvguidancep2.aig.k25.gcnf
|
UNSAT TT=326.582
|
UNSAT TT=561.764
|
UNSAT TT=294.091
|
UNSAT TT=330.796
|
UNSAT TT=326.582
|
UNSAT TT=1133.03
|
UNSAT TT=932.454
|
UNSAT TT=494.092
|
No Cert. TT=1289.81
|
gmus/belov/ nusmvguidancep5.aig.k20.gcnf
|
UNSAT TT=171.495
|
UNSAT TT=185.458
|
? (TO) TT=1800.06
|
UNSAT TT=171.495
|
UNSAT TT=265.655
|
UNSAT TT=550.881
|
UNSAT TT=315.924
|
UNSAT TT=292.083
|
No Cert. TT=1800.36
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ nusmvguidancep5.aig.k25.gcnf
|
UNSAT TT=429.413
|
UNSAT TT=429.413
|
? (TO) TT=1800.05
|
UNSAT TT=1235.45
|
UNSAT TT=1142.8
|
No Cert. TT=1800.03
|
UNSAT TT=1189.63
|
No Cert. TT=1800.1
|
? (exit code) TT=1729.13
|
gmus/belov/ nusmvguidancep6.aig.k25.gcnf
|
UNSAT TT=374.063
|
UNSAT TT=374.063
|
UNSAT TT=1403.56
|
UNSAT TT=521.993
|
UNSAT TT=560.439
|
UNSAT TT=703.79
|
UNSAT TT=560.619
|
UNSAT TT=627.66
|
No Cert. TT=1384.57
|
gmus/belov/ nusmvguidancep7.aig.k20.gcnf
|
UNSAT TT=202.208
|
UNSAT TT=210.687
|
UNSAT TT=48.957
|
UNSAT TT=202.208
|
UNSAT TT=296.687
|
UNSAT TT=564.541
|
UNSAT TT=361.106
|
UNSAT TT=293.066
|
No Cert. TT=1065.81
|
gmus/belov/ nusmvguidancep7.aig.k25.gcnf
|
UNSAT TT=457.757
|
UNSAT TT=457.757
|
UNSAT TT=448.963
|
UNSAT TT=929.885
|
UNSAT TT=782.36
|
UNSAT TT=1668.8
|
UNSAT TT=975.627
|
UNSAT TT=832.869
|
No Cert. TT=1360.37
|
gmus/belov/ nusmvguidancep8.aig.k20.gcnf
|
UNSAT TT=52.237
|
UNSAT TT=75.496
|
UNSAT TT=23.971
|
UNSAT TT=52.237
|
UNSAT TT=52.928
|
UNSAT TT=95.2
|
UNSAT TT=144.372
|
UNSAT TT=165.714
|
UNSAT TT=1140.54
|
gmus/belov/ nusmvguidancep8.aig.k25.gcnf
|
UNSAT TT=235.235
|
UNSAT TT=235.235
|
UNSAT TT=82.109
|
UNSAT TT=478.065
|
UNSAT TT=477.226
|
UNSAT TT=851.814
|
UNSAT TT=497.807
|
UNSAT TT=452.897
|
No Cert. TT=1506.76
|
gmus/belov/ pdtpmseisenberg.aig.k15.gcnf
|
UNSAT TT=83.409
|
UNSAT TT=93.046
|
Wrong Cert. TT=26.189
|
UNSAT TT=169.92
|
UNSAT TT=83.409
|
UNSAT TT=519.125
|
? (exit code) TT=1199.1
|
UNSAT TT=422.527
|
No Cert. TT=1800.18
|
gmus/belov/ pdtpmsgigamax.aig.k15.gcnf
|
UNSAT TT=27.719
|
UNSAT TT=27.719
|
Wrong Cert. TT=28.726
|
UNSAT TT=51.553
|
UNSAT TT=45.756
|
UNSAT TT=141.612
|
UNSAT TT=99.318
|
UNSAT TT=85.9
|
UNSAT TT=383.521
|
gmus/belov/ pdtpmsgigamax.aig.k20.gcnf
|
UNSAT TT=78.837
|
UNSAT TT=78.837
|
UNSAT TT=419.509
|
UNSAT TT=125.226
|
UNSAT TT=118.24
|
UNSAT TT=406.879
|
UNSAT TT=206.972
|
UNSAT TT=321.719
|
No Cert. TT=1800.26
|
gmus/belov/ pdtpmsgigamax.aig.k25.gcnf
|
UNSAT TT=162.051
|
UNSAT TT=162.051
|
? (TO) TT=1800.09
|
UNSAT TT=327.661
|
UNSAT TT=284.333
|
UNSAT TT=565.388
|
UNSAT TT=350.522
|
UNSAT TT=788.014
|
No Cert. TT=1232.78
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ pdtpmsgoodbakery.aig.k15.gcnf
|
UNSAT TT=39.282
|
UNSAT TT=50.129
|
UNSAT TT=24.497
|
UNSAT TT=39.282
|
UNSAT TT=42.974
|
UNSAT TT=44.797
|
UNSAT TT=119.866
|
UNSAT TT=132.968
|
UNSAT TT=220.995
|
gmus/belov/ pdtpmsgoodbakery.aig.k20.gcnf
|
UNSAT TT=349.505
|
UNSAT TT=349.505
|
Wrong Cert. TT=436.816
|
UNSAT TT=660.45
|
UNSAT TT=985.32
|
UNSAT TT=1797.32
|
UNSAT TT=993.23
|
No Cert. TT=1800.09
|
No Cert. TT=1800.14
|
gmus/belov/ pdtpmsheap.aig.k15.gcnf
|
UNSAT TT=172.339
|
UNSAT TT=172.339
|
UNSAT TT=147.544
|
UNSAT TT=302.279
|
UNSAT TT=221.651
|
UNSAT TT=638.18
|
UNSAT TT=458.979
|
UNSAT TT=188.455
|
No Cert. TT=1800.32
|
gmus/belov/ pdtpmsrethersqo.aig.k20.gcnf
|
UNSAT TT=81.853
|
UNSAT TT=133.554
|
UNSAT TT=87.216
|
UNSAT TT=93.674
|
UNSAT TT=81.853
|
UNSAT TT=567.157
|
UNSAT TT=506.051
|
UNSAT TT=167.215
|
UNSAT TT=1579.6
|
gmus/belov/ pdtpmsvsa16a.aig.k10.gcnf
|
UNSAT TT=64.23
|
UNSAT TT=64.23
|
UNSAT TT=60.826
|
UNSAT TT=185.776
|
UNSAT TT=119.306
|
UNSAT TT=217.666
|
UNSAT TT=181.041
|
UNSAT TT=104.042
|
UNSAT TT=574.893
|
gmus/belov/ pdtpmsvsar.aig.k15.gcnf
|
UNSAT TT=124.099
|
UNSAT TT=209.632
|
UNSAT TT=156.87
|
UNSAT TT=695.026
|
UNSAT TT=428.286
|
UNSAT TT=694.044
|
UNSAT TT=281.64
|
UNSAT TT=124.099
|
No Cert. TT=1800.16
|
gmus/belov/ pdtswvibs16x4p2.aig.k25.gcnf
|
UNSAT TT=25.683
|
UNSAT TT=71.981
|
UNSAT TT=18.538
|
UNSAT TT=115.921
|
UNSAT TT=25.683
|
UNSAT TT=26.904
|
UNSAT TT=309.992
|
UNSAT TT=325.905
|
UNSAT TT=415.827
|
gmus/belov/ pdtswvibs8x8p1.aig.k25.gcnf
|
UNSAT TT=42.895
|
UNSAT TT=77.851
|
UNSAT TT=23.544
|
UNSAT TT=42.895
|
UNSAT TT=68.708
|
UNSAT TT=127.489
|
UNSAT TT=208.583
|
UNSAT TT=272.889
|
UNSAT TT=477.58
|
gmus/belov/ pdtswvibs8x8p2.aig.k25.gcnf
|
UNSAT TT=36.787
|
UNSAT TT=109.356
|
UNSAT TT=37.644
|
UNSAT TT=111.913
|
UNSAT TT=61.758
|
UNSAT TT=36.787
|
UNSAT TT=269.692
|
UNSAT TT=576.655
|
UNSAT TT=596.756
|
gmus/belov/ pdtswvrod6x8p1.aig.k20.gcnf
|
UNSAT TT=134.048
|
UNSAT TT=156.571
|
UNSAT TT=70.052
|
UNSAT TT=160.523
|
UNSAT TT=152.073
|
UNSAT TT=134.048
|
UNSAT TT=399.074
|
UNSAT TT=567.691
|
UNSAT TT=1169.5
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ pdtswvrod6x8p1.aig.k25.gcnf
|
UNSAT TT=822.899
|
UNSAT TT=822.899
|
UNSAT TT=688.545
|
UNSAT TT=1090.07
|
UNSAT TT=1085.24
|
UNSAT TT=1125.44
|
UNSAT TT=998.035
|
UNSAT TT=1508.25
|
No Cert. TT=1707.11
|
gmus/belov/ pdtswvrod6x8p2.aig.k25.gcnf
|
UNSAT TT=478.608
|
UNSAT TT=560.63
|
UNSAT TT=292.583
|
UNSAT TT=738.109
|
UNSAT TT=1100.18
|
UNSAT TT=478.608
|
UNSAT TT=1093.28
|
UNSAT TT=1381.09
|
No Cert. TT=1800.35
|
gmus/belov/ pdtswvsam4x8p2.aig.k25.gcnf
|
UNSAT TT=125.554
|
UNSAT TT=125.554
|
UNSAT TT=42.905
|
UNSAT TT=269.064
|
UNSAT TT=654.674
|
UNSAT TT=161.662
|
UNSAT TT=455.787
|
UNSAT TT=532.207
|
UNSAT TT=1149.63
|
gmus/belov/ pdtswvsam4x8p4.aig.k25.gcnf
|
UNSAT TT=81.544
|
UNSAT TT=183.518
|
UNSAT TT=44.299
|
UNSAT TT=88.589
|
UNSAT TT=138.109
|
UNSAT TT=81.544
|
UNSAT TT=403.204
|
UNSAT TT=1019.21
|
UNSAT TT=1110.56
|
gmus/belov/ pdtswvsam6x8p1.aig.k25.gcnf
|
UNSAT TT=90.236
|
UNSAT TT=108.118
|
UNSAT TT=36.79
|
UNSAT TT=142.767
|
UNSAT TT=127.377
|
UNSAT TT=90.236
|
UNSAT TT=306.856
|
UNSAT TT=573.931
|
UNSAT TT=913.316
|
gmus/belov/ pdtswvsam6x8p2.aig.k25.gcnf
|
UNSAT TT=106.149
|
UNSAT TT=106.149
|
UNSAT TT=37.254
|
UNSAT TT=112.164
|
UNSAT TT=116.764
|
UNSAT TT=110.752
|
UNSAT TT=369.99
|
UNSAT TT=553.597
|
UNSAT TT=1086.96
|
gmus/belov/ pdtswvsam6x8p3.aig.k25.gcnf
|
UNSAT TT=152.162
|
UNSAT TT=193.546
|
UNSAT TT=42.419
|
UNSAT TT=178.069
|
UNSAT TT=152.162
|
UNSAT TT=190.231
|
UNSAT TT=538.538
|
UNSAT TT=583.466
|
UNSAT TT=1285.28
|
gmus/belov/ pdtswvsam6x8p4.aig.k25.gcnf
|
UNSAT TT=85.161
|
UNSAT TT=226.255
|
UNSAT TT=53.945
|
UNSAT TT=101.548
|
UNSAT TT=137.05
|
UNSAT TT=85.161
|
UNSAT TT=615.62
|
UNSAT TT=1350.85
|
No Cert. TT=1800.27
|
gmus/belov/ pdtswvtms10x8p1.aig.k20.gcnf
|
UNSAT TT=139.537
|
UNSAT TT=139.537
|
UNSAT TT=61.5
|
UNSAT TT=470.032
|
UNSAT TT=375.857
|
UNSAT TT=177.831
|
UNSAT TT=498.439
|
UNSAT TT=320.844
|
No Cert. TT=1453.28
|
gmus/belov/ pdtswvtms12x8p1.aig.k20.gcnf
|
UNSAT TT=124.492
|
UNSAT TT=124.492
|
UNSAT TT=54.374
|
UNSAT TT=381.224
|
UNSAT TT=532.43
|
UNSAT TT=219.496
|
UNSAT TT=587.807
|
UNSAT TT=390.186
|
No Cert. TT=1800.36
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ pdtswvtms14x8p1.aig.k20.gcnf
|
UNSAT TT=119.774
|
UNSAT TT=119.774
|
UNSAT TT=49.991
|
UNSAT TT=944.675
|
UNSAT TT=356.731
|
UNSAT TT=181.645
|
UNSAT TT=521.533
|
UNSAT TT=310.003
|
No Cert. TT=1644.52
|
gmus/belov/ pdtswvtms14x8p1.aig.k25.gcnf
|
UNSAT TT=399.545
|
UNSAT TT=399.545
|
UNSAT TT=348.542
|
UNSAT TT=1442.1
|
UNSAT TT=1250.18
|
UNSAT TT=959.882
|
? (exit code) TT=1199.1
|
UNSAT TT=982.6
|
No Cert. TT=1800.24
|
gmus/belov/ pdtvisbakery0.aig.k15.gcnf
|
UNSAT TT=18.243
|
UNSAT TT=76.753
|
UNSAT TT=23.587
|
UNSAT TT=42.362
|
UNSAT TT=70.813
|
UNSAT TT=18.243
|
UNSAT TT=170.276
|
UNSAT TT=486.021
|
UNSAT TT=416.452
|
gmus/belov/ pdtvisbakery0.aig.k20.gcnf
|
UNSAT TT=213.691
|
UNSAT TT=244.144
|
UNSAT TT=102.938
|
UNSAT TT=259.576
|
UNSAT TT=222.878
|
UNSAT TT=213.691
|
UNSAT TT=687.649
|
UNSAT TT=1527.63
|
UNSAT TT=1259.52
|
gmus/belov/ pdtvisbakery1.aig.k20.gcnf
|
UNSAT TT=194.633
|
UNSAT TT=254.253
|
UNSAT TT=82.455
|
UNSAT TT=213.768
|
UNSAT TT=239.142
|
UNSAT TT=194.633
|
UNSAT TT=863.202
|
UNSAT TT=1357.18
|
UNSAT TT=1788.38
|
gmus/belov/ pdtvisbakery1.aig.k25.gcnf
|
UNSAT TT=720.766
|
UNSAT TT=720.766
|
UNSAT TT=315.676
|
UNSAT TT=1131.27
|
UNSAT TT=921.117
|
UNSAT TT=1641.69
|
? (exit code) TT=1199.06
|
No Cert. TT=1800.09
|
No Cert. TT=1800.94
|
gmus/belov/ pdtvisbakery2.aig.k20.gcnf
|
UNSAT TT=207.861
|
UNSAT TT=207.861
|
UNSAT TT=79.317
|
UNSAT TT=258.793
|
UNSAT TT=287.05
|
UNSAT TT=244.663
|
UNSAT TT=741.534
|
UNSAT TT=1656.31
|
UNSAT TT=1304.31
|
gmus/belov/ pdtviscoherence3.aig.k15.gcnf
|
UNSAT TT=132.992
|
UNSAT TT=132.992
|
UNSAT TT=128.537
|
UNSAT TT=269.487
|
UNSAT TT=202.56
|
UNSAT TT=431.849
|
UNSAT TT=621.727
|
UNSAT TT=278.578
|
No Cert. TT=1800.29
|
gmus/belov/ pdtviscoherence4.aig.k15.gcnf
|
UNSAT TT=124.557
|
UNSAT TT=124.557
|
UNSAT TT=178.949
|
UNSAT TT=230.091
|
UNSAT TT=175.45
|
UNSAT TT=663.569
|
UNSAT TT=658.282
|
UNSAT TT=338.762
|
No Cert. TT=1800.31
|
gmus/belov/ pdtviscoherence5.aig.k15.gcnf
|
UNSAT TT=138.775
|
UNSAT TT=138.775
|
UNSAT TT=213.596
|
UNSAT TT=242.273
|
UNSAT TT=252.448
|
UNSAT TT=482.879
|
UNSAT TT=561.678
|
UNSAT TT=386.714
|
No Cert. TT=778.54
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ pdtviseisenberg0.aig.k15.gcnf
|
UNSAT TT=34.506
|
UNSAT TT=62.171
|
UNSAT TT=11.813
|
UNSAT TT=66.453
|
UNSAT TT=118.089
|
UNSAT TT=34.506
|
UNSAT TT=100.041
|
UNSAT TT=181.853
|
No Cert. TT=1124.33
|
gmus/belov/ pdtviseisenberg0.aig.k20.gcnf
|
UNSAT TT=152.581
|
UNSAT TT=152.581
|
UNSAT TT=62.248
|
UNSAT TT=675.152
|
UNSAT TT=581.52
|
UNSAT TT=330.296
|
UNSAT TT=634.626
|
UNSAT TT=523.11
|
No Cert. TT=1800.25
|
gmus/belov/ pdtviseisenberg1.aig.k20.gcnf
|
UNSAT TT=121.248
|
UNSAT TT=121.248
|
UNSAT TT=64.597
|
UNSAT TT=407.932
|
UNSAT TT=519.044
|
UNSAT TT=213.08
|
UNSAT TT=439.249
|
UNSAT TT=438.835
|
No Cert. TT=1800.3
|
gmus/belov/ pdtviseisenberg2.aig.k15.gcnf
|
UNSAT TT=16.276
|
UNSAT TT=39.912
|
UNSAT TT=23.99
|
UNSAT TT=46.358
|
UNSAT TT=16.276
|
UNSAT TT=75.748
|
UNSAT TT=181.066
|
UNSAT TT=218.893
|
No Cert. TT=1800.33
|
gmus/belov/ pdtviseisenberg2.aig.k20.gcnf
|
UNSAT TT=103.524
|
UNSAT TT=103.524
|
UNSAT TT=33.324
|
UNSAT TT=460.253
|
UNSAT TT=324.639
|
UNSAT TT=150.364
|
UNSAT TT=372.259
|
UNSAT TT=377.964
|
No Cert. TT=1656.77
|
gmus/belov/ pdtvisgigamax0.aig.k20.gcnf
|
UNSAT TT=40.138
|
UNSAT TT=40.138
|
UNSAT TT=23.166
|
UNSAT TT=75.552
|
UNSAT TT=69.276
|
UNSAT TT=98.556
|
UNSAT TT=114.287
|
UNSAT TT=147.653
|
UNSAT TT=273.738
|
gmus/belov/ pdtvisgigamax0.aig.k25.gcnf
|
UNSAT TT=77.739
|
UNSAT TT=77.739
|
UNSAT TT=53.871
|
UNSAT TT=157.5
|
UNSAT TT=135.772
|
UNSAT TT=261.733
|
UNSAT TT=207.702
|
UNSAT TT=209.018
|
UNSAT TT=611.021
|
gmus/belov/ pdtvisgigamax1.aig.k20.gcnf
|
UNSAT TT=37.203
|
UNSAT TT=37.203
|
UNSAT TT=20.9
|
UNSAT TT=76.155
|
UNSAT TT=77.984
|
UNSAT TT=95.892
|
UNSAT TT=113.201
|
UNSAT TT=124.711
|
UNSAT TT=307.034
|
gmus/belov/ pdtvisgigamax1.aig.k25.gcnf
|
UNSAT TT=70.674
|
UNSAT TT=70.674
|
UNSAT TT=52.298
|
UNSAT TT=124.023
|
UNSAT TT=146.515
|
UNSAT TT=253.274
|
UNSAT TT=202.478
|
UNSAT TT=216.291
|
UNSAT TT=507.392
|
gmus/belov/ pdtvisgigamax2.aig.k20.gcnf
|
UNSAT TT=43.012
|
UNSAT TT=43.012
|
UNSAT TT=22.25
|
UNSAT TT=76.244
|
UNSAT TT=63.537
|
UNSAT TT=93.95
|
UNSAT TT=120.835
|
UNSAT TT=127.161
|
UNSAT TT=316.377
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ pdtvisgigamax2.aig.k25.gcnf
|
UNSAT TT=74.186
|
UNSAT TT=74.186
|
UNSAT TT=54.277
|
UNSAT TT=140.589
|
UNSAT TT=132.908
|
UNSAT TT=311.484
|
UNSAT TT=201.388
|
UNSAT TT=225.645
|
UNSAT TT=557.493
|
gmus/belov/ pdtvisgigamax3.aig.k20.gcnf
|
UNSAT TT=42.865
|
UNSAT TT=42.865
|
UNSAT TT=22.625
|
UNSAT TT=79.045
|
UNSAT TT=65.476
|
UNSAT TT=126.852
|
UNSAT TT=115.628
|
UNSAT TT=143.304
|
UNSAT TT=329.04
|
gmus/belov/ pdtvisgigamax3.aig.k25.gcnf
|
UNSAT TT=73.531
|
UNSAT TT=73.531
|
UNSAT TT=50.519
|
UNSAT TT=114.532
|
UNSAT TT=104.381
|
UNSAT TT=308.267
|
UNSAT TT=222.559
|
UNSAT TT=239.972
|
UNSAT TT=577.858
|
gmus/belov/ pdtvisgigamax4.aig.k20.gcnf
|
UNSAT TT=40.638
|
UNSAT TT=40.638
|
UNSAT TT=22.147
|
UNSAT TT=69.327
|
UNSAT TT=68.754
|
UNSAT TT=126.178
|
UNSAT TT=137.577
|
UNSAT TT=141.225
|
UNSAT TT=295.358
|
gmus/belov/ pdtvisgigamax4.aig.k25.gcnf
|
UNSAT TT=75.193
|
UNSAT TT=75.193
|
UNSAT TT=46.329
|
UNSAT TT=131.713
|
UNSAT TT=104.925
|
UNSAT TT=194.513
|
UNSAT TT=218.228
|
UNSAT TT=231.969
|
UNSAT TT=606.03
|
gmus/belov/ pdtvisgigamax5.aig.k20.gcnf
|
UNSAT TT=37.541
|
UNSAT TT=37.541
|
UNSAT TT=23.254
|
UNSAT TT=86.814
|
UNSAT TT=68.823
|
UNSAT TT=144.778
|
UNSAT TT=115.986
|
UNSAT TT=128.174
|
UNSAT TT=315.858
|
gmus/belov/ pdtvisgigamax5.aig.k25.gcnf
|
UNSAT TT=73.746
|
UNSAT TT=73.746
|
UNSAT TT=48.518
|
UNSAT TT=114.669
|
UNSAT TT=120.804
|
UNSAT TT=203.681
|
UNSAT TT=199.557
|
UNSAT TT=256.145
|
UNSAT TT=650.347
|
gmus/belov/ pdtvisgoodbakery0.aig.k15.gcnf
|
UNSAT TT=23.406
|
UNSAT TT=75.859
|
UNSAT TT=19.991
|
UNSAT TT=45.701
|
UNSAT TT=47.03
|
UNSAT TT=23.406
|
UNSAT TT=194.128
|
UNSAT TT=417.106
|
UNSAT TT=415.475
|
gmus/belov/ pdtvisgoodbakery0.aig.k20.gcnf
|
UNSAT TT=242.695
|
UNSAT TT=250.156
|
UNSAT TT=98.223
|
UNSAT TT=327.144
|
UNSAT TT=250.109
|
UNSAT TT=242.695
|
UNSAT TT=575.882
|
UNSAT TT=1212.33
|
No Cert. TT=1800.24
|
gmus/belov/ pdtvisgoodbakery0.aig.k25.gcnf
|
UNSAT TT=637.637
|
UNSAT TT=637.637
|
UNSAT TT=269.007
|
UNSAT TT=1136.22
|
UNSAT TT=1111.99
|
UNSAT TT=1476.47
|
? (exit code) TT=1199.05
|
No Cert. TT=1800.14
|
No Cert. TT=1800.28
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ pdtvisgoodbakery1.aig.k20.gcnf
|
UNSAT TT=168.235
|
UNSAT TT=239.687
|
UNSAT TT=117.411
|
UNSAT TT=185.113
|
UNSAT TT=301.001
|
UNSAT TT=168.235
|
UNSAT TT=536.415
|
UNSAT TT=1586.6
|
UNSAT TT=1747.11
|
gmus/belov/ pdtvisgoodbakery2.aig.k20.gcnf
|
UNSAT TT=222.061
|
UNSAT TT=283.673
|
UNSAT TT=68.116
|
UNSAT TT=241.544
|
UNSAT TT=259.173
|
UNSAT TT=222.061
|
UNSAT TT=690.126
|
UNSAT TT=1747.26
|
UNSAT TT=1167.71
|
gmus/belov/ pdtvisgoodbakery2.aig.k25.gcnf
|
UNSAT TT=621.008
|
UNSAT TT=621.008
|
UNSAT TT=242.467
|
UNSAT TT=807.7
|
UNSAT TT=1610.97
|
UNSAT TT=1714.15
|
? (exit code) TT=1199.05
|
No Cert. TT=1800.05
|
No Cert. TT=1800.38
|
gmus/belov/ pdtvisheap00.aig.k20.gcnf
|
UNSAT TT=179.671
|
UNSAT TT=647.15
|
UNSAT TT=552.512
|
UNSAT TT=179.671
|
UNSAT TT=192.903
|
UNSAT TT=856.608
|
UNSAT TT=376.465
|
UNSAT TT=224.566
|
No Cert. TT=1800.27
|
gmus/belov/ pdtvisns2p0.aig.k15.gcnf
|
UNSAT TT=70.575
|
UNSAT TT=70.575
|
UNSAT TT=23.636
|
UNSAT TT=100.986
|
UNSAT TT=110.231
|
UNSAT TT=108.052
|
UNSAT TT=253.596
|
UNSAT TT=245.694
|
UNSAT TT=865.294
|
gmus/belov/ pdtvisns2p0.aig.k20.gcnf
|
UNSAT TT=203.897
|
UNSAT TT=203.897
|
UNSAT TT=55.412
|
UNSAT TT=1448.05
|
UNSAT TT=361.927
|
UNSAT TT=397.842
|
UNSAT TT=564.48
|
UNSAT TT=596.029
|
No Cert. TT=1800.31
|
gmus/belov/ pdtvisns2p1.aig.k15.gcnf
|
UNSAT TT=109.036
|
UNSAT TT=109.036
|
UNSAT TT=40.164
|
UNSAT TT=286.692
|
UNSAT TT=164.582
|
UNSAT TT=434.641
|
UNSAT TT=399.192
|
UNSAT TT=688.668
|
No Cert. TT=1650.25
|
gmus/belov/ pdtvisns2p2.aig.k15.gcnf
|
UNSAT TT=78.438
|
UNSAT TT=78.438
|
UNSAT TT=31.496
|
UNSAT TT=155.927
|
UNSAT TT=150.958
|
UNSAT TT=434.315
|
UNSAT TT=423.101
|
UNSAT TT=327.979
|
No Cert. TT=1800.15
|
gmus/belov/ pdtvisns2p3.aig.k15.gcnf
|
UNSAT TT=10.28
|
UNSAT TT=18.778
|
UNSAT TT=5.118
|
UNSAT TT=11.163
|
UNSAT TT=10.28
|
UNSAT TT=15.398
|
UNSAT TT=43.452
|
UNSAT TT=67.104
|
UNSAT TT=428.583
|
gmus/belov/ pdtvisns2p3.aig.k20.gcnf
|
UNSAT TT=21.774
|
UNSAT TT=46.456
|
UNSAT TT=10.607
|
UNSAT TT=42.068
|
UNSAT TT=21.774
|
UNSAT TT=46.35
|
UNSAT TT=114.627
|
UNSAT TT=158.267
|
No Cert. TT=1800.24
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ pdtvisns2p3.aig.k25.gcnf
|
UNSAT TT=48.882
|
UNSAT TT=76.366
|
UNSAT TT=22.022
|
UNSAT TT=51.726
|
UNSAT TT=48.882
|
UNSAT TT=59.152
|
UNSAT TT=184.001
|
UNSAT TT=291.486
|
? (TO) TT=1800.27
|
gmus/belov/ pdtvisns3p00.aig.k10.gcnf
|
UNSAT TT=238.444
|
UNSAT TT=273.642
|
UNSAT TT=191.003
|
UNSAT TT=297.666
|
UNSAT TT=238.444
|
UNSAT TT=602.75
|
UNSAT TT=1084.52
|
UNSAT TT=1156.13
|
No Cert. TT=1800.21
|
gmus/belov/ pdtvisns3p01.aig.k10.gcnf
|
UNSAT TT=255.303
|
UNSAT TT=631.543
|
UNSAT TT=701.008
|
UNSAT TT=316.719
|
UNSAT TT=255.303
|
UNSAT TT=964.68
|
UNSAT TT=1059.45
|
No Cert. TT=1800.11
|
No Cert. TT=1800.14
|
gmus/belov/ pdtvisns3p02.aig.k10.gcnf
|
UNSAT TT=340.498
|
UNSAT TT=1113.1
|
UNSAT TT=1797.02
|
UNSAT TT=340.498
|
UNSAT TT=342.057
|
UNSAT TT=1041.13
|
UNSAT TT=964.362
|
UNSAT TT=1634.01
|
No Cert. TT=1800.16
|
gmus/belov/ pdtvisns3p03.aig.k10.gcnf
|
UNSAT TT=247.563
|
UNSAT TT=1067.31
|
UNSAT TT=733.843
|
UNSAT TT=275.159
|
UNSAT TT=247.563
|
UNSAT TT=1059.5
|
UNSAT TT=786.452
|
No Cert. TT=1800.12
|
No Cert. TT=1800.26
|
gmus/belov/ pdtvisns3p04.aig.k10.gcnf
|
UNSAT TT=95.002
|
UNSAT TT=95.002
|
UNSAT TT=61.921
|
UNSAT TT=158.11
|
UNSAT TT=130.66
|
UNSAT TT=431.632
|
UNSAT TT=387.946
|
UNSAT TT=285.095
|
No Cert. TT=1800.24
|
gmus/belov/ pdtvisns3p05.aig.k10.gcnf
|
UNSAT TT=90.253
|
UNSAT TT=90.253
|
UNSAT TT=60.276
|
UNSAT TT=117.24
|
UNSAT TT=107.256
|
UNSAT TT=345.308
|
UNSAT TT=331.898
|
UNSAT TT=323.105
|
No Cert. TT=1800.34
|
gmus/belov/ pdtvisns3p06.aig.k10.gcnf
|
UNSAT TT=98.493
|
UNSAT TT=98.493
|
UNSAT TT=263.694
|
UNSAT TT=153.078
|
UNSAT TT=117.474
|
UNSAT TT=523.557
|
UNSAT TT=297.183
|
UNSAT TT=541.792
|
No Cert. TT=1800.28
|
gmus/belov/ pdtvisns3p07.aig.k10.gcnf
|
UNSAT TT=80.553
|
UNSAT TT=80.553
|
UNSAT TT=41.381
|
UNSAT TT=128.369
|
UNSAT TT=103.213
|
UNSAT TT=209.908
|
UNSAT TT=331.211
|
UNSAT TT=347.21
|
No Cert. TT=1151.31
|
gmus/belov/ pdtvisns3p08.aig.k10.gcnf
|
UNSAT TT=42.52
|
UNSAT TT=42.52
|
UNSAT TT=14.514
|
UNSAT TT=66.337
|
UNSAT TT=60.069
|
UNSAT TT=241.982
|
UNSAT TT=150.879
|
UNSAT TT=224.517
|
No Cert. TT=1800.26
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ pdtvisns3p08.aig.k15.gcnf
|
UNSAT TT=183.214
|
UNSAT TT=183.214
|
Wrong Cert. TT=199.056
|
UNSAT TT=475.228
|
UNSAT TT=361.438
|
No Cert. TT=1800.12
|
UNSAT TT=905.197
|
UNSAT TT=1750.54
|
No Cert. TT=1800.59
|
gmus/belov/ pdtvisns3p09.aig.k10.gcnf
|
UNSAT TT=39.051
|
UNSAT TT=39.051
|
UNSAT TT=26.22
|
UNSAT TT=98.542
|
UNSAT TT=70.533
|
UNSAT TT=149.066
|
UNSAT TT=174.072
|
UNSAT TT=277.869
|
UNSAT TT=583.538
|
gmus/belov/ pdtvisns3p09.aig.k15.gcnf
|
UNSAT TT=295.602
|
UNSAT TT=295.602
|
Wrong Cert. TT=152.749
|
UNSAT TT=452.344
|
UNSAT TT=662.846
|
UNSAT TT=1028.97
|
UNSAT TT=983.885
|
UNSAT TT=817.658
|
No Cert. TT=1800.23
|
gmus/belov/ pdtvisns3p10.aig.k15.gcnf
|
UNSAT TT=18.415
|
UNSAT TT=41.904
|
UNSAT TT=10.626
|
UNSAT TT=22.577
|
UNSAT TT=18.415
|
UNSAT TT=25.024
|
UNSAT TT=93.787
|
UNSAT TT=199.982
|
UNSAT TT=397.727
|
gmus/belov/ pdtvisns3p10.aig.k20.gcnf
|
UNSAT TT=34.722
|
UNSAT TT=140.629
|
UNSAT TT=20.947
|
UNSAT TT=48.974
|
UNSAT TT=45.528
|
UNSAT TT=34.722
|
UNSAT TT=194.607
|
UNSAT TT=375.558
|
UNSAT TT=857.777
|
gmus/belov/ pdtvisns3p10.aig.k25.gcnf
|
UNSAT TT=61.287
|
UNSAT TT=177.102
|
UNSAT TT=47.344
|
UNSAT TT=83.638
|
UNSAT TT=86.339
|
UNSAT TT=61.287
|
UNSAT TT=370.628
|
UNSAT TT=674.523
|
UNSAT TT=1506.35
|
gmus/belov/ pdtvisns3p16.aig.k25.gcnf
|
UNSAT TT=9.166
|
UNSAT TT=42.081
|
UNSAT TT=10.999
|
UNSAT TT=19.376
|
UNSAT TT=21.211
|
UNSAT TT=9.166
|
UNSAT TT=110.497
|
UNSAT TT=307.546
|
UNSAT TT=222.209
|
gmus/belov/ pdtvisns3p17.aig.k25.gcnf
|
UNSAT TT=10.288
|
UNSAT TT=49.806
|
UNSAT TT=11.502
|
UNSAT TT=20.746
|
UNSAT TT=19.357
|
UNSAT TT=10.288
|
UNSAT TT=109.773
|
UNSAT TT=316.566
|
UNSAT TT=300.626
|
gmus/belov/ pdtvisns3p18.aig.k25.gcnf
|
UNSAT TT=10.965
|
UNSAT TT=58.467
|
UNSAT TT=13.135
|
UNSAT TT=22.397
|
UNSAT TT=23.84
|
UNSAT TT=10.965
|
UNSAT TT=160.179
|
UNSAT TT=327.805
|
UNSAT TT=289.249
|
gmus/belov/ pdtvisns3p19.aig.k20.gcnf
|
UNSAT TT=6.85
|
UNSAT TT=29.673
|
UNSAT TT=6.811
|
UNSAT TT=12.049
|
UNSAT TT=14.083
|
UNSAT TT=6.85
|
UNSAT TT=68.836
|
UNSAT TT=206.287
|
UNSAT TT=207.574
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ pdtvisns3p19.aig.k25.gcnf
|
UNSAT TT=15.123
|
UNSAT TT=57.198
|
UNSAT TT=15.229
|
UNSAT TT=24.091
|
UNSAT TT=26.632
|
UNSAT TT=15.123
|
UNSAT TT=137.566
|
UNSAT TT=324.982
|
UNSAT TT=249.657
|
gmus/belov/ pdtvispeterson.aig.k25.gcnf
|
UNSAT TT=61.593
|
UNSAT TT=61.593
|
UNSAT TT=33.992
|
UNSAT TT=217.259
|
UNSAT TT=213.291
|
UNSAT TT=197.24
|
UNSAT TT=187.206
|
UNSAT TT=176.653
|
UNSAT TT=364.551
|
gmus/belov/ pdtvisrethersqo1.aig.k25.gcnf
|
UNSAT TT=2.656
|
UNSAT TT=11.284
|
UNSAT TT=1.916
|
UNSAT TT=6.094
|
UNSAT TT=2.656
|
UNSAT TT=4.622
|
UNSAT TT=16.722
|
UNSAT TT=31.783
|
UNSAT TT=268.084
|
gmus/belov/ pdtvissoap2.aig.k15.gcnf
|
UNSAT TT=133.692
|
UNSAT TT=167.164
|
UNSAT TT=68.968
|
UNSAT TT=226.704
|
UNSAT TT=133.692
|
UNSAT TT=625.821
|
UNSAT TT=475.578
|
UNSAT TT=678.893
|
No Cert. TT=876.042
|
gmus/belov/ pdtvistictactoe10.aig.k20.gcnf
|
UNSAT TT=46.169
|
UNSAT TT=46.169
|
Wrong Cert. TT=25.269
|
UNSAT TT=165.409
|
UNSAT TT=107.617
|
UNSAT TT=328.22
|
UNSAT TT=183.903
|
UNSAT TT=145.597
|
UNSAT TT=1280.85
|
gmus/belov/ pdtvistictactoe10.aig.k25.gcnf
|
UNSAT TT=76.908
|
UNSAT TT=76.908
|
UNSAT TT=51.561
|
UNSAT TT=676.318
|
UNSAT TT=322.117
|
UNSAT TT=523.996
|
UNSAT TT=342.101
|
UNSAT TT=254.991
|
No Cert. TT=964.828
|
gmus/belov/ pdtvistimeout0.aig.k10.gcnf
|
UNSAT TT=184.469
|
UNSAT TT=767.284
|
UNSAT TT=462.524
|
UNSAT TT=285.361
|
UNSAT TT=184.469
|
UNSAT TT=1379
|
UNSAT TT=648.984
|
UNSAT TT=705.339
|
No Cert. TT=1800.1
|
gmus/belov/ pdtvistimeout2.aig.k25.gcnf
|
UNSAT TT=59.057
|
UNSAT TT=71.243
|
UNSAT TT=19.922
|
UNSAT TT=68.171
|
UNSAT TT=64.524
|
UNSAT TT=59.057
|
UNSAT TT=184.055
|
UNSAT TT=174.063
|
UNSAT TT=432.837
|
gmus/belov/ pdtvistimeout3.aig.k20.gcnf
|
UNSAT TT=44.38
|
UNSAT TT=44.38
|
UNSAT TT=32.873
|
UNSAT TT=67.269
|
UNSAT TT=85.359
|
UNSAT TT=161.826
|
UNSAT TT=194.163
|
UNSAT TT=161.445
|
UNSAT TT=716.268
|
gmus/belov/ pdtvistimeout3.aig.k25.gcnf
|
UNSAT TT=81.477
|
UNSAT TT=81.477
|
UNSAT TT=90.147
|
UNSAT TT=145.344
|
UNSAT TT=164.848
|
UNSAT TT=393.12
|
UNSAT TT=369.906
|
UNSAT TT=285.935
|
No Cert. TT=1040.36
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ pdtvisvending00.aig.k20.gcnf
|
UNSAT TT=497.979
|
UNSAT TT=1307.11
|
? (TO) TT=1800.05
|
UNSAT TT=555.87
|
UNSAT TT=497.979
|
UNSAT TT=744.344
|
UNSAT TT=555.745
|
UNSAT TT=579.406
|
No Cert. TT=1800.28
|
gmus/belov/ pdtvisvending01.aig.k15.gcnf
|
UNSAT TT=167.668
|
UNSAT TT=676.981
|
? (TO) TT=1800.12
|
UNSAT TT=233.246
|
UNSAT TT=167.668
|
UNSAT TT=1375.15
|
UNSAT TT=453.92
|
UNSAT TT=869.696
|
No Cert. TT=1800.39
|
gmus/belov/ pdtvisvending02.aig.k25.gcnf
|
UNSAT TT=31.761
|
UNSAT TT=31.761
|
UNSAT TT=68.159
|
UNSAT TT=42.478
|
UNSAT TT=49.884
|
UNSAT TT=106.157
|
UNSAT TT=152.722
|
UNSAT TT=110.957
|
No Cert. TT=932.879
|
gmus/belov/ pdtvisvending05.aig.k25.gcnf
|
UNSAT TT=249.827
|
UNSAT TT=751.999
|
? (TO) TT=1800.12
|
UNSAT TT=371.827
|
UNSAT TT=275.482
|
UNSAT TT=596.331
|
UNSAT TT=249.827
|
UNSAT TT=280.636
|
No Cert. TT=889.358
|
gmus/belov/ pdtvisvending07.aig.k25.gcnf
|
UNSAT TT=227.226
|
UNSAT TT=740.472
|
? (TO) TT=1800.04
|
UNSAT TT=498.032
|
UNSAT TT=409.467
|
UNSAT TT=508.727
|
UNSAT TT=227.226
|
UNSAT TT=321.29
|
No Cert. TT=796.397
|
gmus/belov/ pdtvisvending08.aig.k25.gcnf
|
UNSAT TT=26.744
|
UNSAT TT=26.744
|
UNSAT TT=29.937
|
UNSAT TT=58.811
|
UNSAT TT=47.849
|
UNSAT TT=107.039
|
UNSAT TT=106.671
|
UNSAT TT=76.065
|
No Cert. TT=675.934
|
gmus/belov/ pdtvisvsa16a29.aig.k25.gcnf
|
UNSAT TT=62.478
|
UNSAT TT=78.247
|
UNSAT TT=18.26
|
UNSAT TT=973.067
|
UNSAT TT=479.968
|
UNSAT TT=62.478
|
UNSAT TT=232.868
|
UNSAT TT=212.763
|
UNSAT TT=364.95
|
gmus/belov/ pj2003.aig.k20.gcnf
|
UNSAT TT=9.015
|
UNSAT TT=95.486
|
UNSAT TT=28.185
|
UNSAT TT=40.117
|
UNSAT TT=44.221
|
UNSAT TT=9.015
|
UNSAT TT=222.345
|
UNSAT TT=1243.15
|
UNSAT TT=476.153
|
gmus/belov/ pj2006.aig.k10.gcnf
|
UNSAT TT=63.344
|
UNSAT TT=335.797
|
UNSAT TT=72.261
|
UNSAT TT=121.377
|
UNSAT TT=138.183
|
UNSAT TT=63.344
|
UNSAT TT=864.035
|
No Cert. TT=1800.1
|
No Cert. TT=1800.2
|
gmus/belov/ pj2007.aig.k20.gcnf
|
UNSAT TT=102.101
|
UNSAT TT=456.455
|
UNSAT TT=15.026
|
UNSAT TT=168.054
|
UNSAT TT=166.804
|
UNSAT TT=102.101
|
UNSAT TT=967.777
|
No Cert. TT=1800.04
|
UNSAT TT=1679.02
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/belov/ pj2007.aig.k25.gcnf
|
UNSAT TT=238.419
|
UNSAT TT=734.636
|
UNSAT TT=100.174
|
UNSAT TT=356.674
|
UNSAT TT=342.734
|
UNSAT TT=238.419
|
? (exit code) TT=1199.07
|
No Cert. TT=1800.09
|
No Cert. TT=1800.27
|
gmus/belov/ pj2008.aig.k20.gcnf
|
UNSAT TT=145.714
|
UNSAT TT=881.057
|
UNSAT TT=36.224
|
UNSAT TT=311.989
|
UNSAT TT=336.788
|
UNSAT TT=145.714
|
? (exit code) TT=1199.07
|
No Cert. TT=1800.05
|
No Cert. TT=1800.13
|
gmus/belov/ pj2010.aig.k20.gcnf
|
UNSAT TT=64.723
|
UNSAT TT=728.951
|
UNSAT TT=132.695
|
UNSAT TT=126.125
|
UNSAT TT=152.603
|
UNSAT TT=64.723
|
? (exit code) TT=1199.01
|
No Cert. TT=1800.04
|
No Cert. TT=1800.17
|
gmus/belov/ pj2010.aig.k25.gcnf
|
UNSAT TT=99.47
|
UNSAT TT=1072.59
|
UNSAT TT=75.707
|
UNSAT TT=207.792
|
UNSAT TT=202.327
|
UNSAT TT=99.47
|
? (exit code) TT=1199.09
|
No Cert. TT=1800.06
|
No Cert. TT=1800.15
|
gmus/belov/ vis4arbitp1.aig.k25.gcnf
|
UNSAT TT=89.91
|
UNSAT TT=1410.95
|
? (TO) TT=1800.1
|
UNSAT TT=147.172
|
UNSAT TT=89.91
|
UNSAT TT=564.463
|
UNSAT TT=375.798
|
UNSAT TT=277.677
|
No Cert. TT=1800.11
|
gmus/belov/ viscoherencep2.aig.k20.gcnf
|
UNSAT TT=241.9
|
UNSAT TT=241.9
|
? (TO) TT=1800.11
|
UNSAT TT=699.814
|
UNSAT TT=560.78
|
UNSAT TT=1409.27
|
UNSAT TT=967.103
|
UNSAT TT=365.561
|
No Cert. TT=887.32
|
gmus/belov/ viscoherencep3.aig.k15.gcnf
|
UNSAT TT=98.124
|
UNSAT TT=98.124
|
UNSAT TT=128.22
|
UNSAT TT=224.987
|
UNSAT TT=169.243
|
UNSAT TT=264.804
|
UNSAT TT=372.877
|
UNSAT TT=230.734
|
No Cert. TT=1800.27
|
gmus/belov/ viscoherencep3.aig.k20.gcnf
|
UNSAT TT=623.931
|
UNSAT TT=791.547
|
? (TO) TT=1800.06
|
UNSAT TT=754.228
|
UNSAT TT=623.931
|
No Cert. TT=1800.1
|
? (exit code) TT=1199.09
|
UNSAT TT=668.993
|
No Cert. TT=1800.3
|
gmus/nadel/ edn_20259_10.cnf_0.48000000.unsat.gcnf
|
UNSAT TT=4.555
|
UNSAT TT=4.555
|
UNSAT TT=7.23
|
UNSAT TT=8.15
|
UNSAT TT=8.213
|
UNSAT TT=26.412
|
UNSAT TT=119.251
|
UNSAT TT=33.452
|
No Cert. TT=1800.19
|
gmus/nadel/ edn_20259_12.cnf_0.50000000.unsat.gcnf
|
UNSAT TT=3.475
|
UNSAT TT=3.475
|
UNSAT TT=9.094
|
UNSAT TT=9.088
|
UNSAT TT=9.17
|
UNSAT TT=27.768
|
UNSAT TT=156.883
|
UNSAT TT=32.904
|
UNSAT TT=5.877
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/nadel/ edn_20259_14.cnf_0.55000000.unsat.gcnf
|
UNSAT TT=7.545
|
UNSAT TT=7.545
|
UNSAT TT=10.342
|
UNSAT TT=10.795
|
UNSAT TT=10.922
|
UNSAT TT=37.064
|
UNSAT TT=206.936
|
UNSAT TT=46.613
|
UNSAT TT=6.251
|
gmus/nadel/ edn_20259_4.cnf_0.21000000.unsat.gcnf
|
UNSAT TT=0.692
|
UNSAT TT=0.692
|
UNSAT TT=1.148
|
UNSAT TT=2.512
|
UNSAT TT=2.733
|
UNSAT TT=2.394
|
UNSAT TT=16.881
|
UNSAT TT=4.264
|
Wrong Cert. TT=104.658
|
gmus/nadel/ edn_20259_6.cnf_0.31000000.unsat.gcnf
|
UNSAT TT=1.558
|
UNSAT TT=1.558
|
UNSAT TT=4.492
|
UNSAT TT=4.939
|
UNSAT TT=4.911
|
UNSAT TT=7.603
|
UNSAT TT=36.236
|
UNSAT TT=10.856
|
UNSAT TT=160.204
|
gmus/nadel/ edn_20259_8.cnf_0.39000000.unsat.gcnf
|
UNSAT TT=2.496
|
UNSAT TT=2.496
|
UNSAT TT=5.594
|
UNSAT TT=5.789
|
UNSAT TT=5.276
|
UNSAT TT=13.979
|
UNSAT TT=63.165
|
UNSAT TT=15.137
|
UNSAT TT=3.987
|
gmus/nadel/ edn_20403_10.cnf_0.03000000.unsat.gcnf
|
UNSAT TT=0.144
|
UNSAT TT=0.144
|
UNSAT TT=0.464
|
UNSAT TT=0.436
|
UNSAT TT=0.443
|
UNSAT TT=0.176
|
UNSAT TT=1.158
|
UNSAT TT=0.649
|
UNSAT TT=3.195
|
gmus/nadel/ edn_20403_12.cnf_0.08000000.unsat.gcnf
|
UNSAT TT=0.412
|
UNSAT TT=0.412
|
UNSAT TT=0.651
|
UNSAT TT=0.667
|
UNSAT TT=0.685
|
UNSAT TT=0.642
|
UNSAT TT=2.668
|
UNSAT TT=1.529
|
UNSAT TT=5.206
|
gmus/nadel/ edn_20403_14.cnf_0.10000000.unsat.gcnf
|
UNSAT TT=0.516
|
UNSAT TT=0.516
|
UNSAT TT=0.804
|
UNSAT TT=0.825
|
UNSAT TT=0.753
|
UNSAT TT=0.832
|
UNSAT TT=2.864
|
UNSAT TT=1.361
|
UNSAT TT=9.383
|
gmus/nadel/ edn_20403_16.cnf_0.29000000.unsat.gcnf
|
UNSAT TT=0.533
|
UNSAT TT=0.533
|
UNSAT TT=0.929
|
UNSAT TT=0.983
|
UNSAT TT=0.936
|
UNSAT TT=0.861
|
UNSAT TT=3.245
|
UNSAT TT=1.449
|
UNSAT TT=3.095
|
gmus/nadel/ edn_20403_23.cnf_14.27000000.unsat.gcnf
|
UNSAT TT=2.702
|
UNSAT TT=4.753
|
UNSAT TT=2.822
|
UNSAT TT=3.1
|
UNSAT TT=2.702
|
UNSAT TT=17.518
|
UNSAT TT=30.929
|
UNSAT TT=11.792
|
UNSAT TT=98.47
|
gmus/nadel/ edn_20403_8.cnf_0.03000000.unsat.gcnf
|
UNSAT TT=0.105
|
UNSAT TT=0.115
|
UNSAT TT=0.273
|
UNSAT TT=0.365
|
UNSAT TT=0.339
|
UNSAT TT=0.105
|
UNSAT TT=0.687
|
UNSAT TT=0.434
|
UNSAT TT=1.485
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/nadel/ edn_22134_10.cnf_0.47000000.unsat.gcnf
|
UNSAT TT=4.041
|
UNSAT TT=4.041
|
UNSAT TT=7.116
|
UNSAT TT=7.152
|
UNSAT TT=7.193
|
UNSAT TT=17.177
|
UNSAT TT=98.995
|
UNSAT TT=19.683
|
UNSAT TT=4.495
|
gmus/nadel/ edn_22134_12.cnf_0.50000000.unsat.gcnf
|
UNSAT TT=4.536
|
UNSAT TT=4.536
|
UNSAT TT=8.388
|
UNSAT TT=8.095
|
UNSAT TT=8.205
|
UNSAT TT=24.695
|
UNSAT TT=138.221
|
UNSAT TT=26.561
|
UNSAT TT=5.753
|
gmus/nadel/ edn_22134_4.cnf_0.14000000.unsat.gcnf
|
UNSAT TT=0.64
|
UNSAT TT=0.64
|
UNSAT TT=2.554
|
UNSAT TT=2.601
|
UNSAT TT=2.54
|
UNSAT TT=3.019
|
UNSAT TT=17.022
|
UNSAT TT=4.564
|
UNSAT TT=75.277
|
gmus/nadel/ edn_22134_6.cnf_0.31000000.unsat.gcnf
|
UNSAT TT=3.147
|
UNSAT TT=3.147
|
UNSAT TT=3.926
|
UNSAT TT=4.491
|
UNSAT TT=4.196
|
UNSAT TT=7.238
|
UNSAT TT=37.365
|
UNSAT TT=20.025
|
UNSAT TT=426.967
|
gmus/nadel/ edn_22134_8.cnf_0.38000000.unsat.gcnf
|
UNSAT TT=3.957
|
UNSAT TT=3.957
|
UNSAT TT=5.783
|
UNSAT TT=6.12
|
UNSAT TT=5.639
|
UNSAT TT=14.645
|
UNSAT TT=61.294
|
UNSAT TT=18.327
|
UNSAT TT=4.283
|
gmus/nadel/ edn_24095_10.cnf_0.29000000.unsat.gcnf
|
UNSAT TT=3.454
|
UNSAT TT=3.454
|
UNSAT TT=6.916
|
UNSAT TT=7.837
|
UNSAT TT=7.244
|
UNSAT TT=21.414
|
UNSAT TT=96.817
|
UNSAT TT=20.431
|
UNSAT TT=5.078
|
gmus/nadel/ edn_24095_17.cnf_4.40000000.unsat.gcnf
|
UNSAT TT=15.412
|
UNSAT TT=42.768
|
UNSAT TT=15.778
|
UNSAT TT=15.412
|
UNSAT TT=16.02
|
UNSAT TT=88.607
|
UNSAT TT=302.312
|
UNSAT TT=89.068
|
No Cert. TT=1800.25
|
gmus/nadel/ edn_24095_19.cnf_2.12000000.unsat.gcnf
|
UNSAT TT=14.544
|
UNSAT TT=18.001
|
UNSAT TT=16.787
|
UNSAT TT=14.544
|
UNSAT TT=14.681
|
UNSAT TT=36.612
|
UNSAT TT=355.04
|
UNSAT TT=62.832
|
No Cert. TT=1800.2
|
gmus/nadel/ edn_24095_4.cnf_0.11000000.unsat.gcnf
|
UNSAT TT=1.265
|
UNSAT TT=1.265
|
UNSAT TT=2.592
|
UNSAT TT=2.88
|
UNSAT TT=2.793
|
UNSAT TT=4.354
|
UNSAT TT=18.479
|
UNSAT TT=8.107
|
UNSAT TT=101.802
|
gmus/nadel/ edn_24095_6.cnf_0.17000000.unsat.gcnf
|
UNSAT TT=1.707
|
UNSAT TT=1.707
|
UNSAT TT=3.8
|
UNSAT TT=3.905
|
UNSAT TT=3.915
|
UNSAT TT=7.975
|
UNSAT TT=41.236
|
UNSAT TT=11.875
|
UNSAT TT=792.58
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/nadel/ edn_24095_8.cnf_0.21000000.unsat.gcnf
|
UNSAT TT=1.48
|
UNSAT TT=1.48
|
UNSAT TT=5.389
|
UNSAT TT=5.333
|
UNSAT TT=5.722
|
UNSAT TT=12.035
|
UNSAT TT=64.327
|
UNSAT TT=15.786
|
UNSAT TT=3.735
|
gmus/nadel/ edn_25208_10.cnf_0.58000000.unsat.gcnf
|
UNSAT TT=1.528
|
UNSAT TT=1.528
|
UNSAT TT=4.953
|
UNSAT TT=4.855
|
UNSAT TT=4.847
|
UNSAT TT=7.367
|
UNSAT TT=36.281
|
UNSAT TT=11.612
|
UNSAT TT=231.04
|
gmus/nadel/ edn_25208_14.cnf_37.38000000.unsat.gcnf
|
UNSAT TT=11.032
|
UNSAT TT=35.651
|
UNSAT TT=11.396
|
UNSAT TT=11.032
|
UNSAT TT=16.342
|
UNSAT TT=52.963
|
UNSAT TT=361.342
|
UNSAT TT=69.525
|
No Cert. TT=1800.2
|
gmus/nadel/ edn_25208_2.cnf_0.08000000.unsat.gcnf
|
UNSAT TT=1.953
|
UNSAT TT=2.556
|
UNSAT TT=2.016
|
UNSAT TT=1.978
|
UNSAT TT=1.953
|
UNSAT TT=5.76
|
UNSAT TT=13.414
|
UNSAT TT=9.26
|
UNSAT TT=24.855
|
gmus/nadel/ edn_25208_4.cnf_0.05000000.unsat.gcnf
|
UNSAT TT=0.597
|
UNSAT TT=0.597
|
UNSAT TT=2.461
|
UNSAT TT=2.608
|
UNSAT TT=2.376
|
UNSAT TT=1.548
|
UNSAT TT=7.262
|
UNSAT TT=4.28
|
UNSAT TT=33.779
|
gmus/nadel/ edn_25208_6.cnf_0.20000000.unsat.gcnf
|
UNSAT TT=2.053
|
UNSAT TT=2.053
|
UNSAT TT=2.209
|
UNSAT TT=2.293
|
UNSAT TT=2.287
|
UNSAT TT=5.022
|
UNSAT TT=14.596
|
UNSAT TT=9.303
|
UNSAT TT=99.57
|
gmus/nadel/ edn_25208_8.cnf_0.30000000.unsat.gcnf
|
UNSAT TT=3.638
|
UNSAT TT=3.638
|
UNSAT TT=3.74
|
UNSAT TT=4.014
|
UNSAT TT=3.667
|
UNSAT TT=9.496
|
UNSAT TT=33.905
|
UNSAT TT=14.624
|
UNSAT TT=110.187
|
gmus/nadel/ edn_28491_10.cnf_0.46000000.unsat.gcnf
|
UNSAT TT=3.835
|
UNSAT TT=3.835
|
UNSAT TT=7.143
|
UNSAT TT=7.047
|
UNSAT TT=7.028
|
UNSAT TT=18.229
|
UNSAT TT=99.399
|
UNSAT TT=20.178
|
UNSAT TT=4.971
|
gmus/nadel/ edn_28491_12.cnf_0.50000000.unsat.gcnf
|
UNSAT TT=3.692
|
UNSAT TT=3.692
|
UNSAT TT=8.607
|
UNSAT TT=8.201
|
UNSAT TT=8.118
|
UNSAT TT=23.793
|
UNSAT TT=138.166
|
UNSAT TT=30.943
|
UNSAT TT=5.795
|
gmus/nadel/ edn_28491_6.cnf_0.31000000.unsat.gcnf
|
UNSAT TT=2.806
|
UNSAT TT=2.806
|
UNSAT TT=3.964
|
UNSAT TT=4.071
|
UNSAT TT=4.054
|
UNSAT TT=7.942
|
UNSAT TT=36.498
|
UNSAT TT=16.604
|
UNSAT TT=287.24
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/nadel/ edn_28491_8.cnf_0.39000000.unsat.gcnf
|
UNSAT TT=3.823
|
UNSAT TT=3.823
|
UNSAT TT=5.318
|
UNSAT TT=5.753
|
UNSAT TT=5.745
|
UNSAT TT=13.802
|
UNSAT TT=65.984
|
UNSAT TT=18.301
|
UNSAT TT=4.015
|
gmus/nadel/ edn_2948_10.cnf_0.28000000.unsat.gcnf
|
UNSAT TT=3.426
|
UNSAT TT=3.426
|
UNSAT TT=5.99
|
UNSAT TT=5.866
|
UNSAT TT=6.457
|
UNSAT TT=16.708
|
UNSAT TT=67.291
|
UNSAT TT=17.968
|
No Cert. TT=1800.14
|
gmus/nadel/ edn_2948_14.cnf_0.97000000.unsat.gcnf
|
UNSAT TT=7.847
|
UNSAT TT=10.246
|
UNSAT TT=8.386
|
UNSAT TT=7.847
|
UNSAT TT=7.856
|
UNSAT TT=14.731
|
UNSAT TT=103.19
|
UNSAT TT=24.275
|
No Cert. TT=1800.24
|
gmus/nadel/ edn_2948_4.cnf_0.07000000.unsat.gcnf
|
UNSAT TT=0.419
|
UNSAT TT=0.419
|
UNSAT TT=0.583
|
UNSAT TT=2.087
|
UNSAT TT=2.076
|
UNSAT TT=1.702
|
UNSAT TT=8.458
|
UNSAT TT=3.573
|
Wrong Cert. TT=3.592
|
gmus/nadel/ edn_2948_6.cnf_0.12000000.unsat.gcnf
|
UNSAT TT=0.938
|
UNSAT TT=0.938
|
UNSAT TT=1.282
|
UNSAT TT=2.796
|
UNSAT TT=3.059
|
UNSAT TT=4.193
|
UNSAT TT=14.758
|
UNSAT TT=6.651
|
UNSAT TT=2.734
|
gmus/nadel/ edn_2948_8.cnf_0.25000000.unsat.gcnf
|
UNSAT TT=1.643
|
UNSAT TT=1.643
|
UNSAT TT=1.886
|
UNSAT TT=4.398
|
UNSAT TT=4.72
|
UNSAT TT=9.201
|
UNSAT TT=34.45
|
UNSAT TT=7.832
|
UNSAT TT=3.245
|
gmus/nadel/ edn_5371_10.cnf_0.46000000.unsat.gcnf
|
UNSAT TT=4.638
|
UNSAT TT=4.638
|
UNSAT TT=7.344
|
UNSAT TT=7.329
|
UNSAT TT=7.355
|
UNSAT TT=23.887
|
UNSAT TT=119.758
|
UNSAT TT=23.467
|
No Cert. TT=1800.13
|
gmus/nadel/ edn_5371_12.cnf_0.50000000.unsat.gcnf
|
UNSAT TT=7.266
|
UNSAT TT=7.266
|
UNSAT TT=9.942
|
UNSAT TT=8.964
|
UNSAT TT=9.59
|
UNSAT TT=25.52
|
UNSAT TT=148.25
|
UNSAT TT=32.235
|
UNSAT TT=642.26
|
gmus/nadel/ edn_5371_4.cnf_0.21000000.unsat.gcnf
|
UNSAT TT=0.616
|
UNSAT TT=0.616
|
UNSAT TT=1.12
|
UNSAT TT=2.502
|
UNSAT TT=2.768
|
UNSAT TT=3.091
|
UNSAT TT=17.162
|
UNSAT TT=5.107
|
UNSAT TT=3.29
|
gmus/nadel/ edn_5371_6.cnf_0.30000000.unsat.gcnf
|
UNSAT TT=1.225
|
UNSAT TT=1.225
|
UNSAT TT=4.59
|
UNSAT TT=4.928
|
UNSAT TT=5.395
|
UNSAT TT=8.154
|
UNSAT TT=37.503
|
UNSAT TT=11.54
|
UNSAT TT=3.429
|
Bench name | Best results | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 941 (complete) | SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) |
gmus/nadel/ edn_5371_8.cnf_0.39000000.unsat.gcnf
|
UNSAT TT=3.452
|
UNSAT TT=3.452
|
UNSAT TT=5.971
|
UNSAT TT=5.695
|
UNSAT TT=6.2
|
UNSAT TT=16.415
|
UNSAT TT=62.821
|
UNSAT TT=19.548
|
UNSAT TT=4.339
|
gmus/nadel/ edn_9789_10.cnf_0.68000000.unsat.gcnf
|
UNSAT TT=3.875
|
UNSAT TT=3.875
|
UNSAT TT=5.015
|
UNSAT TT=5.309
|
UNSAT TT=4.871
|
UNSAT TT=6.308
|
UNSAT TT=48.623
|
UNSAT TT=15.876
|
UNSAT TT=626.955
|
gmus/nadel/ edn_9789_12.cnf_0.93000000.unsat.gcnf
|
UNSAT TT=3.005
|
UNSAT TT=3.005
|
UNSAT TT=6.153
|
UNSAT TT=5.805
|
UNSAT TT=5.931
|
UNSAT TT=3.745
|
UNSAT TT=64.502
|
UNSAT TT=15.661
|
UNSAT TT=373.205
|
gmus/nadel/ edn_9789_21.cnf_46.05000000.unsat.gcnf
|
UNSAT TT=15.491
|
UNSAT TT=27.891
|
UNSAT TT=17.104
|
UNSAT TT=15.491
|
UNSAT TT=16.314
|
UNSAT TT=54.519
|
UNSAT TT=351.175
|
UNSAT TT=64.822
|
No Cert. TT=1800.23
|
gmus/nadel/ edn_9789_2.cnf_0.07000000.unsat.gcnf
|
UNSAT TT=0.372
|
UNSAT TT=0.372
|
UNSAT TT=1.357
|
UNSAT TT=1.458
|
UNSAT TT=1.415
|
UNSAT TT=0.718
|
UNSAT TT=3.67
|
UNSAT TT=2.187
|
UNSAT TT=2.955
|
gmus/nadel/ edn_9789_6.cnf_0.31000000.unsat.gcnf
|
UNSAT TT=2.575
|
UNSAT TT=4.785
|
UNSAT TT=2.623
|
UNSAT TT=2.822
|
UNSAT TT=2.575
|
UNSAT TT=10.861
|
UNSAT TT=24.701
|
UNSAT TT=16.796
|
UNSAT TT=237.512
|
gmus/nadel/ edn_9789_8.cnf_0.51000000.unsat.gcnf
|
UNSAT TT=3.904
|
UNSAT TT=5.967
|
UNSAT TT=3.802
|
UNSAT TT=3.904
|
UNSAT TT=4.258
|
UNSAT TT=6.832
|
UNSAT TT=39.062
|
UNSAT TT=49.88
|
UNSAT TT=796.109
|
|
Statistics | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | Haifa-HLMUC-A 2011-04-07 (complete) | MoUsSaka 2011-03-26 (complete) | MUSer 2011-02-10 (complete) | PicoGCNF 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 | 197 | 0 | 196 | 196 | 194 | 184 | 181 | 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) | 114 | 0 | 16 | 24 | 40 | 2 | 1 | 0 |