leipzig Benchmarks

Family
Nameleipzig
Generation DateNone
First Occurrence2009-08-02
Benchmarks167

Benchmarks

QF_NIA • Charts • Solver Isomap
term-uiHa9g.smt2
term-DtOD2C.smt2
term-MT0pqd.smt2
term-QW6yIL.smt2
term-OWehGq.smt2
term-AlRgl3.smt2
term-ubDExd.smt2
term-AvoWGH.smt2
term-nKoz7d.smt2
term-7fXGzy.smt2
term-AwuLMZ.smt2
term-qpmP2a.smt2
term-uLZTRN.smt2
term-tEmpby.smt2
term-4Th0Gp.smt2
term-unsat-05.smt2
term-OxDFxz.smt2
term-f2cozZ.smt2
term-K5O3aH.smt2
term-Qx6y98.smt2
term-jWI18r.smt2
term-gH1uAj.smt2
term-71B6am.smt2
term-ltKI40.smt2
term-3qaBfW.smt2
term-3rtjVi.smt2
term-bmKO7L.smt2
term-NxORIG.smt2
term-YdLBHK.smt2
term-iQK4Ty.smt2
term-x876Jc.smt2
term-6mYU5G.smt2
term-x3m7eh.smt2
term-RYAv9d.smt2
term-YAnutr.smt2
term-fRkVkk.smt2
term-uyuSEz.smt2
term-MVylXc.smt2
term-WRsGm0.smt2
term-yQHKkv.smt2
term-unsat-02.smt2
term-CrNtep.smt2
term-XbWQfu.smt2
term-vd4nMl.smt2
term-qxG9KS.smt2
term-oPCuPe.smt2
term-zUp1s3.smt2
term-y6bI5p.smt2
term-7njo7V.smt2
term-PGdOdF.smt2
term-ULo1kJ.smt2
term-jSSXi8.smt2
term-EcNqkB.smt2
term-9mUXbx.smt2
term-wIaXCN.smt2
term-cTfKvw.smt2
term-mscE2P.smt2
term-KVnOQn.smt2
term-UCZhjg.smt2
term-bV2aN3.smt2
term-brNnx4.smt2
term-4d0iwO.smt2
term-NsXpL3.smt2
term-qVa1BT.smt2
term-ReJksi.smt2
term-XxBfs0.smt2
term-NlTyt4.smt2
term-Yi0Ihn.smt2
term-44GWq9.smt2
term-4LNX6G.smt2
term-H9wl52.smt2
term-MRIndM.smt2
term-mzEEAc.smt2
term-3wwoHp.smt2
term-XoKPE3.smt2
term-fqVg3m.smt2
term-VdS5DK.smt2
term-uxNAu4.smt2
term-6zE855.smt2
term-VzZ1SP.smt2
term-p63KxS.smt2
term-xNepZV.smt2
term-qAUj8f.smt2
term-BjWYcv.smt2
term-ye1ece.smt2
term-BWHEfg.smt2
term-n2YjEt.smt2
term-Jzxbf6.smt2
term-l6cqQI.smt2
term-607QpU.smt2
term-unsat-01.smt2
term-ddoFAO.smt2
term-MImS6p.smt2
term-U3qtcQ.smt2
term-F85Fh4.smt2
term-PUJvAS.smt2
term-unsat-04.smt2
term-BKc7xf.smt2
term-e0uxKl.smt2
term-5Luqnl.smt2
term-OwnULw.smt2
term-lFYv5w.smt2
term-xpOcFG.smt2
term-VKcdAi.smt2
term-yzpVx9.smt2
term-PoKkYi.smt2
term-fu8ErM.smt2
term-afghHl.smt2
term-0Hb4yp.smt2
term-7DXK1v.smt2
term-izcgso.smt2
term-GPalmJ.smt2
term-9uFTFt.smt2
term-jCge40.smt2
term-N42Sjd.smt2
term-kJn9CF.smt2
term-bEER96.smt2
term-KEViid.smt2
term-dwsxAX.smt2
term-Wvoafx.smt2
term-0BB4ks.smt2
term-87NL0Z.smt2
term-K0mzk0.smt2
term-Kkefdl.smt2
term-vNKPi7.smt2
term-0Awwcv.smt2
term-9AOvYh.smt2
term-6k3pKM.smt2
term-YFqomz.smt2
term-0iwxZS.smt2
term-gHq3ie.smt2
term-H5JQ97.smt2
term-gZE9f0.smt2
term-QA7c8U.smt2
term-Aon9bM.smt2
term-8UXrgn.smt2
term-WG086A.smt2
term-tHV3De.smt2
term-iLy0I9.smt2
term-n2CwnV.smt2
term-V7zYuz.smt2
term-47h0ua.smt2
term-7zXPfO.smt2
term-Mx5Up4.smt2
term-HonGrM.smt2
term-VvvOL1.smt2
term-guQhb3.smt2
term-hCYJUH.smt2
term-JpE7g8.smt2
term-X2tjiE.smt2
term-eBQlfQ.smt2
term-rGohwx.smt2
term-4UoYtH.smt2
term-uI6QEr.smt2
term-vmxeK5.smt2
term-KQpYCw.smt2
term-Gxx8TQ.smt2
term-unsat-03.smt2
term-G0osfI.smt2
term-rIVs0x.smt2
term-BpsRn7.smt2
term-mGd00U.smt2
term-ljJt6X.smt2
term-fFoQCf.smt2
term-p9MQp4.smt2
term-4AzLVe.smt2
term-qp5mTw.smt2