aloul-chnl11-13.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
APPLICATIONS/aprove09/ AProVE09-01.cnf
|
SAT TT=2.11
|
SAT TT=2.18
|
SAT TT=2.26
|
SAT TT=2.12
|
SAT TT=2.19
|
SAT TT=2.11
|
SAT TT=2.15
|
SAT TT=2.14
|
APPLICATIONS/aprove09/ AProVE09-03.cnf
|
SAT TT=1.69
|
SAT TT=1.78
|
SAT TT=1.75
|
SAT TT=1.69
|
SAT TT=1.76
|
SAT TT=1.75
|
SAT TT=1.74
|
SAT TT=1.75
|
APPLICATIONS/aprove09/ AProVE09-05.cnf
|
SAT TT=0.59
|
SAT TT=2.96
|
SAT TT=4.51
|
SAT TT=2.04
|
SAT TT=4.62
|
SAT TT=3.98
|
SAT TT=2.57
|
SAT TT=0.59
|
APPLICATIONS/aprove09/ AProVE09-06.cnf
|
SAT TT=5.79
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
SAT TT=6.78
|
SAT TT=5.79
|
SAT TT=52.74
|
SAT TT=18.03
|
APPLICATIONS/aprove09/ AProVE09-07.cnf
|
SAT TT=0.35
|
SAT TT=8.12
|
SAT TT=14.66
|
SAT TT=13.11
|
SAT TT=4.88
|
SAT TT=5.08
|
SAT TT=31.3
|
SAT TT=0.35
|
APPLICATIONS/aprove09/ AProVE09-08.cnf
|
SAT TT=0.33
|
SAT TT=15.4
|
SAT TT=16.45
|
SAT TT=25.77
|
SAT TT=0.33
|
SAT TT=0.33
|
SAT TT=27.99
|
SAT TT=9.35
|
APPLICATIONS/aprove09/ AProVE09-10.cnf
|
SAT TT=2.75
|
SAT TT=2.75
|
SAT TT=4.17
|
SAT TT=3.49
|
SAT TT=3.96
|
SAT TT=4.43
|
SAT TT=4.28
|
SAT TT=3.79
|
APPLICATIONS/aprove09/ AProVE09-11.cnf
|
SAT TT=0.72
|
SAT TT=0.92
|
SAT TT=0.94
|
SAT TT=0.72
|
SAT TT=0.87
|
SAT TT=0.87
|
SAT TT=0.92
|
SAT TT=0.87
|
APPLICATIONS/aprove09/ AProVE09-12.cnf
|
SAT TT=1.24
|
SAT TT=1.51
|
SAT TT=1.87
|
SAT TT=1.24
|
SAT TT=1.6
|
SAT TT=1.48
|
SAT TT=1.45
|
SAT TT=1.28
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/aprove09/ AProVE09-13.cnf
|
SAT TT=0.3
|
SAT TT=0.32
|
SAT TT=0.32
|
SAT TT=0.3
|
SAT TT=0.31
|
SAT TT=0.31
|
SAT TT=0.32
|
SAT TT=0.3
|
APPLICATIONS/aprove09/ AProVE09-15.cnf
|
SAT TT=6.33
|
SAT TT=13.62
|
SAT TT=32.73
|
SAT TT=10.62
|
SAT TT=6.33
|
SAT TT=6.39
|
SAT TT=13.13
|
SAT TT=12.73
|
APPLICATIONS/aprove09/ AProVE09-17.cnf
|
SAT TT=3.41
|
SAT TT=25.96
|
SAT TT=5.57
|
SAT TT=21.87
|
SAT TT=16.75
|
SAT TT=14.71
|
SAT TT=15.5
|
SAT TT=3.41
|
APPLICATIONS/aprove09/ AProVE09-19.cnf
|
SAT TT=1.21
|
SAT TT=4.58
|
SAT TT=3
|
SAT TT=8.66
|
SAT TT=1.21
|
SAT TT=1.22
|
SAT TT=2.03
|
SAT TT=1.71
|
APPLICATIONS/aprove09/ AProVE09-20.cnf
|
SAT TT=89.11
|
SAT TT=386.97
|
SAT TT=390.8
|
SAT TT=89.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
SAT TT=187.08
|
SAT TT=177.28
|
APPLICATIONS/aprove09/ AProVE09-21.cnf
|
SAT TT=2.39
|
SAT TT=2.63
|
SAT TT=2.39
|
SAT TT=3.34
|
SAT TT=7.78
|
SAT TT=6.78
|
SAT TT=3.79
|
SAT TT=3.78
|
APPLICATIONS/aprove09/ AProVE09-22.cnf
|
SAT TT=0.37
|
SAT TT=0.37
|
SAT TT=0.4
|
SAT TT=0.38
|
SAT TT=0.39
|
SAT TT=0.37
|
SAT TT=0.42
|
SAT TT=0.37
|
APPLICATIONS/aprove09/ AProVE09-24.cnf
|
SAT TT=2.49
|
SAT TT=7.56
|
SAT TT=18.56
|
SAT TT=2.49
|
SAT TT=14.87
|
SAT TT=16
|
SAT TT=5.09
|
SAT TT=4.4
|
APPLICATIONS/aprove09/ AProVE09-25.cnf
|
SAT TT=1.12
|
SAT TT=1.68
|
SAT TT=1.53
|
SAT TT=1.29
|
SAT TT=1.37
|
SAT TT=1.35
|
SAT TT=1.15
|
SAT TT=1.12
|
APPLICATIONS/ bioinfo/ q_query_2_L324_coli.cnf
|
UNSAT TT=174.32
|
UNSAT TT=178.44
|
UNSAT TT=180.28
|
UNSAT TT=176.11
|
UNSAT TT=174.32
|
UNSAT TT=174.86
|
UNSAT TT=175.47
|
UNSAT TT=174.89
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf
|
UNSAT TT=209.24
|
UNSAT TT=266.43
|
UNSAT TT=209.24
|
UNSAT TT=419.06
|
UNSAT TT=1147.65
|
UNSAT TT=1063.93
|
UNSAT TT=699.58
|
UNSAT TT=322.11
|
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf
|
UNSAT TT=447.11
|
UNSAT TT=447.11
|
UNSAT TT=655.54
|
UNSAT TT=609.15
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
UNSAT TT=734.31
|
UNSAT TT=912.2
|
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf
|
UNSAT TT=762.01
|
? (TO) TT=1200.03
|
UNSAT TT=1025.34
|
UNSAT TT=815.77
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
UNSAT TT=762.01
|
UNSAT TT=900.52
|
APPLICATIONS/ bioinfo/ q_query_3_l37_lambda.cnf
|
SAT TT=2.05
|
SAT TT=2.05
|
SAT TT=9.22
|
SAT TT=2.21
|
SAT TT=11.01
|
SAT TT=10.88
|
SAT TT=6.46
|
SAT TT=3.63
|
APPLICATIONS/ bioinfo/ q_query_3_l38_lambda.cnf
|
SAT TT=1.95
|
SAT TT=2.55
|
SAT TT=3.96
|
SAT TT=8.03
|
SAT TT=1.95
|
SAT TT=1.99
|
SAT TT=20.03
|
SAT TT=6.75
|
APPLICATIONS/ bioinfo/ q_query_3_l39_lambda.cnf
|
SAT TT=2.21
|
SAT TT=12.01
|
SAT TT=2.99
|
SAT TT=2.21
|
SAT TT=6.4
|
SAT TT=6.26
|
SAT TT=8.33
|
SAT TT=5.42
|
APPLICATIONS/ bioinfo/ q_query_3_l40_lambda.cnf
|
SAT TT=5.16
|
SAT TT=7.35
|
SAT TT=65.7
|
SAT TT=6.2
|
SAT TT=44.52
|
SAT TT=44.96
|
SAT TT=70.37
|
SAT TT=5.16
|
APPLICATIONS/ bioinfo/ q_query_3_l41_lambda.cnf
|
SAT TT=8.29
|
SAT TT=8.29
|
SAT TT=11.46
|
SAT TT=11.36
|
SAT TT=52.95
|
SAT TT=43.9
|
SAT TT=80
|
SAT TT=31.99
|
APPLICATIONS/ bioinfo/ q_query_3_l42_lambda.cnf
|
SAT TT=59.93
|
SAT TT=135.12
|
SAT TT=90.61
|
SAT TT=84.02
|
SAT TT=59.93
|
SAT TT=60.56
|
SAT TT=86.93
|
SAT TT=125.71
|
APPLICATIONS/ bioinfo/ q_query_3_l43_lambda.cnf
|
SAT TT=13.33
|
SAT TT=13.33
|
SAT TT=194.37
|
SAT TT=124.35
|
SAT TT=82.42
|
SAT TT=73.56
|
SAT TT=127.96
|
SAT TT=86.93
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/ bioinfo/ q_query_3_l44_lambda.cnf
|
UNSAT TT=512.76
|
UNSAT TT=557.45
|
UNSAT TT=518.74
|
UNSAT TT=719.1
|
UNSAT TT=512.76
|
UNSAT TT=536.81
|
UNSAT TT=567.49
|
? (TO) TT=1200
|
APPLICATIONS/ bioinfo/ q_query_3_l45_lambda.cnf
|
UNSAT TT=553.39
|
UNSAT TT=587.3
|
UNSAT TT=553.39
|
UNSAT TT=824.9
|
UNSAT TT=625.72
|
UNSAT TT=576.98
|
UNSAT TT=565.26
|
UNSAT TT=1015.4
|
APPLICATIONS/ bioinfo/ q_query_3_l46_lambda.cnf
|
UNSAT TT=518.98
|
UNSAT TT=518.98
|
UNSAT TT=809.21
|
UNSAT TT=934.8
|
UNSAT TT=703.15
|
UNSAT TT=678.35
|
UNSAT TT=556.61
|
UNSAT TT=1136.01
|
APPLICATIONS/ bioinfo/ q_query_3_l47_lambda.cnf
|
UNSAT TT=497.89
|
UNSAT TT=497.89
|
UNSAT TT=663.11
|
UNSAT TT=723.05
|
UNSAT TT=600.12
|
UNSAT TT=643.75
|
UNSAT TT=607.66
|
UNSAT TT=1161.1
|
APPLICATIONS/ bioinfo/ q_query_3_l48_lambda.cnf
|
UNSAT TT=538.04
|
UNSAT TT=582.24
|
UNSAT TT=924.38
|
UNSAT TT=741.82
|
UNSAT TT=538.04
|
UNSAT TT=680.97
|
UNSAT TT=544.22
|
? (TO) TT=1200.03
|
APPLICATIONS/ bioinfo/ q_query_3_L60_coli.sat.cnf
|
SAT TT=47.45
|
SAT TT=79.52
|
SAT TT=116.91
|
SAT TT=47.65
|
SAT TT=222.92
|
SAT TT=220.77
|
SAT TT=63.41
|
SAT TT=47.45
|
APPLICATIONS/ bioinfo/ q_query_3_L70_coli.sat.cnf
|
SAT TT=140.96
|
SAT TT=289.51
|
SAT TT=263.41
|
SAT TT=161.74
|
SAT TT=417.27
|
SAT TT=381.75
|
SAT TT=248.94
|
SAT TT=140.96
|
APPLICATIONS/ bioinfo/ q_query_3_L80_coli.sat.cnf
|
UNSAT TT=170.7
|
UNSAT TT=352.43
|
UNSAT TT=235.66
|
UNSAT TT=170.7
|
UNSAT TT=589.38
|
UNSAT TT=606.61
|
UNSAT TT=717.27
|
UNSAT TT=309.98
|
APPLICATIONS/ bioinfo/ q_query_3_L90_coli.sat.cnf
|
UNSAT TT=175.58
|
UNSAT TT=350.82
|
UNSAT TT=216.52
|
UNSAT TT=175.58
|
UNSAT TT=948.03
|
UNSAT TT=958.17
|
UNSAT TT=754.89
|
UNSAT TT=571.45
|
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray02_32.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray08_32.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray32_32.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate016.cnf
|
UNSAT TT=28.54
|
UNSAT TT=28.54
|
UNSAT TT=34.19
|
UNSAT TT=38.35
|
UNSAT TT=39.17
|
UNSAT TT=39.82
|
UNSAT TT=84.24
|
UNSAT TT=44.7
|
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate032.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.01
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate128.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl016.cnf
|
UNSAT TT=3.11
|
UNSAT TT=4.92
|
UNSAT TT=3.41
|
UNSAT TT=3.11
|
UNSAT TT=4.67
|
UNSAT TT=4.6
|
UNSAT TT=8.46
|
UNSAT TT=4.76
|
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl032.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl128.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
APPLICATIONS/bitverif/ countbitswegner/ countbitswegner064.cnf
|
UNSAT TT=203.27
|
UNSAT TT=798.48
|
UNSAT TT=1094.72
|
UNSAT TT=269.47
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
UNSAT TT=203.27
|
UNSAT TT=736.43
|
APPLICATIONS/ bitverif/ icbrt/icbrt1_32.cnf
|
UNSAT TT=18.08
|
UNSAT TT=18.08
|
UNSAT TT=20.78
|
UNSAT TT=20.46
|
UNSAT TT=23.98
|
UNSAT TT=23.92
|
UNSAT TT=25.16
|
UNSAT TT=19.53
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/ bitverif/maxand/ maxand064.cnf
|
UNSAT TT=11.15
|
UNSAT TT=11.15
|
UNSAT TT=46.16
|
UNSAT TT=15.9
|
UNSAT TT=62.51
|
UNSAT TT=53.8
|
UNSAT TT=13.12
|
UNSAT TT=30.95
|
APPLICATIONS/ bitverif/maxor/ maxor128.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200
|
? (TO) TT=1200.05
|
APPLICATIONS/ bitverif/maxxor/ maxxor064.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
APPLICATIONS/ bitverif/maxxor/ maxxor128.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
APPLICATIONS/bitverif/ maxxororand/ maxxororand032.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
APPLICATIONS/bitverif/ maxxororand/ maxxororand128.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor032.cnf
|
UNSAT TT=9.29
|
UNSAT TT=9.29
|
UNSAT TT=10.13
|
UNSAT TT=11.76
|
UNSAT TT=22.3
|
UNSAT TT=19.28
|
UNSAT TT=13.45
|
UNSAT TT=12.7
|
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor128.cnf
|
|
? (TO) TT=1200
|
? (TO) TT=1200
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
APPLICATIONS/ bitverif/minand/ minand128.cnf
|
UNSAT TT=30
|
UNSAT TT=30
|
UNSAT TT=75.53
|
UNSAT TT=85.15
|
UNSAT TT=105.96
|
UNSAT TT=98.61
|
UNSAT TT=92.21
|
UNSAT TT=99.28
|
APPLICATIONS/ bitverif/minor/ minor032.cnf
|
UNSAT TT=0.62
|
UNSAT TT=0.9
|
UNSAT TT=1.53
|
UNSAT TT=0.8
|
UNSAT TT=1.48
|
UNSAT TT=1.48
|
UNSAT TT=0.62
|
UNSAT TT=1.39
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/ bitverif/minor/ minor064.cnf
|
UNSAT TT=11.51
|
UNSAT TT=14.04
|
UNSAT TT=23.04
|
UNSAT TT=11.51
|
UNSAT TT=48.4
|
UNSAT TT=48.51
|
UNSAT TT=18.47
|
UNSAT TT=26.37
|
APPLICATIONS/bitverif/ minxorminand/ minxorminand032.cnf
|
UNSAT TT=5.78
|
UNSAT TT=5.78
|
UNSAT TT=14.19
|
UNSAT TT=16.51
|
UNSAT TT=9.97
|
UNSAT TT=8.6
|
UNSAT TT=20.68
|
UNSAT TT=19.8
|
APPLICATIONS/bitverif/ minxorminand/ minxorminand064.cnf
|
UNSAT TT=276.08
|
UNSAT TT=300.07
|
? (TO) TT=1200.09
|
UNSAT TT=410.15
|
UNSAT TT=338.69
|
UNSAT TT=276.08
|
UNSAT TT=538.4
|
UNSAT TT=335.36
|
APPLICATIONS/bitverif/ minxorminand/ minxorminand128.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
APPLICATIONS/ bitverif/minxor/ minxor128.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
APPLICATIONS/ bitverif/mulhs/ mulhs016.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
APPLICATIONS/ bitverif/mulhs/ mulhs032.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
APPLICATIONS/ bitverif/smulo/ smulo016.cnf
|
UNSAT TT=20.07
|
UNSAT TT=64.07
|
UNSAT TT=30.4
|
UNSAT TT=30.7
|
UNSAT TT=27.74
|
UNSAT TT=27.71
|
UNSAT TT=26.84
|
UNSAT TT=20.07
|
APPLICATIONS/ bitverif/smulo/ smulo128.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
APPLICATIONS/ c32sat/ post-c32s-col400-16.cnf
|
UNSAT TT=127.7
|
UNSAT TT=463.13
|
UNSAT TT=348.09
|
UNSAT TT=256.82
|
UNSAT TT=224.11
|
UNSAT TT=200.03
|
UNSAT TT=127.7
|
UNSAT TT=521.6
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/ c32sat/ post-c32s-gcdm16-22.cnf
|
SAT TT=298.26
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
SAT TT=298.26
|
SAT TT=318.24
|
SAT TT=301.87
|
SAT TT=336.22
|
SAT TT=359.27
|
APPLICATIONS/ c32sat/ post-c32s-gcdm16-23.cnf
|
UNSAT TT=241.72
|
? (TO) TT=1200.09
|
UNSAT TT=1029.51
|
UNSAT TT=241.72
|
UNSAT TT=875.77
|
UNSAT TT=832.81
|
UNSAT TT=427.66
|
UNSAT TT=587.55
|
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
? (TO) TT=1200.11
|
? (TO) TT=1200.01
|
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf
|
UNSAT TT=1018.73
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
UNSAT TT=1018.73
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf
|
UNSAT TT=1069.71
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
UNSAT TT=1069.71
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf
|
UNSAT TT=67.42
|
UNSAT TT=125.17
|
UNSAT TT=253.09
|
UNSAT TT=67.42
|
UNSAT TT=557.89
|
UNSAT TT=663.77
|
UNSAT TT=102.69
|
UNSAT TT=126.34
|
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf
|
|
? (MO) TT=13.02
|
? (MO) TT=12.81
|
? (MO) TT=13.02
|
? (MO) TT=12.97
|
? (MO) TT=12.67
|
? (MO) TT=12.97
|
? (MO) TT=12.91
|
APPLICATIONS/ crypto/desgen/ gss-13-s100.cnf
|
SAT TT=3.9
|
SAT TT=39.08
|
SAT TT=38.59
|
SAT TT=3.9
|
SAT TT=39.75
|
SAT TT=40.47
|
SAT TT=5.85
|
SAT TT=46.76
|
APPLICATIONS/ crypto/desgen/ gss-14-s100.cnf
|
SAT TT=5.53
|
SAT TT=95.45
|
SAT TT=113.37
|
SAT TT=15.69
|
SAT TT=6.52
|
SAT TT=5.75
|
SAT TT=22.9
|
SAT TT=5.53
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/ crypto/desgen/ gss-15-s100.cnf
|
SAT TT=79.47
|
SAT TT=79.47
|
SAT TT=230.71
|
SAT TT=102.29
|
SAT TT=83.09
|
SAT TT=85.21
|
SAT TT=221.7
|
SAT TT=86.51
|
APPLICATIONS/ crypto/desgen/ gss-16-s100.cnf
|
SAT TT=66.11
|
SAT TT=66.11
|
SAT TT=331.42
|
SAT TT=308.81
|
SAT TT=323.08
|
SAT TT=331.93
|
SAT TT=360.77
|
SAT TT=378.51
|
APPLICATIONS/ crypto/desgen/ gss-17-s100.cnf
|
SAT TT=465.33
|
SAT TT=518.2
|
SAT TT=1042.63
|
SAT TT=465.33
|
SAT TT=977.6
|
SAT TT=1043.3
|
SAT TT=831.65
|
SAT TT=509.2
|
APPLICATIONS/ crypto/desgen/ gss-19-s100.cnf
|
SAT TT=163.76
|
SAT TT=846.96
|
? (TO) TT=1200.03
|
SAT TT=523.18
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
SAT TT=163.76
|
? (TO) TT=1200.06
|
APPLICATIONS/ crypto/desgen/ gss-20-s100.cnf
|
SAT TT=1105.71
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
SAT TT=1105.71
|
APPLICATIONS/ crypto/desgen/ gss-21-s100.cnf
|
SAT TT=1107.4
|
SAT TT=1107.4
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
APPLICATIONS/ crypto/desgen/ gss-22-s100.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
APPLICATIONS/ crypto/desgen/ gss-23-s100.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
APPLICATIONS/ crypto/desgen/ gss-24-s100.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
APPLICATIONS/ crypto/desgen/ gss-25-s100.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/ crypto/desgen/ gss-26-s100.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
APPLICATIONS/ crypto/desgen/ gss-27-s100.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
APPLICATIONS/ crypto/desgen/ gss-28-s100.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
APPLICATIONS/ crypto/desgen/ gss-31-s100.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
APPLICATIONS/ crypto/desgen/ gss-32-s100.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
APPLICATIONS/ crypto/desgen/ gss-33-s100.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
APPLICATIONS/ crypto/desgen/ gss-34-s100.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
APPLICATIONS/ crypto/md5gen/ gus-md5-04.cnf
|
UNSAT TT=4.66
|
UNSAT TT=5.39
|
UNSAT TT=6.09
|
UNSAT TT=7.66
|
UNSAT TT=5.06
|
UNSAT TT=4.66
|
UNSAT TT=5.51
|
UNSAT TT=4.98
|
APPLICATIONS/ crypto/md5gen/ gus-md5-05.cnf
|
UNSAT TT=12.39
|
UNSAT TT=17.93
|
UNSAT TT=16.91
|
UNSAT TT=14.68
|
UNSAT TT=12.39
|
UNSAT TT=13.3
|
UNSAT TT=15.57
|
UNSAT TT=17.18
|
APPLICATIONS/ crypto/md5gen/ gus-md5-06.cnf
|
UNSAT TT=34.49
|
UNSAT TT=40.11
|
UNSAT TT=51.07
|
UNSAT TT=51.63
|
UNSAT TT=34.49
|
UNSAT TT=37.73
|
UNSAT TT=41.47
|
UNSAT TT=48.78
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/ crypto/md5gen/ gus-md5-07.cnf
|
UNSAT TT=92.5
|
UNSAT TT=111.74
|
UNSAT TT=95.04
|
UNSAT TT=92.5
|
UNSAT TT=107.97
|
UNSAT TT=99.52
|
UNSAT TT=120.52
|
UNSAT TT=115.96
|
APPLICATIONS/ crypto/md5gen/ gus-md5-09.cnf
|
UNSAT TT=561.69
|
UNSAT TT=754.37
|
UNSAT TT=761.61
|
UNSAT TT=759.47
|
UNSAT TT=580.66
|
UNSAT TT=561.69
|
UNSAT TT=1198.2
|
UNSAT TT=901.26
|
APPLICATIONS/ crypto/md5gen/ gus-md5-10.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
APPLICATIONS/ crypto/md5gen/ gus-md5-11.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
APPLICATIONS/ crypto/md5gen/ gus-md5-14.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
APPLICATIONS/ crypto/md5gen/ gus-md5-15.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
APPLICATIONS/ crypto/md5gen/ gus-md5-16.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf
|
UNSAT TT=41.72
|
UNSAT TT=56.15
|
UNSAT TT=50.49
|
UNSAT TT=79.69
|
UNSAT TT=76.52
|
UNSAT TT=89.47
|
UNSAT TT=41.72
|
UNSAT TT=55.4
|
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.12
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf
|
SAT TT=1126.04
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
SAT TT=1126.04
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf
|
UNSAT TT=34.93
|
UNSAT TT=45.38
|
UNSAT TT=34.93
|
UNSAT TT=66.57
|
UNSAT TT=56.37
|
UNSAT TT=52.91
|
UNSAT TT=45.29
|
UNSAT TT=54.46
|
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf
|
UNSAT TT=1020.65
|
? (TO) TT=1200.01
|
? (TO) TT=1200
|
UNSAT TT=1020.65
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf
|
SAT TT=937.79
|
? (TO) TT=1200.07
|
? (TO) TT=1200
|
? (TO) TT=1200.05
|
? (TO) TT=1200
|
? (TO) TT=1200.04
|
SAT TT=937.79
|
? (TO) TT=1200.01
|
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf
|
UNSAT TT=107.8
|
UNSAT TT=188.78
|
UNSAT TT=145.69
|
UNSAT TT=169.76
|
UNSAT TT=260.09
|
UNSAT TT=236.14
|
UNSAT TT=107.8
|
UNSAT TT=147.25
|
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
? (TO) TT=1200
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf
|
SAT TT=416.57
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
SAT TT=416.57
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
SAT TT=867.15
|
APPLICATIONS/diagnosis/ UR-10-5p0.cnf
|
UNSAT TT=38.76
|
UNSAT TT=38.76
|
UNSAT TT=61.18
|
UNSAT TT=60.81
|
UNSAT TT=67.15
|
UNSAT TT=52.72
|
UNSAT TT=56.41
|
UNSAT TT=62.02
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/diagnosis/ UR-10-5p1.cnf
|
SAT TT=15.48
|
SAT TT=23.93
|
SAT TT=17.42
|
SAT TT=28.58
|
SAT TT=37.19
|
SAT TT=35.59
|
SAT TT=15.48
|
SAT TT=15.55
|
APPLICATIONS/diagnosis/ UR-15-10p0.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
APPLICATIONS/diagnosis/ UR-15-10p1.cnf
|
|
? (TO) TT=1200
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
? (TO) TT=1200.01
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
APPLICATIONS/diagnosis/ UR-15-5p0.cnf
|
UNSAT TT=197.69
|
UNSAT TT=256.93
|
UNSAT TT=272.77
|
UNSAT TT=282.43
|
UNSAT TT=500.47
|
UNSAT TT=404.8
|
UNSAT TT=197.69
|
UNSAT TT=266.94
|
APPLICATIONS/diagnosis/ UR-20-10p1.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
? (TO) TT=1200.04
|
APPLICATIONS/diagnosis/ UR-20-5p0.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
APPLICATIONS/diagnosis/ UR-20-5p1.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200
|
? (TO) TT=1200.03
|
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf
|
UNSAT TT=89.49
|
UNSAT TT=211.7
|
UNSAT TT=155.36
|
UNSAT TT=122.93
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
UNSAT TT=251.48
|
UNSAT TT=89.49
|
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf
|
UNSAT TT=426.58
|
UNSAT TT=812.83
|
UNSAT TT=683.61
|
UNSAT TT=426.58
|
UNSAT TT=662.75
|
UNSAT TT=525.3
|
UNSAT TT=759.86
|
UNSAT TT=632.11
|
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf
|
SAT TT=459.08
|
SAT TT=750.13
|
? (TO) TT=1200.05
|
SAT TT=559.3
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
SAT TT=459.08
|
SAT TT=1166.73
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf
|
UNSAT TT=1039.45
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
UNSAT TT=1039.45
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf
|
SAT TT=210.69
|
SAT TT=210.69
|
SAT TT=525.28
|
SAT TT=320.83
|
SAT TT=869.6
|
SAT TT=808.26
|
SAT TT=416.45
|
SAT TT=1151.25
|
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf
|
|
? (TO) TT=1200
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf
|
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_09_UNSAT.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_10_UNSAT.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_20_SAT.cnf
|
SAT TT=68.46
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
SAT TT=68.46
|
SAT TT=223.67
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_21_SAT.cnf
|
SAT TT=12.46
|
? (TO) TT=1200
|
? (TO) TT=1200.01
|
SAT TT=12.46
|
SAT TT=1093.28
|
SAT TT=1138.48
|
SAT TT=12.91
|
SAT TT=23.98
|
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_22_SAT.cnf
|
SAT TT=11.5
|
? (TO) TT=1200.1
|
? (TO) TT=1200
|
SAT TT=14.82
|
SAT TT=26.02
|
SAT TT=23.21
|
SAT TT=31.32
|
SAT TT=11.5
|
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf
|
UNSAT TT=25.04
|
UNSAT TT=25.04
|
UNSAT TT=48.83
|
UNSAT TT=44.54
|
UNSAT TT=106.41
|
UNSAT TT=105.88
|
UNSAT TT=198.95
|
UNSAT TT=101.01
|
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf
|
UNSAT TT=627.13
|
UNSAT TT=627.13
|
UNSAT TT=927.9
|
UNSAT TT=1149.57
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_14_SAT.cnf
|
SAT TT=2.6
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
SAT TT=20.66
|
SAT TT=22.08
|
SAT TT=2.6
|
SAT TT=218.48
|
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf
|
UNSAT TT=504.15
|
UNSAT TT=504.15
|
UNSAT TT=551.81
|
UNSAT TT=591.58
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200
|
? (TO) TT=1200.01
|
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.04
|
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_17_SAT.cnf
|
SAT TT=2.73
|
SAT TT=4.82
|
SAT TT=151.06
|
SAT TT=3.04
|
SAT TT=2.87
|
SAT TT=2.73
|
SAT TT=2.91
|
SAT TT=3.28
|
cmu-bmc-barrel6.cnf
|
UNSAT TT=2.61
|
UNSAT TT=2.74
|
UNSAT TT=3.13
|
UNSAT TT=5.51
|
UNSAT TT=2.71
|
UNSAT TT=2.61
|
UNSAT TT=5.66
|
UNSAT TT=3.79
|
cmu-bmc-longmult15.cnf
|
UNSAT TT=19.79
|
UNSAT TT=36.11
|
UNSAT TT=31.12
|
UNSAT TT=33.35
|
UNSAT TT=20.03
|
UNSAT TT=19.79
|
UNSAT TT=52.06
|
UNSAT TT=25.17
|
een-tip-sat-texas-tp-5e.cnf
|
SAT TT=0.27
|
SAT TT=0.27
|
SAT TT=0.28
|
SAT TT=0.27
|
SAT TT=0.27
|
SAT TT=0.27
|
SAT TT=0.27
|
SAT TT=0.27
|
een-tip-uns-nusmv-t5.B.cnf
|
UNSAT TT=1.77
|
UNSAT TT=1.81
|
UNSAT TT=1.77
|
UNSAT TT=1.87
|
UNSAT TT=1.78
|
UNSAT TT=1.83
|
UNSAT TT=1.88
|
UNSAT TT=1.95
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
goldb-heqc-alu4mul.cnf
|
UNSAT TT=389.04
|
UNSAT TT=389.04
|
UNSAT TT=1012.93
|
UNSAT TT=673.32
|
UNSAT TT=630.23
|
UNSAT TT=722
|
UNSAT TT=646.53
|
? (TO) TT=1200.03
|
goldb-heqc-dalumul.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
goldb-heqc-frg1mul.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.11
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
goldb-heqc-i10mul.cnf
|
UNSAT TT=374.66
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
UNSAT TT=374.66
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
goldb-heqc-term1mul.cnf
|
UNSAT TT=64.67
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
UNSAT TT=64.67
|
? (TO) TT=1200.01
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
UNSAT TT=636.45
|
goldb-heqc-x1mul.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.02
|
hoons-vbmc-lucky7.cnf
|
UNSAT TT=1.26
|
UNSAT TT=2.18
|
UNSAT TT=6.85
|
UNSAT TT=1.26
|
UNSAT TT=8.18
|
UNSAT TT=8.23
|
UNSAT TT=2.12
|
UNSAT TT=2.73
|
industrial/anbulagan/ hard-sat/ partial-10-13-s.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
industrial/anbulagan/ hard-sat/ partial-10-15-s.cnf
|
SAT TT=689.4
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
SAT TT=689.4
|
? (TO) TT=1200
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
industrial/anbulagan/ hard-sat/ partial-5-17-s.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
? (TO) TT=1200.02
|
? (TO) TT=1200
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
industrial/anbulagan/ hard-unsat/ dated-10-19-u.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
industrial/anbulagan/ hard-unsat/ dated-5-13-u.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
industrial/anbulagan/ hard-unsat/ dated-5-15-u.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
industrial/anbulagan/ hard-unsat/ dated-5-17-u.cnf
|
UNSAT TT=1126.78
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
UNSAT TT=1126.78
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
industrial/anbulagan/ hard-unsat/ dated-5-19-u.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
industrial/anbulagan/ hard-unsat/ partial-10-13-u.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
industrial/anbulagan/ hard-unsat/ partial-10-19-u.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
? (TO) TT=1200
|
? (TO) TT=1200.05
|
? (TO) TT=1200.12
|
? (TO) TT=1200.04
|
industrial/anbulagan/ hard-unsat/ partial-5-11-u.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
industrial/anbulagan/ hard-unsat/ partial-5-13-u.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
industrial/anbulagan/ hard-unsat/ partial-5-15-u.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200
|
? (TO) TT=1200.03
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
industrial/anbulagan/ hard-unsat/ partial-5-17-u.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
industrial/anbulagan/ hard-unsat/ total-10-17-u.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
industrial/anbulagan/ hard-unsat/ total-10-19-u.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
industrial/anbulagan/ hard-unsat/ total-5-15-u.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
industrial/anbulagan/ hard-unsat/ total-5-17-u.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
industrial/anbulagan/ medium-sat/ partial-5-13-s.cnf
|
SAT TT=32.93
|
SAT TT=251.53
|
SAT TT=607.19
|
SAT TT=461.61
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
SAT TT=332.94
|
SAT TT=32.93
|
industrial/anbulagan/ medium-sat/ partial-5-15-s.cnf
|
SAT TT=496.65
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
SAT TT=496.65
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
SAT TT=527.72
|
? (TO) TT=1200.03
|
industrial/anbulagan/ medium-unsat/ total-10-13-u.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
industrial/anbulagan/ medium-unsat/ total-5-11-u.cnf
|
UNSAT TT=17.4
|
UNSAT TT=24.01
|
UNSAT TT=17.81
|
UNSAT TT=33.25
|
UNSAT TT=17.4
|
UNSAT TT=17.82
|
UNSAT TT=34.13
|
UNSAT TT=43.52
|
industrial/anbulagan/ medium-unsat/ total-5-13-u.cnf
|
UNSAT TT=89.29
|
UNSAT TT=94.86
|
UNSAT TT=110.24
|
UNSAT TT=89.29
|
UNSAT TT=134.89
|
UNSAT TT=110.7
|
UNSAT TT=103.49
|
UNSAT TT=116.5
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
industrial/babic/ hsatv17/ hsat_vc11803.cnf
|
UNSAT TT=12.25
|
UNSAT TT=12.29
|
UNSAT TT=12.25
|
UNSAT TT=12.34
|
UNSAT TT=12.4
|
UNSAT TT=12.31
|
UNSAT TT=12.35
|
UNSAT TT=12.29
|
industrial/babic/ hsatv17/ hsat_vc11813.cnf
|
UNSAT TT=17.63
|
UNSAT TT=17.77
|
UNSAT TT=17.88
|
UNSAT TT=17.83
|
UNSAT TT=17.8
|
UNSAT TT=17.84
|
UNSAT TT=17.68
|
UNSAT TT=17.63
|
industrial/babic/ xinetd/ xinetd_vc56703.cnf
|
UNSAT TT=0.32
|
UNSAT TT=0.32
|
UNSAT TT=0.33
|
UNSAT TT=0.32
|
UNSAT TT=0.33
|
UNSAT TT=0.33
|
UNSAT TT=0.33
|
UNSAT TT=0.33
|
industrial/ fuhs/hard/ AProVE07-01.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
industrial/ fuhs/hard/ AProVE07-08.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
industrial/ fuhs/hard/ AProVE07-25.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
industrial/ fuhs/hard/ AProVE07-26.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
industrial/ fuhs/hard/ AProVE07-27.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
industrial/ fuhs/medium/ AProVE07-09.cnf
|
UNSAT TT=1083.49
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
UNSAT TT=1083.49
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
industrial/ fuhs/medium/ AProVE07-16.cnf
|
UNSAT TT=591.75
|
UNSAT TT=715.56
|
UNSAT TT=591.75
|
UNSAT TT=715.95
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
UNSAT TT=674.37
|
? (TO) TT=1200.06
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
industrial/grieu/ vmpc_24.cnf
|
SAT TT=8.21
|
SAT TT=94.2
|
SAT TT=36.23
|
SAT TT=8.21
|
SAT TT=109.68
|
SAT TT=89.36
|
SAT TT=95.5
|
SAT TT=70.97
|
industrial/grieu/ vmpc_25.cnf
|
SAT TT=2.13
|
SAT TT=42.24
|
SAT TT=106.76
|
SAT TT=2.13
|
SAT TT=851.09
|
SAT TT=831.43
|
SAT TT=379.32
|
SAT TT=174.85
|
industrial/grieu/ vmpc_26.cnf
|
SAT TT=7.01
|
SAT TT=7.01
|
SAT TT=440.13
|
SAT TT=68.52
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
SAT TT=219.11
|
SAT TT=553.2
|
industrial/grieu/ vmpc_28.cnf
|
SAT TT=52.91
|
SAT TT=1079.65
|
? (TO) TT=1200.05
|
SAT TT=52.91
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
industrial/grieu/ vmpc_29.cnf
|
SAT TT=358.2
|
SAT TT=358.2
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
SAT TT=487.39
|
industrial/grieu/ vmpc_30.cnf
|
SAT TT=849.66
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
SAT TT=849.66
|
industrial/grieu/ vmpc_33.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
industrial/grieu/ vmpc_34.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf
|
UNSAT TT=569.9
|
UNSAT TT=747.56
|
UNSAT TT=610.63
|
? (TO) TT=1200.07
|
UNSAT TT=576.1
|
UNSAT TT=569.9
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
? (TO) TT=1200.02
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200
|
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf
|
|
? (TO) TT=1200
|
? (TO) TT=1200
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf
|
UNSAT TT=13.69
|
UNSAT TT=17.58
|
UNSAT TT=13.69
|
UNSAT TT=56.11
|
UNSAT TT=23.67
|
UNSAT TT=23.75
|
UNSAT TT=41.28
|
UNSAT TT=39.09
|
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf
|
UNSAT TT=63.69
|
UNSAT TT=89.75
|
UNSAT TT=63.69
|
UNSAT TT=343.75
|
UNSAT TT=68.39
|
UNSAT TT=68.01
|
UNSAT TT=354.01
|
UNSAT TT=146.13
|
industrial/narain/ clauses-8.cnf
|
SAT TT=1176.13
|
? (TO) TT=1200.04
|
SAT TT=1176.13
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
industrial/palacios/ hard/ safe-30-h29-unsat.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
industrial/palacios/ hard/ safe-50-h49-unsat.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
industrial/palacios/ hard/ sortnet-7-ipc5-h15-unsat.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
industrial/palacios/ hard/ sortnet-8-ipc5-h18-unsat.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
industrial/palacios/ hard/ sortnet-8-ipc5-h19-sat.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
industrial/palacios/ medium/ blocks-4-ipc5-h22-unknown.cnf
|
UNSAT TT=50.08
|
UNSAT TT=50.08
|
UNSAT TT=79.28
|
UNSAT TT=79.32
|
UNSAT TT=61.28
|
UNSAT TT=51.47
|
UNSAT TT=60.4
|
UNSAT TT=59.51
|
industrial/palacios/ medium/ cube-11-h13-unsat.cnf
|
UNSAT TT=282.9
|
UNSAT TT=282.9
|
? (TO) TT=1200.1
|
UNSAT TT=1100.72
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
UNSAT TT=384.55
|
? (TO) TT=1200.05
|
industrial/palacios/ medium/ cube-11-h14-sat.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
industrial/palacios/ medium/ emptyroom-4-h21-unsat.cnf
|
UNSAT TT=382.85
|
UNSAT TT=382.85
|
? (TO) TT=1200.07
|
UNSAT TT=557.57
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.11
|
industrial/palacios/ uts/ uts-l05-ipc5-h26-unsat.cnf
|
UNSAT TT=16.53
|
UNSAT TT=26.16
|
UNSAT TT=26.29
|
UNSAT TT=20.24
|
UNSAT TT=27.75
|
UNSAT TT=23.44
|
UNSAT TT=16.53
|
UNSAT TT=16.91
|
industrial/palacios/ uts/ uts-l05-ipc5-h27-unknown.cnf
|
UNSAT TT=26.03
|
UNSAT TT=39.15
|
UNSAT TT=39.51
|
UNSAT TT=26.1
|
UNSAT TT=50.87
|
UNSAT TT=42.03
|
UNSAT TT=26.03
|
UNSAT TT=33.78
|
industrial/palacios/ uts/ uts-l06-ipc5-h28-unknown.cnf
|
UNSAT TT=23.01
|
UNSAT TT=33.65
|
UNSAT TT=31.8
|
UNSAT TT=23.01
|
UNSAT TT=30
|
UNSAT TT=27.43
|
UNSAT TT=26.63
|
UNSAT TT=29.63
|
industrial/palacios/ uts/ uts-l06-ipc5-h31-unknown.cnf
|
UNSAT TT=49.95
|
UNSAT TT=98.13
|
UNSAT TT=67.91
|
UNSAT TT=65.72
|
UNSAT TT=76.79
|
UNSAT TT=66.56
|
UNSAT TT=49.95
|
UNSAT TT=64.07
|
industrial/palacios/ uts/ uts-l06-ipc5-h33-unknown.cnf
|
UNSAT TT=141.85
|
UNSAT TT=226.71
|
UNSAT TT=303.1
|
UNSAT TT=160.86
|
UNSAT TT=190.9
|
UNSAT TT=232.23
|
UNSAT TT=180.36
|
UNSAT TT=141.85
|
industrial/palacios/ uts/ uts-l06-ipc5-h35-unknown.cnf
|
SAT TT=28.24
|
SAT TT=58.91
|
SAT TT=50.68
|
SAT TT=28.24
|
SAT TT=53.04
|
SAT TT=46.92
|
SAT TT=34.57
|
SAT TT=37.37
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf
|
SAT TT=276.9
|
SAT TT=465.89
|
? (TO) TT=1200.05
|
SAT TT=284.03
|
SAT TT=284.73
|
SAT TT=276.9
|
SAT TT=329.72
|
SAT TT=374.91
|
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf
|
SAT TT=271.84
|
SAT TT=354.4
|
? (TO) TT=1200.09
|
SAT TT=330.57
|
SAT TT=271.84
|
SAT TT=272.81
|
SAT TT=298.99
|
SAT TT=374.77
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf
|
UNSAT TT=915.82
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
UNSAT TT=915.82
|
? (TO) TT=1200.1
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (MO) TT=1197.27
|
? (MO) TT=1064.59
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
? (TO) TT=1200.01
|
? (TO) TT=1200
|
? (TO) TT=1200.01
|
? (TO) TT=1200
|
? (TO) TT=1200.05
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
manol-pipe-c10nid_i.cnf
|
UNSAT TT=626.92
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
UNSAT TT=717.06
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
UNSAT TT=626.92
|
UNSAT TT=895.32
|
manol-pipe-c10nidw.cnf
|
UNSAT TT=1049.99
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
UNSAT TT=1049.99
|
? (TO) TT=1200.04
|
manol-pipe-c10nidw_s.cnf
|
UNSAT TT=23.61
|
? (TO) TT=1200.08
|
UNSAT TT=107.36
|
UNSAT TT=427.08
|
UNSAT TT=332.16
|
UNSAT TT=381.69
|
UNSAT TT=32.35
|
UNSAT TT=23.61
|
manol-pipe-c6bidw_i.cnf
|
UNSAT TT=48.24
|
? (TO) TT=1200.01
|
UNSAT TT=185.97
|
UNSAT TT=48.24
|
UNSAT TT=109.85
|
UNSAT TT=129.35
|
UNSAT TT=65.64
|
UNSAT TT=62.13
|
manol-pipe-c6nidw_i.cnf
|
UNSAT TT=67.66
|
? (TO) TT=1200.11
|
UNSAT TT=336.34
|
UNSAT TT=75.94
|
UNSAT TT=91.49
|
UNSAT TT=84.61
|
UNSAT TT=75.45
|
UNSAT TT=67.66
|
manol-pipe-c7bidw_i.cnf
|
UNSAT TT=144.03
|
? (TO) TT=1200.11
|
UNSAT TT=453.95
|
UNSAT TT=150.56
|
UNSAT TT=362.4
|
UNSAT TT=439.56
|
UNSAT TT=150.05
|
UNSAT TT=144.03
|
manol-pipe-c7nidw.cnf
|
UNSAT TT=135.07
|
? (TO) TT=1200.08
|
UNSAT TT=420.33
|
UNSAT TT=178.54
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
UNSAT TT=158.14
|
UNSAT TT=135.07
|
manol-pipe-c9.cnf
|
UNSAT TT=3.04
|
UNSAT TT=11.37
|
UNSAT TT=4.36
|
UNSAT TT=3.04
|
UNSAT TT=14.03
|
UNSAT TT=14.03
|
UNSAT TT=3.95
|
UNSAT TT=4.37
|
manol-pipe-f10ni.cnf
|
UNSAT TT=659.25
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
UNSAT TT=659.25
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
manol-pipe-f9b.cnf
|
UNSAT TT=297.81
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
UNSAT TT=297.81
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
UNSAT TT=732.5
|
? (TO) TT=1200.11
|
manol-pipe-f9n.cnf
|
UNSAT TT=327.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
UNSAT TT=327.06
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
UNSAT TT=691.96
|
? (TO) TT=1200.1
|
manol-pipe-g10bidw.cnf
|
UNSAT TT=836.33
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
UNSAT TT=836.33
|
? (TO) TT=1200.11
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
manol-pipe-g10id.cnf
|
UNSAT TT=32.19
|
? (TO) TT=1200.05
|
UNSAT TT=422.27
|
UNSAT TT=32.19
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
UNSAT TT=298.56
|
UNSAT TT=296.25
|
manol-pipe-g10nid.cnf
|
UNSAT TT=166.09
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
UNSAT TT=284.32
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
UNSAT TT=166.09
|
UNSAT TT=394.65
|
manol-pipe-g6bi.cnf
|
UNSAT TT=0.95
|
UNSAT TT=2
|
UNSAT TT=1.2
|
UNSAT TT=0.95
|
UNSAT TT=1.89
|
UNSAT TT=1.9
|
UNSAT TT=1.2
|
UNSAT TT=1.5
|
manol-pipe-g7nidw.cnf
|
UNSAT TT=34.14
|
? (TO) TT=1200.09
|
UNSAT TT=790.41
|
UNSAT TT=108.57
|
UNSAT TT=39.36
|
UNSAT TT=45.5
|
UNSAT TT=34.14
|
UNSAT TT=294.29
|
mizh-md5-47-3.cnf
|
SAT TT=316.26
|
SAT TT=547.09
|
SAT TT=666.16
|
SAT TT=783.98
|
SAT TT=476.68
|
SAT TT=412.68
|
SAT TT=316.26
|
? (TO) TT=1200.08
|
mizh-md5-47-4.cnf
|
SAT TT=236.76
|
SAT TT=312.22
|
SAT TT=236.76
|
SAT TT=748.99
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
SAT TT=659.89
|
mizh-md5-48-5.cnf
|
SAT TT=648.97
|
SAT TT=805.83
|
? (TO) TT=1200.11
|
SAT TT=940.97
|
SAT TT=736.06
|
SAT TT=648.97
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
mizh-sha0-35-3.cnf
|
SAT TT=366.33
|
SAT TT=817.43
|
SAT TT=432.5
|
SAT TT=366.33
|
SAT TT=454.01
|
SAT TT=427.26
|
SAT TT=768.2
|
SAT TT=949.85
|
mizh-sha0-36-2.cnf
|
SAT TT=111.26
|
? (TO) TT=1200.04
|
SAT TT=111.26
|
SAT TT=621.21
|
SAT TT=730.09
|
SAT TT=740.9
|
? (TO) TT=1200.08
|
SAT TT=940.02
|
mizh-sha0-36-3.cnf
|
SAT TT=676.91
|
SAT TT=676.91
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
SAT TT=705.9
|
mizh-sha0-36-4.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
schup-l2s-abp4-1-k31.cnf
|
UNSAT TT=30.75
|
UNSAT TT=84.51
|
UNSAT TT=186.72
|
UNSAT TT=30.75
|
UNSAT TT=107.16
|
UNSAT TT=93.4
|
UNSAT TT=34.96
|
UNSAT TT=38.38
|
schup-l2s-bc56s-1-k391.cnf
|
UNSAT TT=1166.12
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.11
|
UNSAT TT=1166.12
|
? (TO) TT=1200.06
|
schup-l2s-guid-1-k56.cnf
|
UNSAT TT=207.69
|
UNSAT TT=763.95
|
UNSAT TT=674.21
|
UNSAT TT=207.69
|
UNSAT TT=979.87
|
UNSAT TT=848.26
|
UNSAT TT=307.65
|
UNSAT TT=398.5
|
schup-l2s-motst-2-k315.cnf
|
SAT TT=32.05
|
SAT TT=108.53
|
SAT TT=93.83
|
SAT TT=180.53
|
SAT TT=102.34
|
SAT TT=85.77
|
SAT TT=83.66
|
SAT TT=32.05
|
simon-s02b-dp11u10.cnf
|
UNSAT TT=215.12
|
UNSAT TT=279.31
|
UNSAT TT=372.1
|
? (TO) TT=1200.08
|
UNSAT TT=215.12
|
UNSAT TT=215.8
|
UNSAT TT=243.99
|
? (TO) TT=1200.09
|
simon-s02b-k2f-gr-rcs-w8.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
simon-s03-fifo8-300.cnf
|
UNSAT TT=29.17
|
UNSAT TT=33.97
|
UNSAT TT=56.32
|
UNSAT TT=30.65
|
UNSAT TT=60.24
|
UNSAT TT=52.32
|
UNSAT TT=39.24
|
UNSAT TT=29.17
|
simon-s03-w08-15.cnf
|
SAT TT=65.95
|
SAT TT=171.15
|
SAT TT=359.77
|
SAT TT=148.52
|
SAT TT=142.7
|
SAT TT=126.18
|
SAT TT=145.33
|
SAT TT=65.95
|
vange-col-abb313GPIA-9-c.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
velev-engi-uns-1.0-4nd.cnf
|
UNSAT TT=31.05
|
UNSAT TT=38.84
|
UNSAT TT=70.75
|
UNSAT TT=31.05
|
UNSAT TT=62.74
|
UNSAT TT=51.41
|
UNSAT TT=49.05
|
UNSAT TT=56.57
|
velev-live-uns-2.0-ebuf.cnf
|
UNSAT TT=22.39
|
UNSAT TT=81.27
|
UNSAT TT=291.6
|
UNSAT TT=86.58
|
UNSAT TT=23.17
|
UNSAT TT=22.39
|
UNSAT TT=36.03
|
UNSAT TT=70.16
|
velev-pipe-o-uns-1.0-7.cnf
|
UNSAT TT=927.4
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
UNSAT TT=927.4
|
? (TO) TT=1200.06
|
velev-pipe-o-uns-1.1-6.cnf
|
UNSAT TT=105.67
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
UNSAT TT=105.67
|
? (TO) TT=1200.09
|
velev-pipe-sat-1.0-b10.cnf
|
SAT TT=232.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
SAT TT=232.05
|
SAT TT=265.8
|
SAT TT=306.01
|
SAT TT=246.34
|
velev-pipe-sat-1.0-b7.cnf
|
SAT TT=241.19
|
? (TO) TT=1200.06
|
SAT TT=1042.65
|
SAT TT=247.01
|
SAT TT=253.15
|
SAT TT=241.19
|
SAT TT=1071.39
|
? (TO) TT=1200
|
velev-pipe-uns-1.0-8.cnf
|
UNSAT TT=739.97
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
UNSAT TT=739.97
|
? (TO) TT=1200.03
|
Bench name | Best results | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
velev-vliw-uns-4.0-9C1.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.02
|
velev-vliw-uns-4.0-9-i1.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
|
Statistics | APTUSAT 2009-03-22 (complete) | BinMiniSat 2009-03-21 (complete) | MiniSAT 09z 2009-03-22 (complete) | minisat2 070721/core (complete) | MiniSat2hack 2009-03-23 (complete) | minisat_cumr p-2009-03-18 (complete) | minisat_cumr r-2009-03-18 (complete) |
Number of times the solver is able to give the best known answer | 123 | 123 | 149 | 120 | 119 | 142 | 131 |
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) | 31 | 12 | 51 | 16 | 16 | 27 | 26 |