Instances of family s1269 solved by <a href='solver_detail.php?solver=74'>Nenofex</a> <br> QBFEVAL'08

qbflib.org

Instances of family s1269 solved by Nenofex
QBFEVAL'08

Instance	Result	Time
s1269_d14_u	FAIL	149.83
s1269_d12_u	FAIL	150.93
s1269_d13_u	FAIL	151.75
s1269_d15_u	FAIL	154.27
s1269_d11_u	FAIL	154.87
s1269_d2_s	FAIL	357.13
s1269_d3_s	FAIL	487.75
s1269_d8_s	FAIL	558.89
s1269_d6_s	FAIL	600
s1269_d9_s	FAIL	600
s1269_d10_s	FAIL	600
s1269_d4_s	FAIL	600
s1269_d5_s	FAIL	600
s1269_d7_s	FAIL	600

Contact | Organization | Links | Citing QBFLIB