skizzo_v0.4 results solving families

skizzo_v0.4 results solving families - 2005

Family	# Total	# Sat	# Unsat	Time
Adder	201	8	2	90588.36
Blocks	102	3	7	1301.5
C432	73	3	2	9590.57
C499	76	2	2	17761.72
C5315	86	2	2	40959.82
C6288	86	1		35815.55
C880	78	1		7385.97
Chain	87	12		5.9
comp	28	4	4	2.07
Connect4	144		40	3244.9
Counter	73	14		23760.95
CounterFactual	1691	131	134	1059951.21
DFlipFlop	73		10	42.24
evader-pursuer-4x4-logarithmic	61	3		5538.31
evader-pursuer-4x4-standard	65	1		39723.2
evader-pursuer-6x6-logarithmic	74		2	12148.77
evader-pursuer-6x6-standard	77			33749.8
evader-pursuer-8x8-logarithmic	78		4	14688.94
FPGA_PLB_FIT_FAST	38	4	1	6.48
FPGA_PLB_FIT_SLOW	25	1	2	38.61
horn	156		35	116300.24
Impl	74	10		1.14
jmc_quant	49			44133.54
jmc_quant_squaring	118			88705.64
k_branch_n	56	1		32144.82
k_branch_p	52		6	191
k_d4_n	42	1		19974.84
k_d4_p	42		6	7.19
k_dum_n	35	1		17935.09
k_dum_p	47		3	18448.39
k_grz_n	42	2		268.61
k_grz_p	37		4	694.61
k_lin_n	27	3		1030.56
k_lin_p	35		6	3.12
k_path_n	40	1		28201.95
k_path_p	35		4	14687.84
k_ph_n	40	4		9225.86
k_ph_p	36		2	18083.53
k_poly_n	42			32841.79
k_poly_p	33		6	22.09
k_t4p_n	39			7569.09
k_t4p_p	51			18215.09
Logn	19		2	21.93
mA-t2-1qbf-5cnf-160var-1280cl	10	10		0.44
mA-t2-1qbf-5cnf-160var-2560cl	20	10		505.3
mA-t2-1qbf-5cnf-160var-320cl	10	10		0.31
mA-t2-1qbf-5cnf-160var-5120cl	10			8944.48
mA-t2-1qbf-5cnf-160var-640cl	10	10		0.39
mA-t2-1qbf-5cnf-20var-160cl	10	10		0.34
mA-t2-1qbf-5cnf-20var-320cl	10	10		0.36
mA-t2-1qbf-5cnf-20var-40cl	10	10		0.16
mA-t2-1qbf-5cnf-20var-640cl	10		10	0.45
mA-t2-1qbf-5cnf-20var-80cl	10	10		0.4
mA-t2-1qbf-5cnf-40var-1280cl	10		10	1.66
mA-t2-1qbf-5cnf-40var-160cl	10	10		0.3
mA-t2-1qbf-5cnf-40var-320cl	10	10		0.34
mA-t2-1qbf-5cnf-40var-640cl	10	10		0.34
mA-t2-1qbf-5cnf-40var-80cl	10	10		0.17
mA-t2-1qbf-5cnf-80var-1280cl	10	10		0.68
mA-t2-1qbf-5cnf-80var-160cl	10	10		0.36
mA-t2-1qbf-5cnf-80var-2560cl	20		1	17624.9
mA-t2-1qbf-5cnf-80var-320cl	10	10		0.25
mA-t2-1qbf-5cnf-80var-640cl	10	10		0.41
mA-t2-2qbf-5cnf-160var-1280cl	10		10	1567.1
mA-t2-2qbf-5cnf-160var-2560cl	20		10	1659.38
mA-t2-2qbf-5cnf-160var-320cl	20			18018.02
mA-t2-2qbf-5cnf-160var-5120cl	20		10	760.92
mA-t2-2qbf-5cnf-160var-640cl	10		8	2794.26
mA-t2-2qbf-5cnf-20var-160cl	10		10	352.13
mA-t2-2qbf-5cnf-20var-320cl	10		10	2.78
mA-t2-2qbf-5cnf-20var-40cl	10	10		0.17
mA-t2-2qbf-5cnf-20var-640cl	10		10	2
mA-t2-2qbf-5cnf-20var-80cl	10	10		314.96
mA-t2-2qbf-5cnf-40var-1280cl	10		10	13.9
mA-t2-2qbf-5cnf-40var-160cl	20		2	14163.3
mA-t2-2qbf-5cnf-40var-320cl	20		10	867.56
mA-t2-2qbf-5cnf-40var-640cl	20		10	581.48
mA-t2-2qbf-5cnf-40var-80cl	10	10		10.4
mA-t2-2qbf-5cnf-80var-1280cl	20		10	1079.74
mA-t2-2qbf-5cnf-80var-160cl	10	5		4634.14
mA-t2-2qbf-5cnf-80var-2560cl	10		10	344.39
mA-t2-2qbf-5cnf-80var-320cl	20		6	8504.72
mA-t2-2qbf-5cnf-80var-640cl	20		9	3124.98
mA-t2-3qbf-5cnf-160var-1280cl	10			9008.57
mA-t2-3qbf-5cnf-160var-2560cl	20		10	370.78
mA-t2-3qbf-5cnf-160var-320cl	10	10		0.12
mA-t2-3qbf-5cnf-160var-5120cl	10		10	43.93
mA-t2-3qbf-5cnf-160var-640cl	20			18017.34
mA-t2-3qbf-5cnf-20var-160cl	20	9		258.76
mA-t2-3qbf-5cnf-20var-320cl	20		9	190.88
mA-t2-3qbf-5cnf-20var-40cl	10	10		0.08
mA-t2-3qbf-5cnf-20var-640cl	10		10	7.92
mA-t2-3qbf-5cnf-20var-80cl	10	10		56.52
mA-t2-3qbf-5cnf-40var-1280cl	10		10	9.73
mA-t2-3qbf-5cnf-40var-160cl	10	9		2932.97
mA-t2-3qbf-5cnf-40var-320cl	20			16114.1
mA-t2-3qbf-5cnf-40var-640cl	20		10	32.62
mA-t2-3qbf-5cnf-40var-80cl	10	10		0.13
mA-t2-3qbf-5cnf-80var-1280cl	20		10	157.7
mA-t2-3qbf-5cnf-80var-160cl	10	10		0.14
mA-t2-3qbf-5cnf-80var-2560cl	20		10	12.68
mA-t2-3qbf-5cnf-80var-320cl	20			18017.18
mA-t2-3qbf-5cnf-80var-640cl	10			8462.06
mA-t2-4qbf-5cnf-160var-1280cl	10		10	623.02
mA-t2-4qbf-5cnf-160var-2560cl	20		10	801.28
mA-t2-4qbf-5cnf-160var-320cl	10	10		0.16
mA-t2-4qbf-5cnf-160var-5120cl	20		10	714.38
mA-t2-4qbf-5cnf-160var-640cl	20			18017.86
mA-t2-4qbf-5cnf-20var-160cl	20		6	8370.16
mA-t2-4qbf-5cnf-20var-320cl	20		10	584.88
mA-t2-4qbf-5cnf-20var-40cl	10	10		0.15
mA-t2-4qbf-5cnf-20var-640cl	20		10	145.74
mA-t2-4qbf-5cnf-20var-80cl	10	9		837.12
mA-t2-4qbf-5cnf-40var-1280cl	20		10	1052.76
mA-t2-4qbf-5cnf-40var-160cl	10	4		4773.57
mA-t2-4qbf-5cnf-40var-320cl	20		8	9548.08
mA-t2-4qbf-5cnf-40var-640cl	20		10	1750.08
mA-t2-4qbf-5cnf-40var-80cl	10	10		0.15
mA-t2-4qbf-5cnf-80var-1280cl	20		10	933.38
mA-t2-4qbf-5cnf-80var-160cl	10	10		0.14
mA-t2-4qbf-5cnf-80var-2560cl	20		10	623.76
mA-t2-4qbf-5cnf-80var-320cl	20			18017.38
mA-t2-4qbf-5cnf-80var-640cl	10		10	1745.36
mA-t2-5qbf-5cnf-160var-1280cl	10			9008.85
mA-t2-5qbf-5cnf-160var-2560cl	20		10	419.14
mA-t2-5qbf-5cnf-160var-320cl	10	10		0.11
mA-t2-5qbf-5cnf-160var-5120cl	20		10	299.08
mA-t2-5qbf-5cnf-160var-640cl	20	10		0.4
mA-t2-5qbf-5cnf-20var-160cl	10	9		1860.37
mA-t2-5qbf-5cnf-20var-320cl	20		10	1807.82
mA-t2-5qbf-5cnf-20var-40cl	10	10		0.09
mA-t2-5qbf-5cnf-20var-640cl	20		10	82.4
mA-t2-5qbf-5cnf-20var-80cl	10	10		0.09
mA-t2-5qbf-5cnf-40var-1280cl	20		10	105.96
mA-t2-5qbf-5cnf-40var-160cl	10	10		0.14
mA-t2-5qbf-5cnf-40var-320cl	20			18012.2
mA-t2-5qbf-5cnf-40var-640cl	20		8	4247.76
mA-t2-5qbf-5cnf-40var-80cl	10	10		0.12
mA-t2-5qbf-5cnf-80var-1280cl	20		10	1328.26
mA-t2-5qbf-5cnf-80var-160cl	10	10		0.05
mA-t2-5qbf-5cnf-80var-2560cl	20		10	682.6
mA-t2-5qbf-5cnf-80var-320cl	10	10		0.1
mA-t2-5qbf-5cnf-80var-640cl	20			18017.68
mA-t2-6qbf-5cnf-160var-1280cl	10		2	7374.63
mA-t2-6qbf-5cnf-160var-2560cl	20		10	564.08
mA-t2-6qbf-5cnf-160var-320cl	10	10		0.14
mA-t2-6qbf-5cnf-160var-5120cl	20		10	476.6
mA-t2-6qbf-5cnf-160var-640cl	20	10		0.44
mA-t2-6qbf-5cnf-20var-160cl	20			18016.66
mA-t2-6qbf-5cnf-20var-320cl	20		10	1076.44
mA-t2-6qbf-5cnf-20var-40cl	10	10		0.09
mA-t2-6qbf-5cnf-20var-640cl	20		10	895.4
mA-t2-6qbf-5cnf-20var-80cl	10	10		0.08
mA-t2-6qbf-5cnf-40var-1280cl	20		10	1631.4
mA-t2-6qbf-5cnf-40var-160cl	10	10		0.07
mA-t2-6qbf-5cnf-40var-320cl	20		1	16242.52
mA-t2-6qbf-5cnf-40var-640cl	20		10	1447.64
mA-t2-6qbf-5cnf-40var-80cl	10	10		0.16
mA-t2-6qbf-5cnf-80var-1280cl	20		10	1718.92
mA-t2-6qbf-5cnf-80var-160cl	10	10		0.09
mA-t2-6qbf-5cnf-80var-2560cl	20		10	653.06
mA-t2-6qbf-5cnf-80var-320cl	10	10		0.18
mA-t2-6qbf-5cnf-80var-640cl	20		2	15110.24
MutexP	78	6		21413.05
Qshifter	62	6		62.6
renHorn	84		21	61829.09
RobotsD2	70	10		16197.32
RobotsD3	70	10		20308.42
RobotsD4	74	10		18570.95
RobotsD5	71	10		22127.12
s1196	17			8670.18
s1269	29			20514.79
s27	36	1	2	21.98
s298	37	2		16368.67
s3330	45			12209.33
s386	31	1		20745.16
s499	24	1		17107.68
s510	22	1		5822.32
s641	29			0.22
s713	35	1		15728.79
s820	36	1		25518.87
SzymanskiP	107		5	65374.85
term1	69	4	2	4398.17
Toilet	33	5	3	7.59
ToiletA	30	8	10	62.08
ToiletC	41	13	7	20.41
Tree	87	14		1.51
uclid	30			27023.86
VonNeumann	75		10	166.21
z4ml	61	4	4	2.43

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

skizzo_v0.4 results solving families - 2005