10

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



2010-03-24T16:21:28.632660Z
653
vijay_ganesh














e59a4935-1847-0410-ae03-e826735625c1

tea_three_round_two_var_half_key.stp
file




2011-12-13T02:40:45.000000Z
77e384ffde79f9233764449918581606
2010-03-24T16:21:28.632660Z
653
vijay_ganesh





















70834

tea_two_round_two_var.stp
file




2011-12-13T02:40:45.000000Z
a33cf06fbd86086761b52cb79d8d62e8
2010-03-24T16:21:28.632660Z
653
vijay_ganesh





















70834

tea_four_round_two_var_half_key.stp
file




2011-12-13T02:40:45.000000Z
020307f1b7b7521d5d446a531f440ebc
2010-03-24T16:21:28.632660Z
653
vijay_ganesh





















70828

tea.pl
file




2011-12-13T02:40:45.000000Z
933cd94dd68052a95eb238b2d1cd9440
2010-03-22T22:26:51.025424Z
650
vijay_ganesh





















4873

tea_three_round_one_var.stp
file




2011-12-13T02:40:45.000000Z
d0a337fa50d3fa9297ec11a99dd3bd46
2010-03-24T16:21:28.632660Z
653
vijay_ganesh





















35909

t4_nadia_n1.stp
file




2011-12-13T02:40:45.000000Z
330815c200325e06742b27ba968ea702
2009-12-05T03:22:43.614652Z
456
vijay_ganesh





















12159

t4_nadia.stp
file




2011-12-13T02:40:45.000000Z
58bce21bebe0da2a34be28cfa9124927
2009-12-01T18:43:20.427645Z
434
vijay_ganesh





















6575

tea_four_round_one_var.stp
file




2011-12-13T02:40:45.000000Z
29292d4d69cb0fcedcb8d318400b76f6
2010-03-24T16:21:28.632660Z
653
vijay_ganesh





















35909

1024_bit_prime_1s_only.stp
file




2011-12-13T02:40:45.000000Z
48b89e7c50f4a474bf31579fb3dba498
2010-03-22T22:26:51.025424Z
650
vijay_ganesh





















33665

tea_four_round_one_var_half_key.stp
file




2011-12-13T02:40:45.000000Z
c9f131f2d09998501d83225a63a0843d
2010-03-24T16:21:28.632660Z
653
vijay_ganesh





















35907

t3.stp
file




2011-12-13T02:40:45.000000Z
451b91beedb3ff006935bc78299ea189
2009-12-01T18:43:20.427645Z
434
vijay_ganesh





















351

t4.stp
file




2011-12-13T02:40:45.000000Z
82aaa5c6923be0dc6de161e4c1516f90
2009-12-01T22:26:03.094587Z
436
vijay_ganesh





















3054

t5.stp
file




2011-12-13T02:40:45.000000Z
48b89e7c50f4a474bf31579fb3dba498
2009-12-05T03:22:43.614652Z
456
vijay_ganesh





















33665

rsa_1024_bit_prime_1s_only.stp
file




2011-12-13T02:40:45.000000Z
48b89e7c50f4a474bf31579fb3dba498
2010-03-24T16:21:28.632660Z
653
vijay_ganesh





















33665

t3_flat.stp
file




2011-12-13T02:40:45.000000Z
16d14f3dd500dcb9048acd1c4a018f8c
2009-12-06T21:49:20.212776Z
467
vijay_ganesh





















407

t4_flat.stp
file




2011-12-13T02:40:45.000000Z
2c9011ba7e7d2c85a6b15d0f1ddc55f2
2009-12-01T22:26:03.094587Z
436
vijay_ganesh





















3433

rsa_97_bit_prime.stp
file




2011-12-13T02:40:45.000000Z
7921ace836f121b40d2bab5dfaafdac8
2010-03-24T16:21:28.632660Z
653
vijay_ganesh





















469

rsa_97_bit_prime_1s_only.stp
file




2011-12-13T02:40:45.000000Z
d82bb87abc48711d89bf379892bca18e
2010-03-24T16:21:28.632660Z
653
vijay_ganesh





















1452

tea_four_round_two_var_tea.stp
file




2011-12-13T02:40:45.000000Z
44fab02c57552024574b171049982ff5
2010-03-24T16:21:28.632660Z
653
vijay_ganesh





















70834

tea_three_round_two_var.stp
file




2011-12-13T02:40:45.000000Z
526f97c55b4d74e171094bba40809cee
2010-03-24T16:21:28.632660Z
653
vijay_ganesh





















70836

