Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/axioms

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]axioms__l1_axioms2024-07-27 04:36 9.4K 
[ ]axioms__l1_axioms.depv12024-08-03 10:19 164  
[ ]axioms__l1_axioms.vmin12024-08-03 10:19 2.5K 
[ ]axioms__l1_axioms.vmin1out2024-08-03 10:20 10K 
[ ]axioms__l1_axioms.vout2024-08-03 07:24 50K 
[ ]axioms__l2_axioms2024-07-27 04:37 6.7K 
[ ]axioms__l2_axioms.depv12024-08-03 10:19 115  
[ ]axioms__l2_axioms.vmin12024-08-03 10:19 1.0K 
[ ]axioms__l2_axioms.vmin1out2024-08-03 10:20 2.1K 
[ ]axioms__l2_axioms.vout2024-08-03 05:12 13K 
[ ]axioms__l3_axioms2024-07-27 04:38 10K 
[ ]axioms__l3_axioms.vout2024-08-03 09:45 4.7K 
[ ]axioms__l4_axioms2024-07-27 04:31 3.8K 
[ ]axioms__l4_axioms.depv12024-08-03 10:19 55  
[ ]axioms__l4_axioms.vmin12024-08-03 10:19 332  
[ ]axioms__l4_axioms.vmin1out2024-08-03 10:21 11K 
[ ]axioms__l4_axioms.vout2024-08-03 07:42 3.7K 
[ ]axioms__t1_axioms2024-07-27 04:33 14K 
[ ]axioms__t1_axioms.vout2024-08-03 06:29 3.6K 
[ ]axioms__t2_axioms2024-07-27 04:33 8.3K 
[ ]axioms__t2_axioms.depv12024-08-03 10:19 165  
[ ]axioms__t2_axioms.vmin12024-08-03 10:19 3.0K 
[ ]axioms__t2_axioms.vmin1out2024-08-03 10:20 17K 
[ ]axioms__t2_axioms.vout2024-08-03 09:07 42K 
[ ]axioms__t3_axioms2024-07-27 04:34 12K 
[ ]axioms__t3_axioms.vout2024-08-03 04:16 3.6K 
[ ]axioms__t4_axioms2024-07-27 04:35 7.6K 
[ ]axioms__t4_axioms.vout2024-08-03 05:10 5.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80