The main method of Sqt2 reads one integer parameter from the command line. The program then generates every possible sequence of N integers, calls Qs on each, and checks the result for being in non-decreasing order. The output above took 15 secs to produce on my Pentium II 266.
Variable P is the number of Fibers simulated.
In addition, Swq3 and Swq4 print more debugging information, and Swq4 does its recursive calls in the reverse order from the others.