10

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



2009-11-25T20:12:47.769726Z
424
vijay_ganesh














e59a4935-1847-0410-ae03-e826735625c1

a114test0001.cvc
file




2011-12-13T02:40:47.000000Z
8d1dc7b5550756949ea9ddd8a3ef0cbd
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















329

a115test0002.cvc
file




2011-12-13T02:40:47.000000Z
8996db6407168fb6af119b9c7adf4ccb
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















468

a116test0003.cvc
file




2011-12-13T02:40:47.000000Z
cf005ee1401b1c6b48ec689d9ad807b3
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















460

a172test0002.cvc
file




2011-12-13T02:40:47.000000Z
97f3291f180d4c087a4dae93ae5516d7
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















734

a165test0010.cvc
file




2011-12-13T02:40:47.000000Z
0aa1ad422edb4ed7455c17f8def278c4
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















629

a174test0003.cvc
file




2011-12-13T02:40:47.000000Z
b94021bb06296b43767171ae72129392
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















1158

a182test0015.cvc
file




2011-12-13T02:40:47.000000Z
13cad1c58272711bf9013e23610ae807
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















2721

a176test0022.cvc
file




2011-12-13T02:40:47.000000Z
811e59e21bf2756d0f5d00d99ea25189
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















302

a166test0014.cvc
file




2011-12-13T02:40:47.000000Z
6c8b94b070232b25dd648a8443b5e3ec
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















3366

a128test0016.cvc
file




2011-12-13T02:40:47.000000Z
ebfc9923cf98c95d937b2805b6c8cc4d
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















2179

variable-rightshift-invalid.cvc
file




2011-12-13T02:40:47.000000Z
750b5c79c46ff07360b73af5a0397b72
2009-11-25T20:12:47.769726Z
424
vijay_ganesh





















150

a169test0012.cvc
file




2011-12-13T02:40:47.000000Z
d90ee05db785ccb3c8c31e1c6a5e2666
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















4965

a177test0006.cvc
file




2011-12-13T02:40:47.000000Z
1451d3feafabd71b6288ccf5de2dc02b
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















725

a178test0007.cvc
file




2011-12-13T02:40:47.000000Z
790741246610837027ab9b917e2d1b6a
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















1149

egt-1899.cvc
file




2011-12-13T02:40:47.000000Z
47022a0cf92f44983eeaf4af2945457b
2009-08-11T16:18:36.481076Z
106
vijay_ganesh





















13979

a168test0018.cvc
file




2011-12-13T02:40:47.000000Z
bfc59ec80d1550af822d60c2abfc90e5
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















1360

a188test0016.cvc
file




2011-12-13T02:40:47.000000Z
e0c30084eeed3a10200eca02d04a75c9
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















858

a179test0008.cvc
file




2011-12-13T02:40:47.000000Z
5c378f50266c0d3efa803cba56ca418a
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















1165

a100test0001.cvc
file




2011-12-13T02:40:47.000000Z
d84029dc6b27d217c072c5be250c1de6
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















300

a101test0002.cvc
file




2011-12-13T02:40:47.000000Z
dbea4f59fe9677b5c7754defbad84f64
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















304

a103test0001.cvc
file




2011-12-13T02:40:47.000000Z
4da3deae57088e8c82e0435696dc0138
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















268

a121test0001.cvc
file




2011-12-13T02:40:47.000000Z
8d1dc7b5550756949ea9ddd8a3ef0cbd
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















329

a105test0001.cvc
file




2011-12-13T02:40:47.000000Z
629ae272bce2a6caad2d464c45e4f6ef
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















228

a122test0002.cvc
file




2011-12-13T02:40:47.000000Z
caf4a30c6521e7445e3b89e0aeda7b18
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















599

a107test0001.cvc
file




2011-12-13T02:40:47.000000Z
2496ae97c8a25a85992e5ffbf2b6e45a
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















210

a123test0003.cvc
file




2011-12-13T02:40:47.000000Z
710b274cc7c1abdd4833e120351622bb
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















591

a126test0001.cvc
file




2011-12-13T02:40:47.000000Z
7d4c186e1052231333949c2c00c8601c
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















246

a124test0004.cvc
file




2011-12-13T02:40:47.000000Z
cf005ee1401b1c6b48ec689d9ad807b3
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















460

a181test0020.cvc
file




2011-12-13T02:40:47.000000Z
708bc500858ff7d99e67dcf80b9d9795
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















821

a163test0021.cvc
file




2011-12-13T02:40:47.000000Z
bbf031c65d1c7dd88489a3caa1ce5ca6
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















504

a180test0004.cvc
file




2011-12-13T02:40:47.000000Z
3a1b3520e18c6f9342e5ef008280c3a9
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















1174

a173test0011.cvc
file




2011-12-13T02:40:47.000000Z
7d1d4c03452711cc41eef8d3418c3369
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















4125

a167test0001.cvc
file




2011-12-13T02:40:47.000000Z
65d5fbd7a46ef70977714c95806273f0
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















401

a185test0001.cvc
file




2011-12-13T02:40:47.000000Z
cd61bde6c025f9eb7b7c4bd4cb0fbd61
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















304

long-by-hand.cvc
file




2011-12-13T02:40:47.000000Z
1593e4681950fda02637c745d80e2ae0
2009-08-11T16:18:36.481076Z
106
vijay_ganesh





















2032176

a170test0017.cvc
file




2011-12-13T02:40:47.000000Z
88ac8cf1a47954914e242dcbcb15afd9
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















1729

a164test0005.cvc
file




2011-12-13T02:40:47.000000Z
6aa31894beac9e65169265eea808dabc
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















913

a175test0013.cvc
file




2011-12-13T02:40:47.000000Z
a553728604973caed9e4bfdae7969fc7
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















5009

a186test0002.cvc
file




2011-12-13T02:40:47.000000Z
286062d26382d0aa000b81f6668727c7
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















312

a171test0019.cvc
file




2011-12-13T02:40:47.000000Z
5016b150250aa1363ab5d4a4083f7589
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















1061

a127test0009.cvc
file




2011-12-13T02:40:47.000000Z
d830cc1b22fb0212ca2b9dff8eac055e
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















904

a12test0001.cvc
file




2011-12-13T02:40:47.000000Z
a8d84039bb43d9faa4b1a57468001894
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















297

a13test0002.cvc
file




2011-12-13T02:40:47.000000Z
0ee9ea68038141bc5efb0cbe709d10fc
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















301

a15test0001.cvc
file




2011-12-13T02:40:47.000000Z
2496ae97c8a25a85992e5ffbf2b6e45a
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















210

a187test0009.cvc
file




2011-12-13T02:40:47.000000Z
54d30dbab47f85de9a1f72de154282a0
2009-11-16T17:01:45.427131Z
405
vijay_ganesh





















1000

variable-rightshift-valid.cvc
file




2011-12-13T02:40:47.000000Z
734fe255c67a4cf0c976c25f368973be
2009-11-25T20:12:47.769726Z
424
vijay_ganesh





















148

