additional-aig/ c32sat-ssort/ssort10.aig |
|
? (TO) TT=1200.06
|
? (TO) TT=1200.18
|
? (TO) TT=1200.15
|
? (TO) TT=1200.08
|
? (TO) TT=1200
|
additional-aig/ c32sat-ssort/ssort11.aig |
|
? (TO) TT=1200.13
|
? (TO) TT=1200.21
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
? (TO) TT=1200.02
|
additional-aig/ c32sat-ssort/ssort12.aig |
|
? (TO) TT=1200.12
|
? (TO) TT=1200.21
|
? (TO) TT=1200.11
|
? (TO) TT=1200
|
? (TO) TT=1200.08
|
additional-aig/ c32sat-ssort/ssort13.aig |
|
? (TO) TT=1200.07
|
? (TO) TT=1200.11
|
? (TO) TT=1200.15
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
additional-aig/ c32sat-ssort/ssort14.aig |
|
? (TO) TT=1200.1
|
? (TO) TT=1200.14
|
? (TO) TT=1200.15
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
additional-aig/ c32sat-ssort/ssort15.aig |
|
? (TO) TT=1200.12
|
? (TO) TT=1200.11
|
? (TO) TT=1200.18
|
? (TO) TT=1200.05
|
? (TO) TT=1200
|
additional-aig/ c32sat-ssort/ssort16.aig |
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.15
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
additional-aig/ c32sat-ssort/ssort17.aig |
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.2
|
? (TO) TT=1200
|
? (TO) TT=1200.04
|
additional-aig/ c32sat-ssort/ssort18.aig |
|
? (TO) TT=1200.12
|
? (TO) TT=1200.13
|
? (TO) TT=1200.19
|
? (TO) TT=1200
|
? (TO) TT=1200.03
|
additional-aig/ c32sat-ssort/ssort19.aig |
|
? (TO) TT=1200.12
|
? (TO) TT=1200.07
|
? (TO) TT=1200.22
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ c32sat-ssort/ssort20.aig |
|
? (TO) TT=1200.12
|
? (TO) TT=1200.15
|
? (TO) TT=1200.16
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
additional-aig/ c32sat-ssort/ssort5.aig |
UNSAT
TT=12.121
|
UNSAT TT=12.121
|
? (TO) TT=1200.18
|
? (TO) TT=1200.11
|
UNSAT TT=12.432
|
UNSAT TT=623.093
|
additional-aig/ c32sat-ssort/ssort6.aig |
UNSAT
TT=68.088
|
UNSAT TT=68.088
|
? (TO) TT=1200.15
|
? (TO) TT=1200.08
|
UNSAT TT=76.406
|
? (TO) TT=1200.12
|
additional-aig/ c32sat-ssort/ssort7.aig |
UNSAT
TT=182.258
|
UNSAT TT=182.258
|
? (TO) TT=1200.22
|
? (TO) TT=1200.05
|
UNSAT TT=545.788
|
? (TO) TT=1200.11
|
additional-aig/ c32sat-ssort/ssort8.aig |
UNSAT
TT=822.831
|
UNSAT TT=822.831
|
? (TO) TT=1200.18
|
? (TO) TT=1200.11
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
additional-aig/ c32sat-ssort/ssort9.aig |
|
? (TO) TT=1200.05
|
? (TO) TT=1200.12
|
? (TO) TT=1200.14
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
additional-aig/ibm/ ibm18_len28_unsat.aig |
UNSAT
TT=16.597
|
UNSAT TT=42.522
|
UNSAT TT=143.648
|
UNSAT TT=259.684
|
UNSAT TT=16.597
|
UNSAT TT=33.886
|
additional-aig/ibm/ ibm18_len29_sat.aig |
SAT
TT=15.767
|
SAT TT=62.962
|
SAT TT=157.021
|
SAT TT=348.244
|
SAT TT=15.767
|
SAT TT=46.143
|
additional-aig/ibm/ ibm20_len43_unsat.aig |
UNSAT
TT=167.696
|
UNSAT TT=718.169
|
UNSAT TT=954.517
|
? (TO) TT=1200.11
|
UNSAT TT=171.625
|
UNSAT TT=167.696
|
additional-aig/ibm/ ibm20_len44_sat.aig |
SAT
TT=27.362
|
SAT TT=132.412
|
SAT TT=666.564
|
SAT TT=878.62
|
SAT TT=27.362
|
SAT TT=80.272
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ibm/ ibm22_len51_unsat.aig |
UNSAT
TT=60.751
|
UNSAT TT=165.819
|
UNSAT TT=302.028
|
UNSAT TT=349.711
|
UNSAT TT=60.751
|
UNSAT TT=134.503
|
additional-aig/ibm/ ibm22_len52_sat.aig |
SAT
TT=123.671
|
SAT TT=197.322
|
SAT TT=544.393
|
SAT TT=452.567
|
SAT TT=123.671
|
SAT TT=156.507
|
additional-aig/ibm/ ibm23_len35_unsat.aig |
UNSAT
TT=125.649
|
UNSAT TT=279.719
|
UNSAT TT=492.068
|
UNSAT TT=320.688
|
UNSAT TT=125.649
|
UNSAT TT=202.023
|
additional-aig/ibm/ ibm23_len36_sat.aig |
SAT
TT=142.725
|
SAT TT=298.742
|
? (TO) TT=1200.1
|
SAT TT=671.039
|
SAT TT=142.725
|
SAT TT=274.41
|
additional-aig/ibm/ ibm29_len25_unsat.aig |
UNSAT
TT=19.561
|
UNSAT TT=65.69
|
UNSAT TT=596.569
|
UNSAT TT=153.116
|
UNSAT TT=19.561
|
UNSAT TT=63.607
|
additional-aig/ibm/ ibm29_len26_sat.aig |
SAT
TT=10.374
|
SAT TT=34.748
|
SAT TT=35.185
|
SAT TT=117.709
|
SAT TT=10.374
|
SAT TT=45.09
|
additional-aig/minisat+/ air03.sat_nonopt.aig |
SAT
TT=250.388
|
? (MO) TT=78.974
|
? (MO) TT=208.747
|
? (TO) TT=1200.27
|
SAT TT=305.433
|
SAT TT=250.388
|
additional-aig/minisat+/ air03.undecided.aig |
SAT
TT=342.832
|
? (MO) TT=78.382
|
? (MO) TT=208.406
|
? (TO) TT=1200.34
|
SAT TT=342.832
|
SAT TT=359.487
|
additional-aig/ minisat+/ cache.noobj_unsat.aig |
UNSAT
TT=283.486
|
UNSAT TT=798.912
|
UNSAT TT=807.259
|
UNSAT TT=628.62
|
UNSAT TT=283.486
|
UNSAT TT=1144.99
|
additional-aig/minisat+/ enigma.sat_opt.aig |
SAT
TT=0.255
|
SAT TT=0.298
|
SAT TT=0.694
|
SAT TT=0.712
|
SAT TT=1.088
|
SAT TT=0.255
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/minisat+/ enigma.unsat.aig |
SAT
TT=0.256
|
SAT TT=0.297
|
SAT TT=0.652
|
SAT TT=0.764
|
SAT TT=1.087
|
SAT TT=0.256
|
additional-aig/ minisat+/ g15x15.sat_nonopt.aig |
SAT
TT=1118.3
|
? (TO) TT=1200.05
|
? (TO) TT=1200.11
|
SAT TT=1118.3
|
? (TO) TT=1200.08
|
? (TO) TT=1200.12
|
additional-aig/minisat+/ g15x15.undecided.aig |
UNSAT
TT=639.494
|
? (TO) TT=1200.07
|
UNSAT TT=901.747
|
UNSAT TT=639.494
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
additional-aig/minisat+/ g9x9.sat_opt.aig |
SAT
TT=0.434
|
SAT TT=1.739
|
SAT TT=2.047
|
SAT TT=1.771
|
SAT TT=0.485
|
SAT TT=0.434
|
additional-aig/minisat+/ g9x9.unsat.aig |
UNSAT
TT=0.642
|
UNSAT TT=1.874
|
UNSAT TT=2.745
|
UNSAT TT=2.253
|
UNSAT TT=1.018
|
UNSAT TT=0.642
|
additional-aig/minisat+/ ii8d1.sat_nonopt.aig |
SAT
TT=14.584
|
? (TO) TT=1200.13
|
? (TO) TT=1200.08
|
SAT TT=14.584
|
SAT TT=429.966
|
SAT TT=39.28
|
additional-aig/minisat+/ ii8d1.undecided.aig |
|
? (TO) TT=1200.14
|
? (TO) TT=1200.14
|
? (TO) TT=1200.11
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
additional-aig/minisat+/ jnh209.sat_opt.aig |
SAT
TT=0.157
|
SAT TT=0.157
|
SAT TT=0.418
|
SAT TT=0.449
|
SAT TT=0.467
|
SAT TT=0.231
|
additional-aig/minisat+/ jnh209.unsat.aig |
UNSAT
TT=0.151
|
UNSAT TT=0.151
|
UNSAT TT=0.513
|
UNSAT TT=0.546
|
UNSAT TT=0.599
|
UNSAT TT=0.359
|
additional-aig/minisat+/ l152lav.sat_opt.aig |
SAT
TT=9.881
|
SAT TT=9.881
|
SAT TT=22.565
|
SAT TT=1157.96
|
SAT TT=13.05
|
SAT TT=13.283
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/minisat+/ l152lav.unsat.aig |
SAT
TT=9.851
|
SAT TT=9.851
|
SAT TT=23.519
|
SAT TT=1154.26
|
SAT TT=13.022
|
SAT TT=12.7
|
additional-aig/minisat+/ lseu.sat_opt.aig |
SAT
TT=57.634
|
SAT TT=112.191
|
SAT TT=222.717
|
SAT TT=202.935
|
SAT TT=57.634
|
SAT TT=84.05
|
additional-aig/minisat+/ lseu.unsat.aig |
UNSAT
TT=74.514
|
UNSAT TT=143.467
|
UNSAT TT=248.698
|
UNSAT TT=225.223
|
UNSAT TT=74.514
|
UNSAT TT=128.466
|
additional-aig/minisat+/ mitre.sat_unopt.aig |
|
? (TO) TT=1200.15
|
? (MO) TT=276.82
|
? (TO) TT=1200.35
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
additional-aig/minisat+/ mitre.undecided.aig |
|
? (TO) TT=1200.15
|
? (MO) TT=271.289
|
? (TO) TT=1200.3
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
additional-aig/minisat+/ mod008.sat_opt.aig |
SAT
TT=0.142
|
SAT TT=6.48
|
SAT TT=0.213
|
SAT TT=0.238
|
SAT TT=0.734
|
SAT TT=0.142
|
additional-aig/minisat+/ mod008.unsat.aig |
SAT
TT=0.095
|
SAT TT=0.095
|
SAT TT=0.201
|
SAT TT=0.213
|
SAT TT=0.716
|
SAT TT=0.096
|
additional-aig/ minisat+/ ooo_tag14.noobj_unsat.aig |
UNSAT
TT=9.504
|
UNSAT TT=9.504
|
UNSAT TT=197.374
|
UNSAT TT=76.524
|
UNSAT TT=12.077
|
UNSAT TT=116.922
|
additional-aig/minisat+/ p0201.sat_opt.aig |
SAT
TT=177.989
|
SAT TT=263.436
|
SAT TT=545.186
|
SAT TT=429.193
|
SAT TT=334.393
|
SAT TT=177.989
|
additional-aig/minisat+/ p0201.unsat.aig |
UNSAT
TT=417.066
|
? (TO) TT=1200.13
|
? (TO) TT=1200.13
|
? (TO) TT=1200.12
|
UNSAT TT=417.066
|
UNSAT TT=881.787
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/minisat+/ p033.sat_opt.aig |
SAT
TT=0.133
|
SAT TT=0.158
|
SAT TT=0.462
|
SAT TT=0.394
|
SAT TT=0.385
|
SAT TT=0.133
|
additional-aig/minisat+/ p033.unsat.aig |
UNSAT
TT=0.153
|
UNSAT TT=0.153
|
UNSAT TT=0.517
|
UNSAT TT=0.421
|
UNSAT TT=0.423
|
UNSAT TT=0.211
|
additional-aig/minisat+/ p0548.sat_nonopt.aig |
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
additional-aig/minisat+/ p0548.undecided.aig |
|
? (TO) TT=1200.13
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
additional-aig/minisat+/ par8-5-c.sat_opt.aig |
SAT
TT=0.059
|
SAT TT=0.059
|
SAT TT=0.268
|
SAT TT=0.272
|
SAT TT=0.324
|
SAT TT=0.092
|
additional-aig/minisat+/ par8-5-c.unsat.aig |
UNSAT
TT=0.066
|
UNSAT TT=0.066
|
UNSAT TT=0.269
|
UNSAT TT=0.276
|
UNSAT TT=0.37
|
UNSAT TT=0.103
|
additional-aig/minisat+/ pk1.sat_opt.aig |
SAT
TT=1.109
|
SAT TT=2.454
|
SAT TT=5.1
|
SAT TT=413.397
|
SAT TT=5.098
|
SAT TT=1.109
|
additional-aig/ minisat+/pk1.usnat.aig |
SAT
TT=1.107
|
SAT TT=2.551
|
SAT TT=5.117
|
SAT TT=413.094
|
SAT TT=5.082
|
SAT TT=1.107
|
additional-aig/minisat+/ s4-4-3-1.sat_opt.aig |
SAT
TT=1.968
|
SAT TT=3.647
|
SAT TT=5.543
|
SAT TT=22.961
|
SAT TT=4.242
|
SAT TT=1.968
|
additional-aig/minisat+/ s4-4-3-1.unsat.aig |
UNSAT
TT=1.329
|
UNSAT TT=3.059
|
UNSAT TT=5.479
|
UNSAT TT=7.06
|
UNSAT TT=5.429
|
UNSAT TT=1.329
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ minisat+/ seymour.sat_nonopt.aig |
SAT
TT=268.593
|
? (TO) TT=1200.1
|
? (TO) TT=1200.13
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
SAT TT=268.593
|
additional-aig/ minisat+/ seymour.undecided.aig |
|
? (TO) TT=1200.09
|
? (TO) TT=1200.14
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
additional-aig/minisat+/ stein27.sat_opt.aig |
SAT
TT=0.017
|
SAT TT=0.017
|
SAT TT=0.028
|
SAT TT=0.029
|
SAT TT=0.14
|
SAT TT=0.02
|
additional-aig/minisat+/ stein27.unsat.aig |
UNSAT
TT=0.357
|
UNSAT TT=0.443
|
UNSAT TT=0.851
|
UNSAT TT=0.884
|
UNSAT TT=0.357
|
UNSAT TT=0.514
|
additional-aig/minisat+/ stein45.sat_opt.aig |
SAT
TT=0.087
|
SAT TT=0.087
|
SAT TT=2.371
|
SAT TT=1.271
|
SAT TT=0.209
|
SAT TT=0.327
|
additional-aig/minisat+/ stein45.unsat.aig |
UNSAT
TT=15.965
|
UNSAT TT=76.67
|
UNSAT TT=49.041
|
UNSAT TT=49.185
|
UNSAT TT=15.965
|
UNSAT TT=78.194
|
additional-aig/ pico-java/ prop02_len65_base.aig |
UNSAT
TT=9.415
|
UNSAT TT=21.543
|
UNSAT TT=99.207
|
? (TO) TT=1200.13
|
UNSAT TT=9.415
|
UNSAT TT=22.918
|
additional-aig/ pico-java/ prop02_len66_step.aig |
UNSAT
TT=252.326
|
? (problem) TT=0.263
|
? (problem) TT=0.159
|
? (problem) TT=0.171
|
UNSAT TT=252.326
|
? (problem) TT=0.258
|
additional-aig/ pico-java/ prop05_len40_base.aig |
UNSAT
TT=6.912
|
UNSAT TT=35.438
|
UNSAT TT=287.586
|
UNSAT TT=115.789
|
UNSAT TT=6.912
|
UNSAT TT=20.547
|
additional-aig/ pico-java/ prop05_len41_step.aig |
UNSAT
TT=115.363
|
? (problem) TT=0.147
|
? (problem) TT=0.084
|
? (problem) TT=0.086
|
UNSAT TT=115.363
|
? (problem) TT=0.143
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ pico-java/ prop06_len40_base.aig |
UNSAT
TT=5.877
|
UNSAT TT=14.134
|
UNSAT TT=75.756
|
UNSAT TT=67.804
|
UNSAT TT=5.877
|
UNSAT TT=19.386
|
additional-aig/ pico-java/ prop06_len41_step.aig |
UNSAT
TT=129.591
|
? (problem) TT=0.155
|
? (problem) TT=0.085
|
? (problem) TT=0.085
|
UNSAT TT=129.591
|
? (problem) TT=0.142
|
additional-aig/ pico-java/ prop08_len17_base.aig |
UNSAT
TT=0.554
|
UNSAT TT=0.554
|
UNSAT TT=1.985
|
UNSAT TT=2.022
|
UNSAT TT=1.14
|
UNSAT TT=0.619
|
additional-aig/ pico-java/ prop08_len18_step.aig |
UNSAT
TT=5.928
|
? (problem) TT=0.033
|
? (problem) TT=0.02
|
? (problem) TT=0.022
|
UNSAT TT=5.928
|
? (problem) TT=0.032
|
additional-aig/ pico-java/ prop16_len17_base.aig |
SAT
TT=0.002
|
Wrong UNSAT TT=0.004
|
Wrong Cert. TT=0.002
|
Wrong Cert. TT=0.003
|
Wrong UNSAT TT=0.121
|
Wrong UNSAT TT=0.007
|
additional-aig/ pico-java/ prop16_len18_step.aig |
UNSAT
TT=7.196
|
? (problem) TT=0.035
|
? (problem) TT=0.021
|
? (problem) TT=0.023
|
UNSAT TT=7.196
|
? (problem) TT=0.035
|
additional-aig/ pico-java/ prop18_len08_base.aig |
UNSAT
TT=44.719
|
UNSAT TT=67.833
|
UNSAT TT=118.683
|
UNSAT TT=231.72
|
UNSAT TT=44.719
|
UNSAT TT=51.573
|
additional-aig/ pico-java/ prop18_len09_step.aig |
UNSAT
TT=55.676
|
? (problem) TT=0.065
|
? (problem) TT=0.044
|
? (problem) TT=0.042
|
UNSAT TT=55.676
|
? (problem) TT=0.063
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/cmu.periodic.N.aig |
UNSAT
TT=22.759
|
UNSAT TT=41.36
|
UNSAT TT=27.925
|
UNSAT TT=22.759
|
UNSAT TT=44.572
|
UNSAT TT=35.804
|
additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S298.S.aig |
UNSAT
TT=18.348
|
UNSAT TT=51.146
|
UNSAT TT=26.969
|
UNSAT TT=18.348
|
UNSAT TT=44.76
|
UNSAT TT=83.51
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S510.S.aig |
UNSAT
TT=1.353
|
UNSAT TT=1.443
|
UNSAT TT=2.512
|
UNSAT TT=1.614
|
UNSAT TT=1.909
|
UNSAT TT=1.353
|
additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S820.S.aig |
UNSAT
TT=1.444
|
UNSAT TT=1.735
|
UNSAT TT=3.037
|
UNSAT TT=2.993
|
UNSAT TT=2.047
|
UNSAT TT=1.444
|
additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S832.S.aig |
UNSAT
TT=1.749
|
UNSAT TT=1.789
|
UNSAT TT=3.404
|
UNSAT TT=2.645
|
UNSAT TT=2.24
|
UNSAT TT=1.749
|
additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S953.S.aig |
UNSAT
TT=0.655
|
UNSAT TT=0.655
|
UNSAT TT=1.139
|
UNSAT TT=0.842
|
UNSAT TT=1.191
|
UNSAT TT=0.712
|
additional-aig/ tip-k-ind-aigs-o1234g/ O1/ken.oop^1.C.aig |
UNSAT
TT=10.508
|
UNSAT TT=43.336
|
? (TO) TT=1200.12
|
? (TO) TT=1200.07
|
UNSAT TT=10.508
|
UNSAT TT=34.493
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ nusmv.guidance^1.C.aig |
UNSAT
TT=0.732
|
UNSAT TT=1.063
|
UNSAT TT=1.929
|
UNSAT TT=2.057
|
UNSAT TT=2.558
|
UNSAT TT=0.732
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ nusmv.guidance^7.C.aig |
UNSAT
TT=17.334
|
UNSAT TT=19.027
|
UNSAT TT=129.72
|
UNSAT TT=60.635
|
UNSAT TT=17.334
|
UNSAT TT=19.251
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/nusmv.tcas^2.B.aig |
UNSAT
TT=0.987
|
UNSAT TT=0.995
|
UNSAT TT=1.04
|
UNSAT TT=1.104
|
? (problem) TT=2.468
|
UNSAT TT=0.987
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/nusmv.tcas^3.B.aig |
UNSAT
TT=0.59
|
UNSAT TT=0.59
|
UNSAT TT=0.946
|
UNSAT TT=1.054
|
UNSAT TT=1.806
|
UNSAT TT=0.907
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ texas.parsesys^2.E.aig |
UNSAT
TT=0.025
|
UNSAT TT=0.025
|
UNSAT TT=0.574
|
UNSAT TT=0.362
|
? (problem) TT=0.172
|
UNSAT TT=0.031
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^12.E.aig |
UNSAT
TT=20.443
|
UNSAT TT=20.443
|
UNSAT TT=46.879
|
UNSAT TT=33.419
|
UNSAT TT=26.022
|
UNSAT TT=49.715
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^13.E.aig |
UNSAT
TT=1.038
|
UNSAT TT=1.052
|
UNSAT TT=2.042
|
UNSAT TT=1.997
|
UNSAT TT=3.436
|
UNSAT TT=1.038
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^14.E.aig |
UNSAT
TT=3.507
|
UNSAT TT=3.507
|
UNSAT TT=7.474
|
UNSAT TT=5.758
|
UNSAT TT=9.239
|
UNSAT TT=4.635
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^15.E.aig |
UNSAT
TT=10.088
|
UNSAT TT=10.088
|
UNSAT TT=24.613
|
UNSAT TT=18.49
|
UNSAT TT=18.809
|
UNSAT TT=22.575
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^16.E.aig |
UNSAT
TT=0.548
|
UNSAT TT=0.548
|
UNSAT TT=1.072
|
UNSAT TT=1.102
|
UNSAT TT=1.721
|
UNSAT TT=0.55
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^17.E.aig |
UNSAT
TT=21.268
|
UNSAT TT=21.268
|
UNSAT TT=59.897
|
UNSAT TT=36.677
|
UNSAT TT=25.116
|
UNSAT TT=43.65
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^18.E.aig |
UNSAT
TT=2.481
|
UNSAT TT=2.481
|
UNSAT TT=4.738
|
UNSAT TT=4.195
|
UNSAT TT=6.534
|
UNSAT TT=4.419
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^19.E.aig |
UNSAT
TT=8.543
|
UNSAT TT=8.543
|
UNSAT TT=25.416
|
UNSAT TT=14.892
|
UNSAT TT=16.907
|
UNSAT TT=13.664
|
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^24.E.aig |
UNSAT
TT=38.304
|
UNSAT TT=38.304
|
UNSAT TT=82.084
|
UNSAT TT=42.726
|
UNSAT TT=45.017
|
UNSAT TT=115.283
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/cmu.periodic.N.aig |
UNSAT
TT=22.753
|
UNSAT TT=39.582
|
UNSAT TT=29.201
|
UNSAT TT=22.753
|
UNSAT TT=44.579
|
UNSAT TT=34.306
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S298.S.aig |
UNSAT
TT=15.961
|
UNSAT TT=69.177
|
UNSAT TT=26.569
|
UNSAT TT=15.961
|
UNSAT TT=44.673
|
UNSAT TT=94.541
|
additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S510.S.aig |
UNSAT
TT=1.419
|
UNSAT TT=1.488
|
UNSAT TT=2.028
|
UNSAT TT=1.621
|
UNSAT TT=2.003
|
UNSAT TT=1.419
|
additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S820.S.aig |
UNSAT
TT=1.667
|
UNSAT TT=1.79
|
UNSAT TT=3.561
|
UNSAT TT=2.571
|
UNSAT TT=2.073
|
UNSAT TT=1.667
|
additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S832.S.aig |
UNSAT
TT=1.712
|
UNSAT TT=1.712
|
UNSAT TT=4.259
|
UNSAT TT=2.865
|
UNSAT TT=2.181
|
UNSAT TT=1.782
|
additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S953.S.aig |
UNSAT
TT=0.583
|
UNSAT TT=0.583
|
UNSAT TT=1.056
|
UNSAT TT=0.844
|
UNSAT TT=1.195
|
UNSAT TT=0.682
|
additional-aig/ tip-k-ind-aigs-o1234g/ O2/ken.oop^1.C.aig |
UNSAT
TT=10.455
|
UNSAT TT=26.71
|
? (TO) TT=1200.07
|
? (TO) TT=1200.12
|
UNSAT TT=10.455
|
UNSAT TT=40.022
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ nusmv.guidance^1.C.aig |
UNSAT
TT=0.639
|
UNSAT TT=1.057
|
UNSAT TT=1.638
|
UNSAT TT=1.256
|
UNSAT TT=2.559
|
UNSAT TT=0.639
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ nusmv.guidance^7.C.aig |
UNSAT
TT=17.238
|
UNSAT TT=29.235
|
UNSAT TT=117.482
|
UNSAT TT=90.47
|
UNSAT TT=17.238
|
UNSAT TT=17.422
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/nusmv.tcas^2.B.aig |
UNSAT
TT=0.993
|
UNSAT TT=0.993
|
UNSAT TT=1.017
|
UNSAT TT=1.022
|
UNSAT TT=2.242
|
UNSAT TT=1.008
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/nusmv.tcas^3.B.aig |
UNSAT
TT=0.59
|
UNSAT TT=0.59
|
UNSAT TT=0.905
|
UNSAT TT=1.007
|
UNSAT TT=1.79
|
UNSAT TT=0.894
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ texas.parsesys^2.E.aig |
UNSAT
TT=0.025
|
UNSAT TT=0.025
|
UNSAT TT=0.472
|
UNSAT TT=0.48
|
? (problem) TT=0.198
|
UNSAT TT=0.03
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^12.E.aig |
UNSAT
TT=18.154
|
UNSAT TT=18.154
|
UNSAT TT=39.961
|
UNSAT TT=29.6
|
UNSAT TT=28.028
|
UNSAT TT=57.962
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^13.E.aig |
UNSAT
TT=1.012
|
UNSAT TT=1.012
|
UNSAT TT=1.741
|
UNSAT TT=2.088
|
UNSAT TT=3.315
|
UNSAT TT=1.057
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^14.E.aig |
UNSAT
TT=3.512
|
UNSAT TT=3.512
|
UNSAT TT=7.414
|
UNSAT TT=5.365
|
UNSAT TT=9.646
|
UNSAT TT=6.392
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^15.E.aig |
UNSAT
TT=9.77
|
UNSAT TT=9.77
|
UNSAT TT=21.446
|
UNSAT TT=17.346
|
UNSAT TT=17.855
|
UNSAT TT=23.838
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^16.E.aig |
UNSAT
TT=0.476
|
UNSAT TT=0.521
|
UNSAT TT=0.983
|
UNSAT TT=1.101
|
UNSAT TT=1.677
|
UNSAT TT=0.476
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^17.E.aig |
UNSAT
TT=22.122
|
UNSAT TT=22.122
|
UNSAT TT=48.334
|
UNSAT TT=30.599
|
UNSAT TT=24.935
|
UNSAT TT=46.636
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^18.E.aig |
UNSAT
TT=2.363
|
UNSAT TT=2.363
|
UNSAT TT=5.381
|
UNSAT TT=4.027
|
UNSAT TT=6.954
|
UNSAT TT=3.819
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^19.E.aig |
UNSAT
TT=9.126
|
UNSAT TT=9.126
|
UNSAT TT=17.411
|
UNSAT TT=15.504
|
UNSAT TT=16.726
|
UNSAT TT=15.25
|
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^24.E.aig |
UNSAT
TT=36.944
|
UNSAT TT=36.944
|
UNSAT TT=66.356
|
UNSAT TT=39.311
|
UNSAT TT=44.88
|
UNSAT TT=117.912
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ tip-k-ind-aigs-o1234g/O3/cmu.periodic.N.aig |
UNSAT
TT=18.448
|
UNSAT TT=38.258
|
UNSAT TT=18.448
|
UNSAT TT=19.265
|
UNSAT TT=44.672
|
UNSAT TT=19.725
|
additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S298.S.aig |
UNSAT
TT=19.909
|
UNSAT TT=55.639
|
UNSAT TT=29.421
|
UNSAT TT=19.909
|
UNSAT TT=44.271
|
UNSAT TT=102.861
|
additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S510.S.aig |
UNSAT
TT=1.478
|
UNSAT TT=1.511
|
UNSAT TT=1.888
|
UNSAT TT=1.53
|
UNSAT TT=1.997
|
UNSAT TT=1.478
|
additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S820.S.aig |
UNSAT
TT=1.94
|
UNSAT TT=1.94
|
UNSAT TT=3.272
|
UNSAT TT=2.646
|
UNSAT TT=1.998
|
UNSAT TT=1.94
|
additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S832.S.aig |
UNSAT
TT=1.687
|
UNSAT TT=1.687
|
UNSAT TT=3.167
|
UNSAT TT=2.828
|
UNSAT TT=2.062
|
UNSAT TT=2.128
|
additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S953.S.aig |
UNSAT
TT=0.62
|
UNSAT TT=0.62
|
UNSAT TT=0.928
|
UNSAT TT=0.836
|
UNSAT TT=1.2
|
UNSAT TT=0.686
|
additional-aig/ tip-k-ind-aigs-o1234g/ O3/ken.oop^1.C.aig |
UNSAT
TT=14.796
|
UNSAT TT=44.191
|
? (TO) TT=1200.16
|
? (TO) TT=1200.06
|
UNSAT TT=14.796
|
UNSAT TT=48.158
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ nusmv.guidance^1.C.aig |
UNSAT
TT=0.653
|
UNSAT TT=0.978
|
UNSAT TT=1.697
|
UNSAT TT=1.215
|
UNSAT TT=2.339
|
UNSAT TT=0.653
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ nusmv.guidance^7.C.aig |
UNSAT
TT=16.939
|
UNSAT TT=20.045
|
UNSAT TT=122.435
|
UNSAT TT=78.338
|
UNSAT TT=16.939
|
UNSAT TT=18.062
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/nusmv.tcas^2.B.aig |
UNSAT
TT=0.949
|
UNSAT TT=0.955
|
UNSAT TT=0.949
|
UNSAT TT=1.08
|
UNSAT TT=2.378
|
UNSAT TT=1.099
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ tip-k-ind-aigs-o1234g/O3/nusmv.tcas^3.B.aig |
UNSAT
TT=0.596
|
UNSAT TT=0.596
|
UNSAT TT=1.24
|
UNSAT TT=1.177
|
UNSAT TT=1.746
|
UNSAT TT=0.919
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ texas.parsesys^2.E.aig |
UNSAT
TT=0.022
|
UNSAT TT=0.022
|
UNSAT TT=0.48
|
UNSAT TT=0.446
|
? (problem) TT=0.184
|
UNSAT TT=0.024
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^12.E.aig |
UNSAT
TT=19.915
|
UNSAT TT=19.915
|
UNSAT TT=33.114
|
UNSAT TT=21.495
|
UNSAT TT=23.371
|
UNSAT TT=35.34
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^13.E.aig |
UNSAT
TT=0.794
|
UNSAT TT=0.834
|
UNSAT TT=1.334
|
UNSAT TT=1.457
|
UNSAT TT=2.601
|
UNSAT TT=0.794
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^14.E.aig |
UNSAT
TT=3.356
|
UNSAT TT=3.356
|
UNSAT TT=4.966
|
UNSAT TT=4.403
|
UNSAT TT=7.514
|
UNSAT TT=3.786
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^15.E.aig |
UNSAT
TT=8.925
|
UNSAT TT=8.925
|
UNSAT TT=20.013
|
UNSAT TT=12.304
|
UNSAT TT=15.831
|
UNSAT TT=15.485
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^16.E.aig |
UNSAT
TT=0.364
|
UNSAT TT=0.422
|
UNSAT TT=0.747
|
UNSAT TT=0.755
|
UNSAT TT=1.268
|
UNSAT TT=0.364
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^17.E.aig |
UNSAT
TT=20.726
|
UNSAT TT=20.726
|
UNSAT TT=37.672
|
UNSAT TT=25.019
|
UNSAT TT=21.233
|
UNSAT TT=30.154
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^18.E.aig |
UNSAT
TT=1.993
|
UNSAT TT=1.993
|
UNSAT TT=3.735
|
UNSAT TT=3.713
|
UNSAT TT=5.718
|
UNSAT TT=2.526
|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^19.E.aig |
UNSAT
TT=8.221
|
UNSAT TT=8.221
|
UNSAT TT=11.276
|
UNSAT TT=9.154
|
UNSAT TT=14.282
|
UNSAT TT=10.704
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^24.E.aig |
UNSAT
TT=33.216
|
UNSAT TT=36.753
|
UNSAT TT=58.598
|
UNSAT TT=33.216
|
UNSAT TT=39.589
|
UNSAT TT=70.45
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/cmu.periodic.N.aig |
UNSAT
TT=18.434
|
UNSAT TT=38.159
|
UNSAT TT=18.434
|
UNSAT TT=19.919
|
UNSAT TT=42.025
|
UNSAT TT=20.953
|
additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S298.S.aig |
UNSAT
TT=21.103
|
UNSAT TT=61.398
|
UNSAT TT=22.514
|
UNSAT TT=21.103
|
UNSAT TT=42.205
|
UNSAT TT=102.461
|
additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S510.S.aig |
UNSAT
TT=1.273
|
UNSAT TT=1.397
|
UNSAT TT=1.774
|
UNSAT TT=1.602
|
UNSAT TT=1.991
|
UNSAT TT=1.273
|
additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S820.S.aig |
UNSAT
TT=1.886
|
UNSAT TT=1.886
|
UNSAT TT=3.234
|
UNSAT TT=2.359
|
UNSAT TT=1.996
|
UNSAT TT=1.944
|
additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S832.S.aig |
UNSAT
TT=1.807
|
UNSAT TT=1.838
|
UNSAT TT=4.166
|
UNSAT TT=2.747
|
UNSAT TT=2.229
|
UNSAT TT=1.807
|
additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S953.S.aig |
UNSAT
TT=0.584
|
UNSAT TT=0.588
|
UNSAT TT=0.853
|
UNSAT TT=0.854
|
UNSAT TT=1.147
|
UNSAT TT=0.584
|
additional-aig/ tip-k-ind-aigs-o1234g/ O4/ken.oop^1.C.aig |
UNSAT
TT=14.941
|
UNSAT TT=45.398
|
? (TO) TT=1200.13
|
? (TO) TT=1200.12
|
UNSAT TT=14.941
|
UNSAT TT=48.022
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ nusmv.guidance^1.C.aig |
UNSAT
TT=0.651
|
UNSAT TT=1.014
|
UNSAT TT=1.958
|
UNSAT TT=1.17
|
UNSAT TT=2.44
|
UNSAT TT=0.651
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ nusmv.guidance^7.C.aig |
UNSAT
TT=15.883
|
UNSAT TT=29.451
|
UNSAT TT=131.096
|
UNSAT TT=56.042
|
UNSAT TT=15.883
|
UNSAT TT=16.203
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ tip-k-ind-aigs-o1234g/O4/nusmv.tcas^2.B.aig |
UNSAT
TT=0.898
|
UNSAT TT=0.96
|
UNSAT TT=0.898
|
UNSAT TT=1.071
|
UNSAT TT=2.219
|
UNSAT TT=1.234
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/nusmv.tcas^3.B.aig |
UNSAT
TT=0.546
|
UNSAT TT=0.546
|
UNSAT TT=1.01
|
UNSAT TT=1.048
|
UNSAT TT=1.757
|
UNSAT TT=0.872
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ texas.parsesys^2.E.aig |
UNSAT
TT=0.022
|
UNSAT TT=0.022
|
UNSAT TT=0.484
|
UNSAT TT=0.414
|
? (problem) TT=0.183
|
UNSAT TT=0.025
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^12.E.aig |
UNSAT
TT=18.747
|
UNSAT TT=18.747
|
UNSAT TT=30.93
|
UNSAT TT=23.388
|
UNSAT TT=24.81
|
UNSAT TT=35.353
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^13.E.aig |
UNSAT
TT=0.74
|
UNSAT TT=0.849
|
UNSAT TT=1.256
|
UNSAT TT=1.367
|
UNSAT TT=2.596
|
UNSAT TT=0.74
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^14.E.aig |
UNSAT
TT=2.993
|
UNSAT TT=2.993
|
UNSAT TT=4.15
|
UNSAT TT=4.634
|
UNSAT TT=8.037
|
UNSAT TT=3.608
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^15.E.aig |
UNSAT
TT=9.542
|
UNSAT TT=9.542
|
UNSAT TT=18.639
|
UNSAT TT=13.118
|
UNSAT TT=15.675
|
UNSAT TT=17.96
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^16.E.aig |
UNSAT
TT=0.366
|
UNSAT TT=0.425
|
UNSAT TT=0.704
|
UNSAT TT=0.816
|
UNSAT TT=1.191
|
UNSAT TT=0.366
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^17.E.aig |
UNSAT
TT=19.239
|
UNSAT TT=19.239
|
UNSAT TT=36.948
|
UNSAT TT=23.3
|
UNSAT TT=21.147
|
UNSAT TT=34.732
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^18.E.aig |
UNSAT
TT=2.206
|
UNSAT TT=2.206
|
UNSAT TT=3.845
|
UNSAT TT=3.337
|
UNSAT TT=5.326
|
UNSAT TT=3.102
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^19.E.aig |
UNSAT
TT=7.56
|
UNSAT TT=7.56
|
UNSAT TT=13.257
|
UNSAT TT=10.134
|
UNSAT TT=14.766
|
UNSAT TT=11.996
|
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^24.E.aig |
UNSAT
TT=35.544
|
UNSAT TT=35.544
|
UNSAT TT=47.275
|
UNSAT TT=36.542
|
UNSAT TT=39.822
|
UNSAT TT=84.159
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/cmu.periodic.N.aig |
UNSAT
TT=19.685
|
UNSAT TT=36.461
|
UNSAT TT=19.928
|
UNSAT TT=20.326
|
UNSAT TT=45.104
|
UNSAT TT=19.685
|
additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S298.S.aig |
UNSAT
TT=17.534
|
UNSAT TT=63.828
|
UNSAT TT=31.025
|
UNSAT TT=17.534
|
UNSAT TT=44.344
|
UNSAT TT=162.337
|
additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S510.S.aig |
UNSAT
TT=2.058
|
UNSAT TT=2.461
|
UNSAT TT=3.359
|
UNSAT TT=2.649
|
UNSAT TT=2.101
|
UNSAT TT=2.058
|
additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S820.S.aig |
UNSAT
TT=2.338
|
UNSAT TT=2.387
|
UNSAT TT=3.967
|
UNSAT TT=4.25
|
UNSAT TT=2.338
|
UNSAT TT=2.564
|
additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S832.S.aig |
UNSAT
TT=2.292
|
UNSAT TT=2.825
|
UNSAT TT=5.052
|
UNSAT TT=4.11
|
UNSAT TT=2.292
|
UNSAT TT=2.574
|
additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S953.S.aig |
UNSAT
TT=0.749
|
UNSAT TT=0.749
|
UNSAT TT=1.259
|
UNSAT TT=1.156
|
UNSAT TT=1.326
|
UNSAT TT=0.897
|
additional-aig/ tip-k-ind-aigs-o1234g/ Og/ken.oop^1.C.aig |
UNSAT
TT=15.285
|
UNSAT TT=33.376
|
? (TO) TT=1200.07
|
? (TO) TT=1200.12
|
UNSAT TT=15.285
|
UNSAT TT=41
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ nusmv.guidance^1.C.aig |
UNSAT
TT=0.783
|
UNSAT TT=1.224
|
UNSAT TT=1.587
|
UNSAT TT=1.911
|
UNSAT TT=2.812
|
UNSAT TT=0.783
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ nusmv.guidance^7.C.aig |
UNSAT
TT=18.503
|
UNSAT TT=44.635
|
UNSAT TT=122.981
|
UNSAT TT=118.944
|
UNSAT TT=18.503
|
UNSAT TT=34.48
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/nusmv.tcas^2.B.aig |
UNSAT
TT=0.334
|
UNSAT TT=0.334
|
UNSAT TT=1.219
|
UNSAT TT=1.009
|
UNSAT TT=2.44
|
UNSAT TT=1.268
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/nusmv.tcas^3.B.aig |
UNSAT
TT=0.376
|
UNSAT TT=0.376
|
UNSAT TT=0.923
|
UNSAT TT=0.94
|
UNSAT TT=1.674
|
UNSAT TT=1.077
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ texas.parsesys^2.E.aig |
UNSAT
TT=0.024
|
UNSAT TT=0.024
|
UNSAT TT=0.423
|
UNSAT TT=0.464
|
UNSAT TT=0.137
|
UNSAT TT=0.027
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^12.E.aig |
UNSAT
TT=25.717
|
UNSAT TT=25.717
|
UNSAT TT=41.784
|
UNSAT TT=31.517
|
UNSAT TT=27.445
|
UNSAT TT=37.954
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^13.E.aig |
UNSAT
TT=0.792
|
UNSAT TT=0.959
|
UNSAT TT=1.727
|
UNSAT TT=1.676
|
UNSAT TT=2.907
|
UNSAT TT=0.792
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^14.E.aig |
UNSAT
TT=3.28
|
UNSAT TT=3.28
|
UNSAT TT=6.009
|
UNSAT TT=5.66
|
UNSAT TT=8.431
|
UNSAT TT=3.789
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^15.E.aig |
UNSAT
TT=11.231
|
UNSAT TT=11.231
|
UNSAT TT=17.546
|
UNSAT TT=18.339
|
UNSAT TT=17.768
|
UNSAT TT=24.615
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^16.E.aig |
UNSAT
TT=0.41
|
UNSAT TT=0.473
|
UNSAT TT=0.86
|
UNSAT TT=0.902
|
UNSAT TT=1.446
|
UNSAT TT=0.41
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^17.E.aig |
UNSAT
TT=23.81
|
UNSAT TT=24.562
|
UNSAT TT=47.059
|
UNSAT TT=29.303
|
UNSAT TT=23.81
|
UNSAT TT=38.315
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^18.E.aig |
UNSAT
TT=2.382
|
UNSAT TT=2.382
|
UNSAT TT=4.49
|
UNSAT TT=4.29
|
UNSAT TT=6.308
|
UNSAT TT=3.474
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^19.E.aig |
UNSAT
TT=8.984
|
UNSAT TT=8.984
|
UNSAT TT=17.846
|
UNSAT TT=12.969
|
UNSAT TT=15.859
|
UNSAT TT=13.911
|
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^24.E.aig |
UNSAT
TT=38.967
|
UNSAT TT=38.967
|
UNSAT TT=57.186
|
UNSAT TT=46.926
|
UNSAT TT=41.534
|
UNSAT TT=83.906
|
industrial-aig/ anbulagan/hard-sat/ partial-10-11-s.aig |
|
? (TO) TT=1200.09
|
? (MO) TT=991.984
|
? (TO) TT=1200.32
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
industrial-aig/ anbulagan/hard-sat/ partial-10-13-s.aig |
|
? (TO) TT=1200.08
|
? (MO) TT=312.871
|
? (MO) TT=457.156
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
industrial-aig/ anbulagan/hard-sat/ partial-10-15-s.aig |
|
? (TO) TT=1200.13
|
? (MO) TT=52.318
|
? (MO) TT=53.632
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
industrial-aig/ anbulagan/hard-sat/ partial-10-17-s.aig |
|
? (TO) TT=1200.14
|
? (problem) TT=45.503
|
? (MO) TT=53.318
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
industrial-aig/ anbulagan/hard-sat/ partial-10-19-s.aig |
|
? (TO) TT=1200.12
|
? (MO) TT=47.841
|
? (MO) TT=49.98
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
industrial-aig/ anbulagan/ hard-sat/partial-5-17-s.aig |
|
? (TO) TT=1200.1
|
? (MO) TT=52.329
|
? (MO) TT=56.634
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
industrial-aig/ anbulagan/ hard-sat/partial-5-19-s.aig |
|
? (TO) TT=1200.18
|
? (MO) TT=53.204
|
? (MO) TT=59.465
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/ anbulagan/hard-unsat/ dated-10-11-u.aig |
|
? (TO) TT=1200.07
|
? (TO) TT=1200.28
|
? (TO) TT=1200.28
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
industrial-aig/ anbulagan/hard-unsat/ dated-10-13-u.aig |
|
? (TO) TT=1200.09
|
? (TO) TT=1200.35
|
? (TO) TT=1200.34
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
industrial-aig/ anbulagan/hard-unsat/ dated-10-17-u.aig |
|
? (TO) TT=1200.16
|
? (MO) TT=380.111
|
? (MO) TT=604.904
|
? (TO) TT=1200.04
|
? (TO) TT=1200
|
industrial-aig/ anbulagan/hard-unsat/ dated-10-19-u.aig |
|
? (TO) TT=1200.1
|
? (MO) TT=55.061
|
? (MO) TT=58.754
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
industrial-aig/ anbulagan/hard-unsat/ dated-5-13-u.aig |
|
? (TO) TT=1200.13
|
? (TO) TT=1200.27
|
? (TO) TT=1200.23
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
industrial-aig/ anbulagan/hard-unsat/ dated-5-15-u.aig |
|
? (TO) TT=1200.13
|
? (TO) TT=1200.27
|
? (TO) TT=1200.27
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
industrial-aig/ anbulagan/hard-unsat/ dated-5-17-u.aig |
|
? (TO) TT=1200.15
|
? (TO) TT=1200.27
|
? (TO) TT=1200.32
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
industrial-aig/ anbulagan/hard-unsat/ dated-5-19-u.aig |
|
? (TO) TT=1200.12
|
? (TO) TT=1200.32
|
? (TO) TT=1200.27
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
industrial-aig/ anbulagan/ hard-unsat/partial-10-11-u.aig |
|
? (TO) TT=1200.09
|
? (TO) TT=1200.32
|
? (TO) TT=1200.34
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
industrial-aig/ anbulagan/ hard-unsat/partial-10-13-u.aig |
|
? (TO) TT=1200.14
|
? (MO) TT=321.778
|
? (MO) TT=815.064
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/ anbulagan/ hard-unsat/partial-10-15-u.aig |
|
? (TO) TT=1200.09
|
? (MO) TT=51.531
|
? (MO) TT=56.84
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
industrial-aig/ anbulagan/ hard-unsat/partial-10-17-u.aig |
|
? (TO) TT=1200.13
|
? (problem) TT=45.901
|
? (MO) TT=55.757
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
industrial-aig/ anbulagan/ hard-unsat/partial-10-19-u.aig |
|
? (TO) TT=1200.11
|
? (MO) TT=49.848
|
? (MO) TT=48.555
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
industrial-aig/ anbulagan/hard-unsat/ partial-5-11-u.aig |
|
? (TO) TT=1200.16
|
? (TO) TT=1200.34
|
? (TO) TT=1200.31
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
industrial-aig/ anbulagan/hard-unsat/ partial-5-13-u.aig |
|
? (TO) TT=1200.14
|
? (MO) TT=1036.37
|
? (TO) TT=1200.37
|
? (TO) TT=1200
|
? (TO) TT=1200.02
|
industrial-aig/ anbulagan/hard-unsat/ partial-5-15-u.aig |
|
? (TO) TT=1200.13
|
? (MO) TT=578.791
|
? (MO) TT=768.503
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
industrial-aig/ anbulagan/hard-unsat/ partial-5-17-u.aig |
|
? (TO) TT=1200.1
|
? (MO) TT=55.684
|
? (MO) TT=59.065
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
industrial-aig/ anbulagan/hard-unsat/ partial-5-19-u.aig |
|
? (TO) TT=1200.14
|
? (MO) TT=52.882
|
? (MO) TT=59.348
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
industrial-aig/ anbulagan/hard-unsat/ total-10-15-u.aig |
|
? (TO) TT=1200.18
|
? (MO) TT=51.829
|
? (MO) TT=55.226
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
industrial-aig/ anbulagan/hard-unsat/ total-10-17-u.aig |
|
? (TO) TT=1200.15
|
? (MO) TT=48.963
|
? (MO) TT=58.809
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/ anbulagan/hard-unsat/ total-10-19-u.aig |
|
? (TO) TT=1200.17
|
? (MO) TT=46.924
|
? (MO) TT=46.774
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
industrial-aig/ anbulagan/hard-unsat/ total-5-15-u.aig |
|
? (TO) TT=1200.09
|
? (TO) TT=1200.36
|
? (TO) TT=1200.29
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
industrial-aig/ anbulagan/hard-unsat/ total-5-17-u.aig |
|
? (TO) TT=1200.13
|
? (MO) TT=51.909
|
? (MO) TT=57.614
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
industrial-aig/ anbulagan/hard-unsat/ total-5-19-u.aig |
|
? (TO) TT=1200.13
|
? (MO) TT=48.651
|
? (MO) TT=57.031
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
industrial-aig/ anbulagan/medium-sat/ dated-10-13-s.aig |
SAT
TT=120.19
|
SAT TT=905.104
|
? (TO) TT=1200.3
|
? (TO) TT=1200.3
|
? (TO) TT=1200.03
|
SAT TT=120.19
|
industrial-aig/ anbulagan/medium-sat/ dated-10-17-s.aig |
SAT
TT=145.661
|
? (TO) TT=1200.11
|
? (MO) TT=319.98
|
? (MO) TT=403.592
|
? (TO) TT=1200.09
|
SAT TT=145.661
|
industrial-aig/ anbulagan/medium-sat/ partial-5-11-s.aig |
SAT
TT=114.33
|
? (TO) TT=1200.12
|
? (TO) TT=1200.29
|
? (TO) TT=1200.25
|
? (problem) TT=568.013
|
SAT TT=114.33
|
industrial-aig/ anbulagan/medium-sat/ partial-5-13-s.aig |
SAT
TT=642.866
|
SAT TT=813.719
|
SAT TT=860.749
|
SAT TT=642.866
|
? (problem) TT=688.16
|
SAT TT=1060.15
|
industrial-aig/ anbulagan/medium-sat/ partial-5-15-s.aig |
|
? (TO) TT=1200.12
|
? (MO) TT=548.227
|
? (MO) TT=621.391
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
industrial-aig/ anbulagan/medium-sat/ total-10-15-s.aig |
|
? (TO) TT=1200.18
|
? (MO) TT=52.649
|
? (MO) TT=56.664
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/ anbulagan/medium-sat/ total-10-17-s.aig |
SAT
TT=84.991
|
SAT TT=84.991
|
? (MO) TT=44.52
|
? (MO) TT=54.332
|
? (TO) TT=1200.1
|
SAT TT=176.451
|
industrial-aig/ anbulagan/medium-sat/ total-10-19-s.aig |
SAT
TT=175.175
|
SAT TT=530.229
|
? (MO) TT=47.943
|
? (MO) TT=44.731
|
? (TO) TT=1200.05
|
SAT TT=175.175
|
industrial-aig/ anbulagan/medium-sat/ total-5-17-s.aig |
SAT
TT=277.152
|
SAT TT=647.351
|
? (MO) TT=52.537
|
? (MO) TT=58.919
|
? (problem) TT=224.664
|
SAT TT=277.152
|
industrial-aig/ anbulagan/medium-sat/ total-5-19-s.aig |
SAT
TT=234.259
|
SAT TT=293.243
|
? (MO) TT=50.443
|
? (problem) TT=61.034
|
? (TO) TT=1200.06
|
SAT TT=234.259
|
industrial-aig/ anbulagan/medium-unsat/ dated-10-15-u.aig |
UNSAT
TT=62.604
|
UNSAT TT=234.935
|
UNSAT TT=119.983
|
UNSAT TT=132.883
|
UNSAT TT=62.604
|
UNSAT TT=370.757
|
industrial-aig/ anbulagan/medium-unsat/ dated-5-11-u.aig |
UNSAT
TT=202.58
|
UNSAT TT=284.031
|
UNSAT TT=532.243
|
UNSAT TT=488.649
|
UNSAT TT=202.58
|
UNSAT TT=1081.2
|
industrial-aig/ anbulagan/medium-unsat/ total-10-11-u.aig |
UNSAT
TT=114.401
|
UNSAT TT=425.701
|
UNSAT TT=247.405
|
UNSAT TT=215.875
|
UNSAT TT=114.401
|
UNSAT TT=834.411
|
industrial-aig/ anbulagan/medium-unsat/ total-10-13-u.aig |
|
? (TO) TT=1200.15
|
? (MO) TT=489.666
|
? (TO) TT=1200.36
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
industrial-aig/ anbulagan/medium-unsat/ total-5-11-u.aig |
UNSAT
TT=48.295
|
UNSAT TT=158.765
|
UNSAT TT=94.77
|
UNSAT TT=86.131
|
UNSAT TT=48.295
|
UNSAT TT=169.04
|
industrial-aig/ anbulagan/medium-unsat/ total-5-13-u.aig |
UNSAT
TT=169.919
|
UNSAT TT=886.178
|
UNSAT TT=283.223
|
UNSAT TT=205.311
|
UNSAT TT=169.919
|
UNSAT TT=787.014
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/ babic/dspam/ dspam_dump_vc1080.aig |
UNSAT
TT=7.865
|
UNSAT TT=7.865
|
UNSAT TT=181.996
|
UNSAT TT=19.083
|
? (problem) TT=12.883
|
UNSAT TT=70.57
|
industrial-aig/ babic/dspam/ dspam_dump_vc1081.aig |
UNSAT
TT=7.871
|
UNSAT TT=7.871
|
UNSAT TT=18.724
|
UNSAT TT=27.638
|
? (problem) TT=12.189
|
? (TO) TT=1200.09
|
industrial-aig/ babic/dspam/ dspam_dump_vc1093.aig |
UNSAT
TT=6.866
|
UNSAT TT=6.866
|
UNSAT TT=15.785
|
? (TO) TT=1200.19
|
? (problem) TT=11.016
|
UNSAT TT=258.282
|
industrial-aig/ babic/dspam/ dspam_dump_vc1103.aig |
UNSAT
TT=85.156
|
? (TO) TT=1200.14
|
? (TO) TT=1200.3
|
UNSAT TT=85.156
|
? (problem) TT=32.229
|
? (TO) TT=1200.07
|
industrial-aig/ babic/dspam/ dspam_dump_vc1104.aig |
UNSAT
TT=446.391
|
? (TO) TT=1200.21
|
? (TO) TT=1200.29
|
? (TO) TT=1200.24
|
? (problem) TT=32.281
|
UNSAT TT=446.391
|
industrial-aig/ babic/dspam/ dspam_dump_vc949.aig |
UNSAT
TT=6.719
|
UNSAT TT=6.719
|
UNSAT TT=23.243
|
? (TO) TT=1200.2
|
? (problem) TT=11.703
|
UNSAT TT=816.676
|
industrial-aig/ babic/dspam/ dspam_dump_vc950.aig |
UNSAT
TT=7.347
|
UNSAT TT=7.347
|
UNSAT TT=27.186
|
UNSAT TT=25.427
|
? (problem) TT=11.775
|
UNSAT TT=265.062
|
industrial-aig/ babic/dspam/ dspam_dump_vc962.aig |
UNSAT
TT=7.293
|
UNSAT TT=7.293
|
UNSAT TT=308.009
|
UNSAT TT=16.079
|
? (problem) TT=11.236
|
UNSAT TT=23.634
|
industrial-aig/ babic/dspam/ dspam_dump_vc972.aig |
UNSAT
TT=347.599
|
UNSAT TT=920.221
|
? (TO) TT=1200.26
|
? (TO) TT=1200.24
|
? (problem) TT=31.796
|
UNSAT TT=347.599
|
industrial-aig/ babic/dspam/ dspam_dump_vc973.aig |
UNSAT
TT=53.703
|
UNSAT TT=745.834
|
UNSAT TT=53.703
|
UNSAT TT=61.199
|
? (problem) TT=31.82
|
UNSAT TT=347.687
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/ babic/hsatv17/ hsat_vc11773.aig |
UNSAT
TT=7.552
|
UNSAT TT=7.552
|
UNSAT TT=46.125
|
UNSAT TT=130.583
|
? (problem) TT=24.257
|
UNSAT TT=16.082
|
industrial-aig/ babic/hsatv17/ hsat_vc11803.aig |
UNSAT
TT=10.261
|
UNSAT TT=10.261
|
UNSAT TT=45.522
|
UNSAT TT=253.187
|
? (problem) TT=28.29
|
UNSAT TT=33.208
|
industrial-aig/ babic/hsatv17/ hsat_vc11813.aig |
UNSAT
TT=9.578
|
UNSAT TT=9.578
|
UNSAT TT=54.105
|
UNSAT TT=44.55
|
? (problem) TT=32.357
|
UNSAT TT=25.229
|
industrial-aig/ babic/hsatv17/ hsat_vc11817.aig |
UNSAT
TT=9.012
|
UNSAT TT=9.012
|
UNSAT TT=94.165
|
UNSAT TT=191.53
|
? (problem) TT=24.388
|
UNSAT TT=16.333
|
industrial-aig/ babic/hsatv17/ hsat_vc11935.aig |
UNSAT
TT=6.783
|
UNSAT TT=6.783
|
UNSAT TT=58.812
|
UNSAT TT=183.612
|
? (problem) TT=17.466
|
UNSAT TT=37.062
|
industrial-aig/ babic/hsatv17/ hsat_vc11944.aig |
UNSAT
TT=6.421
|
UNSAT TT=6.421
|
UNSAT TT=63.271
|
UNSAT TT=97.959
|
? (problem) TT=17.409
|
UNSAT TT=19.55
|
industrial-aig/ babic/hsatv17/ hsat_vc12016.aig |
UNSAT
TT=5.29
|
UNSAT TT=5.29
|
UNSAT TT=16.497
|
UNSAT TT=15.325
|
? (problem) TT=14.886
|
UNSAT TT=12.191
|
industrial-aig/ babic/hsatv17/ hsat_vc12062.aig |
UNSAT
TT=5.964
|
UNSAT TT=5.964
|
UNSAT TT=49.15
|
UNSAT TT=116.812
|
? (problem) TT=19.814
|
UNSAT TT=18.525
|
industrial-aig/ babic/hsatv17/ hsat_vc12070.aig |
UNSAT
TT=6.603
|
UNSAT TT=6.603
|
UNSAT TT=23.88
|
UNSAT TT=23.041
|
? (problem) TT=19.62
|
UNSAT TT=20.334
|
industrial-aig/ babic/hsatv17/ hsat_vc12072.aig |
UNSAT
TT=7.639
|
UNSAT TT=7.639
|
UNSAT TT=87.984
|
UNSAT TT=110.845
|
? (problem) TT=23.612
|
UNSAT TT=26.724
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/babic/ xinetd/itox_vc1033.aig |
SAT
TT=26.496
|
SAT TT=36.58
|
SAT TT=26.496
|
SAT TT=545.203
|
? (problem) TT=14.147
|
SAT TT=30.14
|
industrial-aig/babic/ xinetd/itox_vc1044.aig |
SAT
TT=29.134
|
SAT TT=29.134
|
SAT TT=29.494
|
SAT TT=519.78
|
? (problem) TT=14.026
|
SAT TT=37.355
|
industrial-aig/babic/ xinetd/itox_vc1130.aig |
SAT
TT=19.607
|
SAT TT=34.417
|
SAT TT=680.573
|
? (TO) TT=1200.14
|
SAT TT=19.607
|
SAT TT=52.3
|
industrial-aig/babic/ xinetd/itox_vc1138.aig |
SAT
TT=21.703
|
SAT TT=21.938
|
SAT TT=21.703
|
? (TO) TT=1200.1
|
SAT TT=26.604
|
SAT TT=36.993
|
industrial-aig/babic/ xinetd/itox_vc1216.aig |
UNSAT
TT=6.803
|
UNSAT TT=6.803
|
UNSAT TT=17.123
|
UNSAT TT=19.076
|
? (problem) TT=14.109
|
UNSAT TT=13.503
|
industrial-aig/babic/ xinetd/itox_vc909.aig |
SAT
TT=12.763
|
SAT TT=12.763
|
SAT TT=202.483
|
SAT TT=958.909
|
? (problem) TT=14.65
|
SAT TT=23.792
|
industrial-aig/babic/ xinetd/itox_vc965.aig |
UNSAT
TT=3.154
|
UNSAT TT=3.154
|
UNSAT TT=13.958
|
UNSAT TT=14.797
|
UNSAT TT=10.116
|
UNSAT TT=10.671
|
industrial-aig/babic/ xinetd/itox_vc979.aig |
UNSAT
TT=5.421
|
UNSAT TT=5.421
|
UNSAT TT=13.219
|
UNSAT TT=14.9
|
? (problem) TT=10.873
|
UNSAT TT=10.812
|
industrial-aig/ babic/xinetd/ xinetd_vc56687.aig |
UNSAT
TT=2.563
|
UNSAT TT=2.563
|
UNSAT TT=10.326
|
UNSAT TT=10.097
|
UNSAT TT=7.525
|
UNSAT TT=7.818
|
industrial-aig/ babic/xinetd/ xinetd_vc56703.aig |
UNSAT
TT=2.483
|
UNSAT TT=2.483
|
UNSAT TT=9.558
|
UNSAT TT=10.758
|
UNSAT TT=7.956
|
UNSAT TT=7.527
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/crypto/ mizh-md5-47-3.aig |
SAT
TT=608.995
|
SAT TT=608.995
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (problem) TT=146.17
|
? (TO) TT=1200.01
|
industrial-aig/crypto/ mizh-md5-47-4.aig |
|
? (TO) TT=1200.12
|
? (TO) TT=1200.1
|
? (TO) TT=1200.13
|
? (problem) TT=412.862
|
? (TO) TT=1200.06
|
industrial-aig/crypto/ mizh-md5-47-5.aig |
|
? (TO) TT=1200.11
|
? (TO) TT=1200.16
|
? (TO) TT=1200.1
|
? (problem) TT=203.138
|
? (TO) TT=1200.05
|
industrial-aig/crypto/ mizh-md5-48-2.aig |
|
? (TO) TT=1200.11
|
? (TO) TT=1200.14
|
? (TO) TT=1200.16
|
? (problem) TT=448.123
|
? (TO) TT=1200
|
industrial-aig/crypto/ mizh-md5-48-5.aig |
|
? (TO) TT=1200.12
|
? (TO) TT=1200.17
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
industrial-aig/crypto/ mizh-sha0-35-2.aig |
SAT
TT=333.678
|
SAT TT=333.678
|
? (TO) TT=1200.15
|
? (TO) TT=1200.18
|
SAT TT=647.962
|
? (TO) TT=1200.03
|
industrial-aig/crypto/ mizh-sha0-35-3.aig |
SAT
TT=256.737
|
SAT TT=256.737
|
? (TO) TT=1200.17
|
? (TO) TT=1200.14
|
SAT TT=656.347
|
? (TO) TT=1200.03
|
industrial-aig/crypto/ mizh-sha0-35-4.aig |
SAT
TT=237.01
|
SAT TT=1139.55
|
SAT TT=709.704
|
? (TO) TT=1200.16
|
SAT TT=237.01
|
SAT TT=434.683
|
industrial-aig/crypto/ mizh-sha0-35-5.aig |
SAT
TT=133.21
|
SAT TT=133.21
|
SAT TT=345.38
|
? (TO) TT=1200.08
|
SAT TT=386.084
|
SAT TT=714.263
|
industrial-aig/crypto/ mizh-sha0-36-2.aig |
|
? (TO) TT=1200.15
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200
|
? (TO) TT=1200.09
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/fuhs/ hard/AProVE07-01.aig |
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
industrial-aig/fuhs/ hard/AProVE07-03.aig |
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
industrial-aig/fuhs/ hard/AProVE07-08.aig |
UNSAT
TT=851.332
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
UNSAT TT=851.332
|
? (TO) TT=1200.06
|
industrial-aig/fuhs/ hard/AProVE07-25.aig |
|
? (TO) TT=1200.14
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
industrial-aig/fuhs/ hard/AProVE07-26.aig |
|
? (TO) TT=1200.13
|
? (TO) TT=1200.13
|
? (TO) TT=1200.12
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
industrial-aig/fuhs/ hard/AProVE07-27.aig |
|
? (TO) TT=1200.14
|
? (TO) TT=1200.11
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
industrial-aig/fuhs/ medium/AProVE07-02.aig |
UNSAT
TT=703.533
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
UNSAT TT=703.533
|
? (TO) TT=1200.08
|
industrial-aig/fuhs/ medium/AProVE07-04.aig |
UNSAT
TT=255.089
|
UNSAT TT=379.487
|
UNSAT TT=825.586
|
UNSAT TT=610.395
|
UNSAT TT=255.089
|
? (TO) TT=1200.04
|
industrial-aig/fuhs/ medium/AProVE07-06.aig |
UNSAT
TT=183.647
|
UNSAT TT=183.647
|
UNSAT TT=530.296
|
UNSAT TT=796.455
|
UNSAT TT=296.913
|
UNSAT TT=892.203
|
industrial-aig/fuhs/ medium/AProVE07-09.aig |
UNSAT
TT=902.492
|
UNSAT TT=943.589
|
? (TO) TT=1200.08
|
? (TO) TT=1200.18
|
UNSAT TT=902.492
|
? (TO) TT=1200.11
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/fuhs/ medium/AProVE07-15.aig |
UNSAT
TT=57.952
|
UNSAT TT=57.952
|
UNSAT TT=221.688
|
UNSAT TT=161.195
|
UNSAT TT=192.513
|
UNSAT TT=300.352
|
industrial-aig/fuhs/ medium/AProVE07-16.aig |
UNSAT
TT=552.114
|
UNSAT TT=552.114
|
? (TO) TT=1200.08
|
? (TO) TT=1200.12
|
UNSAT TT=851.99
|
? (TO) TT=1200.01
|
industrial-aig/fuhs/ medium/AProVE07-20.aig |
UNSAT
TT=320.338
|
UNSAT TT=682.248
|
UNSAT TT=1080.35
|
UNSAT TT=1000.67
|
UNSAT TT=320.338
|
? (TO) TT=1200.1
|
industrial-aig/fuhs/ medium/AProVE07-21.aig |
UNSAT
TT=584.99
|
UNSAT TT=801.606
|
UNSAT TT=1033.44
|
UNSAT TT=1140.19
|
UNSAT TT=584.99
|
? (TO) TT=1200.09
|
industrial-aig/fuhs/ medium/AProVE07-22.aig |
UNSAT
TT=102.337
|
UNSAT TT=126.217
|
UNSAT TT=1029.9
|
UNSAT TT=834.42
|
UNSAT TT=102.337
|
UNSAT TT=299.901
|
industrial-aig/ grieu/vmpc_24.aig |
SAT
TT=12.446
|
SAT TT=111.501
|
SAT TT=29.76
|
SAT TT=12.446
|
SAT TT=51.3
|
SAT TT=1047.55
|
industrial-aig/ grieu/vmpc_25.aig |
SAT
TT=16.678
|
SAT TT=16.678
|
SAT TT=242.555
|
SAT TT=506.241
|
SAT TT=172.272
|
SAT TT=97.757
|
industrial-aig/ grieu/vmpc_26.aig |
SAT
TT=48.855
|
SAT TT=48.855
|
? (TO) TT=1200.14
|
SAT TT=269.414
|
SAT TT=476.289
|
? (TO) TT=1200.06
|
industrial-aig/ grieu/vmpc_27.aig |
SAT
TT=74.437
|
SAT TT=107.683
|
SAT TT=90.479
|
SAT TT=74.437
|
SAT TT=389.558
|
? (TO) TT=1200.01
|
industrial-aig/ grieu/vmpc_28.aig |
SAT
TT=60.599
|
SAT TT=452.526
|
SAT TT=423.012
|
SAT TT=60.599
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/ grieu/vmpc_29.aig |
SAT
TT=179.379
|
SAT TT=179.379
|
? (TO) TT=1200.15
|
SAT TT=699.697
|
? (TO) TT=1200.04
|
SAT TT=675.169
|
industrial-aig/ grieu/vmpc_30.aig |
SAT
TT=421.708
|
? (TO) TT=1200.13
|
? (TO) TT=1200.11
|
SAT TT=421.708
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
industrial-aig/ grieu/vmpc_31.aig |
|
? (TO) TT=1200.09
|
? (TO) TT=1200.14
|
? (TO) TT=1200.13
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
industrial-aig/ jarvisalo/ eq.atree.braun.10.unsat.aig |
UNSAT
TT=846.463
|
? (TO) TT=1200.07
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
UNSAT TT=846.463
|
? (TO) TT=1200.09
|
industrial-aig/ jarvisalo/ eq.atree.braun.11.unsat.aig |
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.13
|
? (TO) TT=1200.04
|
? (TO) TT=1200.06
|
industrial-aig/ jarvisalo/ eq.atree.braun.12.unsat.aig |
|
? (TO) TT=1200.13
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
industrial-aig/ jarvisalo/ eq.atree.braun.13.unsat.aig |
|
? (TO) TT=1200.06
|
? (TO) TT=1200.12
|
? (TO) TT=1200.11
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
industrial-aig/ jarvisalo/ eq.atree.braun.7.unsat.aig |
UNSAT
TT=3.48
|
UNSAT TT=5.627
|
UNSAT TT=7.707
|
UNSAT TT=6.968
|
UNSAT TT=3.48
|
UNSAT TT=13.008
|
industrial-aig/ jarvisalo/ eq.atree.braun.8.unsat.aig |
UNSAT
TT=20.55
|
UNSAT TT=66.584
|
UNSAT TT=60.629
|
UNSAT TT=44.49
|
UNSAT TT=20.55
|
UNSAT TT=134.539
|
industrial-aig/ jarvisalo/ eq.atree.braun.9.unsat.aig |
UNSAT
TT=93.296
|
UNSAT TT=316.954
|
UNSAT TT=381.954
|
UNSAT TT=397.63
|
UNSAT TT=93.296
|
UNSAT TT=971.424
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/ manolios/ manol-pipe-c10nidw_s.aig |
UNSAT
TT=122.735
|
UNSAT TT=442.544
|
? (TO) TT=1200.19
|
? (TO) TT=1200.2
|
UNSAT TT=201.873
|
UNSAT TT=122.735
|
industrial-aig/ manolios/ manol-pipe-c6nidw_i.aig |
UNSAT
TT=106.215
|
UNSAT TT=119.794
|
? (TO) TT=1200.17
|
? (TO) TT=1200.14
|
UNSAT TT=106.215
|
UNSAT TT=493.582
|
industrial-aig/ manolios/ manol-pipe-c7bidw_i.aig |
UNSAT
TT=206.272
|
UNSAT TT=610.456
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
UNSAT TT=206.272
|
? (TO) TT=1200.09
|
industrial-aig/ manolios/ manol-pipe-c7nidw.aig |
UNSAT
TT=408.672
|
UNSAT TT=408.672
|
? (TO) TT=1200.25
|
? (TO) TT=1200.12
|
UNSAT TT=973.595
|
? (TO) TT=1200.07
|
industrial-aig/manolios/ manol-pipe-f10ni.aig |
|
? (TO) TT=1200.12
|
? (TO) TT=1200.1
|
? (TO) TT=1200.21
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
industrial-aig/manolios/ manol-pipe-f7idw.aig |
UNSAT
TT=198.806
|
UNSAT TT=198.806
|
? (TO) TT=1200.11
|
? (TO) TT=1200.22
|
? (TO) TT=1200.07
|
UNSAT TT=439.515
|
industrial-aig/manolios/ manol-pipe-f9b.aig |
UNSAT
TT=434.771
|
UNSAT TT=434.771
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
industrial-aig/manolios/ manol-pipe-f9n.aig |
UNSAT
TT=531.947
|
UNSAT TT=531.947
|
? (TO) TT=1200.15
|
? (TO) TT=1200.16
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
industrial-aig/ manolios/ manol-pipe-g10bidw.aig |
UNSAT
TT=700.933
|
UNSAT TT=747.071
|
? (TO) TT=1200.18
|
? (TO) TT=1200.19
|
UNSAT TT=700.933
|
? (TO) TT=1200.02
|
industrial-aig/ manolios/ manol-pipe-g10nid.aig |
UNSAT
TT=293.821
|
UNSAT TT=293.821
|
? (TO) TT=1200.22
|
? (TO) TT=1200.13
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/ narain/clauses-2.aig |
SAT
TT=4.073
|
SAT TT=6.549
|
SAT TT=9.941
|
SAT TT=7.418
|
SAT TT=4.073
|
SAT TT=4.436
|
industrial-aig/ narain/clauses-4.aig |
SAT
TT=68.538
|
SAT TT=68.538
|
SAT TT=192.438
|
SAT TT=86.982
|
? (problem) TT=23.538
|
SAT TT=97.696
|
industrial-aig/ narain/clauses-6.aig |
SAT
TT=777.678
|
? (MO) TT=68.116
|
? (TO) TT=1200.21
|
SAT TT=1140.05
|
? (problem) TT=110.008
|
SAT TT=777.678
|
industrial-aig/ narain/clauses-8.aig |
|
? (TO) TT=1200.18
|
? (MO) TT=104.122
|
? (MO) TT=120.234
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
industrial-aig/ palacios/hard/ safe-30-h29-unsat.aig |
|
? (TO) TT=1200.05
|
? (TO) TT=1200.14
|
? (TO) TT=1200.14
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
industrial-aig/ palacios/hard/ safe-50-h49-unsat.aig |
|
? (TO) TT=1200.19
|
? (TO) TT=1200.21
|
? (MO) TT=1092.12
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
industrial-aig/ palacios/hard/ safe-50-h50-sat.aig |
|
? (TO) TT=1200.12
|
? (TO) TT=1200.2
|
? (TO) TT=1200.27
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
industrial-aig/palacios/ hard/ sortnet-6-ipc5-h11-unsat.aig |
|
? (TO) TT=1200.1
|
? (TO) TT=1200.13
|
? (TO) TT=1200.14
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
industrial-aig/palacios/ hard/ sortnet-7-ipc5-h15-unsat.aig |
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.13
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
industrial-aig/palacios/ hard/ sortnet-8-ipc5-h18-unsat.aig |
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
? (TO) TT=1200.15
|
? (TO) TT=1200.01
|
? (TO) TT=1200
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/ palacios/hard/ sortnet-8-ipc5-h19-sat.aig |
|
? (TO) TT=1200.12
|
? (TO) TT=1200.19
|
? (TO) TT=1200.24
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
industrial-aig/palacios/ medium/ blocks-4-ipc5-h21-unknown.aig |
UNSAT
TT=37.506
|
UNSAT TT=239.563
|
? (TO) TT=1200.06
|
UNSAT TT=54.256
|
UNSAT TT=37.506
|
UNSAT TT=315.134
|
industrial-aig/palacios/ medium/ blocks-4-ipc5-h22-unknown.aig |
UNSAT
TT=54.623
|
UNSAT TT=435.176
|
? (TO) TT=1200.12
|
UNSAT TT=78.877
|
UNSAT TT=54.623
|
UNSAT TT=463.9
|
industrial-aig/ palacios/medium/ cube-11-h13-unsat.aig |
|
? (TO) TT=1200.16
|
? (TO) TT=1200.13
|
? (TO) TT=1200.12
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
industrial-aig/ palacios/medium/ cube-11-h14-sat.aig |
|
? (TO) TT=1200.09
|
? (TO) TT=1200.16
|
? (TO) TT=1200.18
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
industrial-aig/ palacios/medium/ cube-9-h10-unsat.aig |
UNSAT
TT=67.64
|
UNSAT TT=430.987
|
UNSAT TT=743.603
|
? (TO) TT=1200.14
|
UNSAT TT=67.64
|
UNSAT TT=124.969
|
industrial-aig/ palacios/medium/ cube-9-h11-sat.aig |
SAT
TT=352.646
|
SAT TT=422.662
|
SAT TT=1124.93
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
SAT TT=352.646
|
industrial-aig/ palacios/medium/ emptyroom-4-h21-unsat.aig |
UNSAT
TT=1150.36
|
? (TO) TT=1200.13
|
? (TO) TT=1200.12
|
? (TO) TT=1200.11
|
UNSAT TT=1150.36
|
? (TO) TT=1200.08
|
industrial-aig/ palacios/medium/ emptyroom-4-h22-sat.aig |
SAT
TT=50.872
|
SAT TT=516.182
|
? (TO) TT=1200.13
|
? (TO) TT=1200.07
|
SAT TT=271.512
|
SAT TT=50.872
|
industrial-aig/ palacios/medium/ safe-30-h30-sat.aig |
SAT
TT=72.102
|
? (TO) TT=1200.14
|
? (TO) TT=1200.13
|
? (TO) TT=1200.17
|
? (TO) TT=1200.07
|
SAT TT=72.102
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/palacios/ medium/ sortnet-7-ipc5-h16-sat.aig |
SAT
TT=762.17
|
? (TO) TT=1200.09
|
? (TO) TT=1200.14
|
? (TO) TT=1200.16
|
? (TO) TT=1200.03
|
SAT TT=762.17
|
industrial-aig/ palacios/uts/ uts-l05-ipc5-h26-unsat.aig |
UNSAT
TT=14.932
|
UNSAT TT=209.5
|
UNSAT TT=449.561
|
UNSAT TT=88.792
|
UNSAT TT=14.932
|
UNSAT TT=82.265
|
industrial-aig/ palacios/uts/ uts-l05-ipc5-h27-unknown.aig |
UNSAT
TT=26.166
|
UNSAT TT=306.339
|
? (TO) TT=1200.13
|
UNSAT TT=153.143
|
UNSAT TT=26.166
|
UNSAT TT=134.464
|
industrial-aig/ palacios/uts/ uts-l06-ipc5-h28-unknown.aig |
UNSAT
TT=45.891
|
UNSAT TT=119.092
|
? (TO) TT=1200.14
|
UNSAT TT=75.589
|
UNSAT TT=45.891
|
UNSAT TT=303.232
|
industrial-aig/ palacios/uts/ uts-l06-ipc5-h29-unknown.aig |
UNSAT
TT=31.164
|
UNSAT TT=268.936
|
UNSAT TT=763.22
|
UNSAT TT=89.954
|
UNSAT TT=31.164
|
UNSAT TT=330.686
|
industrial-aig/ palacios/uts/ uts-l06-ipc5-h30-unknown.aig |
UNSAT
TT=37.394
|
UNSAT TT=484.306
|
? (TO) TT=1200.13
|
UNSAT TT=180.204
|
UNSAT TT=37.394
|
UNSAT TT=384.014
|
industrial-aig/ palacios/uts/ uts-l06-ipc5-h31-unknown.aig |
UNSAT
TT=71.086
|
? (TO) TT=1200.07
|
? (TO) TT=1200.17
|
UNSAT TT=599.86
|
UNSAT TT=71.086
|
UNSAT TT=461.599
|
industrial-aig/ palacios/uts/ uts-l06-ipc5-h32-unknown.aig |
UNSAT
TT=298.36
|
? (TO) TT=1200.12
|
? (TO) TT=1200.18
|
UNSAT TT=449.669
|
UNSAT TT=298.36
|
UNSAT TT=665.083
|
industrial-aig/ palacios/uts/ uts-l06-ipc5-h33-unknown.aig |
UNSAT
TT=286.856
|
? (TO) TT=1200.07
|
? (TO) TT=1200.13
|
UNSAT TT=669.098
|
UNSAT TT=286.856
|
UNSAT TT=1088.98
|
industrial-aig/ palacios/uts/ uts-l06-ipc5-h34-unknown.aig |
SAT
TT=49.158
|
? (TO) TT=1200.11
|
? (TO) TT=1200.12
|
SAT TT=267.61
|
SAT TT=49.158
|
SAT TT=241.223
|
Bench name | Best results on this instance | aig-cmusat 2007-05-15 | aigsat-sp 2007-05-15 | aigsat-wc 2007-05-15 | minicirc 2007-05-17 | picoaigersat 2007-05-15 |
---|
industrial-aig/ palacios/uts/ uts-l06-ipc5-h35-unknown.aig |
SAT
TT=34.764
|
? (TO) TT=1200.11
|
? (TO) TT=1200.18
|
SAT TT=246.866
|
SAT TT=34.764
|
SAT TT=120.241
|