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

InstanceResultTime
counter4_2-binSAT0
semaphore_2-binSAT0.01
counter4_3-binSAT0.01
counter7_2-binSAT0.01
counter8_2-binSAT0.01
counter6_2-binSAT0.01
counter5_2-binSAT0.01
ring4_3-binSAT0.01
counter5_4-binSAT0.01
ring4_2-binSAT0.01
counter4_5-binSAT0.01
ring4_4-binSAT0.02
ring5_2-binSAT0.02
semaphore_3-binSAT0.02
counter4_4-binSAT0.02
ring6_2-binSAT0.02
ring4_5-binSAT0.02
semaphore3_2-binSAT0.02
ring5_4-binSAT0.02
counter4_6-binSAT0.02
counter4_7-binSAT0.02
semaphore3_3-binSAT0.03
semaphore_4-binSAT0.03
ring4_6-binSAT0.03
semaphore_5-binSAT0.03
counter4_8-binSAT0.04
counter6_4-binSAT0.04
semaphore3_4-binSAT0.04
ring4_7-binUNSAT0.04
counter4_10-binSAT0.05
counter4_9-binSAT0.05
ring4_8-binUNSAT0.05
semaphore4_2-binSAT0.05
counter4_15-binSAT0.05
counter4_12-binSAT0.06
counter4_11-binSAT0.06
ring6_4-binSAT0.06
counter4_14-binSAT0.06
semaphore4_3-binSAT0.06
counter4_13-binSAT0.08
semaphore4_4-binSAT0.1
ring5_8-binUNSAT0.1
semaphore5_4-binSAT0.16
ring5_16-binUNSAT0.18
semaphore5_3-binSAT0.19
counter5_8-binSAT0.24
counter7_4-binSAT0.24
counter4_16-binUNSAT0.29
semaphore5_2-binSAT0.44
ring5_32-binUNSAT0.44
ring5_33-binUNSAT0.46
semaphore6_4-binSAT0.7
counter8_4-binSAT1.66
semaphore6_3-binSAT2.44
ring6_8-binSAT2.6
ring6_16-binUNSAT3.23
counter6_8-binSAT3.26
ring6_32-binUNSAT3.53
ring6_64-binUNSAT4.61
ring6_65-binUNSAT4.65
semaphore6_2-binSAT6.24
counter7_8-binSAT50.32
counter5_16-binSAT74.22
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-010.ncf-binFAIL600.05
008-020-03-04-012.ncf-binFAIL600.05
008-020-03-04-037.ncf-binFAIL600.05
008-020-03-04-028.ncf-binFAIL600.06
008-020-03-05-023.ncf-binFAIL600.06
008-020-03-04-020.ncf-binFAIL600.06
008-020-03-04-016.ncf-binFAIL600.06
008-020-03-05-004.ncf-binFAIL600.06
008-020-03-04-049.ncf-binFAIL600.06
008-020-03-04-023.ncf-binFAIL600.06
008-020-03-04-047.ncf-binFAIL600.06
008-020-03-05-020.ncf-binFAIL600.06
008-020-03-04-011.ncf-binFAIL600.06
008-020-03-05-017.ncf-binFAIL600.06
008-020-03-05-007.ncf-binFAIL600.06
008-020-03-04-036.ncf-binFAIL600.06
008-020-03-04-041.ncf-binFAIL600.06
008-020-03-04-045.ncf-binFAIL600.06
008-020-03-05-036.ncf-binFAIL600.06
008-020-03-04-001.ncf-binFAIL600.06
008-020-03-04-031.ncf-binFAIL600.06
008-020-03-04-034.ncf-binFAIL600.06
008-020-03-04-019.ncf-binFAIL600.06
008-020-03-04-030.ncf-binFAIL600.06
008-020-03-05-024.ncf-binFAIL600.06
008-020-03-05-005.ncf-binFAIL600.06
counter8_8-binFAIL600.06
008-020-03-05-049.ncf-binFAIL600.07
008-020-03-04-025.ncf-binFAIL600.07
008-020-03-05-043.ncf-binFAIL600.07
008-020-03-04-017.ncf-binFAIL600.07
008-020-03-05-046.ncf-binFAIL600.07
008-020-03-05-038.ncf-binFAIL600.07
008-020-03-04-026.ncf-binFAIL600.07
008-020-03-06-034.ncf-binFAIL600.07
008-020-03-06-026.ncf-binFAIL600.07
008-020-03-05-022.ncf-binFAIL600.07
008-020-03-04-018.ncf-binFAIL600.07
008-020-03-05-044.ncf-binFAIL600.07
008-020-03-04-015.ncf-binFAIL600.07
008-020-03-05-009.ncf-binFAIL600.07
008-020-03-05-006.ncf-binFAIL600.07
008-020-03-06-046.ncf-binFAIL600.07
008-020-03-05-035.ncf-binFAIL600.07
008-020-03-04-044.ncf-binFAIL600.07
counter6_16-binFAIL600.07
008-020-03-05-040.ncf-binFAIL600.07
008-020-03-05-028.ncf-binFAIL600.07
008-020-03-06-022.ncf-binFAIL600.07
008-020-03-06-018.ncf-binFAIL600.07
008-020-03-06-047.ncf-binFAIL600.07
008-020-03-04-046.ncf-binFAIL600.07
008-020-03-05-012.ncf-binFAIL600.07
008-020-03-04-008.ncf-binFAIL600.07
008-020-03-06-016.ncf-binFAIL600.07
008-020-03-05-039.ncf-binFAIL600.07
008-020-03-06-033.ncf-binFAIL600.07
008-020-03-06-039.ncf-binFAIL600.07
008-020-03-05-041.ncf-binFAIL600.07
008-020-03-05-013.ncf-binFAIL600.07
008-020-03-05-033.ncf-binFAIL600.07
008-020-03-06-029.ncf-binFAIL600.07
008-020-03-04-009.ncf-binFAIL600.07
008-020-03-06-032.ncf-binFAIL600.07
008-020-03-06-011.ncf-binFAIL600.07
008-020-03-05-030.ncf-binFAIL600.07
008-020-03-06-020.ncf-binFAIL600.07
008-020-03-05-048.ncf-binFAIL600.07
counter5_32-binFAIL600.07
008-020-03-06-035.ncf-binFAIL600.07
008-020-03-06-008.ncf-binFAIL600.07
counter8_16-binFAIL600.07
008-020-03-06-027.ncf-binFAIL600.07
008-020-03-05-026.ncf-binFAIL600.07
008-020-03-05-034.ncf-binFAIL600.07
008-020-03-05-032.ncf-binFAIL600.07
008-020-03-06-023.ncf-binFAIL600.07
008-020-03-06-025.ncf-binFAIL600.07
008-020-03-06-040.ncf-binFAIL600.07
008-020-03-06-049.ncf-binFAIL600.07
008-020-03-06-001.ncf-binFAIL600.07
008-020-03-06-037.ncf-binFAIL600.07
008-020-03-05-002.ncf-binFAIL600.07
008-020-03-06-030.ncf-binFAIL600.07
008-020-03-06-045.ncf-binFAIL600.07
008-020-03-06-031.ncf-binFAIL600.07
008-020-03-06-024.ncf-binFAIL600.07
008-020-03-05-019.ncf-binFAIL600.07
008-020-03-06-003.ncf-binFAIL600.07
008-020-03-05-037.ncf-binFAIL600.07
008-020-03-06-043.ncf-binFAIL600.08
counter5_33-binFAIL600.08
008-020-03-06-004.ncf-binFAIL600.08
008-020-03-06-007.ncf-binFAIL600.08
008-020-03-06-019.ncf-binFAIL600.08
008-020-03-06-009.ncf-binFAIL600.08
counter7_16-binFAIL600.08
008-020-03-06-038.ncf-binFAIL600.08
008-020-03-06-012.ncf-binFAIL600.08
008-020-03-06-036.ncf-binFAIL600.08
008-020-03-06-021.ncf-binFAIL600.08
008-020-03-06-042.ncf-binFAIL600.08
008-020-03-06-041.ncf-binFAIL600.08
008-020-03-06-010.ncf-binFAIL600.08
008-020-03-06-005.ncf-binFAIL600.08
008-020-03-06-013.ncf-binFAIL600.08
008-020-03-05-008.ncf-binFAIL600.09
008-020-03-06-014.ncf-binFAIL600.09
dmeSmall_2-binFAIL600.09
counter6_32-binFAIL600.09
008-020-03-06-048.ncf-binFAIL600.09
counter7_32-binFAIL600.11
counter8_32-binFAIL600.12
dmeSmall_4-binFAIL600.13
dme1_2-binFAIL600.13
counter6_64-binFAIL600.14
possibility7_0_1-binFAIL600.14
assertion4_0_1-binFAIL600.14
possibility4_0_1-binFAIL600.14
assertion6_0_1-binFAIL600.14
assertion1_0_1-binFAIL600.14
possibility5_0_1-binFAIL600.14
possibility2_0_1-binFAIL600.14
counter6_65-binFAIL600.15
possibility6_0_1-binFAIL600.15
assertion10_0_1-binFAIL600.15
possibility10_0_1-binFAIL600.15
possibility11_0_1-binFAIL600.15
assertion8_0_1-binFAIL600.15
assertion5_0_1-binFAIL600.15
assertion7_0_1-binFAIL600.15
consistency_0_1-binFAIL600.15
possibility12_0_1-binFAIL600.15
possibility1_0_1-binFAIL600.15
assertion11_0_1-binFAIL600.15
possibility9_0_1-binFAIL600.16
assertion3_0_1-binFAIL600.16
assertion2_0_1-binFAIL600.16
assertion12_0_1-binFAIL600.16
possibility3_0_1-binFAIL600.16
possibility8_0_1-binFAIL600.16
dme1_3-binFAIL600.17
assertion9_0_1-binFAIL600.17
counter7_64-binFAIL600.19
dme1_4-binFAIL600.21
counter8_64-binFAIL600.22
dmeSmall_8-binFAIL600.23
dme1_5-binFAIL600.26
dmeSmall_9-binFAIL600.26
dme1_6-binFAIL600.3
possibility3_0_2-binFAIL600.3
assertion4_0_2-binFAIL600.31
assertion11_0_2-binFAIL600.31
possibility2_0_2-binFAIL600.31
possibility10_0_2-binFAIL600.31
assertion5_0_2-binFAIL600.31
possibility11_0_2-binFAIL600.31
assertion9_0_2-binFAIL600.31
possibility12_0_2-binFAIL600.31
possibility7_0_2-binFAIL600.31
possibility9_0_2-binFAIL600.31
possibility4_0_2-binFAIL600.31
possibility6_0_2-binFAIL600.31
assertion8_0_2-binFAIL600.31
assertion6_0_2-binFAIL600.31
assertion10_0_2-binFAIL600.32
assertion2_0_2-binFAIL600.32
possibility1_0_2-binFAIL600.32
consistency_0_2-binFAIL600.32
possibility5_0_2-binFAIL600.32
possibility8_0_2-binFAIL600.32
assertion1_0_2-binFAIL600.33
assertion7_0_2-binFAIL600.33
assertion12_0_2-binFAIL600.33
dme1_7-binFAIL600.33
assertion3_0_2-binFAIL600.34
counter7_128-binFAIL600.35
counter7_129-binFAIL600.36
dme1_8-binFAIL600.39
counter8_128-binFAIL600.44
assertion10_0_3-binFAIL600.55
possibility2_0_3-binFAIL600.55
assertion4_0_3-binFAIL600.55
possibility7_0_3-binFAIL600.55
assertion3_0_3-binFAIL600.55
possibility4_0_3-binFAIL600.55
possibility6_0_3-binFAIL600.55
consistency_0_3-binFAIL600.55
possibility5_0_3-binFAIL600.55
assertion2_0_3-binFAIL600.55
possibility3_0_3-binFAIL600.55
possibility12_0_3-binFAIL600.55
assertion6_0_3-binFAIL600.56
assertion1_0_3-binFAIL600.56
assertion12_0_3-binFAIL600.56
assertion7_0_3-binFAIL600.57
assertion11_0_3-binFAIL600.57
assertion8_0_3-binFAIL600.58
possibility9_0_3-binFAIL600.58
possibility10_0_3-binFAIL600.58
possibility8_0_3-binFAIL600.58
possibility1_0_3-binFAIL600.58
assertion9_0_3-binFAIL600.59
assertion5_0_3-binFAIL600.65
possibility11_0_3-binFAIL600.65
assertion6_0_4-binFAIL600.87
assertion11_0_4-binFAIL600.87
assertion7_0_4-binFAIL600.88
possibility11_0_4-binFAIL600.88
possibility4_0_4-binFAIL600.88
assertion10_0_4-binFAIL600.88
consistency_0_4-binFAIL600.89
assertion2_0_4-binFAIL600.89
possibility8_0_4-binFAIL600.89
assertion5_0_4-binFAIL600.89
possibility7_0_4-binFAIL600.89
possibility3_0_4-binFAIL600.9
possibility9_0_4-binFAIL600.9
possibility10_0_4-binFAIL600.91
assertion4_0_4-binFAIL600.92
assertion3_0_4-binFAIL600.93
assertion12_0_4-binFAIL600.94
possibility5_0_4-binFAIL600.94
assertion1_0_4-binFAIL600.94
assertion9_0_4-binFAIL600.95
possibility12_0_4-binFAIL600.95
possibility6_0_4-binFAIL600.95
counter8_256-binFAIL600.97
assertion8_0_4-binFAIL600.97
counter8_257-binFAIL600.99
possibility1_0_4-binFAIL601.06
possibility2_0_4-binFAIL601.09
assertion5_0_5-binFAIL601.29
possibility2_0_5-binFAIL601.29
possibility3_0_5-binFAIL601.3
possibility1_0_5-binFAIL601.3
assertion11_0_5-binFAIL601.3
possibility4_0_5-binFAIL601.3
assertion12_0_5-binFAIL601.31
assertion4_0_5-binFAIL601.31
possibility12_0_5-binFAIL601.31
possibility11_0_5-binFAIL601.31
possibility5_0_5-binFAIL601.32
assertion9_0_5-binFAIL601.33
assertion7_0_5-binFAIL601.37
possibility10_0_5-binFAIL601.38
possibility6_0_5-binFAIL601.39
assertion1_0_5-binFAIL601.39
assertion8_0_5-binFAIL601.4
consistency_0_5-binFAIL601.41
assertion10_0_5-binFAIL601.41
assertion2_0_5-binFAIL601.42
possibility9_0_5-binFAIL601.42
assertion3_0_5-binFAIL601.61
possibility8_0_5-binFAIL601.62
possibility7_0_5-binFAIL601.67
assertion6_0_5-binFAIL601.67
assertion1_0_6-binFAIL601.81
possibility2_0_6-binFAIL601.81
assertion5_0_6-binFAIL601.81
assertion7_0_6-binFAIL601.81
assertion3_0_6-binFAIL601.81
possibility3_0_6-binFAIL601.81
assertion11_0_6-binFAIL601.82
assertion9_0_6-binFAIL601.82
possibility11_0_6-binFAIL601.82
assertion8_0_6-binFAIL601.83
assertion4_0_6-binFAIL601.83
possibility12_0_6-binFAIL601.83
possibility5_0_6-binFAIL601.87
assertion10_0_6-binFAIL601.89
assertion12_0_6-binFAIL601.89
consistency_0_6-binFAIL601.9
possibility10_0_6-binFAIL601.91
assertion2_0_6-binFAIL601.94
possibility1_0_6-binFAIL601.95
possibility4_0_6-binFAIL601.95
possibility9_0_6-binFAIL601.98
possibility8_0_6-binFAIL601.99
possibility7_0_6-binFAIL602.34
possibility6_0_6-binFAIL602.37
assertion6_0_6-binFAIL602.39
assertion1_0_7-binFAIL602.52
possibility6_0_7-binFAIL602.52
assertion3_0_7-binFAIL602.52
possibility1_0_7-binFAIL602.53
possibility7_0_7-binFAIL602.53
assertion6_0_7-binFAIL602.53
assertion8_0_7-binFAIL602.53
assertion10_0_7-binFAIL602.53
assertion4_0_7-binFAIL602.53
possibility9_0_7-binFAIL602.55
assertion7_0_7-binFAIL602.55
assertion9_0_7-binFAIL602.61
consistency_0_7-binFAIL602.67
possibility12_0_7-binFAIL602.7
possibility2_0_7-binFAIL602.71
assertion11_0_7-binFAIL602.71
possibility4_0_7-binFAIL602.73
possibility5_0_7-binFAIL602.73
possibility10_0_7-binFAIL602.73
assertion12_0_7-binFAIL602.75
assertion2_0_7-binFAIL602.78
possibility8_0_7-binFAIL602.84
possibility2_0_8-binFAIL603.35
possibility4_0_8-binFAIL603.35
assertion12_0_8-binFAIL603.35
assertion1_0_8-binFAIL603.35
assertion11_0_8-binFAIL603.35
possibility11_0_8-binFAIL603.35
assertion7_0_8-binFAIL603.36
assertion6_0_8-binFAIL603.36
assertion4_0_8-binFAIL603.37
consistency_0_8-binFAIL603.37
assertion5_0_7-binFAIL603.37
possibility11_0_7-binFAIL603.37
assertion8_0_8-binFAIL603.37
assertion2_0_8-binFAIL603.37
possibility9_0_8-binFAIL603.37
possibility3_0_7-binFAIL603.4
possibility12_0_8-binFAIL603.41
possibility6_0_8-binFAIL603.53
assertion5_0_8-binFAIL603.59
assertion9_0_8-binFAIL603.6
possibility5_0_8-binFAIL603.63
possibility1_0_8-binFAIL603.64
possibility10_0_8-binFAIL603.65
possibility7_0_8-binFAIL603.66
possibility3_0_8-binFAIL603.72
assertion10_0_8-binFAIL603.73
possibility8_0_8-binFAIL603.82
possibility3_0_9-binFAIL604.28
assertion5_0_9-binFAIL604.29
consistency_0_9-binFAIL604.29
assertion7_0_9-binFAIL604.29
possibility1_0_9-binFAIL604.29
possibility7_0_9-binFAIL604.3
possibility11_0_9-binFAIL604.31
possibility5_0_9-binFAIL604.31
assertion3_0_9-binFAIL604.31
assertion3_0_8-binFAIL604.32
assertion12_0_9-binFAIL604.32
possibility9_0_9-binFAIL604.32
possibility12_0_9-binFAIL604.51
assertion1_0_9-binFAIL604.59
possibility6_0_9-binFAIL604.59
assertion11_0_9-binFAIL604.66
possibility2_0_9-binFAIL604.66
assertion6_0_9-binFAIL604.67
assertion10_0_9-binFAIL604.67
possibility10_0_9-binFAIL604.68
possibility4_0_9-binFAIL604.68
assertion8_0_9-binFAIL604.71
possibility8_0_9-binFAIL604.75
assertion9_0_9-binFAIL604.76
assertion4_0_9-binFAIL604.85
assertion9_0_10-binFAIL605.44
assertion10_0_10-binFAIL605.44
possibility5_0_10-binFAIL605.45
assertion3_0_10-binFAIL605.46
assertion5_0_10-binFAIL605.46
possibility6_0_10-binFAIL605.46
assertion6_0_10-binFAIL605.46
possibility1_0_10-binFAIL605.46
possibility7_0_10-binFAIL605.47
possibility10_0_10-binFAIL605.47
possibility4_0_10-binFAIL605.47
assertion2_0_10-binFAIL605.5
possibility8_0_10-binFAIL605.56
assertion8_0_10-binFAIL605.7
assertion2_0_9-binFAIL605.73
possibility9_0_10-binFAIL605.83
assertion1_0_10-binFAIL605.94
possibility2_0_10-binFAIL605.94
consistency_0_10-binFAIL605.95
assertion4_0_10-binFAIL605.96
assertion11_0_10-binFAIL605.97
assertion12_0_10-binFAIL605.98
assertion7_0_10-binFAIL607.01
possibility3_0_10-binFAIL607.03
possibility12_0_10-binFAIL607.25
possibility11_0_10-binFAIL607.38