X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Ftests%2FTPTP%2Frisultati_CASC_2005.txt;fp=matita%2Ftests%2FTPTP%2Frisultati_CASC_2005.txt;h=6b99bbe18b84f94554a7a27739e3dfa28e3cdf46;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1 diff --git a/matita/tests/TPTP/risultati_CASC_2005.txt b/matita/tests/TPTP/risultati_CASC_2005.txt new file mode 100644 index 000000000..6b99bbe18 --- /dev/null +++ b/matita/tests/TPTP/risultati_CASC_2005.txt @@ -0,0 +1,120 @@ + Waldmeister Prover9 Vampire E Otter +BOO023-1 0.00 0.00 0.00 0.00 ---- +BOO073-1 0.00 0.00 40.00 0.00 ---- +COL002-5 ---- 0.00 ---- ---- 0.00 +COL004-1 0.00 0.00 39.80 0.00 ---- +COL006-1 0.00 19.80 209.90 ---- ---- +COL006-6 0.00 0.00 388.30 ---- ---- +COL006-7 0.00 0.00 40.00 ---- ---- +COL034-1 0.00 0.00 0.00 0.00 0.00 +COL036-1 0.00 9.90 159.70 0.00 0.00 +COL041-1 0.00 0.00 0.00 0.00 0.00 +COL042-1 0.00 0.00 ---- 19.70 ---- +COL043-3 0.00 0.00 ---- ---- ---- +COL044-1 0.00 0.00 0.00 0.00 0.00 +COL044-9 0.00 0.00 149.50 ---- ---- +COL046-1 0.00 0.00 19.50 9.80 ---- +COL049-1 0.00 0.00 20.00 0.00 0.00 +COL060-1 0.00 0.00 0.00 0.00 ---- +COL061-1 0.00 0.00 0.00 0.00 ---- +COL064-1 0.00 ---- 0.00 0.00 ---- +COL066-1 0.00 ---- 39.70 ---- ---- +GRP114-1 0.00 69.60 0.00 0.00 ---- +GRP167-4 0.00 59.80 0.00 0.00 ---- +GRP177-2 0.00 29.90 ---- ---- ---- +GRP179-1 0.00 222.00 0.00 0.00 ---- +GRP179-2 0.00 131.70 0.00 0.00 ---- +GRP179-3 0.00 74.40 0.00 0.00 ---- +GRP180-1 0.00 230.60 0.00 9.90 ---- +GRP181-1 0.00 89.80 9.80 59.90 ---- +GRP181-3 0.00 0.00 0.00 0.00 ---- +GRP183-1 0.00 119.90 149.40 0.00 69.10 +GRP183-3 0.00 148.80 149.80 0.00 ---- +GRP183-4 0.00 59.90 149.90 0.00 ---- +GRP184-1 0.00 0.00 109.30 0.00 ---- +GRP184-3 0.00 0.00 111.80 0.00 ---- +GRP186-1 0.00 109.70 0.00 0.00 ---- +GRP186-2 0.00 69.90 0.00 0.00 ---- +GRP196-1 ---- ---- 138.10 ---- ---- +GRP200-1 0.00 0.00 0.00 0.00 0.00 +GRP201-1 0.00 0.00 0.00 0.00 0.00 +GRP205-1 0.00 0.00 0.00 0.00 ---- +GRP405-1 0.00 0.00 9.90 0.00 0.00 +GRP410-1 0.00 0.00 0.00 9.90 ---- +GRP419-1 0.00 0.00 10.00 0.00 139.20 +GRP422-1 0.00 0.00 9.70 0.00 0.00 +GRP423-1 0.00 0.00 20.00 0.00 ---- +GRP444-1 0.00 0.00 0.00 0.00 ---- +GRP475-1 0.00 0.00 0.00 0.00 ---- +GRP476-1 0.00 0.00 0.00 0.00 ---- +GRP505-1 0.00 29.80 89.60 ---- ---- +GRP506-1 0.00 49.50 119.70 ---- ---- +GRP508-1 0.00 39.90 119.60 ---- ---- +LAT080-1 0.00 0.00 0.00 0.00 ---- +LAT081-1 0.00 0.00 0.00 0.00 ---- +LAT083-1 0.00 0.00 0.00 0.00 ---- +LAT084-1 0.00 ---- 0.00 0.00 ---- +LAT086-1 0.00 0.00 0.00 0.00 ---- +LAT087-1 0.00 0.00 0.00 0.00 ---- +LAT092-1 0.00 0.00 0.00 0.00 ---- +LAT093-1 0.00 0.00 0.00 0.00 ---- +LAT094-1 0.00 0.00 0.00 0.00 ---- +LAT096-1 0.00 0.00 0.00 0.00 ---- +LAT145-1 ---- ---- ---- ---- ---- +LAT147-1 0.00 ---- ---- ---- ---- +LAT148-1 ---- 29.90 ---- ---- ---- +LAT151-1 0.00 ---- ---- ---- ---- +LAT152-1 ---- ---- ---- ---- 19.00 +LAT154-1 ---- ---- ---- ---- 159.00 +LAT156-1 ---- ---- ---- ---- 65.00 +LAT160-1 0.00 ---- ---- ---- ---- +LAT162-1 ---- ---- ---- ---- ---- +LAT164-1 ---- ---- ---- ---- ---- +LAT165-1 0.00 ---- ---- ---- ---- +LAT169-1 ---- ---- ---- ---- ---- +LCL138-1 0.00 0.00 0.00 0.00 0.00 +RNG009-5 0.00 79.80 130.00 0.00 ---- +RNG009-7 0.00 89.60 0.00 0.00 ---- +RNG019-6 0.00 0.00 0.00 0.00 0.00 +RNG020-6 0.00 0.00 0.00 0.00 0.00 +RNG021-7 0.00 0.00 0.00 0.00 0.00 +RNG025-4 0.00 9.90 ---- ---- ---- +RNG025-5 0.00 9.20 ---- ---- 0.00 +RNG025-6 0.00 0.00 339.70 0.00 0.00 +RNG026-6 0.00 0.00 0.00 0.00 ---- +RNG026-7 0.00 0.00 0.00 0.00 ---- +RNG027-5 0.00 48.80 ---- ---- ---- +RNG027-7 0.00 140.00 ---- ---- ---- +RNG027-8 0.00 219.60 ---- ---- ---- +RNG027-9 0.00 259.00 ---- ---- ---- +RNG028-7 0.00 29.90 ---- ---- ---- +RNG028-8 0.00 29.90 ---- ---- ---- +RNG029-6 0.00 73.40 ---- ---- ---- +RNG029-7 0.00 69.80 ---- ---- ---- +RNG035-7 0.00 389.60 ---- 19.90 ---- +ROB006-1 0.00 119.80 ---- ---- ---- +GRP187-1 9.70 ---- 189.40 0.00 ---- +LAT020-1 9.80 0.00 109.90 29.90 ---- +GRP164-1 19.80 ---- ---- ---- ---- +BOO067-1 27.60 0.00 0.00 0.00 ---- +LAT171-1 29.80 ---- ---- ---- 0.00 +LAT150-1 36.80 ---- ---- ---- ---- +BOO076-1 39.90 139.80 359.80 ---- ---- +LAT146-1 159.60 ---- ---- ---- ---- +LAT172-1 196.80 ---- ---- ---- ---- +LAT175-1 199.80 ---- ---- ---- ---- +LAT144-1 221.30 ---- ---- ---- ---- +LAT157-1 229.60 ---- ---- ---- ---- +LAT155-1 239.20 ---- ---- ---- ---- +LAT158-1 259.70 ---- ---- ---- ---- +LAT166-1 309.50 ---- ---- ---- ---- +LAT153-1 369.60 ---- ---- ---- ---- +LAT174-1 369.70 40.00 ---- ---- ---- +LAT142-1 379.40 ---- ---- ---- ---- +LAT173-1 389.80 ---- ---- ---- ---- +LAT167-1 391.00 49.90 ---- ---- ---- +LAT163-1 399.00 ---- ---- ---- ---- +LAT176-1 449.00 ---- ---- ---- ---- +LAT159-1 489.20 ---- ---- ---- ---- +LAT149-1 489.80 ---- ---- ---- ---- +LAT170-1 496.20 56.10 ---- ---- ----