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.021996	0.02255	461200
additional-aig/tip-k-ind-aigs-o1234g/ O4/texas.parsesys^2.E.aig	UNSAT	0.021996	0.024043	460948
additional-aig/tip-k-ind-aigs-o1234g/ Og/texas.parsesys^2.E.aig	UNSAT	0.023995	0.026807	460864
additional-aig/tip-k-ind-aigs-o1234g/ O1/texas.parsesys^2.E.aig	UNSAT	0.024995	0.028909	461116
additional-aig/tip-k-ind-aigs-o1234g/ O2/texas.parsesys^2.E.aig	UNSAT	0.024995	0.026806	461032
additional-aig/minisat+/ par8-5-c.unsat.aig	UNSAT	0.065989	0.067041	461448
additional-aig/minisat+/ jnh209.unsat.aig	UNSAT	0.150976	0.153247	461440
additional-aig/minisat+/ p033.unsat.aig	UNSAT	0.152975	0.155357	461392
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.tcas^2.B.aig	UNSAT	0.333948	0.403459	460872
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.tcas^3.B.aig	UNSAT	0.375942	0.376723	460796
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^16.E.aig	UNSAT	0.421934	0.482538	461128
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^16.E.aig	UNSAT	0.424935	0.427824	460876
additional-aig/minisat+/ stein27.unsat.aig	UNSAT	0.442932	0.44444	461508
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^16.E.aig	UNSAT	0.472927	0.476292	460792
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^16.E.aig	UNSAT	0.520919	0.523766	460960
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.tcas^3.B.aig	UNSAT	0.545916	0.54837	460880
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^16.E.aig	UNSAT	0.547916	0.55087	461044
additional-aig/pico-java/ prop08_len17_base.aig	UNSAT	0.553915	0.554503	461348
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S953.S.aig	UNSAT	0.582911	0.584468	460980
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S953.S.aig	UNSAT	0.58791	0.591212	460896
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.tcas^3.B.aig	UNSAT	0.58991	0.592829	460964
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.tcas^3.B.aig	UNSAT	0.58991	0.592106	461048
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.tcas^3.B.aig	UNSAT	0.595908	0.598572	461132
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S953.S.aig	UNSAT	0.619905	0.620946	461148
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S953.S.aig	UNSAT	0.6549	0.657322	461064
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S953.S.aig	UNSAT	0.748885	0.750748	460812
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^13.E.aig	UNSAT	0.833872	0.836312	461164
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^13.E.aig	UNSAT	0.84887	0.85169	460912
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.tcas^2.B.aig	UNSAT	0.954854	0.957628	461208
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^13.E.aig	UNSAT	0.958853	0.959979	460828
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.tcas^2.B.aig	UNSAT	0.959854	0.962867	460956
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.guidance^1.C.aig	UNSAT	0.977851	0.97923	461136
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.tcas^2.B.aig	UNSAT	0.992848	0.996344	461040
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.tcas^2.B.aig	UNSAT	0.994848	0.997345	461124
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^13.E.aig	UNSAT	1.01184	1.01546	460996
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.guidance^1.C.aig	UNSAT	1.01384	1.01506	460884
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^13.E.aig	UNSAT	1.05184	1.05444	461080
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.guidance^1.C.aig	UNSAT	1.05684	1.06354	460968
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.guidance^1.C.aig	UNSAT	1.06284	1.06557	461052
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.guidance^1.C.aig	UNSAT	1.22381	1.25215	460800
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S510.S.aig	UNSAT	1.39679	1.39935	460944
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S510.S.aig	UNSAT	1.44278	1.44794	461112
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S510.S.aig	UNSAT	1.48777	1.55949	461028
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S510.S.aig	UNSAT	1.51077	1.51365	461196
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S832.S.aig	UNSAT	1.68674	1.69951	461168
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S832.S.aig	UNSAT	1.71174	1.71765	461000
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S820.S.aig	UNSAT	1.73473	1.73651	461092
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S832.S.aig	UNSAT	1.78873	1.79495	461084
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S820.S.aig	UNSAT	1.78973	1.79734	461008
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S832.S.aig	UNSAT	1.83772	1.84194	460916
additional-aig/minisat+/ g9x9.unsat.aig	UNSAT	1.87371	1.87692	461444
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S820.S.aig	UNSAT	1.88571	2.01372	460924
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S820.S.aig	UNSAT	1.9397	1.94251	461176
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^18.E.aig	UNSAT	1.9927	1.99895	461140
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^18.E.aig	UNSAT	2.20566	2.21046	460888
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^18.E.aig	UNSAT	2.36264	2.36637	460972
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^18.E.aig	UNSAT	2.38164	2.38499	460804
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S820.S.aig	UNSAT	2.38664	2.39024	460840
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S510.S.aig	UNSAT	2.46062	2.46281	460860
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^18.E.aig	UNSAT	2.48062	2.49008	461056
industrial-aig/babic/ xinetd/xinetd_vc56703.aig	UNSAT	2.48262	2.48556	460452
industrial-aig/babic/ xinetd/xinetd_vc56687.aig	UNSAT	2.56261	2.57376	460480
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S832.S.aig	UNSAT	2.82457	2.83097	460832
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^14.E.aig	UNSAT	2.99254	2.99538	460928
additional-aig/minisat+/ s4-4-3-1.unsat.aig	UNSAT	3.05853	3.06107	461424
industrial-aig/babic/ xinetd/itox_vc965.aig	UNSAT	3.15352	3.15652	460476
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^14.E.aig	UNSAT	3.2795	3.28304	460844
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^14.E.aig	UNSAT	3.35649	3.36511	461180
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^14.E.aig	UNSAT	3.50747	3.5128	461096
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^14.E.aig	UNSAT	3.51247	3.51864	461012
industrial-aig/babic/ hsatv17/hsat_vc12016.aig	UNSAT	5.29019	5.30179	460560
industrial-aig/babic/ xinetd/itox_vc979.aig	UNSAT	5.42117	5.43112	460468
industrial-aig/jarvisalo/ eq.atree.braun.7.unsat.aig	UNSAT	5.62714	5.62935	460660
industrial-aig/babic/ hsatv17/hsat_vc12062.aig	UNSAT	5.96409	5.96779	460564
industrial-aig/babic/ hsatv17/hsat_vc11944.aig	UNSAT	6.42102	6.42872	460548
industrial-aig/babic/ hsatv17/hsat_vc12070.aig	UNSAT	6.603	6.60628	460536
industrial-aig/babic/dspam/ dspam_dump_vc949.aig	UNSAT	6.71898	6.72293	460512
industrial-aig/babic/ hsatv17/hsat_vc11935.aig	UNSAT	6.78297	6.78837	460528
industrial-aig/babic/ xinetd/itox_vc1216.aig	UNSAT	6.80296	6.81112	460472
industrial-aig/babic/dspam/ dspam_dump_vc1093.aig	UNSAT	6.86596	6.86949	460520
industrial-aig/babic/dspam/ dspam_dump_vc962.aig	UNSAT	7.29289	7.30506	460508
industrial-aig/babic/dspam/ dspam_dump_vc950.aig	UNSAT	7.34688	7.35154	460504
industrial-aig/babic/ hsatv17/hsat_vc11773.aig	UNSAT	7.55185	7.55618	460552
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^19.E.aig	UNSAT	7.55985	7.5643	460904
industrial-aig/babic/ hsatv17/hsat_vc12072.aig	UNSAT	7.63884	7.64376	460540
industrial-aig/babic/dspam/ dspam_dump_vc1080.aig	UNSAT	7.8648	7.86862	460492
industrial-aig/babic/dspam/ dspam_dump_vc1081.aig	UNSAT	7.8708	7.88795	460516
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^19.E.aig	UNSAT	8.22075	8.23061	461156
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^19.E.aig	UNSAT	8.5427	8.55103	461072
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^15.E.aig	UNSAT	8.92464	8.92957	461192
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^19.E.aig	UNSAT	8.98363	8.99216	460820
industrial-aig/babic/ hsatv17/hsat_vc11817.aig	UNSAT	9.01163	9.02613	460544
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^19.E.aig	UNSAT	9.12561	9.12993	460988
additional-aig/minisat+/ ooo_tag14.noobj_unsat.aig	UNSAT	9.50355	9.52053	461364
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^15.E.aig	UNSAT	9.54155	9.5533	460940
industrial-aig/babic/ hsatv17/hsat_vc11813.aig	UNSAT	9.57754	9.58844	460556
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^15.E.aig	UNSAT	9.76951	9.77618	461024
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^15.E.aig	UNSAT	10.0875	10.0986	461108
industrial-aig/babic/ hsatv17/hsat_vc11803.aig	UNSAT	10.2614	10.2679	460532
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^15.E.aig	UNSAT	11.2313	11.2404	460856
additional-aig/ c32sat-ssort/ssort5.aig	UNSAT	12.1212	12.1273	461304
additional-aig/pico-java/ prop06_len40_base.aig	UNSAT	14.1338	14.1453	461324
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^12.E.aig	UNSAT	18.1542	18.1712	461020
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^12.E.aig	UNSAT	18.7471	18.7617	460936
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.guidance^7.C.aig	UNSAT	19.0271	19.039	461120
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^17.E.aig	UNSAT	19.2391	19.2523	460908
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^12.E.aig	UNSAT	19.915	19.966	461188
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.guidance^7.C.aig	UNSAT	20.045	20.0619	461204
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^12.E.aig	UNSAT	20.4429	20.458	461104
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^17.E.aig	UNSAT	20.7258	20.7406	461160
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^17.E.aig	UNSAT	21.2678	21.2961	461076
additional-aig/pico-java/ prop02_len65_base.aig	UNSAT	21.5427	21.5554	461332
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^17.E.aig	UNSAT	22.1216	22.1369	460992
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^17.E.aig	UNSAT	24.5623	24.5841	460824
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^12.E.aig	UNSAT	25.7171	25.7428	460852
additional-aig/tip-k-ind-aigs-o1234g/ O2/ken.oop^1.C.aig	UNSAT	26.7099	26.7255	460984
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.guidance^7.C.aig	UNSAT	29.2346	29.2558	461036
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.guidance^7.C.aig	UNSAT	29.4505	29.464	460952
additional-aig/tip-k-ind-aigs-o1234g/ Og/ken.oop^1.C.aig	UNSAT	33.3759	33.4047	460816
additional-aig/pico-java/ prop05_len40_base.aig	UNSAT	35.4376	35.4594	461360
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^24.E.aig	UNSAT	35.5436	35.563	460920
additional-aig/tip-k-ind-aigs-o1234g/ Og/cmu.periodic.N.aig	UNSAT	36.4605	36.4829	460848
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^24.E.aig	UNSAT	36.7534	36.7774	461172
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^24.E.aig	UNSAT	36.9444	36.9711	461004
additional-aig/tip-k-ind-aigs-o1234g/ O4/cmu.periodic.N.aig	UNSAT	38.1592	38.1878	460932
additional-aig/tip-k-ind-aigs-o1234g/ O3/cmu.periodic.N.aig	UNSAT	38.2582	38.2788	461184
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^24.E.aig	UNSAT	38.3042	38.3316	461088
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^24.E.aig	UNSAT	38.9671	38.9985	460836
additional-aig/tip-k-ind-aigs-o1234g/ O2/cmu.periodic.N.aig	UNSAT	39.582	39.6106	461016
additional-aig/tip-k-ind-aigs-o1234g/ O1/cmu.periodic.N.aig	UNSAT	41.3597	41.3831	461100
additional-aig/ibm/ ibm18_len28_unsat.aig	UNSAT	42.5215	42.5394	461212
additional-aig/tip-k-ind-aigs-o1234g/ O1/ken.oop^1.C.aig	UNSAT	43.3364	43.3719	461068
additional-aig/tip-k-ind-aigs-o1234g/ O3/ken.oop^1.C.aig	UNSAT	44.1913	44.2223	461152
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.guidance^7.C.aig	UNSAT	44.6352	44.6758	460868
additional-aig/tip-k-ind-aigs-o1234g/ O4/ken.oop^1.C.aig	UNSAT	45.3981	45.417	460900
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S298.S.aig	UNSAT	51.1462	51.1947	461060
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S298.S.aig	UNSAT	55.6385	55.6644	461144
industrial-aig/fuhs/ medium/AProVE07-15.aig	UNSAT	57.9522	57.9761	460416
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S298.S.aig	UNSAT	61.3977	61.4331	460892
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S298.S.aig	UNSAT	63.8283	63.8757	460808
additional-aig/ibm/ ibm29_len25_unsat.aig	UNSAT	65.69	65.7355	461240
industrial-aig/jarvisalo/ eq.atree.braun.8.unsat.aig	UNSAT	66.5839	66.6024	460664
additional-aig/pico-java/ prop18_len08_base.aig	UNSAT	67.8327	67.8658	461328
additional-aig/ c32sat-ssort/ssort6.aig	UNSAT	68.0876	68.1148	461272
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S298.S.aig	UNSAT	69.1765	69.2103	460976
additional-aig/minisat+/ stein45.unsat.aig	UNSAT	76.6703	76.6944	461432
industrial-aig/palacios/uts/ uts-l06-ipc5-h28-unknown.aig	UNSAT	119.092	119.134	460692
industrial-aig/ manolios/manol-pipe-c6nidw_i.aig	UNSAT	119.794	119.887	460584
industrial-aig/fuhs/ medium/AProVE07-22.aig	UNSAT	126.217	126.262	460420
additional-aig/minisat+/ lseu.unsat.aig	UNSAT	143.467	143.565	461404
industrial-aig/anbulagan/ medium-unsat/total-5-11-u.aig	UNSAT	158.765	158.879	460172
additional-aig/ibm/ ibm22_len51_unsat.aig	UNSAT	165.819	165.951	461244
additional-aig/ c32sat-ssort/ssort7.aig	UNSAT	182.258	182.428	461312
industrial-aig/fuhs/ medium/AProVE07-06.aig	UNSAT	183.647	183.78	460408
industrial-aig/manolios/ manol-pipe-f7idw.aig	UNSAT	198.806	198.879	460576
industrial-aig/palacios/ uts/uts-l05-ipc5-h26-unsat.aig	UNSAT	209.5	209.608	460684
industrial-aig/anbulagan/ medium-unsat/dated-10-15-u.aig	UNSAT	234.935	235.062	460176
industrial-aig/palacios/ medium/blocks-4-ipc5-h21-unknown.aig	UNSAT	239.563	239.636	460760
industrial-aig/palacios/uts/ uts-l06-ipc5-h29-unknown.aig	UNSAT	268.936	269.123	460696
additional-aig/ibm/ ibm23_len35_unsat.aig	UNSAT	279.719	279.838	461224
industrial-aig/anbulagan/ medium-unsat/dated-5-11-u.aig	UNSAT	284.031	284.141	460160
industrial-aig/manolios/ manol-pipe-g10nid.aig	UNSAT	293.821	294.047	460592
industrial-aig/palacios/uts/ uts-l05-ipc5-h27-unknown.aig	UNSAT	306.339	306.437	460712
industrial-aig/jarvisalo/ eq.atree.braun.9.unsat.aig	UNSAT	316.954	317.142	460656
industrial-aig/fuhs/ medium/AProVE07-04.aig	UNSAT	379.487	379.587	460392
industrial-aig/manolios/ manol-pipe-c7nidw.aig	UNSAT	408.672	408.912	460604
industrial-aig/anbulagan/ medium-unsat/total-10-11-u.aig	UNSAT	425.701	425.878	460180
industrial-aig/palacios/ medium/cube-9-h10-unsat.aig	UNSAT	430.987	431.12	460736
industrial-aig/manolios/ manol-pipe-f9b.aig	UNSAT	434.771	435.041	460572
industrial-aig/palacios/ medium/blocks-4-ipc5-h22-unknown.aig	UNSAT	435.176	435.318	460724
industrial-aig/manolios/ manol-pipe-c10nidw_s.aig	UNSAT	442.544	442.872	460596
industrial-aig/palacios/uts/ uts-l06-ipc5-h30-unknown.aig	UNSAT	484.306	484.453	460688
industrial-aig/manolios/ manol-pipe-f9n.aig	UNSAT	531.947	532.103	460580
industrial-aig/fuhs/ medium/AProVE07-16.aig	UNSAT	552.114	552.526	460396
industrial-aig/ manolios/manol-pipe-c7bidw_i.aig	UNSAT	610.456	610.758	460568
industrial-aig/fuhs/ medium/AProVE07-20.aig	UNSAT	682.248	682.671	460400
additional-aig/ibm/ ibm20_len43_unsat.aig	UNSAT	718.169	718.425	461216
industrial-aig/babic/dspam/ dspam_dump_vc973.aig	UNSAT	745.834	746.179	460524
industrial-aig/ manolios/manol-pipe-g10bidw.aig	UNSAT	747.071	747.382	460600
additional-aig/minisat+/ cache.noobj_unsat.aig	UNSAT	798.912	799.221	461372
industrial-aig/fuhs/ medium/AProVE07-21.aig	UNSAT	801.606	802.07	460412
additional-aig/ c32sat-ssort/ssort8.aig	UNSAT	822.831	823.079	461296
industrial-aig/anbulagan/ medium-unsat/total-5-13-u.aig	UNSAT	886.178	886.532	460164
industrial-aig/babic/dspam/ dspam_dump_vc972.aig	UNSAT	920.221	920.847	460488
industrial-aig/fuhs/ medium/AProVE07-09.aig	UNSAT	943.589	943.941	460388

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/minisat+/ stein27.sat_opt.aig	SAT	0.016996	0.01806	461388
additional-aig/minisat+/ par8-5-c.sat_opt.aig	SAT	0.05899	0.061048	461368
additional-aig/minisat+/ stein45.sat_opt.aig	SAT	0.086986	0.087645	461460
additional-aig/minisat+/ mod008.unsat.aig	SAT	0.094985	0.09602	461520
additional-aig/minisat+/ jnh209.sat_opt.aig	SAT	0.156975	0.157121	461380
additional-aig/minisat+/ p033.sat_opt.aig	SAT	0.157975	0.160223	461468
additional-aig/minisat+/ enigma.unsat.aig	SAT	0.296954	0.297909	461492
additional-aig/minisat+/ enigma.sat_opt.aig	SAT	0.297954	0.300649	461472
additional-aig/minisat+/ g9x9.sat_opt.aig	SAT	1.73873	1.74164	461456
additional-aig/minisat+/ pk1.sat_opt.aig	SAT	2.45363	2.45845	461400
additional-aig/ minisat+/pk1.usnat.aig	SAT	2.55061	2.55776	461436
additional-aig/minisat+/ s4-4-3-1.sat_opt.aig	SAT	3.64745	3.65071	461416
additional-aig/minisat+/ mod008.sat_opt.aig	SAT	6.48001	6.48432	461500
industrial-aig/ narain/clauses-2.aig	SAT	6.549	6.55254	460640
additional-aig/minisat+/ l152lav.unsat.aig	SAT	9.8505	9.85601	461504
additional-aig/minisat+/ l152lav.sat_opt.aig	SAT	9.8805	9.89085	461412
industrial-aig/babic/ xinetd/itox_vc909.aig	SAT	12.7631	12.7791	460456
industrial-aig/ grieu/vmpc_25.aig	SAT	16.6775	16.686	460612
industrial-aig/babic/ xinetd/itox_vc1138.aig	SAT	21.9377	21.964	460464
industrial-aig/babic/ xinetd/itox_vc1044.aig	SAT	29.1336	29.1592	460484
industrial-aig/babic/ xinetd/itox_vc1130.aig	SAT	34.4168	34.4335	460448
additional-aig/ibm/ ibm29_len26_sat.aig	SAT	34.7477	34.7664	461232
industrial-aig/babic/ xinetd/itox_vc1033.aig	SAT	36.5804	36.6051	460460
industrial-aig/ grieu/vmpc_26.aig	SAT	48.8546	48.8855	460628
additional-aig/ibm/ ibm18_len29_sat.aig	SAT	62.9624	62.9907	461236
industrial-aig/ narain/clauses-4.aig	SAT	68.5376	68.5893	460652
industrial-aig/anbulagan/ medium-sat/total-10-17-s.aig	SAT	84.9911	85.117	460232
industrial-aig/ grieu/vmpc_27.aig	SAT	107.683	107.814	460608
industrial-aig/ grieu/vmpc_24.aig	SAT	111.501	111.579	460632
additional-aig/minisat+/ lseu.sat_opt.aig	SAT	112.191	112.242	461496
additional-aig/ibm/ ibm20_len44_sat.aig	SAT	132.412	132.49	461248
industrial-aig/crypto/ mizh-sha0-35-5.aig	SAT	133.21	133.254	460376
industrial-aig/ grieu/vmpc_29.aig	SAT	179.379	179.457	460636
additional-aig/ibm/ ibm22_len52_sat.aig	SAT	197.322	197.487	461228
industrial-aig/crypto/ mizh-sha0-35-3.aig	SAT	256.737	256.826	460348
additional-aig/minisat+/ p0201.sat_opt.aig	SAT	263.436	263.543	461516
industrial-aig/anbulagan/ medium-sat/total-5-19-s.aig	SAT	293.243	293.328	460228
additional-aig/ibm/ ibm23_len36_sat.aig	SAT	298.742	298.834	461220
industrial-aig/crypto/ mizh-sha0-35-2.aig	SAT	333.678	333.772	460372
industrial-aig/palacios/ medium/cube-9-h11-sat.aig	SAT	422.662	422.832	460756
industrial-aig/ grieu/vmpc_28.aig	SAT	452.526	452.693	460620
industrial-aig/palacios/medium/ emptyroom-4-h22-sat.aig	SAT	516.182	516.325	460728
industrial-aig/anbulagan/ medium-sat/total-10-19-s.aig	SAT	530.229	530.648	460240
industrial-aig/crypto/ mizh-md5-47-3.aig	SAT	608.995	609.354	460384
industrial-aig/anbulagan/ medium-sat/total-5-17-s.aig	SAT	647.351	647.755	460216
industrial-aig/anbulagan/ medium-sat/partial-5-13-s.aig	SAT	813.719	813.928	460236
industrial-aig/anbulagan/ medium-sat/dated-10-13-s.aig	SAT	905.104	905.908	460224
industrial-aig/crypto/ mizh-sha0-35-4.aig	SAT	1139.55	1139.92	460352

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial-aig/palacios/ hard/sortnet-7-ipc5-h15-unsat.aig	? (TO)	1200.05	1200.93	460788
industrial-aig/fuhs/ medium/AProVE07-02.aig	? (TO)	1200.05	1200.53	460404
additional-aig/minisat+/ g15x15.sat_nonopt.aig	? (TO)	1200.05	1200.44	461376
additional-aig/ c32sat-ssort/ssort9.aig	? (TO)	1200.05	1200.33	461300
industrial-aig/fuhs/ hard/AProVE07-01.aig	? (TO)	1200.05	1200.73	460436
industrial-aig/palacios/ hard/safe-30-h29-unsat.aig	? (TO)	1200.05	1200.43	460780
industrial-aig/jarvisalo/ eq.atree.braun.13.unsat.aig	? (TO)	1200.06	1200.84	460668
additional-aig/ c32sat-ssort/ssort10.aig	? (TO)	1200.06	1200.93	461292
industrial-aig/fuhs/ hard/AProVE07-08.aig	? (TO)	1200.06	1200.53	460428
industrial-aig/anbulagan/ hard-unsat/dated-10-11-u.aig	? (TO)	1200.07	1200.55	460276
additional-aig/minisat+/ g15x15.undecided.aig	? (TO)	1200.07	1200.44	461384
industrial-aig/palacios/uts/ uts-l06-ipc5-h31-unknown.aig	? (TO)	1200.07	1200.54	460708
industrial-aig/jarvisalo/ eq.atree.braun.10.unsat.aig	? (TO)	1200.07	1200.43	460672
additional-aig/ c32sat-ssort/ssort13.aig	? (TO)	1200.07	1201.02	461256
industrial-aig/palacios/uts/ uts-l06-ipc5-h33-unknown.aig	? (TO)	1200.07	1200.55	460716
industrial-aig/anbulagan/ hard-sat/partial-10-13-s.aig	? (TO)	1200.08	1200.99	460200
industrial-aig/palacios/ hard/sortnet-8-ipc5-h18-unsat.aig	? (TO)	1200.08	1200.45	460776
industrial-aig/fuhs/ hard/AProVE07-03.aig	? (TO)	1200.08	1200.83	460432
industrial-aig/anbulagan/ hard-unsat/partial-10-11-u.aig	? (TO)	1200.09	1200.55	460300
industrial-aig/anbulagan/ hard-unsat/dated-10-13-u.aig	? (TO)	1200.09	1200.57	460292
industrial-aig/palacios/ medium/cube-11-h14-sat.aig	? (TO)	1200.09	1201.05	460732
industrial-aig/anbulagan/ hard-unsat/partial-10-15-u.aig	? (TO)	1200.09	1200.87	460260
industrial-aig/palacios/medium/ sortnet-7-ipc5-h16-sat.aig	? (TO)	1200.09	1200.53	460740
industrial-aig/anbulagan/ hard-unsat/total-5-15-u.aig	? (TO)	1200.09	1200.55	460332
industrial-aig/ grieu/vmpc_31.aig	? (TO)	1200.09	1200.43	460616
industrial-aig/anbulagan/ hard-sat/partial-10-11-s.aig	? (TO)	1200.09	1200.56	460204
industrial-aig/jarvisalo/ eq.atree.braun.11.unsat.aig	? (TO)	1200.09	1201.03	460676
additional-aig/minisat+/ seymour.undecided.aig	? (TO)	1200.09	1200.43	461408
additional-aig/ c32sat-ssort/ssort16.aig	? (TO)	1200.09	1200.53	461288
industrial-aig/anbulagan/ hard-unsat/dated-10-19-u.aig	? (TO)	1200.1	1200.57	460252
industrial-aig/anbulagan/ hard-sat/partial-5-17-s.aig	? (TO)	1200.1	1200.16	460188
industrial-aig/anbulagan/ hard-unsat/partial-5-17-u.aig	? (TO)	1200.1	1201.26	460344
additional-aig/ minisat+/seymour.sat_nonopt.aig	? (TO)	1200.1	1200.83	461464
industrial-aig/palacios/ hard/sortnet-6-ipc5-h11-unsat.aig	? (TO)	1200.1	1200.43	460772
additional-aig/ c32sat-ssort/ssort17.aig	? (TO)	1200.1	1200.43	461252
additional-aig/ c32sat-ssort/ssort14.aig	? (TO)	1200.1	1200.82	461280
industrial-aig/palacios/uts/ uts-l06-ipc5-h35-unknown.aig	? (TO)	1200.11	1200.45	460704
industrial-aig/palacios/uts/ uts-l06-ipc5-h34-unknown.aig	? (TO)	1200.11	1200.5	460700
industrial-aig/anbulagan/ medium-sat/dated-10-17-s.aig	? (TO)	1200.11	1200.98	460220
industrial-aig/anbulagan/ hard-unsat/partial-10-19-u.aig	? (TO)	1200.11	1200.97	460288
industrial-aig/crypto/ mizh-md5-48-2.aig	? (TO)	1200.11	1200.55	460364
industrial-aig/crypto/ mizh-md5-47-5.aig	? (TO)	1200.11	1200.65	460368
additional-aig/minisat+/ p0548.sat_nonopt.aig	? (TO)	1200.11	1200.93	461488
industrial-aig/anbulagan/ hard-unsat/dated-5-19-u.aig	? (TO)	1200.12	1200.65	460264
industrial-aig/anbulagan/ medium-sat/partial-5-11-s.aig	? (TO)	1200.12	1200.56	460244
industrial-aig/palacios/uts/ uts-l06-ipc5-h32-unknown.aig	? (TO)	1200.12	1200.45	460720
additional-aig/ c32sat-ssort/ssort20.aig	? (TO)	1200.12	1200.43	461260
industrial-aig/anbulagan/ hard-sat/partial-10-19-s.aig	? (TO)	1200.12	1200.58	460196
industrial-aig/anbulagan/ medium-sat/partial-5-15-s.aig	? (TO)	1200.12	1200.57	460212
industrial-aig/crypto/ mizh-md5-48-5.aig	? (TO)	1200.12	1200.54	460356
industrial-aig/crypto/ mizh-md5-47-4.aig	? (TO)	1200.12	1200.55	460380
additional-aig/ c32sat-ssort/ssort12.aig	? (TO)	1200.12	1200.93	461284
additional-aig/ c32sat-ssort/ssort19.aig	? (TO)	1200.12	1200.92	461308
additional-aig/ c32sat-ssort/ssort18.aig	? (TO)	1200.12	1200.84	461276
industrial-aig/manolios/ manol-pipe-f10ni.aig	? (TO)	1200.12	1200.87	460588
industrial-aig/palacios/hard/ sortnet-8-ipc5-h19-sat.aig	? (TO)	1200.12	1200.45	460764
industrial-aig/palacios/ hard/safe-50-h50-sat.aig	? (TO)	1200.12	1200.79	460784
additional-aig/ c32sat-ssort/ssort15.aig	? (TO)	1200.12	1200.83	461268
industrial-aig/palacios/medium/ emptyroom-4-h21-unsat.aig	? (TO)	1200.13	1200.55	460744
industrial-aig/anbulagan/ hard-unsat/partial-5-15-u.aig	? (TO)	1200.13	1200.97	460316
industrial-aig/anbulagan/ hard-unsat/total-5-17-u.aig	? (TO)	1200.13	1200.57	460320
industrial-aig/anbulagan/ hard-unsat/partial-10-17-u.aig	? (TO)	1200.13	1201.07	460328
industrial-aig/anbulagan/ hard-unsat/dated-5-15-u.aig	? (TO)	1200.13	1200.64	460296
industrial-aig/anbulagan/ hard-unsat/dated-5-13-u.aig	? (TO)	1200.13	1200.55	460308
industrial-aig/ grieu/vmpc_30.aig	? (TO)	1200.13	1200.43	460624
industrial-aig/anbulagan/ hard-sat/partial-10-15-s.aig	? (TO)	1200.13	1200.56	460192
industrial-aig/jarvisalo/ eq.atree.braun.12.unsat.aig	? (TO)	1200.13	1200.53	460680
industrial-aig/anbulagan/ hard-unsat/total-5-19-u.aig	? (TO)	1200.13	1200.67	460272
additional-aig/minisat+/ p0201.unsat.aig	? (TO)	1200.13	1200.84	461428
additional-aig/minisat+/ p0548.undecided.aig	? (TO)	1200.13	1201.03	461476
industrial-aig/fuhs/ hard/AProVE07-26.aig	? (TO)	1200.13	1200.56	460424
additional-aig/minisat+/ ii8d1.sat_nonopt.aig	? (TO)	1200.13	1200.43	461512
additional-aig/ c32sat-ssort/ssort11.aig	? (TO)	1200.13	1200.43	461264
industrial-aig/anbulagan/ hard-unsat/partial-5-19-u.aig	? (TO)	1200.14	1200.56	460336
industrial-aig/anbulagan/ hard-unsat/partial-5-13-u.aig	? (TO)	1200.14	1200.57	460268
industrial-aig/palacios/ medium/safe-30-h30-sat.aig	? (TO)	1200.14	1200.46	460748
industrial-aig/babic/dspam/ dspam_dump_vc1103.aig	? (TO)	1200.14	1200.89	460500
industrial-aig/anbulagan/ hard-sat/partial-10-17-s.aig	? (TO)	1200.14	1201.17	460208
industrial-aig/anbulagan/ hard-unsat/partial-10-13-u.aig	? (TO)	1200.14	1201.16	460340
additional-aig/minisat+/ ii8d1.undecided.aig	? (TO)	1200.14	1200.44	461484
industrial-aig/fuhs/ hard/AProVE07-27.aig	? (TO)	1200.14	1200.83	460440
industrial-aig/fuhs/ hard/AProVE07-25.aig	? (TO)	1200.14	1201.04	460444
industrial-aig/anbulagan/ hard-unsat/total-10-17-u.aig	? (TO)	1200.15	1201.06	460280
industrial-aig/anbulagan/ hard-unsat/dated-5-17-u.aig	? (TO)	1200.15	1200.66	460284
additional-aig/minisat+/ mitre.undecided.aig	? (TO)	1200.15	1200.87	461480
industrial-aig/anbulagan/ medium-unsat/total-10-13-u.aig	? (TO)	1200.15	1200.75	460168
industrial-aig/crypto/ mizh-sha0-36-2.aig	? (TO)	1200.15	1200.95	460360
additional-aig/minisat+/ mitre.sat_unopt.aig	? (TO)	1200.15	1200.97	461420
industrial-aig/anbulagan/ hard-unsat/dated-10-17-u.aig	? (TO)	1200.16	1201.38	460312
industrial-aig/anbulagan/ hard-unsat/partial-5-11-u.aig	? (TO)	1200.16	1200.86	460304
industrial-aig/palacios/ medium/cube-11-h13-unsat.aig	? (TO)	1200.16	1200.55	460752
industrial-aig/anbulagan/ hard-unsat/total-10-19-u.aig	? (TO)	1200.17	1201.07	460324
industrial-aig/anbulagan/ medium-sat/total-10-15-s.aig	? (TO)	1200.18	1201.09	460248
industrial-aig/anbulagan/ hard-unsat/total-10-15-u.aig	? (TO)	1200.18	1200.77	460256
industrial-aig/anbulagan/ hard-sat/partial-5-19-s.aig	? (TO)	1200.18	1200.66	460184
industrial-aig/ narain/clauses-8.aig	? (TO)	1200.18	1200.88	460648
industrial-aig/palacios/ hard/safe-50-h49-unsat.aig	? (TO)	1200.19	1201.09	460768
industrial-aig/babic/dspam/ dspam_dump_vc1104.aig	? (TO)	1200.21	1200.6	460496

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial-aig/ narain/clauses-6.aig	? (MO)	68.1156	68.1968	460644
additional-aig/minisat+/ air03.undecided.aig	? (MO)	78.3821	78.413	461396
additional-aig/minisat+/ air03.sat_nonopt.aig	? (MO)	78.974	78.9979	461452

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/pico-java/ prop08_len18_step.aig	? (problem)	0.032994	0.034176	461356
additional-aig/pico-java/ prop16_len18_step.aig	? (problem)	0.034994	0.038159	461320
additional-aig/pico-java/ prop18_len09_step.aig	? (problem)	0.064989	0.066277	461340
additional-aig/pico-java/ prop05_len41_step.aig	? (problem)	0.146977	0.148218	461344
additional-aig/pico-java/ prop06_len41_step.aig	? (problem)	0.154976	0.156004	461316
additional-aig/pico-java/ prop02_len66_step.aig	? (problem)	0.262959	0.263029	461336

SAT 2007 Competition AIG special track: benchmarks results per solver

Result page for solver aig-cmusat 2007-05-15

Category "all instances" (ALL)

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

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

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

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

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

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