Category | filename ---------+---------------------------------------------------------- GMUS | SAT11/gmus/belov/2dlx_ca_mc_ex_bp_f_new.gcnf GMUS | SAT11/gmus/belov/2dlx_cc_mc_ex_bp_f_new.gcnf GMUS | SAT11/gmus/belov/3pipe_1_ooo.gcnf GMUS | SAT11/gmus/belov/3pipe_2_ooo.gcnf GMUS | SAT11/gmus/belov/3pipe_3_ooo.gcnf GMUS | SAT11/gmus/belov/3pipe.gcnf GMUS | SAT11/gmus/belov/4pipe_1_ooo.gcnf GMUS | SAT11/gmus/belov/4pipe_2_ooo.gcnf GMUS | SAT11/gmus/belov/4pipe_3_ooo.gcnf GMUS | SAT11/gmus/belov/4pipe_4_ooo.gcnf GMUS | SAT11/gmus/belov/4pipe.gcnf GMUS | SAT11/gmus/belov/bj08amba2g3f3.aig.k20.gcnf GMUS | SAT11/gmus/belov/bj08amba4g5.aig.k20.gcnf GMUS | SAT11/gmus/belov/bj08amba4g5.aig.k25.gcnf GMUS | SAT11/gmus/belov/bj08amba5g62.aig.k20.gcnf GMUS | SAT11/gmus/belov/bj08amba5g62.aig.k25.gcnf GMUS | SAT11/gmus/belov/bjrb07amba2andenv.aig.k20.gcnf GMUS | SAT11/gmus/belov/bjrb07amba2andenv.aig.k25.gcnf GMUS | SAT11/gmus/belov/bjrb07amba4andenv.aig.k10.gcnf GMUS | SAT11/gmus/belov/bjrb07amba5andenv.aig.k10.gcnf GMUS | SAT11/gmus/belov/intel005.aig.k20.gcnf GMUS | SAT11/gmus/belov/intel049.aig.k25.gcnf GMUS | SAT11/gmus/belov/kenflashp11.aig.k25.gcnf GMUS | SAT11/gmus/belov/mentorbm1p00.aig.k20.gcnf GMUS | SAT11/gmus/belov/mentorbm1p00.aig.k25.gcnf GMUS | SAT11/gmus/belov/mentorbm1p02.aig.k20.gcnf GMUS | SAT11/gmus/belov/mentorbm1p02.aig.k25.gcnf GMUS | SAT11/gmus/belov/nusmvguidancep2.aig.k20.gcnf GMUS | SAT11/gmus/belov/nusmvguidancep2.aig.k25.gcnf GMUS | SAT11/gmus/belov/nusmvguidancep5.aig.k20.gcnf GMUS | SAT11/gmus/belov/nusmvguidancep5.aig.k25.gcnf GMUS | SAT11/gmus/belov/nusmvguidancep6.aig.k25.gcnf GMUS | SAT11/gmus/belov/nusmvguidancep7.aig.k20.gcnf GMUS | SAT11/gmus/belov/nusmvguidancep7.aig.k25.gcnf GMUS | SAT11/gmus/belov/nusmvguidancep8.aig.k20.gcnf GMUS | SAT11/gmus/belov/nusmvguidancep8.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtpmseisenberg.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtpmsgigamax.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtpmsgigamax.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtpmsgigamax.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtpmsgoodbakery.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtpmsgoodbakery.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtpmsheap.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtpmsrethersqo.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtpmsvsa16a.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtpmsvsar.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtswvibs16x4p2.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtswvibs8x8p1.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtswvibs8x8p2.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtswvrod6x8p1.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtswvrod6x8p1.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtswvrod6x8p2.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtswvsam4x8p2.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtswvsam4x8p4.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtswvsam6x8p1.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtswvsam6x8p2.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtswvsam6x8p3.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtswvsam6x8p4.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtswvtms10x8p1.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtswvtms12x8p1.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtswvtms14x8p1.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtswvtms14x8p1.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisbakery0.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtvisbakery0.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisbakery1.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisbakery1.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisbakery2.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtviscoherence3.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtviscoherence4.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtviscoherence5.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtviseisenberg0.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtviseisenberg0.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtviseisenberg1.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtviseisenberg2.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtviseisenberg2.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax0.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax0.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax1.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax1.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax2.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax2.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax3.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax3.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax4.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax4.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax5.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisgigamax5.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisgoodbakery0.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtvisgoodbakery0.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisgoodbakery0.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisgoodbakery1.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisgoodbakery2.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisgoodbakery2.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisheap00.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisns2p0.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtvisns2p0.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisns2p1.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtvisns2p2.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtvisns2p3.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtvisns2p3.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisns2p3.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p00.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p01.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p02.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p03.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p04.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p05.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p06.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p07.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p08.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p08.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p09.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p09.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p10.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p10.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p10.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p16.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p17.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p18.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p19.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisns3p19.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvispeterson.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisrethersqo1.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvissoap2.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtvistictactoe10.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvistictactoe10.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvistimeout0.aig.k10.gcnf GMUS | SAT11/gmus/belov/pdtvistimeout2.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvistimeout3.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvistimeout3.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisvending00.aig.k20.gcnf GMUS | SAT11/gmus/belov/pdtvisvending01.aig.k15.gcnf GMUS | SAT11/gmus/belov/pdtvisvending02.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisvending05.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisvending07.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisvending08.aig.k25.gcnf GMUS | SAT11/gmus/belov/pdtvisvsa16a29.aig.k25.gcnf GMUS | SAT11/gmus/belov/pj2003.aig.k20.gcnf GMUS | SAT11/gmus/belov/pj2006.aig.k10.gcnf GMUS | SAT11/gmus/belov/pj2007.aig.k20.gcnf GMUS | SAT11/gmus/belov/pj2007.aig.k25.gcnf GMUS | SAT11/gmus/belov/pj2008.aig.k20.gcnf GMUS | SAT11/gmus/belov/pj2010.aig.k20.gcnf GMUS | SAT11/gmus/belov/pj2010.aig.k25.gcnf GMUS | SAT11/gmus/belov/vis4arbitp1.aig.k25.gcnf GMUS | SAT11/gmus/belov/viscoherencep2.aig.k20.gcnf GMUS | SAT11/gmus/belov/viscoherencep3.aig.k15.gcnf GMUS | SAT11/gmus/belov/viscoherencep3.aig.k20.gcnf GMUS | SAT11/gmus/nadel/edn_20259_10.cnf_0.48000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_20259_12.cnf_0.50000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_20259_14.cnf_0.55000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_20259_4.cnf_0.21000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_20259_6.cnf_0.31000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_20259_8.cnf_0.39000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_20403_10.cnf_0.03000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_20403_12.cnf_0.08000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_20403_14.cnf_0.10000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_20403_16.cnf_0.29000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_20403_23.cnf_14.27000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_20403_8.cnf_0.03000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_22134_10.cnf_0.47000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_22134_12.cnf_0.50000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_22134_4.cnf_0.14000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_22134_6.cnf_0.31000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_22134_8.cnf_0.38000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_24095_10.cnf_0.29000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_24095_17.cnf_4.40000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_24095_19.cnf_2.12000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_24095_4.cnf_0.11000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_24095_6.cnf_0.17000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_24095_8.cnf_0.21000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_25208_10.cnf_0.58000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_25208_14.cnf_37.38000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_25208_2.cnf_0.08000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_25208_4.cnf_0.05000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_25208_6.cnf_0.20000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_25208_8.cnf_0.30000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_28491_10.cnf_0.46000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_28491_12.cnf_0.50000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_28491_6.cnf_0.31000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_28491_8.cnf_0.39000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_2948_10.cnf_0.28000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_2948_14.cnf_0.97000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_2948_4.cnf_0.07000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_2948_6.cnf_0.12000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_2948_8.cnf_0.25000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_5371_10.cnf_0.46000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_5371_12.cnf_0.50000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_5371_4.cnf_0.21000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_5371_6.cnf_0.30000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_5371_8.cnf_0.39000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_9789_10.cnf_0.68000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_9789_12.cnf_0.93000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_9789_21.cnf_46.05000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_9789_2.cnf_0.07000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_9789_6.cnf_0.31000000.unsat.gcnf GMUS | SAT11/gmus/nadel/edn_9789_8.cnf_0.51000000.unsat.gcnf (197 rows)