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.268958	0.270427	461447
additional-aig/tip-k-ind-aigs-o1234g/ Og/texas.parsesys^2.E.aig	UNSAT	0.422935	0.424671	460863
additional-aig/tip-k-ind-aigs-o1234g/ O2/texas.parsesys^2.E.aig	UNSAT	0.471927	0.473154	461031
additional-aig/tip-k-ind-aigs-o1234g/ O3/texas.parsesys^2.E.aig	UNSAT	0.479926	0.481052	461199
additional-aig/tip-k-ind-aigs-o1234g/ O4/texas.parsesys^2.E.aig	UNSAT	0.483925	0.485656	460947
additional-aig/minisat+/ jnh209.unsat.aig	UNSAT	0.512921	0.51514	461439
additional-aig/minisat+/ p033.unsat.aig	UNSAT	0.516921	0.518623	461391
additional-aig/tip-k-ind-aigs-o1234g/ O1/texas.parsesys^2.E.aig	UNSAT	0.573912	0.576089	461115
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^16.E.aig	UNSAT	0.703892	0.706047	460875
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^16.E.aig	UNSAT	0.746885	0.74865	461127
additional-aig/minisat+/ stein27.unsat.aig	UNSAT	0.85087	0.85293	461507
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S953.S.aig	UNSAT	0.852869	0.853045	460895
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^16.E.aig	UNSAT	0.859868	0.861653	460791
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.tcas^2.B.aig	UNSAT	0.897862	0.900144	460955
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.tcas^3.B.aig	UNSAT	0.904861	0.908014	460963
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.tcas^3.B.aig	UNSAT	0.922859	0.923393	460795
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S953.S.aig	UNSAT	0.927858	0.933605	461147
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.tcas^3.B.aig	UNSAT	0.945855	0.948011	461047
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.tcas^2.B.aig	UNSAT	0.948855	0.951713	461207
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^16.E.aig	UNSAT	0.98285	0.984484	460959
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.tcas^3.B.aig	UNSAT	1.00984	1.01205	460879
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.tcas^2.B.aig	UNSAT	1.01684	1.01921	461039
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.tcas^2.B.aig	UNSAT	1.03984	1.04219	461123
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S953.S.aig	UNSAT	1.05584	1.05792	460979
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^16.E.aig	UNSAT	1.07184	1.07341	461043
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S953.S.aig	UNSAT	1.13883	1.14121	461063
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.tcas^2.B.aig	UNSAT	1.21881	1.22183	460871
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.tcas^3.B.aig	UNSAT	1.23981	1.24143	461131
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^13.E.aig	UNSAT	1.25581	1.25719	460911
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S953.S.aig	UNSAT	1.25881	1.26018	460811
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^13.E.aig	UNSAT	1.3338	1.33611	461163
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.guidance^1.C.aig	UNSAT	1.58676	1.58822	460799
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.guidance^1.C.aig	UNSAT	1.63775	1.63956	460967
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.guidance^1.C.aig	UNSAT	1.69674	1.70026	461135
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^13.E.aig	UNSAT	1.72674	1.72865	460827
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^13.E.aig	UNSAT	1.74073	1.74265	460995
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S510.S.aig	UNSAT	1.77373	1.77561	460943
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S510.S.aig	UNSAT	1.88771	1.89029	461195
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.guidance^1.C.aig	UNSAT	1.92871	1.93125	461051
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.guidance^1.C.aig	UNSAT	1.9577	1.96101	460883
additional-aig/pico-java/ prop08_len17_base.aig	UNSAT	1.9847	1.98699	461347
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S510.S.aig	UNSAT	2.02769	2.03019	461027
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^13.E.aig	UNSAT	2.04169	2.04983	461079
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S510.S.aig	UNSAT	2.51162	2.51416	461111
additional-aig/minisat+/ g9x9.unsat.aig	UNSAT	2.74458	2.7465	461443
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S820.S.aig	UNSAT	3.03654	3.03932	461091
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S832.S.aig	UNSAT	3.16652	3.16823	461167
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S820.S.aig	UNSAT	3.23351	3.23723	460923
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S820.S.aig	UNSAT	3.2715	3.27369	461175
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S510.S.aig	UNSAT	3.35949	3.36199	460859
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S832.S.aig	UNSAT	3.40448	3.40749	461083
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S820.S.aig	UNSAT	3.56146	3.57247	461007
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^18.E.aig	UNSAT	3.73543	3.73843	461139
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^18.E.aig	UNSAT	3.84542	3.84867	460887
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S820.S.aig	UNSAT	3.9674	3.97076	460839
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^14.E.aig	UNSAT	4.15037	4.15455	460927
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S832.S.aig	UNSAT	4.16637	4.17039	460915
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S832.S.aig	UNSAT	4.25935	4.2612	460999
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^18.E.aig	UNSAT	4.49032	4.4922	460803
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^18.E.aig	UNSAT	4.73828	4.74078	461055
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^14.E.aig	UNSAT	4.96624	4.96938	461179
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S832.S.aig	UNSAT	5.05223	5.05508	460831
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^18.E.aig	UNSAT	5.38118	5.38487	460971
additional-aig/minisat+/ s4-4-3-1.unsat.aig	UNSAT	5.47917	5.48183	461423
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^14.E.aig	UNSAT	6.00909	6.012	460843
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^14.E.aig	UNSAT	7.41387	7.42388	461011
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^14.E.aig	UNSAT	7.47386	7.48358	461095
industrial-aig/jarvisalo/ eq.atree.braun.7.unsat.aig	UNSAT	7.70683	7.70782	460659
industrial-aig/babic/ xinetd/xinetd_vc56703.aig	UNSAT	9.55755	9.56232	460451
industrial-aig/babic/ xinetd/xinetd_vc56687.aig	UNSAT	10.3264	10.3326	460479
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^19.E.aig	UNSAT	11.2763	11.2801	461155
industrial-aig/babic/ xinetd/itox_vc979.aig	UNSAT	13.219	13.2327	460467
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^19.E.aig	UNSAT	13.257	13.2624	460903
industrial-aig/babic/ xinetd/itox_vc965.aig	UNSAT	13.9579	13.966	460475
industrial-aig/babic/dspam/ dspam_dump_vc1093.aig	UNSAT	15.7846	15.798	460519
industrial-aig/babic/ hsatv17/hsat_vc12016.aig	UNSAT	16.4965	16.5031	460559
industrial-aig/babic/ xinetd/itox_vc1216.aig	UNSAT	17.1234	17.1296	460471
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^19.E.aig	UNSAT	17.4114	17.4181	460987
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^15.E.aig	UNSAT	17.5463	17.5466	460855
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^19.E.aig	UNSAT	17.8463	17.8612	460819
additional-aig/tip-k-ind-aigs-o1234g/ O4/cmu.periodic.N.aig	UNSAT	18.4342	18.4526	460931
additional-aig/tip-k-ind-aigs-o1234g/ O3/cmu.periodic.N.aig	UNSAT	18.4482	18.4716	461183
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^15.E.aig	UNSAT	18.6392	18.6608	460939
industrial-aig/babic/dspam/ dspam_dump_vc1081.aig	UNSAT	18.7242	18.7267	460515
additional-aig/tip-k-ind-aigs-o1234g/ Og/cmu.periodic.N.aig	UNSAT	19.928	19.9429	460847
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^15.E.aig	UNSAT	20.013	20.0287	461191
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^15.E.aig	UNSAT	21.4457	21.4541	461023
additional-aig/tip-k-ind-aigs-o1234g/ O4/eijk.S298.S.aig	UNSAT	22.5136	22.5147	460891
industrial-aig/babic/dspam/ dspam_dump_vc949.aig	UNSAT	23.2425	23.2512	460511
industrial-aig/babic/ hsatv17/hsat_vc12070.aig	UNSAT	23.8804	23.8958	460535
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^15.E.aig	UNSAT	24.6133	24.6311	461107
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^19.E.aig	UNSAT	25.4161	25.4245	461071
additional-aig/tip-k-ind-aigs-o1234g/ O2/eijk.S298.S.aig	UNSAT	26.569	26.5791	460975
additional-aig/tip-k-ind-aigs-o1234g/ O1/eijk.S298.S.aig	UNSAT	26.9689	26.9776	461059
industrial-aig/babic/dspam/ dspam_dump_vc950.aig	UNSAT	27.1859	27.1973	460503
additional-aig/tip-k-ind-aigs-o1234g/ O1/cmu.periodic.N.aig	UNSAT	27.9248	27.954	461099
additional-aig/tip-k-ind-aigs-o1234g/ O2/cmu.periodic.N.aig	UNSAT	29.2006	29.209	461015
additional-aig/tip-k-ind-aigs-o1234g/ O3/eijk.S298.S.aig	UNSAT	29.4205	29.4352	461143
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^12.E.aig	UNSAT	30.9303	30.942	460935
additional-aig/tip-k-ind-aigs-o1234g/ Og/eijk.S298.S.aig	UNSAT	31.0253	31.0504	460807
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^12.E.aig	UNSAT	33.114	33.1255	461187
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^17.E.aig	UNSAT	36.9484	36.9612	460907
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^17.E.aig	UNSAT	37.6723	37.6848	461159
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^12.E.aig	UNSAT	39.9609	39.9742	461019
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^12.E.aig	UNSAT	41.7836	41.8124	460851
industrial-aig/babic/ hsatv17/hsat_vc11803.aig	UNSAT	45.5221	45.5367	460531
industrial-aig/babic/ hsatv17/hsat_vc11773.aig	UNSAT	46.125	46.1427	460551
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^12.E.aig	UNSAT	46.8789	46.9106	461103
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^17.E.aig	UNSAT	47.0588	47.0723	460823
additional-aig/tip-k-ind-aigs-o1234g/ O4/vis.prodcell^24.E.aig	UNSAT	47.2748	47.3032	460919
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^17.E.aig	UNSAT	48.3337	48.3467	460991
additional-aig/minisat+/ stein45.unsat.aig	UNSAT	49.0405	49.0659	461431
industrial-aig/babic/ hsatv17/hsat_vc12062.aig	UNSAT	49.1495	49.1666	460563
industrial-aig/babic/dspam/ dspam_dump_vc973.aig	UNSAT	53.7028	53.7407	460523
industrial-aig/babic/ hsatv17/hsat_vc11813.aig	UNSAT	54.1048	54.1228	460555
additional-aig/tip-k-ind-aigs-o1234g/ Og/vis.prodcell^24.E.aig	UNSAT	57.1863	57.2249	460835
additional-aig/tip-k-ind-aigs-o1234g/ O3/vis.prodcell^24.E.aig	UNSAT	58.5981	58.6209	461171
industrial-aig/babic/ hsatv17/hsat_vc11935.aig	UNSAT	58.8121	58.8364	460527
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^17.E.aig	UNSAT	59.8969	59.9149	461075
industrial-aig/jarvisalo/ eq.atree.braun.8.unsat.aig	UNSAT	60.6288	60.6483	460663
industrial-aig/babic/ hsatv17/hsat_vc11944.aig	UNSAT	63.2714	63.3035	460547
additional-aig/tip-k-ind-aigs-o1234g/ O2/vis.prodcell^24.E.aig	UNSAT	66.3559	66.4086	461003
additional-aig/pico-java/ prop06_len40_base.aig	UNSAT	75.7555	75.7901	461323
additional-aig/tip-k-ind-aigs-o1234g/ O1/vis.prodcell^24.E.aig	UNSAT	82.0835	82.14	461087
industrial-aig/babic/ hsatv17/hsat_vc12072.aig	UNSAT	87.9836	88.0093	460539
industrial-aig/babic/ hsatv17/hsat_vc11817.aig	UNSAT	94.1647	94.1869	460543
industrial-aig/anbulagan/ medium-unsat/total-5-11-u.aig	UNSAT	94.7696	94.797	460171
additional-aig/pico-java/ prop02_len65_base.aig	UNSAT	99.2069	99.2605	461331
additional-aig/tip-k-ind-aigs-o1234g/ O2/nusmv.guidance^7.C.aig	UNSAT	117.482	117.517	461035
additional-aig/pico-java/ prop18_len08_base.aig	UNSAT	118.683	118.759	461327
industrial-aig/anbulagan/ medium-unsat/dated-10-15-u.aig	UNSAT	119.983	120.025	460175
additional-aig/tip-k-ind-aigs-o1234g/ O3/nusmv.guidance^7.C.aig	UNSAT	122.435	122.518	461203
additional-aig/tip-k-ind-aigs-o1234g/ Og/nusmv.guidance^7.C.aig	UNSAT	122.981	123.058	460867
additional-aig/tip-k-ind-aigs-o1234g/ O1/nusmv.guidance^7.C.aig	UNSAT	129.72	129.863	461119
additional-aig/tip-k-ind-aigs-o1234g/ O4/nusmv.guidance^7.C.aig	UNSAT	131.096	131.163	460951
additional-aig/ibm/ ibm18_len28_unsat.aig	UNSAT	143.648	143.695	461211
industrial-aig/babic/dspam/ dspam_dump_vc1080.aig	UNSAT	181.996	182.087	460491
additional-aig/minisat+/ ooo_tag14.noobj_unsat.aig	UNSAT	197.374	197.429	461363
industrial-aig/fuhs/ medium/AProVE07-15.aig	UNSAT	221.688	221.747	460415
industrial-aig/anbulagan/ medium-unsat/total-10-11-u.aig	UNSAT	247.405	247.568	460179
additional-aig/minisat+/ lseu.unsat.aig	UNSAT	248.698	248.868	461403
industrial-aig/anbulagan/ medium-unsat/total-5-13-u.aig	UNSAT	283.223	283.303	460163
additional-aig/pico-java/ prop05_len40_base.aig	UNSAT	287.586	287.756	461359
additional-aig/ibm/ ibm22_len51_unsat.aig	UNSAT	302.028	302.109	461243
industrial-aig/babic/dspam/ dspam_dump_vc962.aig	UNSAT	308.009	308.194	460507
industrial-aig/jarvisalo/ eq.atree.braun.9.unsat.aig	UNSAT	381.954	382.078	460655
industrial-aig/palacios/ uts/uts-l05-ipc5-h26-unsat.aig	UNSAT	449.561	449.815	460683
additional-aig/ibm/ ibm23_len35_unsat.aig	UNSAT	492.068	492.242	461223
industrial-aig/fuhs/ medium/AProVE07-06.aig	UNSAT	530.296	530.429	460407
industrial-aig/anbulagan/ medium-unsat/dated-5-11-u.aig	UNSAT	532.243	532.399	460159
additional-aig/ibm/ ibm29_len25_unsat.aig	UNSAT	596.569	596.951	461239
industrial-aig/palacios/ medium/cube-9-h10-unsat.aig	UNSAT	743.603	743.9	460735
industrial-aig/palacios/uts/ uts-l06-ipc5-h29-unknown.aig	UNSAT	763.22	763.793	460695
additional-aig/minisat+/ cache.noobj_unsat.aig	UNSAT	807.259	807.511	461371
industrial-aig/fuhs/ medium/AProVE07-04.aig	UNSAT	825.586	825.868	460391
additional-aig/minisat+/ g15x15.undecided.aig	UNSAT	901.747	901.956	461383
additional-aig/ibm/ ibm20_len43_unsat.aig	UNSAT	954.517	954.769	461215
industrial-aig/fuhs/ medium/AProVE07-22.aig	UNSAT	1029.9	1030.18	460419
industrial-aig/fuhs/ medium/AProVE07-21.aig	UNSAT	1033.44	1034.04	460411
industrial-aig/fuhs/ medium/AProVE07-20.aig	UNSAT	1080.35	1081.18	460399

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/minisat+/ stein27.sat_opt.aig	SAT	0.027994	0.030013	461387
additional-aig/minisat+/ mod008.unsat.aig	SAT	0.200968	0.201216	461519
additional-aig/minisat+/ mod008.sat_opt.aig	SAT	0.212966	0.214959	461499
additional-aig/minisat+/ par8-5-c.sat_opt.aig	SAT	0.267958	0.268783	461367
additional-aig/minisat+/ jnh209.sat_opt.aig	SAT	0.417935	0.419212	461379
additional-aig/minisat+/ p033.sat_opt.aig	SAT	0.461928	0.462667	461467
additional-aig/minisat+/ enigma.unsat.aig	SAT	0.6519	0.652692	461491
additional-aig/minisat+/ enigma.sat_opt.aig	SAT	0.693894	0.69625	461471
additional-aig/minisat+/ g9x9.sat_opt.aig	SAT	2.04669	2.04715	461455
additional-aig/minisat+/ stein45.sat_opt.aig	SAT	2.37064	2.37163	461459
additional-aig/minisat+/ pk1.sat_opt.aig	SAT	5.10022	5.10281	461399
additional-aig/ minisat+/pk1.usnat.aig	SAT	5.11722	5.1204	461435
additional-aig/minisat+/ s4-4-3-1.sat_opt.aig	SAT	5.54316	5.54579	461415
industrial-aig/ narain/clauses-2.aig	SAT	9.94149	9.9523	460639
industrial-aig/babic/ xinetd/itox_vc1138.aig	SAT	21.7027	21.7098	460463
additional-aig/minisat+/ l152lav.sat_opt.aig	SAT	22.5646	22.5787	461411
additional-aig/minisat+/ l152lav.unsat.aig	SAT	23.5194	23.5265	461503
industrial-aig/babic/ xinetd/itox_vc1033.aig	SAT	26.496	26.5051	460459
industrial-aig/babic/ xinetd/itox_vc1044.aig	SAT	29.4935	29.5048	460483
industrial-aig/ grieu/vmpc_24.aig	SAT	29.7595	29.7788	460631
additional-aig/ibm/ ibm29_len26_sat.aig	SAT	35.1847	35.2065	461231
industrial-aig/ grieu/vmpc_27.aig	SAT	90.4792	90.5474	460607
additional-aig/ibm/ ibm18_len29_sat.aig	SAT	157.021	157.143	461235
industrial-aig/ narain/clauses-4.aig	SAT	192.438	192.499	460651
industrial-aig/babic/ xinetd/itox_vc909.aig	SAT	202.483	202.656	460455
additional-aig/minisat+/ lseu.sat_opt.aig	SAT	222.717	222.781	461495
industrial-aig/ grieu/vmpc_25.aig	SAT	242.555	242.634	460611
industrial-aig/crypto/ mizh-sha0-35-5.aig	SAT	345.38	345.474	460375
industrial-aig/ grieu/vmpc_28.aig	SAT	423.012	423.236	460619
additional-aig/ibm/ ibm22_len52_sat.aig	SAT	544.393	544.698	461227
additional-aig/minisat+/ p0201.sat_opt.aig	SAT	545.186	545.353	461515
additional-aig/ibm/ ibm20_len44_sat.aig	SAT	666.564	666.801	461247
industrial-aig/babic/ xinetd/itox_vc1130.aig	SAT	680.573	680.765	460447
industrial-aig/crypto/ mizh-sha0-35-4.aig	SAT	709.704	709.985	460351
industrial-aig/anbulagan/ medium-sat/partial-5-13-s.aig	SAT	860.749	861.238	460235
industrial-aig/palacios/ medium/cube-9-h11-sat.aig	SAT	1124.93	1125.75	460755

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial-aig/fuhs/ hard/AProVE07-03.aig	? (TO)	1200.03	1200.92	460431
industrial-aig/jarvisalo/ eq.atree.braun.11.unsat.aig	? (TO)	1200.03	1200.33	460675
industrial-aig/palacios/ medium/blocks-4-ipc5-h21-unknown.aig	? (TO)	1200.06	1200.85	460759
industrial-aig/palacios/ hard/sortnet-7-ipc5-h15-unsat.aig	? (TO)	1200.06	1200.45	460787
industrial-aig/jarvisalo/ eq.atree.braun.12.unsat.aig	? (TO)	1200.07	1200.93	460679
additional-aig/tip-k-ind-aigs-o1234g/ Og/ken.oop^1.C.aig	? (TO)	1200.07	1200.46	460815
additional-aig/tip-k-ind-aigs-o1234g/ O2/ken.oop^1.C.aig	? (TO)	1200.07	1200.16	460983
additional-aig/ c32sat-ssort/ssort19.aig	? (TO)	1200.07	1200.76	461307
industrial-aig/fuhs/ medium/AProVE07-09.aig	? (TO)	1200.08	1200.43	460387
industrial-aig/fuhs/ medium/AProVE07-16.aig	? (TO)	1200.08	1200.47	460395
additional-aig/minisat+/ ii8d1.sat_nonopt.aig	? (TO)	1200.08	1200.95	461511
industrial-aig/fuhs/ medium/AProVE07-02.aig	? (TO)	1200.09	1200.42	460403
industrial-aig/fuhs/ hard/AProVE07-01.aig	? (TO)	1200.09	1200.53	460435
industrial-aig/fuhs/ hard/AProVE07-25.aig	? (TO)	1200.09	1200.84	460443
industrial-aig/manolios/ manol-pipe-f9b.aig	? (TO)	1200.09	1200.86	460571
additional-aig/ c32sat-ssort/ssort16.aig	? (TO)	1200.09	1200.44	461287
additional-aig/minisat+/ p0548.undecided.aig	? (TO)	1200.09	1200.84	461475
industrial-aig/manolios/ manol-pipe-f10ni.aig	? (TO)	1200.1	1200.88	460587
industrial-aig/crypto/ mizh-sha0-36-2.aig	? (TO)	1200.1	1200.88	460359
industrial-aig/fuhs/ hard/AProVE07-08.aig	? (TO)	1200.1	1200.62	460427
industrial-aig/crypto/ mizh-md5-47-4.aig	? (TO)	1200.1	1200.79	460379
additional-aig/ibm/ ibm23_len36_sat.aig	? (TO)	1200.1	1200.84	461219
industrial-aig/fuhs/ hard/AProVE07-27.aig	? (TO)	1200.11	1200.53	460439
industrial-aig/ manolios/manol-pipe-c7bidw_i.aig	? (TO)	1200.11	1200.8	460567
industrial-aig/jarvisalo/ eq.atree.braun.10.unsat.aig	? (TO)	1200.11	1200.53	460671
industrial-aig/manolios/ manol-pipe-f7idw.aig	? (TO)	1200.11	1200.98	460575
industrial-aig/ grieu/vmpc_30.aig	? (TO)	1200.11	1200.56	460623
industrial-aig/crypto/ mizh-md5-47-3.aig	? (TO)	1200.11	1200.48	460383
industrial-aig/palacios/ hard/sortnet-8-ipc5-h18-unsat.aig	? (TO)	1200.11	1200.99	460775
additional-aig/minisat+/ g15x15.sat_nonopt.aig	? (TO)	1200.11	1200.53	461375
additional-aig/minisat+/ p0548.sat_nonopt.aig	? (TO)	1200.11	1200.53	461487
additional-aig/ c32sat-ssort/ssort17.aig	? (TO)	1200.11	1200.45	461251
additional-aig/ c32sat-ssort/ssort13.aig	? (TO)	1200.11	1200.41	461255
additional-aig/ c32sat-ssort/ssort15.aig	? (TO)	1200.11	1200.44	461267
industrial-aig/palacios/medium/ emptyroom-4-h21-unsat.aig	? (TO)	1200.12	1200.82	460743
industrial-aig/palacios/ medium/blocks-4-ipc5-h22-unknown.aig	? (TO)	1200.12	1200.46	460723
industrial-aig/jarvisalo/ eq.atree.braun.13.unsat.aig	? (TO)	1200.12	1200.43	460667
additional-aig/tip-k-ind-aigs-o1234g/ O1/ken.oop^1.C.aig	? (TO)	1200.12	1200.85	461067
industrial-aig/palacios/uts/ uts-l06-ipc5-h34-unknown.aig	? (TO)	1200.12	1200.48	460699
additional-aig/ c32sat-ssort/ssort9.aig	? (TO)	1200.12	1200.42	461299
industrial-aig/fuhs/ hard/AProVE07-26.aig	? (TO)	1200.13	1201.26	460423
industrial-aig/palacios/uts/ uts-l05-ipc5-h27-unknown.aig	? (TO)	1200.13	1200.54	460711
industrial-aig/palacios/medium/ emptyroom-4-h22-sat.aig	? (TO)	1200.13	1200.43	460727
industrial-aig/palacios/ medium/cube-11-h13-unsat.aig	? (TO)	1200.13	1200.99	460751
industrial-aig/palacios/uts/ uts-l06-ipc5-h33-unknown.aig	? (TO)	1200.13	1200.48	460715
industrial-aig/palacios/uts/ uts-l06-ipc5-h30-unknown.aig	? (TO)	1200.13	1200.47	460687
industrial-aig/palacios/ medium/safe-30-h30-sat.aig	? (TO)	1200.13	1200.5	460747
additional-aig/minisat+/ p0201.unsat.aig	? (TO)	1200.13	1201.03	461427
additional-aig/ c32sat-ssort/ssort18.aig	? (TO)	1200.13	1200.45	461275
additional-aig/tip-k-ind-aigs-o1234g/ O4/ken.oop^1.C.aig	? (TO)	1200.13	1200.56	460899
industrial-aig/palacios/ hard/sortnet-6-ipc5-h11-unsat.aig	? (TO)	1200.13	1200.63	460771
additional-aig/ minisat+/seymour.sat_nonopt.aig	? (TO)	1200.13	1200.46	461463
industrial-aig/ grieu/vmpc_31.aig	? (TO)	1200.14	1200.56	460615
industrial-aig/crypto/ mizh-md5-48-2.aig	? (TO)	1200.14	1200.4	460363
industrial-aig/ grieu/vmpc_26.aig	? (TO)	1200.14	1200.55	460627
industrial-aig/palacios/medium/ sortnet-7-ipc5-h16-sat.aig	? (TO)	1200.14	1200.44	460739
industrial-aig/palacios/ hard/safe-30-h29-unsat.aig	? (TO)	1200.14	1200.66	460779
additional-aig/ c32sat-ssort/ssort14.aig	? (TO)	1200.14	1200.43	461279
additional-aig/minisat+/ ii8d1.undecided.aig	? (TO)	1200.14	1200.44	461483
industrial-aig/palacios/uts/ uts-l06-ipc5-h28-unknown.aig	? (TO)	1200.14	1200.86	460691
additional-aig/minisat+/ seymour.undecided.aig	? (TO)	1200.14	1200.44	461407
industrial-aig/ grieu/vmpc_29.aig	? (TO)	1200.15	1201.05	460635
industrial-aig/manolios/ manol-pipe-f9n.aig	? (TO)	1200.15	1200.66	460579
industrial-aig/crypto/ mizh-sha0-35-2.aig	? (TO)	1200.15	1200.49	460371
additional-aig/ c32sat-ssort/ssort6.aig	? (TO)	1200.15	1200.43	461271
additional-aig/ c32sat-ssort/ssort20.aig	? (TO)	1200.15	1200.56	461259
industrial-aig/crypto/ mizh-md5-47-5.aig	? (TO)	1200.16	1200.6	460367
industrial-aig/palacios/ medium/cube-11-h14-sat.aig	? (TO)	1200.16	1200.5	460731
additional-aig/tip-k-ind-aigs-o1234g/ O3/ken.oop^1.C.aig	? (TO)	1200.16	1200.46	461151
industrial-aig/ manolios/manol-pipe-c6nidw_i.aig	? (TO)	1200.17	1200.58	460583
industrial-aig/crypto/ mizh-sha0-35-3.aig	? (TO)	1200.17	1200.6	460347
industrial-aig/palacios/uts/ uts-l06-ipc5-h31-unknown.aig	? (TO)	1200.17	1201.07	460707
industrial-aig/crypto/ mizh-md5-48-5.aig	? (TO)	1200.17	1200.49	460355
industrial-aig/palacios/uts/ uts-l06-ipc5-h32-unknown.aig	? (TO)	1200.18	1200.87	460719
industrial-aig/palacios/uts/ uts-l06-ipc5-h35-unknown.aig	? (TO)	1200.18	1200.48	460703
industrial-aig/ manolios/manol-pipe-g10bidw.aig	? (TO)	1200.18	1200.9	460599
additional-aig/ c32sat-ssort/ssort5.aig	? (TO)	1200.18	1200.65	461303
additional-aig/ c32sat-ssort/ssort8.aig	? (TO)	1200.18	1200.52	461295
additional-aig/ c32sat-ssort/ssort10.aig	? (TO)	1200.18	1200.61	461291
industrial-aig/manolios/ manol-pipe-c10nidw_s.aig	? (TO)	1200.19	1200.7	460595
industrial-aig/palacios/hard/ sortnet-8-ipc5-h19-sat.aig	? (TO)	1200.19	1200.89	460763
industrial-aig/palacios/ hard/safe-50-h50-sat.aig	? (TO)	1200.2	1200.64	460783
industrial-aig/ narain/clauses-6.aig	? (TO)	1200.21	1200.6	460643
additional-aig/ c32sat-ssort/ssort11.aig	? (TO)	1200.21	1200.92	461263
industrial-aig/palacios/ hard/safe-50-h49-unsat.aig	? (TO)	1200.21	1200.56	460767
additional-aig/ c32sat-ssort/ssort12.aig	? (TO)	1200.21	1200.51	461283
industrial-aig/manolios/ manol-pipe-g10nid.aig	? (TO)	1200.22	1200.61	460591
additional-aig/ c32sat-ssort/ssort7.aig	? (TO)	1200.22	1200.53	461311
industrial-aig/manolios/ manol-pipe-c7nidw.aig	? (TO)	1200.25	1200.96	460603
industrial-aig/babic/dspam/ dspam_dump_vc972.aig	? (TO)	1200.26	1200.73	460487
industrial-aig/anbulagan/ hard-unsat/dated-5-15-u.aig	? (TO)	1200.27	1201.08	460295
industrial-aig/anbulagan/ hard-unsat/dated-5-13-u.aig	? (TO)	1200.27	1201.19	460307
industrial-aig/anbulagan/ hard-unsat/dated-5-17-u.aig	? (TO)	1200.27	1200.72	460283
industrial-aig/anbulagan/ hard-unsat/dated-10-11-u.aig	? (TO)	1200.28	1200.61	460275
industrial-aig/anbulagan/ medium-sat/partial-5-11-s.aig	? (TO)	1200.29	1200.56	460243
industrial-aig/babic/dspam/ dspam_dump_vc1104.aig	? (TO)	1200.29	1200.64	460495
industrial-aig/babic/dspam/ dspam_dump_vc1103.aig	? (TO)	1200.3	1200.64	460499
industrial-aig/anbulagan/ medium-sat/dated-10-13-s.aig	? (TO)	1200.3	1200.66	460223
industrial-aig/anbulagan/ hard-unsat/dated-5-19-u.aig	? (TO)	1200.32	1200.66	460263
industrial-aig/anbulagan/ hard-unsat/partial-10-11-u.aig	? (TO)	1200.32	1200.79	460299
industrial-aig/anbulagan/ hard-unsat/partial-5-11-u.aig	? (TO)	1200.34	1201.25	460303
industrial-aig/anbulagan/ hard-unsat/dated-10-13-u.aig	? (TO)	1200.35	1200.66	460291
industrial-aig/anbulagan/ hard-unsat/total-5-15-u.aig	? (TO)	1200.36	1201.38	460331

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial-aig/anbulagan/ medium-sat/total-10-17-s.aig	? (MO)	44.5202	44.5704	460231
industrial-aig/anbulagan/ hard-unsat/total-10-19-u.aig	? (MO)	46.9239	46.9658	460323
industrial-aig/anbulagan/ hard-sat/partial-10-19-s.aig	? (MO)	47.8407	47.8725	460195
industrial-aig/anbulagan/ medium-sat/total-10-19-s.aig	? (MO)	47.9427	47.9737	460239
industrial-aig/anbulagan/ hard-unsat/total-5-19-u.aig	? (MO)	48.6506	48.6763	460271
industrial-aig/anbulagan/ hard-unsat/total-10-17-u.aig	? (MO)	48.9626	49.027	460279
industrial-aig/anbulagan/ hard-unsat/partial-10-19-u.aig	? (MO)	49.8484	49.8901	460287
industrial-aig/anbulagan/ medium-sat/total-5-19-s.aig	? (MO)	50.4433	50.6821	460227
industrial-aig/anbulagan/ hard-unsat/partial-10-15-u.aig	? (MO)	51.5312	51.5684	460259
industrial-aig/anbulagan/ hard-unsat/total-10-15-u.aig	? (MO)	51.8291	51.8682	460255
industrial-aig/anbulagan/ hard-unsat/total-5-17-u.aig	? (MO)	51.9091	51.9676	460319
industrial-aig/anbulagan/ hard-sat/partial-10-15-s.aig	? (MO)	52.318	52.3618	460191
industrial-aig/anbulagan/ hard-sat/partial-5-17-s.aig	? (MO)	52.329	52.6873	460187
industrial-aig/anbulagan/ medium-sat/total-5-17-s.aig	? (MO)	52.537	52.5854	460215
industrial-aig/anbulagan/ medium-sat/total-10-15-s.aig	? (MO)	52.649	52.767	460247
industrial-aig/anbulagan/ hard-unsat/partial-5-19-u.aig	? (MO)	52.882	52.9929	460335
industrial-aig/anbulagan/ hard-sat/partial-5-19-s.aig	? (MO)	53.2039	53.2706	460183
industrial-aig/anbulagan/ hard-unsat/dated-10-19-u.aig	? (MO)	55.0606	55.1857	460251
industrial-aig/anbulagan/ hard-unsat/partial-5-17-u.aig	? (MO)	55.6835	55.8223	460343
industrial-aig/ narain/clauses-8.aig	? (MO)	104.122	104.172	460647
additional-aig/minisat+/ air03.undecided.aig	? (MO)	208.406	208.667	461395
additional-aig/minisat+/ air03.sat_nonopt.aig	? (MO)	208.747	209.067	461451
additional-aig/minisat+/ mitre.undecided.aig	? (MO)	271.289	271.458	461479
additional-aig/minisat+/ mitre.sat_unopt.aig	? (MO)	276.82	276.892	461419
industrial-aig/anbulagan/ hard-sat/partial-10-13-s.aig	? (MO)	312.871	313.159	460199
industrial-aig/anbulagan/ medium-sat/dated-10-17-s.aig	? (MO)	319.98	320.278	460219
industrial-aig/anbulagan/ hard-unsat/partial-10-13-u.aig	? (MO)	321.778	322.375	460339
industrial-aig/anbulagan/ hard-unsat/dated-10-17-u.aig	? (MO)	380.111	380.358	460311
industrial-aig/anbulagan/ medium-unsat/total-10-13-u.aig	? (MO)	489.666	490.063	460167
industrial-aig/anbulagan/ medium-sat/partial-5-15-s.aig	? (MO)	548.227	548.561	460211
industrial-aig/anbulagan/ hard-unsat/partial-5-15-u.aig	? (MO)	578.791	578.995	460315
industrial-aig/anbulagan/ hard-sat/partial-10-11-s.aig	? (MO)	991.984	992.394	460203
industrial-aig/anbulagan/ hard-unsat/partial-5-13-u.aig	? (MO)	1036.37	1036.79	460267

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
additional-aig/pico-java/ prop08_len18_step.aig	? (problem)	0.019996	0.020815	461355
additional-aig/pico-java/ prop16_len18_step.aig	? (problem)	0.020995	0.022088	461319
additional-aig/pico-java/ prop18_len09_step.aig	? (problem)	0.043993	0.04379	461339
additional-aig/pico-java/ prop05_len41_step.aig	? (problem)	0.083986	0.086416	461343
additional-aig/pico-java/ prop06_len41_step.aig	? (problem)	0.084986	0.085544	461315
additional-aig/pico-java/ prop02_len66_step.aig	? (problem)	0.158975	0.160868	461335
industrial-aig/anbulagan/ hard-sat/partial-10-17-s.aig	? (problem)	45.5031	45.5287	460207
industrial-aig/anbulagan/ hard-unsat/partial-10-17-u.aig	? (problem)	45.901	45.9457	460327

SAT 2007 Competition AIG special track: benchmarks results per solver

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

Category "all instances" (ALL)

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

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

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

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

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

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