From e598227ac4ec3b3a22127782ab9ea1499f38dbff Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 30 May 2006 08:42:24 +0000 Subject: [PATCH] added our poor results to CASC 2005 --- .../matita/tests/TPTP/log.300.29-5.CASC | 119 ++++++++++++++++++ 1 file changed, 119 insertions(+) create mode 100644 helm/software/matita/tests/TPTP/log.300.29-5.CASC diff --git a/helm/software/matita/tests/TPTP/log.300.29-5.CASC b/helm/software/matita/tests/TPTP/log.300.29-5.CASC new file mode 100644 index 000000000..df032105e --- /dev/null +++ b/helm/software/matita/tests/TPTP/log.300.29-5.CASC @@ -0,0 +1,119 @@ +Unsatisfiable/BOO023-1.ma ... FAIL +Unsatisfiable/BOO073-1.ma ... FAIL +Unsatisfiable/COL002-5.ma ... FAIL +Unsatisfiable/COL004-1.ma ... FAIL +Unsatisfiable/COL006-1.ma ... FAIL +Unsatisfiable/COL006-6.ma ... FAIL +Unsatisfiable/COL006-7.ma ... FAIL +Unsatisfiable/COL034-1.ma ... FAIL +Unsatisfiable/COL036-1.ma ... FAIL +Unsatisfiable/COL041-1.ma ... OK TIME NEEDED: 173.76 Rating : 0.36 +Unsatisfiable/COL042-1.ma ... FAIL +Unsatisfiable/COL043-3.ma ... FAIL +Unsatisfiable/COL044-1.ma ... FAIL +Unsatisfiable/COL044-9.ma ... FAIL +Unsatisfiable/COL046-1.ma ... FAIL +Unsatisfiable/COL049-1.ma ... FAIL +Unsatisfiable/COL060-1.ma ... FAIL +Unsatisfiable/COL061-1.ma ... FAIL +Unsatisfiable/COL064-1.ma ... FAIL +Unsatisfiable/COL066-1.ma ... FAIL +Unsatisfiable/GRP114-1.ma ... OK TIME NEEDED: 8.65 Rating : 0.29 +Unsatisfiable/GRP167-4.ma ... FAIL +Unsatisfiable/GRP177-2.ma ... FAIL +Unsatisfiable/GRP179-1.ma ... FAIL +Unsatisfiable/GRP179-2.ma ... FAIL +Unsatisfiable/GRP179-3.ma ... FAIL +Unsatisfiable/GRP180-1.ma ... FAIL +Unsatisfiable/GRP181-1.ma ... FAIL +Unsatisfiable/GRP181-3.ma ... OK TIME NEEDED: 16.99 Rating : 0.43 +Unsatisfiable/GRP183-1.ma ... FAIL +Unsatisfiable/GRP183-3.ma ... FAIL +Unsatisfiable/GRP183-4.ma ... FAIL +Unsatisfiable/GRP184-1.ma ... FAIL +Unsatisfiable/GRP184-3.ma ... FAIL +Unsatisfiable/GRP186-1.ma ... FAIL +Unsatisfiable/GRP186-2.ma ... FAIL +Unsatisfiable/GRP196-1.ma ... FAIL +Unsatisfiable/GRP200-1.ma ... FAIL +Unsatisfiable/GRP201-1.ma ... FAIL +Unsatisfiable/GRP205-1.ma ... FAIL +Unsatisfiable/GRP405-1.ma ... FAIL +Unsatisfiable/GRP410-1.ma ... FAIL +Unsatisfiable/GRP419-10.ma ... FAIL +Unsatisfiable/GRP422-1.ma ... FAIL +Unsatisfiable/GRP423-1.ma ... FAIL +Unsatisfiable/GRP444-1.ma ... FAIL +Unsatisfiable/GRP475-1.ma ... FAIL +Unsatisfiable/GRP476-1.ma ... FAIL +Unsatisfiable/GRP505-1.ma ... FAIL +Unsatisfiable/GRP506-1.ma ... FAIL +Unsatisfiable/GRP508-1.ma ... FAIL +Unsatisfiable/LAT080-1.ma ... FAIL +Unsatisfiable/LAT081-1.ma ... FAIL +Unsatisfiable/LAT083-1.ma ... FAIL +Unsatisfiable/LAT084-1.ma ... FAIL +Unsatisfiable/LAT086-1.ma ... FAIL +Unsatisfiable/LAT087-1.ma ... FAIL +Unsatisfiable/LAT092-1.ma ... FAIL +Unsatisfiable/LAT093-1.ma ... FAIL +Unsatisfiable/LAT094-1.ma ... FAIL +Unsatisfiable/LAT096-1.ma ... FAIL +Unsatisfiable/LAT145-1.ma ... FAIL +Unsatisfiable/LAT147-1.ma ... FAIL +Unsatisfiable/LAT148-1.ma ... FAIL +Unsatisfiable/LAT151-1.ma ... FAIL +Unsatisfiable/LAT152-1.ma ... FAIL +Unsatisfiable/LAT154-10.ma ... FAIL +Unsatisfiable/LAT156-1.ma ... OK TIME NEEDED: 215.53 Rating : 0.64 +Unsatisfiable/LAT160-1.ma ... FAIL +Unsatisfiable/LAT162-1.ma ... FAIL +Unsatisfiable/LAT164-1.ma ... FAIL +Unsatisfiable/LAT165-1.ma ... FAIL +Unsatisfiable/LAT169-1.ma ... FAIL +Unsatisfiable/LCL138-1.ma ... OK TIME NEEDED: 250.95 Rating : 0.21 +Unsatisfiable/RNG009-5.ma ... FAIL +Unsatisfiable/RNG009-7.ma ... FAIL +Unsatisfiable/RNG019-6.ma ... FAIL +Unsatisfiable/RNG020-6.ma ... FAIL +Unsatisfiable/RNG021-7.ma ... FAIL +Unsatisfiable/RNG025-4.ma ... FAIL +Unsatisfiable/RNG025-5.ma ... FAIL +Unsatisfiable/RNG025-6.ma ... FAIL +Unsatisfiable/RNG026-6.ma ... FAIL +Unsatisfiable/RNG026-7.ma ... FAIL +Unsatisfiable/RNG027-5.ma ... FAIL +Unsatisfiable/RNG027-7.ma ... FAIL +Unsatisfiable/RNG027-8.ma ... FAIL +Unsatisfiable/RNG027-9.ma ... FAIL +Unsatisfiable/RNG028-7.ma ... FAIL +Unsatisfiable/RNG028-8.ma ... FAIL +Unsatisfiable/RNG029-6.ma ... FAIL +Unsatisfiable/RNG029-7.ma ... FAIL +Unsatisfiable/RNG035-7.ma ... FAIL +Unsatisfiable/ROB006-1.ma ... FAIL +Unsatisfiable/GRP187-1.ma ... FAIL +Unsatisfiable/LAT020-1.ma ... FAIL +Unsatisfiable/GRP164-1.ma ... FAIL +Unsatisfiable/BOO067-1.ma ... FAIL +Unsatisfiable/LAT171-1.ma ... FAIL +Unsatisfiable/LAT150-1.ma ... FAIL +Unsatisfiable/BOO076-1.ma ... FAIL +Unsatisfiable/LAT146-1.ma ... FAIL +Unsatisfiable/LAT172-1.ma ... FAIL +Unsatisfiable/LAT175-1.ma ... FAIL +Unsatisfiable/LAT144-1.ma ... FAIL +Unsatisfiable/LAT157-1.ma ... FAIL +Unsatisfiable/LAT155-1.ma ... FAIL +Unsatisfiable/LAT158-1.ma ... FAIL +Unsatisfiable/LAT166-1.ma ... FAIL +Unsatisfiable/LAT153-1.ma ... FAIL +Unsatisfiable/LAT174-1.ma ... FAIL +Unsatisfiable/LAT142-1.ma ... FAIL +Unsatisfiable/LAT173-1.ma ... FAIL +Unsatisfiable/LAT167-1.ma ... FAIL +Unsatisfiable/LAT163-1.ma ... FAIL +Unsatisfiable/LAT176-1.ma ... FAIL +Unsatisfiable/LAT159-1.ma ... FAIL +Unsatisfiable/LAT149-1.ma ... FAIL +Unsatisfiable/LAT170-1.ma ... FAIL -- 2.39.2