Filewatcher File Search File Search
Catalog
Content Search
» » » » matita_0.99.1.orig.tar.gz » Content »
pkg://matita_0.99.1.orig.tar.gz:10366065/matita/tests/TPTP/  info  downloads

README

to generate the problems:

  cd ../../../components/binaries/tptp2grafite/
  make generate
  cd ../../../matita/tests/TPTP
  ./classify.sh

to start a run:

  be sure to have matitac.opt in ../../
  ./try | tee logname

if you have a file containing the list of files to execute, like 

  ...
  Unsatisfiable/BOO001-1.ma
  Unsatisfiable/BOO002-1.ma
  Unsatisfiable/BOO004-2.ma
  Unsatisfiable/LCL113-2.ma
  ...

  you can run 
  
  ./try filewithproblemlist | tee logname

logname format

  log.SECONDS.DAY-MONTH.MESSAGE

other scripts

  simulate_casc.sh logfile 

    Gives the results of the problems listed in elenco_CASC.txt

  merge_sorted_logs.awk

    Given a file composed by the sorted concatenation of 2 logs
    returns the one obtaining using the best of duplicate lines
    (use to merge a log with a successive run on the FAIL problems)

# eof
Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com