Sota solver results for family NCFS_bin <br> QBFEVAL'08

Sota solver results for family NCFS_bin
QBFEVAL'08 - non-prenex non-cnf track.

Instance	Solver	Result	Time
008-020-03-04-000.ncf-bin	qpro	UNSAT	0.38
008-020-03-04-001.ncf-bin	qpro	SAT	0.18
008-020-03-04-002.ncf-bin	qpro	UNSAT	0.1
008-020-03-04-003.ncf-bin	qpro	UNSAT	0.43
008-020-03-04-004.ncf-bin	qpro	SAT	0.33
008-020-03-04-005.ncf-bin	qpro	UNSAT	0.1
008-020-03-04-006.ncf-bin	qpro	UNSAT	0.09
008-020-03-04-007.ncf-bin	qpro	SAT	2.94
008-020-03-04-008.ncf-bin	qpro	SAT	0.12
008-020-03-04-009.ncf-bin	qpro	UNSAT	0.13
008-020-03-04-010.ncf-bin	qpro	SAT	0.08
008-020-03-04-011.ncf-bin	qpro	UNSAT	0.24
008-020-03-04-012.ncf-bin	qpro	SAT	0.09
008-020-03-04-013.ncf-bin	qpro	SAT	0.29
008-020-03-04-014.ncf-bin	qpro	SAT	0.08
008-020-03-04-015.ncf-bin	qpro	UNSAT	9.6
008-020-03-04-016.ncf-bin	qpro	UNSAT	0.13
008-020-03-04-017.ncf-bin	qpro	UNSAT	5.66
008-020-03-04-018.ncf-bin	qpro	UNSAT	0.41
008-020-03-04-019.ncf-bin	qpro	SAT	1.12
008-020-03-04-020.ncf-bin	qpro	UNSAT	0.54
008-020-03-04-021.ncf-bin	qpro	SAT	0.1
008-020-03-04-022.ncf-bin	qpro	UNSAT	0.09
008-020-03-04-023.ncf-bin	qpro	SAT	0.67
008-020-03-04-024.ncf-bin	qpro	SAT	0.46
008-020-03-04-025.ncf-bin	qpro	SAT	0.18
008-020-03-04-026.ncf-bin	qpro	SAT	0.45
008-020-03-04-027.ncf-bin	qpro	UNSAT	0.14
008-020-03-04-028.ncf-bin	qpro	UNSAT	0.11
008-020-03-04-029.ncf-bin	qpro	SAT	3.08
008-020-03-04-030.ncf-bin	qpro	UNSAT	0.36
008-020-03-04-031.ncf-bin	qpro	UNSAT	0.17
008-020-03-04-032.ncf-bin	qpro	SAT	0.09
008-020-03-04-033.ncf-bin	qpro	SAT	0.09
008-020-03-04-034.ncf-bin	qpro	SAT	0.77
008-020-03-04-035.ncf-bin	qpro	SAT	0.68
008-020-03-04-036.ncf-bin	qpro	SAT	8.01
008-020-03-04-037.ncf-bin	qpro	SAT	0.09
008-020-03-04-038.ncf-bin	qpro	SAT	0.09
008-020-03-04-039.ncf-bin	qpro	UNSAT	3.28
008-020-03-04-040.ncf-bin	qpro	SAT	0.77
008-020-03-04-041.ncf-bin	qpro	SAT	0.3
008-020-03-04-042.ncf-bin	qpro	UNSAT	0.09
008-020-03-04-043.ncf-bin	qpro	SAT	0.15
008-020-03-04-044.ncf-bin	qpro	UNSAT	0.11
008-020-03-04-045.ncf-bin	qpro	UNSAT	3.82
008-020-03-04-046.ncf-bin	qpro	SAT	8.71
008-020-03-04-047.ncf-bin	qpro	SAT	4.16
008-020-03-04-048.ncf-bin	qpro	SAT	0.53
008-020-03-04-049.ncf-bin	qpro	SAT	3.59
008-020-03-05-000.ncf-bin	qpro	SAT	8.82
008-020-03-05-001.ncf-bin	qpro	UNSAT	0.11
008-020-03-05-002.ncf-bin	qpro	UNSAT	0.12
008-020-03-05-003.ncf-bin	qpro	SAT	0.12
008-020-03-05-004.ncf-bin	qpro	UNSAT	0.81
008-020-03-05-005.ncf-bin	qpro	UNSAT	0.14
008-020-03-05-006.ncf-bin	qpro	SAT	6.56
008-020-03-05-007.ncf-bin	qpro	SAT	0.12
008-020-03-05-008.ncf-bin	qpro	UNSAT	0.64
008-020-03-05-009.ncf-bin	qpro	SAT	0.12
008-020-03-05-010.ncf-bin	qpro	SAT	0.21
008-020-03-05-011.ncf-bin	qpro	SAT	0.11
008-020-03-05-012.ncf-bin	qpro	SAT	0.12
008-020-03-05-013.ncf-bin	qpro	UNSAT	5.53
008-020-03-05-014.ncf-bin	qpro	UNSAT	0.49
008-020-03-05-015.ncf-bin	qpro	SAT	1.86
008-020-03-05-016.ncf-bin	qpro	SAT	0.15
008-020-03-05-017.ncf-bin	qpro	UNSAT	1.34
008-020-03-05-018.ncf-bin	qpro	SAT	0.13
008-020-03-05-019.ncf-bin	qpro	SAT	0.73
008-020-03-05-020.ncf-bin	qpro	SAT	3.1
008-020-03-05-021.ncf-bin	qpro	SAT	0.12
008-020-03-05-022.ncf-bin	qpro	SAT	1.65
008-020-03-05-023.ncf-bin	qpro	UNSAT	0.14
008-020-03-05-024.ncf-bin	qpro	SAT	0.15
008-020-03-05-025.ncf-bin	qpro	UNSAT	6.19
008-020-03-05-026.ncf-bin	qpro	UNSAT	0.15
008-020-03-05-027.ncf-bin	qpro	UNSAT	0.31
008-020-03-05-028.ncf-bin	qpro	UNSAT	5.14
008-020-03-05-029.ncf-bin	qpro	SAT	0.14
008-020-03-05-030.ncf-bin	qpro	UNSAT	0.21
008-020-03-05-031.ncf-bin	qpro	UNSAT	0.12
008-020-03-05-032.ncf-bin	qpro	SAT	0.12
008-020-03-05-033.ncf-bin	qpro	SAT	0.56
008-020-03-05-034.ncf-bin	qpro	SAT	1.4
008-020-03-05-035.ncf-bin	qpro	SAT	0.15
008-020-03-05-036.ncf-bin	qpro	SAT	0.11
008-020-03-05-037.ncf-bin	qpro	SAT	0.16
008-020-03-05-038.ncf-bin	qpro	SAT	0.4
008-020-03-05-039.ncf-bin	qpro	SAT	0.9
008-020-03-05-040.ncf-bin	qpro	UNSAT	6.12
008-020-03-05-041.ncf-bin	qpro	SAT	0.14
008-020-03-05-042.ncf-bin	qpro	SAT	0.12
008-020-03-05-043.ncf-bin	qpro	UNSAT	1.38
008-020-03-05-044.ncf-bin	qpro	UNSAT	1.8
008-020-03-05-045.ncf-bin	qpro	SAT	0.27
008-020-03-05-046.ncf-bin	qpro	SAT	2.4
008-020-03-05-047.ncf-bin	qpro	SAT	6.75
008-020-03-05-048.ncf-bin	qpro	SAT	4.17
008-020-03-05-049.ncf-bin	qpro	UNSAT	0.11
008-020-03-06-000.ncf-bin	qpro	UNSAT	0.14
008-020-03-06-001.ncf-bin	qpro	SAT	8.21
008-020-03-06-002.ncf-bin	qpro	SAT	0.74
008-020-03-06-003.ncf-bin	qpro	SAT	5.22
008-020-03-06-004.ncf-bin	qpro	SAT	0.17
008-020-03-06-005.ncf-bin	qpro	SAT	0.57
008-020-03-06-006.ncf-bin	qpro	SAT	0.4
008-020-03-06-007.ncf-bin	qpro	UNSAT	0.76
008-020-03-06-008.ncf-bin	qpro	UNSAT	0.7
008-020-03-06-009.ncf-bin	qpro	SAT	1.27
008-020-03-06-010.ncf-bin	qpro	SAT	0.14
008-020-03-06-011.ncf-bin	qpro	SAT	0.46
008-020-03-06-012.ncf-bin	qpro	SAT	2.47
008-020-03-06-013.ncf-bin	qpro	SAT	0.14
008-020-03-06-014.ncf-bin	qpro	SAT	1.97
008-020-03-06-015.ncf-bin	qpro	UNSAT	0.14
008-020-03-06-016.ncf-bin	qpro	UNSAT	0.48
008-020-03-06-017.ncf-bin	qpro	UNSAT	0.36
008-020-03-06-018.ncf-bin	qpro	UNSAT	0.92
008-020-03-06-019.ncf-bin	qpro	UNSAT	0.36
008-020-03-06-020.ncf-bin	qpro	SAT	1.32
008-020-03-06-021.ncf-bin	qpro	SAT	0.33
008-020-03-06-022.ncf-bin	qpro	UNSAT	0.14
008-020-03-06-023.ncf-bin	qpro	UNSAT	42.94
008-020-03-06-024.ncf-bin	qpro	SAT	11.99
008-020-03-06-025.ncf-bin	qpro	SAT	35.3
008-020-03-06-026.ncf-bin	qpro	SAT	0.24
008-020-03-06-027.ncf-bin	qpro	SAT	40.69
008-020-03-06-028.ncf-bin	qpro	SAT	0.14
008-020-03-06-029.ncf-bin	qpro	SAT	1.95
008-020-03-06-030.ncf-bin	qpro	SAT	1.14
008-020-03-06-031.ncf-bin	qpro	SAT	0.14
008-020-03-06-032.ncf-bin	qpro	SAT	0.38
008-020-03-06-033.ncf-bin	qpro	SAT	0.17
008-020-03-06-034.ncf-bin	qpro	SAT	0.16
008-020-03-06-035.ncf-bin	qpro	UNSAT	0.21
008-020-03-06-036.ncf-bin	qpro	UNSAT	0.75
008-020-03-06-037.ncf-bin	qpro	UNSAT	0.49
008-020-03-06-038.ncf-bin	qpro	SAT	0.46
008-020-03-06-039.ncf-bin	qpro	SAT	4.12
008-020-03-06-040.ncf-bin	qpro	UNSAT	0.72
008-020-03-06-041.ncf-bin	qpro	SAT	0.26
008-020-03-06-042.ncf-bin	qpro	UNSAT	0.33
008-020-03-06-043.ncf-bin	qpro	SAT	0.35
008-020-03-06-044.ncf-bin	qpro	SAT	0.31
008-020-03-06-045.ncf-bin	qpro	SAT	0.6
008-020-03-06-046.ncf-bin	qpro	UNSAT	21.49
008-020-03-06-047.ncf-bin	qpro	SAT	0.29
008-020-03-06-048.ncf-bin	qpro	SAT	0.39
008-020-03-06-049.ncf-bin	qpro	UNSAT	2.38

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family NCFS_bin
QBFEVAL'08 - non-prenex non-cnf track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family NCFS_bin QBFEVAL'08 - non-prenex non-cnf track.

Sota solver results for family NCFS_bin
QBFEVAL'08 - non-prenex non-cnf track.