"sr08.final_1.gif"
"sr08.final_2.gif"
"sr08.final_3.gif"
"sr08.final_4.gif"
Solver mxc-sr06 mxc-sat07 mxc-sr08 mxc-sat09
5 minute cutoff
Solved 15 28 54 60
SAT/UNSAT 7 SAT+8 UNS 17 SAT+11 UNS 31 SAT+23 UNS 34 SAT+26 UNS
Average Time (Solved) 11.5564 26.2341 45.7938 49.383
Average Time (Total) 266.556 242.234 183.794 169.383
Total Time 26655.6 24223.4 18379.4 16938.3
10 minute cutoff
Solved 19 36 64 73
SAT/UNSAT 10 SAT+9 UNS 23 SAT+13 UNS 36 SAT+28 UNS 39 SAT+34 UNS
Average Time (Solved) 28.1526 61.5519 91.5294 101.14
Average Time (Total) 514.153 445.552 307.529 263.14
Total Time 51415.3 44555.2 30752.9 26314.
15 minute cutoff
Solved 26 41 68 76
SAT/UNSAT 14 SAT+12 UNS 25 SAT+16 UNS 36 SAT+32 UNS 40 SAT+36 UNS
Average Time (Solved) 80.615 100.527 120.28 123.471
Average Time (Total) 746.615 631.527 408.28 339.471
Total Time 74661.5 63152.7 40828. 33947.1
20 minute cutoff
Solved 30 45 73 79
SAT/UNSAT 16 SAT+14 UNS 26 SAT+19 UNS 38 SAT+35 UNS 41 SAT+38 UNS
Average Time (Solved) 124.971 139.802 174.034 155.21
Average Time (Total) 964.97 799.802 498.034 407.21
Total Time 96497. 79980.2 49803.4 40721.
30 minute cutoff
Solved 36 47 74 81
SAT/UNSAT 20 SAT+16 UNS 27 SAT+20 UNS 39 SAT+35 UNS 41 SAT+40 UNS
Average Time (Solved) 220.006 166.346 189.489 184.201
Average Time (Total) 1372.01 1120.35 657.489 526.201
Total Time 137201. 112035. 65748.9 52620.1
45 minute cutoff
Solved 40 51 83 84
SAT/UNSAT 24 SAT+16 UNS 27 SAT+24 UNS 43 SAT+40 UNS 43 SAT+41 UNS
Average Time (Solved) 303.292 257.79 389.265 246.817
Average Time (Total) 1923.29 1580.79 848.265 678.817
Total Time 192329. 158079. 84826.5 67881.7
60 minute cutoff
Solved 41 52 84 85
SAT/UNSAT 25 SAT+16 UNS 28 SAT+24 UNS 43 SAT+41 UNS 43 SAT+42 UNS
Average Time (Solved) 332.535 285.077 422.648 276.329
Average Time (Total) 2456.53 2013.08 998.648 816.329
Total Time 245653. 201308. 99864.8 81632.9
"sr08.final_5.gif"
Instance Result mxc-sr06 mxc-sat07 mxc-sr08 mxc-sat09
aloul-chnl11-13.cnf UNS 3600. 2513.81 3600. 3600.
anbul-dated-5-15-u.cnf UNS 3600. 2017.65 1148.8 453.02
anbul-part-10-13-s.cnf UNK 3600. 3600. 3600. 3600.
anbul-part-10-15-s.cnf SAT 3600. 3600. 2511.45 735.99
babic-dspam-vc1080.cnf UNS 0.78 3600. 0.88 0.89
babic-dspam-vc949.cnf UNS 0.59 1.09 0.79 0.8
babic-dspam-vc973.cnf UNS 1.08 3600. 1.92 1.91
cmu-bmc-barrel6.cnf UNS 2.38 3.71 4.22 2.51
cmu-bmc-longmult13.cnf UNS 706.65 84.31 27.02 18.77
cmu-bmc-longmult15.cnf UNS 220.3 43.1 32.1 29.88
een-pico-prop00-75.cnf UNS 0.3 12.96 2.16 2.09
een-pico-prop05-75.cnf UNS 3600. 480.07 208.2 18.51
een-tip-sat-nusmv-t5.B.cnf SAT 111.68 9.82 1.64 1.19
een-tip-sat-texas-tp-5e.cnf SAT 0.51 0.69 0.11 0.11
een-tip-sat-vis-eisen.cnf SAT 2.21 2.47 0.46 0.39
fuhs-aprove-15.cnf UNS 1194.86 234.52 52.24 29.06
fuhs-aprove-16.cnf UNS 3600. 2698. 715.6 434.85
goldb-heqc-alu4mul.cnf UNS 3600. 822.73 443.65 265.06
goldb-heqc-dalumul.cnf UNS 3600. 3600. 3338.3 2130.91
goldb-heqc-frg1mul.cnf UNK 3600. 3600. 3600. 3600.
goldb-heqc-x1mul.cnf UNK 3600. 3600. 3600. 3600.
grieu-vmpc-27.cnf SAT 1616.83 145.36 1545.52 8.22
grieu-vmpc-31.cnf SAT 1053.74 3600. 3600. 2005.52
hoons-vbmc-lucky7.cnf UNS 35.07 24.97 2.03 0.86
ibm-2002-04r-k80.cnf SAT 855.05 550.88 88.2 56.68
ibm-2002-11r1-k45.cnf SAT 1932.41 225.3 53.39 33.51
ibm-2002-18r-k90.cnf SAT 3600. 3600. 298.67 67.92
ibm-2002-20r-k75.cnf SAT 3600. 3600. 201.25 127.39
ibm-2002-22r-k60.cnf UNS 3600. 3600. 707.73 255.2
ibm-2002-22r-k75.cnf SAT 3600. 3600. 105.93 90.71
ibm-2002-22r-k80.cnf SAT 3600. 3600. 256.38 198.97
ibm-2002-23r-k90.cnf SAT 3600. 3600. 522.26 390.5
ibm-2002-24r3-k100.cnf UNS 3600. 3600. 248.72 267.04
ibm-2002-25r-k10.cnf UNS 3600. 3600. 2166.8 1088.8
ibm-2002-29r-k75.cnf SAT 1698.14 3600. 122.74 89.26
ibm-2002-30r-k85.cnf SAT 3600. 3600. 1875.71 947.89
ibm-2002-31_1r3-k30.cnf UNS 3600. 3600. 558.21 326.66
ibm-2004-01-k90.cnf SAT 421.69 215.81 20.55 27.38
ibm-2004-1_11-k80.cnf SAT 3600. 3600. 92.05 224.19
ibm-2004-23-k100.cnf SAT 3600. 3600. 549.13 467.78
ibm-2004-23-k80.cnf SAT 3600. 3600. 137.82 201.44
ibm-2004-29-k25.cnf UNS 1797.25 1234.53 93.95 80.13
ibm-2004-29-k55.cnf SAT 280.7 504.15 127.23 17.79
ibm-2004-3_02_3-k95.cnf SAT 23.03 2.34 2.11 2.15
jarvi-eq-atree-9.cnf UNS 3600. 74.04 89.23 72.7
manol-pipe-c10nid_i.cnf UNS 3600. 3600. 1052.13 843.76
manol-pipe-c10nidw.cnf UNS 3600. 3600. 1849.87 1137.21
manol-pipe-c6bidw_i.cnf UNS 3600. 1914.93 81.79 74.32
manol-pipe-c8nidw.cnf UNS 3600. 3600. 419.83 407.84
manol-pipe-c9n_i.cnf UNS 3600. 562.35 32.19 21.07
manol-pipe-f7nidw.cnf UNS 786.32 3600. 3600. 1216.54
manol-pipe-f9b.cnf UNS 3600. 3600. 548.58 421.18
manol-pipe-g10bid_i.cnf UNS 3600. 3600. 1193.54 653.33
manol-pipe-g10nid.cnf UNS 3600. 3600. 147.88 135.46
manol-pipe-g8nidw.cnf UNS 1063.28 1016.82 637.77 126.25
marijn-philips.cnf UNS 3600. 926.02 813.97 463.03
maris-s03-gripper11.cnf SAT 2044.65 826.79 30.73 26.5
mizh-md5-47-3.cnf SAT 760.68 163.12 122.57 141.85
mizh-md5-47-4.cnf SAT 2073.84 112.21 73.47 193.24
mizh-md5-47-5.cnf SAT 1123.67 141.2 381.51 58.31
mizh-md5-48-2.cnf SAT 457.06 154.34 173.07 184.41
mizh-md5-48-5.cnf SAT 1580.59 362.29 97.09 193.08
mizh-sha0-35-3.cnf SAT 829.36 240.73 27.85 22.13
mizh-sha0-35-4.cnf SAT 180.79 121.69 515.17 21.45
mizh-sha0-36-1.cnf SAT 3600. 363.36 122.21 2125.14
mizh-sha0-36-3.cnf SAT 3600. 2728.68 2440.86 170.29
mizh-sha0-36-4.cnf SAT 3600. 3600. 1058.57 271.11
narain-vpn-clauses-10.cnf UNS 3600. 93.54 83.99 90.88
narain-vpn-clauses-8.cnf UNK 3600. 3600. 3600. 3600.
palac-sn7-ipc5-h16.cnf SAT 3600. 3600. 184.03 180.41
palac-uts-l06-ipc5-h34.cnf SAT 3600. 107.71 37.88 39.9
post-c32s-col400-16.cnf UNS 3600. 950.44 59.39 59.31
post-c32s-gcdm16-22.cnf SAT 3600. 3600. 2194.54 247.56
post-c32s-gcdm16-23.cnf UNS 3600. 3600. 1907.8 330.85
post-c32s-ss-8.cnf UNS 3600. 3600. 2435.02 2951.23
post-cbmc-aes-d-r1.cnf UNS 11.77 5.88 3.86 3.64
post-cbmc-aes-d-r2.cnf UNK 3600. 3600. 3600. 3600.
post-cbmc-aes-ee-r2.cnf UNK 3600. 3600. 3600. 3600.
post-cbmc-aes-ee-r3.cnf UNK 3600. 3600. 3600. 3600.
post-cbmc-aes-ele.cnf UNS 3600. 3600. 40.15 126.85
post-cbmc-zfcp-2.8-u2.cnf SAT 3600. 65.49 117.49 3600.
schup-l2s-abp4-1-k31.cnf UNS 1570.91 683.95 20.25 17.16
schup-l2s-bc56s-1-k391.cnf UNS 3600. 3600. 2595.61 1682.56
schup-l2s-motst-2-k315.cnf SAT 3600. 1419.94 138.33 36.58
simon-s02b-r4b1k1.1.cnf SAT 2277.76 870.42 922.31 323.65
simon-s02b-r4b1k1.2.cnf SAT 2924.28 400.85 203.76 39.35
simon-s02-f2clk-50.cnf UNS 3600. 3600. 328.71 430.82
simon-s03-fifo8-400.cnf UNS 628.18 693.6 147.36 82.63
simon-s03-w08-15.cnf SAT 1239.78 1034.21 154.82 104.08
vange-col-abb313GPIA-9-c.cnf UNK 3600. 3600. 3600. 3600.
velev-engi-uns-1.0-4nd.cnf UNS 335.35 46.37 24.67 15.9
velev-fvp-sat-3.0-b18.cnf SAT 445.52 3600. 14.72 31.01
velev-npe-1.0-9dlx-b71.cnf SAT 3600. 307.83 306.51 337.26
velev-vliw-sat-4.0-b4.cnf SAT 680. 86.99 107.58 30.86
velev-vliw-sat-4.0-b8.cnf SAT 284.45 203.65 60.26 388.3
velev-vliw-uns-2.0-iq1.cnf UNK 3600. 3600. 3600. 3600.
velev-vliw-uns-2.0-iq2.cnf UNK 3600. 3600. 3600. 3600.
velev-vliw-uns-2.0-uq5.cnf UNK 3600. 3600. 3600. 3600.
velev-vliw-uns-4.0-9.cnf UNK 3600. 3600. 3600. 3600.
velev-vliw-uns-4.0-9-i1.cnf UNK 3600. 3600. 3600. 3600.
Spikey Created with Wolfram Mathematica 7.0