SAT 2007 Competition AIG special track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/minisat+/ par8-5-c.unsat.aig	UNSAT	0.275957	0.27928	461446
additional-aig/tip-k-ind-aigs-o1234g/ O1/texas.parsesys^2.E.aig	UNSAT	0.361944	0.364626	461114
additional-aig/tip-k-ind-aigs-o1234g/ O4/texas.parsesys^2.E.aig	UNSAT	0.413936	0.416434	460946
additional-aig/minisat+/ p033.unsat.aig	UNSAT	0.420935	0.424078	461390
additional-aig/tip-k-ind-aigs-o1234g/ O3/texas.parsesys^2.E.aig	UNSAT	0.445931	0.44766	461198
additional-aig/tip-k-ind-aigs-o1234g/ Og/texas.parsesys^2.E.aig	UNSAT	0.463928	0.465673	460862
additional-aig/tip-k-ind-aigs-o1234g/ O2/texas.parsesys^2.E.aig	UNSAT	0.479926	0.483145	461030
additional-aig/minisat+/ jnh209.unsat.aig	UNSAT	0.545916	0.548985	461438
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^16.E.aig	UNSAT	0.754884	0.756737	461126
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^16.E.aig	UNSAT	0.815875	0.818333	460874
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S953.S.aig	UNSAT	0.835872	0.840933	461146
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S953.S.aig	UNSAT	0.841871	0.844054	461062
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S953.S.aig	UNSAT	0.843871	0.854277	460978
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S953.S.aig	UNSAT	0.85387	0.856431	460894
additional-aig/minisat+/ stein27.unsat.aig	UNSAT	0.883865	0.886639	461506
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^16.E.aig	UNSAT	0.901862	0.904889	460790
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.tcas^3.B.aig	UNSAT	0.939856	0.942497	460794
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.tcas^3.B.aig	UNSAT	1.00685	1.00975	460962
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.tcas^2.B.aig	UNSAT	1.00884	1.01208	460870
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.tcas^2.B.aig	UNSAT	1.02184	1.02482	461038
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.tcas^3.B.aig	UNSAT	1.04784	1.04994	460878
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.tcas^3.B.aig	UNSAT	1.05384	1.05718	461046
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.tcas^2.B.aig	UNSAT	1.07084	1.0739	460954
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.tcas^2.B.aig	UNSAT	1.07983	1.0834	461206
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^16.E.aig	UNSAT	1.10083	1.11297	460958
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^16.E.aig	UNSAT	1.10183	1.10363	461042
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.tcas^2.B.aig	UNSAT	1.10383	1.10653	461122
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S953.S.aig	UNSAT	1.15582	1.15797	460810
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.guidance^1.C.aig	UNSAT	1.16982	1.17199	460882
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.tcas^3.B.aig	UNSAT	1.17682	1.18498	461130
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.guidance^1.C.aig	UNSAT	1.21481	1.22528	461134
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.guidance^1.C.aig	UNSAT	1.25581	1.25869	460966
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^13.E.aig	UNSAT	1.36679	1.37038	460910
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^13.E.aig	UNSAT	1.45678	1.4593	461162
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S510.S.aig	UNSAT	1.52977	1.53351	461194
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S510.S.aig	UNSAT	1.60176	1.60509	460942
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S510.S.aig	UNSAT	1.61375	1.61672	461110
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S510.S.aig	UNSAT	1.62075	1.62247	461026
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^13.E.aig	UNSAT	1.67574	1.67792	460826
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.guidance^1.C.aig	UNSAT	1.91071	1.91303	460798
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^13.E.aig	UNSAT	1.99669	1.99924	461078
additional-aig/pico-java/ prop08_len17_base.aig	UNSAT	2.02169	2.02544	461346
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.guidance^1.C.aig	UNSAT	2.05669	2.05919	461050
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^13.E.aig	UNSAT	2.08768	2.09065	460994
additional-aig/minisat+/ g9x9.unsat.aig	UNSAT	2.25266	2.25457	461442
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S820.S.aig	UNSAT	2.35864	2.3616	460922
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S820.S.aig	UNSAT	2.57061	2.57388	461006
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S832.S.aig	UNSAT	2.6446	2.65393	461082
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S820.S.aig	UNSAT	2.6456	2.6467	461174
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S510.S.aig	UNSAT	2.6486	2.65244	460858
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S832.S.aig	UNSAT	2.74658	2.74964	460914
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S832.S.aig	UNSAT	2.82757	2.83091	461166
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S832.S.aig	UNSAT	2.86456	2.86844	460998
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S820.S.aig	UNSAT	2.99254	2.99733	461090
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^18.E.aig	UNSAT	3.33749	3.34001	460886
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^18.E.aig	UNSAT	3.71343	3.71644	461138
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^18.E.aig	UNSAT	4.02739	4.03121	460970
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S832.S.aig	UNSAT	4.11037	4.11481	460830
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^18.E.aig	UNSAT	4.19536	4.2	461054
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S820.S.aig	UNSAT	4.25035	4.25292	460838
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^18.E.aig	UNSAT	4.29035	4.29195	460802
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^14.E.aig	UNSAT	4.40333	4.40746	461178
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^14.E.aig	UNSAT	4.63429	4.63572	460926
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^14.E.aig	UNSAT	5.36518	5.36848	461010
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^14.E.aig	UNSAT	5.66014	5.66431	460842
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^14.E.aig	UNSAT	5.75812	5.76237	461094
industrial-aig/jarvisalo/ eq.atree.braun.7.unsat.aig	UNSAT	6.96794	6.97216	460658
additional-aig/minisat+/ s4-4-3-1.unsat.aig	UNSAT	7.05993	7.06435	461422
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^19.E.aig	UNSAT	9.15361	9.1643	461154
industrial-aig/babic/ xinetd/xinetd_vc56687.aig	UNSAT	10.0965	10.1072	460478
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^19.E.aig	UNSAT	10.1335	10.1381	460902
industrial-aig/babic/ xinetd/xinetd_vc56703.aig	UNSAT	10.7584	10.7667	460450
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^15.E.aig	UNSAT	12.3041	12.3169	461190
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^19.E.aig	UNSAT	12.969	12.9728	460818
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^15.E.aig	UNSAT	13.118	13.1228	460938
industrial-aig/babic/ xinetd/itox_vc965.aig	UNSAT	14.7967	14.8069	460474
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^19.E.aig	UNSAT	14.8917	14.8971	461070
industrial-aig/babic/ xinetd/itox_vc979.aig	UNSAT	14.8997	14.9051	460466
industrial-aig/babic/ hsatv17/hsat_vc12016.aig	UNSAT	15.3247	15.3305	460558
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^19.E.aig	UNSAT	15.5036	15.5097	460986
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S298.S.aig	UNSAT	15.9606	15.9717	460974
industrial-aig/babic/dspam/ dspam_dump_vc962.aig	UNSAT	16.0786	16.0798	460506
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^15.E.aig	UNSAT	17.3464	17.3655	461022
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S298.S.aig	UNSAT	17.5343	17.5436	460806
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^15.E.aig	UNSAT	18.3392	18.3449	460854
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S298.S.aig	UNSAT	18.3482	18.357	461058
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^15.E.aig	UNSAT	18.4902	18.509	461106
industrial-aig/babic/ xinetd/itox_vc1216.aig	UNSAT	19.0761	19.0844	460470
industrial-aig/babic/dspam/ dspam_dump_vc1080.aig	UNSAT	19.0831	19.107	460490
additional-aig/tip-k-ind-aigs-o1234g/ O3/cmu.periodic.N.aig	UNSAT	19.2651	19.2794	461182
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S298.S.aig	UNSAT	19.909	19.9219	461142
additional-aig/tip-k-ind-aigs-o1234g/ O4/cmu.periodic.N.aig	UNSAT	19.919	19.9285	460930
additional-aig/tip-k-ind-aigs-o1234g/ Og/cmu.periodic.N.aig	UNSAT	20.3259	20.3348	460846
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S298.S.aig	UNSAT	21.1028	21.1289	460890
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^12.E.aig	UNSAT	21.4947	21.5178	461186
additional-aig/tip-k-ind-aigs-o1234g/ O2/cmu.periodic.N.aig	UNSAT	22.7525	22.7649	461014
additional-aig/tip-k-ind-aigs-o1234g/ O1/cmu.periodic.N.aig	UNSAT	22.7585	22.7684	461098
industrial-aig/babic/ hsatv17/hsat_vc12070.aig	UNSAT	23.0405	23.0503	460534
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^17.E.aig	UNSAT	23.2995	23.3086	460906
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^12.E.aig	UNSAT	23.3884	23.4068	460934
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^17.E.aig	UNSAT	25.0192	25.0283	461158
industrial-aig/babic/dspam/ dspam_dump_vc950.aig	UNSAT	25.4271	25.4275	460502
industrial-aig/babic/dspam/ dspam_dump_vc1081.aig	UNSAT	27.6378	27.6532	460514
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^17.E.aig	UNSAT	29.3025	29.3157	460822
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^12.E.aig	UNSAT	29.5995	29.6155	461018
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^17.E.aig	UNSAT	30.5993	30.613	460990
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^12.E.aig	UNSAT	31.5172	31.5372	460850
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^24.E.aig	UNSAT	33.2159	33.2328	461170
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^12.E.aig	UNSAT	33.4189	33.4354	461102
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^24.E.aig	UNSAT	36.5424	36.5772	460918
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^17.E.aig	UNSAT	36.6774	36.6915	461074
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^24.E.aig	UNSAT	39.311	39.3297	461002
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^24.E.aig	UNSAT	42.7255	42.7532	461086
industrial-aig/jarvisalo/ eq.atree.braun.8.unsat.aig	UNSAT	44.4902	44.5298	460662
industrial-aig/babic/ hsatv17/hsat_vc11813.aig	UNSAT	44.5502	44.554	460554
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^24.E.aig	UNSAT	46.9259	46.9428	460834
additional-aig/minisat+/ stein45.unsat.aig	UNSAT	49.1845	49.2179	461430
industrial-aig/palacios/ medium/blocks-4-ipc5-h21-unknown.aig	UNSAT	54.2557	54.2762	460758
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.guidance^7.C.aig	UNSAT	56.0415	56.0589	460950
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.guidance^7.C.aig	UNSAT	60.6348	60.6773	461118
industrial-aig/babic/dspam/ dspam_dump_vc973.aig	UNSAT	61.1987	61.2187	460522
additional-aig/pico-java/ prop06_len40_base.aig	UNSAT	67.8037	67.8874	461322
industrial-aig/palacios/uts/ uts-l06-ipc5-h28-unknown.aig	UNSAT	75.5885	75.6524	460690
additional-aig/minisat+/ ooo_tag14.noobj_unsat.aig	UNSAT	76.5244	76.5775	461362
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.guidance^7.C.aig	UNSAT	78.3381	78.3846	461202
industrial-aig/palacios/ medium/blocks-4-ipc5-h22-unknown.aig	UNSAT	78.877	78.898	460722
industrial-aig/babic/dspam/ dspam_dump_vc1103.aig	UNSAT	85.1561	85.1884	460498
industrial-aig/anbulagan/ medium-unsat/total-5-11-u.aig	UNSAT	86.1309	86.2074	460170
industrial-aig/palacios/ uts/uts-l05-ipc5-h26-unsat.aig	UNSAT	88.7915	88.8167	460682
industrial-aig/palacios/uts/ uts-l06-ipc5-h29-unknown.aig	UNSAT	89.9543	89.981	460694
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.guidance^7.C.aig	UNSAT	90.4702	90.54	461034
industrial-aig/babic/ hsatv17/hsat_vc11944.aig	UNSAT	97.9591	97.9957	460546
industrial-aig/babic/ hsatv17/hsat_vc12072.aig	UNSAT	110.845	110.881	460538
additional-aig/pico-java/ prop05_len40_base.aig	UNSAT	115.789	115.835	461358
industrial-aig/babic/ hsatv17/hsat_vc12062.aig	UNSAT	116.812	116.846	460562
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.guidance^7.C.aig	UNSAT	118.944	118.985	460866
industrial-aig/babic/ hsatv17/hsat_vc11773.aig	UNSAT	130.583	130.622	460550
industrial-aig/anbulagan/ medium-unsat/dated-10-15-u.aig	UNSAT	132.883	132.928	460174
additional-aig/ibm/ ibm29_len25_unsat.aig	UNSAT	153.116	153.21	461238
industrial-aig/palacios/uts/ uts-l05-ipc5-h27-unknown.aig	UNSAT	153.143	153.181	460710
industrial-aig/fuhs/ medium/AProVE07-15.aig	UNSAT	161.195	161.246	460414
industrial-aig/palacios/uts/ uts-l06-ipc5-h30-unknown.aig	UNSAT	180.204	180.318	460686
industrial-aig/babic/ hsatv17/hsat_vc11935.aig	UNSAT	183.612	183.678	460526
industrial-aig/babic/ hsatv17/hsat_vc11817.aig	UNSAT	191.53	191.665	460542
industrial-aig/anbulagan/ medium-unsat/total-5-13-u.aig	UNSAT	205.311	205.369	460162
industrial-aig/anbulagan/ medium-unsat/total-10-11-u.aig	UNSAT	215.875	215.982	460178
additional-aig/minisat+/ lseu.unsat.aig	UNSAT	225.223	225.356	461402
additional-aig/pico-java/ prop18_len08_base.aig	UNSAT	231.72	231.849	461326
industrial-aig/babic/ hsatv17/hsat_vc11803.aig	UNSAT	253.187	253.338	460530
additional-aig/ibm/ ibm18_len28_unsat.aig	UNSAT	259.684	259.835	461210
additional-aig/ibm/ ibm23_len35_unsat.aig	UNSAT	320.688	320.81	461222
additional-aig/ibm/ ibm22_len51_unsat.aig	UNSAT	349.711	349.825	461242
industrial-aig/jarvisalo/ eq.atree.braun.9.unsat.aig	UNSAT	397.63	397.9	460654
industrial-aig/palacios/uts/ uts-l06-ipc5-h32-unknown.aig	UNSAT	449.669	449.777	460718
industrial-aig/anbulagan/ medium-unsat/dated-5-11-u.aig	UNSAT	488.649	488.775	460158
industrial-aig/palacios/uts/ uts-l06-ipc5-h31-unknown.aig	UNSAT	599.86	600.027	460706
industrial-aig/fuhs/ medium/AProVE07-04.aig	UNSAT	610.395	610.562	460390
additional-aig/minisat+/ cache.noobj_unsat.aig	UNSAT	628.62	628.849	461370
additional-aig/minisat+/ g15x15.undecided.aig	UNSAT	639.494	639.666	461382
industrial-aig/palacios/uts/ uts-l06-ipc5-h33-unknown.aig	UNSAT	669.098	669.316	460714
industrial-aig/fuhs/ medium/AProVE07-06.aig	UNSAT	796.455	796.901	460406
industrial-aig/fuhs/ medium/AProVE07-22.aig	UNSAT	834.42	834.668	460418
industrial-aig/fuhs/ medium/AProVE07-20.aig	UNSAT	1000.67	1001.52	460398
industrial-aig/fuhs/ medium/AProVE07-21.aig	UNSAT	1140.19	1140.49	460410

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/minisat+/ stein27.sat_opt.aig	SAT	0.028995	0.031047	461386
additional-aig/minisat+/ mod008.unsat.aig	SAT	0.212967	0.213846	461518
additional-aig/minisat+/ mod008.sat_opt.aig	SAT	0.237963	0.241202	461498
additional-aig/minisat+/ par8-5-c.sat_opt.aig	SAT	0.271958	0.27355	461366
additional-aig/minisat+/ p033.sat_opt.aig	SAT	0.393939	0.394474	461466
additional-aig/minisat+/ jnh209.sat_opt.aig	SAT	0.448931	0.449689	461378
additional-aig/minisat+/ enigma.sat_opt.aig	SAT	0.711891	0.71414	461470
additional-aig/minisat+/ enigma.unsat.aig	SAT	0.763883	0.76706	461490
additional-aig/minisat+/ stein45.sat_opt.aig	SAT	1.27081	1.27205	461458
additional-aig/minisat+/ g9x9.sat_opt.aig	SAT	1.77073	1.77522	461454
industrial-aig/ narain/clauses-2.aig	SAT	7.41787	7.42563	460638
industrial-aig/ grieu/vmpc_24.aig	SAT	12.4461	12.4527	460630
additional-aig/minisat+/ ii8d1.sat_nonopt.aig	SAT	14.5838	14.5934	461510
additional-aig/minisat+/ s4-4-3-1.sat_opt.aig	SAT	22.9605	22.9709	461414
industrial-aig/ grieu/vmpc_28.aig	SAT	60.5988	60.6299	460618
industrial-aig/ grieu/vmpc_27.aig	SAT	74.4373	37.3052	460606
industrial-aig/ narain/clauses-4.aig	SAT	86.9818	87.0073	460650
additional-aig/ibm/ ibm29_len26_sat.aig	SAT	117.709	117.755	461230
additional-aig/minisat+/ lseu.sat_opt.aig	SAT	202.935	203.1	461494
industrial-aig/palacios/uts/ uts-l06-ipc5-h35-unknown.aig	SAT	246.866	247.046	460702
industrial-aig/palacios/uts/ uts-l06-ipc5-h34-unknown.aig	SAT	267.61	267.694	460698
industrial-aig/ grieu/vmpc_26.aig	SAT	269.414	269.609	460626
additional-aig/ibm/ ibm18_len29_sat.aig	SAT	348.244	348.363	461234
additional-aig/ minisat+/pk1.usnat.aig	SAT	413.094	413.349	461434
additional-aig/minisat+/ pk1.sat_opt.aig	SAT	413.397	413.64	461398
industrial-aig/ grieu/vmpc_30.aig	SAT	421.708	421.916	460622
additional-aig/minisat+/ p0201.sat_opt.aig	SAT	429.193	429.304	461514
additional-aig/ibm/ ibm22_len52_sat.aig	SAT	452.567	452.687	461226
industrial-aig/ grieu/vmpc_25.aig	SAT	506.241	506.522	460610
industrial-aig/babic/ xinetd/itox_vc1044.aig	SAT	519.78	520.128	460482
industrial-aig/babic/ xinetd/itox_vc1033.aig	SAT	545.203	545.379	460458
industrial-aig/anbulagan/ medium-sat/partial-5-13-s.aig	SAT	642.866	643.057	460234
additional-aig/ibm/ ibm23_len36_sat.aig	SAT	671.039	671.558	461218
industrial-aig/ grieu/vmpc_29.aig	SAT	699.697	700.031	460634
additional-aig/ibm/ ibm20_len44_sat.aig	SAT	878.62	878.882	461246
industrial-aig/babic/ xinetd/itox_vc909.aig	SAT	958.909	959.684	460454
additional-aig/minisat+/ g15x15.sat_nonopt.aig	SAT	1118.3	1118.99	461374
industrial-aig/ narain/clauses-6.aig	SAT	1140.05	1140.5	460642
additional-aig/minisat+/ l152lav.unsat.aig	SAT	1154.26	1155.08	461502
additional-aig/minisat+/ l152lav.sat_opt.aig	SAT	1157.96	1158.71	461410

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial-aig/fuhs/ hard/AProVE07-08.aig	? (TO)	1200.03	1200.92	460426
industrial-aig/fuhs/ hard/AProVE07-03.aig	? (TO)	1200.03	1200.52	460430
industrial-aig/fuhs/ hard/AProVE07-25.aig	? (TO)	1200.04	1200.33	460442
additional-aig/minisat+/ p0548.undecided.aig	? (TO)	1200.05	1200.83	461474
additional-aig/ c32sat-ssort/ssort7.aig	? (TO)	1200.05	1200.44	461310
industrial-aig/fuhs/ medium/AProVE07-02.aig	? (TO)	1200.06	1200.82	460402
additional-aig/tip-k-ind-aigs-o1234g/ O3/ken.oop^1.C.aig	? (TO)	1200.06	1200.86	461150
additional-aig/tip-k-ind-aigs-o1234g/ O1/ken.oop^1.C.aig	? (TO)	1200.07	1200.86	461066
industrial-aig/palacios/ medium/cube-9-h11-sat.aig	? (TO)	1200.07	1200.36	460754
industrial-aig/palacios/medium/ emptyroom-4-h22-sat.aig	? (TO)	1200.07	1200.54	460726
industrial-aig/crypto/ mizh-md5-48-5.aig	? (TO)	1200.08	1200.37	460354
industrial-aig/fuhs/ hard/AProVE07-01.aig	? (TO)	1200.08	1200.82	460434
industrial-aig/fuhs/ hard/AProVE07-27.aig	? (TO)	1200.08	1200.53	460438
industrial-aig/crypto/ mizh-sha0-35-5.aig	? (TO)	1200.08	1201.06	460374
industrial-aig/crypto/ mizh-sha0-36-2.aig	? (TO)	1200.08	1200.47	460358
additional-aig/ c32sat-ssort/ssort6.aig	? (TO)	1200.08	1200.43	461270
industrial-aig/manolios/ manol-pipe-f9b.aig	? (TO)	1200.09	1200.46	460570
industrial-aig/jarvisalo/ eq.atree.braun.12.unsat.aig	? (TO)	1200.09	1200.53	460678
industrial-aig/jarvisalo/ eq.atree.braun.10.unsat.aig	? (TO)	1200.09	1200.43	460670
industrial-aig/crypto/ mizh-md5-47-3.aig	? (TO)	1200.09	1200.87	460382
additional-aig/ minisat+/seymour.sat_nonopt.aig	? (TO)	1200.09	1200.84	461462
additional-aig/ c32sat-ssort/ssort11.aig	? (TO)	1200.09	1200.86	461262
additional-aig/minisat+/ p0548.sat_nonopt.aig	? (TO)	1200.09	1200.43	461486
industrial-aig/crypto/ mizh-md5-47-5.aig	? (TO)	1200.1	1200.38	460366
industrial-aig/babic/ xinetd/itox_vc1138.aig	? (TO)	1200.1	1200.5	460462
industrial-aig/ manolios/manol-pipe-c7bidw_i.aig	? (TO)	1200.11	1200.59	460566
industrial-aig/jarvisalo/ eq.atree.braun.13.unsat.aig	? (TO)	1200.11	1200.43	460666
industrial-aig/palacios/medium/ emptyroom-4-h21-unsat.aig	? (TO)	1200.11	1201.04	460742
additional-aig/ibm/ ibm20_len43_unsat.aig	? (TO)	1200.11	1200.45	461214
additional-aig/minisat+/ seymour.undecided.aig	? (TO)	1200.11	1200.45	461406
additional-aig/ c32sat-ssort/ssort12.aig	? (TO)	1200.11	1200.47	461282
additional-aig/ c32sat-ssort/ssort5.aig	? (TO)	1200.11	1200.52	461302
additional-aig/minisat+/ ii8d1.undecided.aig	? (TO)	1200.11	1201.04	461482
additional-aig/ c32sat-ssort/ssort8.aig	? (TO)	1200.11	1200.56	461294
industrial-aig/manolios/ manol-pipe-c7nidw.aig	? (TO)	1200.12	1200.5	460602
industrial-aig/fuhs/ hard/AProVE07-26.aig	? (TO)	1200.12	1200.55	460422
industrial-aig/fuhs/ medium/AProVE07-16.aig	? (TO)	1200.12	1200.46	460394
industrial-aig/palacios/ medium/cube-11-h13-unsat.aig	? (TO)	1200.12	1200.9	460750
additional-aig/tip-k-ind-aigs-o1234g/ O4/ken.oop^1.C.aig	? (TO)	1200.12	1200.56	460898
additional-aig/tip-k-ind-aigs-o1234g/ O2/ken.oop^1.C.aig	? (TO)	1200.12	1200.56	460982
additional-aig/tip-k-ind-aigs-o1234g/ Og/ken.oop^1.C.aig	? (TO)	1200.12	1201.06	460814
additional-aig/minisat+/ p0201.unsat.aig	? (TO)	1200.12	1200.53	461426
industrial-aig/crypto/ mizh-md5-47-4.aig	? (TO)	1200.13	1201.07	460378
industrial-aig/manolios/ manol-pipe-g10nid.aig	? (TO)	1200.13	1200.69	460590
industrial-aig/ grieu/vmpc_31.aig	? (TO)	1200.13	1200.56	460614
industrial-aig/jarvisalo/ eq.atree.braun.11.unsat.aig	? (TO)	1200.13	1200.42	460674
industrial-aig/palacios/ hard/sortnet-7-ipc5-h15-unsat.aig	? (TO)	1200.13	1200.57	460786
additional-aig/pico-java/ prop02_len65_base.aig	? (TO)	1200.13	1200.85	461330
industrial-aig/ manolios/manol-pipe-c6nidw_i.aig	? (TO)	1200.14	1200.97	460582
industrial-aig/crypto/ mizh-sha0-35-3.aig	? (TO)	1200.14	1200.47	460346
industrial-aig/palacios/ hard/safe-30-h29-unsat.aig	? (TO)	1200.14	1200.58	460778
industrial-aig/babic/ xinetd/itox_vc1130.aig	? (TO)	1200.14	1200.6	460446
industrial-aig/palacios/ hard/sortnet-6-ipc5-h11-unsat.aig	? (TO)	1200.14	1200.84	460770
industrial-aig/palacios/ medium/cube-9-h10-unsat.aig	? (TO)	1200.14	1200.46	460734
additional-aig/ c32sat-ssort/ssort9.aig	? (TO)	1200.14	1200.95	461298
industrial-aig/palacios/ hard/sortnet-8-ipc5-h18-unsat.aig	? (TO)	1200.15	1200.84	460774
additional-aig/ c32sat-ssort/ssort14.aig	? (TO)	1200.15	1200.58	461278
additional-aig/ c32sat-ssort/ssort16.aig	? (TO)	1200.15	1200.6	461286
additional-aig/ c32sat-ssort/ssort13.aig	? (TO)	1200.15	1200.47	461254
additional-aig/ c32sat-ssort/ssort10.aig	? (TO)	1200.15	1200.85	461290
industrial-aig/crypto/ mizh-sha0-35-4.aig	? (TO)	1200.16	1200.57	460350
industrial-aig/manolios/ manol-pipe-f9n.aig	? (TO)	1200.16	1200.87	460578
industrial-aig/crypto/ mizh-md5-48-2.aig	? (TO)	1200.16	1200.97	460362
industrial-aig/palacios/medium/ sortnet-7-ipc5-h16-sat.aig	? (TO)	1200.16	1201.06	460738
additional-aig/ c32sat-ssort/ssort20.aig	? (TO)	1200.16	1201.05	461258
industrial-aig/palacios/ medium/safe-30-h30-sat.aig	? (TO)	1200.17	1200.61	460746
industrial-aig/fuhs/ medium/AProVE07-09.aig	? (TO)	1200.18	1200.59	460386
industrial-aig/crypto/ mizh-sha0-35-2.aig	? (TO)	1200.18	1200.47	460370
industrial-aig/palacios/ medium/cube-11-h14-sat.aig	? (TO)	1200.18	1201	460730
additional-aig/ c32sat-ssort/ssort15.aig	? (TO)	1200.18	1200.59	461266
additional-aig/ c32sat-ssort/ssort18.aig	? (TO)	1200.19	1200.51	461274
industrial-aig/ manolios/manol-pipe-g10bidw.aig	? (TO)	1200.19	1200.61	460598
industrial-aig/babic/dspam/ dspam_dump_vc1093.aig	? (TO)	1200.19	1200.49	460518
industrial-aig/manolios/ manol-pipe-c10nidw_s.aig	? (TO)	1200.2	1201.04	460594
industrial-aig/babic/dspam/ dspam_dump_vc949.aig	? (TO)	1200.2	1200.5	460510
additional-aig/ c32sat-ssort/ssort17.aig	? (TO)	1200.2	1200.99	461250
industrial-aig/manolios/ manol-pipe-f10ni.aig	? (TO)	1200.21	1200.73	460586
industrial-aig/manolios/ manol-pipe-f7idw.aig	? (TO)	1200.22	1200.64	460574
additional-aig/ c32sat-ssort/ssort19.aig	? (TO)	1200.22	1201.14	461306
industrial-aig/anbulagan/ hard-unsat/dated-5-13-u.aig	? (TO)	1200.23	1200.58	460306
industrial-aig/babic/dspam/ dspam_dump_vc1104.aig	? (TO)	1200.24	1200.72	460494
industrial-aig/babic/dspam/ dspam_dump_vc972.aig	? (TO)	1200.24	1200.92	460486
industrial-aig/palacios/hard/ sortnet-8-ipc5-h19-sat.aig	? (TO)	1200.24	1200.67	460762
industrial-aig/anbulagan/ medium-sat/partial-5-11-s.aig	? (TO)	1200.25	1201.03	460242
industrial-aig/anbulagan/ hard-unsat/dated-5-19-u.aig	? (TO)	1200.27	1200.64	460262
industrial-aig/anbulagan/ hard-unsat/dated-5-15-u.aig	? (TO)	1200.27	1200.58	460294
additional-aig/minisat+/ air03.sat_nonopt.aig	? (TO)	1200.27	1200.66	461450
industrial-aig/palacios/ hard/safe-50-h50-sat.aig	? (TO)	1200.27	1200.71	460782
industrial-aig/anbulagan/ hard-unsat/dated-10-11-u.aig	? (TO)	1200.28	1200.6	460274
industrial-aig/anbulagan/ hard-unsat/total-5-15-u.aig	? (TO)	1200.29	1200.66	460330
industrial-aig/anbulagan/ medium-sat/dated-10-13-s.aig	? (TO)	1200.3	1200.84	460222
additional-aig/minisat+/ mitre.undecided.aig	? (TO)	1200.3	1200.58	461478
industrial-aig/anbulagan/ hard-unsat/partial-5-11-u.aig	? (TO)	1200.31	1200.75	460302
industrial-aig/anbulagan/ hard-sat/partial-10-11-s.aig	? (TO)	1200.32	1200.66	460202
industrial-aig/anbulagan/ hard-unsat/dated-5-17-u.aig	? (TO)	1200.32	1200.63	460282
industrial-aig/anbulagan/ hard-unsat/partial-10-11-u.aig	? (TO)	1200.34	1200.67	460298
industrial-aig/anbulagan/ hard-unsat/dated-10-13-u.aig	? (TO)	1200.34	1200.64	460290
additional-aig/minisat+/ air03.undecided.aig	? (TO)	1200.34	1201.24	461394
additional-aig/minisat+/ mitre.sat_unopt.aig	? (TO)	1200.35	1201.36	461418
industrial-aig/anbulagan/ medium-unsat/total-10-13-u.aig	? (TO)	1200.36	1201.06	460166
industrial-aig/anbulagan/ hard-unsat/partial-5-13-u.aig	? (TO)	1200.37	1200.8	460266

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial-aig/anbulagan/ medium-sat/total-10-19-s.aig	? (MO)	44.7312	44.7606	460238
industrial-aig/anbulagan/ hard-unsat/total-10-19-u.aig	? (MO)	46.7739	46.9717	460322
industrial-aig/anbulagan/ hard-unsat/partial-10-19-u.aig	? (MO)	48.5546	48.708	460286
industrial-aig/anbulagan/ hard-sat/partial-10-19-s.aig	? (MO)	49.9804	50.0008	460194
industrial-aig/anbulagan/ hard-sat/partial-10-17-s.aig	? (MO)	53.3179	53.3671	460206
industrial-aig/anbulagan/ hard-sat/partial-10-15-s.aig	? (MO)	53.6318	53.6575	460190
industrial-aig/anbulagan/ medium-sat/total-10-17-s.aig	? (MO)	54.3317	54.3609	460230
industrial-aig/anbulagan/ hard-unsat/total-10-15-u.aig	? (MO)	55.2256	55.2694	460254
industrial-aig/anbulagan/ hard-unsat/partial-10-17-u.aig	? (MO)	55.7565	55.7763	460326
industrial-aig/anbulagan/ hard-sat/partial-5-17-s.aig	? (MO)	56.6344	56.6703	460186
industrial-aig/anbulagan/ medium-sat/total-10-15-s.aig	? (MO)	56.6644	56.7776	460246
industrial-aig/anbulagan/ hard-unsat/partial-10-15-u.aig	? (MO)	56.8404	56.9863	460258
industrial-aig/anbulagan/ hard-unsat/total-5-19-u.aig	? (MO)	57.0313	57.0751	460270
industrial-aig/anbulagan/ hard-unsat/total-5-17-u.aig	? (MO)	57.6142	57.7827	460318
industrial-aig/anbulagan/ hard-unsat/dated-10-19-u.aig	? (MO)	58.7541	58.7809	460250
industrial-aig/anbulagan/ hard-unsat/total-10-17-u.aig	? (MO)	58.8091	58.8698	460278
industrial-aig/anbulagan/ medium-sat/total-5-17-s.aig	? (MO)	58.919	58.9706	460214
industrial-aig/anbulagan/ hard-unsat/partial-5-17-u.aig	? (MO)	59.065	59.0827	460342
industrial-aig/anbulagan/ hard-unsat/partial-5-19-u.aig	? (MO)	59.348	59.4931	460334
industrial-aig/anbulagan/ hard-sat/partial-5-19-s.aig	? (MO)	59.465	59.4836	460182
industrial-aig/ narain/clauses-8.aig	? (MO)	120.234	120.361	460646
industrial-aig/anbulagan/ medium-sat/dated-10-17-s.aig	? (MO)	403.592	403.962	460218
industrial-aig/anbulagan/ hard-sat/partial-10-13-s.aig	? (MO)	457.156	457.553	460198
industrial-aig/anbulagan/ hard-unsat/dated-10-17-u.aig	? (MO)	604.904	605.072	460310
industrial-aig/anbulagan/ medium-sat/partial-5-15-s.aig	? (MO)	621.391	621.577	460210
industrial-aig/anbulagan/ hard-unsat/partial-5-15-u.aig	? (MO)	768.503	768.481	460314
industrial-aig/anbulagan/ hard-unsat/partial-10-13-u.aig	? (MO)	815.064	815.58	460338
industrial-aig/palacios/ hard/safe-50-h49-unsat.aig	? (MO)	1092.12	1092.57	460766

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/pico-java/ prop08_len18_step.aig	? (problem)	0.021996	0.022704	461354
additional-aig/pico-java/ prop16_len18_step.aig	? (problem)	0.022995	0.0247	461318
additional-aig/pico-java/ prop18_len09_step.aig	? (problem)	0.041992	0.043903	461338
additional-aig/pico-java/ prop06_len41_step.aig	? (problem)	0.084986	0.08754	461314
additional-aig/pico-java/ prop05_len41_step.aig	? (problem)	0.085986	0.088652	461342
additional-aig/pico-java/ prop02_len66_step.aig	? (problem)	0.170973	0.173216	461334
industrial-aig/anbulagan/ medium-sat/total-5-19-s.aig	? (problem)	61.0337	61.0779	460226

SAT 2007 Competition AIG special track: benchmarks results per solver

Result page for solver aigsat-wc 2007-05-15

Category "all instances" (ALL)

Solver proved unsatisfiability (UNSATISFIABLE) (164 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (40 runs) [Show/Hide]

Solver timed out (no solution given) (101 runs) [Show/Hide]

Solver exceeded the memory limit (no solution given) (28 runs) [Show/Hide]

No recognized solution line (7 runs) [Show/Hide]

Solver gave a wrong solution (1 run) [Show/Hide]