Index of /SATURATE/examples/tests
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[DIR]](/icons/folder.gif)
ChurchRosser/ 2012-09-24 12:09 -
auto/ 2012-09-24 12:09 -
temp/ 2012-09-24 12:09 -
tptpSET/ 2012-09-24 12:09 -
![[ ]](/icons/unknown.gif)
LAT 1999-07-21 17:01 0
eq 2001-09-04 10:28 26
prop 2003-12-16 17:19 26
simp 2002-08-13 16:29 26
ag2 2002-04-15 08:32 31
eqg 1997-10-02 16:51 35
po 2002-08-08 10:14 39
we 1998-01-13 16:25 42
exp 2003-09-30 13:45 44
res 1998-01-22 16:01 47
ineq 2001-03-01 10:13 52
disconnection 2001-09-13 15:19 56
lists 2002-11-11 14:25 60
logalg 2002-02-22 12:53 61
taut 2003-04-11 15:04 64
log 2002-03-19 11:52 68
ag 2002-04-15 08:32 71
cons_inj 2002-11-12 10:08 78
agprime 2002-04-15 08:31 81
equiv 2002-09-19 08:08 83
nat1 1999-11-15 14:04 87
bp 2002-12-16 10:54 89
pp 2000-02-22 13:58 92
dorin 2002-08-02 10:11 93
natt 1998-08-19 16:46 93
COL 1999-07-21 17:32 95
equiv1 2002-09-19 08:12 97
sel 1999-07-19 16:56 99
rtsubtreeunique 2003-06-13 15:09 106
split 2001-12-06 14:00 111
t2 1998-02-06 20:24 111
app3 2002-05-15 10:25 113
lk 2001-04-27 12:15 115
s4.ord 1998-05-11 09:42 115
list_problem 2002-11-11 14:30 120
hs 2000-03-03 15:27 126
if 2004-02-21 14:08 128
tt 1998-10-02 16:19 135
bip 2002-01-03 12:06 158
pi 2001-08-16 13:57 158
nat 1998-08-20 14:26 167
mir 2001-09-04 15:07 171
mv 1999-10-21 13:40 177
t1 1997-11-05 07:23 178
tarksi 2002-06-18 10:13 178
listsnc 2003-04-10 17:11 200
extunion 2003-04-29 15:38 201
sp 2000-11-15 12:01 207
qs 2000-11-15 14:10 233
extcnf 2003-04-16 10:50 237
dto 2003-04-11 15:03 244
t3 1997-10-24 16:58 252
ms 2003-08-03 00:15 260
rtmirror 2003-06-13 15:05 264
fld 1998-01-16 19:45 269
qkleiner 2003-10-22 15:12 295
defaults 2002-08-16 12:32 297
less 1999-04-26 11:27 347
func 2002-03-26 07:46 350
brand1 1997-06-25 08:31 362
tamet 1998-05-05 08:09 379
extunioncnf 2003-04-29 15:40 391
SET748.ord 2000-12-22 13:18 412
reflecttrees 2003-06-13 15:07 434
natp 2001-07-02 16:48 457
t4 1997-10-14 16:15 464
brandeq 1997-06-24 20:43 494
maxflow 2001-02-12 15:38 519
NUM 1999-07-21 12:06 562
logic 2001-02-27 13:18 592
t 1997-09-19 12:29 629
bug 2002-08-21 16:10 634
pell34.dfg 2001-09-04 14:26 641
deforest 1997-10-23 11:55 735
tarski 2002-06-18 13:03 739
match 2000-11-28 13:16 824
test 2002-08-22 19:36 843
ord 2001-04-30 15:52 930
s4 1998-05-11 09:45 938
pell73_4 2002-07-29 21:48 1.0K
uic 2004-01-09 12:25 1.2K
brand 1997-07-05 13:00 1.5K
brand_noconstraints 1997-10-10 14:50 1.5K
zero 2001-03-19 07:53 1.5K
![[TXT]](/icons/text.gif)
trm.pl 1998-06-05 11:59 1.6K
brand_comm 1997-09-16 14:31 1.7K
exteq 2003-04-16 13:46 1.7K
setrel 2003-01-27 18:42 1.7K
dnf.pl 1998-07-02 09:06 1.7K
cat 1999-03-25 15:51 1.7K
mgt 2002-08-02 16:38 1.9K
setz 2002-11-20 09:18 1.9K
kivt 1998-03-09 08:58 2.1K
brand_constraints_nicetry 1997-09-17 06:51 2.2K
Sheffer1Basis 2002-11-27 14:31 2.2K
bruno 2003-10-07 16:32 2.4K
LDA013-1 1995-05-17 06:58 2.5K
![[ ]](/icons/compressed.gif)
ls-lR.gz 2007-03-29 09:53 2.5K
cat.dfg 1999-03-25 15:51 2.6K
brand_var 1997-10-15 10:34 2.9K
dmap 2001-09-04 13:10 2.9K
tr.pl 1997-12-19 16:27 3.1K
tr.abs 1998-01-13 14:54 3.2K
tr.dfg 1997-12-19 16:19 3.2K
setrel.dfg 2003-01-22 17:23 3.2K
brand_constraints 1997-10-10 14:50 3.3K
trm 1998-06-05 12:20 3.7K
bruno.dfg 2003-09-30 13:40 3.9K
cat015 2002-09-23 07:52 4.1K
casc16 1999-07-22 14:44 4.2K
ext 2003-04-10 14:00 4.2K
needhamc 2002-10-18 09:41 4.3K
needham 2002-10-18 07:44 5.6K
dana 2002-11-06 16:21 6.1K
mgt.dfg 2002-08-05 20:15 6.6K
ag-waldmeister 2001-03-12 16:02 7.3K
kiv 1998-03-09 07:32 8.7K
kiv2 1998-03-09 09:40 9.0K
setinjjunk 2003-01-22 18:33 13K
prop140-3 2004-01-08 17:00 13K
![[ ]](/icons/dvi.gif)
setinj.dvi 2003-01-27 11:22 14K
ls-lR 2007-03-29 09:53 15K
setinj.tex 2003-01-27 11:22 15K
tr.dfg.model 1997-12-19 16:20 16K
setinj 2003-01-22 18:41 26K
setrel.ord 2003-02-05 15:58 37K
pell34 2001-09-04 17:11 41K
dnfma.dfg 1998-07-02 10:34 48K
dnfma.pl 1998-07-02 10:29 48K
SET 1999-07-24 04:14 86K
spassResults 1999-07-21 11:45 266K
Apache/2.4.62 (Debian) Server at resources.mpi-inf.mpg.de Port 443