matita/tests/TPTP/log.300.29-5.CASC

   1 Unsatisfiable/BOO023-1.ma ... FAIL
   2 Unsatisfiable/BOO073-1.ma ... FAIL
   3 Unsatisfiable/COL002-5.ma ... FAIL
   4 Unsatisfiable/COL004-1.ma ... FAIL
   5 Unsatisfiable/COL006-1.ma ... FAIL
   6 Unsatisfiable/COL006-6.ma ... FAIL
   7 Unsatisfiable/COL006-7.ma ... FAIL
   8 Unsatisfiable/COL034-1.ma ... FAIL
   9 Unsatisfiable/COL036-1.ma ... FAIL
  10 Unsatisfiable/COL041-1.ma ... OK TIME NEEDED: 173.76 Rating : 0.36
  11 Unsatisfiable/COL042-1.ma ... FAIL
  12 Unsatisfiable/COL043-3.ma ... FAIL
  13 Unsatisfiable/COL044-1.ma ... FAIL
  14 Unsatisfiable/COL044-9.ma ... FAIL
  15 Unsatisfiable/COL046-1.ma ... FAIL
  16 Unsatisfiable/COL049-1.ma ... FAIL
  17 Unsatisfiable/COL060-1.ma ... FAIL
  18 Unsatisfiable/COL061-1.ma ... FAIL
  19 Unsatisfiable/COL064-1.ma ... FAIL
  20 Unsatisfiable/COL066-1.ma ... FAIL
  21 Unsatisfiable/GRP114-1.ma ... OK TIME NEEDED: 8.65 Rating : 0.29
  22 Unsatisfiable/GRP167-4.ma ... FAIL
  23 Unsatisfiable/GRP177-2.ma ... FAIL
  24 Unsatisfiable/GRP179-1.ma ... FAIL
  25 Unsatisfiable/GRP179-2.ma ... FAIL
  26 Unsatisfiable/GRP179-3.ma ... FAIL
  27 Unsatisfiable/GRP180-1.ma ... FAIL
  28 Unsatisfiable/GRP181-1.ma ... FAIL
  29 Unsatisfiable/GRP181-3.ma ... OK TIME NEEDED: 16.99 Rating : 0.43
  30 Unsatisfiable/GRP183-1.ma ... FAIL
  31 Unsatisfiable/GRP183-3.ma ... FAIL
  32 Unsatisfiable/GRP183-4.ma ... FAIL
  33 Unsatisfiable/GRP184-1.ma ... FAIL
  34 Unsatisfiable/GRP184-3.ma ... FAIL
  35 Unsatisfiable/GRP186-1.ma ... FAIL
  36 Unsatisfiable/GRP186-2.ma ... FAIL
  37 Unsatisfiable/GRP196-1.ma ... FAIL
  38 Unsatisfiable/GRP200-1.ma ... FAIL
  39 Unsatisfiable/GRP201-1.ma ... FAIL
  40 Unsatisfiable/GRP205-1.ma ... FAIL
  41 Unsatisfiable/GRP405-1.ma ... FAIL
  42 Unsatisfiable/GRP410-1.ma ... FAIL
  43 Unsatisfiable/GRP419-10.ma ... FAIL
  44 Unsatisfiable/GRP422-1.ma ... FAIL
  45 Unsatisfiable/GRP423-1.ma ... FAIL
  46 Unsatisfiable/GRP444-1.ma ... FAIL
  47 Unsatisfiable/GRP475-1.ma ... FAIL
  48 Unsatisfiable/GRP476-1.ma ... FAIL
  49 Unsatisfiable/GRP505-1.ma ... FAIL
  50 Unsatisfiable/GRP506-1.ma ... FAIL
  51 Unsatisfiable/GRP508-1.ma ... FAIL
  52 Unsatisfiable/LAT080-1.ma ... FAIL
  53 Unsatisfiable/LAT081-1.ma ... FAIL
  54 Unsatisfiable/LAT083-1.ma ... FAIL
  55 Unsatisfiable/LAT084-1.ma ... FAIL
  56 Unsatisfiable/LAT086-1.ma ... FAIL
  57 Unsatisfiable/LAT087-1.ma ... FAIL
  58 Unsatisfiable/LAT092-1.ma ... FAIL
  59 Unsatisfiable/LAT093-1.ma ... FAIL
  60 Unsatisfiable/LAT094-1.ma ... FAIL
  61 Unsatisfiable/LAT096-1.ma ... FAIL
  62 Unsatisfiable/LAT145-1.ma ... FAIL
  63 Unsatisfiable/LAT147-1.ma ... FAIL
  64 Unsatisfiable/LAT148-1.ma ... FAIL
  65 Unsatisfiable/LAT151-1.ma ... FAIL
  66 Unsatisfiable/LAT152-1.ma ... FAIL
  67 Unsatisfiable/LAT154-10.ma ... FAIL
  68 Unsatisfiable/LAT156-1.ma ... OK TIME NEEDED: 215.53 Rating : 0.64
  69 Unsatisfiable/LAT160-1.ma ... FAIL
  70 Unsatisfiable/LAT162-1.ma ... FAIL
  71 Unsatisfiable/LAT164-1.ma ... FAIL
  72 Unsatisfiable/LAT165-1.ma ... FAIL
  73 Unsatisfiable/LAT169-1.ma ... FAIL
  74 Unsatisfiable/LCL138-1.ma ... OK TIME NEEDED: 250.95 Rating : 0.21
  75 Unsatisfiable/RNG009-5.ma ... FAIL
  76 Unsatisfiable/RNG009-7.ma ... FAIL
  77 Unsatisfiable/RNG019-6.ma ... FAIL
  78 Unsatisfiable/RNG020-6.ma ... FAIL
  79 Unsatisfiable/RNG021-7.ma ... FAIL
  80 Unsatisfiable/RNG025-4.ma ... FAIL
  81 Unsatisfiable/RNG025-5.ma ... FAIL
  82 Unsatisfiable/RNG025-6.ma ... FAIL
  83 Unsatisfiable/RNG026-6.ma ... FAIL
  84 Unsatisfiable/RNG026-7.ma ... FAIL
  85 Unsatisfiable/RNG027-5.ma ... FAIL
  86 Unsatisfiable/RNG027-7.ma ... FAIL
  87 Unsatisfiable/RNG027-8.ma ... FAIL
  88 Unsatisfiable/RNG027-9.ma ... FAIL
  89 Unsatisfiable/RNG028-7.ma ... FAIL
  90 Unsatisfiable/RNG028-8.ma ... FAIL
  91 Unsatisfiable/RNG029-6.ma ... FAIL
  92 Unsatisfiable/RNG029-7.ma ... FAIL
  93 Unsatisfiable/RNG035-7.ma ... FAIL
  94 Unsatisfiable/ROB006-1.ma ... FAIL
  95 Unsatisfiable/GRP187-1.ma ... FAIL
  96 Unsatisfiable/LAT020-1.ma ... FAIL
  97 Unsatisfiable/GRP164-1.ma ... FAIL
  98 Unsatisfiable/BOO067-1.ma ... FAIL
  99 Unsatisfiable/LAT171-1.ma ... FAIL
 100 Unsatisfiable/LAT150-1.ma ... FAIL
 101 Unsatisfiable/BOO076-1.ma ... FAIL
 102 Unsatisfiable/LAT146-1.ma ... FAIL
 103 Unsatisfiable/LAT172-1.ma ... FAIL
 104 Unsatisfiable/LAT175-1.ma ... FAIL
 105 Unsatisfiable/LAT144-1.ma ... FAIL
 106 Unsatisfiable/LAT157-1.ma ... FAIL
 107 Unsatisfiable/LAT155-1.ma ... FAIL
 108 Unsatisfiable/LAT158-1.ma ... FAIL
 109 Unsatisfiable/LAT166-1.ma ... FAIL
 110 Unsatisfiable/LAT153-1.ma ... FAIL
 111 Unsatisfiable/LAT174-1.ma ... FAIL
 112 Unsatisfiable/LAT142-1.ma ... FAIL
 113 Unsatisfiable/LAT173-1.ma ... FAIL
 114 Unsatisfiable/LAT167-1.ma ... FAIL
 115 Unsatisfiable/LAT163-1.ma ... FAIL
 116 Unsatisfiable/LAT176-1.ma ... FAIL
 117 Unsatisfiable/LAT159-1.ma ... FAIL
 118 Unsatisfiable/LAT149-1.ma ... FAIL
 119 Unsatisfiable/LAT170-1.ma ... FAIL