Published June 14, 2018
| Version v1
Dataset
Open
Analyzed Benchmarks and Raw Data on Experiments for FraSMT
Description
For details see:
Johannes K. Fichte, Markus Hecher, Neha Lodha, Stefan Szeider: An SMT Approach to Fractional Hypertree Width, Proceedings of the 24th International Conference on Principles and Practice of Constraint Programming (CP'2018).
Files
fhtd-hypergraphs-0-range-by-num_hyperedges.csv
Files
(132.5 MB)
Name | Size | Download all |
---|---|---|
md5:89fb864d0062b621cef9a8b77e7f1729
|
7.1 kB | Preview Download |
md5:01b05097f5b855242e9c1f179b4563d8
|
227 Bytes | Preview Download |
md5:40642de6adf9861a8fb91f2a4eb3b1df
|
9.9 kB | Preview Download |
md5:986f0718b4de1dbb9024990479e15e7a
|
6.0 kB | Preview Download |
md5:298fe535208b27d87017ff663525a6de
|
235 Bytes | Preview Download |
md5:8264c1759646160896fec8144ddf42db
|
6.2 kB | Preview Download |
md5:d5dc4597a6073d726ed28bdea1f7fa1b
|
478 Bytes | Preview Download |
md5:e4ef9c49fef52c6ecd58241ef86f1175
|
1.3 kB | Preview Download |
md5:7e37f7a9cf2f4126ce3d6fe137cbd0a5
|
806 Bytes | Preview Download |
md5:57761e43f67eb6453853c43f9179e7bc
|
17.1 kB | Preview Download |
md5:b11470f867cad8aa39188ea3832ef634
|
10.2 kB | Preview Download |
md5:b53d43f93d51a3db9373f531e431f934
|
18.4 kB | Preview Download |
md5:632454b2f5da992f79b11d1342412351
|
10.5 kB | Preview Download |
md5:f72da5d5aeb435932948d79ac9a90ceb
|
1.9 MB | Preview Download |
md5:8865e203b4bc1b8e0446a55bae18996a
|
1.2 MB | Preview Download |
md5:4f166259ebb3e26bfc9d81c98db8f8ed
|
47.2 kB | Preview Download |
md5:d59740a524cf2e364f64cdfefbb563d8
|
26.9 kB | Preview Download |
md5:02eca0628092af551333824e3bdbd35a
|
9.9 MB | Preview Download |
md5:7e8c433d69ab96f71de98933dcd8159c
|
962.6 kB | Preview Download |
md5:060c1f175ba5a78e84896e9eaab62c5f
|
42.6 kB | Preview Download |
md5:0bed335dce44b35f52ab861de13706ff
|
27.0 kB | Preview Download |
md5:7d9248f14c488d1161d37e30d5e92eb3
|
100.8 kB | Preview Download |
md5:023544d47483a2ef5dc3ba1a6f8d5eb4
|
113.1 kB | Preview Download |
md5:375319641a935f681deb938a9bb491b4
|
100.8 kB | Preview Download |
md5:f652d296c2b716d847c0f9f055471de3
|
113.1 kB | Preview Download |
md5:df9eb7fd7aadee32c7337128033aafdc
|
36.5 kB | Download |
md5:78da029718a0e6f3493516bdea8972f3
|
36.6 kB | Preview Download |
md5:8bc4fa1a0bd2cb26509bc724c798af13
|
41.4 kB | Preview Download |
md5:07b6d5aa8e64ed8eb3fc42b7651c9dc3
|
825 Bytes | Preview Download |
md5:a3d74aeadf1071aeae1ce471f9b096d5
|
156.7 kB | Preview Download |
md5:4ba0bda030cf9d30ef928c3dcc657dec
|
16.7 kB | Preview Download |
md5:2d2d08e985d262fd57fd7330c335ed77
|
897 Bytes | Download |
md5:fee6962fc308e80e47b3926dfb63eff8
|
117.6 MB | Download |