---------------------------------------------------------------------------- Abbreviations ---------------------------------------------------------------------------- --- Timeout (or unspecified). -g- GaveUp (Used only by CASC). -u- Unknown (Used only by CASC). -m- Out of Memory (Used only by KRH). -l- Max number of vars exceeded (Used only by KRH). -?- No result available. -x- Tptp2X preprocessing failure. -p- Preprocessing failure. ---------------------------------------------------------------------------- Problem set tptp_hne(satisfiable), 50 problems All problems in TPTP 2.5.0 which are Horn, without equality and satisfiable. ---------------------------------------------------------------------------- 1 3, 4 together. 32 solved 2 3, 4, 5 together. 32 solved 3 Krh 26.3.03, with tptp2X magic transformation, 300s. 31 solved 4 Krh 26.3.03, timeout 650s., options for Horn problems. 22 solved 5 Krh 7.4.03, 600s., initial max weight 20. 22 solved 6 4, 5 together. 22 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| ---------------------|------|------|------|------|------|------| LCL078-1 0.75| ---| ---| ---| ---| ---| ---| LCL168-1 0.75| ---| ---| ---| ---| ---| ---| LCL179-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL180-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL181-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL183-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL184-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL209-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL219-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL235-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL239-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL240-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL241-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL246-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL248-1 0.75| ---| ---| -m-| -m-| -m-| ---| LCL415-1 0.50| ---| ---| ---| ---| ---| ---| SWV016-1 0.50| ---| ---| ---| ---| ---| ---| SWV018-1 0.50| ---| ---| ---| ---| ---| ---| GRP394-2 0.25| 0.0| 0.0| 0.0| ---| -m-| ---| LCL411-1 0.25| 0.0| 0.0| 0.0| -m-| -m-| ---| NUM286-2 0.25| 0.0| 0.0| 0.0| ---| ---| ---| NUM287-1 0.25| 0.0| 0.0| 0.0| -l-| -l-| ---| PUZ046-1 0.25| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SWV012-1 0.25| 0.0| 0.0| 0.0| ---| ---| ---| SWV013-1 0.25| 0.0| 0.0| 0.0| ---| ---| ---| SWV015-1 0.25| 0.0| 0.0| 0.0| ---| ---| ---| SWV017-1 0.25| 0.0| 0.0| 0.0| ---| ---| ---| SYN303-1 0.25| 0.0| 0.0| ---| 0.0| 0.0| 0.0| NLP104-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NLP105-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NLP106-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NLP107-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NLP108-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NLP109-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NLP110-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NLP111-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NLP112-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NLP113-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NUM286-1 0.00| 0.0| 0.0| 0.0| ---| ---| ---| PLA029-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| PLA030-1 0.00| 0.0| 0.0| 0.0| ---| -m-| ---| SWV010-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN086-1.003 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN087-1.003 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN302-1.003 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN322-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN329-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN337-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN342-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN720-1 0.00| 0.1| 0.1| 0.1| 0.2| 0.2| 0.2| ---------------------------------------------------------------------------- Problem set tptp_hne(unsatisfiable), 676 problems All problems in TPTP 2.5.0 which are Horn, without equality and unsatisfiable. ---------------------------------------------------------------------------- 1 4, 5, 6 together. 603 solved 2 4, 6 together. 594 solved 3 4, 5 together. 582 solved 4 Krh 26.3.03, timeout 650s., options for Horn problems. 572 solved 5 Krh 7.4.03, 600s., initial max weight 20. 550 solved 6 Krh 26.3.03, with tptp2X magic transformation, 300s. 529 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| ---------------------|------|------|------|------|------|------| GEO001-4 1.00| ---| ---| ---| ---| ---| ---| LCL419-1 1.00| ---| ---| ---| ---| ---| ---| LCL420-1 1.00| ---| ---| ---| ---| ---| ---| LCL421-1 1.00| ---| ---| ---| ---| ---| ---| LCL422-1 1.00| ---| ---| ---| ---| ---| ---| LCL423-1 1.00| ---| ---| ---| ---| ---| ---| LCL424-1 1.00| ---| ---| ---| ---| ---| ---| LCL425-1 1.00| ---| ---| ---| ---| ---| ---| LCL426-1 1.00| ---| ---| ---| ---| ---| ---| LCL427-1 1.00| ---| ---| ---| ---| ---| ---| ROB025-1 1.00| ---| ---| ---| ---| ---| ---| LCL032-1 0.86| ---| ---| ---| ---| ---| ---| LCL037-1 0.86| ---| ---| ---| ---| ---| ---| LCL063-1 0.86| ---| ---| ---| ---| ---| ---| LCL084-3 0.86| ---| ---| ---| ---| ---| ---| LCL099-1 0.86| 297.5| 635.5| 297.5| 635.5| 297.5| ---| LCL125-1 0.86| 271.2| 271.2| 271.2| 271.2| 272.4| ---| LCL417-1 0.83| ---| ---| ---| ---| ---| ---| LCL002-1 0.71| ---| ---| ---| ---| ---| ---| LCL038-1 0.71| ---| ---| ---| ---| ---| ---| LCL061-1 0.71| ---| ---| ---| ---| ---| ---| LCL062-1 0.71| ---| ---| ---| ---| ---| ---| LCL084-1 0.71| ---| ---| ---| ---| ---| ---| LCL084-2 0.71| ---| ---| ---| ---| ---| ---| LCL100-1 0.71| 596.4| 596.4| 596.4| 596.4| 596.6| -m-| LCL105-1 0.71| 225.4| 308.7| 225.4| 308.7| 225.4| ---| LCL191-1 0.71| 2.0| 2.0| 2.0| 2.0| 154.2| -m-| LCL221-1 0.71| 16.9| 16.9| 16.9| 16.9| 25.5| ---| LCL375-1 0.71| ---| ---| ---| ---| ---| ---| LCL377-1 0.71| ---| ---| ---| ---| ---| ---| LCL393-1 0.71| ---| ---| ---| ---| ---| ---| LCL394-1 0.71| ---| ---| ---| ---| ---| ---| LCL395-1 0.71| ---| ---| ---| ---| ---| ---| SYN572-1 0.67| 1.0| 1.0| 1.5| 1.5| ---| 1.0| SYN615-1 0.67| ---| ---| ---| ---| ---| ---| SYN631-1 0.67| 12.1| 12.1| 12.1| 12.1| ---| 18.2| LCL005-1 0.57| ---| ---| ---| ---| ---| ---| LCL019-1 0.57| ---| ---| ---| ---| ---| ---| LCL020-1 0.57| ---| ---| ---| ---| ---| ---| LCL021-1 0.57| ---| ---| ---| ---| ---| ---| LCL030-1 0.57| 14.0| 277.5| 14.0| 277.5| 14.0| ---| LCL119-1 0.57| ---| ---| ---| ---| ---| ---| LCL122-1 0.57| 382.2| 382.7| 382.2| 382.7| 382.2| ---| LCL124-1 0.57| ---| ---| ---| ---| ---| ---| LCL129-1 0.57| 131.7| 131.7| 131.7| 131.7| 132.4| ---| LCL166-1 0.57| 10.6| 10.6| 10.6| 10.6| 10.6| 28.0| LCL167-1 0.57| ---| ---| ---| ---| ---| ---| LCL222-1 0.57| 15.6| 15.6| 15.6| 15.6| 39.8| -m-| LCL223-1 0.57| 10.6| 10.6| 10.6| 10.6| 40.3| -m-| LCL227-1 0.57| ---| ---| ---| -m-| -m-| -m-| LCL249-1 0.57| 73.7| 144.4| 73.7| 144.4| 73.7| -m-| LCL374-1 0.57| ---| ---| ---| ---| ---| ---| LCL376-1 0.57| ---| ---| ---| ---| ---| ---| LCL403-1 0.57| 107.6| 107.6| 107.6| 107.6| ---| ---| LCL404-1 0.57| 105.1| 105.1| 105.1| 105.1| ---| ---| RNG004-3 0.57| 249.9| 249.9| 249.9| 249.9| -m-| 286.4| SYN614-1 0.50| ---| ---| ---| ---| ---| ---| PUZ037-3 0.44| ---| ---| ---| -m-| -m-| -m-| ANA003-2 0.43| ---| ---| ---| ---| -m-| ---| LCL012-1 0.43| 24.3| 24.3| 24.3| 24.3| 25.1| ---| LCL014-1 0.43| 9.2| 107.0| 9.2| 107.0| 9.2| ---| LCL015-1 0.43| 140.7| 141.0| 140.7| 141.0| 140.7| ---| LCL016-1 0.43| ---| ---| ---| ---| ---| ---| LCL017-1 0.43| ---| ---| ---| ---| ---| ---| LCL018-1 0.43| 69.2| 69.2| 69.2| 69.2| 69.5| ---| LCL024-1 0.43| ---| ---| ---| ---| ---| ---| LCL028-1 0.43| ---| ---| ---| ---| ---| ---| LCL031-1 0.43| 253.4| 253.4| 253.4| 253.4| ---| ---| LCL051-1 0.43| 15.4| 15.4| 15.4| 15.4| 309.8| ---| LCL054-1 0.43| ---| ---| ---| ---| ---| ---| LCL060-1 0.43| 426.7| 426.7| 426.7| 426.7| ---| ---| LCL103-1 0.43| 1.1| 31.6| 1.1| 31.6| 1.1| ---| LCL127-1 0.43| 348.9| 348.9| 348.9| 348.9| 351.7| ---| LCL253-1 0.43| ---| ---| ---| -m-| -m-| -m-| LCL365-1 0.43| 2.0| 2.0| 2.0| 2.0| 19.5| 100.1| LCL368-1 0.43| 125.6| 125.6| 125.6| 125.6| ---| ---| LCL369-1 0.43| 273.7| 273.7| 273.7| 273.7| ---| ---| LCL370-1 0.43| 68.5| 68.5| 68.5| 68.5| ---| ---| LCL371-1 0.43| 68.7| 68.7| 68.7| 68.7| ---| ---| LCL372-1 0.43| 388.1| 649.0| 388.1| 649.0| 388.1| ---| LCL373-1 0.43| 449.4| 449.4| 449.4| 449.4| ---| ---| LCL382-1 0.43| 66.1| 66.1| 66.1| 66.1| ---| ---| LCL383-1 0.43| ---| ---| ---| ---| ---| ---| LCL384-1 0.43| 5.1| 5.1| 5.1| 5.1| 137.7| 15.1| LCL390-1 0.43| 119.4| 119.4| 119.4| 119.4| ---| 293.9| LCL391-1 0.43| ---| ---| ---| ---| ---| ---| LCL392-1 0.43| ---| ---| ---| ---| ---| ---| NUM284-1.014 0.43| 7.6| 7.6| 7.6| 7.6| 7.7| 154.5| PUZ042-1 0.43| 0.3| 0.3| 0.3| 0.3| 0.3| ---| RNG001-2 0.43| ---| ---| ---| ---| ---| ---| RNG001-5 0.43| ---| ---| ---| ---| -m-| ---| RNG039-2 0.43| 0.5| 0.5| 0.5| 0.5| -m-| 1.3| LCL416-1 0.33| 1.5| 1.5| 1.5| 1.5| 1.5| 2.2| SYN556-1 0.33| ---| ---| ---| ---| ---| ---| SYN563-1 0.33| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN597-1 0.33| 2.4| 12.5| 2.4| ---| 2.4| 12.5| SYN598-1 0.33| ---| ---| ---| ---| ---| ---| SYN599-1 0.33| ---| ---| ---| ---| ---| ---| SYN600-1 0.33| ---| ---| ---| ---| ---| ---| SYN601-1 0.33| 2.5| ---| 2.5| ---| 2.5| ---| SYN602-1 0.33| 2.4| 103.1| 2.4| 103.1| 2.4| 109.0| SYN603-1 0.33| 2.4| ---| 2.4| ---| 2.4| ---| SYN616-1 0.33| 144.1| 314.6| 144.1| 314.6| 144.1| ---| SYN617-1 0.33| ---| ---| ---| ---| ---| ---| SYN628-1 0.33| 15.1| 15.1| 15.1| 15.1| 20.5| 15.9| SYN629-1 0.33| 15.2| 15.2| 15.2| 15.2| 20.5| 16.1| SYN653-1 0.33| ---| ---| ---| -l-| -l-| -l-| GEO002-4 0.29| 0.0| 0.0| 0.0| 0.0| 0.6| 0.0| GRP048-2 0.29| 0.1| 0.1| 0.1| 0.1| -m-| 0.2| LCL003-1 0.29| ---| ---| ---| ---| ---| ---| LCL004-1 0.29| ---| ---| ---| ---| ---| ---| LCL026-1 0.29| 3.2| 3.2| 3.2| 3.2| ---| 45.0| LCL034-1 0.29| 11.0| 17.8| 11.0| 17.8| 11.0| ---| LCL036-1 0.29| 0.2| 0.2| 0.2| 0.2| 0.3| ---| LCL039-1 0.29| 89.9| 89.9| 89.9| 89.9| ---| ---| LCL042-1 0.29| 63.9| ---| 63.9| ---| 63.9| ---| LCL047-1 0.29| 4.7| 4.7| 4.7| 4.7| 10.1| 7.4| LCL048-1 0.29| 2.8| 2.8| 2.8| 2.8| 7.6| 7.6| LCL049-1 0.29| 6.0| 6.0| 6.0| 6.0| 117.9| 13.1| LCL050-1 0.29| 29.7| 29.7| 29.7| 29.7| 150.3| ---| LCL052-1 0.29| 25.9| 25.9| 25.9| 25.9| 313.8| 27.4| LCL053-1 0.29| 50.5| 50.5| 50.5| 50.5| ---| ---| LCL055-1 0.29| 11.5| 15.3| 11.5| 15.3| 11.5| 33.1| LCL056-1 0.29| 5.1| 5.1| 5.1| 5.1| 17.7| 13.2| LCL057-1 0.29| 21.3| 21.3| 21.3| 21.3| ---| 32.7| LCL058-1 0.29| 118.9| 118.9| 118.9| 118.9| ---| ---| LCL059-1 0.29| 5.3| 5.3| 5.3| 5.3| 103.2| 33.1| LCL068-1 0.29| ---| ---| ---| ---| ---| ---| LCL071-1 0.29| ---| ---| ---| ---| ---| ---| LCL075-1 0.29| 0.5| 0.5| 0.5| 0.5| 1.7| ---| LCL083-1 0.29| 0.3| 0.3| 0.3| 0.3| 1.2| 4.3| LCL083-2 0.29| 0.1| 0.1| 0.1| 0.1| 0.3| 1.1| LCL085-1 0.29| 113.1| ---| 113.1| ---| 113.1| ---| LCL086-1 0.29| 5.2| 5.2| 5.2| 5.2| 5.2| 58.7| LCL087-1 0.29| 0.1| 0.1| 0.1| 0.1| 0.1| 0.9| LCL088-1 0.29| 25.1| 25.1| 25.1| 25.1| 25.4| ---| LCL089-1 0.29| 5.3| 5.3| 5.3| 5.3| 5.3| 75.7| LCL090-1 0.29| 1.8| 1.8| 1.8| 1.8| 1.8| ---| LCL091-1 0.29| 0.8| 0.8| 0.8| 0.8| 0.8| ---| LCL092-1 0.29| 7.3| 7.3| 7.3| 7.3| 7.5| ---| LCL093-1 0.29| 70.2| 70.2| 70.2| 70.2| 71.0| ---| LCL094-1 0.29| 17.5| 17.5| 17.5| 17.5| 17.8| ---| LCL095-1 0.29| 15.1| 15.1| 15.1| 15.1| 15.4| ---| LCL113-1 0.29| 43.6| ---| 43.6| ---| 43.6| ---| LCL114-1 0.29| ---| ---| ---| ---| ---| ---| LCL115-1 0.29| 0.2| 0.2| 0.2| 0.2| 185.3| 1.3| LCL116-1 0.29| ---| ---| ---| ---| ---| ---| LCL121-1 0.29| 30.1| 30.1| 30.1| 30.1| 30.3| 67.4| LCL128-1 0.29| 85.9| 86.0| 85.9| 86.0| 85.9| 151.8| LCL131-1 0.29| 64.4| 64.8| 64.4| 64.8| 64.4| ---| LCL224-1 0.29| 9.9| 9.9| 9.9| 9.9| 36.4| -m-| LCL225-1 0.29| 9.9| 9.9| 9.9| 9.9| 36.1| -m-| LCL256-1 0.29| 14.8| 14.8| 14.8| 14.8| 196.7| 21.0| LCL364-1 0.29| 0.5| 1.3| 0.5| 1.3| 0.5| ---| LCL367-1 0.29| 2.9| 2.9| 4.8| 4.8| 10.1| 2.9| LCL378-1 0.29| 5.2| 5.2| 5.2| 5.2| 20.5| 13.6| LCL379-1 0.29| 25.3| 25.3| 25.3| 25.3| ---| 121.3| LCL380-1 0.29| 15.0| 15.0| 15.0| 15.0| 142.2| 23.3| LCL381-1 0.29| 26.0| 26.0| 26.0| 26.0| 388.5| 88.2| LCL385-1 0.29| 66.0| 66.0| 66.0| 66.0| ---| ---| LCL386-1 0.29| 26.6| 26.6| 26.6| 26.6| 385.0| ---| LCL387-1 0.29| 83.6| 83.6| 120.7| 120.7| ---| 83.6| LCL388-1 0.29| ---| ---| ---| ---| ---| ---| LCL389-1 0.29| ---| ---| ---| ---| ---| ---| LCL396-1 0.29| 25.6| 25.6| 25.6| 25.6| 201.8| 63.6| LCL399-1 0.29| 1.0| 1.0| 1.0| 1.0| 8.7| 2.1| LCL400-1 0.29| 62.1| 62.1| 62.1| 62.1| ---| 160.3| LCL401-1 0.29| 57.9| 57.9| 57.9| 57.9| ---| ---| LCL402-1 0.29| 15.2| 15.2| 15.2| 15.2| ---| 36.8| LCL405-1 0.29| 15.3| 15.3| 15.3| 15.3| 417.6| ---| NUM017-1 0.29| ---| ---| ---| ---| -m-| ---| PLA008-1 0.29| 1.8| 1.8| ---| ---| -m-| 1.8| PLA010-1 0.29| 1.8| 1.8| ---| ---| -m-| 1.8| PLA015-1 0.29| 2.5| 2.5| ---| ---| -m-| 2.5| PLA018-1 0.29| 2.5| 2.5| ---| ---| -m-| 2.5| PUZ037-2 0.22| 0.3| 0.3| 0.3| 0.3| 0.3| -m-| SYN577-1 0.17| 0.0| 0.0| 0.0| 0.0| 2.1| 0.0| SYN637-1 0.17| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN638-1 0.17| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN639-1 0.17| 0.9| 18.4| 0.9| 18.4| 0.9| 20.0| SYN640-1 0.17| 1.0| 18.3| 1.0| 18.3| 1.0| 19.9| SYN646-1 0.17| 1.7| 22.6| 1.7| 22.6| 1.7| 22.6| SYN647-1 0.17| 1.7| 22.4| 1.7| 22.4| 1.7| 22.6| SYN704-1 0.17| ---| ---| ---| ---| ---| ---| SYN707-1 0.17| 9.9| ---| 9.9| ---| 9.9| ---| SYN708-1 0.17| 9.9| ---| 9.9| ---| 9.9| ---| SYN711-1 0.17| 0.0| 525.2| 0.0| 525.2| 0.0| ---| LCL025-1 0.14| 0.9| 4.0| 0.9| 4.0| 0.9| 37.0| LCL033-1 0.14| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| LCL064-1 0.14| 0.5| 15.4| 0.5| 15.4| 0.5| ---| LCL067-1 0.14| ---| ---| ---| ---| ---| ---| LCL070-1 0.14| ---| ---| ---| ---| ---| ---| LCL080-1 0.14| 2.4| 2.4| 2.4| 2.4| 5.1| 11.1| LCL080-2 0.14| 2.4| 2.4| 2.4| 2.4| 6.1| 34.3| LCL082-1 0.14| 0.1| 0.1| 0.1| 0.1| 0.2| 1.8| LCL112-1 0.14| 0.1| 0.1| 0.1| 0.1| 5.3| 0.5| LCL123-1 0.14| 1.5| 1.5| 1.5| 1.5| 1.5| 3.8| LCL363-1 0.14| 0.0| 0.0| 0.0| 0.0| 0.7| 0.0| LCL397-1 0.14| 0.0| 0.0| 0.0| 0.0| 1.3| 0.0| NUM024-1 0.14| 0.6| 0.8| 0.6| 0.8| 0.6| 0.9| NUM283-1.005 0.14| 0.0| 0.0| 2.4| 2.4| 2.4| 0.0| PLA001-1 0.14| 0.5| 0.5| 0.7| 0.7| 0.7| 0.5| PLA004-1 0.14| 0.2| 0.2| ---| ---| -m-| 0.2| PLA004-2 0.14| 0.2| 0.2| ---| ---| -m-| 0.2| PLA005-1 0.14| 0.2| 0.2| ---| ---| -m-| 0.2| PLA005-2 0.14| 0.1| 0.1| ---| ---| -m-| 0.1| PLA007-1 0.14| 0.0| 0.0| ---| ---| -m-| 0.0| PLA009-1 0.14| 0.0| 0.0| ---| ---| -m-| 0.0| PLA009-2 0.14| 0.2| 0.2| ---| ---| -m-| 0.2| PLA011-1 0.14| 0.1| 0.1| ---| ---| -m-| 0.1| PLA011-2 0.14| 0.2| 0.2| ---| ---| -m-| 0.2| PLA012-1 0.14| 1.8| 1.8| ---| ---| -m-| 1.8| PLA013-1 0.14| 0.2| 0.2| ---| ---| -m-| 0.2| PLA014-1 0.14| 0.2| 0.2| ---| ---| -m-| 0.2| PLA014-2 0.14| 0.2| 0.2| ---| ---| -m-| 0.2| PLA016-1 0.14| 0.0| 0.0| ---| ---| -m-| 0.0| PLA019-1 0.14| 0.0| 0.0| ---| ---| -m-| 0.0| PLA021-1 0.14| 0.1| 0.1| ---| ---| -m-| 0.1| PLA022-1 0.14| 0.0| 0.0| 37.8| 37.8| -m-| 0.0| PLA022-2 0.14| 0.0| 0.0| 37.9| 37.9| -m-| 0.0| PLA023-1 0.14| 1.8| 1.8| ---| ---| -m-| 1.8| RNG001-3 0.14| 10.7| 10.7| 10.7| 10.7| 27.9| 15.6| RNG005-2 0.14| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| RNG006-2 0.14| 3.0| 3.0| 3.0| 3.0| -m-| 6.5| RNG037-2 0.14| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| RNG038-2 0.14| 0.1| 0.1| 0.1| 0.1| ---| 0.5| SWV014-1 0.14| ---| ---| ---| ---| ---| ---| SYN311-1 0.14| 0.1| 0.1| 14.2| 14.2| 19.4| 0.1| SYN312-1 0.14| 1.2| 1.2| 1.2| 1.2| 11.3| 3.3| LAT005-1 0.11| 0.1| 0.1| 0.1| 0.1| 0.1| 0.4| PUZ036-1.005 0.11| 0.1| 0.1| 0.1| 0.1| 0.1| 44.2| PUZ037-1 0.11| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| COM001-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| COM002-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GEO079-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP001-5 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP003-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP003-2 0.00| 0.0| 0.0| 0.0| 0.0| 0.9| 0.0| GRP004-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP004-2 0.00| 0.0| 0.0| 0.0| 0.0| 1.4| 0.0| GRP005-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP006-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP028-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP028-3 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP029-2 0.00| 0.0| 0.0| 0.0| 0.0| 0.9| 0.0| GRP031-2 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP033-3 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP034-4 0.00| 0.0| 0.0| 0.0| 0.0| 8.2| 0.0| GRP041-2 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP042-2 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| GRP043-2 0.00| 0.0| 0.0| 0.0| 0.0| 54.7| 0.0| GRP044-2 0.00| 0.0| 0.0| 0.0| 0.0| 1.3| 0.0| GRP045-2 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.0| GRP046-2 0.00| 0.0| 0.0| 0.0| 0.0| 4.1| 0.0| GRP047-2 0.00| 0.1| 0.1| 0.1| 0.1| 112.9| 0.1| KRS004-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LAT005-2 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| LCL006-1 0.00| 0.2| 1.2| 0.2| 1.2| 0.2| ---| LCL007-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL008-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL009-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.3| 0.1| LCL010-1 0.00| 0.1| 0.5| 0.1| 0.5| 0.1| 5.0| LCL011-1 0.00| 0.2| 0.2| 0.2| 0.2| 0.4| 1.2| LCL013-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL022-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| LCL023-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.0| LCL027-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL029-1 0.00| 2.5| 2.5| 2.5| 2.5| 2.7| 18.2| LCL035-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| LCL040-1 0.00| 20.1| 96.5| 20.1| 96.5| 20.1| ---| LCL041-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL043-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.2| LCL044-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| LCL045-1 0.00| 0.3| ---| 0.3| ---| 0.3| ---| LCL046-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL064-2 0.00| 0.2| 2.5| 0.2| 3.7| 0.2| 2.5| LCL065-1 0.00| 0.3| 0.3| 0.3| 0.3| 1.0| 1.9| LCL066-1 0.00| 0.4| 0.4| 0.4| 0.4| 1.0| 3.2| LCL069-1 0.00| 1.1| 1.1| 1.1| 1.1| 1.1| 20.0| LCL072-1 0.00| 0.1| 0.4| 0.1| 0.4| 0.1| 9.4| LCL076-1 0.00| 0.3| 0.3| 0.3| 0.3| 0.7| 1.2| LCL076-2 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL076-3 0.00| 0.1| 0.1| 0.1| 0.1| 28.9| 0.1| LCL077-1 0.00| 0.2| 0.2| 0.2| 0.2| 0.6| 1.5| LCL077-2 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| LCL079-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL081-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.2| 2.7| LCL096-1 0.00| 0.9| 0.9| 0.9| 0.9| 0.9| 8.3| LCL097-1 0.00| 0.0| 0.1| 0.0| 66.0| 0.0| 0.1| LCL098-1 0.00| 0.1| 0.1| 1.5| 1.5| 1.5| 0.1| LCL101-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 69.6| LCL102-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.2| LCL104-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| LCL106-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL107-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.7| LCL108-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 21.2| LCL110-1 0.00| 0.1| 0.1| 0.1| 0.1| 1.3| 0.4| LCL111-1 0.00| 0.0| ---| 0.0| ---| 0.0| ---| LCL117-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL118-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 59.8| LCL120-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 241.7| LCL126-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL130-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.7| LCL169-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL170-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL171-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL172-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL173-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL174-1 0.00| 0.0| 0.1| 0.0| 0.7| 0.0| 0.1| LCL175-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL176-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL177-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL178-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL182-1 0.00| 0.2| 0.2| 0.2| 0.2| 0.3| ---| LCL185-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL186-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL187-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL188-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL189-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL190-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL192-1 0.00| 0.1| 0.1| 0.1| 0.2| 0.1| 0.1| LCL193-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 15.5| LCL194-1 0.00| 0.0| 0.2| 0.0| 1.3| 0.0| 0.2| LCL195-1 0.00| 0.5| 1.4| 0.5| 1.4| 0.5| 16.3| LCL196-1 0.00| 0.2| 0.2| 0.2| 0.2| 4.5| 102.2| LCL197-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL198-1 0.00| 0.2| 0.2| 0.2| 0.2| 4.5| -m-| LCL199-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.5| 0.2| LCL200-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| LCL201-1 0.00| 0.2| 0.2| 0.2| 0.2| 0.5| 0.3| LCL202-1 0.00| 0.0| 0.0| 0.0| 0.0| 1.8| 0.5| LCL203-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.5| 0.6| LCL204-1 0.00| 0.2| 0.2| 0.2| 0.2| 0.5| 1.0| LCL205-1 0.00| 0.0| 0.0| 0.0| 0.0| 1.8| 6.6| LCL206-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.5| 4.1| LCL207-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 48.3| LCL208-1 0.00| 0.2| 0.2| 0.2| 0.2| 2.7| 3.0| LCL210-1 0.00| 0.2| 0.2| 0.2| 0.2| 3.6| 3.1| LCL211-1 0.00| 0.2| 0.2| 0.2| 0.2| 0.2| 2.6| LCL212-1 0.00| 0.2| 0.2| 0.2| 0.2| 0.5| 11.2| LCL213-1 0.00| 0.2| 0.2| 0.2| 0.2| 0.3| 10.6| LCL214-1 0.00| 0.2| 0.2| 0.2| 0.2| 0.3| 3.5| LCL215-1 0.00| 0.2| 0.2| 0.2| 0.2| 0.5| 3.5| LCL216-1 0.00| 0.1| 0.2| 0.1| 0.2| 0.1| 3.4| LCL217-1 0.00| 0.1| 0.2| 0.1| 0.2| 0.1| ---| LCL218-1 0.00| 0.3| 0.3| 0.5| 1.1| 0.5| 0.3| LCL226-1 0.00| 0.0| 0.0| 0.0| 0.7| 0.0| 0.0| LCL230-1 0.00| 1.9| 1.9| 2.6| 10.1| 2.6| 1.9| LCL231-1 0.00| 2.6| 10.0| 2.6| 10.0| 2.6| 26.1| LCL234-1 0.00| 1.2| 1.2| 1.2| 1.2| 9.5| -m-| LCL236-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 1.6| LCL237-1 0.00| 1.2| 1.2| 1.2| 1.2| 17.8| -m-| LCL238-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 1.9| LCL250-1 0.00| 1.3| 1.3| 1.3| 1.3| 13.1| -m-| LCL257-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.0| LCL355-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL356-1 0.00| 0.0| 0.0| 0.0| 0.7| 0.0| 0.0| LCL357-1 0.00| 0.0| 0.0| 0.0| 1.0| 0.0| 0.0| LCL358-1 0.00| 0.0| 0.0| 0.0| 1.4| 0.0| 0.0| LCL359-1 0.00| 0.0| 0.0| 0.0| 1.3| 0.0| 0.0| LCL360-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL361-1 0.00| 0.0| 0.0| 0.0| 0.2| 0.0| 0.0| LCL362-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.2| 0.2| LCL366-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL398-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL414-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| LCL428-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MGT001-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MGT002-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MGT003-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MGT006-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MGT008-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MGT009-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MGT010-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MGT015-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MGT017-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MGT032-2 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MGT036-3 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| MSC005-1 0.00| 0.0| 0.0| 0.1| 0.1| 25.5| 0.0| NUM001-1 0.00| 3.4| 3.4| 3.4| 3.4| 13.9| 3.7| NUM002-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.1| NUM003-1 0.00| 7.0| 7.0| 7.0| 7.0| 46.5| 7.6| NUM004-1 0.00| 0.1| 0.3| 0.1| 0.3| 0.1| 0.4| NUM019-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NUM020-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NUM023-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| NUM025-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| PLA003-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| PLA006-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.3| 0.0| PLA017-1 0.00| 0.0| 0.0| 0.0| 0.0| -m-| 0.0| PLA020-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| PUZ003-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| PUZ008-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| PUZ008-2 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| PUZ008-3 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| PUZ011-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| PUZ022-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| PUZ038-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| PUZ047-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SWV011-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN003-1.006 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN004-1.007 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN005-1.010 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN010-1.005.005 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN033-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN035-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN040-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN041-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN046-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN048-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN049-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN050-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN057-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN058-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN062-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN063-2 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN064-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN065-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN068-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN079-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN085-1.010 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN088-1.010 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN089-1.002 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN090-1.008 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN095-1.002 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN096-1.008 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN101-1.002.002 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN102-1.007.007 0.00| 0.0| 0.0| 0.1| 0.1| 0.1| 0.0| SYN103-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN104-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN105-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN106-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN107-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN108-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN109-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN110-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN111-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN112-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN113-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN114-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN115-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN116-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN117-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN118-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN119-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN120-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN121-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN122-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN123-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN124-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.1| SYN125-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN126-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN127-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN128-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.4| SYN129-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.4| SYN130-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN131-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN132-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN133-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN134-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN135-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN136-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN137-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.1| SYN138-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN139-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN140-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN141-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN142-1 0.00| 0.1| 0.2| 0.1| 0.2| 0.1| 0.4| SYN143-1 0.00| 0.1| 0.2| 0.1| 0.2| 0.1| 0.3| SYN144-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN145-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN146-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN147-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN148-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN149-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN150-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN151-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN152-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN153-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.2| SYN154-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.2| SYN155-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.4| SYN156-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.5| SYN157-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN158-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN159-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.4| SYN160-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN161-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN162-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN163-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.4| SYN164-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN165-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN166-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.1| SYN167-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN168-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN169-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN170-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN171-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN172-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN173-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN174-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN175-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN176-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.1| SYN177-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.2| SYN178-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN179-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN180-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN181-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN182-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN183-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN184-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN185-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN186-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN187-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN188-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN189-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN190-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN191-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN192-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN193-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN194-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN195-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN196-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN197-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN198-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN199-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN200-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN201-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN202-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN203-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN204-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN205-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN206-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN207-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN208-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN209-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN210-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN211-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN212-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN213-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN214-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN215-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.4| SYN216-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN217-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN218-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN219-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.1| SYN220-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN221-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN222-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN223-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.1| SYN224-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN225-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN226-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN227-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN228-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN229-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN230-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN231-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN232-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN233-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN234-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN235-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN236-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN237-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN238-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN239-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN240-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN241-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN242-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN243-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN244-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN245-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN246-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN247-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN248-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN249-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN250-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN251-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN252-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN253-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.4| SYN254-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN255-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN256-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN257-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN258-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN259-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN260-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN261-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN262-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN263-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN264-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN265-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN266-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN267-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN268-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.2| SYN269-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.4| SYN270-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN271-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.3| SYN272-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN273-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN274-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN275-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN276-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN277-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN278-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN279-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN280-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN281-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN282-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN283-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN284-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN285-1 0.00| 0.0| 0.1| 0.0| 0.1| 0.0| 0.1| SYN286-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN287-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN288-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN289-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN290-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN291-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN292-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN293-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN294-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN295-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN296-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN297-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN298-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN299-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN300-1 0.00| 0.1| 0.1| 0.1| 0.1| 0.1| 0.2| SYN301-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.3| SYN310-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.4| SYN318-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN333-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN336-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN338-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN339-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN340-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN341-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN346-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN553-1 0.00| 0.0| 0.0| 0.1| 0.1| 0.7| 0.0| SYN555-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN557-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.1| 0.0| SYN558-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN559-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.4| 0.0| SYN561-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.3| 0.0| SYN562-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN564-1 0.00| 0.0| 0.0| 0.0| 0.0| 2.5| 0.1| SYN565-1 0.00| 0.0| 0.0| 0.0| 0.0| 212.8| 0.1| SYN566-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN569-1 0.00| 0.0| 0.0| 0.2| 2.9| 0.2| 0.0| SYN570-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN584-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN588-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN589-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN590-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN596-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN618-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.8| 0.0| SYN632-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN649-1 0.00| 0.9| 0.9| 0.9| 0.9| 0.9| 2.1| SYN651-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN652-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN654-1 0.00| ---| ---| ---| -l-| -l-| -l-| SYN655-1 0.00| ---| ---| ---| -l-| -l-| -l-| SYN688-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN689-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN691-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN702-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN703-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN705-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN706-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN709-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN712-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN715-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN716-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN719-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.1| SYN721-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN727-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN729-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| SYN731-1 0.00| 0.0| 0.0| 0.0| 0.0| 0.0| 0.0| ---------------------------------------------------------------------------- Problem set tptp_hne(unknown), 22 problems All problems in TPTP 2.5.0 which are Horn, without equality and unknown. ---------------------------------------------------------------------------- 1 Krh 26.3.03, timeout 650s., options for Horn problems. 0 solved 2 Krh 7.4.03, 600s., initial max weight 20. 0 solved 3 Krh 26.3.03, with tptp2X magic transformation, 300s. 0 solved 4 1, 3 together. 0 solved 5 1, 2 together. 0 solved 6 1, 2, 3 together. 0 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| ---------------------|------|------|------|------|------|------| ANA004-2 1.00| ---| -m-| ---| ---| ---| ---| ANA005-2 1.00| ---| -m-| ---| ---| ---| ---| LCL001-1 1.00| ---| ---| ---| ---| ---| ---| LCL073-1 1.00| ---| ---| ---| ---| ---| ---| LCL074-1 1.00| ---| ---| ---| ---| ---| ---| LCL109-1 1.00| ---| ---| ---| ---| ---| ---| LCL220-1 1.00| -m-| -m-| -m-| ---| ---| ---| LCL228-1 1.00| -m-| -m-| -m-| ---| ---| ---| LCL229-1 1.00| -m-| -m-| -m-| ---| ---| ---| LCL242-1 1.00| -m-| -m-| -m-| ---| ---| ---| LCL243-1 1.00| -m-| -m-| -m-| ---| ---| ---| LCL244-1 1.00| -m-| -m-| -m-| ---| ---| ---| LCL245-1 1.00| -m-| -m-| -m-| ---| ---| ---| LCL247-1 1.00| -m-| -m-| -m-| ---| ---| ---| LCL251-1 1.00| -m-| -m-| -m-| ---| ---| ---| LCL252-1 1.00| -m-| -m-| -m-| ---| ---| ---| LCL254-1 1.00| -m-| -m-| -m-| ---| ---| ---| LCL255-1 1.00| -m-| -m-| -m-| ---| ---| ---| NUM026-1 1.00| ---| ---| ---| ---| ---| ---| PUZ039-1 1.00| -m-| -m-| ---| ---| ---| ---| PUZ040-1 1.00| -m-| -m-| ---| ---| ---| ---| PUZ041-1 1.00| -m-| -m-| ---| ---| ---| ---| ---------------------------------------------------------------------------- Problem set tptp_hne(open), 1 problems All problems in TPTP 2.5.0 which are Horn, without equality and open. ---------------------------------------------------------------------------- 1 Krh 26.3.03, timeout 650s., options for Horn problems. 0 solved 2 Krh 7.4.03, 600s., initial max weight 20. 0 solved 3 Krh 26.3.03, with tptp2X magic transformation, 300s. 0 solved 4 1, 3 together. 0 solved 5 1, 2 together. 0 solved 6 1, 2, 3 together. 0 solved Prob. Rating \ Prover| 1| 2| 3| 4| 5| 6| ---------------------|------|------|------|------|------|------| LCL418-1 1.00| ---| ---| ---| ---| ---| ---|