longnehc / hypatia

Other
6 stars 2 forks source link

Look into Hypatia Code #11

Open KamiCreed opened 2 years ago

KamiCreed commented 2 years ago

hypatia/integration_tests/infocom-test/

HaoyuanZhao commented 1 year ago

step 1:

Takes ~2Hr using 8 threads

step 2:

step 3: