SAT 2007 Competition AIG special track: results by benchmark

Results by benchmark for category all instances (ALL)

This page displays the results of the different solvers for each benchmark for category all instances (ALL)

REMINDER

Keep in mind that the 'Best result' columns only provide the best result given by one of the solvers. This 'Best result' may be wrong in case of an UNSATISFIABLE or OPTIMUM FOUND answer (because there's no efficient way to check these answers).

Description of a cell contents:

Cell example	Meaning
Answer	Solver result
TT=...	Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out

Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

Abbreviation	Meaning
TO	Time Out
MO	Mem. Out (out of memory)

Meaning of the different colors:

Color	Meaning
text	the solver cannot handle this instance
text	the solver gave no answer
text	the solver gave a definitive answer (SAT or UNSAT)
text	the solver performed better than the other ones on that instance
text	the solver was ended by a signal
text	the solver gave an incomplete answer
text	the solver was disqualified in the category
text	the solver gave a wrong answer

For better readability, you may choose to hide some solvers:
aig-cmusat 2007-05-15
aigsat-sp 2007-05-15
aigsat-wc 2007-05-15
minicirc 2007-05-17
picoaigersat 2007-05-15

Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ c32sat-ssort/ssort10.aig		? (TO) TT=1200.06	? (TO) TT=1200.18	? (TO) TT=1200.15	? (TO) TT=1200.08	? (TO) TT=1200
additional-aig/ c32sat-ssort/ssort11.aig		? (TO) TT=1200.13	? (TO) TT=1200.21	? (TO) TT=1200.09	? (TO) TT=1200	? (TO) TT=1200.02
additional-aig/ c32sat-ssort/ssort12.aig		? (TO) TT=1200.12	? (TO) TT=1200.21	? (TO) TT=1200.11	? (TO) TT=1200	? (TO) TT=1200.08
additional-aig/ c32sat-ssort/ssort13.aig		? (TO) TT=1200.07	? (TO) TT=1200.11	? (TO) TT=1200.15	? (TO) TT=1200.09	? (TO) TT=1200.04
additional-aig/ c32sat-ssort/ssort14.aig		? (TO) TT=1200.1	? (TO) TT=1200.14	? (TO) TT=1200.15	? (TO) TT=1200.03	? (TO) TT=1200.07
additional-aig/ c32sat-ssort/ssort15.aig		? (TO) TT=1200.12	? (TO) TT=1200.11	? (TO) TT=1200.18	? (TO) TT=1200.05	? (TO) TT=1200
additional-aig/ c32sat-ssort/ssort16.aig		? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.15	? (TO) TT=1200.08	? (TO) TT=1200.05
additional-aig/ c32sat-ssort/ssort17.aig		? (TO) TT=1200.1	? (TO) TT=1200.11	? (TO) TT=1200.2	? (TO) TT=1200	? (TO) TT=1200.04
additional-aig/ c32sat-ssort/ssort18.aig		? (TO) TT=1200.12	? (TO) TT=1200.13	? (TO) TT=1200.19	? (TO) TT=1200	? (TO) TT=1200.03
additional-aig/ c32sat-ssort/ssort19.aig		? (TO) TT=1200.12	? (TO) TT=1200.07	? (TO) TT=1200.22	? (TO) TT=1200.02	? (TO) TT=1200.08
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ c32sat-ssort/ssort20.aig		? (TO) TT=1200.12	? (TO) TT=1200.15	? (TO) TT=1200.16	? (TO) TT=1200.09	? (TO) TT=1200.03
additional-aig/ c32sat-ssort/ssort5.aig	UNSAT TT=12.121	UNSAT TT=12.121	? (TO) TT=1200.18	? (TO) TT=1200.11	UNSAT TT=12.432	UNSAT TT=623.093
additional-aig/ c32sat-ssort/ssort6.aig	UNSAT TT=68.088	UNSAT TT=68.088	? (TO) TT=1200.15	? (TO) TT=1200.08	UNSAT TT=76.406	? (TO) TT=1200.12
additional-aig/ c32sat-ssort/ssort7.aig	UNSAT TT=182.258	UNSAT TT=182.258	? (TO) TT=1200.22	? (TO) TT=1200.05	UNSAT TT=545.788	? (TO) TT=1200.11
additional-aig/ c32sat-ssort/ssort8.aig	UNSAT TT=822.831	UNSAT TT=822.831	? (TO) TT=1200.18	? (TO) TT=1200.11	? (TO) TT=1200.1	? (TO) TT=1200.01
additional-aig/ c32sat-ssort/ssort9.aig		? (TO) TT=1200.05	? (TO) TT=1200.12	? (TO) TT=1200.14	? (TO) TT=1200.06	? (TO) TT=1200.01
additional-aig/ibm/ ibm18_len28_unsat.aig	UNSAT TT=16.597	UNSAT TT=42.522	UNSAT TT=143.648	UNSAT TT=259.684	UNSAT TT=16.597	UNSAT TT=33.886
additional-aig/ibm/ ibm18_len29_sat.aig	SAT TT=15.767	SAT TT=62.962	SAT TT=157.021	SAT TT=348.244	SAT TT=15.767	SAT TT=46.143
additional-aig/ibm/ ibm20_len43_unsat.aig	UNSAT TT=167.696	UNSAT TT=718.169	UNSAT TT=954.517	? (TO) TT=1200.11	UNSAT TT=171.625	UNSAT TT=167.696
additional-aig/ibm/ ibm20_len44_sat.aig	SAT TT=27.362	SAT TT=132.412	SAT TT=666.564	SAT TT=878.62	SAT TT=27.362	SAT TT=80.272
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ibm/ ibm22_len51_unsat.aig	UNSAT TT=60.751	UNSAT TT=165.819	UNSAT TT=302.028	UNSAT TT=349.711	UNSAT TT=60.751	UNSAT TT=134.503
additional-aig/ibm/ ibm22_len52_sat.aig	SAT TT=123.671	SAT TT=197.322	SAT TT=544.393	SAT TT=452.567	SAT TT=123.671	SAT TT=156.507
additional-aig/ibm/ ibm23_len35_unsat.aig	UNSAT TT=125.649	UNSAT TT=279.719	UNSAT TT=492.068	UNSAT TT=320.688	UNSAT TT=125.649	UNSAT TT=202.023
additional-aig/ibm/ ibm23_len36_sat.aig	SAT TT=142.725	SAT TT=298.742	? (TO) TT=1200.1	SAT TT=671.039	SAT TT=142.725	SAT TT=274.41
additional-aig/ibm/ ibm29_len25_unsat.aig	UNSAT TT=19.561	UNSAT TT=65.69	UNSAT TT=596.569	UNSAT TT=153.116	UNSAT TT=19.561	UNSAT TT=63.607
additional-aig/ibm/ ibm29_len26_sat.aig	SAT TT=10.374	SAT TT=34.748	SAT TT=35.185	SAT TT=117.709	SAT TT=10.374	SAT TT=45.09
additional-aig/minisat+/ air03.sat_nonopt.aig	SAT TT=250.388	? (MO) TT=78.974	? (MO) TT=208.747	? (TO) TT=1200.27	SAT TT=305.433	SAT TT=250.388
additional-aig/minisat+/ air03.undecided.aig	SAT TT=342.832	? (MO) TT=78.382	? (MO) TT=208.406	? (TO) TT=1200.34	SAT TT=342.832	SAT TT=359.487
additional-aig/ minisat+/ cache.noobj_unsat.aig	UNSAT TT=283.486	UNSAT TT=798.912	UNSAT TT=807.259	UNSAT TT=628.62	UNSAT TT=283.486	UNSAT TT=1144.99
additional-aig/minisat+/ enigma.sat_opt.aig	SAT TT=0.255	SAT TT=0.298	SAT TT=0.694	SAT TT=0.712	SAT TT=1.088	SAT TT=0.255
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/minisat+/ enigma.unsat.aig	SAT TT=0.256	SAT TT=0.297	SAT TT=0.652	SAT TT=0.764	SAT TT=1.087	SAT TT=0.256
additional-aig/ minisat+/ g15x15.sat_nonopt.aig	SAT TT=1118.3	? (TO) TT=1200.05	? (TO) TT=1200.11	SAT TT=1118.3	? (TO) TT=1200.08	? (TO) TT=1200.12
additional-aig/minisat+/ g15x15.undecided.aig	UNSAT TT=639.494	? (TO) TT=1200.07	UNSAT TT=901.747	UNSAT TT=639.494	? (TO) TT=1200.04	? (TO) TT=1200.05
additional-aig/minisat+/ g9x9.sat_opt.aig	SAT TT=0.434	SAT TT=1.739	SAT TT=2.047	SAT TT=1.771	SAT TT=0.485	SAT TT=0.434
additional-aig/minisat+/ g9x9.unsat.aig	UNSAT TT=0.642	UNSAT TT=1.874	UNSAT TT=2.745	UNSAT TT=2.253	UNSAT TT=1.018	UNSAT TT=0.642
additional-aig/minisat+/ ii8d1.sat_nonopt.aig	SAT TT=14.584	? (TO) TT=1200.13	? (TO) TT=1200.08	SAT TT=14.584	SAT TT=429.966	SAT TT=39.28
additional-aig/minisat+/ ii8d1.undecided.aig		? (TO) TT=1200.14	? (TO) TT=1200.14	? (TO) TT=1200.11	? (TO) TT=1200.04	? (TO) TT=1200.05
additional-aig/minisat+/ jnh209.sat_opt.aig	SAT TT=0.157	SAT TT=0.157	SAT TT=0.418	SAT TT=0.449	SAT TT=0.467	SAT TT=0.231
additional-aig/minisat+/ jnh209.unsat.aig	UNSAT TT=0.151	UNSAT TT=0.151	UNSAT TT=0.513	UNSAT TT=0.546	UNSAT TT=0.599	UNSAT TT=0.359
additional-aig/minisat+/ l152lav.sat_opt.aig	SAT TT=9.881	SAT TT=9.881	SAT TT=22.565	SAT TT=1157.96	SAT TT=13.05	SAT TT=13.283
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/minisat+/ l152lav.unsat.aig	SAT TT=9.851	SAT TT=9.851	SAT TT=23.519	SAT TT=1154.26	SAT TT=13.022	SAT TT=12.7
additional-aig/minisat+/ lseu.sat_opt.aig	SAT TT=57.634	SAT TT=112.191	SAT TT=222.717	SAT TT=202.935	SAT TT=57.634	SAT TT=84.05
additional-aig/minisat+/ lseu.unsat.aig	UNSAT TT=74.514	UNSAT TT=143.467	UNSAT TT=248.698	UNSAT TT=225.223	UNSAT TT=74.514	UNSAT TT=128.466
additional-aig/minisat+/ mitre.sat_unopt.aig		? (TO) TT=1200.15	? (MO) TT=276.82	? (TO) TT=1200.35	? (TO) TT=1200.03	? (TO) TT=1200.07
additional-aig/minisat+/ mitre.undecided.aig		? (TO) TT=1200.15	? (MO) TT=271.289	? (TO) TT=1200.3	? (TO) TT=1200.02	? (TO) TT=1200.06
additional-aig/minisat+/ mod008.sat_opt.aig	SAT TT=0.142	SAT TT=6.48	SAT TT=0.213	SAT TT=0.238	SAT TT=0.734	SAT TT=0.142
additional-aig/minisat+/ mod008.unsat.aig	SAT TT=0.095	SAT TT=0.095	SAT TT=0.201	SAT TT=0.213	SAT TT=0.716	SAT TT=0.096
additional-aig/ minisat+/ ooo_tag14.noobj_unsat.aig	UNSAT TT=9.504	UNSAT TT=9.504	UNSAT TT=197.374	UNSAT TT=76.524	UNSAT TT=12.077	UNSAT TT=116.922
additional-aig/minisat+/ p0201.sat_opt.aig	SAT TT=177.989	SAT TT=263.436	SAT TT=545.186	SAT TT=429.193	SAT TT=334.393	SAT TT=177.989
additional-aig/minisat+/ p0201.unsat.aig	UNSAT TT=417.066	? (TO) TT=1200.13	? (TO) TT=1200.13	? (TO) TT=1200.12	UNSAT TT=417.066	UNSAT TT=881.787
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/minisat+/ p033.sat_opt.aig	SAT TT=0.133	SAT TT=0.158	SAT TT=0.462	SAT TT=0.394	SAT TT=0.385	SAT TT=0.133
additional-aig/minisat+/ p033.unsat.aig	UNSAT TT=0.153	UNSAT TT=0.153	UNSAT TT=0.517	UNSAT TT=0.421	UNSAT TT=0.423	UNSAT TT=0.211
additional-aig/minisat+/ p0548.sat_nonopt.aig		? (TO) TT=1200.11	? (TO) TT=1200.11	? (TO) TT=1200.09	? (TO) TT=1200.03	? (TO) TT=1200.08
additional-aig/minisat+/ p0548.undecided.aig		? (TO) TT=1200.13	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.07	? (TO) TT=1200.07
additional-aig/minisat+/ par8-5-c.sat_opt.aig	SAT TT=0.059	SAT TT=0.059	SAT TT=0.268	SAT TT=0.272	SAT TT=0.324	SAT TT=0.092
additional-aig/minisat+/ par8-5-c.unsat.aig	UNSAT TT=0.066	UNSAT TT=0.066	UNSAT TT=0.269	UNSAT TT=0.276	UNSAT TT=0.37	UNSAT TT=0.103
additional-aig/minisat+/ pk1.sat_opt.aig	SAT TT=1.109	SAT TT=2.454	SAT TT=5.1	SAT TT=413.397	SAT TT=5.098	SAT TT=1.109
additional-aig/ minisat+/pk1.usnat.aig	SAT TT=1.107	SAT TT=2.551	SAT TT=5.117	SAT TT=413.094	SAT TT=5.082	SAT TT=1.107
additional-aig/minisat+/ s4-4-3-1.sat_opt.aig	SAT TT=1.968	SAT TT=3.647	SAT TT=5.543	SAT TT=22.961	SAT TT=4.242	SAT TT=1.968
additional-aig/minisat+/ s4-4-3-1.unsat.aig	UNSAT TT=1.329	UNSAT TT=3.059	UNSAT TT=5.479	UNSAT TT=7.06	UNSAT TT=5.429	UNSAT TT=1.329
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ minisat+/ seymour.sat_nonopt.aig	SAT TT=268.593	? (TO) TT=1200.1	? (TO) TT=1200.13	? (TO) TT=1200.09	? (TO) TT=1200.02	SAT TT=268.593
additional-aig/ minisat+/ seymour.undecided.aig		? (TO) TT=1200.09	? (TO) TT=1200.14	? (TO) TT=1200.11	? (TO) TT=1200.05	? (TO) TT=1200.06
additional-aig/minisat+/ stein27.sat_opt.aig	SAT TT=0.017	SAT TT=0.017	SAT TT=0.028	SAT TT=0.029	SAT TT=0.14	SAT TT=0.02
additional-aig/minisat+/ stein27.unsat.aig	UNSAT TT=0.357	UNSAT TT=0.443	UNSAT TT=0.851	UNSAT TT=0.884	UNSAT TT=0.357	UNSAT TT=0.514
additional-aig/minisat+/ stein45.sat_opt.aig	SAT TT=0.087	SAT TT=0.087	SAT TT=2.371	SAT TT=1.271	SAT TT=0.209	SAT TT=0.327
additional-aig/minisat+/ stein45.unsat.aig	UNSAT TT=15.965	UNSAT TT=76.67	UNSAT TT=49.041	UNSAT TT=49.185	UNSAT TT=15.965	UNSAT TT=78.194
additional-aig/ pico-java/ prop02_len65_base.aig	UNSAT TT=9.415	UNSAT TT=21.543	UNSAT TT=99.207	? (TO) TT=1200.13	UNSAT TT=9.415	UNSAT TT=22.918
additional-aig/ pico-java/ prop02_len66_step.aig	UNSAT TT=252.326	? (problem) TT=0.263	? (problem) TT=0.159	? (problem) TT=0.171	UNSAT TT=252.326	? (problem) TT=0.258
additional-aig/ pico-java/ prop05_len40_base.aig	UNSAT TT=6.912	UNSAT TT=35.438	UNSAT TT=287.586	UNSAT TT=115.789	UNSAT TT=6.912	UNSAT TT=20.547
additional-aig/ pico-java/ prop05_len41_step.aig	UNSAT TT=115.363	? (problem) TT=0.147	? (problem) TT=0.084	? (problem) TT=0.086	UNSAT TT=115.363	? (problem) TT=0.143
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ pico-java/ prop06_len40_base.aig	UNSAT TT=5.877	UNSAT TT=14.134	UNSAT TT=75.756	UNSAT TT=67.804	UNSAT TT=5.877	UNSAT TT=19.386
additional-aig/ pico-java/ prop06_len41_step.aig	UNSAT TT=129.591	? (problem) TT=0.155	? (problem) TT=0.085	? (problem) TT=0.085	UNSAT TT=129.591	? (problem) TT=0.142
additional-aig/ pico-java/ prop08_len17_base.aig	UNSAT TT=0.554	UNSAT TT=0.554	UNSAT TT=1.985	UNSAT TT=2.022	UNSAT TT=1.14	UNSAT TT=0.619
additional-aig/ pico-java/ prop08_len18_step.aig	UNSAT TT=5.928	? (problem) TT=0.033	? (problem) TT=0.02	? (problem) TT=0.022	UNSAT TT=5.928	? (problem) TT=0.032
additional-aig/ pico-java/ prop16_len17_base.aig	SAT TT=0.002	Wrong UNSAT TT=0.004	Wrong Cert. TT=0.002	Wrong Cert. TT=0.003	Wrong UNSAT TT=0.121	Wrong UNSAT TT=0.007
additional-aig/ pico-java/ prop16_len18_step.aig	UNSAT TT=7.196	? (problem) TT=0.035	? (problem) TT=0.021	? (problem) TT=0.023	UNSAT TT=7.196	? (problem) TT=0.035
additional-aig/ pico-java/ prop18_len08_base.aig	UNSAT TT=44.719	UNSAT TT=67.833	UNSAT TT=118.683	UNSAT TT=231.72	UNSAT TT=44.719	UNSAT TT=51.573
additional-aig/ pico-java/ prop18_len09_step.aig	UNSAT TT=55.676	? (problem) TT=0.065	? (problem) TT=0.044	? (problem) TT=0.042	UNSAT TT=55.676	? (problem) TT=0.063
additional-aig/ tip-k-ind-aigs-o1234g/O1/cmu.periodic.N.aig	UNSAT TT=22.759	UNSAT TT=41.36	UNSAT TT=27.925	UNSAT TT=22.759	UNSAT TT=44.572	UNSAT TT=35.804
additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S298.S.aig	UNSAT TT=18.348	UNSAT TT=51.146	UNSAT TT=26.969	UNSAT TT=18.348	UNSAT TT=44.76	UNSAT TT=83.51
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S510.S.aig	UNSAT TT=1.353	UNSAT TT=1.443	UNSAT TT=2.512	UNSAT TT=1.614	UNSAT TT=1.909	UNSAT TT=1.353
additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S820.S.aig	UNSAT TT=1.444	UNSAT TT=1.735	UNSAT TT=3.037	UNSAT TT=2.993	UNSAT TT=2.047	UNSAT TT=1.444
additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S832.S.aig	UNSAT TT=1.749	UNSAT TT=1.789	UNSAT TT=3.404	UNSAT TT=2.645	UNSAT TT=2.24	UNSAT TT=1.749
additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S953.S.aig	UNSAT TT=0.655	UNSAT TT=0.655	UNSAT TT=1.139	UNSAT TT=0.842	UNSAT TT=1.191	UNSAT TT=0.712
additional-aig/ tip-k-ind-aigs-o1234g/ O1/ken.oop^1.C.aig	UNSAT TT=10.508	UNSAT TT=43.336	? (TO) TT=1200.12	? (TO) TT=1200.07	UNSAT TT=10.508	UNSAT TT=34.493
additional-aig/ tip-k-ind-aigs-o1234g/O1/ nusmv.guidance^1.C.aig	UNSAT TT=0.732	UNSAT TT=1.063	UNSAT TT=1.929	UNSAT TT=2.057	UNSAT TT=2.558	UNSAT TT=0.732
additional-aig/ tip-k-ind-aigs-o1234g/O1/ nusmv.guidance^7.C.aig	UNSAT TT=17.334	UNSAT TT=19.027	UNSAT TT=129.72	UNSAT TT=60.635	UNSAT TT=17.334	UNSAT TT=19.251
additional-aig/ tip-k-ind-aigs-o1234g/O1/nusmv.tcas^2.B.aig	UNSAT TT=0.987	UNSAT TT=0.995	UNSAT TT=1.04	UNSAT TT=1.104	? (problem) TT=2.468	UNSAT TT=0.987
additional-aig/ tip-k-ind-aigs-o1234g/O1/nusmv.tcas^3.B.aig	UNSAT TT=0.59	UNSAT TT=0.59	UNSAT TT=0.946	UNSAT TT=1.054	UNSAT TT=1.806	UNSAT TT=0.907
additional-aig/ tip-k-ind-aigs-o1234g/O1/ texas.parsesys^2.E.aig	UNSAT TT=0.025	UNSAT TT=0.025	UNSAT TT=0.574	UNSAT TT=0.362	? (problem) TT=0.172	UNSAT TT=0.031
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^12.E.aig	UNSAT TT=20.443	UNSAT TT=20.443	UNSAT TT=46.879	UNSAT TT=33.419	UNSAT TT=26.022	UNSAT TT=49.715
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^13.E.aig	UNSAT TT=1.038	UNSAT TT=1.052	UNSAT TT=2.042	UNSAT TT=1.997	UNSAT TT=3.436	UNSAT TT=1.038
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^14.E.aig	UNSAT TT=3.507	UNSAT TT=3.507	UNSAT TT=7.474	UNSAT TT=5.758	UNSAT TT=9.239	UNSAT TT=4.635
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^15.E.aig	UNSAT TT=10.088	UNSAT TT=10.088	UNSAT TT=24.613	UNSAT TT=18.49	UNSAT TT=18.809	UNSAT TT=22.575
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^16.E.aig	UNSAT TT=0.548	UNSAT TT=0.548	UNSAT TT=1.072	UNSAT TT=1.102	UNSAT TT=1.721	UNSAT TT=0.55
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^17.E.aig	UNSAT TT=21.268	UNSAT TT=21.268	UNSAT TT=59.897	UNSAT TT=36.677	UNSAT TT=25.116	UNSAT TT=43.65
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^18.E.aig	UNSAT TT=2.481	UNSAT TT=2.481	UNSAT TT=4.738	UNSAT TT=4.195	UNSAT TT=6.534	UNSAT TT=4.419
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^19.E.aig	UNSAT TT=8.543	UNSAT TT=8.543	UNSAT TT=25.416	UNSAT TT=14.892	UNSAT TT=16.907	UNSAT TT=13.664
additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^24.E.aig	UNSAT TT=38.304	UNSAT TT=38.304	UNSAT TT=82.084	UNSAT TT=42.726	UNSAT TT=45.017	UNSAT TT=115.283
additional-aig/ tip-k-ind-aigs-o1234g/O2/cmu.periodic.N.aig	UNSAT TT=22.753	UNSAT TT=39.582	UNSAT TT=29.201	UNSAT TT=22.753	UNSAT TT=44.579	UNSAT TT=34.306
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S298.S.aig	UNSAT TT=15.961	UNSAT TT=69.177	UNSAT TT=26.569	UNSAT TT=15.961	UNSAT TT=44.673	UNSAT TT=94.541
additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S510.S.aig	UNSAT TT=1.419	UNSAT TT=1.488	UNSAT TT=2.028	UNSAT TT=1.621	UNSAT TT=2.003	UNSAT TT=1.419
additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S820.S.aig	UNSAT TT=1.667	UNSAT TT=1.79	UNSAT TT=3.561	UNSAT TT=2.571	UNSAT TT=2.073	UNSAT TT=1.667
additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S832.S.aig	UNSAT TT=1.712	UNSAT TT=1.712	UNSAT TT=4.259	UNSAT TT=2.865	UNSAT TT=2.181	UNSAT TT=1.782
additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S953.S.aig	UNSAT TT=0.583	UNSAT TT=0.583	UNSAT TT=1.056	UNSAT TT=0.844	UNSAT TT=1.195	UNSAT TT=0.682
additional-aig/ tip-k-ind-aigs-o1234g/ O2/ken.oop^1.C.aig	UNSAT TT=10.455	UNSAT TT=26.71	? (TO) TT=1200.07	? (TO) TT=1200.12	UNSAT TT=10.455	UNSAT TT=40.022
additional-aig/ tip-k-ind-aigs-o1234g/O2/ nusmv.guidance^1.C.aig	UNSAT TT=0.639	UNSAT TT=1.057	UNSAT TT=1.638	UNSAT TT=1.256	UNSAT TT=2.559	UNSAT TT=0.639
additional-aig/ tip-k-ind-aigs-o1234g/O2/ nusmv.guidance^7.C.aig	UNSAT TT=17.238	UNSAT TT=29.235	UNSAT TT=117.482	UNSAT TT=90.47	UNSAT TT=17.238	UNSAT TT=17.422
additional-aig/ tip-k-ind-aigs-o1234g/O2/nusmv.tcas^2.B.aig	UNSAT TT=0.993	UNSAT TT=0.993	UNSAT TT=1.017	UNSAT TT=1.022	UNSAT TT=2.242	UNSAT TT=1.008
additional-aig/ tip-k-ind-aigs-o1234g/O2/nusmv.tcas^3.B.aig	UNSAT TT=0.59	UNSAT TT=0.59	UNSAT TT=0.905	UNSAT TT=1.007	UNSAT TT=1.79	UNSAT TT=0.894
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ tip-k-ind-aigs-o1234g/O2/ texas.parsesys^2.E.aig	UNSAT TT=0.025	UNSAT TT=0.025	UNSAT TT=0.472	UNSAT TT=0.48	? (problem) TT=0.198	UNSAT TT=0.03
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^12.E.aig	UNSAT TT=18.154	UNSAT TT=18.154	UNSAT TT=39.961	UNSAT TT=29.6	UNSAT TT=28.028	UNSAT TT=57.962
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^13.E.aig	UNSAT TT=1.012	UNSAT TT=1.012	UNSAT TT=1.741	UNSAT TT=2.088	UNSAT TT=3.315	UNSAT TT=1.057
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^14.E.aig	UNSAT TT=3.512	UNSAT TT=3.512	UNSAT TT=7.414	UNSAT TT=5.365	UNSAT TT=9.646	UNSAT TT=6.392
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^15.E.aig	UNSAT TT=9.77	UNSAT TT=9.77	UNSAT TT=21.446	UNSAT TT=17.346	UNSAT TT=17.855	UNSAT TT=23.838
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^16.E.aig	UNSAT TT=0.476	UNSAT TT=0.521	UNSAT TT=0.983	UNSAT TT=1.101	UNSAT TT=1.677	UNSAT TT=0.476
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^17.E.aig	UNSAT TT=22.122	UNSAT TT=22.122	UNSAT TT=48.334	UNSAT TT=30.599	UNSAT TT=24.935	UNSAT TT=46.636
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^18.E.aig	UNSAT TT=2.363	UNSAT TT=2.363	UNSAT TT=5.381	UNSAT TT=4.027	UNSAT TT=6.954	UNSAT TT=3.819
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^19.E.aig	UNSAT TT=9.126	UNSAT TT=9.126	UNSAT TT=17.411	UNSAT TT=15.504	UNSAT TT=16.726	UNSAT TT=15.25
additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^24.E.aig	UNSAT TT=36.944	UNSAT TT=36.944	UNSAT TT=66.356	UNSAT TT=39.311	UNSAT TT=44.88	UNSAT TT=117.912
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ tip-k-ind-aigs-o1234g/O3/cmu.periodic.N.aig	UNSAT TT=18.448	UNSAT TT=38.258	UNSAT TT=18.448	UNSAT TT=19.265	UNSAT TT=44.672	UNSAT TT=19.725
additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S298.S.aig	UNSAT TT=19.909	UNSAT TT=55.639	UNSAT TT=29.421	UNSAT TT=19.909	UNSAT TT=44.271	UNSAT TT=102.861
additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S510.S.aig	UNSAT TT=1.478	UNSAT TT=1.511	UNSAT TT=1.888	UNSAT TT=1.53	UNSAT TT=1.997	UNSAT TT=1.478
additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S820.S.aig	UNSAT TT=1.94	UNSAT TT=1.94	UNSAT TT=3.272	UNSAT TT=2.646	UNSAT TT=1.998	UNSAT TT=1.94
additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S832.S.aig	UNSAT TT=1.687	UNSAT TT=1.687	UNSAT TT=3.167	UNSAT TT=2.828	UNSAT TT=2.062	UNSAT TT=2.128
additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S953.S.aig	UNSAT TT=0.62	UNSAT TT=0.62	UNSAT TT=0.928	UNSAT TT=0.836	UNSAT TT=1.2	UNSAT TT=0.686
additional-aig/ tip-k-ind-aigs-o1234g/ O3/ken.oop^1.C.aig	UNSAT TT=14.796	UNSAT TT=44.191	? (TO) TT=1200.16	? (TO) TT=1200.06	UNSAT TT=14.796	UNSAT TT=48.158
additional-aig/ tip-k-ind-aigs-o1234g/O3/ nusmv.guidance^1.C.aig	UNSAT TT=0.653	UNSAT TT=0.978	UNSAT TT=1.697	UNSAT TT=1.215	UNSAT TT=2.339	UNSAT TT=0.653
additional-aig/ tip-k-ind-aigs-o1234g/O3/ nusmv.guidance^7.C.aig	UNSAT TT=16.939	UNSAT TT=20.045	UNSAT TT=122.435	UNSAT TT=78.338	UNSAT TT=16.939	UNSAT TT=18.062
additional-aig/ tip-k-ind-aigs-o1234g/O3/nusmv.tcas^2.B.aig	UNSAT TT=0.949	UNSAT TT=0.955	UNSAT TT=0.949	UNSAT TT=1.08	UNSAT TT=2.378	UNSAT TT=1.099
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ tip-k-ind-aigs-o1234g/O3/nusmv.tcas^3.B.aig	UNSAT TT=0.596	UNSAT TT=0.596	UNSAT TT=1.24	UNSAT TT=1.177	UNSAT TT=1.746	UNSAT TT=0.919
additional-aig/ tip-k-ind-aigs-o1234g/O3/ texas.parsesys^2.E.aig	UNSAT TT=0.022	UNSAT TT=0.022	UNSAT TT=0.48	UNSAT TT=0.446	? (problem) TT=0.184	UNSAT TT=0.024
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^12.E.aig	UNSAT TT=19.915	UNSAT TT=19.915	UNSAT TT=33.114	UNSAT TT=21.495	UNSAT TT=23.371	UNSAT TT=35.34
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^13.E.aig	UNSAT TT=0.794	UNSAT TT=0.834	UNSAT TT=1.334	UNSAT TT=1.457	UNSAT TT=2.601	UNSAT TT=0.794
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^14.E.aig	UNSAT TT=3.356	UNSAT TT=3.356	UNSAT TT=4.966	UNSAT TT=4.403	UNSAT TT=7.514	UNSAT TT=3.786
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^15.E.aig	UNSAT TT=8.925	UNSAT TT=8.925	UNSAT TT=20.013	UNSAT TT=12.304	UNSAT TT=15.831	UNSAT TT=15.485
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^16.E.aig	UNSAT TT=0.364	UNSAT TT=0.422	UNSAT TT=0.747	UNSAT TT=0.755	UNSAT TT=1.268	UNSAT TT=0.364
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^17.E.aig	UNSAT TT=20.726	UNSAT TT=20.726	UNSAT TT=37.672	UNSAT TT=25.019	UNSAT TT=21.233	UNSAT TT=30.154
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^18.E.aig	UNSAT TT=1.993	UNSAT TT=1.993	UNSAT TT=3.735	UNSAT TT=3.713	UNSAT TT=5.718	UNSAT TT=2.526
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^19.E.aig	UNSAT TT=8.221	UNSAT TT=8.221	UNSAT TT=11.276	UNSAT TT=9.154	UNSAT TT=14.282	UNSAT TT=10.704
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^24.E.aig	UNSAT TT=33.216	UNSAT TT=36.753	UNSAT TT=58.598	UNSAT TT=33.216	UNSAT TT=39.589	UNSAT TT=70.45
additional-aig/ tip-k-ind-aigs-o1234g/O4/cmu.periodic.N.aig	UNSAT TT=18.434	UNSAT TT=38.159	UNSAT TT=18.434	UNSAT TT=19.919	UNSAT TT=42.025	UNSAT TT=20.953
additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S298.S.aig	UNSAT TT=21.103	UNSAT TT=61.398	UNSAT TT=22.514	UNSAT TT=21.103	UNSAT TT=42.205	UNSAT TT=102.461
additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S510.S.aig	UNSAT TT=1.273	UNSAT TT=1.397	UNSAT TT=1.774	UNSAT TT=1.602	UNSAT TT=1.991	UNSAT TT=1.273
additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S820.S.aig	UNSAT TT=1.886	UNSAT TT=1.886	UNSAT TT=3.234	UNSAT TT=2.359	UNSAT TT=1.996	UNSAT TT=1.944
additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S832.S.aig	UNSAT TT=1.807	UNSAT TT=1.838	UNSAT TT=4.166	UNSAT TT=2.747	UNSAT TT=2.229	UNSAT TT=1.807
additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S953.S.aig	UNSAT TT=0.584	UNSAT TT=0.588	UNSAT TT=0.853	UNSAT TT=0.854	UNSAT TT=1.147	UNSAT TT=0.584
additional-aig/ tip-k-ind-aigs-o1234g/ O4/ken.oop^1.C.aig	UNSAT TT=14.941	UNSAT TT=45.398	? (TO) TT=1200.13	? (TO) TT=1200.12	UNSAT TT=14.941	UNSAT TT=48.022
additional-aig/ tip-k-ind-aigs-o1234g/O4/ nusmv.guidance^1.C.aig	UNSAT TT=0.651	UNSAT TT=1.014	UNSAT TT=1.958	UNSAT TT=1.17	UNSAT TT=2.44	UNSAT TT=0.651
additional-aig/ tip-k-ind-aigs-o1234g/O4/ nusmv.guidance^7.C.aig	UNSAT TT=15.883	UNSAT TT=29.451	UNSAT TT=131.096	UNSAT TT=56.042	UNSAT TT=15.883	UNSAT TT=16.203
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ tip-k-ind-aigs-o1234g/O4/nusmv.tcas^2.B.aig	UNSAT TT=0.898	UNSAT TT=0.96	UNSAT TT=0.898	UNSAT TT=1.071	UNSAT TT=2.219	UNSAT TT=1.234
additional-aig/ tip-k-ind-aigs-o1234g/O4/nusmv.tcas^3.B.aig	UNSAT TT=0.546	UNSAT TT=0.546	UNSAT TT=1.01	UNSAT TT=1.048	UNSAT TT=1.757	UNSAT TT=0.872
additional-aig/ tip-k-ind-aigs-o1234g/O4/ texas.parsesys^2.E.aig	UNSAT TT=0.022	UNSAT TT=0.022	UNSAT TT=0.484	UNSAT TT=0.414	? (problem) TT=0.183	UNSAT TT=0.025
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^12.E.aig	UNSAT TT=18.747	UNSAT TT=18.747	UNSAT TT=30.93	UNSAT TT=23.388	UNSAT TT=24.81	UNSAT TT=35.353
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^13.E.aig	UNSAT TT=0.74	UNSAT TT=0.849	UNSAT TT=1.256	UNSAT TT=1.367	UNSAT TT=2.596	UNSAT TT=0.74
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^14.E.aig	UNSAT TT=2.993	UNSAT TT=2.993	UNSAT TT=4.15	UNSAT TT=4.634	UNSAT TT=8.037	UNSAT TT=3.608
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^15.E.aig	UNSAT TT=9.542	UNSAT TT=9.542	UNSAT TT=18.639	UNSAT TT=13.118	UNSAT TT=15.675	UNSAT TT=17.96
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^16.E.aig	UNSAT TT=0.366	UNSAT TT=0.425	UNSAT TT=0.704	UNSAT TT=0.816	UNSAT TT=1.191	UNSAT TT=0.366
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^17.E.aig	UNSAT TT=19.239	UNSAT TT=19.239	UNSAT TT=36.948	UNSAT TT=23.3	UNSAT TT=21.147	UNSAT TT=34.732
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^18.E.aig	UNSAT TT=2.206	UNSAT TT=2.206	UNSAT TT=3.845	UNSAT TT=3.337	UNSAT TT=5.326	UNSAT TT=3.102
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^19.E.aig	UNSAT TT=7.56	UNSAT TT=7.56	UNSAT TT=13.257	UNSAT TT=10.134	UNSAT TT=14.766	UNSAT TT=11.996
additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^24.E.aig	UNSAT TT=35.544	UNSAT TT=35.544	UNSAT TT=47.275	UNSAT TT=36.542	UNSAT TT=39.822	UNSAT TT=84.159
additional-aig/ tip-k-ind-aigs-o1234g/Og/cmu.periodic.N.aig	UNSAT TT=19.685	UNSAT TT=36.461	UNSAT TT=19.928	UNSAT TT=20.326	UNSAT TT=45.104	UNSAT TT=19.685
additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S298.S.aig	UNSAT TT=17.534	UNSAT TT=63.828	UNSAT TT=31.025	UNSAT TT=17.534	UNSAT TT=44.344	UNSAT TT=162.337
additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S510.S.aig	UNSAT TT=2.058	UNSAT TT=2.461	UNSAT TT=3.359	UNSAT TT=2.649	UNSAT TT=2.101	UNSAT TT=2.058
additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S820.S.aig	UNSAT TT=2.338	UNSAT TT=2.387	UNSAT TT=3.967	UNSAT TT=4.25	UNSAT TT=2.338	UNSAT TT=2.564
additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S832.S.aig	UNSAT TT=2.292	UNSAT TT=2.825	UNSAT TT=5.052	UNSAT TT=4.11	UNSAT TT=2.292	UNSAT TT=2.574
additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S953.S.aig	UNSAT TT=0.749	UNSAT TT=0.749	UNSAT TT=1.259	UNSAT TT=1.156	UNSAT TT=1.326	UNSAT TT=0.897
additional-aig/ tip-k-ind-aigs-o1234g/ Og/ken.oop^1.C.aig	UNSAT TT=15.285	UNSAT TT=33.376	? (TO) TT=1200.07	? (TO) TT=1200.12	UNSAT TT=15.285	UNSAT TT=41
additional-aig/ tip-k-ind-aigs-o1234g/Og/ nusmv.guidance^1.C.aig	UNSAT TT=0.783	UNSAT TT=1.224	UNSAT TT=1.587	UNSAT TT=1.911	UNSAT TT=2.812	UNSAT TT=0.783
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ tip-k-ind-aigs-o1234g/Og/ nusmv.guidance^7.C.aig	UNSAT TT=18.503	UNSAT TT=44.635	UNSAT TT=122.981	UNSAT TT=118.944	UNSAT TT=18.503	UNSAT TT=34.48
additional-aig/ tip-k-ind-aigs-o1234g/Og/nusmv.tcas^2.B.aig	UNSAT TT=0.334	UNSAT TT=0.334	UNSAT TT=1.219	UNSAT TT=1.009	UNSAT TT=2.44	UNSAT TT=1.268
additional-aig/ tip-k-ind-aigs-o1234g/Og/nusmv.tcas^3.B.aig	UNSAT TT=0.376	UNSAT TT=0.376	UNSAT TT=0.923	UNSAT TT=0.94	UNSAT TT=1.674	UNSAT TT=1.077
additional-aig/ tip-k-ind-aigs-o1234g/Og/ texas.parsesys^2.E.aig	UNSAT TT=0.024	UNSAT TT=0.024	UNSAT TT=0.423	UNSAT TT=0.464	UNSAT TT=0.137	UNSAT TT=0.027
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^12.E.aig	UNSAT TT=25.717	UNSAT TT=25.717	UNSAT TT=41.784	UNSAT TT=31.517	UNSAT TT=27.445	UNSAT TT=37.954
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^13.E.aig	UNSAT TT=0.792	UNSAT TT=0.959	UNSAT TT=1.727	UNSAT TT=1.676	UNSAT TT=2.907	UNSAT TT=0.792
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^14.E.aig	UNSAT TT=3.28	UNSAT TT=3.28	UNSAT TT=6.009	UNSAT TT=5.66	UNSAT TT=8.431	UNSAT TT=3.789
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^15.E.aig	UNSAT TT=11.231	UNSAT TT=11.231	UNSAT TT=17.546	UNSAT TT=18.339	UNSAT TT=17.768	UNSAT TT=24.615
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^16.E.aig	UNSAT TT=0.41	UNSAT TT=0.473	UNSAT TT=0.86	UNSAT TT=0.902	UNSAT TT=1.446	UNSAT TT=0.41
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^17.E.aig	UNSAT TT=23.81	UNSAT TT=24.562	UNSAT TT=47.059	UNSAT TT=29.303	UNSAT TT=23.81	UNSAT TT=38.315
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^18.E.aig	UNSAT TT=2.382	UNSAT TT=2.382	UNSAT TT=4.49	UNSAT TT=4.29	UNSAT TT=6.308	UNSAT TT=3.474
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^19.E.aig	UNSAT TT=8.984	UNSAT TT=8.984	UNSAT TT=17.846	UNSAT TT=12.969	UNSAT TT=15.859	UNSAT TT=13.911
additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^24.E.aig	UNSAT TT=38.967	UNSAT TT=38.967	UNSAT TT=57.186	UNSAT TT=46.926	UNSAT TT=41.534	UNSAT TT=83.906
industrial-aig/ anbulagan/hard-sat/ partial-10-11-s.aig		? (TO) TT=1200.09	? (MO) TT=991.984	? (TO) TT=1200.32	? (TO) TT=1200.01	? (TO) TT=1200.03
industrial-aig/ anbulagan/hard-sat/ partial-10-13-s.aig		? (TO) TT=1200.08	? (MO) TT=312.871	? (MO) TT=457.156	? (TO) TT=1200.07	? (TO) TT=1200.02
industrial-aig/ anbulagan/hard-sat/ partial-10-15-s.aig		? (TO) TT=1200.13	? (MO) TT=52.318	? (MO) TT=53.632	? (TO) TT=1200.08	? (TO) TT=1200.09
industrial-aig/ anbulagan/hard-sat/ partial-10-17-s.aig		? (TO) TT=1200.14	? (problem) TT=45.503	? (MO) TT=53.318	? (TO) TT=1200.07	? (TO) TT=1200.03
industrial-aig/ anbulagan/hard-sat/ partial-10-19-s.aig		? (TO) TT=1200.12	? (MO) TT=47.841	? (MO) TT=49.98	? (TO) TT=1200.02	? (TO) TT=1200.05
industrial-aig/ anbulagan/ hard-sat/partial-5-17-s.aig		? (TO) TT=1200.1	? (MO) TT=52.329	? (MO) TT=56.634	? (TO) TT=1200.02	? (TO) TT=1200.04
industrial-aig/ anbulagan/ hard-sat/partial-5-19-s.aig		? (TO) TT=1200.18	? (MO) TT=53.204	? (MO) TT=59.465	? (TO) TT=1200.05	? (TO) TT=1200.08
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/ anbulagan/hard-unsat/ dated-10-11-u.aig		? (TO) TT=1200.07	? (TO) TT=1200.28	? (TO) TT=1200.28	? (TO) TT=1200.05	? (TO) TT=1200.06
industrial-aig/ anbulagan/hard-unsat/ dated-10-13-u.aig		? (TO) TT=1200.09	? (TO) TT=1200.35	? (TO) TT=1200.34	? (TO) TT=1200.06	? (TO) TT=1200.09
industrial-aig/ anbulagan/hard-unsat/ dated-10-17-u.aig		? (TO) TT=1200.16	? (MO) TT=380.111	? (MO) TT=604.904	? (TO) TT=1200.04	? (TO) TT=1200
industrial-aig/ anbulagan/hard-unsat/ dated-10-19-u.aig		? (TO) TT=1200.1	? (MO) TT=55.061	? (MO) TT=58.754	? (TO) TT=1200.02	? (TO) TT=1200.05
industrial-aig/ anbulagan/hard-unsat/ dated-5-13-u.aig		? (TO) TT=1200.13	? (TO) TT=1200.27	? (TO) TT=1200.23	? (TO) TT=1200.02	? (TO) TT=1200.01
industrial-aig/ anbulagan/hard-unsat/ dated-5-15-u.aig		? (TO) TT=1200.13	? (TO) TT=1200.27	? (TO) TT=1200.27	? (TO) TT=1200.09	? (TO) TT=1200
industrial-aig/ anbulagan/hard-unsat/ dated-5-17-u.aig		? (TO) TT=1200.15	? (TO) TT=1200.27	? (TO) TT=1200.32	? (TO) TT=1200.01	? (TO) TT=1200.09
industrial-aig/ anbulagan/hard-unsat/ dated-5-19-u.aig		? (TO) TT=1200.12	? (TO) TT=1200.32	? (TO) TT=1200.27	? (TO) TT=1200.06	? (TO) TT=1200.05
industrial-aig/ anbulagan/ hard-unsat/partial-10-11-u.aig		? (TO) TT=1200.09	? (TO) TT=1200.32	? (TO) TT=1200.34	? (TO) TT=1200.07	? (TO) TT=1200.05
industrial-aig/ anbulagan/ hard-unsat/partial-10-13-u.aig		? (TO) TT=1200.14	? (MO) TT=321.778	? (MO) TT=815.064	? (TO) TT=1200.08	? (TO) TT=1200.1
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/ anbulagan/ hard-unsat/partial-10-15-u.aig		? (TO) TT=1200.09	? (MO) TT=51.531	? (MO) TT=56.84	? (TO) TT=1200.09	? (TO) TT=1200.06
industrial-aig/ anbulagan/ hard-unsat/partial-10-17-u.aig		? (TO) TT=1200.13	? (problem) TT=45.901	? (MO) TT=55.757	? (TO) TT=1200.08	? (TO) TT=1200.09
industrial-aig/ anbulagan/ hard-unsat/partial-10-19-u.aig		? (TO) TT=1200.11	? (MO) TT=49.848	? (MO) TT=48.555	? (TO) TT=1200.05	? (TO) TT=1200.03
industrial-aig/ anbulagan/hard-unsat/ partial-5-11-u.aig		? (TO) TT=1200.16	? (TO) TT=1200.34	? (TO) TT=1200.31	? (TO) TT=1200.06	? (TO) TT=1200.1
industrial-aig/ anbulagan/hard-unsat/ partial-5-13-u.aig		? (TO) TT=1200.14	? (MO) TT=1036.37	? (TO) TT=1200.37	? (TO) TT=1200	? (TO) TT=1200.02
industrial-aig/ anbulagan/hard-unsat/ partial-5-15-u.aig		? (TO) TT=1200.13	? (MO) TT=578.791	? (MO) TT=768.503	? (TO) TT=1200.01	? (TO) TT=1200.08
industrial-aig/ anbulagan/hard-unsat/ partial-5-17-u.aig		? (TO) TT=1200.1	? (MO) TT=55.684	? (MO) TT=59.065	? (TO) TT=1200.06	? (TO) TT=1200
industrial-aig/ anbulagan/hard-unsat/ partial-5-19-u.aig		? (TO) TT=1200.14	? (MO) TT=52.882	? (MO) TT=59.348	? (TO) TT=1200.01	? (TO) TT=1200.07
industrial-aig/ anbulagan/hard-unsat/ total-10-15-u.aig		? (TO) TT=1200.18	? (MO) TT=51.829	? (MO) TT=55.226	? (TO) TT=1200.05	? (TO) TT=1200.02
industrial-aig/ anbulagan/hard-unsat/ total-10-17-u.aig		? (TO) TT=1200.15	? (MO) TT=48.963	? (MO) TT=58.809	? (TO) TT=1200.1	? (TO) TT=1200.02
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/ anbulagan/hard-unsat/ total-10-19-u.aig		? (TO) TT=1200.17	? (MO) TT=46.924	? (MO) TT=46.774	? (TO) TT=1200.09	? (TO) TT=1200.09
industrial-aig/ anbulagan/hard-unsat/ total-5-15-u.aig		? (TO) TT=1200.09	? (TO) TT=1200.36	? (TO) TT=1200.29	? (TO) TT=1200.07	? (TO) TT=1200.06
industrial-aig/ anbulagan/hard-unsat/ total-5-17-u.aig		? (TO) TT=1200.13	? (MO) TT=51.909	? (MO) TT=57.614	? (TO) TT=1200.1	? (TO) TT=1200.09
industrial-aig/ anbulagan/hard-unsat/ total-5-19-u.aig		? (TO) TT=1200.13	? (MO) TT=48.651	? (MO) TT=57.031	? (TO) TT=1200	? (TO) TT=1200.07
industrial-aig/ anbulagan/medium-sat/ dated-10-13-s.aig	SAT TT=120.19	SAT TT=905.104	? (TO) TT=1200.3	? (TO) TT=1200.3	? (TO) TT=1200.03	SAT TT=120.19
industrial-aig/ anbulagan/medium-sat/ dated-10-17-s.aig	SAT TT=145.661	? (TO) TT=1200.11	? (MO) TT=319.98	? (MO) TT=403.592	? (TO) TT=1200.09	SAT TT=145.661
industrial-aig/ anbulagan/medium-sat/ partial-5-11-s.aig	SAT TT=114.33	? (TO) TT=1200.12	? (TO) TT=1200.29	? (TO) TT=1200.25	? (problem) TT=568.013	SAT TT=114.33
industrial-aig/ anbulagan/medium-sat/ partial-5-13-s.aig	SAT TT=642.866	SAT TT=813.719	SAT TT=860.749	SAT TT=642.866	? (problem) TT=688.16	SAT TT=1060.15
industrial-aig/ anbulagan/medium-sat/ partial-5-15-s.aig		? (TO) TT=1200.12	? (MO) TT=548.227	? (MO) TT=621.391	? (TO) TT=1200.06	? (TO) TT=1200.02
industrial-aig/ anbulagan/medium-sat/ total-10-15-s.aig		? (TO) TT=1200.18	? (MO) TT=52.649	? (MO) TT=56.664	? (TO) TT=1200.01	? (TO) TT=1200.07
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/ anbulagan/medium-sat/ total-10-17-s.aig	SAT TT=84.991	SAT TT=84.991	? (MO) TT=44.52	? (MO) TT=54.332	? (TO) TT=1200.1	SAT TT=176.451
industrial-aig/ anbulagan/medium-sat/ total-10-19-s.aig	SAT TT=175.175	SAT TT=530.229	? (MO) TT=47.943	? (MO) TT=44.731	? (TO) TT=1200.05	SAT TT=175.175
industrial-aig/ anbulagan/medium-sat/ total-5-17-s.aig	SAT TT=277.152	SAT TT=647.351	? (MO) TT=52.537	? (MO) TT=58.919	? (problem) TT=224.664	SAT TT=277.152
industrial-aig/ anbulagan/medium-sat/ total-5-19-s.aig	SAT TT=234.259	SAT TT=293.243	? (MO) TT=50.443	? (problem) TT=61.034	? (TO) TT=1200.06	SAT TT=234.259
industrial-aig/ anbulagan/medium-unsat/ dated-10-15-u.aig	UNSAT TT=62.604	UNSAT TT=234.935	UNSAT TT=119.983	UNSAT TT=132.883	UNSAT TT=62.604	UNSAT TT=370.757
industrial-aig/ anbulagan/medium-unsat/ dated-5-11-u.aig	UNSAT TT=202.58	UNSAT TT=284.031	UNSAT TT=532.243	UNSAT TT=488.649	UNSAT TT=202.58	UNSAT TT=1081.2
industrial-aig/ anbulagan/medium-unsat/ total-10-11-u.aig	UNSAT TT=114.401	UNSAT TT=425.701	UNSAT TT=247.405	UNSAT TT=215.875	UNSAT TT=114.401	UNSAT TT=834.411
industrial-aig/ anbulagan/medium-unsat/ total-10-13-u.aig		? (TO) TT=1200.15	? (MO) TT=489.666	? (TO) TT=1200.36	? (TO) TT=1200.05	? (TO) TT=1200.09
industrial-aig/ anbulagan/medium-unsat/ total-5-11-u.aig	UNSAT TT=48.295	UNSAT TT=158.765	UNSAT TT=94.77	UNSAT TT=86.131	UNSAT TT=48.295	UNSAT TT=169.04
industrial-aig/ anbulagan/medium-unsat/ total-5-13-u.aig	UNSAT TT=169.919	UNSAT TT=886.178	UNSAT TT=283.223	UNSAT TT=205.311	UNSAT TT=169.919	UNSAT TT=787.014
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/ babic/dspam/ dspam_dump_vc1080.aig	UNSAT TT=7.865	UNSAT TT=7.865	UNSAT TT=181.996	UNSAT TT=19.083	? (problem) TT=12.883	UNSAT TT=70.57
industrial-aig/ babic/dspam/ dspam_dump_vc1081.aig	UNSAT TT=7.871	UNSAT TT=7.871	UNSAT TT=18.724	UNSAT TT=27.638	? (problem) TT=12.189	? (TO) TT=1200.09
industrial-aig/ babic/dspam/ dspam_dump_vc1093.aig	UNSAT TT=6.866	UNSAT TT=6.866	UNSAT TT=15.785	? (TO) TT=1200.19	? (problem) TT=11.016	UNSAT TT=258.282
industrial-aig/ babic/dspam/ dspam_dump_vc1103.aig	UNSAT TT=85.156	? (TO) TT=1200.14	? (TO) TT=1200.3	UNSAT TT=85.156	? (problem) TT=32.229	? (TO) TT=1200.07
industrial-aig/ babic/dspam/ dspam_dump_vc1104.aig	UNSAT TT=446.391	? (TO) TT=1200.21	? (TO) TT=1200.29	? (TO) TT=1200.24	? (problem) TT=32.281	UNSAT TT=446.391
industrial-aig/ babic/dspam/ dspam_dump_vc949.aig	UNSAT TT=6.719	UNSAT TT=6.719	UNSAT TT=23.243	? (TO) TT=1200.2	? (problem) TT=11.703	UNSAT TT=816.676
industrial-aig/ babic/dspam/ dspam_dump_vc950.aig	UNSAT TT=7.347	UNSAT TT=7.347	UNSAT TT=27.186	UNSAT TT=25.427	? (problem) TT=11.775	UNSAT TT=265.062
industrial-aig/ babic/dspam/ dspam_dump_vc962.aig	UNSAT TT=7.293	UNSAT TT=7.293	UNSAT TT=308.009	UNSAT TT=16.079	? (problem) TT=11.236	UNSAT TT=23.634
industrial-aig/ babic/dspam/ dspam_dump_vc972.aig	UNSAT TT=347.599	UNSAT TT=920.221	? (TO) TT=1200.26	? (TO) TT=1200.24	? (problem) TT=31.796	UNSAT TT=347.599
industrial-aig/ babic/dspam/ dspam_dump_vc973.aig	UNSAT TT=53.703	UNSAT TT=745.834	UNSAT TT=53.703	UNSAT TT=61.199	? (problem) TT=31.82	UNSAT TT=347.687
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/ babic/hsatv17/ hsat_vc11773.aig	UNSAT TT=7.552	UNSAT TT=7.552	UNSAT TT=46.125	UNSAT TT=130.583	? (problem) TT=24.257	UNSAT TT=16.082
industrial-aig/ babic/hsatv17/ hsat_vc11803.aig	UNSAT TT=10.261	UNSAT TT=10.261	UNSAT TT=45.522	UNSAT TT=253.187	? (problem) TT=28.29	UNSAT TT=33.208
industrial-aig/ babic/hsatv17/ hsat_vc11813.aig	UNSAT TT=9.578	UNSAT TT=9.578	UNSAT TT=54.105	UNSAT TT=44.55	? (problem) TT=32.357	UNSAT TT=25.229
industrial-aig/ babic/hsatv17/ hsat_vc11817.aig	UNSAT TT=9.012	UNSAT TT=9.012	UNSAT TT=94.165	UNSAT TT=191.53	? (problem) TT=24.388	UNSAT TT=16.333
industrial-aig/ babic/hsatv17/ hsat_vc11935.aig	UNSAT TT=6.783	UNSAT TT=6.783	UNSAT TT=58.812	UNSAT TT=183.612	? (problem) TT=17.466	UNSAT TT=37.062
industrial-aig/ babic/hsatv17/ hsat_vc11944.aig	UNSAT TT=6.421	UNSAT TT=6.421	UNSAT TT=63.271	UNSAT TT=97.959	? (problem) TT=17.409	UNSAT TT=19.55
industrial-aig/ babic/hsatv17/ hsat_vc12016.aig	UNSAT TT=5.29	UNSAT TT=5.29	UNSAT TT=16.497	UNSAT TT=15.325	? (problem) TT=14.886	UNSAT TT=12.191
industrial-aig/ babic/hsatv17/ hsat_vc12062.aig	UNSAT TT=5.964	UNSAT TT=5.964	UNSAT TT=49.15	UNSAT TT=116.812	? (problem) TT=19.814	UNSAT TT=18.525
industrial-aig/ babic/hsatv17/ hsat_vc12070.aig	UNSAT TT=6.603	UNSAT TT=6.603	UNSAT TT=23.88	UNSAT TT=23.041	? (problem) TT=19.62	UNSAT TT=20.334
industrial-aig/ babic/hsatv17/ hsat_vc12072.aig	UNSAT TT=7.639	UNSAT TT=7.639	UNSAT TT=87.984	UNSAT TT=110.845	? (problem) TT=23.612	UNSAT TT=26.724
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/babic/ xinetd/itox_vc1033.aig	SAT TT=26.496	SAT TT=36.58	SAT TT=26.496	SAT TT=545.203	? (problem) TT=14.147	SAT TT=30.14
industrial-aig/babic/ xinetd/itox_vc1044.aig	SAT TT=29.134	SAT TT=29.134	SAT TT=29.494	SAT TT=519.78	? (problem) TT=14.026	SAT TT=37.355
industrial-aig/babic/ xinetd/itox_vc1130.aig	SAT TT=19.607	SAT TT=34.417	SAT TT=680.573	? (TO) TT=1200.14	SAT TT=19.607	SAT TT=52.3
industrial-aig/babic/ xinetd/itox_vc1138.aig	SAT TT=21.703	SAT TT=21.938	SAT TT=21.703	? (TO) TT=1200.1	SAT TT=26.604	SAT TT=36.993
industrial-aig/babic/ xinetd/itox_vc1216.aig	UNSAT TT=6.803	UNSAT TT=6.803	UNSAT TT=17.123	UNSAT TT=19.076	? (problem) TT=14.109	UNSAT TT=13.503
industrial-aig/babic/ xinetd/itox_vc909.aig	SAT TT=12.763	SAT TT=12.763	SAT TT=202.483	SAT TT=958.909	? (problem) TT=14.65	SAT TT=23.792
industrial-aig/babic/ xinetd/itox_vc965.aig	UNSAT TT=3.154	UNSAT TT=3.154	UNSAT TT=13.958	UNSAT TT=14.797	UNSAT TT=10.116	UNSAT TT=10.671
industrial-aig/babic/ xinetd/itox_vc979.aig	UNSAT TT=5.421	UNSAT TT=5.421	UNSAT TT=13.219	UNSAT TT=14.9	? (problem) TT=10.873	UNSAT TT=10.812
industrial-aig/ babic/xinetd/ xinetd_vc56687.aig	UNSAT TT=2.563	UNSAT TT=2.563	UNSAT TT=10.326	UNSAT TT=10.097	UNSAT TT=7.525	UNSAT TT=7.818
industrial-aig/ babic/xinetd/ xinetd_vc56703.aig	UNSAT TT=2.483	UNSAT TT=2.483	UNSAT TT=9.558	UNSAT TT=10.758	UNSAT TT=7.956	UNSAT TT=7.527
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/crypto/ mizh-md5-47-3.aig	SAT TT=608.995	SAT TT=608.995	? (TO) TT=1200.11	? (TO) TT=1200.09	? (problem) TT=146.17	? (TO) TT=1200.01
industrial-aig/crypto/ mizh-md5-47-4.aig		? (TO) TT=1200.12	? (TO) TT=1200.1	? (TO) TT=1200.13	? (problem) TT=412.862	? (TO) TT=1200.06
industrial-aig/crypto/ mizh-md5-47-5.aig		? (TO) TT=1200.11	? (TO) TT=1200.16	? (TO) TT=1200.1	? (problem) TT=203.138	? (TO) TT=1200.05
industrial-aig/crypto/ mizh-md5-48-2.aig		? (TO) TT=1200.11	? (TO) TT=1200.14	? (TO) TT=1200.16	? (problem) TT=448.123	? (TO) TT=1200
industrial-aig/crypto/ mizh-md5-48-5.aig		? (TO) TT=1200.12	? (TO) TT=1200.17	? (TO) TT=1200.08	? (TO) TT=1200.05	? (TO) TT=1200.09
industrial-aig/crypto/ mizh-sha0-35-2.aig	SAT TT=333.678	SAT TT=333.678	? (TO) TT=1200.15	? (TO) TT=1200.18	SAT TT=647.962	? (TO) TT=1200.03
industrial-aig/crypto/ mizh-sha0-35-3.aig	SAT TT=256.737	SAT TT=256.737	? (TO) TT=1200.17	? (TO) TT=1200.14	SAT TT=656.347	? (TO) TT=1200.03
industrial-aig/crypto/ mizh-sha0-35-4.aig	SAT TT=237.01	SAT TT=1139.55	SAT TT=709.704	? (TO) TT=1200.16	SAT TT=237.01	SAT TT=434.683
industrial-aig/crypto/ mizh-sha0-35-5.aig	SAT TT=133.21	SAT TT=133.21	SAT TT=345.38	? (TO) TT=1200.08	SAT TT=386.084	SAT TT=714.263
industrial-aig/crypto/ mizh-sha0-36-2.aig		? (TO) TT=1200.15	? (TO) TT=1200.1	? (TO) TT=1200.08	? (TO) TT=1200	? (TO) TT=1200.09
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/fuhs/ hard/AProVE07-01.aig		? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.08	? (TO) TT=1200.02	? (TO) TT=1200.08
industrial-aig/fuhs/ hard/AProVE07-03.aig		? (TO) TT=1200.08	? (TO) TT=1200.03	? (TO) TT=1200.03	? (TO) TT=1200.08	? (TO) TT=1200.05
industrial-aig/fuhs/ hard/AProVE07-08.aig	UNSAT TT=851.332	? (TO) TT=1200.06	? (TO) TT=1200.1	? (TO) TT=1200.03	UNSAT TT=851.332	? (TO) TT=1200.06
industrial-aig/fuhs/ hard/AProVE07-25.aig		? (TO) TT=1200.14	? (TO) TT=1200.09	? (TO) TT=1200.04	? (TO) TT=1200.07	? (TO) TT=1200.04
industrial-aig/fuhs/ hard/AProVE07-26.aig		? (TO) TT=1200.13	? (TO) TT=1200.13	? (TO) TT=1200.12	? (TO) TT=1200.03	? (TO) TT=1200.09
industrial-aig/fuhs/ hard/AProVE07-27.aig		? (TO) TT=1200.14	? (TO) TT=1200.11	? (TO) TT=1200.08	? (TO) TT=1200.07	? (TO) TT=1200.07
industrial-aig/fuhs/ medium/AProVE07-02.aig	UNSAT TT=703.533	? (TO) TT=1200.05	? (TO) TT=1200.09	? (TO) TT=1200.06	UNSAT TT=703.533	? (TO) TT=1200.08
industrial-aig/fuhs/ medium/AProVE07-04.aig	UNSAT TT=255.089	UNSAT TT=379.487	UNSAT TT=825.586	UNSAT TT=610.395	UNSAT TT=255.089	? (TO) TT=1200.04
industrial-aig/fuhs/ medium/AProVE07-06.aig	UNSAT TT=183.647	UNSAT TT=183.647	UNSAT TT=530.296	UNSAT TT=796.455	UNSAT TT=296.913	UNSAT TT=892.203
industrial-aig/fuhs/ medium/AProVE07-09.aig	UNSAT TT=902.492	UNSAT TT=943.589	? (TO) TT=1200.08	? (TO) TT=1200.18	UNSAT TT=902.492	? (TO) TT=1200.11
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/fuhs/ medium/AProVE07-15.aig	UNSAT TT=57.952	UNSAT TT=57.952	UNSAT TT=221.688	UNSAT TT=161.195	UNSAT TT=192.513	UNSAT TT=300.352
industrial-aig/fuhs/ medium/AProVE07-16.aig	UNSAT TT=552.114	UNSAT TT=552.114	? (TO) TT=1200.08	? (TO) TT=1200.12	UNSAT TT=851.99	? (TO) TT=1200.01
industrial-aig/fuhs/ medium/AProVE07-20.aig	UNSAT TT=320.338	UNSAT TT=682.248	UNSAT TT=1080.35	UNSAT TT=1000.67	UNSAT TT=320.338	? (TO) TT=1200.1
industrial-aig/fuhs/ medium/AProVE07-21.aig	UNSAT TT=584.99	UNSAT TT=801.606	UNSAT TT=1033.44	UNSAT TT=1140.19	UNSAT TT=584.99	? (TO) TT=1200.09
industrial-aig/fuhs/ medium/AProVE07-22.aig	UNSAT TT=102.337	UNSAT TT=126.217	UNSAT TT=1029.9	UNSAT TT=834.42	UNSAT TT=102.337	UNSAT TT=299.901
industrial-aig/ grieu/vmpc_24.aig	SAT TT=12.446	SAT TT=111.501	SAT TT=29.76	SAT TT=12.446	SAT TT=51.3	SAT TT=1047.55
industrial-aig/ grieu/vmpc_25.aig	SAT TT=16.678	SAT TT=16.678	SAT TT=242.555	SAT TT=506.241	SAT TT=172.272	SAT TT=97.757
industrial-aig/ grieu/vmpc_26.aig	SAT TT=48.855	SAT TT=48.855	? (TO) TT=1200.14	SAT TT=269.414	SAT TT=476.289	? (TO) TT=1200.06
industrial-aig/ grieu/vmpc_27.aig	SAT TT=74.437	SAT TT=107.683	SAT TT=90.479	SAT TT=74.437	SAT TT=389.558	? (TO) TT=1200.01
industrial-aig/ grieu/vmpc_28.aig	SAT TT=60.599	SAT TT=452.526	SAT TT=423.012	SAT TT=60.599	? (TO) TT=1200.02	? (TO) TT=1200.01
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/ grieu/vmpc_29.aig	SAT TT=179.379	SAT TT=179.379	? (TO) TT=1200.15	SAT TT=699.697	? (TO) TT=1200.04	SAT TT=675.169
industrial-aig/ grieu/vmpc_30.aig	SAT TT=421.708	? (TO) TT=1200.13	? (TO) TT=1200.11	SAT TT=421.708	? (TO) TT=1200.03	? (TO) TT=1200.04
industrial-aig/ grieu/vmpc_31.aig		? (TO) TT=1200.09	? (TO) TT=1200.14	? (TO) TT=1200.13	? (TO) TT=1200.09	? (TO) TT=1200.05
industrial-aig/ jarvisalo/ eq.atree.braun.10.unsat.aig	UNSAT TT=846.463	? (TO) TT=1200.07	? (TO) TT=1200.11	? (TO) TT=1200.09	UNSAT TT=846.463	? (TO) TT=1200.09
industrial-aig/ jarvisalo/ eq.atree.braun.11.unsat.aig		? (TO) TT=1200.09	? (TO) TT=1200.03	? (TO) TT=1200.13	? (TO) TT=1200.04	? (TO) TT=1200.06
industrial-aig/ jarvisalo/ eq.atree.braun.12.unsat.aig		? (TO) TT=1200.13	? (TO) TT=1200.07	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.08
industrial-aig/ jarvisalo/ eq.atree.braun.13.unsat.aig		? (TO) TT=1200.06	? (TO) TT=1200.12	? (TO) TT=1200.11	? (TO) TT=1200.03	? (TO) TT=1200.05
industrial-aig/ jarvisalo/ eq.atree.braun.7.unsat.aig	UNSAT TT=3.48	UNSAT TT=5.627	UNSAT TT=7.707	UNSAT TT=6.968	UNSAT TT=3.48	UNSAT TT=13.008
industrial-aig/ jarvisalo/ eq.atree.braun.8.unsat.aig	UNSAT TT=20.55	UNSAT TT=66.584	UNSAT TT=60.629	UNSAT TT=44.49	UNSAT TT=20.55	UNSAT TT=134.539
industrial-aig/ jarvisalo/ eq.atree.braun.9.unsat.aig	UNSAT TT=93.296	UNSAT TT=316.954	UNSAT TT=381.954	UNSAT TT=397.63	UNSAT TT=93.296	UNSAT TT=971.424
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/ manolios/ manol-pipe-c10nidw_s.aig	UNSAT TT=122.735	UNSAT TT=442.544	? (TO) TT=1200.19	? (TO) TT=1200.2	UNSAT TT=201.873	UNSAT TT=122.735
industrial-aig/ manolios/ manol-pipe-c6nidw_i.aig	UNSAT TT=106.215	UNSAT TT=119.794	? (TO) TT=1200.17	? (TO) TT=1200.14	UNSAT TT=106.215	UNSAT TT=493.582
industrial-aig/ manolios/ manol-pipe-c7bidw_i.aig	UNSAT TT=206.272	UNSAT TT=610.456	? (TO) TT=1200.11	? (TO) TT=1200.11	UNSAT TT=206.272	? (TO) TT=1200.09
industrial-aig/ manolios/ manol-pipe-c7nidw.aig	UNSAT TT=408.672	UNSAT TT=408.672	? (TO) TT=1200.25	? (TO) TT=1200.12	UNSAT TT=973.595	? (TO) TT=1200.07
industrial-aig/manolios/ manol-pipe-f10ni.aig		? (TO) TT=1200.12	? (TO) TT=1200.1	? (TO) TT=1200.21	? (TO) TT=1200.07	? (TO) TT=1200.02
industrial-aig/manolios/ manol-pipe-f7idw.aig	UNSAT TT=198.806	UNSAT TT=198.806	? (TO) TT=1200.11	? (TO) TT=1200.22	? (TO) TT=1200.07	UNSAT TT=439.515
industrial-aig/manolios/ manol-pipe-f9b.aig	UNSAT TT=434.771	UNSAT TT=434.771	? (TO) TT=1200.09	? (TO) TT=1200.09	? (TO) TT=1200.05	? (TO) TT=1200.08
industrial-aig/manolios/ manol-pipe-f9n.aig	UNSAT TT=531.947	UNSAT TT=531.947	? (TO) TT=1200.15	? (TO) TT=1200.16	? (TO) TT=1200.09	? (TO) TT=1200.07
industrial-aig/ manolios/ manol-pipe-g10bidw.aig	UNSAT TT=700.933	UNSAT TT=747.071	? (TO) TT=1200.18	? (TO) TT=1200.19	UNSAT TT=700.933	? (TO) TT=1200.02
industrial-aig/ manolios/ manol-pipe-g10nid.aig	UNSAT TT=293.821	UNSAT TT=293.821	? (TO) TT=1200.22	? (TO) TT=1200.13	? (TO) TT=1200.09	? (TO) TT=1200.03
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/ narain/clauses-2.aig	SAT TT=4.073	SAT TT=6.549	SAT TT=9.941	SAT TT=7.418	SAT TT=4.073	SAT TT=4.436
industrial-aig/ narain/clauses-4.aig	SAT TT=68.538	SAT TT=68.538	SAT TT=192.438	SAT TT=86.982	? (problem) TT=23.538	SAT TT=97.696
industrial-aig/ narain/clauses-6.aig	SAT TT=777.678	? (MO) TT=68.116	? (TO) TT=1200.21	SAT TT=1140.05	? (problem) TT=110.008	SAT TT=777.678
industrial-aig/ narain/clauses-8.aig		? (TO) TT=1200.18	? (MO) TT=104.122	? (MO) TT=120.234	? (TO) TT=1200.07	? (TO) TT=1200.05
industrial-aig/ palacios/hard/ safe-30-h29-unsat.aig		? (TO) TT=1200.05	? (TO) TT=1200.14	? (TO) TT=1200.14	? (TO) TT=1200.05	? (TO) TT=1200.04
industrial-aig/ palacios/hard/ safe-50-h49-unsat.aig		? (TO) TT=1200.19	? (TO) TT=1200.21	? (MO) TT=1092.12	? (TO) TT=1200.01	? (TO) TT=1200.05
industrial-aig/ palacios/hard/ safe-50-h50-sat.aig		? (TO) TT=1200.12	? (TO) TT=1200.2	? (TO) TT=1200.27	? (TO) TT=1200.04	? (TO) TT=1200.09
industrial-aig/palacios/ hard/ sortnet-6-ipc5-h11-unsat.aig		? (TO) TT=1200.1	? (TO) TT=1200.13	? (TO) TT=1200.14	? (TO) TT=1200.08	? (TO) TT=1200.07
industrial-aig/palacios/ hard/ sortnet-7-ipc5-h15-unsat.aig		? (TO) TT=1200.05	? (TO) TT=1200.06	? (TO) TT=1200.13	? (TO) TT=1200.05	? (TO) TT=1200.05
industrial-aig/palacios/ hard/ sortnet-8-ipc5-h18-unsat.aig		? (TO) TT=1200.08	? (TO) TT=1200.11	? (TO) TT=1200.15	? (TO) TT=1200.01	? (TO) TT=1200
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/ palacios/hard/ sortnet-8-ipc5-h19-sat.aig		? (TO) TT=1200.12	? (TO) TT=1200.19	? (TO) TT=1200.24	? (TO) TT=1200.06	? (TO) TT=1200.03
industrial-aig/palacios/ medium/ blocks-4-ipc5-h21-unknown.aig	UNSAT TT=37.506	UNSAT TT=239.563	? (TO) TT=1200.06	UNSAT TT=54.256	UNSAT TT=37.506	UNSAT TT=315.134
industrial-aig/palacios/ medium/ blocks-4-ipc5-h22-unknown.aig	UNSAT TT=54.623	UNSAT TT=435.176	? (TO) TT=1200.12	UNSAT TT=78.877	UNSAT TT=54.623	UNSAT TT=463.9
industrial-aig/ palacios/medium/ cube-11-h13-unsat.aig		? (TO) TT=1200.16	? (TO) TT=1200.13	? (TO) TT=1200.12	? (TO) TT=1200.07	? (TO) TT=1200.03
industrial-aig/ palacios/medium/ cube-11-h14-sat.aig		? (TO) TT=1200.09	? (TO) TT=1200.16	? (TO) TT=1200.18	? (TO) TT=1200.04	? (TO) TT=1200.07
industrial-aig/ palacios/medium/ cube-9-h10-unsat.aig	UNSAT TT=67.64	UNSAT TT=430.987	UNSAT TT=743.603	? (TO) TT=1200.14	UNSAT TT=67.64	UNSAT TT=124.969
industrial-aig/ palacios/medium/ cube-9-h11-sat.aig	SAT TT=352.646	SAT TT=422.662	SAT TT=1124.93	? (TO) TT=1200.07	? (TO) TT=1200.04	SAT TT=352.646
industrial-aig/ palacios/medium/ emptyroom-4-h21-unsat.aig	UNSAT TT=1150.36	? (TO) TT=1200.13	? (TO) TT=1200.12	? (TO) TT=1200.11	UNSAT TT=1150.36	? (TO) TT=1200.08
industrial-aig/ palacios/medium/ emptyroom-4-h22-sat.aig	SAT TT=50.872	SAT TT=516.182	? (TO) TT=1200.13	? (TO) TT=1200.07	SAT TT=271.512	SAT TT=50.872
industrial-aig/ palacios/medium/ safe-30-h30-sat.aig	SAT TT=72.102	? (TO) TT=1200.14	? (TO) TT=1200.13	? (TO) TT=1200.17	? (TO) TT=1200.07	SAT TT=72.102
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/palacios/ medium/ sortnet-7-ipc5-h16-sat.aig	SAT TT=762.17	? (TO) TT=1200.09	? (TO) TT=1200.14	? (TO) TT=1200.16	? (TO) TT=1200.03	SAT TT=762.17
industrial-aig/ palacios/uts/ uts-l05-ipc5-h26-unsat.aig	UNSAT TT=14.932	UNSAT TT=209.5	UNSAT TT=449.561	UNSAT TT=88.792	UNSAT TT=14.932	UNSAT TT=82.265
industrial-aig/ palacios/uts/ uts-l05-ipc5-h27-unknown.aig	UNSAT TT=26.166	UNSAT TT=306.339	? (TO) TT=1200.13	UNSAT TT=153.143	UNSAT TT=26.166	UNSAT TT=134.464
industrial-aig/ palacios/uts/ uts-l06-ipc5-h28-unknown.aig	UNSAT TT=45.891	UNSAT TT=119.092	? (TO) TT=1200.14	UNSAT TT=75.589	UNSAT TT=45.891	UNSAT TT=303.232
industrial-aig/ palacios/uts/ uts-l06-ipc5-h29-unknown.aig	UNSAT TT=31.164	UNSAT TT=268.936	UNSAT TT=763.22	UNSAT TT=89.954	UNSAT TT=31.164	UNSAT TT=330.686
industrial-aig/ palacios/uts/ uts-l06-ipc5-h30-unknown.aig	UNSAT TT=37.394	UNSAT TT=484.306	? (TO) TT=1200.13	UNSAT TT=180.204	UNSAT TT=37.394	UNSAT TT=384.014
industrial-aig/ palacios/uts/ uts-l06-ipc5-h31-unknown.aig	UNSAT TT=71.086	? (TO) TT=1200.07	? (TO) TT=1200.17	UNSAT TT=599.86	UNSAT TT=71.086	UNSAT TT=461.599
industrial-aig/ palacios/uts/ uts-l06-ipc5-h32-unknown.aig	UNSAT TT=298.36	? (TO) TT=1200.12	? (TO) TT=1200.18	UNSAT TT=449.669	UNSAT TT=298.36	UNSAT TT=665.083
industrial-aig/ palacios/uts/ uts-l06-ipc5-h33-unknown.aig	UNSAT TT=286.856	? (TO) TT=1200.07	? (TO) TT=1200.13	UNSAT TT=669.098	UNSAT TT=286.856	UNSAT TT=1088.98
industrial-aig/ palacios/uts/ uts-l06-ipc5-h34-unknown.aig	SAT TT=49.158	? (TO) TT=1200.11	? (TO) TT=1200.12	SAT TT=267.61	SAT TT=49.158	SAT TT=241.223
Bench name	Best results on this instance	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
industrial-aig/ palacios/uts/ uts-l06-ipc5-h35-unknown.aig	SAT TT=34.764	? (TO) TT=1200.11	? (TO) TT=1200.18	SAT TT=246.866	SAT TT=34.764	SAT TT=120.241

Some statistics...

	aig-cmusat 2007-05-15	aigsat-sp 2007-05-15	aigsat-wc 2007-05-15	minicirc 2007-05-17	picoaigersat 2007-05-15
Number of times the solver is able to give the best known answer	233	196	204	208	228
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time)	111	7	17	75	54