Instances of family NCFS_bin solved by CMS_Solver
QBFEVAL'08 - non-prenex non-cnf track.

InstanceResultTime
008-020-03-04-005.ncf-binUNSAT91.14
008-020-03-04-002.ncf-binUNSAT92.97
008-020-03-04-003.ncf-binUNSAT94.49
008-020-03-04-027.ncf-binUNSAT94.62
008-020-03-04-039.ncf-binUNSAT94.95
008-020-03-04-035.ncf-binSAT96.17
008-020-03-04-022.ncf-binUNSAT96.19
008-020-03-04-000.ncf-binUNSAT98.95
008-020-03-04-042.ncf-binUNSAT114
008-020-03-04-006.ncf-binUNSAT115.73
008-020-03-04-048.ncf-binSAT117.45
008-020-03-04-024.ncf-binSAT149.04
008-020-03-04-013.ncf-binSAT150.05
008-020-03-05-045.ncf-binSAT157.53
008-020-03-04-021.ncf-binSAT158.69
008-020-03-04-014.ncf-binSAT159.14
008-020-03-04-004.ncf-binSAT161.42
008-020-03-05-003.ncf-binSAT163.66
008-020-03-04-032.ncf-binSAT167.03
008-020-03-04-007.ncf-binSAT177.66
008-020-03-04-043.ncf-binSAT177.8
008-020-03-05-025.ncf-binUNSAT182.09
008-020-03-05-042.ncf-binSAT184.74
008-020-03-05-031.ncf-binUNSAT186.69
008-020-03-05-018.ncf-binSAT187.3
008-020-03-05-027.ncf-binUNSAT190.08
008-020-03-04-038.ncf-binSAT209.16
008-020-03-05-014.ncf-binUNSAT211.67
008-020-03-05-001.ncf-binUNSAT226.83
008-020-03-05-021.ncf-binSAT314.22
008-020-03-04-040.ncf-binSAT325.79
008-020-03-06-028.ncf-binSAT333.51
008-020-03-05-011.ncf-binSAT346.4
008-020-03-05-016.ncf-binSAT347.13
008-020-03-05-029.ncf-binSAT360.11
008-020-03-05-015.ncf-binSAT360.44
008-020-03-06-017.ncf-binUNSAT365.28
008-020-03-05-010.ncf-binSAT366.18
008-020-03-06-044.ncf-binSAT367.82
008-020-03-06-000.ncf-binUNSAT392.47
008-020-03-06-015.ncf-binUNSAT393.65
008-020-03-05-000.ncf-binSAT395.68
008-020-03-06-002.ncf-binSAT411.55
008-020-03-05-047.ncf-binSAT488.84
008-020-03-06-006.ncf-binSAT551.32
008-020-03-04-029.ncf-binSAT591.5
008-020-03-04-033.ncf-binFAIL600.05
008-020-03-04-012.ncf-binFAIL600.05
008-020-03-04-010.ncf-binFAIL600.05
008-020-03-04-037.ncf-binFAIL600.05
008-020-03-04-020.ncf-binFAIL600.06
008-020-03-05-023.ncf-binFAIL600.06
008-020-03-04-028.ncf-binFAIL600.06
008-020-03-04-036.ncf-binFAIL600.06
008-020-03-04-047.ncf-binFAIL600.06
008-020-03-05-020.ncf-binFAIL600.06
008-020-03-05-036.ncf-binFAIL600.06
008-020-03-05-004.ncf-binFAIL600.06
008-020-03-05-005.ncf-binFAIL600.06
008-020-03-04-019.ncf-binFAIL600.06
008-020-03-05-007.ncf-binFAIL600.06
008-020-03-04-001.ncf-binFAIL600.06
008-020-03-04-031.ncf-binFAIL600.06
008-020-03-04-045.ncf-binFAIL600.06
008-020-03-05-017.ncf-binFAIL600.06
008-020-03-05-024.ncf-binFAIL600.06
008-020-03-04-023.ncf-binFAIL600.06
008-020-03-04-041.ncf-binFAIL600.06
008-020-03-04-016.ncf-binFAIL600.06
008-020-03-04-030.ncf-binFAIL600.06
008-020-03-04-011.ncf-binFAIL600.06
008-020-03-04-049.ncf-binFAIL600.06
008-020-03-04-034.ncf-binFAIL600.06
008-020-03-05-035.ncf-binFAIL600.07
008-020-03-06-026.ncf-binFAIL600.07
008-020-03-05-009.ncf-binFAIL600.07
008-020-03-06-034.ncf-binFAIL600.07
008-020-03-05-046.ncf-binFAIL600.07
008-020-03-04-017.ncf-binFAIL600.07
008-020-03-05-022.ncf-binFAIL600.07
008-020-03-05-006.ncf-binFAIL600.07
008-020-03-05-043.ncf-binFAIL600.07
008-020-03-04-026.ncf-binFAIL600.07
008-020-03-04-018.ncf-binFAIL600.07
008-020-03-05-049.ncf-binFAIL600.07
008-020-03-04-015.ncf-binFAIL600.07
008-020-03-05-038.ncf-binFAIL600.07
008-020-03-05-044.ncf-binFAIL600.07
008-020-03-06-046.ncf-binFAIL600.07
008-020-03-04-025.ncf-binFAIL600.07
008-020-03-04-044.ncf-binFAIL600.07
008-020-03-04-046.ncf-binFAIL600.07
008-020-03-06-039.ncf-binFAIL600.07
008-020-03-06-022.ncf-binFAIL600.07
008-020-03-06-032.ncf-binFAIL600.07
008-020-03-05-041.ncf-binFAIL600.07
008-020-03-05-033.ncf-binFAIL600.07
008-020-03-05-028.ncf-binFAIL600.07
008-020-03-05-039.ncf-binFAIL600.07
008-020-03-05-012.ncf-binFAIL600.07
008-020-03-05-013.ncf-binFAIL600.07
008-020-03-04-008.ncf-binFAIL600.07
008-020-03-05-040.ncf-binFAIL600.07
008-020-03-06-029.ncf-binFAIL600.07
008-020-03-06-018.ncf-binFAIL600.07
008-020-03-06-016.ncf-binFAIL600.07
008-020-03-06-047.ncf-binFAIL600.07
008-020-03-04-009.ncf-binFAIL600.07
008-020-03-06-033.ncf-binFAIL600.07
008-020-03-05-037.ncf-binFAIL600.07
008-020-03-06-045.ncf-binFAIL600.07
008-020-03-06-035.ncf-binFAIL600.07
008-020-03-06-027.ncf-binFAIL600.07
008-020-03-06-030.ncf-binFAIL600.07
008-020-03-06-031.ncf-binFAIL600.07
008-020-03-06-040.ncf-binFAIL600.07
008-020-03-06-023.ncf-binFAIL600.07
008-020-03-06-001.ncf-binFAIL600.07
008-020-03-05-032.ncf-binFAIL600.07
008-020-03-05-019.ncf-binFAIL600.07
008-020-03-06-049.ncf-binFAIL600.07
008-020-03-06-020.ncf-binFAIL600.07
008-020-03-06-011.ncf-binFAIL600.07
008-020-03-06-024.ncf-binFAIL600.07
008-020-03-06-003.ncf-binFAIL600.07
008-020-03-05-048.ncf-binFAIL600.07
008-020-03-05-034.ncf-binFAIL600.07
008-020-03-05-026.ncf-binFAIL600.07
008-020-03-06-008.ncf-binFAIL600.07
008-020-03-05-002.ncf-binFAIL600.07
008-020-03-06-025.ncf-binFAIL600.07
008-020-03-06-037.ncf-binFAIL600.07
008-020-03-05-030.ncf-binFAIL600.07
008-020-03-06-038.ncf-binFAIL600.08
008-020-03-06-012.ncf-binFAIL600.08
008-020-03-06-021.ncf-binFAIL600.08
008-020-03-06-004.ncf-binFAIL600.08
008-020-03-06-019.ncf-binFAIL600.08
008-020-03-06-036.ncf-binFAIL600.08
008-020-03-06-009.ncf-binFAIL600.08
008-020-03-06-007.ncf-binFAIL600.08
008-020-03-06-043.ncf-binFAIL600.08
008-020-03-06-041.ncf-binFAIL600.08
008-020-03-06-042.ncf-binFAIL600.08
008-020-03-06-005.ncf-binFAIL600.08
008-020-03-06-010.ncf-binFAIL600.08
008-020-03-06-013.ncf-binFAIL600.08
008-020-03-06-014.ncf-binFAIL600.09
008-020-03-05-008.ncf-binFAIL600.09
008-020-03-06-048.ncf-binFAIL600.09