Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/cvc5/test/regress/cli/regress0/tptp

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]ARI086=1.p2024-09-15 02:50 1.4K 
[DIR]Axioms/2024-09-15 02:50 -  
[TXT]BOO003-4.p2024-09-15 02:50 1.3K 
[TXT]BOO027-1.p2024-09-15 02:50 2.0K 
[TXT]DAT001=1.p2024-09-15 02:50 2.0K 
[TXT]KRS018+1.p2024-09-15 02:50 2.1K 
[TXT]KRS063+1.p2024-09-15 02:50 4.5K 
[TXT]MGT019+2.p2024-09-15 02:50 3.8K 
[TXT]MGT031-1.p2024-09-15 02:50 3.2K 
[TXT]MGT041-2.p2024-09-15 02:50 2.1K 
[TXT]NLP114-1.p2024-09-15 02:50 4.7K 
[TXT]PUZ131_1.p2024-09-15 02:50 3.2K 
[TXT]SYN000+1.p2024-09-15 02:50 2.6K 
[TXT]SYN000+2.p2024-09-15 02:50 3.4K 
[TXT]SYN000-1.p2024-09-15 02:50 2.1K 
[TXT]SYN000-2.p2024-09-15 02:50 3.0K 
[TXT]SYN000=2.p2024-09-15 02:50 6.4K 
[TXT]SYN000_1.p2024-09-15 02:50 3.7K 
[TXT]SYN000_2.p2024-09-15 02:50 3.7K 
[TXT]SYN075+1.p2024-09-15 02:50 1.8K 
[TXT]SYN075-1.p2024-09-15 02:50 2.2K 
[TXT]is_rat_simple.p2024-09-15 02:50 312  
[TXT]parse-neg-rational.p2024-09-15 02:50 1.5K 
[TXT]tff0-arith.p2024-09-15 02:50 907  
[TXT]tff0.p2024-09-15 02:50 1.5K 
[TXT]tptp_parser.p2024-09-15 02:50 355  
[TXT]tptp_parser2.p2024-09-15 02:50 310  
[TXT]tptp_parser3.p2024-09-15 02:50 324  
[TXT]tptp_parser4.p2024-09-15 02:50 360  
[TXT]tptp_parser5.p2024-09-15 02:50 388  
[TXT]tptp_parser6.p2024-09-15 02:50 402  
[TXT]tptp_parser7.p2024-09-15 02:50 388  
[TXT]tptp_parser8.p2024-09-15 02:50 319  
[TXT]tptp_parser9.p2024-09-15 02:50 370  
[TXT]tptp_parser10.p2024-09-15 02:50 277  

Apache/2.4.62 (Debian) Server at 192.168.1.68 Port 80