Instances solved by <a href='solver_detail.php?solver=75'>qpro</a> <br> QBFEVAL'08

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

Instance	Result	Time
ring4_2-bin	SAT	0.02
counter5_2-bin	SAT	0.02
counter4_3-bin	SAT	0.02
counter4_2-bin	SAT	0.02
counter4_5-bin	SAT	0.02
ring6_2-bin	SAT	0.02
ring5_2-bin	SAT	0.02
counter5_4-bin	SAT	0.03
counter6_2-bin	SAT	0.03
counter4_4-bin	SAT	0.03
semaphore_2-bin	SAT	0.03
counter4_6-bin	SAT	0.04
counter4_7-bin	SAT	0.04
counter7_2-bin	SAT	0.04
counter8_2-bin	SAT	0.04
counter6_4-bin	SAT	0.04
counter7_4-bin	SAT	0.05
counter4_8-bin	SAT	0.06
semaphore3_2-bin	SAT	0.06
counter5_8-bin	SAT	0.06
semaphore_3-bin	SAT	0.06
counter4_9-bin	SAT	0.06
counter4_10-bin	SAT	0.07
counter8_4-bin	SAT	0.07
semaphore4_2-bin	SAT	0.07
008-020-03-04-014.ncf-bin	SAT	0.08
ring4_3-bin	SAT	0.08
008-020-03-04-010.ncf-bin	SAT	0.08
008-020-03-04-042.ncf-bin	UNSAT	0.09
008-020-03-04-038.ncf-bin	SAT	0.09
counter4_11-bin	SAT	0.09
counter6_8-bin	SAT	0.09
008-020-03-04-037.ncf-bin	SAT	0.09
008-020-03-04-012.ncf-bin	SAT	0.09
008-020-03-04-032.ncf-bin	SAT	0.09
008-020-03-04-033.ncf-bin	SAT	0.09
008-020-03-04-006.ncf-bin	UNSAT	0.09
008-020-03-04-022.ncf-bin	UNSAT	0.09
semaphore5_2-bin	SAT	0.1
008-020-03-04-002.ncf-bin	UNSAT	0.1
008-020-03-04-021.ncf-bin	SAT	0.1
008-020-03-04-005.ncf-bin	UNSAT	0.1
008-020-03-05-001.ncf-bin	UNSAT	0.11
008-020-03-05-036.ncf-bin	SAT	0.11
semaphore3_3-bin	SAT	0.11
008-020-03-05-049.ncf-bin	UNSAT	0.11
008-020-03-04-044.ncf-bin	UNSAT	0.11
008-020-03-05-011.ncf-bin	SAT	0.11
008-020-03-04-028.ncf-bin	UNSAT	0.11
semaphore6_2-bin	SAT	0.12
008-020-03-05-031.ncf-bin	UNSAT	0.12
counter7_8-bin	SAT	0.12
008-020-03-05-002.ncf-bin	UNSAT	0.12
counter4_12-bin	SAT	0.12
008-020-03-05-007.ncf-bin	SAT	0.12
008-020-03-05-042.ncf-bin	SAT	0.12
008-020-03-05-032.ncf-bin	SAT	0.12
008-020-03-05-009.ncf-bin	SAT	0.12
008-020-03-05-021.ncf-bin	SAT	0.12
008-020-03-05-012.ncf-bin	SAT	0.12
008-020-03-04-008.ncf-bin	SAT	0.12
008-020-03-05-003.ncf-bin	SAT	0.12
008-020-03-04-016.ncf-bin	UNSAT	0.13
008-020-03-05-018.ncf-bin	SAT	0.13
008-020-03-04-009.ncf-bin	UNSAT	0.13
008-020-03-05-005.ncf-bin	UNSAT	0.14
008-020-03-06-031.ncf-bin	SAT	0.14
008-020-03-06-010.ncf-bin	SAT	0.14
008-020-03-06-022.ncf-bin	UNSAT	0.14
008-020-03-05-041.ncf-bin	SAT	0.14
008-020-03-06-000.ncf-bin	UNSAT	0.14
008-020-03-05-029.ncf-bin	SAT	0.14
008-020-03-04-027.ncf-bin	UNSAT	0.14
008-020-03-06-015.ncf-bin	UNSAT	0.14
008-020-03-05-023.ncf-bin	UNSAT	0.14
008-020-03-06-013.ncf-bin	SAT	0.14
008-020-03-06-028.ncf-bin	SAT	0.14
008-020-03-05-024.ncf-bin	SAT	0.15
008-020-03-04-043.ncf-bin	SAT	0.15
008-020-03-05-016.ncf-bin	SAT	0.15
008-020-03-05-026.ncf-bin	UNSAT	0.15
008-020-03-05-035.ncf-bin	SAT	0.15
counter8_8-bin	SAT	0.15
008-020-03-05-037.ncf-bin	SAT	0.16
008-020-03-06-034.ncf-bin	SAT	0.16
008-020-03-06-004.ncf-bin	SAT	0.17
008-020-03-06-033.ncf-bin	SAT	0.17
008-020-03-04-031.ncf-bin	UNSAT	0.17
008-020-03-04-025.ncf-bin	SAT	0.18
counter4_13-bin	SAT	0.18
008-020-03-04-001.ncf-bin	SAT	0.18
008-020-03-05-030.ncf-bin	UNSAT	0.21
008-020-03-06-035.ncf-bin	UNSAT	0.21
semaphore_4-bin	SAT	0.21
008-020-03-05-010.ncf-bin	SAT	0.21
semaphore4_3-bin	SAT	0.21
008-020-03-06-026.ncf-bin	SAT	0.24
dmeSmall_2-bin	SAT	0.24
008-020-03-04-011.ncf-bin	UNSAT	0.24
008-020-03-06-041.ncf-bin	SAT	0.26
008-020-03-05-045.ncf-bin	SAT	0.27
008-020-03-04-013.ncf-bin	SAT	0.29
008-020-03-06-047.ncf-bin	SAT	0.29
008-020-03-04-041.ncf-bin	SAT	0.3
008-020-03-06-044.ncf-bin	SAT	0.31
008-020-03-05-027.ncf-bin	UNSAT	0.31
008-020-03-06-021.ncf-bin	SAT	0.33
008-020-03-06-042.ncf-bin	UNSAT	0.33
008-020-03-04-004.ncf-bin	SAT	0.33
counter4_14-bin	SAT	0.35
008-020-03-06-043.ncf-bin	SAT	0.35
008-020-03-06-017.ncf-bin	UNSAT	0.36
008-020-03-06-019.ncf-bin	UNSAT	0.36
008-020-03-04-030.ncf-bin	UNSAT	0.36
008-020-03-06-032.ncf-bin	SAT	0.38
008-020-03-04-000.ncf-bin	UNSAT	0.38
dme1_2-bin	SAT	0.39
008-020-03-06-048.ncf-bin	SAT	0.39
semaphore5_3-bin	SAT	0.39
008-020-03-05-038.ncf-bin	SAT	0.4
008-020-03-06-006.ncf-bin	SAT	0.4
008-020-03-04-018.ncf-bin	UNSAT	0.41
008-020-03-04-003.ncf-bin	UNSAT	0.43
008-020-03-04-026.ncf-bin	SAT	0.45
008-020-03-04-024.ncf-bin	SAT	0.46
008-020-03-06-011.ncf-bin	SAT	0.46
008-020-03-06-038.ncf-bin	SAT	0.46
008-020-03-06-016.ncf-bin	UNSAT	0.48
008-020-03-05-014.ncf-bin	UNSAT	0.49
008-020-03-06-037.ncf-bin	UNSAT	0.49
008-020-03-04-048.ncf-bin	SAT	0.53
008-020-03-04-020.ncf-bin	UNSAT	0.54
008-020-03-05-033.ncf-bin	SAT	0.56
dmeSmall_4-bin	SAT	0.56
semaphore6_3-bin	SAT	0.57
008-020-03-06-005.ncf-bin	SAT	0.57
counter4_15-bin	SAT	0.59
008-020-03-06-045.ncf-bin	SAT	0.6
008-020-03-05-008.ncf-bin	UNSAT	0.64
dme1_3-bin	SAT	0.67
008-020-03-04-023.ncf-bin	SAT	0.67
008-020-03-04-035.ncf-bin	SAT	0.68
008-020-03-06-008.ncf-bin	UNSAT	0.7
assertion11_0_1-bin	UNSAT	0.7
assertion12_0_1-bin	UNSAT	0.71
008-020-03-06-040.ncf-bin	UNSAT	0.72
possibility6_0_1-bin	UNSAT	0.72
008-020-03-05-019.ncf-bin	SAT	0.73
assertion5_0_1-bin	UNSAT	0.74
008-020-03-06-002.ncf-bin	SAT	0.74
008-020-03-06-036.ncf-bin	UNSAT	0.75
008-020-03-06-007.ncf-bin	UNSAT	0.76
008-020-03-04-040.ncf-bin	SAT	0.77
008-020-03-04-034.ncf-bin	SAT	0.77
semaphore3_4-bin	SAT	0.8
008-020-03-05-004.ncf-bin	UNSAT	0.81
008-020-03-05-039.ncf-bin	SAT	0.9
008-020-03-06-018.ncf-bin	UNSAT	0.92
dme1_4-bin	SAT	1.03
ring4_4-bin	SAT	1.12
008-020-03-04-019.ncf-bin	SAT	1.12
008-020-03-06-030.ncf-bin	SAT	1.14
008-020-03-06-009.ncf-bin	SAT	1.27
counter5_16-bin	SAT	1.3
008-020-03-06-020.ncf-bin	SAT	1.32
008-020-03-05-017.ncf-bin	UNSAT	1.34
008-020-03-05-043.ncf-bin	UNSAT	1.38
008-020-03-05-034.ncf-bin	SAT	1.4
counter6_16-bin	SAT	1.45
dme1_5-bin	SAT	1.53
counter7_16-bin	SAT	1.6
008-020-03-05-022.ncf-bin	SAT	1.65
counter8_16-bin	SAT	1.8
008-020-03-05-044.ncf-bin	UNSAT	1.8
008-020-03-05-015.ncf-bin	SAT	1.86
008-020-03-06-029.ncf-bin	SAT	1.95
semaphore_5-bin	SAT	1.96
008-020-03-06-014.ncf-bin	SAT	1.97
008-020-03-06-049.ncf-bin	UNSAT	2.38
008-020-03-05-046.ncf-bin	SAT	2.4
008-020-03-06-012.ncf-bin	SAT	2.47
008-020-03-04-007.ncf-bin	SAT	2.94
008-020-03-04-029.ncf-bin	SAT	3.08
008-020-03-05-020.ncf-bin	SAT	3.1
008-020-03-04-039.ncf-bin	UNSAT	3.28
008-020-03-04-049.ncf-bin	SAT	3.59
semaphore4_4-bin	SAT	3.6
ring6_4-bin	SAT	3.76
008-020-03-04-045.ncf-bin	UNSAT	3.82
dme1_6-bin	SAT	3.9
008-020-03-06-039.ncf-bin	SAT	4.12
008-020-03-04-047.ncf-bin	SAT	4.16
008-020-03-05-048.ncf-bin	SAT	4.17
ring5_4-bin	SAT	4.64
possibility5_0_1-bin	UNSAT	5.05
008-020-03-05-028.ncf-bin	UNSAT	5.14
008-020-03-06-003.ncf-bin	SAT	5.22
008-020-03-05-013.ncf-bin	UNSAT	5.53
008-020-03-04-017.ncf-bin	UNSAT	5.66
008-020-03-05-040.ncf-bin	UNSAT	6.12
008-020-03-05-025.ncf-bin	UNSAT	6.19
008-020-03-05-006.ncf-bin	SAT	6.56
008-020-03-05-047.ncf-bin	SAT	6.75
008-020-03-04-036.ncf-bin	SAT	8.01
008-020-03-06-001.ncf-bin	SAT	8.21
008-020-03-04-046.ncf-bin	SAT	8.71
008-020-03-05-000.ncf-bin	SAT	8.82
semaphore5_4-bin	SAT	9.17
008-020-03-04-015.ncf-bin	UNSAT	9.6
008-020-03-06-024.ncf-bin	SAT	11.99
ring4_5-bin	SAT	14.69
semaphore6_4-bin	SAT	17.46
dmeSmall_8-bin	SAT	20.19
008-020-03-06-046.ncf-bin	UNSAT	21.49
008-020-03-06-025.ncf-bin	SAT	35.3
dme1_7-bin	SAT	36.89
008-020-03-06-027.ncf-bin	SAT	40.69
008-020-03-06-023.ncf-bin	UNSAT	42.94
counter4_16-bin	UNSAT	65.85
possibility5_0_2-bin	UNSAT	151.92
ring4_6-bin	SAT	178.73
dme1_8-bin	SAT	394.62
ring4_7-bin	FAIL	600.1
ring4_8-bin	FAIL	600.1
ring5_8-bin	FAIL	600.12
ring6_8-bin	FAIL	600.15
ring5_16-bin	FAIL	600.22
ring6_16-bin	FAIL	600.26
counter5_32-bin	FAIL	600.32
counter5_33-bin	FAIL	600.32
counter6_32-bin	FAIL	600.43
ring5_32-bin	FAIL	600.45
ring5_33-bin	FAIL	600.47
ring6_32-bin	FAIL	600.57
counter7_32-bin	FAIL	600.58
possibility1_0_1-bin	FAIL	600.71
possibility7_0_1-bin	FAIL	600.71
consistency_0_1-bin	FAIL	600.71
assertion2_0_1-bin	FAIL	600.71
possibility10_0_1-bin	FAIL	600.71
assertion7_0_1-bin	FAIL	600.71
possibility11_0_1-bin	FAIL	600.71
possibility12_0_1-bin	FAIL	600.71
possibility4_0_1-bin	FAIL	600.72
possibility3_0_1-bin	FAIL	600.72
assertion6_0_1-bin	FAIL	600.72
assertion8_0_1-bin	FAIL	600.72
assertion3_0_1-bin	FAIL	600.72
assertion4_0_1-bin	FAIL	600.72
assertion10_0_1-bin	FAIL	600.72
possibility9_0_1-bin	FAIL	600.72
assertion1_0_1-bin	FAIL	600.73
possibility2_0_1-bin	FAIL	600.73
possibility8_0_1-bin	FAIL	600.73
assertion9_0_1-bin	FAIL	600.73
counter8_32-bin	FAIL	600.75
counter6_64-bin	FAIL	600.99
counter6_65-bin	FAIL	601.01
counter7_64-bin	FAIL	601.38
ring6_64-bin	FAIL	601.41
ring6_65-bin	FAIL	601.45
assertion11_0_2-bin	FAIL	601.81
possibility1_0_2-bin	FAIL	601.81
consistency_0_2-bin	FAIL	601.82
assertion10_0_2-bin	FAIL	601.82
assertion1_0_2-bin	FAIL	601.82
assertion5_0_2-bin	FAIL	601.83
possibility4_0_2-bin	FAIL	601.83
possibility7_0_2-bin	FAIL	601.83
possibility6_0_2-bin	FAIL	601.83
possibility10_0_2-bin	FAIL	601.83
possibility11_0_2-bin	FAIL	601.83
assertion8_0_2-bin	FAIL	601.83
possibility2_0_2-bin	FAIL	601.83
assertion9_0_2-bin	FAIL	601.83
assertion6_0_2-bin	FAIL	601.83
assertion2_0_2-bin	FAIL	601.83
possibility9_0_2-bin	FAIL	601.83
dmeSmall_9-bin	FAIL	601.83
possibility12_0_2-bin	FAIL	601.83
assertion3_0_2-bin	FAIL	601.84
possibility3_0_2-bin	FAIL	601.84
assertion12_0_2-bin	FAIL	601.85
possibility8_0_2-bin	FAIL	601.85
assertion7_0_2-bin	FAIL	601.86
assertion4_0_2-bin	FAIL	601.86
counter8_64-bin	FAIL	601.94
consistency_0_3-bin	FAIL	603.43
assertion11_0_3-bin	FAIL	603.43
possibility7_0_3-bin	FAIL	603.43
possibility6_0_3-bin	FAIL	603.44
possibility11_0_3-bin	FAIL	603.44
possibility4_0_3-bin	FAIL	603.44
assertion6_0_3-bin	FAIL	603.45
assertion1_0_3-bin	FAIL	603.45
assertion9_0_3-bin	FAIL	603.45
assertion8_0_3-bin	FAIL	603.45
assertion12_0_3-bin	FAIL	603.45
possibility9_0_3-bin	FAIL	603.45
assertion2_0_3-bin	FAIL	603.45
possibility12_0_3-bin	FAIL	603.45
assertion3_0_3-bin	FAIL	603.45
possibility1_0_3-bin	FAIL	603.46
assertion7_0_3-bin	FAIL	603.46
possibility2_0_3-bin	FAIL	603.46
assertion4_0_3-bin	FAIL	603.46
assertion5_0_3-bin	FAIL	603.46
possibility10_0_3-bin	FAIL	603.46
possibility3_0_3-bin	FAIL	603.47
possibility5_0_3-bin	FAIL	603.47
assertion10_0_3-bin	FAIL	603.48
possibility8_0_3-bin	FAIL	603.51
counter7_128-bin	FAIL	603.75
counter7_129-bin	FAIL	603.81
counter8_128-bin	FAIL	605.21
assertion11_0_4-bin	FAIL	605.58
consistency_0_4-bin	FAIL	605.58
possibility10_0_4-bin	FAIL	605.59
possibility6_0_4-bin	FAIL	605.59
possibility3_0_4-bin	FAIL	605.59
assertion5_0_4-bin	FAIL	605.6
possibility11_0_4-bin	FAIL	605.6
possibility4_0_4-bin	FAIL	605.6
assertion6_0_4-bin	FAIL	605.6
assertion9_0_4-bin	FAIL	605.6
possibility7_0_4-bin	FAIL	605.61
assertion3_0_4-bin	FAIL	605.61
assertion12_0_4-bin	FAIL	605.61
assertion1_0_4-bin	FAIL	605.62
assertion10_0_4-bin	FAIL	605.62
possibility2_0_4-bin	FAIL	605.62
possibility5_0_4-bin	FAIL	605.63
assertion4_0_4-bin	FAIL	605.64
possibility9_0_4-bin	FAIL	605.65
assertion7_0_4-bin	FAIL	605.65
possibility12_0_4-bin	FAIL	605.65
possibility1_0_4-bin	FAIL	605.66
assertion2_0_4-bin	FAIL	605.69
assertion8_0_4-bin	FAIL	605.72
possibility8_0_4-bin	FAIL	605.77
consistency_0_5-bin	FAIL	608.38
possibility2_0_5-bin	FAIL	608.41
assertion5_0_5-bin	FAIL	608.41
possibility11_0_5-bin	FAIL	608.41
possibility10_0_5-bin	FAIL	608.41
possibility3_0_5-bin	FAIL	608.41
assertion11_0_5-bin	FAIL	608.41
assertion12_0_5-bin	FAIL	608.41
possibility6_0_5-bin	FAIL	608.43
possibility7_0_5-bin	FAIL	608.43
assertion9_0_5-bin	FAIL	608.44
assertion6_0_5-bin	FAIL	608.44
assertion7_0_5-bin	FAIL	608.46
possibility5_0_5-bin	FAIL	608.46
possibility1_0_5-bin	FAIL	608.47
assertion2_0_5-bin	FAIL	608.48
possibility4_0_5-bin	FAIL	608.5
possibility9_0_5-bin	FAIL	608.5
assertion1_0_5-bin	FAIL	608.5
assertion8_0_5-bin	FAIL	608.51
assertion3_0_5-bin	FAIL	608.55
assertion10_0_5-bin	FAIL	608.57
assertion4_0_5-bin	FAIL	608.58
possibility12_0_5-bin	FAIL	608.59
possibility8_0_5-bin	FAIL	608.65
consistency_0_6-bin	FAIL	612.14
possibility10_0_6-bin	FAIL	612.17
assertion11_0_6-bin	FAIL	612.19
possibility6_0_6-bin	FAIL	612.19
assertion10_0_6-bin	FAIL	612.2
assertion5_0_6-bin	FAIL	612.21
possibility11_0_6-bin	FAIL	612.21
possibility7_0_6-bin	FAIL	612.21
possibility3_0_6-bin	FAIL	612.22
assertion1_0_6-bin	FAIL	612.22
assertion12_0_6-bin	FAIL	612.23
assertion2_0_6-bin	FAIL	612.23
assertion7_0_6-bin	FAIL	612.24
assertion3_0_6-bin	FAIL	612.25
assertion8_0_6-bin	FAIL	612.3
possibility1_0_6-bin	FAIL	612.31
possibility2_0_6-bin	FAIL	612.32
possibility9_0_6-bin	FAIL	612.33
possibility12_0_6-bin	FAIL	612.34
possibility4_0_6-bin	FAIL	612.35
possibility5_0_6-bin	FAIL	612.39
assertion4_0_6-bin	FAIL	612.41
assertion6_0_6-bin	FAIL	612.45
assertion9_0_6-bin	FAIL	612.62
possibility8_0_6-bin	FAIL	612.69
counter8_256-bin	FAIL	616.06
counter8_257-bin	FAIL	616.14
consistency_0_7-bin	FAIL	616.83
assertion11_0_7-bin	FAIL	616.86
possibility1_0_7-bin	FAIL	616.87
possibility2_0_7-bin	FAIL	616.87
possibility10_0_7-bin	FAIL	616.91
possibility7_0_7-bin	FAIL	616.94
assertion9_0_7-bin	FAIL	616.96
possibility6_0_7-bin	FAIL	616.96
possibility11_0_7-bin	FAIL	616.98
assertion3_0_7-bin	FAIL	616.98
assertion12_0_7-bin	FAIL	616.99
assertion4_0_7-bin	FAIL	617
assertion1_0_7-bin	FAIL	617
assertion10_0_7-bin	FAIL	617
possibility5_0_7-bin	FAIL	617.01
assertion2_0_7-bin	FAIL	617.03
possibility9_0_7-bin	FAIL	617.08
possibility4_0_7-bin	FAIL	617.09
assertion8_0_7-bin	FAIL	617.1
assertion5_0_7-bin	FAIL	617.21
assertion6_0_7-bin	FAIL	617.22
assertion7_0_7-bin	FAIL	617.23
possibility12_0_7-bin	FAIL	617.36
possibility8_0_7-bin	FAIL	617.43
possibility3_0_7-bin	FAIL	618.4
possibility1_0_8-bin	FAIL	622.86
assertion11_0_8-bin	FAIL	622.9
possibility4_0_8-bin	FAIL	622.94
possibility7_0_8-bin	FAIL	622.97
possibility6_0_8-bin	FAIL	622.98
assertion10_0_8-bin	FAIL	623
possibility3_0_8-bin	FAIL	623.02
assertion3_0_8-bin	FAIL	623.02
assertion1_0_8-bin	FAIL	623.04
possibility5_0_8-bin	FAIL	623.05
assertion2_0_8-bin	FAIL	623.09
consistency_0_8-bin	FAIL	623.14
possibility2_0_8-bin	FAIL	623.21
possibility11_0_8-bin	FAIL	623.24
possibility10_0_8-bin	FAIL	623.25
possibility9_0_8-bin	FAIL	623.26
assertion6_0_8-bin	FAIL	623.28
assertion5_0_8-bin	FAIL	623.29
assertion9_0_8-bin	FAIL	623.3
assertion7_0_8-bin	FAIL	623.3
possibility12_0_8-bin	FAIL	623.32
assertion12_0_8-bin	FAIL	623.35
assertion8_0_8-bin	FAIL	623.54
possibility8_0_8-bin	FAIL	624.03
assertion4_0_8-bin	FAIL	624.23
consistency_0_9-bin	FAIL	630.41
possibility2_0_9-bin	FAIL	630.44
assertion11_0_9-bin	FAIL	630.44
possibility10_0_9-bin	FAIL	630.44
assertion9_0_9-bin	FAIL	630.52
possibility3_0_9-bin	FAIL	630.56
assertion1_0_9-bin	FAIL	630.6
assertion4_0_9-bin	FAIL	630.61
assertion7_0_9-bin	FAIL	630.62
assertion3_0_9-bin	FAIL	630.64
possibility5_0_9-bin	FAIL	630.67
assertion2_0_9-bin	FAIL	630.67
assertion8_0_9-bin	FAIL	630.86
possibility4_0_9-bin	FAIL	630.86
assertion6_0_9-bin	FAIL	630.9
assertion5_0_9-bin	FAIL	630.9
possibility6_0_9-bin	FAIL	630.92
possibility1_0_9-bin	FAIL	630.92
possibility12_0_9-bin	FAIL	630.93
possibility7_0_9-bin	FAIL	630.94
assertion12_0_9-bin	FAIL	630.99
assertion10_0_9-bin	FAIL	631.01
possibility11_0_9-bin	FAIL	631.02
possibility9_0_9-bin	FAIL	631.31
possibility8_0_9-bin	FAIL	632.01
consistency_0_10-bin	FAIL	639.53
possibility1_0_10-bin	FAIL	639.7
assertion11_0_10-bin	FAIL	639.71
assertion12_0_10-bin	FAIL	639.75
assertion7_0_10-bin	FAIL	639.75
assertion9_0_10-bin	FAIL	639.81
possibility10_0_10-bin	FAIL	639.87
assertion5_0_10-bin	FAIL	639.87
possibility4_0_10-bin	FAIL	639.87
assertion10_0_10-bin	FAIL	639.9
possibility7_0_10-bin	FAIL	639.9
assertion6_0_10-bin	FAIL	639.93
possibility6_0_10-bin	FAIL	639.93
possibility5_0_10-bin	FAIL	639.96
assertion2_0_10-bin	FAIL	640
assertion3_0_10-bin	FAIL	640.06
possibility9_0_10-bin	FAIL	640.12
possibility2_0_10-bin	FAIL	640.16
assertion8_0_10-bin	FAIL	640.21
possibility11_0_10-bin	FAIL	640.58
possibility12_0_10-bin	FAIL	640.96
assertion1_0_10-bin	FAIL	641.24
possibility8_0_10-bin	FAIL	641.44
possibility3_0_10-bin	FAIL	641.58
assertion4_0_10-bin	FAIL	641.88

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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