Winners per category
| # | Solver version | Author(s) | #solved |
|---|
| 1 | Lingeling aqw | Armin Biere | 119 |
| 2 | ZENN 0.1.0 | Takeru Yasumoto | 113 |
| 3 | satUZK 48 | Alexander van der Grinten, Andreas Wotzlaw, Ewald Speckemeyer | 110 |
| # | Solver version | Author(s) | #solved |
|---|
| 1 | glucose 2.3 (certified unsat) | Gilles Audemard, Laurent Simon | 94 |
| 2 | glueminisat-cert-unsat 2.2.7j | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue | 91 |
| 3 | Riss3g cert | Norbert Manthey | 85 |
| # | Solver version | Author(s) | #solved |
|---|
| 1 | Lingeling aqw | Armin Biere | 231 |
| 2 | Lingeling 587f | Armin Biere | 212 |
| 3 | ZENN 0.1.0 | Takeru Yasumoto | 208 |
| # | Solver version | Author(s) | #solved |
|---|
| 1 | glucose 2.3 | Gilles Audemard, Laurent Simon | 109 |
| 2 | gluebit_clasp 1.0 | Jingchao Chen | 109 |
| 3 | BreakIDGlucose 1 | Jo Devriendt, Bart Bogaerts | 109 |
| # | Solver version | Author(s) | #solved |
|---|
| 1 | Riss3g cert | Norbert Manthey | 92 |
| 2 | glucose 2.3 (certified unsat) | Gilles Audemard, Laurent Simon | 91 |
| 3 | forl drup-nocachestamp | Mate Soos | 83 |
| # | Solver version | Author(s) | #solved |
|---|
| 1 | BreakIDGlucose 1 | Jo Devriendt, Bart Bogaerts | 208 |
| 2 | gluebit_clasp 1.0 | Jingchao Chen | 208 |
| 3 | glucose 2.3 | Gilles Audemard, Laurent Simon | 202 |
| # | Solver version | Author(s) | #solved |
|---|
| 1 | probSAT SC13 | Adrian Balint, Uwe Schöning | 99 |
| 2 | sattime2013 2013 | Chu Min Li, Yu Li | 92 |
| 3 | Ncca+ V 1.0 | Djamal Habet and Donia Toumi, André Abramé | 91 |
| # | Solver version | Author(s) | #solved |
|---|
| - | dk-SAT11 3 | Donald Knuth | 76 |
| - | march_br unsat | Marijn Heule | 72 |
| # | Solver version | Author(s) | #solved |
|---|
| 1 | CSHCrandMC | Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann | 179 |
| 2 | MIPSat random sat_unsat | Sergio Núñez, Daniel Borrajo, Carlos Linares López | 151 |
| 3 | march_vflip 1.0 | Jingchao Chen | 120 |
| # | Solver version | Author(s) | #solved |
|---|
| 1 | Plingeling aqw | Armin Biere | 271 |
| 2 | Treengeling aqw | Armin Biere | 260 |
| 3 | PeneLoPe 2013 | Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette | 247 |
| # | Solver version | Author(s) | #solved |
|---|
| 1 | Treengeling aqw | Armin Biere | 253 |
| 2 | Plingeling aqw | Armin Biere | 242 |
| 3 | pmcSAT 1.0 | Ricardo Marques, Luís Guerra e Silva, Paulo Flores and Luís Miguel Silveira | 219 |
| # | Solver version | Author(s) | #solved |
|---|
| 1 | CSHCpar8 | Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann | 234 |
| 2 | MIPSat | Sergio Núñez, Daniel Borrajo, Carlos Linares López | 231 |
| 3 | GlucoRed+March r531 | Siert Wieringa | 186 |
| # | Solver version | Author(s) | #solved |
|---|
| 1 | SINNminisat 1.0.0 | Takeru Yasumoto | 206 |
| 2 | minisat_bit 1.0 | Jingchao Chen | 189 |
| 3 | MiniGolf prefetch | Norbert Manthey | 175 |
Full Results
Solvers can have one of the following tags:
- disqualified: the solver produced a wrong answer
- not competiting: the solver was not eligible to win a medal in the track
| # | Solver version | #solved | % of all | % of VBS | cumulated CPU time | median CPU time |
|---|
| 0 | VBS | 149 | 99.33 | 100.0 | 67390.7993 | 452.2872 |
| 1 | Lingeling aqw | 119 | 79.33 | 79.87 | 250711.9549 | 1671.413 |
| 2 | ZENN 0.1.0 | 113 | 75.33 | 75.84 | 285593.1346 | 1903.9542 |
| 3 | Doug Hains (disqualified) 1.1 | 111 | 74.0 | 74.5 | 273179.8937 | 1821.1993 |
| 4 | satUZK 48 | 110 | 73.33 | 73.83 | 288204.0953 | 1921.3606 |
| 5 | Riss3g 3g | 108 | 72.0 | 72.48 | 298632.0382 | 1990.8803 |
| 6 | Lingeling 587f | 107 | 71.33 | 71.81 | 306967.9938 | 2046.4533 |
| 7 | CSHCapplLG | 106 | 70.67 | 71.14 | 309761.1326 | 2065.0742 |
| 8 | gluebit_lgl 1.0 | 105 | 70.0 | 70.47 | 291967.1943 | 1946.448 |
| 9 | MIPSat | 105 | 70.0 | 70.47 | 307557.2278 | 2050.3815 |
| 10 | forl nodrup | 104 | 69.33 | 69.8 | 316878.728 | 2112.5249 |
| 11 | MIPSat | 104 | 69.33 | 69.8 | 325119.698 | 2167.4647 |
| 12 | glucose 2.3 | 103 | 68.67 | 69.13 | 306865.187 | 2045.7679 |
| 13 | glue_bit 1.0 | 102 | 68.0 | 68.46 | 291927.8903 | 1946.1859 |
| 14 | Solver version43b b | 102 | 68.0 | 68.46 | 315139.4093 | 2100.9294 |
| 15 | Riss3g | 102 | 68.0 | 68.46 | 322501.0507 | 2150.007 |
| 16 | strangenight satcomp11-st | 102 | 68.0 | 68.46 | 324324.0894 | 2162.1606 |
| 17 | Solver version43a a | 101 | 67.33 | 67.79 | 312244.3606 | 2081.6291 |
| 18 | BreakIDGlucose 1 | 100 | 66.67 | 67.11 | 313875.848 | 2092.5057 |
| 19 | glueminisat 2.2.7j | 100 | 66.67 | 67.11 | 314199.7018 | 2094.6647 |
| 20 | CSHCapplLC | 100 | 66.67 | 67.11 | 355795.7444 | 2371.9716 |
| 21 | relback v1.1 | 99 | 66.0 | 66.44 | 308343.4487 | 2055.623 |
| 22 | gluH 1.0 | 99 | 66.0 | 66.44 | 316141.4986 | 2107.61 |
| 23 | ShatterGlucose 1 | 99 | 66.0 | 66.44 | 324754.4071 | 2165.0294 |
| 24 | gluH_simp 1.0 | 96 | 64.0 | 64.43 | 334810.7817 | 2232.0719 |
| 25 | Nigma 1.0 | 96 | 64.0 | 64.43 | 345460.0657 | 2303.0671 |
| 26 | GlucoRed r531 | 93 | 62.0 | 62.42 | 363050.2384 | 2420.3349 |
| 27 | RSeq V 1.1 | 93 | 62.0 | 62.42 | 391403.8144 | 2609.3588 |
| 28 | Nigma-NoPB 1.0 | 92 | 61.33 | 61.74 | 354518.1432 | 2363.4543 |
| 29 | minipure 1.0.1 | 84 | 56.0 | 56.38 | 420429.0314 | 2802.8602 |
| 30 | sattimeRelbackShr SRShr1.0 | 73 | 48.67 | 48.99 | 480919.5466 | 3206.1303 |
| 31 | SAT4J SAT COMPETITION 2013 | 70 | 46.67 | 46.98 | 464329.999 | 3095.5333 |
| # | Solver version | #solved | % of all | % of VBS | cumulated CPU time | median CPU time |
|---|
| 0 | VBS | 106 | 70.67 | 100.0 | 99213.6186 | 935.9775 |
| 1 | glucose 2.3 (certified unsat) | 94 | 62.67 | 88.68 | 363727.7272 | 2424.8515 |
| 2 | glueminisat-cert-unsat 2.2.7j | 91 | 60.67 | 85.85 | 395292.7199 | 2635.2848 |
| 3 | Riss3g cert | 85 | 56.67 | 80.19 | 413190.5346 | 2754.6036 |
| 4 | forl drup-nocachestamp | 84 | 56.0 | 79.25 | 412190.4029 | 2747.936 |
| 5 | forl drup | 84 | 56.0 | 79.25 | 418724.2233 | 2791.4948 |
| 6 | Nigma-DRUP 1.0 | 78 | 52.0 | 73.58 | 473128.8211 | 3154.1921 |
| 7 | Nigma-NoPB-DRUP 1.0 | 73 | 48.67 | 68.87 | 474716.053 | 3164.7737 |
| 8 | minisat_bit_u 1.0 | 68 | 45.33 | 64.15 | 525076.8422 | 3500.5123 |
| 9 | minisat DRUP DRUP | 65 | 43.33 | 61.32 | 524647.9046 | 3497.6527 |
| 10 | Lingeling aqw-drup | 48 | 32.0 | 45.28 | 552100.0425 | 3680.6669 |
| 11 | SAT4J Certified SAT COMPETITION 2013 | 15 | 10.0 | 14.15 | 714561.136 | 4763.7409 |
| # | Solver version | #solved | % of all | % of VBS | cumulated CPU time | median CPU time |
|---|
| 0 | VBS | 288 | 96.0 | 100.0 | 203506.9154 | 706.6212 |
| 1 | Lingeling aqw | 231 | 77.0 | 80.21 | 610487.1486 | 2034.9572 |
| 2 | Lingeling 587f | 212 | 70.67 | 73.61 | 685669.3742 | 2285.5646 |
| 3 | ZENN 0.1.0 | 208 | 69.33 | 72.22 | 655037.8266 | 2183.4594 |
| 4 | CSHCapplLC | 206 | 68.67 | 71.53 | 761866.2214 | 2539.5541 |
| 5 | CSHCapplLG | 205 | 68.33 | 71.18 | 694460.0049 | 2314.8667 |
| 6 | glue_bit 1.0 | 204 | 68.0 | 70.83 | 625555.2475 | 2085.1842 |
| 7 | glucose 2.3 | 201 | 67.0 | 69.79 | 666706.4166 | 2222.3547 |
| 8 | Riss3g 3g | 201 | 67.0 | 69.79 | 675138.1183 | 2250.4604 |
| 9 | MIPSat | 201 | 67.0 | 69.79 | 709230.0632 | 2364.1002 |
| 10 | strangenight satcomp11-st | 199 | 66.33 | 69.1 | 725858.1291 | 2419.5271 |
| 11 | gluH 1.0 | 196 | 65.33 | 68.06 | 685129.6191 | 2283.7654 |
| 12 | glueminisat 2.2.7j | 196 | 65.33 | 68.06 | 690715.342 | 2302.3845 |
| 13 | BreakIDGlucose 1 | 195 | 65.0 | 67.71 | 675259.3428 | 2250.8645 |
| 14 | relback (not competing) v1.1 | 194 | 64.67 | 67.36 | 703532.4482 | 2345.1082 |
| 15 | Solver version43b b | 194 | 64.67 | 67.36 | 714502.4791 | 2381.6749 |
| 16 | forl nodrup | 192 | 64.0 | 66.67 | 717510.3307 | 2391.7011 |
| 17 | Riss3g | 192 | 64.0 | 66.67 | 719729.2903 | 2399.0976 |
| 18 | gluebit_lgl 1.0 | 191 | 63.67 | 66.32 | 698820.5218 | 2329.4017 |
| 19 | Solver version43a a | 191 | 63.67 | 66.32 | 725370.5464 | 2417.9018 |
| 20 | gluH_simp 1.0 | 190 | 63.33 | 65.97 | 730668.3637 | 2435.5612 |
| 21 | GlucoRed r531 | 188 | 62.67 | 65.28 | 746483.2564 | 2488.2775 |
| 22 | ShatterGlucose 1 | 185 | 61.67 | 64.24 | 728760.9342 | 2429.2031 |
| 23 | satUZK 48 | 183 | 61.0 | 63.54 | 798124.6448 | 2660.4155 |
| 24 | Nigma 1.0 | 179 | 59.67 | 62.15 | 810787.1988 | 2702.624 |
| 25 | Nigma-NoPB 1.0 | 166 | 55.33 | 57.64 | 829100.6573 | 2763.6689 |
| 26 | RSeq V 1.1 | 164 | 54.67 | 56.94 | 901216.6703 | 3004.0556 |
| 27 | minipure 1.0.1 | 156 | 52.0 | 54.17 | 932839.7528 | 3109.4658 |
| 28 | sattimeRelbackShr SRShr1.0 | 135 | 45.0 | 46.88 | 1025076.8987 | 3416.923 |
| 29 | SAT4J SAT COMPETITION 2013 | 111 | 37.0 | 38.54 | 1111831.102 | 3706.1037 |
| # | Solver version | #solved | % of all | % of VBS | cumulated CPU time | median CPU time |
|---|
| 0 | VBS | 146 | 97.33 | 100.0 | 14689.7299 | 100.6146 |
| 1 | SparrowToRiss (not competing) SC13 | 124 | 82.67 | 84.93 | 183015.769 | 1220.1051 |
| 2 | sattimeRelbackShr (not competing) SRShr1.0 | 118 | 78.67 | 80.82 | 222214.7682 | 1481.4318 |
| 3 | RSeq (not competing) V 1.1 | 118 | 78.67 | 80.82 | 325958.7867 | 2173.0586 |
| 4 | sattimeRelbackSeq (not competing) 2013 | 117 | 78.0 | 80.14 | 329029.0666 | 2193.5271 |
| 5 | glucose 2.3 | 109 | 72.67 | 74.66 | 253515.6523 | 1690.1043 |
| 6 | gluebit_clasp 1.0 | 109 | 72.67 | 74.66 | 260056.8663 | 1733.7124 |
| 7 | BreakIDGlucose 1 | 109 | 72.67 | 74.66 | 262093.008 | 1747.2867 |
| 8 | MIPSat (not competing) hard sat_unsat 2 | 109 | 72.67 | 74.66 | 302996.7924 | 2019.9786 |
| 9 | Lingeling aqw | 108 | 72.0 | 73.97 | 253952.5177 | 1693.0168 |
| 10 | CSHCcombCS | 108 | 72.0 | 73.97 | 294939.6828 | 1966.2646 |
| 11 | ZENN 0.1.0 | 107 | 71.33 | 73.29 | 270957.6508 | 1806.3843 |
| 12 | Riss3g (not competing) 3g | 106 | 70.67 | 72.6 | 274925.5789 | 1832.8372 |
| 13 | MIPSat (not competing) hard sat_unsat 1 | 106 | 70.67 | 72.6 | 314013.7862 | 2093.4252 |
| 14 | ShatterGlucose 1 | 105 | 70.0 | 71.92 | 269274.2521 | 1795.1617 |
| 15 | gluH_simp 1.0 | 105 | 70.0 | 71.92 | 280207.6115 | 1868.0507 |
| 16 | clasp_vflip 1.0 | 105 | 70.0 | 71.92 | 284328.1036 | 1895.5207 |
| 17 | glueminisat 2.2.7j | 105 | 70.0 | 71.92 | 286182.9812 | 1907.8865 |
| 18 | Riss3g (not competing) | 104 | 69.33 | 71.23 | 279960.064 | 1866.4004 |
| 19 | forl nodrup | 103 | 68.67 | 70.55 | 284014.005 | 1893.4267 |
| 20 | strangenight satcomp11-st | 101 | 67.33 | 69.18 | 311165.1578 | 2074.4344 |
| 21 | sattimeClasp SCSeq1.0 | 101 | 67.33 | 69.18 | 366618.4515 | 2444.123 |
| 22 | Lingeling 587f | 100 | 66.67 | 68.49 | 298302.3342 | 1988.6822 |
| 23 | Solver version43a a | 100 | 66.67 | 68.49 | 311153.7608 | 2074.3584 |
| 24 | Solver version43b b | 99 | 66.0 | 67.81 | 299536.1945 | 1996.908 |
| 25 | minipure 1.0.1 | 99 | 66.0 | 67.81 | 339036.917 | 2260.2461 |
| 26 | MIPSat hard sat | 97 | 64.67 | 66.44 | 403272.8939 | 2688.486 |
| 27 | GlucoRed r531 | 94 | 62.67 | 64.38 | 320599.0579 | 2137.3271 |
| 28 | satUZK 48 | 90 | 60.0 | 61.64 | 370403.4047 | 2469.356 |
| 29 | SAT4J SAT COMPETITION 2013 | 88 | 58.67 | 60.27 | 415417.8201 | 2769.4521 |
| 30 | relback (not competing) v1.1 | 87 | 58.0 | 59.59 | 367668.0104 | 2451.1201 |
| 31 | gluH 1.0 | 86 | 57.33 | 58.9 | 360214.1472 | 2401.4276 |
| 32 | Sparrow+CP3 SC13 | 79 | 52.67 | 54.11 | 369922.8418 | 2466.1523 |
| 33 | Doug Hains 1.1 | 79 | 52.67 | 54.11 | 415314.5229 | 2768.7635 |
| 34 | CCAnr 2013.4.18 | 77 | 51.33 | 52.74 | 383572.0805 | 2557.1472 |
| 35 | sattime2013 2013 | 72 | 48.0 | 49.32 | 419727.26 | 2798.1817 |
| 36 | gNovelty+GCwa 1.0 | 64 | 42.67 | 43.84 | 443956.3789 | 2959.7092 |
| 37 | gNovelty+GCa 1.0 | 58 | 38.67 | 39.73 | 482638.1142 | 3217.5874 |
| 38 | BalancedZ static32bitgcc4.3.5 | 56 | 37.33 | 38.36 | 489503.6813 | 3263.3579 |
| 39 | dk-SAT11 more memory | 50 | 33.33 | 34.25 | 548156.6426 | 3654.3776 |
| 40 | march_br sat+unsat | 29 | 19.33 | 19.86 | 630926.2516 | 4206.175 |
| # | Solver version | #solved | % of all | % of VBS | cumulated CPU time | median CPU time |
|---|
| 0 | VBS | 107 | 71.33 | 100.0 | 74691.5009 | 698.0514 |
| 1 | Riss3g cert | 92 | 61.33 | 85.98 | 415467.962 | 2769.7864 |
| 2 | glucose 2.3 (certified unsat) | 91 | 60.67 | 85.05 | 444772.9231 | 2965.1528 |
| 3 | forl drup-nocachestamp | 83 | 55.33 | 77.57 | 432830.0488 | 2885.5337 |
| 4 | forl drup | 77 | 51.33 | 71.96 | 442375.4815 | 2949.1699 |
| 5 | glueminisat-cert-unsat 2.2.7j | 72 | 48.0 | 67.29 | 489841.5525 | 3265.6103 |
| 6 | minisat DRUP DRUP | 49 | 32.67 | 45.79 | 594375.5816 | 3962.5039 |
| 7 | dk-SAT11 3 | 38 | 25.33 | 35.51 | 593240.5215 | 3954.9368 |
| 8 | Lingeling aqw-drup | 15 | 10.0 | 14.02 | 679478.3053 | 4529.8554 |
| 9 | SAT4J Certified SAT COMPETITION 2013 | 11 | 7.33 | 10.28 | 719821.455 | 4798.8097 |
| # | Solver version | #solved | % of all | % of VBS | cumulated CPU time | median CPU time |
|---|
| 0 | VBS | 280 | 93.33 | 100.0 | 82590.4486 | 294.9659 |
| 1 | BreakIDGlucose 1 | 208 | 69.33 | 74.29 | 654799.7929 | 2182.666 |
| 2 | gluebit_clasp 1.0 | 208 | 69.33 | 74.29 | 655995.4158 | 2186.6514 |
| 3 | glucose 2.3 | 202 | 67.33 | 72.14 | 676059.8042 | 2253.5327 |
| 4 | Riss3g (disqualified) 3g | 200 | 66.67 | 71.43 | 674412.974 | 2248.0432 |
| 5 | glueminisat 2.2.7j | 198 | 66.0 | 70.71 | 689601.9979 | 2298.6733 |
| 6 | Riss3g | 196 | 65.33 | 70.0 | 692526.965 | 2308.4232 |
| 7 | strangenight satcomp11-st | 196 | 65.33 | 70.0 | 710890.003 | 2369.6333 |
| 8 | ShatterGlucose 1 | 195 | 65.0 | 69.64 | 697158.9607 | 2323.8632 |
| 9 | gluH_simp 1.0 | 195 | 65.0 | 69.64 | 741380.4435 | 2471.2681 |
| 10 | Solver version43a a | 194 | 64.67 | 69.29 | 760682.3595 | 2535.6079 |
| 11 | Lingeling aqw | 193 | 64.33 | 68.93 | 700855.6248 | 2336.1854 |
| 12 | SparrowToRiss SC13 | 191 | 63.67 | 68.21 | 725213.728 | 2417.3791 |
| 13 | forl nodrup | 190 | 63.33 | 67.86 | 700190.5543 | 2333.9685 |
| 14 | Solver version43b b | 188 | 62.67 | 67.14 | 744649.9019 | 2482.1663 |
| 15 | MIPSat hard sat_unsat 2 | 187 | 62.33 | 66.79 | 814613.8669 | 2715.3796 |
| 16 | RSeq (not competing) V 1.1 | 187 | 62.33 | 66.79 | 937374.5893 | 3124.582 |
| 17 | sattimeRelbackSeq 2013 | 187 | 62.33 | 66.79 | 941631.4242 | 3138.7714 |
| 18 | sattimeRelbackShr SRShr1.0 | 185 | 61.67 | 66.07 | 755884.4477 | 2519.6148 |
| 19 | Lingeling 587f | 182 | 60.67 | 65.0 | 747872.5401 | 2492.9085 |
| 20 | CSHCcombCS | 178 | 59.33 | 63.57 | 814802.0918 | 2716.007 |
| 21 | clasp_vflip 1.0 | 176 | 58.67 | 62.86 | 782827.7896 | 2609.426 |
| 22 | MIPSat hard sat_unsat 1 | 174 | 58.0 | 62.14 | 839209.9007 | 2797.3663 |
| 23 | GlucoRed r531 | 173 | 57.67 | 61.79 | 767927.2773 | 2559.7576 |
| 24 | ZENN 0.1.0 | 172 | 57.33 | 61.43 | 788561.7285 | 2628.5391 |
| 25 | minipure 1.0.1 | 172 | 57.33 | 61.43 | 818515.8686 | 2728.3862 |
| 26 | relback v1.1 | 165 | 55.0 | 58.93 | 866434.1744 | 2888.1139 |
| 27 | gluH 1.0 | 162 | 54.0 | 57.86 | 888715.0722 | 2962.3836 |
| 28 | sattimeClasp SCSeq1.0 | 160 | 53.33 | 57.14 | 983258.1341 | 3277.5271 |
| 29 | satUZK 48 | 147 | 49.0 | 52.5 | 958726.3307 | 3195.7544 |
| 30 | SAT4J SAT COMPETITION 2013 | 119 | 39.67 | 42.5 | 1075670.3728 | 3585.5679 |
| 31 | dk-SAT11 more memory | 113 | 37.67 | 40.36 | 1005714.1683 | 3352.3806 |
| 32 | sattime2013 2013 | 81 | 27.0 | 28.93 | 1124736.6396 | 3749.1221 |
| 33 | march_br sat+unsat | 68 | 22.67 | 24.29 | 1233214.5297 | 4110.7151 |
| 34 | gNovelty+GCwa 1.0 | 64 | 21.33 | 22.86 | 1193956.3789 | 3979.8546 |
| 35 | gNovelty+GCa 1.0 | 58 | 19.33 | 20.71 | 1232638.1142 | 4108.7937 |
| # | Solver version | #solved | % of all | % of VBS | cumulated CPU time | median CPU time |
|---|
| 0 | VBS | 135 | 48.21 | 100.0 | 75915.5387 | 562.3373 |
| 1 | probSAT SC13 | 99 | 35.36 | 73.33 | 984294.6405 | 3515.338 |
| 2 | sattime2013 2013 | 92 | 32.86 | 68.15 | 1019567.2145 | 3641.3115 |
| 3 | Ncca+ V 1.0 | 91 | 32.5 | 67.41 | 1036328.0466 | 3701.1716 |
| 4 | CScoreSAT2013 2013.4.8 | 90 | 32.14 | 66.67 | 1038187.3887 | 3707.8121 |
| 5 | WalkSATlm2013 2013.4.8 | 87 | 31.07 | 64.44 | 1025810.6511 | 3663.6095 |
| 6 | CCA2013 2013 | 83 | 29.64 | 61.48 | 1060142.2512 | 3786.2223 |
| 7 | FrwCB2013 SC2013_20130427 | 82 | 29.29 | 60.74 | 1066829.9074 | 3810.1068 |
| 8 | BalancedZ static32bitgcc4.3.5 | 76 | 27.14 | 56.3 | 1082032.435 | 3864.4016 |
| 9 | MIPSat random sat | 76 | 27.14 | 56.3 | 1094814.0129 | 3910.05 |
| 10 | vflipnum 1.0 | 74 | 26.43 | 54.81 | 1110270.1698 | 3965.2506 |
| 11 | CSHCrandMC | 72 | 25.71 | 53.33 | 983087.759 | 3932.351 |
| 12 | sattimeRelbackSeq 2013 | 67 | 23.93 | 49.63 | 952338.4811 | 3809.3539 |
| 13 | sattimeClasp SCSeq1.0 | 67 | 23.93 | 49.63 | 952362.0422 | 3809.4482 |
| 14 | sattimeRelbackShr SRShr1.0 | 67 | 23.93 | 49.63 | 992358.41 | 3969.4336 |
| 15 | march_vflip 1.0 | 63 | 22.5 | 46.67 | 993267.463 | 3973.0699 |
| 16 | MIPSat random sat_unsat | 58 | 20.71 | 42.96 | 987827.2705 | 3951.3091 |
| 17 | gNovelty+GCwa 1.0 | 48 | 17.14 | 35.56 | 1067300.9777 | 4269.2039 |
| 18 | DimetheusMPS 1.700.852 | 47 | 16.79 | 34.81 | 1214403.9697 | 4337.157 |
| 19 | gNovelty+GCa 1.0 | 31 | 11.07 | 22.96 | 1123220.7761 | 4492.8831 |
| 20 | dk-SAT11 sat+unsat | 0 | 0.0 | 0.0 | 1250000.0 | 5000.0 |
| 21 | march_br sat+unsat | 0 | 0.0 | 0.0 | 1250000.0 | 5000.0 |
| 22 | Solver version43a a | 0 | 0.0 | 0.0 | 1250000.0 | 5000.0 |
| 23 | Solver version43b b | 0 | 0.0 | 0.0 | 1250000.0 | 5000.0 |
| 24 | strangenight satcomp11-st | 0 | 0.0 | 0.0 | 1250000.0 | 5000.0 |
| 25 | minipure 1.0.1 | 0 | 0.0 | 0.0 | 1250000.0 | 5000.0 |
| # | Solver version | #solved | % of all | % of VBS | cumulated CPU time | median CPU time |
|---|
| 0 | VBS | 81 | 54.0 | 100.0 | 37392.373 | 461.6342 |
| 1 | dk-SAT11 3 | 76 | 50.67 | 93.83 | 404878.687 | 2699.1912 |
| 2 | march_br unsat | 72 | 48.0 | 88.89 | 417676.2273 | 2784.5082 |
| # | Solver version | #solved | % of all | % of VBS | cumulated CPU time | median CPU time |
|---|
| 0 | VBS | 208 | 52.0 | 100.0 | 200341.2753 | 963.1792 |
| 1 | CSHCrandMC | 179 | 44.75 | 86.06 | 1348522.725 | 3371.3068 |
| 2 | MIPSat random sat_unsat | 151 | 37.75 | 72.6 | 1560956.5905 | 3902.3915 |
| 3 | march_vflip 1.0 | 120 | 30.0 | 57.69 | 1505499.13 | 3763.7478 |
| 4 | dk-SAT11 sat+unsat | 114 | 28.5 | 54.81 | 1560992.2559 | 3902.4806 |
| 5 | march_br sat+unsat | 111 | 27.75 | 53.37 | 1563375.0732 | 3908.4377 |
| 6 | sattimeClasp (not competing) SCSeq1.0 | 97 | 24.25 | 46.63 | 1664367.5722 | 4160.9189 |
| 7 | sattimeRelbackSeq (not competing) 2013 | 67 | 16.75 | 32.21 | 1702338.4811 | 4255.8462 |
| 8 | sattimeRelbackShr (not competing) SRShr1.0 | 67 | 16.75 | 32.21 | 1742358.41 | 4355.896 |
| 9 | gNovelty+GCwa 1.0 | 48 | 12.0 | 23.08 | 1817300.9777 | 4543.2524 |
| 10 | minipure 1.0.1 | 37 | 9.25 | 17.79 | 1888750.698 | 4721.8767 |
| 11 | gNovelty+GCa 1.0 | 31 | 7.75 | 14.9 | 1873220.7761 | 4683.0519 |
| 12 | Solver version43a a | 5 | 1.25 | 2.4 | 1990004.87 | 4975.0122 |
| 13 | Solver version43b b | 2 | 0.5 | 0.96 | 1998821.5 | 4997.0538 |
| 14 | strangenight satcomp11-st | 0 | 0.0 | 0.0 | 2000000.0 | 5000.0 |
| # | Solver version | #solved | % of all | % of VBS | cumulated Wall time | median Wall time |
|---|
| 0 | VBS | 290 | 96.67 | 100.0 | 81810.5624 | 282.1054 |
| 1 | Plingeling aqw | 271 | 90.33 | 93.45 | 308038.9636 | 1026.7965 |
| 2 | Treengeling aqw | 260 | 86.67 | 89.66 | 378331.7755 | 1261.1059 |
| 3 | PeneLoPe 2013 | 247 | 82.33 | 85.17 | 488569.2467 | 1628.5642 |
| 4 | Glucans strict | 241 | 80.33 | 83.1 | 446782.367 | 1489.2746 |
| 5 | pcasso port | 227 | 75.67 | 78.28 | 530958.3775 | 1769.8613 |
| 6 | pcasso 1 | 227 | 75.67 | 78.28 | 534348.4777 | 1781.1616 |
| 7 | SatX10-GLCI bugfix | 226 | 75.33 | 77.93 | 530612.7458 | 1768.7092 |
| 8 | strangenight satcomp11-mt | 225 | 75.0 | 77.59 | 581108.7058 | 1937.029 |
| 9 | pmcSAT 1.0 | 213 | 71.0 | 73.45 | 647525.2277 | 2158.4174 |
| 10 | GlucoRed r531 | 210 | 70.0 | 72.41 | 605800.9426 | 2019.3365 |
| 11 | GlucoRed-Multi r531 | 205 | 68.33 | 70.69 | 647904.2688 | 2159.6809 |
| 12 | SAT4J Parallel SAT COMPETITION 2013 | 111 | 37.0 | 38.28 | 1125034.2171 | 3750.1141 |
| # | Solver version | #solved | % of all | % of VBS | cumulated Wall time | median Wall time |
|---|
| 0 | VBS | 276 | 92.0 | 100.0 | 83854.9648 | 303.8223 |
| 1 | Treengeling aqw | 253 | 84.33 | 91.67 | 344849.4411 | 1149.4981 |
| 2 | Plingeling aqw | 242 | 80.67 | 87.68 | 423820.9824 | 1412.7366 |
| 3 | pcasso (disqualified) port | 220 | 73.33 | 79.71 | 575217.0295 | 1917.3901 |
| 4 | pmcSAT 1.0 | 219 | 73.0 | 79.35 | 568692.4334 | 1895.6414 |
| 5 | pcasso (disqualified) 1 | 219 | 73.0 | 79.35 | 574811.055 | 1916.0369 |
| 6 | Glucans strict | 206 | 68.67 | 74.64 | 611573.5565 | 2038.5785 |
| 7 | GlucoRed r531 | 204 | 68.0 | 73.91 | 616546.4472 | 2055.1548 |
| 8 | GlucoRed-Multi r531 | 197 | 65.67 | 71.38 | 652057.5145 | 2173.525 |
| 9 | strangenight satcomp11-mt | 189 | 63.0 | 68.48 | 664222.264 | 2214.0742 |
| 10 | SAT4J Parallel SAT COMPETITION 2013 | 117 | 39.0 | 42.39 | 1016519.0395 | 3388.3968 |
| # | Solver version | #solved | % of all | % of VBS | cumulated Wall time | median Wall time |
|---|
| 0 | VBS | 253 | 84.33 | 100.0 | 127922.3354 | 505.6219 |
| 1 | CSHCpar8 | 234 | 78.0 | 92.49 | 521860.3363 | 1739.5345 |
| 2 | MIPSat | 231 | 77.0 | 91.3 | 731601.5566 | 2438.6719 |
| 3 | GlucoRed+March r531 | 186 | 62.0 | 73.52 | 653594.4311 | 2178.6481 |
| 4 | interact_open 1.0 | 172 | 57.33 | 67.98 | 827392.6529 | 2757.9755 |
| 5 | pcasso (disqualified) 1 | 162 | 54.0 | 64.03 | 819082.5649 | 2730.2752 |
| 6 | pcasso (disqualified) port | 160 | 53.33 | 63.24 | 816314.6995 | 2721.049 |
| 7 | Riss3g (disqualified) 3g | 151 | 50.33 | 59.68 | 852138.6597 | 2840.4622 |
| 8 | Glucans strict | 150 | 50.0 | 59.29 | 849899.0102 | 2832.9967 |
| 9 | Solver version43a a | 148 | 49.33 | 58.5 | 916474.7449 | 3054.9158 |
| 10 | Solver version43b b | 145 | 48.33 | 57.31 | 918300.6695 | 3061.0022 |
| 11 | forl nodrup | 141 | 47.0 | 55.73 | 883479.265 | 2944.9309 |
| 12 | glueminisat 2.2.7j | 141 | 47.0 | 55.73 | 887161.2846 | 2957.2043 |
| 13 | minipure 1.0.1 | 130 | 43.33 | 51.38 | 987481.2949 | 3291.6043 |
| # | Solver version | #solved | % of all | % of VBS | cumulated CPU time | median CPU time |
|---|
| 0 | VBS | 235 | 78.33 | 100 | 243412.8959 | 1035.7996 |
| 1 | SINNminisat 1.0.0 | 206 | 68.67 | 87.66 | 705085.3591 | 2350.2845 |
| 2 | minisat_bit 1.0 | 189 | 63 | 80.43 | 788626.8166 | 2628.7561 |
| 3 | MiniGolf prefetch | 175 | 58.33 | 74.47 | 806432.9955 | 2688.11 |
| 4 | MiniGolf 1 | 175 | 58.33 | 74.47 | 810649.4221 | 2702.1647 |