12 lines
198 B
JSON
12 lines
198 B
JSON
|
{
|
||
|
|
"interiorGateRandom": {
|
||
|
|
"cases": 240,
|
||
|
|
"gateFalse": 160,
|
||
|
|
"falseNeg": 0,
|
||
|
|
"totalProofInFalseNeg": 0
|
||
|
|
},
|
||
|
|
"fastCoverageSemantic": {
|
||
|
|
"cases": 200,
|
||
|
|
"casesWithHoles": 0
|
||
|
|
}
|
||
|
|
}
|