summaryrefslogtreecommitdiffstats
path: root/verigraph/examples
ModeNameSize
-rw-r--r--budapest_sat.json1745logstatsplain
-rw-r--r--budapest_unsat.json1866logstatsplain
-rw-r--r--simple_user-nat-dpi-ws_UNSAT.json1043logstatsplain
-rw-r--r--verigraph-req3-fail.json2359logstatsplain
-rw-r--r--verigraph-req3-success.json2366logstatsplain
-rw-r--r--verigraph-req4-fail.json2421logstatsplain
-rw-r--r--verigraph-req4-success.json2423logstatsplain