10

dir
1434
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp/tests/bio-tests
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover



2009-12-05T21:49:12.501256Z
460
vijay_ganesh














e59a4935-1847-0410-ae03-e826735625c1

4-alpha-helices-2-rungs.cvc
file




2011-12-13T02:40:56.000000Z
a2ff70116d4f0de9fd76f9da6ff3a47d
2009-08-11T16:18:36.481076Z
106
vijay_ganesh





















16205

4-alpha-helices-3-rungs.cvc
file




2011-12-13T02:40:56.000000Z
f7170d0b52db998a914b83c9c9b085b6
2009-08-12T15:02:44.595024Z
113
vijay_ganesh





















30161

4-alpha-helices-2-rungs-more-bits-simplified.cvc
file




2011-12-13T02:40:56.000000Z
35d32ad5d0ff88af60e22c2719accf3a
2009-08-11T16:18:36.481076Z
106
vijay_ganesh





















16993

4-alpha-helices-3-rungs-macros.cvc
file




2011-12-13T02:40:56.000000Z
4d14bb33b449f85c75e3e1ca6d732b11
2009-08-12T23:24:32.328826Z
119
vijay_ganesh





















38260

hard-sat-bio.cvc.tar.gz
file




2011-12-13T02:40:56.000000Z
69f69d25ea2394ecd7aeba68f42017a3
2009-12-05T21:49:12.501256Z
460
vijay_ganesh
has-props




















1873327

easy-sat-bio.cvc.tar.gz
file




2011-12-13T02:40:56.000000Z
39418afb5cf028c1dd6a3c597940c983
2009-12-05T21:49:12.501256Z
460
vijay_ganesh
has-props




















261169

rna2.cvc
file




2011-12-13T02:40:56.000000Z
270e38f5903a95561155d2cf030e3583
2009-08-21T22:28:05.815033Z
139
vijay_ganesh





















98167

easy-unsat-bio.cvc.tar.gz
file




2011-12-13T02:40:56.000000Z
f178ebdffada47ec018763a4e903005e
2009-12-05T21:49:12.501256Z
460
vijay_ganesh
has-props




















261171

