Summary: Benchmark - DA0021_vericoded.dfy
Dafny 144 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0021_vericoded.dfy
Summary: Benchmark - DA0020_vericoded.dfy
Dafny 81 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0020_vericoded.dfy
Summary: Benchmark - DA0019_vericoded.dfy
Dafny 125 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0019_vericoded.dfy
Summary: Benchmark - DA0018_vericoded.dfy
Dafny 57 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0018_vericoded.dfy
Summary: Benchmark - DA0017_vericoded.dfy
Dafny 47 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0017_vericoded.dfy
Summary: Benchmark - DA0016_vericoded.dfy
Dafny 182 lines
Type: 📄
Verified: ❌
Package: Benchmark - DA0016_vericoded.dfy
Summary: Benchmark - DA0015_vericoded.dfy
Dafny 115 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0015_vericoded.dfy
Summary: Benchmark - DA0014_vericoded.dfy
Dafny 39 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0014_vericoded.dfy
Summary: Benchmark - DA0013_vericoded.dfy
Dafny 98 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0013_vericoded.dfy
Summary: Benchmark - DA0012_vericoded.dfy
Dafny 196 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0012_vericoded.dfy
Summary: Benchmark - DA0010_vericoded.dfy
Dafny 71 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0010_vericoded.dfy
Summary: Benchmark - DA0009_vericoded.dfy
Dafny 132 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0009_vericoded.dfy
Summary: Benchmark - DA0008_vericoded.dfy
Dafny 61 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0008_vericoded.dfy
Summary: Benchmark - DA0007_vericoded.dfy
Dafny 176 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0007_vericoded.dfy
Summary: Benchmark - DA0005_vericoded.dfy
Dafny 82 lines
Type: 📄
Verified: ✅
Package: Benchmark - DA0005_vericoded.dfy