qcir_ncfs Non-prenex non-CNF QCIR benchmarks transformed from the NCFS benchmarks of the QBFEVAL'08 non-prenex non-cnf track.