SAT 2007 Competition AIG special track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/tip-k-ind-aigs-o1234g/ O3/texas.parsesys^2.E.aig	UNSAT	0.023995	0.022306	461197
additional-aig/tip-k-ind-aigs-o1234g/ O4/texas.parsesys^2.E.aig	UNSAT	0.024995	0.024311	460945
additional-aig/tip-k-ind-aigs-o1234g/ Og/texas.parsesys^2.E.aig	UNSAT	0.026995	0.024924	460861
additional-aig/tip-k-ind-aigs-o1234g/ O2/texas.parsesys^2.E.aig	UNSAT	0.029994	0.031415	461029
additional-aig/tip-k-ind-aigs-o1234g/ O1/texas.parsesys^2.E.aig	UNSAT	0.030994	0.029053	461113
additional-aig/minisat+/ par8-5-c.unsat.aig	UNSAT	0.102984	0.098887	461445
additional-aig/minisat+/ p033.unsat.aig	UNSAT	0.210967	0.208942	461389
additional-aig/minisat+/ jnh209.unsat.aig	UNSAT	0.358944	0.357602	461437
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^16.E.aig	UNSAT	0.363943	0.361336	461125
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^16.E.aig	UNSAT	0.365943	0.362347	460873
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^16.E.aig	UNSAT	0.409937	0.409701	460789
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^16.E.aig	UNSAT	0.475927	0.472784	460957
additional-aig/minisat+/ stein27.unsat.aig	UNSAT	0.513921	0.513726	461505
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^16.E.aig	UNSAT	0.549915	0.547958	461041
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S953.S.aig	UNSAT	0.583911	0.581468	460893
additional-aig/pico-java/ prop08_len17_base.aig	UNSAT	0.618905	0.614816	461345
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.guidance^1.C.aig	UNSAT	0.638902	0.636914	460965
additional-aig/minisat+/ g9x9.unsat.aig	UNSAT	0.641902	0.640294	461441
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.guidance^1.C.aig	UNSAT	0.650901	0.650151	460881
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.guidance^1.C.aig	UNSAT	0.6529	0.649941	461133
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S953.S.aig	UNSAT	0.681895	0.681269	460977
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S953.S.aig	UNSAT	0.685895	0.685022	461145
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S953.S.aig	UNSAT	0.711891	0.707993	461061
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.guidance^1.C.aig	UNSAT	0.731888	0.729117	461049
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^13.E.aig	UNSAT	0.739887	0.738486	460909
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.guidance^1.C.aig	UNSAT	0.78288	0.783438	460797
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^13.E.aig	UNSAT	0.791878	0.790214	460825
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^13.E.aig	UNSAT	0.793879	0.794342	461161
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.tcas^3.B.aig	UNSAT	0.871866	0.869536	460877
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.tcas^3.B.aig	UNSAT	0.893863	0.890773	460961
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S953.S.aig	UNSAT	0.896863	0.897245	460809
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.tcas^3.B.aig	UNSAT	0.906861	0.902635	461045
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.tcas^3.B.aig	UNSAT	0.918859	0.917761	461129
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.tcas^2.B.aig	UNSAT	0.986849	0.983592	461121
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.tcas^2.B.aig	UNSAT	1.00785	1.0077	461037
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^13.E.aig	UNSAT	1.03784	1.03366	461077
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^13.E.aig	UNSAT	1.05684	1.05502	460993
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.tcas^3.B.aig	UNSAT	1.07684	1.07504	460793
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.tcas^2.B.aig	UNSAT	1.09883	1.09762	461205
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.tcas^2.B.aig	UNSAT	1.23381	1.23317	460953
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.tcas^2.B.aig	UNSAT	1.26781	1.26904	460869
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S510.S.aig	UNSAT	1.27281	1.26929	460941
additional-aig/minisat+/ s4-4-3-1.unsat.aig	UNSAT	1.3288	1.32574	461421
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S510.S.aig	UNSAT	1.35279	1.34886	461109
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S510.S.aig	UNSAT	1.41878	1.4182	461025
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S820.S.aig	UNSAT	1.44378	1.44156	461089
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S510.S.aig	UNSAT	1.47777	1.47679	461193
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S820.S.aig	UNSAT	1.66675	1.66244	461005
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S832.S.aig	UNSAT	1.74873	1.75232	461081
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S832.S.aig	UNSAT	1.78173	1.79146	460997
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S832.S.aig	UNSAT	1.80672	1.80432	460913
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S820.S.aig	UNSAT	1.9397	1.93837	461173
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S820.S.aig	UNSAT	1.9437	1.94261	460921
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S510.S.aig	UNSAT	2.05769	2.05405	460857
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S832.S.aig	UNSAT	2.12768	2.12762	461165
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^18.E.aig	UNSAT	2.52561	2.52453	461137
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S820.S.aig	UNSAT	2.56361	2.56121	460837
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S832.S.aig	UNSAT	2.57361	2.57394	460829
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^18.E.aig	UNSAT	3.10153	3.10091	460885
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^18.E.aig	UNSAT	3.47447	3.47092	460801
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^14.E.aig	UNSAT	3.60845	3.6056	460925
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^14.E.aig	UNSAT	3.78642	3.78723	461177
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^14.E.aig	UNSAT	3.78942	3.7886	460841
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^18.E.aig	UNSAT	3.81942	3.82083	460969
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^18.E.aig	UNSAT	4.41933	4.41759	461053
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^14.E.aig	UNSAT	4.63529	4.63618	461093
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^14.E.aig	UNSAT	6.39203	6.39115	461009
industrial-aig/babic/ xinetd/xinetd_vc56703.aig	UNSAT	7.52685	7.52805	460449
industrial-aig/babic/ xinetd/xinetd_vc56687.aig	UNSAT	7.81781	7.82024	460477
industrial-aig/babic/ xinetd/itox_vc965.aig	UNSAT	10.6714	10.6721	460473
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^19.E.aig	UNSAT	10.7044	10.702	461153
industrial-aig/babic/ xinetd/itox_vc979.aig	UNSAT	10.8124	10.8146	460465
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^19.E.aig	UNSAT	11.9962	11.9959	460901
industrial-aig/babic/ hsatv17/hsat_vc12016.aig	UNSAT	12.1911	12.1934	460557
industrial-aig/jarvisalo/ eq.atree.braun.7.unsat.aig	UNSAT	13.008	13.0047	460657
industrial-aig/babic/ xinetd/itox_vc1216.aig	UNSAT	13.5029	13.5055	460469
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^19.E.aig	UNSAT	13.6639	13.6659	461069
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^19.E.aig	UNSAT	13.9109	13.9103	460817
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^19.E.aig	UNSAT	15.2497	15.2505	460985
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^15.E.aig	UNSAT	15.4846	15.5	461189
industrial-aig/babic/ hsatv17/hsat_vc11773.aig	UNSAT	16.0816	16.0895	460549
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.guidance^7.C.aig	UNSAT	16.2025	16.2063	460949
industrial-aig/babic/ hsatv17/hsat_vc11817.aig	UNSAT	16.3325	16.3352	460541
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.guidance^7.C.aig	UNSAT	17.4223	17.4279	461033
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^15.E.aig	UNSAT	17.9603	17.9879	460937
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.guidance^7.C.aig	UNSAT	18.0623	18.0664	461201
industrial-aig/babic/ hsatv17/hsat_vc12062.aig	UNSAT	18.5252	18.5302	460561
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.guidance^7.C.aig	UNSAT	19.2511	19.2682	461117
additional-aig/pico-java/ prop06_len40_base.aig	UNSAT	19.3861	19.3935	461321
industrial-aig/babic/ hsatv17/hsat_vc11944.aig	UNSAT	19.55	19.5514	460545
additional-aig/tip-k-ind-aigs-o1234g/ Og/cmu.periodic.N.aig	UNSAT	19.685	19.6903	460845
additional-aig/tip-k-ind-aigs-o1234g/ O3/cmu.periodic.N.aig	UNSAT	19.725	19.7406	461181
industrial-aig/babic/ hsatv17/hsat_vc12070.aig	UNSAT	20.3339	20.3392	460533
additional-aig/pico-java/ prop05_len40_base.aig	UNSAT	20.5469	20.564	461357
additional-aig/tip-k-ind-aigs-o1234g/ O4/cmu.periodic.N.aig	UNSAT	20.9528	20.9585	460929
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^15.E.aig	UNSAT	22.5746	22.5796	461105
additional-aig/pico-java/ prop02_len65_base.aig	UNSAT	22.9175	22.9254	461329
industrial-aig/babic/dspam/ dspam_dump_vc962.aig	UNSAT	23.6344	23.6398	460505
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^15.E.aig	UNSAT	23.8384	23.8406	461021
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^15.E.aig	UNSAT	24.6153	24.6215	460853
industrial-aig/babic/ hsatv17/hsat_vc11813.aig	UNSAT	25.2292	25.2396	460553
industrial-aig/babic/ hsatv17/hsat_vc12072.aig	UNSAT	26.7239	26.7362	460537
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^17.E.aig	UNSAT	30.1544	30.1736	461157
industrial-aig/babic/ hsatv17/hsat_vc11803.aig	UNSAT	33.2079	33.2166	460529
additional-aig/ibm/ ibm18_len28_unsat.aig	UNSAT	33.8858	33.9144	461209
additional-aig/tip-k-ind-aigs-o1234g/ O2/cmu.periodic.N.aig	UNSAT	34.3058	34.3275	461013
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.guidance^7.C.aig	UNSAT	34.4798	34.4878	460865
additional-aig/tip-k-ind-aigs-o1234g/ O1/ken.oop^1.C.aig	UNSAT	34.4928	34.5149	461065
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^17.E.aig	UNSAT	34.7317	34.7395	460905
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^12.E.aig	UNSAT	35.3396	35.3535	461185
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^12.E.aig	UNSAT	35.3526	35.3605	460933
additional-aig/tip-k-ind-aigs-o1234g/ O1/cmu.periodic.N.aig	UNSAT	35.8036	35.8115	461097
industrial-aig/babic/ hsatv17/hsat_vc11935.aig	UNSAT	37.0622	18.6061	460525
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^12.E.aig	UNSAT	37.9542	37.9611	460849
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^17.E.aig	UNSAT	38.3152	38.3259	460821
additional-aig/tip-k-ind-aigs-o1234g/ O2/ken.oop^1.C.aig	UNSAT	40.0219	40.03	460981
additional-aig/tip-k-ind-aigs-o1234g/ Og/ken.oop^1.C.aig	UNSAT	40.9998	41.0267	460813
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^17.E.aig	UNSAT	43.6504	43.6665	461073
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^17.E.aig	UNSAT	46.6359	46.672	460989
additional-aig/tip-k-ind-aigs-o1234g/ O4/ken.oop^1.C.aig	UNSAT	48.0217	48.0375	460897
additional-aig/tip-k-ind-aigs-o1234g/ O3/ken.oop^1.C.aig	UNSAT	48.1577	48.1681	461149
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^12.E.aig	UNSAT	49.7154	49.7292	461101
additional-aig/pico-java/ prop18_len08_base.aig	UNSAT	51.5732	51.5879	461325
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^12.E.aig	UNSAT	57.9622	57.9761	461017
additional-aig/ibm/ ibm29_len25_unsat.aig	UNSAT	63.6073	63.633	461237
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^24.E.aig	UNSAT	70.4503	70.4892	461169
industrial-aig/babic/dspam/ dspam_dump_vc1080.aig	UNSAT	70.5703	70.6097	460489
additional-aig/minisat+/ stein45.unsat.aig	UNSAT	78.1941	78.2221	461429
industrial-aig/palacios/ uts/uts-l05-ipc5-h26-unsat.aig	UNSAT	82.2645	82.2826	460681
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S298.S.aig	UNSAT	83.5103	83.5362	461057
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^24.E.aig	UNSAT	83.9062	83.9262	460833
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^24.E.aig	UNSAT	84.1592	84.1745	460917
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S298.S.aig	UNSAT	94.5406	94.5639	460973
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S298.S.aig	UNSAT	102.461	102.486	460889
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S298.S.aig	UNSAT	102.861	102.928	461141
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^24.E.aig	UNSAT	115.283	115.352	461085
additional-aig/minisat+/ ooo_tag14.noobj_unsat.aig	UNSAT	116.922	116.918	461361
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^24.E.aig	UNSAT	117.912	117.941	461001
industrial-aig/manolios/ manol-pipe-c10nidw_s.aig	UNSAT	122.735	122.761	460593
industrial-aig/palacios/ medium/cube-9-h10-unsat.aig	UNSAT	124.969	125.008	460733
additional-aig/minisat+/ lseu.unsat.aig	UNSAT	128.466	128.541	461401
industrial-aig/palacios/uts/ uts-l05-ipc5-h27-unknown.aig	UNSAT	134.464	134.496	460709
additional-aig/ibm/ ibm22_len51_unsat.aig	UNSAT	134.503	134.571	461241
industrial-aig/jarvisalo/ eq.atree.braun.8.unsat.aig	UNSAT	134.539	134.598	460661
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S298.S.aig	UNSAT	162.337	162.372	460805
additional-aig/ibm/ ibm20_len43_unsat.aig	UNSAT	167.696	167.778	461213
industrial-aig/anbulagan/ medium-unsat/total-5-11-u.aig	UNSAT	169.04	169.135	460169
additional-aig/ibm/ ibm23_len35_unsat.aig	UNSAT	202.023	202.144	461221
industrial-aig/babic/dspam/ dspam_dump_vc1093.aig	UNSAT	258.282	258.485	460517
industrial-aig/babic/dspam/ dspam_dump_vc950.aig	UNSAT	265.062	265.128	460501
industrial-aig/fuhs/ medium/AProVE07-22.aig	UNSAT	299.901	300.072	460417
industrial-aig/fuhs/ medium/AProVE07-15.aig	UNSAT	300.352	300.56	460413
industrial-aig/palacios/uts/ uts-l06-ipc5-h28-unknown.aig	UNSAT	303.232	303.342	460689
industrial-aig/palacios/ medium/blocks-4-ipc5-h21-unknown.aig	UNSAT	315.134	315.255	460757
industrial-aig/palacios/uts/ uts-l06-ipc5-h29-unknown.aig	UNSAT	330.686	330.899	460693
industrial-aig/babic/dspam/ dspam_dump_vc972.aig	UNSAT	347.599	347.791	460485
industrial-aig/babic/dspam/ dspam_dump_vc973.aig	UNSAT	347.687	347.769	460521
industrial-aig/anbulagan/ medium-unsat/dated-10-15-u.aig	UNSAT	370.757	370.968	460173
industrial-aig/palacios/uts/ uts-l06-ipc5-h30-unknown.aig	UNSAT	384.014	384.111	460685
industrial-aig/manolios/ manol-pipe-f7idw.aig	UNSAT	439.515	439.725	460573
industrial-aig/babic/dspam/ dspam_dump_vc1104.aig	UNSAT	446.391	446.54	460493
industrial-aig/palacios/uts/ uts-l06-ipc5-h31-unknown.aig	UNSAT	461.599	461.893	460705
industrial-aig/palacios/ medium/blocks-4-ipc5-h22-unknown.aig	UNSAT	463.9	464.068	460721
industrial-aig/ manolios/manol-pipe-c6nidw_i.aig	UNSAT	493.582	493.867	460581
additional-aig/ c32sat-ssort/ssort5.aig	UNSAT	623.093	623.236	461301
industrial-aig/palacios/uts/ uts-l06-ipc5-h32-unknown.aig	UNSAT	665.083	665.273	460717
industrial-aig/anbulagan/ medium-unsat/total-5-13-u.aig	UNSAT	787.014	787.313	460161
industrial-aig/babic/dspam/ dspam_dump_vc949.aig	UNSAT	816.676	817.027	460509
industrial-aig/anbulagan/ medium-unsat/total-10-11-u.aig	UNSAT	834.411	834.694	460177
additional-aig/minisat+/ p0201.unsat.aig	UNSAT	881.787	882.131	461425
industrial-aig/fuhs/ medium/AProVE07-06.aig	UNSAT	892.203	892.435	460405
industrial-aig/jarvisalo/ eq.atree.braun.9.unsat.aig	UNSAT	971.424	971.634	460653
industrial-aig/anbulagan/ medium-unsat/dated-5-11-u.aig	UNSAT	1081.2	1081.86	460157
industrial-aig/palacios/uts/ uts-l06-ipc5-h33-unknown.aig	UNSAT	1088.98	1089.26	460713
additional-aig/minisat+/ cache.noobj_unsat.aig	UNSAT	1144.99	1145.24	461369

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/minisat+/ stein27.sat_opt.aig	SAT	0.019996	0.018803	461385
additional-aig/minisat+/ par8-5-c.sat_opt.aig	SAT	0.091985	0.090519	461365
additional-aig/minisat+/ mod008.unsat.aig	SAT	0.095984	0.093635	461517
additional-aig/minisat+/ p033.sat_opt.aig	SAT	0.132979	0.131481	461465
additional-aig/minisat+/ mod008.sat_opt.aig	SAT	0.141977	0.13998	461497
additional-aig/minisat+/ jnh209.sat_opt.aig	SAT	0.230964	0.230928	461377
additional-aig/minisat+/ enigma.sat_opt.aig	SAT	0.25496	0.25516	461469
additional-aig/minisat+/ enigma.unsat.aig	SAT	0.25596	0.254442	461489
additional-aig/minisat+/ stein45.sat_opt.aig	SAT	0.326949	0.324873	461457
additional-aig/minisat+/ g9x9.sat_opt.aig	SAT	0.433933	0.435168	461453
additional-aig/ minisat+/pk1.usnat.aig	SAT	1.10683	1.10539	461433
additional-aig/minisat+/ pk1.sat_opt.aig	SAT	1.10883	1.11013	461397
additional-aig/minisat+/ s4-4-3-1.sat_opt.aig	SAT	1.9677	1.96349	461413
industrial-aig/ narain/clauses-2.aig	SAT	4.43632	4.44083	460637
additional-aig/minisat+/ l152lav.unsat.aig	SAT	12.7001	12.7002	461501
additional-aig/minisat+/ l152lav.sat_opt.aig	SAT	13.283	13.2836	461409
industrial-aig/babic/ xinetd/itox_vc909.aig	SAT	23.7924	23.7995	460453
industrial-aig/babic/ xinetd/itox_vc1033.aig	SAT	30.1404	30.1533	460457
industrial-aig/babic/ xinetd/itox_vc1138.aig	SAT	36.9934	37.0078	460461
industrial-aig/babic/ xinetd/itox_vc1044.aig	SAT	37.3553	37.3635	460481
additional-aig/minisat+/ ii8d1.sat_nonopt.aig	SAT	39.28	39.2916	461509
additional-aig/ibm/ ibm29_len26_sat.aig	SAT	45.0901	45.1132	461229
additional-aig/ibm/ ibm18_len29_sat.aig	SAT	46.143	46.1565	461233
industrial-aig/palacios/medium/ emptyroom-4-h22-sat.aig	SAT	50.8723	50.8908	460725
industrial-aig/babic/ xinetd/itox_vc1130.aig	SAT	52.3	52.3171	460445
industrial-aig/palacios/ medium/safe-30-h30-sat.aig	SAT	72.102	72.1187	460745
additional-aig/ibm/ ibm20_len44_sat.aig	SAT	80.2718	80.2971	461245
additional-aig/minisat+/ lseu.sat_opt.aig	SAT	84.0502	84.073	461493
industrial-aig/ narain/clauses-4.aig	SAT	97.6961	97.7659	460649
industrial-aig/ grieu/vmpc_25.aig	SAT	97.7571	97.7817	460609
industrial-aig/anbulagan/ medium-sat/partial-5-11-s.aig	SAT	114.33	114.357	460241
industrial-aig/anbulagan/ medium-sat/dated-10-13-s.aig	SAT	120.19	120.253	460221
industrial-aig/palacios/uts/ uts-l06-ipc5-h35-unknown.aig	SAT	120.241	120.267	460701
industrial-aig/anbulagan/ medium-sat/dated-10-17-s.aig	SAT	145.661	145.717	460217
additional-aig/ibm/ ibm22_len52_sat.aig	SAT	156.507	156.554	461225
industrial-aig/anbulagan/ medium-sat/total-10-19-s.aig	SAT	175.175	175.251	460237
industrial-aig/anbulagan/ medium-sat/total-10-17-s.aig	SAT	176.451	176.502	460229
additional-aig/minisat+/ p0201.sat_opt.aig	SAT	177.989	178.096	461513
industrial-aig/anbulagan/ medium-sat/total-5-19-s.aig	SAT	234.259	234.398	460225
industrial-aig/palacios/uts/ uts-l06-ipc5-h34-unknown.aig	SAT	241.223	241.292	460697
additional-aig/minisat+/ air03.sat_nonopt.aig	SAT	250.388	250.462	461449
additional-aig/ minisat+/seymour.sat_nonopt.aig	SAT	268.593	268.666	461461
additional-aig/ibm/ ibm23_len36_sat.aig	SAT	274.41	274.503	461217
industrial-aig/anbulagan/ medium-sat/total-5-17-s.aig	SAT	277.152	277.23	460213
industrial-aig/palacios/ medium/cube-9-h11-sat.aig	SAT	352.646	352.75	460753
additional-aig/minisat+/ air03.undecided.aig	SAT	359.487	359.581	461393
industrial-aig/crypto/ mizh-sha0-35-4.aig	SAT	434.683	434.799	460349
industrial-aig/ grieu/vmpc_29.aig	SAT	675.169	675.489	460633
industrial-aig/crypto/ mizh-sha0-35-5.aig	SAT	714.263	714.428	460373
industrial-aig/palacios/medium/ sortnet-7-ipc5-h16-sat.aig	SAT	762.17	762.618	460737
industrial-aig/ narain/clauses-6.aig	SAT	777.678	777.884	460641
industrial-aig/ grieu/vmpc_24.aig	SAT	1047.55	1047.93	460629
industrial-aig/anbulagan/ medium-sat/partial-5-13-s.aig	SAT	1060.15	1060.44	460233

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial-aig/anbulagan/ hard-unsat/partial-5-17-u.aig	? (TO)	1200	1200.31	460341
industrial-aig/crypto/ mizh-md5-48-2.aig	? (TO)	1200	1200.31	460361
industrial-aig/anbulagan/ hard-unsat/dated-5-15-u.aig	? (TO)	1200	1200.31	460293
industrial-aig/anbulagan/ hard-unsat/dated-10-17-u.aig	? (TO)	1200	1200.41	460309
industrial-aig/palacios/ hard/sortnet-8-ipc5-h18-unsat.aig	? (TO)	1200	1200.61	460773
additional-aig/ c32sat-ssort/ssort15.aig	? (TO)	1200	1200.41	461265
additional-aig/ c32sat-ssort/ssort10.aig	? (TO)	1200	1200.71	461289
industrial-aig/anbulagan/ hard-unsat/dated-5-13-u.aig	? (TO)	1200.01	1200.41	460305
industrial-aig/fuhs/ medium/AProVE07-16.aig	? (TO)	1200.01	1200.41	460393
industrial-aig/ grieu/vmpc_28.aig	? (TO)	1200.01	1200.51	460617
industrial-aig/crypto/ mizh-md5-47-3.aig	? (TO)	1200.01	1200.81	460381
industrial-aig/ grieu/vmpc_27.aig	? (TO)	1200.01	1200.71	460605
additional-aig/ c32sat-ssort/ssort8.aig	? (TO)	1200.01	1200.71	461293
additional-aig/ c32sat-ssort/ssort9.aig	? (TO)	1200.01	1200.31	461297
industrial-aig/anbulagan/ hard-sat/partial-10-13-s.aig	? (TO)	1200.02	1200.51	460197
industrial-aig/anbulagan/ medium-sat/partial-5-15-s.aig	? (TO)	1200.02	1200.41	460209
industrial-aig/anbulagan/ hard-unsat/total-10-15-u.aig	? (TO)	1200.02	1200.51	460253
industrial-aig/anbulagan/ hard-unsat/partial-5-13-u.aig	? (TO)	1200.02	1200.81	460265
industrial-aig/ manolios/manol-pipe-g10bidw.aig	? (TO)	1200.02	1200.41	460597
industrial-aig/manolios/ manol-pipe-f10ni.aig	? (TO)	1200.02	1200.61	460585
industrial-aig/anbulagan/ hard-unsat/total-10-17-u.aig	? (TO)	1200.02	1200.51	460277
additional-aig/ c32sat-ssort/ssort11.aig	? (TO)	1200.02	1200.41	461261
industrial-aig/anbulagan/ hard-sat/partial-10-11-s.aig	? (TO)	1200.03	1200.51	460201
industrial-aig/anbulagan/ hard-sat/partial-10-17-s.aig	? (TO)	1200.03	1200.02	460205
industrial-aig/crypto/ mizh-sha0-35-2.aig	? (TO)	1200.03	1200.31	460369
industrial-aig/anbulagan/ hard-unsat/partial-10-19-u.aig	? (TO)	1200.03	1200.51	460285
industrial-aig/manolios/ manol-pipe-g10nid.aig	? (TO)	1200.03	1200.51	460589
industrial-aig/crypto/ mizh-sha0-35-3.aig	? (TO)	1200.03	1200.31	460345
industrial-aig/palacios/hard/ sortnet-8-ipc5-h19-sat.aig	? (TO)	1200.03	1200.51	460761
industrial-aig/palacios/ medium/cube-11-h13-unsat.aig	? (TO)	1200.03	1200.81	460749
additional-aig/ c32sat-ssort/ssort18.aig	? (TO)	1200.03	1200.81	461273
additional-aig/ c32sat-ssort/ssort20.aig	? (TO)	1200.03	1200.51	461257
industrial-aig/ grieu/vmpc_30.aig	? (TO)	1200.04	1200.81	460621
industrial-aig/anbulagan/ hard-sat/partial-5-17-s.aig	? (TO)	1200.04	1200.41	460185
industrial-aig/fuhs/ hard/AProVE07-25.aig	? (TO)	1200.04	1200.66	460441
industrial-aig/palacios/ hard/safe-30-h29-unsat.aig	? (TO)	1200.04	1200.51	460777
industrial-aig/fuhs/ medium/AProVE07-04.aig	? (TO)	1200.04	1200.41	460389
additional-aig/ c32sat-ssort/ssort17.aig	? (TO)	1200.04	1200.41	461249
additional-aig/ c32sat-ssort/ssort13.aig	? (TO)	1200.04	1200.91	461253
industrial-aig/palacios/ hard/sortnet-7-ipc5-h15-unsat.aig	? (TO)	1200.05	1200.51	460785
industrial-aig/anbulagan/ hard-unsat/dated-5-19-u.aig	? (TO)	1200.05	1200.41	460261
industrial-aig/anbulagan/ hard-unsat/partial-10-11-u.aig	? (TO)	1200.05	1200.81	460297
industrial-aig/crypto/ mizh-md5-47-5.aig	? (TO)	1200.05	1200.41	460365
industrial-aig/anbulagan/ hard-sat/partial-10-19-s.aig	? (TO)	1200.05	1200.41	460193
industrial-aig/fuhs/ hard/AProVE07-03.aig	? (TO)	1200.05	1200.56	460429
industrial-aig/anbulagan/ hard-unsat/dated-10-19-u.aig	? (TO)	1200.05	1200.41	460249
industrial-aig/ grieu/vmpc_31.aig	? (TO)	1200.05	1201.01	460613
industrial-aig/ narain/clauses-8.aig	? (TO)	1200.05	1200.41	460645
industrial-aig/palacios/ hard/safe-50-h49-unsat.aig	? (TO)	1200.05	1200.51	460765
industrial-aig/jarvisalo/ eq.atree.braun.13.unsat.aig	? (TO)	1200.05	1200.01	460665
additional-aig/ c32sat-ssort/ssort16.aig	? (TO)	1200.05	1200.51	461285
additional-aig/minisat+/ g15x15.undecided.aig	? (TO)	1200.05	1200.01	461381
additional-aig/minisat+/ ii8d1.undecided.aig	? (TO)	1200.05	1200.31	461481
industrial-aig/fuhs/ hard/AProVE07-08.aig	? (TO)	1200.06	1200.12	460425
industrial-aig/anbulagan/ hard-unsat/partial-10-15-u.aig	? (TO)	1200.06	1200.41	460257
industrial-aig/ grieu/vmpc_26.aig	? (TO)	1200.06	1200.61	460625
industrial-aig/anbulagan/ hard-unsat/dated-10-11-u.aig	? (TO)	1200.06	1200.91	460273
industrial-aig/anbulagan/ hard-unsat/total-5-15-u.aig	? (TO)	1200.06	1200.51	460329
industrial-aig/crypto/ mizh-md5-47-4.aig	? (TO)	1200.06	1200.41	460377
industrial-aig/jarvisalo/ eq.atree.braun.11.unsat.aig	? (TO)	1200.06	1200.41	460673
additional-aig/minisat+/ mitre.undecided.aig	? (TO)	1200.06	1200.41	461477
additional-aig/minisat+/ seymour.undecided.aig	? (TO)	1200.06	1200.41	461405
industrial-aig/anbulagan/ medium-sat/total-10-15-s.aig	? (TO)	1200.07	1200.41	460245
industrial-aig/babic/dspam/ dspam_dump_vc1103.aig	? (TO)	1200.07	1200.51	460497
industrial-aig/manolios/ manol-pipe-c7nidw.aig	? (TO)	1200.07	1200.81	460601
industrial-aig/anbulagan/ hard-unsat/total-5-19-u.aig	? (TO)	1200.07	1200.51	460269
industrial-aig/anbulagan/ hard-unsat/partial-5-19-u.aig	? (TO)	1200.07	1200.81	460333
industrial-aig/palacios/ hard/sortnet-6-ipc5-h11-unsat.aig	? (TO)	1200.07	1200.61	460769
industrial-aig/fuhs/ hard/AProVE07-27.aig	? (TO)	1200.07	1200.51	460437
industrial-aig/manolios/ manol-pipe-f9n.aig	? (TO)	1200.07	1200.61	460577
industrial-aig/palacios/ medium/cube-11-h14-sat.aig	? (TO)	1200.07	1200.82	460729
additional-aig/ c32sat-ssort/ssort14.aig	? (TO)	1200.07	1200.87	461277
additional-aig/minisat+/ mitre.sat_unopt.aig	? (TO)	1200.07	1200.41	461417
additional-aig/minisat+/ p0548.undecided.aig	? (TO)	1200.07	1200.41	461473
industrial-aig/anbulagan/ hard-unsat/partial-5-15-u.aig	? (TO)	1200.08	1200.51	460313
industrial-aig/fuhs/ medium/AProVE07-02.aig	? (TO)	1200.08	1200.81	460401
industrial-aig/anbulagan/ hard-sat/partial-5-19-s.aig	? (TO)	1200.08	1200.41	460181
industrial-aig/fuhs/ hard/AProVE07-01.aig	? (TO)	1200.08	1200.81	460433
industrial-aig/jarvisalo/ eq.atree.braun.12.unsat.aig	? (TO)	1200.08	1200.41	460677
industrial-aig/manolios/ manol-pipe-f9b.aig	? (TO)	1200.08	1200.81	460569
industrial-aig/palacios/medium/ emptyroom-4-h21-unsat.aig	? (TO)	1200.08	1200.41	460741
additional-aig/ c32sat-ssort/ssort19.aig	? (TO)	1200.08	1200.81	461305
additional-aig/minisat+/ p0548.sat_nonopt.aig	? (TO)	1200.08	1200.41	461485
additional-aig/ c32sat-ssort/ssort12.aig	? (TO)	1200.08	1200.51	461281
industrial-aig/anbulagan/ hard-sat/partial-10-15-s.aig	? (TO)	1200.09	1200.81	460189
industrial-aig/fuhs/ hard/AProVE07-26.aig	? (TO)	1200.09	1200.92	460421
industrial-aig/anbulagan/ hard-unsat/partial-10-17-u.aig	? (TO)	1200.09	1200.41	460325
industrial-aig/anbulagan/ hard-unsat/total-10-19-u.aig	? (TO)	1200.09	1200.51	460321
industrial-aig/crypto/ mizh-md5-48-5.aig	? (TO)	1200.09	1200.51	460353
industrial-aig/anbulagan/ medium-unsat/total-10-13-u.aig	? (TO)	1200.09	1200.81	460165
industrial-aig/babic/dspam/ dspam_dump_vc1081.aig	? (TO)	1200.09	1200.61	460513
industrial-aig/anbulagan/ hard-unsat/dated-5-17-u.aig	? (TO)	1200.09	1200.41	460281
industrial-aig/anbulagan/ hard-unsat/dated-10-13-u.aig	? (TO)	1200.09	1200.41	460289
industrial-aig/anbulagan/ hard-unsat/total-5-17-u.aig	? (TO)	1200.09	1200.41	460317
industrial-aig/crypto/ mizh-sha0-36-2.aig	? (TO)	1200.09	1200.51	460357
industrial-aig/fuhs/ medium/AProVE07-21.aig	? (TO)	1200.09	1200.81	460409
industrial-aig/jarvisalo/ eq.atree.braun.10.unsat.aig	? (TO)	1200.09	1200.41	460669
industrial-aig/ manolios/manol-pipe-c7bidw_i.aig	? (TO)	1200.09	1200.51	460565
industrial-aig/palacios/ hard/safe-50-h50-sat.aig	? (TO)	1200.09	1200.62	460781
industrial-aig/anbulagan/ hard-unsat/partial-5-11-u.aig	? (TO)	1200.1	1200.41	460301
industrial-aig/anbulagan/ hard-unsat/partial-10-13-u.aig	? (TO)	1200.1	1200.61	460337
industrial-aig/fuhs/ medium/AProVE07-20.aig	? (TO)	1200.1	1200.41	460397
industrial-aig/fuhs/ medium/AProVE07-09.aig	? (TO)	1200.11	1200.41	460385
additional-aig/ c32sat-ssort/ssort7.aig	? (TO)	1200.11	1200.51	461309
additional-aig/minisat+/ g15x15.sat_nonopt.aig	? (TO)	1200.12	1200.41	461373
additional-aig/ c32sat-ssort/ssort6.aig	? (TO)	1200.12	1200.81	461269

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/pico-java/ prop08_len18_step.aig	? (problem)	0.031995	0.031787	461353
additional-aig/pico-java/ prop16_len18_step.aig	? (problem)	0.034994	0.034186	461317
additional-aig/pico-java/ prop18_len09_step.aig	? (problem)	0.062989	0.060904	461337
additional-aig/pico-java/ prop06_len41_step.aig	? (problem)	0.141978	0.138244	461313
additional-aig/pico-java/ prop05_len41_step.aig	? (problem)	0.142977	0.140497	461341
additional-aig/pico-java/ prop02_len66_step.aig	? (problem)	0.25796	0.255786	461333

SAT 2007 Competition AIG special track: benchmarks results per solver

Result page for solver picoaigersat 2007-05-15

Category "all instances" (ALL)

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

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

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

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

Solver wrongly proved unsatitisfiability (1 run) [Show/Hide]