Server IP: 85.198.82.39

Your IP: 216.73.216.129

Web Server: Apache/2.4.52 (Ubuntu)

System: Linux 5474007-topit 5.15.0-126-generic #136-Ubuntu SMP Wed Nov 6 10:38:22 UTC 2024 x86_64 x86_64 x86_64 GNU/Linux

User: www-data

PHP Version: 8.3.30

Disable Function: NONE

MySQL: OFF

cURL: ON

WGET: ON

Perl: ON

Python: ON

Sudo: ON

Pkexec: ON

Command Bosku:

FILE FOLDER
Name Size Permission Action
allpaths.bc 42600 bytes 0644
clausesel.bc 12996 bytes 0644
costsize.bc 64128 bytes 0644
equivclass.bc 36904 bytes 0644
indxpath.bc 38000 bytes 0644
joinpath.bc 24144 bytes 0644
joinrels.bc 23140 bytes 0644
pathkeys.bc 25636 bytes 0644
tidpath.bc 8168 bytes 0644