Index of /~adolfo/TableauProver/TPExe/problems/input/wagnerNew

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]h_1.prove.gz2006-10-10 11:53 40  
[ ]h_n_1.prove.gz2006-10-10 11:53 46  
[ ]statman_01.prove.gz2006-10-10 11:53 48  
[ ]statman_n_01.prove.gz2006-10-10 11:53 50  
[ ]h_2.prove.gz2006-10-10 11:53 57  
[ ]h_n_2.prove.gz2006-10-10 11:53 65  
[ ]h_3.prove.gz2006-10-10 11:53 76  
[ ]h_n_3.prove.gz2006-10-10 11:53 85  
[ ]php_2.prove.gz2006-10-10 11:53 91  
[ ]php_n_2.prove.gz2006-10-10 11:53 102  
[ ]h_4.prove.gz2006-10-10 11:53 107  
[ ]h_n_4.prove.gz2006-10-10 11:53 115  
[ ]statman_05.prove.gz2006-10-10 11:53 125  
[ ]php_3.prove.gz2006-10-10 11:53 128  
[ ]statman_n_05.prove.gz2006-10-10 11:53 128  
[ ]php_n_3.prove.gz2006-10-10 11:53 141  
[ ]h_5.prove.gz2006-10-10 11:53 158  
[ ]h_n_5.prove.gz2006-10-10 11:53 162  
[ ]php_4.prove.gz2006-10-10 11:53 184  
[ ]statman_09.prove.gz2006-10-10 11:53 184  
[ ]statman_n_09.prove.gz2006-10-10 11:53 187  
[ ]php_n_4.prove.gz2006-10-10 11:53 205  
[ ]gamma_020.prove.gz2006-10-10 11:53 229  
[ ]gamma_n_020.prove.gz2006-10-10 11:53 234  
[ ]h_6.prove.gz2006-10-10 11:53 244  
[ ]statman_13.prove.gz2006-10-10 11:53 246  
[ ]statman_n_13.prove.gz2006-10-10 11:53 251  
[ ]h_n_6.prove.gz2006-10-10 11:53 257  
[ ]php_5.prove.gz2006-10-10 11:53 263  
[ ]gamma_l_020.prove.gz2006-10-10 11:53 272  
[ ]gamma_n_l_020.prove.gz2006-10-10 11:53 278  
[ ]php_n_5.prove.gz2006-10-10 11:53 296  
[ ]statman_17.prove.gz2006-10-10 11:53 317  
[ ]statman_n_17.prove.gz2006-10-10 11:53 321  
[ ]gamma_040.prove.gz2006-10-10 11:53 373  
[ ]php_6.prove.gz2006-10-10 11:53 375  
[ ]gamma_n_040.prove.gz2006-10-10 11:53 384  
[ ]statman_21.prove.gz2006-10-10 11:53 385  
[ ]statman_n_21.prove.gz2006-10-10 11:53 392  
[ ]gamma_l_040.prove.gz2006-10-10 11:53 413  
[ ]php_n_6.prove.gz2006-10-10 11:53 422  
[ ]h_7.prove.gz2006-10-10 11:53 434  
[ ]gamma_n_l_040.prove.gz2006-10-10 11:53 435  
[ ]h_n_7.prove.gz2006-10-10 11:53 440  
[ ]statman_25.prove.gz2006-10-10 11:53 460  
[ ]statman_n_25.prove.gz2006-10-10 11:53 465  
[ ]gamma_060.prove.gz2006-10-10 11:53 511  
[ ]gamma_n_060.prove.gz2006-10-10 11:53 526  
[ ]php_7.prove.gz2006-10-10 11:53 530  
[ ]statman_29.prove.gz2006-10-10 11:53 536  
[ ]statman_n_29.prove.gz2006-10-10 11:53 538  
[ ]gamma_l_060.prove.gz2006-10-10 11:53 562  
[ ]php_n_7.prove.gz2006-10-10 11:53 586  
[ ]gamma_n_l_060.prove.gz2006-10-10 11:53 589  
[ ]gamma_080.prove.gz2006-10-10 11:53 648  
[ ]gamma_n_080.prove.gz2006-10-10 11:53 668  
[ ]gamma_l_080.prove.gz2006-10-10 11:53 692  
[ ]php_8.prove.gz2006-10-10 11:53 721  
[ ]gamma_n_l_080.prove.gz2006-10-10 11:53 723  
[ ]h_n_8.prove.gz2006-10-10 11:53 783  
[ ]h_8.prove.gz2006-10-10 11:53 785  
[ ]gamma_100.prove.gz2006-10-10 11:53 787  
[ ]gamma_n_100.prove.gz2006-10-10 11:53 814  
[ ]php_n_8.prove.gz2006-10-10 11:53 817  
[ ]gamma_l_100.prove.gz2006-10-10 11:53 828  
[ ]gamma_n_l_100.prove.gz2006-10-10 11:53 865  
[ ]php_9.prove.gz2006-10-10 11:53 959  
[ ]gamma_120.prove.gz2006-10-10 11:53 1.0K 
[ ]gamma_n_120.prove.gz2006-10-10 11:53 1.0K 
[ ]gamma_l_120.prove.gz2006-10-10 11:53 1.0K 
[ ]gamma_n_l_120.prove.gz2006-10-10 11:53 1.0K 
[ ]php_n_9.prove.gz2006-10-10 11:53 1.1K 
[ ]gamma_140.prove.gz2006-10-10 11:53 1.1K 
[ ]gamma_n_140.prove.gz2006-10-10 11:53 1.1K 
[ ]gamma_l_140.prove.gz2006-10-10 11:53 1.2K 
[ ]gamma_n_l_140.prove.gz2006-10-10 11:53 1.2K 
[ ]gamma_n_160.prove.gz2006-10-10 11:53 1.3K 
[ ]gamma_160.prove.gz2006-10-10 11:53 1.3K 
[ ]gamma_l_160.prove.gz2006-10-10 11:53 1.3K 
[ ]gamma_n_l_160.prove.gz2006-10-10 11:53 1.3K 
[ ]gamma_n_180.prove.gz2006-10-10 11:53 1.4K 
[ ]gamma_180.prove.gz2006-10-10 11:53 1.4K 
[ ]gamma_l_180.prove.gz2006-10-10 11:53 1.5K 
[ ]gamma_n_l_180.prove.gz2006-10-10 11:53 1.5K 
[ ]h_n_9.prove.gz2006-10-10 11:53 1.5K 
[ ]h_9.prove.gz2006-10-10 11:53 1.5K 
[ ]gamma_n_200.prove.gz2006-10-10 11:53 1.6K 
[ ]gamma_200.prove.gz2006-10-10 11:53 1.6K 
[ ]gamma_n_l_200.prove.gz2006-10-10 11:53 1.6K 
[ ]gamma_l_200.prove.gz2006-10-10 11:53 1.6K 
[ ]gamma_n_220.prove.gz2006-10-10 11:53 1.7K 
[ ]gamma_220.prove.gz2006-10-10 11:53 1.7K 
[ ]gamma_n_l_220.prove.gz2006-10-10 11:53 1.8K 
[ ]gamma_l_220.prove.gz2006-10-10 11:53 1.8K 
[ ]gamma_n_240.prove.gz2006-10-10 11:53 1.8K 
[ ]gamma_240.prove.gz2006-10-10 11:53 1.9K 
[ ]gamma_n_l_240.prove.gz2006-10-10 11:53 1.9K 
[ ]gamma_l_240.prove.gz2006-10-10 11:53 1.9K 
[ ]gamma_n_260.prove.gz2006-10-10 11:53 2.0K 
[ ]gamma_260.prove.gz2006-10-10 11:53 2.0K 
[ ]gamma_n_l_260.prove.gz2006-10-10 11:53 2.0K 
[ ]gamma_l_260.prove.gz2006-10-10 11:53 2.1K 
[ ]gamma_n_280.prove.gz2006-10-10 11:53 2.1K 
[ ]gamma_280.prove.gz2006-10-10 11:53 2.2K 
[ ]gamma_n_l_280.prove.gz2006-10-10 11:53 2.2K 
[ ]gamma_l_280.prove.gz2006-10-10 11:53 2.2K 
[ ]gamma_n_300.prove.gz2006-10-10 11:53 2.2K 
[ ]gamma_n_l_300.prove.gz2006-10-10 11:53 2.3K 
[ ]gamma_300.prove.gz2006-10-10 11:53 2.3K 
[ ]gamma_l_300.prove.gz2006-10-10 11:53 2.3K 
[ ]gamma_n_320.prove.gz2006-10-10 11:53 2.4K 
[ ]gamma_320.prove.gz2006-10-10 11:53 2.4K 
[ ]gamma_n_l_320.prove.gz2006-10-10 11:53 2.5K 
[ ]gamma_l_320.prove.gz2006-10-10 11:53 2.5K 
[ ]gamma_n_340.prove.gz2006-10-10 11:53 2.5K 
[ ]gamma_340.prove.gz2006-10-10 11:53 2.6K 
[ ]gamma_n_l_340.prove.gz2006-10-10 11:53 2.6K 
[ ]gamma_l_340.prove.gz2006-10-10 11:53 2.6K 
[ ]gamma_n_360.prove.gz2006-10-10 11:53 2.7K 
[ ]gamma_360.prove.gz2006-10-10 11:53 2.7K 
[ ]gamma_n_l_360.prove.gz2006-10-10 11:53 2.7K 
[ ]gamma_l_360.prove.gz2006-10-10 11:53 2.8K 
[ ]gamma_n_380.prove.gz2006-10-10 11:53 2.8K 
[ ]gamma_380.prove.gz2006-10-10 11:53 2.8K 
[ ]gamma_n_l_380.prove.gz2006-10-10 11:53 2.9K 
[ ]gamma_l_380.prove.gz2006-10-10 11:53 2.9K 
[ ]gamma_n_400.prove.gz2006-10-10 11:53 2.9K 
[ ]gamma_n_l_400.prove.gz2006-10-10 11:53 3.0K 
[ ]gamma_400.prove.gz2006-10-10 11:53 3.0K 
[ ]gamma_l_400.prove.gz2006-10-10 11:53 3.0K 
[ ]gamma_n_420.prove.gz2006-10-10 11:53 3.1K 
[ ]gamma_n_l_420.prove.gz2006-10-10 11:53 3.1K 
[ ]gamma_420.prove.gz2006-10-10 11:53 3.1K 
[ ]gamma_l_420.prove.gz2006-10-10 11:53 3.2K 
[ ]gamma_n_440.prove.gz2006-10-10 11:53 3.2K 
[ ]gamma_n_l_440.prove.gz2006-10-10 11:53 3.3K 
[ ]gamma_440.prove.gz2006-10-10 11:53 3.3K 
[ ]gamma_l_440.prove.gz2006-10-10 11:53 3.3K 
[ ]gamma_n_460.prove.gz2006-10-10 11:53 3.3K 
[ ]gamma_n_l_460.prove.gz2006-10-10 11:53 3.4K 
[ ]gamma_460.prove.gz2006-10-10 11:53 3.4K 
[ ]gamma_l_460.prove.gz2006-10-10 11:53 3.5K 
[ ]gamma_n_480.prove.gz2006-10-10 11:53 3.5K 
[ ]gamma_n_l_480.prove.gz2006-10-10 11:53 3.5K 
[ ]gamma_480.prove.gz2006-10-10 11:53 3.5K 
[ ]gamma_l_480.prove.gz2006-10-10 11:53 3.6K 
[ ]gamma_n_500.prove.gz2006-10-10 11:53 3.6K 
[ ]gamma_n_l_500.prove.gz2006-10-10 11:53 3.6K 
[ ]gamma_500.prove.gz2006-10-10 11:53 3.7K 
[ ]gamma_l_500.prove.gz2006-10-10 11:53 3.7K 
[ ]gamma_n_520.prove.gz2006-10-10 11:53 3.7K 
[ ]gamma_n_l_520.prove.gz2006-10-10 11:53 3.8K 
[ ]gamma_520.prove.gz2006-10-10 11:53 3.8K 
[ ]gamma_n_540.prove.gz2006-10-10 11:53 3.9K 
[ ]gamma_l_520.prove.gz2006-10-10 11:53 3.9K 
[ ]gamma_n_l_540.prove.gz2006-10-10 11:53 3.9K 
[ ]gamma_540.prove.gz2006-10-10 11:53 4.0K 
[ ]gamma_l_540.prove.gz2006-10-10 11:53 4.0K 
[ ]gamma_n_560.prove.gz2006-10-10 11:53 4.0K 
[ ]gamma_n_l_560.prove.gz2006-10-10 11:53 4.1K 
[ ]gamma_560.prove.gz2006-10-10 11:53 4.1K 
[ ]gamma_n_580.prove.gz2006-10-10 11:53 4.1K 
[ ]gamma_l_560.prove.gz2006-10-10 11:53 4.1K 
[ ]gamma_n_l_580.prove.gz2006-10-10 11:53 4.2K 
[ ]gamma_580.prove.gz2006-10-10 11:53 4.2K 
[ ]gamma_n_600.prove.gz2006-10-10 11:53 4.3K 
[ ]gamma_l_580.prove.gz2006-10-10 11:53 4.3K 
[ ]gamma_n_l_600.prove.gz2006-10-10 11:53 4.3K 
[ ]gamma_600.prove.gz2006-10-10 11:53 4.4K 
[ ]gamma_l_600.prove.gz2006-10-10 11:53 4.4K 
Apache/2.4.61 (Debian) Server at www.ime.usp.br Port 443