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/ Og/texas.parsesys^2.E.aig	UNSAT	0.136978	0.134863	461697
additional-aig/minisat+/ stein27.unsat.aig	UNSAT	0.356945	0.358844	461858
additional-aig/minisat+/ par8-5-c.unsat.aig	UNSAT	0.369943	0.370453	461843
additional-aig/minisat+/ p033.unsat.aig	UNSAT	0.422934	0.491833	461829
additional-aig/minisat+/ jnh209.unsat.aig	UNSAT	0.598908	0.594585	461841
additional-aig/minisat+/ g9x9.unsat.aig	UNSAT	1.01784	1.02231	461842
additional-aig/pico-java/ prop08_len17_base.aig	UNSAT	1.13983	1.13874	461818
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S953.S.aig	UNSAT	1.14682	1.14534	461705
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^16.E.aig	UNSAT	1.19082	1.1928	461700
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S953.S.aig	UNSAT	1.19082	1.19085	461747
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S953.S.aig	UNSAT	1.19482	1.19582	461726
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S953.S.aig	UNSAT	1.19982	1.20046	461768
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^16.E.aig	UNSAT	1.26781	1.26741	461763
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S953.S.aig	UNSAT	1.3258	1.32548	461684
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^16.E.aig	UNSAT	1.44578	1.44392	461679
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.tcas^3.B.aig	UNSAT	1.67374	1.67017	461680
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^16.E.aig	UNSAT	1.67674	1.67304	461721
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^16.E.aig	UNSAT	1.72074	1.7179	461742
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.tcas^3.B.aig	UNSAT	1.74573	1.74435	461764
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.tcas^3.B.aig	UNSAT	1.75673	1.756	461701
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.tcas^3.B.aig	UNSAT	1.78973	1.7892	461722
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.tcas^3.B.aig	UNSAT	1.80572	1.80323	461743
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S510.S.aig	UNSAT	1.90871	1.90452	461759
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S510.S.aig	UNSAT	1.9907	1.98962	461717
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S820.S.aig	UNSAT	1.99569	1.99234	461712
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S510.S.aig	UNSAT	1.99669	1.99605	461780
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S820.S.aig	UNSAT	1.9977	1.9986	461775
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S510.S.aig	UNSAT	2.00269	2.00147	461738
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S820.S.aig	UNSAT	2.04669	2.04691	461754
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S832.S.aig	UNSAT	2.06169	2.06119	461773
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S820.S.aig	UNSAT	2.07268	2.07067	461733
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S510.S.aig	UNSAT	2.10068	2.09828	461696
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S832.S.aig	UNSAT	2.18067	2.18067	461731
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.tcas^2.B.aig	UNSAT	2.21866	2.21944	461720
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S832.S.aig	UNSAT	2.22866	2.22831	461710
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S832.S.aig	UNSAT	2.23966	2.23816	461752
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.tcas^2.B.aig	UNSAT	2.24166	2.2423	461741
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S832.S.aig	UNSAT	2.29165	2.29528	461689
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S820.S.aig	UNSAT	2.33764	2.33354	461691
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.guidance^1.C.aig	UNSAT	2.33864	2.33499	461765
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.tcas^2.B.aig	UNSAT	2.37764	2.37473	461783
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.tcas^2.B.aig	UNSAT	2.43963	2.44004	461699
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.guidance^1.C.aig	UNSAT	2.43963	2.4463	461702
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.guidance^1.C.aig	UNSAT	2.55761	2.55686	461744
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.guidance^1.C.aig	UNSAT	2.55861	2.55698	461723
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^13.E.aig	UNSAT	2.5956	2.59473	461709
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^13.E.aig	UNSAT	2.6006	2.59984	461772
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.guidance^1.C.aig	UNSAT	2.81157	2.84964	461681
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^13.E.aig	UNSAT	2.90656	2.90478	461688
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^13.E.aig	UNSAT	3.3145	3.31435	461730
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^13.E.aig	UNSAT	3.43648	3.43632	461751
industrial-aig/jarvisalo/ eq.atree.braun.7.unsat.aig	UNSAT	3.48047	3.47678	461646
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^18.E.aig	UNSAT	5.32619	5.32966	461703
additional-aig/minisat+/ s4-4-3-1.unsat.aig	UNSAT	5.42917	5.43044	461837
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^18.E.aig	UNSAT	5.71813	5.71758	461766
additional-aig/pico-java/ prop06_len40_base.aig	UNSAT	5.8771	5.88262	461812
additional-aig/pico-java/ prop08_len18_step.aig	UNSAT	5.9281	5.93589	461820
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^18.E.aig	UNSAT	6.30804	6.30831	461682
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^18.E.aig	UNSAT	6.534	6.53604	461745
additional-aig/pico-java/ prop05_len40_base.aig	UNSAT	6.91195	6.91429	461821
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^18.E.aig	UNSAT	6.95394	6.99915	461724
additional-aig/pico-java/ prop16_len18_step.aig	UNSAT	7.1959	7.19499	461811
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^14.E.aig	UNSAT	7.51386	7.52179	461776
industrial-aig/babic/ xinetd/xinetd_vc56687.aig	UNSAT	7.52486	7.53014	461601
industrial-aig/babic/ xinetd/xinetd_vc56703.aig	UNSAT	7.95579	7.96148	461594
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^14.E.aig	UNSAT	8.03678	8.04122	461713
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^14.E.aig	UNSAT	8.43072	8.43621	461692
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^14.E.aig	UNSAT	9.23859	9.24423	461755
additional-aig/pico-java/ prop02_len65_base.aig	UNSAT	9.41457	9.41369	461814
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^14.E.aig	UNSAT	9.64553	9.64489	461734
industrial-aig/babic/ xinetd/itox_vc965.aig	UNSAT	10.1155	10.1251	461600
additional-aig/tip-k-ind-aigs-o1234g/ O2/ken.oop^1.C.aig	UNSAT	10.4554	10.4574	461727
additional-aig/tip-k-ind-aigs-o1234g/ O1/ken.oop^1.C.aig	UNSAT	10.5084	10.5127	461748
additional-aig/minisat+/ ooo_tag14.noobj_unsat.aig	UNSAT	12.0772	12.0785	461822
additional-aig/ c32sat-ssort/ssort5.aig	UNSAT	12.4321	12.4356	461807
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^19.E.aig	UNSAT	14.2818	14.2885	461770
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^19.E.aig	UNSAT	14.7658	14.7687	461707
additional-aig/tip-k-ind-aigs-o1234g/ O3/ken.oop^1.C.aig	UNSAT	14.7957	14.7982	461769
industrial-aig/palacios/ uts/uts-l05-ipc5-h26-unsat.aig	UNSAT	14.9317	14.9484	461652
additional-aig/tip-k-ind-aigs-o1234g/ O4/ken.oop^1.C.aig	UNSAT	14.9407	14.9441	461706
additional-aig/tip-k-ind-aigs-o1234g/ Og/ken.oop^1.C.aig	UNSAT	15.2847	15.2867	461685
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^15.E.aig	UNSAT	15.6746	15.6795	461716
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^15.E.aig	UNSAT	15.8306	15.8449	461779
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^19.E.aig	UNSAT	15.8586	15.8615	461686
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.guidance^7.C.aig	UNSAT	15.8826	15.8891	461719
additional-aig/minisat+/ stein45.unsat.aig	UNSAT	15.9646	15.9659	461839
additional-aig/ibm/ ibm18_len28_unsat.aig	UNSAT	16.5965	16.6105	461784
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^19.E.aig	UNSAT	16.7255	16.7295	461728
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^19.E.aig	UNSAT	16.9074	16.9137	461749
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.guidance^7.C.aig	UNSAT	16.9394	16.9424	461782
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.guidance^7.C.aig	UNSAT	17.2384	17.2396	461740
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.guidance^7.C.aig	UNSAT	17.3344	17.3445	461761
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^15.E.aig	UNSAT	17.7683	17.7735	461695
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^15.E.aig	UNSAT	17.8553	17.8614	461737
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.guidance^7.C.aig	UNSAT	18.5032	18.5031	461698
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^15.E.aig	UNSAT	18.8091	18.82	461758
additional-aig/ibm/ ibm29_len25_unsat.aig	UNSAT	19.561	19.5641	461791
industrial-aig/jarvisalo/ eq.atree.braun.8.unsat.aig	UNSAT	20.5499	20.5511	461647
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^17.E.aig	UNSAT	21.1468	21.1514	461708
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^17.E.aig	UNSAT	21.2328	21.2388	461771
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^12.E.aig	UNSAT	23.3714	23.3771	461778
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^17.E.aig	UNSAT	23.8104	23.816	461687
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^12.E.aig	UNSAT	24.8102	24.8178	461715
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^17.E.aig	UNSAT	24.9352	24.9443	461729
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^17.E.aig	UNSAT	25.1162	25.1167	461750
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^12.E.aig	UNSAT	26.022	26.0361	461757
industrial-aig/palacios/uts/ uts-l05-ipc5-h27-unknown.aig	UNSAT	26.166	26.1811	461659
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^12.E.aig	UNSAT	27.4448	27.4539	461694
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^12.E.aig	UNSAT	28.0277	28.0402	461736
industrial-aig/palacios/uts/ uts-l06-ipc5-h29-unknown.aig	UNSAT	31.1643	31.1748	461655
industrial-aig/palacios/uts/ uts-l06-ipc5-h30-unknown.aig	UNSAT	37.3943	37.4033	461653
industrial-aig/palacios/ medium/blocks-4-ipc5-h21-unknown.aig	UNSAT	37.5063	37.5117	461671
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^24.E.aig	UNSAT	39.589	39.5966	461774
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^24.E.aig	UNSAT	39.8219	39.8343	461711
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^24.E.aig	UNSAT	41.5337	41.5558	461690
additional-aig/tip-k-ind-aigs-o1234g/ O4/cmu.periodic.N.aig	UNSAT	42.0246	42.1345	461714
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S298.S.aig	UNSAT	42.2046	42.2254	461704
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S298.S.aig	UNSAT	44.2713	44.298	461767
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S298.S.aig	UNSAT	44.3443	44.3607	461683
additional-aig/tip-k-ind-aigs-o1234g/ O1/cmu.periodic.N.aig	UNSAT	44.5722	44.5863	461756
additional-aig/tip-k-ind-aigs-o1234g/ O2/cmu.periodic.N.aig	UNSAT	44.5792	44.6001	461735
additional-aig/tip-k-ind-aigs-o1234g/ O3/cmu.periodic.N.aig	UNSAT	44.6722	44.6877	461777
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S298.S.aig	UNSAT	44.6732	44.6905	461725
additional-aig/pico-java/ prop18_len08_base.aig	UNSAT	44.7192	44.7303	461813
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S298.S.aig	UNSAT	44.7602	44.773	461746
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^24.E.aig	UNSAT	44.8802	44.9002	461732
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^24.E.aig	UNSAT	45.0172	45.0254	461753
additional-aig/tip-k-ind-aigs-o1234g/ Og/cmu.periodic.N.aig	UNSAT	45.1041	45.1238	461693
industrial-aig/palacios/uts/ uts-l06-ipc5-h28-unknown.aig	UNSAT	45.8905	23.0057	461654
industrial-aig/anbulagan/ medium-unsat/total-5-11-u.aig	UNSAT	48.2947	48.3222	461524
industrial-aig/palacios/ medium/blocks-4-ipc5-h22-unknown.aig	UNSAT	54.6227	54.757	461662
additional-aig/pico-java/ prop18_len09_step.aig	UNSAT	55.6755	55.6959	461816
additional-aig/ibm/ ibm22_len51_unsat.aig	UNSAT	60.7508	60.7893	461792
industrial-aig/anbulagan/ medium-unsat/dated-10-15-u.aig	UNSAT	62.6035	62.6353	461525
industrial-aig/palacios/ medium/cube-9-h10-unsat.aig	UNSAT	67.6397	67.6616	461665
industrial-aig/palacios/uts/ uts-l06-ipc5-h31-unknown.aig	UNSAT	71.0862	71.1159	461658
additional-aig/minisat+/ lseu.unsat.aig	UNSAT	74.5137	74.5543	461832
additional-aig/ c32sat-ssort/ssort6.aig	UNSAT	76.4064	76.4343	461799
industrial-aig/jarvisalo/ eq.atree.braun.9.unsat.aig	UNSAT	93.2958	93.3331	461645
industrial-aig/fuhs/ medium/AProVE07-22.aig	UNSAT	102.337	102.382	461586
industrial-aig/ manolios/manol-pipe-c6nidw_i.aig	UNSAT	106.215	106.275	461627
industrial-aig/anbulagan/ medium-unsat/total-10-11-u.aig	UNSAT	114.401	114.459	461526
additional-aig/pico-java/ prop05_len41_step.aig	UNSAT	115.363	115.396	461817
additional-aig/ibm/ ibm23_len35_unsat.aig	UNSAT	125.649	125.726	461787
additional-aig/pico-java/ prop06_len41_step.aig	UNSAT	129.591	129.625	461810
industrial-aig/anbulagan/ medium-unsat/total-5-13-u.aig	UNSAT	169.919	170.01	461522
additional-aig/ibm/ ibm20_len43_unsat.aig	UNSAT	171.625	171.723	461785
industrial-aig/fuhs/ medium/AProVE07-15.aig	UNSAT	192.513	192.634	461585
industrial-aig/manolios/ manol-pipe-c10nidw_s.aig	UNSAT	201.873	201.987	461630
industrial-aig/anbulagan/ medium-unsat/dated-5-11-u.aig	UNSAT	202.58	202.654	461521
industrial-aig/ manolios/manol-pipe-c7bidw_i.aig	UNSAT	206.272	206.419	461623
additional-aig/pico-java/ prop02_len66_step.aig	UNSAT	252.326	252.389	461815
industrial-aig/fuhs/ medium/AProVE07-04.aig	UNSAT	255.089	255.169	461579
additional-aig/minisat+/ cache.noobj_unsat.aig	UNSAT	283.486	283.664	461824
industrial-aig/palacios/uts/ uts-l06-ipc5-h33-unknown.aig	UNSAT	286.856	287.065	461660
industrial-aig/fuhs/ medium/AProVE07-06.aig	UNSAT	296.913	296.992	461583
industrial-aig/palacios/uts/ uts-l06-ipc5-h32-unknown.aig	UNSAT	298.36	298.429	461661
industrial-aig/fuhs/ medium/AProVE07-20.aig	UNSAT	320.338	320.542	461581
additional-aig/minisat+/ p0201.unsat.aig	UNSAT	417.066	417.285	461838
additional-aig/ c32sat-ssort/ssort7.aig	UNSAT	545.788	546.026	461809
industrial-aig/fuhs/ medium/AProVE07-21.aig	UNSAT	584.99	585.117	461584
industrial-aig/ manolios/manol-pipe-g10bidw.aig	UNSAT	700.933	701.391	461631
industrial-aig/fuhs/ medium/AProVE07-02.aig	UNSAT	703.533	703.805	461582
industrial-aig/jarvisalo/ eq.atree.braun.10.unsat.aig	UNSAT	846.463	846.813	461649
industrial-aig/fuhs/ hard/AProVE07-08.aig	UNSAT	851.332	851.647	461588
industrial-aig/fuhs/ medium/AProVE07-16.aig	UNSAT	851.99	852.491	461580
industrial-aig/fuhs/ medium/AProVE07-09.aig	UNSAT	902.492	902.726	461578
industrial-aig/manolios/ manol-pipe-c7nidw.aig	UNSAT	973.595	973.958	461632
industrial-aig/palacios/medium/ emptyroom-4-h21-unsat.aig	UNSAT	1150.36	1150.86	461667

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/minisat+/ stein27.sat_opt.aig	SAT	0.139978	0.142721	461828
additional-aig/minisat+/ stein45.sat_opt.aig	SAT	0.208967	0.207946	461846
additional-aig/minisat+/ par8-5-c.sat_opt.aig	SAT	0.323949	0.32284	461823
additional-aig/minisat+/ p033.sat_opt.aig	SAT	0.38494	0.388212	461848
additional-aig/minisat+/ jnh209.sat_opt.aig	SAT	0.466928	0.465524	461826
additional-aig/minisat+/ g9x9.sat_opt.aig	SAT	0.484926	0.483893	461845
additional-aig/minisat+/ mod008.unsat.aig	SAT	0.71589	0.714992	461861
additional-aig/minisat+/ mod008.sat_opt.aig	SAT	0.733887	0.787083	461856
additional-aig/minisat+/ enigma.unsat.aig	SAT	1.08683	1.08603	461854
additional-aig/minisat+/ enigma.sat_opt.aig	SAT	1.08783	1.08452	461849
industrial-aig/ narain/clauses-2.aig	SAT	4.07338	4.06968	461641
additional-aig/minisat+/ s4-4-3-1.sat_opt.aig	SAT	4.24235	4.24282	461835
additional-aig/ minisat+/pk1.usnat.aig	SAT	5.08223	5.08067	461840
additional-aig/minisat+/ pk1.sat_opt.aig	SAT	5.09822	5.09754	461831
additional-aig/ibm/ ibm29_len26_sat.aig	SAT	10.3744	10.3819	461789
additional-aig/minisat+/ l152lav.unsat.aig	SAT	13.022	13.0272	461857
additional-aig/minisat+/ l152lav.sat_opt.aig	SAT	13.05	13.0529	461834
additional-aig/ibm/ ibm18_len29_sat.aig	SAT	15.7666	15.7702	461790
industrial-aig/babic/ xinetd/itox_vc1130.aig	SAT	19.607	19.6173	461593
industrial-aig/babic/ xinetd/itox_vc1138.aig	SAT	26.604	26.6143	461597
additional-aig/ibm/ ibm20_len44_sat.aig	SAT	27.3618	27.3842	461793
industrial-aig/palacios/uts/ uts-l06-ipc5-h35-unknown.aig	SAT	34.7637	34.7823	461657
industrial-aig/palacios/uts/ uts-l06-ipc5-h34-unknown.aig	SAT	49.1575	49.1702	461656
industrial-aig/ grieu/vmpc_24.aig	SAT	51.3002	51.3206	461639
additional-aig/minisat+/ lseu.sat_opt.aig	SAT	57.6342	57.653	461855
additional-aig/ibm/ ibm22_len52_sat.aig	SAT	123.671	123.701	461788
additional-aig/ibm/ ibm23_len36_sat.aig	SAT	142.725	142.821	461786
industrial-aig/ grieu/vmpc_25.aig	SAT	172.272	172.366	461634
industrial-aig/crypto/ mizh-sha0-35-4.aig	SAT	237.01	237.073	461569
industrial-aig/palacios/medium/ emptyroom-4-h22-sat.aig	SAT	271.512	271.588	461663
additional-aig/minisat+/ air03.sat_nonopt.aig	SAT	305.433	305.609	461844
additional-aig/minisat+/ p0201.sat_opt.aig	SAT	334.393	334.594	461860
additional-aig/minisat+/ air03.undecided.aig	SAT	342.832	343	461830
industrial-aig/crypto/ mizh-sha0-35-5.aig	SAT	386.084	386.24	461575
industrial-aig/ grieu/vmpc_27.aig	SAT	389.558	389.67	461633
additional-aig/minisat+/ ii8d1.sat_nonopt.aig	SAT	429.966	430.209	461859
industrial-aig/ grieu/vmpc_26.aig	SAT	476.289	476.386	461638
industrial-aig/crypto/ mizh-sha0-35-2.aig	SAT	647.962	648.191	461574
industrial-aig/crypto/ mizh-sha0-35-3.aig	SAT	656.347	656.53	461568

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/ c32sat-ssort/ssort11.aig	? (TO)	1200	1200.41	461797
additional-aig/ c32sat-ssort/ssort12.aig	? (TO)	1200	1200.71	461802
industrial-aig/crypto/ mizh-sha0-36-2.aig	? (TO)	1200	1200.31	461571
industrial-aig/anbulagan/ hard-unsat/partial-5-13-u.aig	? (TO)	1200	1200.71	461548
industrial-aig/anbulagan/ hard-unsat/total-5-19-u.aig	? (TO)	1200	1200.31	461549
additional-aig/ c32sat-ssort/ssort18.aig	? (TO)	1200	1200.41	461800
additional-aig/ c32sat-ssort/ssort17.aig	? (TO)	1200	1200.51	461794
industrial-aig/anbulagan/ medium-sat/total-10-15-s.aig	? (TO)	1200.01	1200.41	461543
industrial-aig/anbulagan/ hard-sat/partial-10-11-s.aig	? (TO)	1200.01	1200.51	461532
industrial-aig/palacios/ hard/sortnet-8-ipc5-h18-unsat.aig	? (TO)	1200.01	1200.61	461675
industrial-aig/anbulagan/ hard-unsat/dated-5-17-u.aig	? (TO)	1200.01	1200.91	461552
industrial-aig/anbulagan/ hard-unsat/partial-5-15-u.aig	? (TO)	1200.01	1200.31	461560
industrial-aig/anbulagan/ hard-unsat/partial-5-19-u.aig	? (TO)	1200.01	1200.41	461565
industrial-aig/palacios/ hard/safe-50-h49-unsat.aig	? (TO)	1200.01	1200.91	461673
industrial-aig/anbulagan/ hard-unsat/dated-10-19-u.aig	? (TO)	1200.02	1200.41	461544
industrial-aig/ grieu/vmpc_28.aig	? (TO)	1200.02	1200.81	461636
industrial-aig/anbulagan/ hard-sat/partial-10-19-s.aig	? (TO)	1200.02	1200.02	461530
industrial-aig/fuhs/ hard/AProVE07-01.aig	? (TO)	1200.02	1200.71	461590
industrial-aig/anbulagan/ hard-sat/partial-5-17-s.aig	? (TO)	1200.02	1200.51	461528
industrial-aig/anbulagan/ hard-unsat/dated-5-13-u.aig	? (TO)	1200.02	1200.81	461558
additional-aig/ c32sat-ssort/ssort19.aig	? (TO)	1200.02	1200.51	461808
additional-aig/ minisat+/seymour.sat_nonopt.aig	? (TO)	1200.02	1200.41	461847
additional-aig/minisat+/ mitre.undecided.aig	? (TO)	1200.02	1200.61	461851
industrial-aig/ grieu/vmpc_30.aig	? (TO)	1200.03	1200.51	461637
industrial-aig/jarvisalo/ eq.atree.braun.13.unsat.aig	? (TO)	1200.03	1200.61	461648
industrial-aig/anbulagan/ medium-sat/dated-10-13-s.aig	? (TO)	1200.03	1200.51	461537
additional-aig/minisat+/ mitre.sat_unopt.aig	? (TO)	1200.03	1201.12	461836
industrial-aig/fuhs/ hard/AProVE07-26.aig	? (TO)	1200.03	1200.51	461587
additional-aig/minisat+/ p0548.sat_nonopt.aig	? (TO)	1200.03	1200.61	461853
additional-aig/ c32sat-ssort/ssort14.aig	? (TO)	1200.03	1200.91	461801
industrial-aig/palacios/medium/ sortnet-7-ipc5-h16-sat.aig	? (TO)	1200.03	1200.51	461666
industrial-aig/ grieu/vmpc_29.aig	? (TO)	1200.04	1200.51	461640
industrial-aig/jarvisalo/ eq.atree.braun.11.unsat.aig	? (TO)	1200.04	1200.12	461650
industrial-aig/palacios/ hard/safe-50-h50-sat.aig	? (TO)	1200.04	1200.61	461677
additional-aig/minisat+/ g15x15.undecided.aig	? (TO)	1200.04	1201.01	461827
industrial-aig/anbulagan/ hard-unsat/dated-10-17-u.aig	? (TO)	1200.04	1200.81	461559
additional-aig/minisat+/ ii8d1.undecided.aig	? (TO)	1200.04	1200.51	461852
industrial-aig/palacios/ medium/cube-11-h14-sat.aig	? (TO)	1200.04	1200.51	461664
industrial-aig/palacios/ medium/cube-9-h11-sat.aig	? (TO)	1200.04	1200.51	461670
industrial-aig/anbulagan/ hard-unsat/total-10-15-u.aig	? (TO)	1200.05	1200.51	461545
industrial-aig/anbulagan/ medium-unsat/total-10-13-u.aig	? (TO)	1200.05	1200.81	461523
industrial-aig/palacios/ hard/sortnet-7-ipc5-h15-unsat.aig	? (TO)	1200.05	1200.51	461678
industrial-aig/crypto/ mizh-md5-48-5.aig	? (TO)	1200.05	1200.81	461570
additional-aig/ c32sat-ssort/ssort15.aig	? (TO)	1200.05	1200.91	461798
industrial-aig/manolios/ manol-pipe-f9b.aig	? (TO)	1200.05	1200.41	461624
industrial-aig/palacios/ hard/safe-30-h29-unsat.aig	? (TO)	1200.05	1200.51	461676
industrial-aig/anbulagan/ hard-sat/partial-5-19-s.aig	? (TO)	1200.05	1200.41	461527
industrial-aig/anbulagan/ medium-sat/total-10-19-s.aig	? (TO)	1200.05	1200.41	461541
industrial-aig/anbulagan/ hard-unsat/dated-10-11-u.aig	? (TO)	1200.05	1200.41	461550
industrial-aig/anbulagan/ hard-unsat/partial-10-19-u.aig	? (TO)	1200.05	1200.41	461553
additional-aig/minisat+/ seymour.undecided.aig	? (TO)	1200.05	1200.81	461833
industrial-aig/anbulagan/ medium-sat/partial-5-15-s.aig	? (TO)	1200.06	1200.41	461534
industrial-aig/anbulagan/ hard-unsat/dated-5-19-u.aig	? (TO)	1200.06	1200.41	461547
additional-aig/ c32sat-ssort/ssort9.aig	? (TO)	1200.06	1200.51	461806
industrial-aig/anbulagan/ hard-unsat/partial-5-17-u.aig	? (TO)	1200.06	1200.51	461567
industrial-aig/anbulagan/ medium-sat/total-5-19-s.aig	? (TO)	1200.06	1200.51	461538
industrial-aig/palacios/hard/ sortnet-8-ipc5-h19-sat.aig	? (TO)	1200.06	1200.61	461672
industrial-aig/anbulagan/ hard-unsat/partial-5-11-u.aig	? (TO)	1200.06	1200.41	461557
industrial-aig/anbulagan/ hard-unsat/dated-10-13-u.aig	? (TO)	1200.06	1200.51	461554
industrial-aig/manolios/ manol-pipe-f7idw.aig	? (TO)	1200.07	1200.51	461625
industrial-aig/ narain/clauses-8.aig	? (TO)	1200.07	1200.81	461643
industrial-aig/anbulagan/ hard-unsat/total-5-15-u.aig	? (TO)	1200.07	1200.91	461564
industrial-aig/fuhs/ hard/AProVE07-27.aig	? (TO)	1200.07	1200.52	461591
industrial-aig/fuhs/ hard/AProVE07-25.aig	? (TO)	1200.07	1200.41	461592
industrial-aig/manolios/ manol-pipe-f10ni.aig	? (TO)	1200.07	1200.81	461628
industrial-aig/anbulagan/ hard-sat/partial-10-13-s.aig	? (TO)	1200.07	1200.89	461531
industrial-aig/anbulagan/ hard-sat/partial-10-17-s.aig	? (TO)	1200.07	1200.81	461533
industrial-aig/anbulagan/ hard-unsat/partial-10-11-u.aig	? (TO)	1200.07	1200.51	461556
additional-aig/minisat+/ p0548.undecided.aig	? (TO)	1200.07	1200.51	461850
industrial-aig/palacios/ medium/safe-30-h30-sat.aig	? (TO)	1200.07	1200.51	461668
industrial-aig/palacios/ medium/cube-11-h13-unsat.aig	? (TO)	1200.07	1200.51	461669
industrial-aig/anbulagan/ hard-sat/partial-10-15-s.aig	? (TO)	1200.08	1200.41	461529
industrial-aig/anbulagan/ hard-unsat/partial-10-17-u.aig	? (TO)	1200.08	1200.42	461563
industrial-aig/anbulagan/ hard-unsat/partial-10-13-u.aig	? (TO)	1200.08	1200.81	461566
industrial-aig/fuhs/ hard/AProVE07-03.aig	? (TO)	1200.08	1200.48	461589
additional-aig/ c32sat-ssort/ssort16.aig	? (TO)	1200.08	1200.61	461803
industrial-aig/palacios/ hard/sortnet-6-ipc5-h11-unsat.aig	? (TO)	1200.08	1200.51	461674
additional-aig/ c32sat-ssort/ssort10.aig	? (TO)	1200.08	1200.61	461804
additional-aig/minisat+/ g15x15.sat_nonopt.aig	? (TO)	1200.08	1200.61	461825
industrial-aig/manolios/ manol-pipe-g10nid.aig	? (TO)	1200.09	1200.51	461629
industrial-aig/ grieu/vmpc_31.aig	? (TO)	1200.09	1200.81	461635
industrial-aig/anbulagan/ medium-sat/dated-10-17-s.aig	? (TO)	1200.09	1200.41	461536
industrial-aig/jarvisalo/ eq.atree.braun.12.unsat.aig	? (TO)	1200.09	1200.51	461651
industrial-aig/anbulagan/ hard-unsat/partial-10-15-u.aig	? (TO)	1200.09	1200.41	461546
industrial-aig/manolios/ manol-pipe-f9n.aig	? (TO)	1200.09	1200.61	461626
industrial-aig/anbulagan/ hard-unsat/dated-5-15-u.aig	? (TO)	1200.09	1200.41	461555
industrial-aig/anbulagan/ hard-unsat/total-10-19-u.aig	? (TO)	1200.09	1200.41	461562
additional-aig/ c32sat-ssort/ssort13.aig	? (TO)	1200.09	1200.81	461795
additional-aig/ c32sat-ssort/ssort20.aig	? (TO)	1200.09	1200.51	461796
industrial-aig/anbulagan/ medium-sat/total-10-17-s.aig	? (TO)	1200.1	1200.91	461539
industrial-aig/anbulagan/ hard-unsat/total-5-17-u.aig	? (TO)	1200.1	1200.81	461561
industrial-aig/anbulagan/ hard-unsat/total-10-17-u.aig	? (TO)	1200.1	1200.51	461551
additional-aig/ c32sat-ssort/ssort8.aig	? (TO)	1200.1	1200.91	461805

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/tip-k-ind-aigs-o1234g/ O1/texas.parsesys^2.E.aig	? (problem)	0.171972	0.170212	461760
additional-aig/tip-k-ind-aigs-o1234g/ O4/texas.parsesys^2.E.aig	? (problem)	0.182972	0.181571	461718
additional-aig/tip-k-ind-aigs-o1234g/ O3/texas.parsesys^2.E.aig	? (problem)	0.183971	0.183016	461781
additional-aig/tip-k-ind-aigs-o1234g/ O2/texas.parsesys^2.E.aig	? (problem)	0.197969	0.195834	461739
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.tcas^2.B.aig	? (problem)	2.46762	2.46742	461762
industrial-aig/babic/ xinetd/itox_vc979.aig	? (problem)	10.8733	10.8788	461598
industrial-aig/babic/dspam/ dspam_dump_vc1093.aig	? (problem)	11.0163	11.0178	461611
industrial-aig/babic/dspam/ dspam_dump_vc962.aig	? (problem)	11.2363	11.2377	461608
industrial-aig/babic/dspam/ dspam_dump_vc949.aig	? (problem)	11.7032	11.7044	461609
industrial-aig/babic/dspam/ dspam_dump_vc950.aig	? (problem)	11.7752	11.7837	461607
industrial-aig/babic/dspam/ dspam_dump_vc1081.aig	? (problem)	12.1891	12.189	461610
industrial-aig/babic/dspam/ dspam_dump_vc1080.aig	? (problem)	12.883	12.8896	461604
industrial-aig/babic/ xinetd/itox_vc1044.aig	? (problem)	14.0259	14.0368	461602
industrial-aig/babic/ xinetd/itox_vc1216.aig	? (problem)	14.1089	14.1153	461599
industrial-aig/babic/ xinetd/itox_vc1033.aig	? (problem)	14.1468	14.1478	461596
industrial-aig/babic/ xinetd/itox_vc909.aig	? (problem)	14.6498	14.6549	461595
industrial-aig/babic/ hsatv17/hsat_vc12016.aig	? (problem)	14.8857	14.894	461621
industrial-aig/babic/ hsatv17/hsat_vc11944.aig	? (problem)	17.4094	17.4152	461618
industrial-aig/babic/ hsatv17/hsat_vc11935.aig	? (problem)	17.4663	17.4624	461613
industrial-aig/babic/ hsatv17/hsat_vc12070.aig	? (problem)	19.62	19.6226	461615
industrial-aig/babic/ hsatv17/hsat_vc12062.aig	? (problem)	19.814	19.8173	461622
industrial-aig/ narain/clauses-4.aig	? (problem)	23.5384	23.5518	461644
industrial-aig/babic/ hsatv17/hsat_vc12072.aig	? (problem)	23.6124	23.6231	461616
industrial-aig/babic/ hsatv17/hsat_vc11773.aig	? (problem)	24.2573	24.2667	461619
industrial-aig/babic/ hsatv17/hsat_vc11817.aig	? (problem)	24.3883	24.3989	461617
industrial-aig/babic/ hsatv17/hsat_vc11803.aig	? (problem)	28.2897	28.2989	461614
industrial-aig/babic/dspam/ dspam_dump_vc972.aig	? (problem)	31.7962	31.8133	461603
industrial-aig/babic/dspam/ dspam_dump_vc973.aig	? (problem)	31.8202	31.836	461612
industrial-aig/babic/dspam/ dspam_dump_vc1103.aig	? (problem)	32.2291	32.2705	461606
industrial-aig/babic/dspam/ dspam_dump_vc1104.aig	? (problem)	32.2811	32.2952	461605
industrial-aig/babic/ hsatv17/hsat_vc11813.aig	? (problem)	32.3571	32.3704	461620
industrial-aig/ narain/clauses-6.aig	? (problem)	110.008	110.044	461642
industrial-aig/crypto/ mizh-md5-47-3.aig	? (problem)	146.17	146.226	461577
industrial-aig/crypto/ mizh-md5-47-5.aig	? (problem)	203.138	203.261	461573
industrial-aig/anbulagan/ medium-sat/total-5-17-s.aig	? (problem)	224.664	224.678	461535
industrial-aig/crypto/ mizh-md5-47-4.aig	? (problem)	412.862	413.218	461576
industrial-aig/crypto/ mizh-md5-48-2.aig	? (problem)	448.123	448.237	461572
industrial-aig/anbulagan/ medium-sat/partial-5-11-s.aig	? (problem)	568.013	568.41	461542
industrial-aig/anbulagan/ medium-sat/partial-5-13-s.aig	? (problem)	688.16	689.334	461540

SAT 2007 Competition AIG special track: benchmarks results per solver

Result page for solver minicirc 2007-05-17

Category "all instances" (ALL)

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

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

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

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

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