Missing Results

[MariusSchneider]

Hi,

I looked at the results of the SATChallenge and found some empty results, e.g. http://edacc2.informatik.uni-ulm.de/SATChallenge2012/experiment/18/results/?cost=resultTime&display_measure=par10&solver_configs=700&i=679&i=4351&i=4352&i=2677&i=2675&i=4329&i=4328&i=4332&i=4327&i=532&i=534&i=533&i=2685&i=4330&i=4333&i=2681&i=2691&i=4331&i=2666&i=2670&i=4326&i=528&i=529&i=2667&i=2672&i=4325&i=4464&i=4471&i=4426&i=4474&i=4449&i=4458&i=4444&i=4425&i=4465&i=4441&i=4445&i=4455&i=4477&i=4473&i=4457&i=4448&i=4480&i=4432&i=4460&i=4481&i=4443&i=4442&i=4456&i=4462&i=4447&i=4452&i=4440&i=4431&i=4467&i=4438&i=4478&i=4427&i=4461&i=4459&i=4434&i=4450&i=4466&i=4451&i=4479&i=4436&i=4475&i=4435&i=4472&i=4453&i=4470&i=4433&i=4429&i=4468&i=4482&i=4469&i=4463&i=4439&i=4428&i=4446&i=4483&i=4430&i=4476&i=4454&i=4437&i=4422&i=4424&i=4421&i=4423&i=4493&i=4496&i=4495&i=4497&i=4492&i=4498&i=4494&i=4484&i=4488&i=4485&i=4491&i=4487&i=4490&i=4489&i=4486&i=3436&i=603&i=589&i=599&i=584&i=585&i=590&i=2646&i=2648&i=2635&i=2638&i=2636&i=2649&i=2651&i=2637&i=2579&i=503&i=2584&i=2585&i=504&i=2580&i=2589&i=2582&i=2583&i=2586&i=2581&i=2587&i=2578&i=505&i=2588&i=2654&i=2652&i=2655&i=521&i=4317&i=2627&i=4322&i=522&i=2626&i=4323&i=2625&i=4320&i=524&i=519&i=516&i=4318&i=4319&i=4321&i=518&i=523&i=2634&i=2632&i=2633&i=4324&i=520&i=2617&i=2629&i=4316&i=2630&i=2616&i=2618&i=2619&i=512&i=2631&i=2623&i=511&i=2592&i=2598&i=2614&i=2597&i=509&i=2599&i=510&i=2605&i=4375&i=754&i=4376&i=752&i=747&i=4373&i=750&i=751&i=753&i=4374&i=755&i=749&i=745&i=741&i=723&i=742&i=737&i=4372&i=738&i=731&i=622&i=621&i=620&i=625&i=619&i=623&i=616&i=627&i=617&i=624&i=615&i=660&i=643&i=655&i=653&i=646&i=657&i=4348&i=651&i=641&i=4345&i=4339&i=4342&i=4335&i=629&i=4337&i=4334&i=4341&i=4343&i=639&i=4344&i=630&i=4338&i=4346&i=633&i=4347&i=4336&i=628&i=637&i=635&i=632&i=634&i=636&i=4340&i=631&i=662&i=669&i=4349&i=4350&i=668&i=674&i=666&i=667&i=663&i=664&i=608&i=614&i=607&i=611&i=613&i=612&i=609&i=610&i=606&i=694&i=4362&i=4355&i=4353&i=709&i=692&i=719&i=696&i=4367&i=706&i=713&i=4358&i=4360&i=4368&i=4371&i=4364&i=4356&i=4369&i=697&i=4354&i=712&i=700&i=718&i=4366&i=4370&i=4357&i=4359&i=711&i=4361&i=707&i=716&i=720&i=4365&i=4363&i=699&i=4528&i=4542&i=4532&i=4531&i=4548&i=4547&i=4549&i=4546&i=4556&i=4526&i=4530&i=4540&i=4533&i=4846&i=4847&i=4862&i=4845&i=4861&i=4858&i=4557&i=4558&i=4559&i=4843&i=4842&i=4844&i=4859&i=4848&i=4863&i=4860&i=4838&i=4840&i=4841&i=4839&i=4508&i=4509&i=4520&i=4518&i=4519&i=4517&i=4855&i=4854&i=4856&i=4857&i=4503&i=4506&i=4507&i=4511&i=4501&i=4502&i=4852&i=4851&i=4850&i=4849&i=4514&i=4513&i=4512&i=4853&i=546&i=545&i=544&i=3450&i=1809&i=595&i=593&i=594&i=1807&i=1808&i=1806&i=1839&i=596&i=1840&i=1844&i=1833&i=1831&i=1830&i=1829&i=1823&i=1826&i=1893&i=1890&i=1889&i=1878&i=1877&i=1882&i=1885&i=547&i=600&i=1868&i=1870&i=1873&i=1872&i=1871&i=1869&i=602&i=563&i=562&i=561&i=550&i=551&i=578&i=576&i=579&i=760&i=558&i=553&i=554&i=575&i=1780&i=1782&i=588&i=1788&i=1785&i=587&i=1787&i=1790&i=1786&i=1789&i=1791&i=1793&i=1798&i=1795&i=1800&i=1799&i=567&i=564&i=1913&i=1911&i=1912&i=1915&i=1910&i=1909&i=1914&i=1908&i=1917&i=1918&i=1920&i=1919&i=1916&i=761&i=762&i=764&i=763&i=4837&i=4836&i=4835&i=4834&i=190&i=130&i=173&i=154&i=153&i=108&i=166&i=172&i=177&i=165&i=183&i=193&i=101&i=136&i=191&i=152&i=170&i=187&i=184&i=143&i=118&i=157&i=175&i=156&i=106&i=146&i=128&i=185&i=196&i=124&i=140&i=188&i=192&i=137&i=150&i=103&i=138&i=186&i=104&i=134&i=114&i=144&i=162&i=127&i=70&i=67&i=68&i=66&i=64&i=65&i=59&i=57&i=63&i=61&i=62&i=56&i=58&i=60&i=93&i=91&i=92&i=89&i=47&i=48&i=50&i=45&i=49&i=34&i=35&i=33&i=36&i=41&i=44&i=43&i=42&i=54&i=55&i=53&i=39&i=38&i=22&i=23&i=24&i=25&i=20&i=21&i=18&i=19&i=7&i=29&i=4415&i=4414&i=4552&i=4553&i=4554&i=4416&i=4555&i=4560&i=4561&i=4562&i=4412&i=4399&i=4401&i=4409&i=4381&i=4384&i=4385&i=4411&i=4404&i=4394&i=4407&i=4378&i=4391&i=4386&i=4405&i=4379&i=4408&i=4396&i=4392&i=4383&i=4398&i=4377&i=4400&i=4410&i=4387&i=4393&i=4390&i=4389&i=4406&i=4380&i=4397&i=4403&i=4388&i=4395&i=4402&i=4382&i=1865&i=1861&i=1859&i=1864&i=1863&i=1804&i=1906&i=1905&i=1903&i=1904&i=2704&i=2699&i=2702&i=2705&i=2693&i=2694&i=768&i=765&i=766&i=767&i=4833&instance_filter=&submit=Show

instance: zfcp-2.8-u2-nh.cnf

The issue also occurs by downloading the csv.

I would expect at least some value here but empty does not help.

Cheers, Marius

[ceari]

Thanks for the bug report!