Search results

abcdsat_parallel:2017 segfaults

bugSomething isn't workingSomething isn't working

Status: Open.

#32 In sat-heritage/docker-images;

· pauleve opened on Apr 27, 2022

Proof mode of beansandeggs:2016 fails with 'Unknown flag "vbyte"'

Status: Open.

#31 In sat-heritage/docker-images;

· pauleve opened on Apr 13, 2022

Segmentation fault with sato4.2:2004 on test instance

Status: Open.

#30 In sat-heritage/docker-images;

· pauleve opened on Apr 13, 2022

Execution issues with pprobsat:2014

Status: Open.

#29 In sat-heritage/docker-images;

· pauleve opened on Apr 13, 2022

Parse error with cmsat5_*:2016

Status: Open.

#28 In sat-heritage/docker-images;

· pauleve opened on Apr 13, 2022

splatz06vmain:2016 CNF parsing error

Status: Open.

#27 In sat-heritage/docker-images;

· pauleve opened on Jun 7, 2021

treengeling:2013 parse error

bugSomething isn't workingSomething isn't working

Status: Open.

#26 In sat-heritage/docker-images;

· pauleve opened on Jun 5, 2021

sat2018.forsyte.tuwien.ac.at is down

Status: Open.

#25 In sat-heritage/docker-images;

· pauleve opened on Jun 3, 2021

march-dl:2005 segmentation fault

bugSomething isn't workingSomething isn't working

Status: Open.

#24 In sat-heritage/docker-images;

· pauleve opened on Mar 31, 2021

smallsat:2019 fails with Floating point exception

bugSomething isn't workingSomething isn't working

Status: Open.

#23 In sat-heritage/docker-images;

· pauleve opened on Mar 29, 2021

dk-sat11_1:2013 has non-standard returncode

bugSomething isn't workingSomething isn't working

Status: Open.

#22 In sat-heritage/docker-images;

· pauleve opened on Mar 29, 2021

satelitegti:2005 fails with ./solver35: not found

bugSomething isn't workingSomething isn't working

Status: Open.

#21 In sat-heritage/docker-images;

· pauleve opened on Mar 29, 2021