{
	"system": {
		"floorplan": "fixtures/002.flp",
		"configuration": "fixtures/hotspot.config",
		"specification": "fixtures/002_020.tgff",
		"ambience": 318.15
	},

	"target": {
		"name": "maximal-temperature",
		"uncertainty": {
			"name": "marginal",
			"deviation": 0.2,
			"distribution": "Beta(1, 1)",
			"corrLength": 5,
			"varThreshold": 0.95
		},
		"importance": [1, 0],
		"rejection": [0, 0],
		"refinement": [1e-7, 0],
		"timeIndex": "[0:0.1:1]"
	},

	"solver": {
		"rule": "open",
		"minLevel": 1,
		"maxLevel": 3
	}
}

{
	"system": {
		"floorplan": "fixtures/002.flp",
		"configuration": "fixtures/hotspot.config",
		"specification": "fixtures/002_020.tgff",
		"ambience": 318.15
	},

	"target": {
		"name": "maximal-temperature",
		"uncertainty": {
			"name": "marginal",
			"deviation": 0.2,
			"distribution": "Beta(1, 1)",
			"corrLength": 5,
			"varThreshold": 0.95
		},
		"importance": [1, 0],
		"rejection": [0, 0],
		"refinement": [1e-7, 0]
	},

	"solver": {
		"rule": "open",
		"minLevel": 1,
		"maxLevel": 3
	}
}

Clean up a configuration file
Clean up a configuration file
