See Section 1.2 of the barvinok manual or the tutorial. In order not to overload the web server, the execution time of the query is limited.
isl-0.26-GMP barvinok-0.41.7 -INCREMENTAL -PET -OMEGA -CDDLIB -GLPK -TOPCOM +ZSOLVE -PARKER