Bugs Maximize Restore

Showing 4 results of 4

# Summary Status Owner Creator Created Updated Type
39 aggregates (count/setof) are not quite right with reified items open Michael Kifer Michael Kifer 2015-02-13 2015-02-13 Wrong answer  
22 exists_not implementation bug open Michael Kifer 2014-01-24 2014-01-24 Wrong answer  
15 exists_not problems open Michael Kifer 2013-10-24 2013-10-24 Wrong answer  
6 Criteria for further delay of delayed literals must be expanded open Michael Kifer Michael Kifer 2013-08-19 2013-08-19 Wrong answer  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Type
 
(applies to this page only)