SAT 2009 Competition: multithread track: results by benchmark

Results by benchmark for category applications instances (APPLICATION)

This page displays the results of the different solvers for each benchmark for category applications instances (APPLICATION)

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:
ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)
ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)
ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)
satake 2009-03-22 (16 threads) (complete)
satake 2009-03-22 (4 threads) (complete)
ttsth-5-0 2009-03-19 (16 threads) (complete)
ttsth-5-0 2009-03-19 (4 threads) (complete)

Bench name	Best results on this instance	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
aloul-chnl11-13.cnf	UNSAT TT=0.39	UNSAT TT=2799.14	UNSAT TT=3025.51	? (TO) TT=3991.4	? (TO) TT=1570.44	? (TO) TT=3012.48	UNSAT TT=2.892	UNSAT TT=0.39
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT TT=1.93	SAT TT=1.94	SAT TT=2.36	SAT TT=1.93	No Cert. TT=35.57	SAT TT=5.01	SAT TT=6862.64	SAT TT=1553.44
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT TT=1.59	SAT TT=1.63	SAT TT=1.59	SAT TT=2.27	No Cert. TT=20.385	SAT TT=3.45	? (MO) TT=2666.19	SAT TT=614.89
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT TT=0.9	SAT TT=2.75	SAT TT=0.9	SAT TT=5.27	No Cert. TT=12.733	SAT TT=1.14	? (MO) TT=718.797	? (MO) TT=528.96
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT TT=32.96	SAT TT=220.99	SAT TT=414.44	SAT TT=71.33	SAT TT=57.956	SAT TT=32.96	Signal TT=21.325	Signal TT=27.82
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT TT=1.38	SAT TT=3.15	SAT TT=1.41	SAT TT=1.38	SAT TT=16.081	SAT TT=4.42	? (MO) TT=923.954	? (MO) TT=639.49
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT TT=0.35	SAT TT=0.75	SAT TT=1.43	SAT TT=0.67	No Cert. TT=3.816	SAT TT=0.35	? (MO) TT=895.348	? (MO) TT=621.05
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT TT=3.42	SAT TT=3.42	SAT TT=4.52	SAT TT=5.17	? (exit code) TT=36.434	SAT TT=6.59	? (MO) TT=779.545	? (MO) TT=566.85
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT TT=0.94	SAT TT=0.94	SAT TT=1.19	SAT TT=1.21	No Cert. TT=16.837	SAT TT=2.44	? (MO) TT=3787.73	? (MO) TT=1021.52
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT TT=1.75	SAT TT=2.21	SAT TT=1.75	SAT TT=1.85	No Cert. TT=26.658	SAT TT=3.55	? (MO) TT=1344.54	? (MO) TT=1081.86
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT TT=0.32	SAT TT=0.57	SAT TT=0.39	SAT TT=0.43	No Cert. TT=5.148	SAT TT=0.32	SAT TT=145.705	SAT TT=27.05
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT TT=9.95	SAT TT=9.95	SAT TT=17.29	SAT TT=10.04	SAT TT=68.856	SAT TT=16.09	Signal TT=28.746	Signal TT=36.17
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT TT=8.44	SAT TT=20.25	SAT TT=12.82	SAT TT=8.44	SAT TT=86.013	SAT TT=156.03	? (MO) TT=1108.87	? (MO) TT=819.8
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT TT=1.76	SAT TT=3.5	SAT TT=7.84	SAT TT=3.3	No Cert. TT=11.369	SAT TT=1.76	? (MO) TT=1413.52	? (MO) TT=1373.88
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT TT=87.21	SAT TT=196.46	SAT TT=127.67	SAT TT=87.21	? (TO) TT=8129.08	? (TO) TT=1910.79	? (MO) TT=1105.89	? (MO) TT=705.77
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT TT=2.52	SAT TT=3.06	SAT TT=8.92	SAT TT=2.52	SAT TT=24.43	SAT TT=22.25	? (MO) TT=1870.65	? (MO) TT=1254.92
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT TT=0.52	SAT TT=0.57	SAT TT=0.52	SAT TT=1.08	No Cert. TT=7.56	SAT TT=0.93	? (MO) TT=1867.17	? (MO) TT=1100.5
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT TT=3.91	SAT TT=3.91	SAT TT=6.18	SAT TT=10.34	No Cert. TT=106.483	SAT TT=15.73	? (MO) TT=997.558	? (MO) TT=391.84
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT TT=1.52	SAT TT=1.52	SAT TT=1.7	SAT TT=1.62	SAT TT=14.813	SAT TT=3.33	? (MO) TT=1138.2	? (MO) TT=576.04
APPLICATIONS/ bioinfo/ q_query_2_L324_coli.cnf	UNSAT TT=74.15	UNSAT TT=74.44	UNSAT TT=75.17	UNSAT TT=74.15	? (MO) TT=52.819	UNSAT TT=238.85	? (TO) TT=1000.05	? (TO) TT=999.72
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT TT=268.38	UNSAT TT=634	UNSAT TT=268.38	UNSAT TT=742.62	? (TO) TT=3466.42	? (TO) TT=3006.09	? (TO) TT=1000.03	? (TO) TT=999.52
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT TT=862.84	UNSAT TT=917.88	UNSAT TT=1026.36	UNSAT TT=862.84	? (MO) TT=66.5	? (TO) TT=3004.06	? (TO) TT=1000.03	? (TO) TT=999.88
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT TT=895.28	UNSAT TT=1088.24	UNSAT TT=895.28	UNSAT TT=1125.8	? (MO) TT=118.139	? (TO) TT=775.26	? (TO) TT=1000.05	? (TO) TT=993.61
APPLICATIONS/ bioinfo/ q_query_3_l37_lambda.cnf	SAT TT=3.07	SAT TT=3.07	SAT TT=7.3	SAT TT=5.58	SAT TT=155.426	SAT TT=15.09	? (MO) TT=3472.47	? (MO) TT=1580.73
APPLICATIONS/ bioinfo/ q_query_3_l38_lambda.cnf	SAT TT=5.5	SAT TT=5.5	SAT TT=11.56	SAT TT=10.37	SAT TT=197.012	SAT TT=15.88	? (MO) TT=3351.01	? (MO) TT=1507.91
APPLICATIONS/ bioinfo/ q_query_3_l39_lambda.cnf	SAT TT=4.25	SAT TT=10.38	SAT TT=4.25	SAT TT=17.77	SAT TT=138.229	SAT TT=42.78	? (MO) TT=2578.79	? (MO) TT=1434.38
APPLICATIONS/ bioinfo/ q_query_3_l40_lambda.cnf	SAT TT=18.37	SAT TT=23.04	SAT TT=18.37	SAT TT=41.6	SAT TT=549.69	SAT TT=78.59	? (MO) TT=1716.25	? (MO) TT=980.23
APPLICATIONS/ bioinfo/ q_query_3_l41_lambda.cnf	SAT TT=33.89	SAT TT=52.83	SAT TT=45.11	SAT TT=33.89	SAT TT=587.517	SAT TT=144.5	? (MO) TT=3285.8	? (MO) TT=1977.9
APPLICATIONS/ bioinfo/ q_query_3_l42_lambda.cnf	SAT TT=32.55	SAT TT=61.36	SAT TT=32.55	SAT TT=34.4	SAT TT=904.184	SAT TT=137.96	? (MO) TT=3580.31	? (MO) TT=1920.99
APPLICATIONS/ bioinfo/ q_query_3_l43_lambda.cnf	SAT TT=61.85	SAT TT=110.31	SAT TT=81.6	SAT TT=61.85	No Cert. TT=914.217	SAT TT=257.54	? (MO) TT=8100.66	? (TO) TT=2058.75
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/ bioinfo/ q_query_3_l44_lambda.cnf	UNSAT TT=385.17	UNSAT TT=545.71	UNSAT TT=385.17	UNSAT TT=443.24	? (TO) TT=1617.49	UNSAT TT=937.5	? (MO) TT=4563.62	? (TO) TT=2426.73
APPLICATIONS/ bioinfo/ q_query_3_l45_lambda.cnf	UNSAT TT=345.2	UNSAT TT=576.15	UNSAT TT=489.51	UNSAT TT=345.2	? (TO) TT=1494.99	UNSAT TT=1008.35	? (MO) TT=1767.71	? (MO) TT=1172.5
APPLICATIONS/ bioinfo/ q_query_3_l46_lambda.cnf	UNSAT TT=372.41	UNSAT TT=468.19	UNSAT TT=398.3	UNSAT TT=372.41	? (TO) TT=1617.13	UNSAT TT=889.45	? (MO) TT=1592.45	? (MO) TT=1100.75
APPLICATIONS/ bioinfo/ q_query_3_l47_lambda.cnf	UNSAT TT=390.06	UNSAT TT=454.37	UNSAT TT=390.06	UNSAT TT=402.52	? (TO) TT=1663.68	UNSAT TT=1033.1	? (MO) TT=3259.02	? (TO) TT=2181.11
APPLICATIONS/ bioinfo/ q_query_3_l48_lambda.cnf	UNSAT TT=417.27	UNSAT TT=473.6	UNSAT TT=456.33	UNSAT TT=417.27	? (TO) TT=1550.07	UNSAT TT=890.46	? (MO) TT=2596.92	? (MO) TT=1548.35
APPLICATIONS/ bioinfo/ q_query_3_L60_coli.sat.cnf	SAT TT=55.48	SAT TT=69.33	SAT TT=55.48	SAT TT=105.64	SAT TT=448.08	SAT TT=363.51	Signal TT=267.937	Signal TT=273.52
APPLICATIONS/ bioinfo/ q_query_3_L70_coli.sat.cnf	SAT TT=220.6	SAT TT=407.84	SAT TT=396.09	SAT TT=220.6	? (TO) TT=3263.27	SAT TT=1655.2	Signal TT=349.898	Signal TT=367.71
APPLICATIONS/ bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT TT=268.18	UNSAT TT=654.97	UNSAT TT=268.18	UNSAT TT=608.4	UNSAT TT=2157.57	? (TO) TT=1954.54	? (MO) TT=597.477	? (TO) TT=605.62
APPLICATIONS/ bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT TT=247.36	UNSAT TT=336.43	UNSAT TT=247.36	UNSAT TT=561.71	UNSAT TT=2991.04	? (TO) TT=1956.03	? (MO) TT=983.357	? (TO) TT=1000.07
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray02_32.cnf	UNSAT TT=601.74	UNSAT TT=1619.56	UNSAT TT=601.74	UNSAT TT=917.62	? (TO) TT=1018.23	? (TO) TT=1723.06	? (MO) TT=895.048	? (MO) TT=322.68
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray08_32.cnf		? (TO) TT=3987.33	? (TO) TT=3985.77	? (TO) TT=3986.61	? (TO) TT=1205.88	? (TO) TT=1818.17	? (MO) TT=699.864	? (MO) TT=283.43
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray32_32.cnf		? (TO) TT=2991.94	? (TO) TT=3979.61	? (TO) TT=3981.26	? (TO) TT=1464.46	? (TO) TT=1232.78	? (MO) TT=389.604	? (MO) TT=559.31
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate016.cnf	UNSAT TT=38.73	UNSAT TT=38.73	UNSAT TT=41.07	UNSAT TT=44.31	UNSAT TT=229.402	UNSAT TT=91.42	? (MO) TT=668.062	? (MO) TT=144.92
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate032.cnf		? (TO) TT=3989.24	? (TO) TT=3990.98	? (TO) TT=3988.22	? (TO) TT=10001.7	? (TO) TT=1355.86	? (MO) TT=925.946	? (MO) TT=550.77
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate128.cnf		? (TO) TT=3981.23	? (TO) TT=3985.24	? (TO) TT=3980.68	? (TO) TT=10002	? (TO) TT=2999.13	Signal TT=56.752	Signal TT=76.66
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl016.cnf	UNSAT TT=6.66	UNSAT TT=6.66	UNSAT TT=7.26	UNSAT TT=8.3	UNSAT TT=120.172	UNSAT TT=28.34	? (MO) TT=1067.56	? (MO) TT=969.97
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl032.cnf	UNSAT TT=2249.5	UNSAT TT=2582.17	UNSAT TT=2249.5	UNSAT TT=2366.64	? (TO) TT=4392.61	? (TO) TT=3004.42	? (MO) TT=645.624	? (MO) TT=463.47
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl128.cnf		? (TO) TT=3956.56	? (TO) TT=3956.26	? (TO) TT=3957.25	? (TO) TT=4422.19	? (TO) TT=1986.66	? (TO) TT=1000.03	? (TO) TT=513.96
APPLICATIONS/bitverif/ countbitswegner/ countbitswegner064.cnf	UNSAT TT=369.55	UNSAT TT=650.97	UNSAT TT=465.27	UNSAT TT=369.55	? (TO) TT=2668.53	? (TO) TT=1938.1	? (MO) TT=2498.07	? (MO) TT=788.9
APPLICATIONS/ bitverif/ icbrt/icbrt1_32.cnf	UNSAT TT=20.26	UNSAT TT=20.94	UNSAT TT=20.29	UNSAT TT=20.26	UNSAT TT=149.445	UNSAT TT=40.27	? (MO) TT=534.86	? (MO) TT=397.24
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/ bitverif/maxand/ maxand064.cnf	UNSAT TT=8.94	UNSAT TT=9.06	UNSAT TT=10.75	UNSAT TT=8.94	UNSAT TT=426.503	UNSAT TT=135.04	? (MO) TT=567.427	? (MO) TT=366.12
APPLICATIONS/ bitverif/maxor/ maxor128.cnf		? (TO) TT=3966.72	? (TO) TT=3966.93	? (TO) TT=3967.72	? (MO) TT=5944.84	? (TO) TT=3000.11	? (MO) TT=467.573	Signal TT=608.47
APPLICATIONS/ bitverif/maxxor/ maxxor064.cnf		? (TO) TT=3984.77	? (TO) TT=3984.71	? (TO) TT=3013.51	? (MO) TT=7236.61	? (TO) TT=2997	? (MO) TT=479.762	? (MO) TT=421.02
APPLICATIONS/ bitverif/maxxor/ maxxor128.cnf		? (TO) TT=3968.13	? (TO) TT=3966.95	? (TO) TT=3966.9	? (MO) TT=5505.58	? (TO) TT=3001.61	? (MO) TT=405.869	Signal TT=549.85
APPLICATIONS/bitverif/ maxxororand/ maxxororand032.cnf	UNSAT TT=863.54	UNSAT TT=1419.55	UNSAT TT=863.54	UNSAT TT=1301.56	? (TO) TT=10001.1	? (TO) TT=1167.12	? (MO) TT=3746.64	? (MO) TT=1217.8
APPLICATIONS/bitverif/ maxxororand/ maxxororand128.cnf		? (TO) TT=3936.87	? (TO) TT=3936.93	? (TO) TT=3248.32	? (MO) TT=5842.2	? (TO) TT=3002.66	? (TO) TT=1000.05	? (TO) TT=999.59
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor032.cnf	UNSAT TT=19	UNSAT TT=19.03	UNSAT TT=20.12	UNSAT TT=19	UNSAT TT=336.029	UNSAT TT=144.79	? (MO) TT=814.255	? (MO) TT=509.03
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor128.cnf		? (TO) TT=3954.93	? (TO) TT=3955.33	? (TO) TT=2967.44	? (TO) TT=8712.6	? (TO) TT=2999.99	? (TO) TT=1000.03	? (TO) TT=999.18
APPLICATIONS/ bitverif/minand/ minand128.cnf	UNSAT TT=33.51	UNSAT TT=39.13	UNSAT TT=37.03	UNSAT TT=33.51	UNSAT TT=3997.14	? (TO) TT=1989.11	? (MO) TT=708.376	? (MO) TT=312.62
APPLICATIONS/ bitverif/minor/ minor032.cnf	UNSAT TT=1.07	UNSAT TT=1.39	UNSAT TT=1.29	UNSAT TT=1.07	UNSAT TT=43.431	UNSAT TT=6.28	? (MO) TT=696.343	? (MO) TT=336.44
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/ bitverif/minor/ minor064.cnf	UNSAT TT=9.53	UNSAT TT=9.53	UNSAT TT=11.99	UNSAT TT=10.97	UNSAT TT=321.532	UNSAT TT=105.16	? (MO) TT=598.989	? (MO) TT=351.15
APPLICATIONS/bitverif/ minxorminand/ minxorminand032.cnf	UNSAT TT=14.73	UNSAT TT=15.53	UNSAT TT=14.73	UNSAT TT=16.25	UNSAT TT=576.188	UNSAT TT=114.81	? (MO) TT=3058.55	? (MO) TT=1055.43
APPLICATIONS/bitverif/ minxorminand/ minxorminand064.cnf	UNSAT TT=136.35	UNSAT TT=153.61	UNSAT TT=138.52	UNSAT TT=136.35	? (MO) TT=5559.42	? (TO) TT=1985.23	? (MO) TT=3489.19	? (MO) TT=1914.66
APPLICATIONS/bitverif/ minxorminand/ minxorminand128.cnf	UNSAT TT=1953.98	UNSAT TT=2002.32	UNSAT TT=1953.98	UNSAT TT=2695.6	? (MO) TT=3773.88	? (TO) TT=1989.49	Signal TT=77.605	Signal TT=104.49
APPLICATIONS/ bitverif/minxor/ minxor128.cnf	UNSAT TT=630.94	UNSAT TT=630.94	UNSAT TT=826.02	UNSAT TT=693.68	? (MO) TT=8745.41	? (TO) TT=1915.44	? (MO) TT=3100.31	? (MO) TT=807.2
APPLICATIONS/ bitverif/mulhs/ mulhs016.cnf		? (TO) TT=3989.83	? (TO) TT=3989.36	? (TO) TT=3989.31	? (TO) TT=1684.48	? (TO) TT=1774.9	? (MO) TT=603.67	? (MO) TT=221.72
APPLICATIONS/ bitverif/mulhs/ mulhs032.cnf		? (TO) TT=3016.16	? (TO) TT=3988.73	? (TO) TT=3988.66	? (TO) TT=3581.42	? (TO) TT=1775.65	? (MO) TT=760.956	? (MO) TT=244.43
APPLICATIONS/ bitverif/smulo/ smulo016.cnf	UNSAT TT=18.9	UNSAT TT=28.91	UNSAT TT=21.85	UNSAT TT=18.9	UNSAT TT=625.531	UNSAT TT=123.81	? (MO) TT=641.788	? (MO) TT=160.28
APPLICATIONS/ bitverif/smulo/ smulo128.cnf		? (TO) TT=3977.25	? (TO) TT=3977.92	? (TO) TT=3976.94	? (TO) TT=3042.22	? (TO) TT=3007.2	Signal TT=290.6	Signal TT=419.48
APPLICATIONS/ c32sat/ post-c32s-col400-16.cnf	UNSAT TT=253.21	UNSAT TT=253.21	UNSAT TT=330.25	UNSAT TT=309.66	UNSAT TT=1137.43	UNSAT TT=573.53	? (TO) TT=1000.03	? (TO) TT=1000.1
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/ c32sat/ post-c32s-gcdm16-22.cnf	SAT TT=292.25	SAT TT=292.25	SAT TT=296.41	SAT TT=305.44	SAT TT=3901.74	SAT TT=2404.09	Signal TT=54.987	Signal TT=69.11
APPLICATIONS/ c32sat/ post-c32s-gcdm16-23.cnf	UNSAT TT=308.15	UNSAT TT=308.15	UNSAT TT=339.89	UNSAT TT=375.37	? (TO) TT=6522.33	? (TO) TT=1987.5	Signal TT=58.86	Signal TT=73.88
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT TT=1157.5	UNSAT TT=1157.5	UNSAT TT=1312.48	UNSAT TT=1485.84	? (TO) TT=2577.69	? (TO) TT=3002.78	? (MO) TT=890.26	? (MO) TT=723.38
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT TT=760.5	UNSAT TT=798.04	UNSAT TT=824.78	UNSAT TT=760.5	? (MO) TT=1809.23	? (TO) TT=1965.09	Signal TT=146.917	Signal TT=159.51
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT TT=748.4	UNSAT TT=789.68	UNSAT TT=748.4	UNSAT TT=798.45	? (MO) TT=1723.84	? (TO) TT=3003.86	Signal TT=138.257	Signal TT=147.86
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	UNSAT TT=2834.97	? (TO) TT=2879.52	UNSAT TT=2834.97	UNSAT TT=2983.48	? (MO) TT=58.588	? (TO) TT=1843.88	? (TO) TT=1000.05	? (TO) TT=999.41
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT TT=60.19	UNSAT TT=75.84	UNSAT TT=70.42	UNSAT TT=60.19	? (TO) TT=1784.04	UNSAT TT=384.71	Signal TT=133.068	Signal TT=156.55
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf		? (MO) TT=12.14	? (MO) TT=11.6	? (MO) TT=11.62	? (MO) TT=47.539	? (TO) TT=1983.11	? TT=30.35	? TT=43.14
APPLICATIONS/ crypto/desgen/ gss-13-s100.cnf	SAT TT=30.55	SAT TT=52.4	SAT TT=30.55	SAT TT=38.65	No Cert. TT=161.286	SAT TT=85.42	? (MO) TT=1865.24	? (MO) TT=1143.86
APPLICATIONS/ crypto/desgen/ gss-14-s100.cnf	SAT TT=5.36	SAT TT=97.03	SAT TT=5.36	SAT TT=77.98	SAT TT=289.61	SAT TT=184.09	? (MO) TT=1633.83	? (MO) TT=685.46
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/ crypto/desgen/ gss-15-s100.cnf	SAT TT=95.22	SAT TT=95.22	SAT TT=200.25	SAT TT=175.09	SAT TT=391.476	SAT TT=230.53	? (MO) TT=748.82	? (MO) TT=541.26
APPLICATIONS/ crypto/desgen/ gss-16-s100.cnf	SAT TT=77.15	SAT TT=77.15	SAT TT=372.26	SAT TT=222.15	SAT TT=1231.15	SAT TT=625.16	? (MO) TT=875.067	? (MO) TT=570.99
APPLICATIONS/ crypto/desgen/ gss-17-s100.cnf	SAT TT=5.89	SAT TT=5.89	SAT TT=135.2	SAT TT=214.63	SAT TT=1706.52	SAT TT=2046.3	? (MO) TT=1384.19	? (MO) TT=540.06
APPLICATIONS/ crypto/desgen/ gss-19-s100.cnf	SAT TT=3268.81	SAT TT=3360.06	? (TO) TT=3985.18	SAT TT=3268.81	? (TO) TT=4097.42	? (TO) TT=1995.38	? (MO) TT=2732.39	? (MO) TT=1239.6
APPLICATIONS/ crypto/desgen/ gss-20-s100.cnf		? (TO) TT=3989.22	? (TO) TT=3987.38	? (TO) TT=3987.36	? (TO) TT=3966.6	? (TO) TT=1991.28	? (MO) TT=1534.6	? (MO) TT=477.49
APPLICATIONS/ crypto/desgen/ gss-21-s100.cnf		? (TO) TT=3986.31	? (TO) TT=3988.38	? (TO) TT=3020.36	? (TO) TT=4181.73	? (TO) TT=1988.18	? (MO) TT=2144	? (MO) TT=833.91
APPLICATIONS/ crypto/desgen/ gss-22-s100.cnf		? (TO) TT=3987.95	? (TO) TT=3988.01	? (TO) TT=3986.37	? (TO) TT=4110.69	? (TO) TT=635.14	? (MO) TT=2268	? (MO) TT=873.59
APPLICATIONS/ crypto/desgen/ gss-23-s100.cnf		? (TO) TT=3986.66	? (TO) TT=3985.15	? (TO) TT=3986.54	? (TO) TT=3886.7	? (TO) TT=2997.44	? (MO) TT=1157.27	? (MO) TT=620.6
APPLICATIONS/ crypto/desgen/ gss-24-s100.cnf		? (TO) TT=3988.52	? (TO) TT=3986.85	? (TO) TT=3986.8	? (TO) TT=4163.43	? (TO) TT=454.77	? (MO) TT=2866.02	? (MO) TT=1060.9
APPLICATIONS/ crypto/desgen/ gss-25-s100.cnf		? (TO) TT=3988.47	? (TO) TT=3019.29	? (TO) TT=3989.89	? (TO) TT=4463.06	? (TO) TT=1991.07	? (MO) TT=1887.63	? (MO) TT=656.76
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/ crypto/desgen/ gss-26-s100.cnf		? (TO) TT=3984.6	? (TO) TT=3071.72	? (TO) TT=3986.74	? (TO) TT=4643.62	? (TO) TT=1989.04	? (MO) TT=1405.38	? (MO) TT=599.03
APPLICATIONS/ crypto/desgen/ gss-27-s100.cnf		? (TO) TT=3984.51	? (TO) TT=3986.13	? (TO) TT=3987.06	? (TO) TT=6158.71	? (TO) TT=2997.81	? (MO) TT=1199.94	? (MO) TT=573.18
APPLICATIONS/ crypto/desgen/ gss-28-s100.cnf		? (TO) TT=3984.35	? (TO) TT=3984.83	? (TO) TT=3984.92	? (TO) TT=7759.56	? (TO) TT=2998.64	? (MO) TT=2604.36	? (MO) TT=733.7
APPLICATIONS/ crypto/desgen/ gss-31-s100.cnf		? (TO) TT=3985.89	? (TO) TT=3982.75	? (TO) TT=3986.73	? (TO) TT=10001.4	? (TO) TT=2998.7	? (MO) TT=2992.8	? (MO) TT=1299.38
APPLICATIONS/ crypto/desgen/ gss-32-s100.cnf		? (TO) TT=3987.38	? (TO) TT=3986.78	? (TO) TT=3280.09	? (TO) TT=10001.5	? (TO) TT=1987.6	? (MO) TT=3743.96	? (MO) TT=1246.2
APPLICATIONS/ crypto/desgen/ gss-33-s100.cnf		? (TO) TT=3114.48	? (TO) TT=3987.27	? (TO) TT=3988.25	? (TO) TT=10001.1	? (TO) TT=1946.66	? (MO) TT=2279.41	? (MO) TT=667.1
APPLICATIONS/ crypto/desgen/ gss-34-s100.cnf		? (TO) TT=3985.99	? (TO) TT=3986.95	? (TO) TT=3986.79	? (TO) TT=10000.9	? (TO) TT=2998.65	? (MO) TT=1447.37	? (MO) TT=977.77
APPLICATIONS/ crypto/md5gen/ gus-md5-04.cnf	UNSAT TT=8.15	UNSAT TT=8.15	UNSAT TT=9.13	UNSAT TT=9.43	UNSAT TT=63.928	UNSAT TT=14.61	? (MO) TT=1424.88	? (MO) TT=622.32
APPLICATIONS/ crypto/md5gen/ gus-md5-05.cnf	UNSAT TT=20.68	UNSAT TT=20.93	UNSAT TT=22.38	UNSAT TT=20.68	UNSAT TT=154.274	UNSAT TT=46.85	? (MO) TT=1118.45	? (MO) TT=440.26
APPLICATIONS/ crypto/md5gen/ gus-md5-06.cnf	UNSAT TT=55.42	UNSAT TT=60.28	UNSAT TT=59.31	UNSAT TT=55.42	UNSAT TT=238.763	UNSAT TT=100.39	? (MO) TT=1133.43	? (MO) TT=445.4
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/ crypto/md5gen/ gus-md5-07.cnf	UNSAT TT=138.97	UNSAT TT=138.97	UNSAT TT=150.22	UNSAT TT=174.98	UNSAT TT=452.264	UNSAT TT=305.04	? (MO) TT=1173.29	? (MO) TT=461.04
APPLICATIONS/ crypto/md5gen/ gus-md5-09.cnf	UNSAT TT=1539.67	UNSAT TT=2174.94	UNSAT TT=1539.67	UNSAT TT=1934.91	UNSAT TT=2593.51	UNSAT TT=1641.25	? (MO) TT=1173.62	? (MO) TT=989.95
APPLICATIONS/ crypto/md5gen/ gus-md5-10.cnf		? (TO) TT=3982.77	? (TO) TT=3134.38	? (TO) TT=3986.75	? (TO) TT=6272.39	? (TO) TT=2998.45	? (MO) TT=1458.9	? (MO) TT=715.18
APPLICATIONS/ crypto/md5gen/ gus-md5-11.cnf		? (TO) TT=2998.36	? (TO) TT=3987.61	? (TO) TT=3985.76	? (TO) TT=6877.56	? (TO) TT=1852.27	? (MO) TT=1776.62	? (MO) TT=1243.04
APPLICATIONS/ crypto/md5gen/ gus-md5-14.cnf		? (TO) TT=3987.64	? (TO) TT=3987.54	? (TO) TT=3986.16	? (TO) TT=6689.05	? (TO) TT=1987.37	? (MO) TT=1318.78	? (MO) TT=686.44
APPLICATIONS/ crypto/md5gen/ gus-md5-15.cnf		? (TO) TT=3986.42	? (TO) TT=3983.15	? (TO) TT=3986.96	? (TO) TT=6851.65	? (TO) TT=1084.09	? (MO) TT=1219.74	? (MO) TT=776.19
APPLICATIONS/ crypto/md5gen/ gus-md5-16.cnf		? (TO) TT=3984.39	? (TO) TT=3986.21	? (TO) TT=3987.31	? (TO) TT=6340.22	? (TO) TT=2000.27	? (MO) TT=1344.35	? (MO) TT=741.53
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT TT=79.29	UNSAT TT=80.77	UNSAT TT=106.13	UNSAT TT=79.29	UNSAT TT=601.098	UNSAT TT=187.86	Signal TT=42.779	Signal TT=50.23
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT TT=1554.58	UNSAT TT=1786.96	UNSAT TT=1801.28	UNSAT TT=1554.58	UNSAT TT=8584.85	? (TO) TT=1968.28	? (MO) TT=618.583	Signal TT=878.41
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT TT=2938.6	SAT TT=3009.73	SAT TT=3307.18	SAT TT=2938.6	? (MO) TT=6715.09	? (TO) TT=1965.9	? (MO) TT=724.393	? (TO) TT=999.88
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf		? (TO) TT=3955.75	? (TO) TT=3956.29	? (TO) TT=3955.51	? (MO) TT=3584.85	? (TO) TT=1993.77	? (TO) TT=1000.04	? (TO) TT=1000.12
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf		? (TO) TT=3955.3	? (TO) TT=3956.18	? (TO) TT=2982.2	? (MO) TT=3214.45	? (TO) TT=1366.86	? (TO) TT=1000.03	? (TO) TT=1000.07
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT TT=1870.47	SAT TT=1870.47	SAT TT=1923.09	SAT TT=2269.19	? (MO) TT=5266.01	? (TO) TT=3001.88	? (TO) TT=1000.04	? (TO) TT=791.72
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT TT=46.86	UNSAT TT=47.01	UNSAT TT=47.68	UNSAT TT=46.86	UNSAT TT=503.027	UNSAT TT=162.49	? (MO) TT=710.292	? (MO) TT=442.54
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT TT=1004.76	UNSAT TT=1126.25	UNSAT TT=1004.76	UNSAT TT=1275.97	UNSAT TT=4669.06	? (TO) TT=3003.23	Signal TT=123.74	Signal TT=142.28
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT TT=1357.99	SAT TT=1973.55	SAT TT=1822.1	SAT TT=1357.99	SAT TT=6770.47	? (TO) TT=3001.6	Signal TT=120.352	Signal TT=154.42
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT TT=158.67	UNSAT TT=158.67	UNSAT TT=200.54	UNSAT TT=195.78	UNSAT TT=1078.85	UNSAT TT=410.51	Signal TT=92.014	Signal TT=104.92
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf		? (TO) TT=3960.76	? (TO) TT=3960.93	? (TO) TT=3960.37	? (MO) TT=5353.59	? (TO) TT=1991.85	? (MO) TT=539.59	Signal TT=756.88
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT TT=814.98	SAT TT=872.02	SAT TT=916.54	SAT TT=814.98	SAT TT=5131.96	? (TO) TT=1882.79	Signal TT=250.54	Signal TT=322.29
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT TT=66.59	UNSAT TT=71.89	UNSAT TT=92.81	UNSAT TT=66.59	UNSAT TT=592.825	UNSAT TT=176.66	? (MO) TT=996.346	? (MO) TT=441.21
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT TT=41.75	SAT TT=44.25	SAT TT=41.75	SAT TT=51.67	SAT TT=517.572	SAT TT=210.5	Signal TT=35.534	Signal TT=40.21
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT TT=1402.24	UNSAT TT=2378.37	UNSAT TT=1402.24	UNSAT TT=2191.08	? (TO) TT=10000.8	? (TO) TT=1991.19	Signal TT=115.423	Signal TT=135.91
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	SAT TT=3352.07	? (TO) TT=3968.24	SAT TT=3352.07	? (TO) TT=3967.15	? (MO) TT=8357.85	? (TO) TT=2999.86	Signal TT=117.771	Signal TT=138.49
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT TT=341.33	UNSAT TT=350.98	UNSAT TT=341.33	UNSAT TT=371.07	UNSAT TT=2519.37	UNSAT TT=845.46	Signal TT=85.553	Signal TT=98.72
APPLICATIONS/diagnosis/ UR-20-10p1.cnf		? (TO) TT=3959.31	? (TO) TT=3960.49	? (TO) TT=3961.09	? (MO) TT=4933.52	? (TO) TT=1979.85	? (MO) TT=572.3	Signal TT=802.66
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT TT=2591.27	UNSAT TT=2591.27	UNSAT TT=2637.86	UNSAT TT=2809.51	? (MO) TT=8590.31	? (TO) TT=2999.04	Signal TT=264.477	Signal TT=353.36
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT TT=3611.89	? (TO) TT=3963.12	SAT TT=3611.89	? (TO) TT=3963.84	? (MO) TT=6856.34	? (TO) TT=1977.54	Signal TT=265.509	Signal TT=350.21
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT TT=109.84	UNSAT TT=109.84	UNSAT TT=124.53	UNSAT TT=232.26	UNSAT TT=891.84	UNSAT TT=371.15	Signal TT=45.683	Signal TT=54.72
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT TT=392.2	UNSAT TT=477.3	UNSAT TT=392.2	UNSAT TT=548.4	UNSAT TT=3071.7	UNSAT TT=1601.32	Signal TT=114.135	Signal TT=136.45
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT TT=719.72	SAT TT=719.72	SAT TT=851.51	SAT TT=808.97	? (MO) TT=4654.73	? (TO) TT=3000.24	Signal TT=112.475	Signal TT=134.3
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT TT=997.97	UNSAT TT=1467	UNSAT TT=997.97	UNSAT TT=1182.43	UNSAT TT=6120.43	? (TO) TT=1977.93	Signal TT=84.445	Signal TT=98.4
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT TT=631.96	SAT TT=786.14	SAT TT=705.77	SAT TT=631.96	SAT TT=4885.52	SAT TT=825.69	Signal TT=81.409	Signal TT=94.87
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT TT=3581.48	? (TO) TT=2970.07	UNSAT TT=3581.48	? (TO) TT=3959.94	? (MO) TT=4260.83	? (TO) TT=3002.17	? (MO) TT=538.998	Signal TT=766.07
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf		? (TO) TT=2975.21	? (TO) TT=3959.59	? (TO) TT=3959.5	? (MO) TT=4385.19	? (TO) TT=3000.43	? (MO) TT=548.594	Signal TT=775.17
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT TT=2387.37	UNSAT TT=2387.37	UNSAT TT=2684.33	UNSAT TT=3911.76	? (MO) TT=5254.8	? (TO) TT=1972.97	Signal TT=252.584	Signal TT=352.74
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT TT=1730.76	SAT TT=1730.76	SAT TT=2909.77	SAT TT=3649.25	? (MO) TT=5331.81	? (TO) TT=971.67	Signal TT=262.532	Signal TT=351.1
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_09_UNSAT.cnf		? (TO) TT=3984.47	? (TO) TT=3984.3	? (TO) TT=3985.82	? (TO) TT=8710.76	? (TO) TT=1983.25	? (MO) TT=2283.33	? (MO) TT=2057.77
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_10_UNSAT.cnf		? (TO) TT=3984.93	? (TO) TT=3985.78	? (TO) TT=3984.93	? (TO) TT=10001.5	? (TO) TT=2998.01	? (MO) TT=2514.28	? (MO) TT=2718.89
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf		? (TO) TT=3295.54	? (TO) TT=3983.56	? (TO) TT=3984.13	? (TO) TT=10001.6	? (TO) TT=2998.19	? (MO) TT=1870.93	? (MO) TT=1788.25
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf		? (TO) TT=3982.23	? (TO) TT=3209.34	? (TO) TT=3983.13	? (TO) TT=10000.9	? (TO) TT=1977.35	? (MO) TT=1957.31	? (MO) TT=1627.92
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf		? (TO) TT=3981.08	? (TO) TT=3069.57	? (TO) TT=3980.08	? (TO) TT=10001.4	? (TO) TT=2997.33	? (MO) TT=2059.73	? (MO) TT=1785.96
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf		? (TO) TT=3979.31	? (TO) TT=3980.2	? (TO) TT=3979.4	? (TO) TT=10001.3	? (TO) TT=1982.42	? (MO) TT=1409.45	? (MO) TT=1378.18
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf		? (TO) TT=3979.04	? (TO) TT=3977.64	? (TO) TT=2983.79	? (TO) TT=10001.8	? (TO) TT=1351.27	? (MO) TT=1679.97	? (MO) TT=1544.12
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf		? (TO) TT=3975.7	? (TO) TT=3976.61	? (TO) TT=3976.14	? (MO) TT=8571.59	? (TO) TT=1978.89	? (MO) TT=1512.53	? (MO) TT=1301.43
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf		? (TO) TT=3975.07	? (TO) TT=3973.71	? (TO) TT=3974.8	? (MO) TT=7709.88	? (TO) TT=1963.44	? (MO) TT=1494.35	? (MO) TT=1556.06
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT TT=28.834	? (TO) TT=3969.18	? (TO) TT=3968.4	? (TO) TT=3967	SAT TT=28.834	SAT TT=912.44	? (MO) TT=1326.51	? (MO) TT=1195.44
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT TT=65.244	SAT TT=123.08	SAT TT=121.06	SAT TT=147.55	SAT TT=65.244	? (TO) TT=1981.99	? (MO) TT=1609.12	? (MO) TT=1148.61
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT TT=2.68	SAT TT=15.4	SAT TT=15.23	SAT TT=15.32	SAT TT=19.565	SAT TT=2.68	? (MO) TT=1584.63	? (MO) TT=1049.73
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf	UNSAT TT=48.83	UNSAT TT=60.27	UNSAT TT=48.83	UNSAT TT=53.29	UNSAT TT=314.032	UNSAT TT=79.18	? (MO) TT=2606.74	? (MO) TT=1734.65
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf	UNSAT TT=805.72	UNSAT TT=1398.09	UNSAT TT=907.95	UNSAT TT=805.72	? (TO) TT=2293.76	UNSAT TT=1575.83	? (MO) TT=2705.2	? (MO) TT=2062
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf		? (TO) TT=3989.96	? (TO) TT=3987.92	? (TO) TT=3988.21	? (TO) TT=3938.49	? (TO) TT=2996.49	? (MO) TT=2173.46	? (MO) TT=1822.52
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf		? (TO) TT=3989.5	? (TO) TT=3989.95	? (TO) TT=3988.1	? (TO) TT=6474.88	? (TO) TT=2997.74	? (MO) TT=2282.74	? (MO) TT=1762.69
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf		? (TO) TT=3988.61	? (TO) TT=3987.86	? (TO) TT=3988.44	? (TO) TT=10001.8	? (TO) TT=2997.84	? (MO) TT=2369.44	? (MO) TT=2033.69
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf		? (TO) TT=3988.99	? (TO) TT=3988.7	? (TO) TT=2992.27	? (TO) TT=10001.1	? (TO) TT=1285	? (MO) TT=2417.7	? (MO) TT=2291.21
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf		? (TO) TT=3988.25	? (TO) TT=3988.49	? (TO) TT=3069.86	? (TO) TT=10001.6	? (TO) TT=2997.62	? (MO) TT=2786.95	? (MO) TT=2506.34
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf		? (TO) TT=3988.22	? (TO) TT=3988.47	? (TO) TT=3988.44	? (TO) TT=10001.2	? (TO) TT=1378.49	? (MO) TT=2247.12	? (MO) TT=1474.78
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT TT=4.23	SAT TT=4.28	SAT TT=4.23	SAT TT=4.31	SAT TT=63.648	SAT TT=5.61	? (MO) TT=1746.33	? (MO) TT=1723.57
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf	UNSAT TT=710.19	UNSAT TT=742.11	UNSAT TT=710.19	UNSAT TT=990.39	? (TO) TT=1781.23	UNSAT TT=1101.37	? (MO) TT=3260.08	? (MO) TT=2671.73
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf		? (TO) TT=3989.04	? (TO) TT=3987.99	? (TO) TT=3988.1	? (TO) TT=4219.95	? (TO) TT=3002.08	? (MO) TT=3556.4	? (MO) TT=3276.82
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf		? (TO) TT=3989.9	? (TO) TT=3989.46	? (TO) TT=3988.15	? (TO) TT=6132.23	? (TO) TT=1970.27	? (MO) TT=2558.91	? (TO) TT=2229
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf		? (TO) TT=3988.7	? (TO) TT=3062.29	? (TO) TT=3989.89	? (TO) TT=10000.5	? (TO) TT=2998.23	? (MO) TT=2831.71	? (MO) TT=2882.47
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf		? (TO) TT=3988.67	? (TO) TT=3988.48	? (TO) TT=3988.02	? (TO) TT=10000.8	? (TO) TT=1974.62	? (MO) TT=3008.88	? (MO) TT=2694.12
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf		? (TO) TT=3987.98	? (TO) TT=3987.52	? (TO) TT=3988.32	? (TO) TT=10000.6	? (TO) TT=1899.33	? (MO) TT=2432.28	? (TO) TT=1971
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf		? (TO) TT=3986.97	? (TO) TT=3987.3	? (TO) TT=3985.84	? (TO) TT=10001.3	? (TO) TT=1981.51	? (MO) TT=2469.87	? (MO) TT=1607.68
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf		? (TO) TT=3986.03	? (TO) TT=3986.05	? (TO) TT=2999.55	? (TO) TT=10001.1	? (TO) TT=1797.95	? (MO) TT=2363.6	? (TO) TT=1976.22
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT TT=0.61	SAT TT=2.94	SAT TT=2.89	SAT TT=2.87	SAT TT=8.317	SAT TT=0.61	? (MO) TT=1990.6	? (MO) TT=2578.5
cmu-bmc-barrel6.cnf	UNSAT TT=4.2	UNSAT TT=4.45	UNSAT TT=4.85	UNSAT TT=4.2	UNSAT TT=97.118	UNSAT TT=12.9	? (MO) TT=903.828	? (MO) TT=505.45
cmu-bmc-longmult15.cnf	UNSAT TT=27.81	UNSAT TT=31.31	UNSAT TT=31.1	UNSAT TT=27.81	UNSAT TT=264.289	UNSAT TT=55.92	? (MO) TT=704.28	? (MO) TT=328.78
een-tip-sat-texas-tp-5e.cnf	SAT TT=0.3	SAT TT=0.31	SAT TT=0.3	SAT TT=0.31	SAT TT=10.933	SAT TT=1.94	? (MO) TT=1072.84	? (MO) TT=485.32
een-tip-uns-nusmv-t5.B.cnf	UNSAT TT=2.18	UNSAT TT=2.28	UNSAT TT=2.25	UNSAT TT=2.18	UNSAT TT=41.407	UNSAT TT=5.9	? (MO) TT=2210.98	? (MO) TT=1274.44
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
goldb-heqc-alu4mul.cnf	UNSAT TT=301.22	UNSAT TT=306.6	UNSAT TT=301.22	UNSAT TT=310.42	UNSAT TT=1394.29	? (TO) TT=311.5	? (MO) TT=1175.36	? (MO) TT=414.46
goldb-heqc-dalumul.cnf	UNSAT TT=2022.12	UNSAT TT=2022.12	UNSAT TT=2699.19	UNSAT TT=2490.04	? (TO) TT=1456	? (TO) TT=3039.4	? (MO) TT=1233.12	? (MO) TT=537.57
goldb-heqc-frg1mul.cnf		? (TO) TT=3989.73	? (TO) TT=3027.8	? (TO) TT=3990.1	? (TO) TT=1170.9	? (TO) TT=1713.06	? (MO) TT=531.913	? (MO) TT=484.42
goldb-heqc-i10mul.cnf	UNSAT TT=299.46	UNSAT TT=345.86	UNSAT TT=299.46	UNSAT TT=319.52	? (TO) TT=1826.99	? (TO) TT=1206.08	? (MO) TT=4321.47	? (TO) TT=2152.9
goldb-heqc-term1mul.cnf	UNSAT TT=155.33	UNSAT TT=155.33	UNSAT TT=197.21	UNSAT TT=183.03	? (TO) TT=1085.84	? (TO) TT=707.03	? (MO) TT=637.34	? (MO) TT=404.68
goldb-heqc-x1mul.cnf		? (TO) TT=3987.04	? (TO) TT=3988.83	? (TO) TT=3988.41	? (TO) TT=2420.64	? (TO) TT=2997.46	? (MO) TT=574.78	? (MO) TT=218.55
hoons-vbmc-lucky7.cnf	UNSAT TT=2.9	UNSAT TT=4.01	UNSAT TT=2.9	UNSAT TT=3.01	UNSAT TT=350.118	UNSAT TT=53.17	? (MO) TT=1271.16	? (MO) TT=909.3
industrial/anbulagan/ hard-sat/ partial-10-13-s.cnf	SAT TT=1492.47	SAT TT=1492.47	? (TO) TT=3968.94	? (TO) TT=3965.45	? (MO) TT=3553.56	? (TO) TT=3000.21	Signal TT=289.434	Signal TT=387.13
industrial/anbulagan/ hard-sat/ partial-10-15-s.cnf		? (TO) TT=3965.27	? (TO) TT=3965.01	? (TO) TT=3964.57	? (MO) TT=3933.12	? (TO) TT=1906.99	? (MO) TT=472.934	Signal TT=653.77
industrial/anbulagan/ hard-sat/ partial-5-17-s.cnf	SAT TT=1026.24	SAT TT=1026.24	SAT TT=3316.27	SAT TT=1541.16	? (MO) TT=4597.78	? (TO) TT=1969.64	? (MO) TT=477.73	Signal TT=679.49
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
industrial/anbulagan/ hard-unsat/ dated-10-19-u.cnf		? (TO) TT=3965.93	? (TO) TT=3966.8	? (TO) TT=3967.47	? (TO) TT=6775.51	? (TO) TT=1736.26	? (MO) TT=341.841	Signal TT=473
industrial/anbulagan/ hard-unsat/ dated-5-13-u.cnf		? (TO) TT=3976.54	? (TO) TT=2995.31	? (TO) TT=3978.38	? (TO) TT=3856.47	? (TO) TT=1930.25	Signal TT=52.959	Signal TT=67.95
industrial/anbulagan/ hard-unsat/ dated-5-15-u.cnf	UNSAT TT=437.98	UNSAT TT=597.16	UNSAT TT=437.98	UNSAT TT=451.38	? (TO) TT=2650.3	UNSAT TT=1682.68	Signal TT=63.364	Signal TT=76.61
industrial/anbulagan/ hard-unsat/ dated-5-17-u.cnf	UNSAT TT=830.37	UNSAT TT=1337.8	UNSAT TT=862.69	UNSAT TT=830.37	? (TO) TT=3152.46	? (TO) TT=3001.63	Signal TT=82.853	Signal TT=108.83
industrial/anbulagan/ hard-unsat/ dated-5-19-u.cnf		? (TO) TT=3969.68	? (TO) TT=3970.34	? (TO) TT=3969.27	? (TO) TT=2967.36	? (TO) TT=1965.92	Signal TT=133.304	Signal TT=171
industrial/anbulagan/ hard-unsat/ partial-10-13-u.cnf		? (TO) TT=3966.9	? (TO) TT=3966.65	? (TO) TT=3967.73	? (MO) TT=3449.06	? (TO) TT=2998.51	Signal TT=287.106	Signal TT=398.66
industrial/anbulagan/ hard-unsat/ partial-10-19-u.cnf		? (TO) TT=3956.21	? (TO) TT=3956.5	? (TO) TT=3956.51	? (MO) TT=2524.74	? (TO) TT=3000.31	? (TO) TT=1000.03	? (TO) TT=999.66
industrial/anbulagan/ hard-unsat/ partial-5-11-u.cnf		? (TO) TT=3976.25	? (TO) TT=3974.59	? (TO) TT=3975.32	? (MO) TT=3992.55	? (TO) TT=1756.58	Signal TT=77.557	Signal TT=92.09
industrial/anbulagan/ hard-unsat/ partial-5-13-u.cnf		? (TO) TT=3972.26	? (TO) TT=3972.67	? (TO) TT=3973.01	? (MO) TT=3647.67	? (TO) TT=1956.03	Signal TT=98.198	Signal TT=116.24
industrial/anbulagan/ hard-unsat/ partial-5-15-u.cnf		? (TO) TT=3969.95	? (TO) TT=3968.66	? (TO) TT=3968.59	? (MO) TT=4461.71	? (TO) TT=2999.34	Signal TT=198.864	Signal TT=252.66
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
industrial/anbulagan/ hard-unsat/ partial-5-17-u.cnf		? (TO) TT=3962.11	? (TO) TT=3964.41	? (TO) TT=3964.12	? (MO) TT=4649.61	? (TO) TT=1983.73	? (MO) TT=473.646	Signal TT=675.3
industrial/anbulagan/ hard-unsat/ total-10-17-u.cnf		? (TO) TT=3960.07	? (TO) TT=3961.52	? (TO) TT=3962.53	? (TO) TT=5006.28	? (TO) TT=2999.82	? (MO) TT=801.946	? (TO) TT=1000.1
industrial/anbulagan/ hard-unsat/ total-10-19-u.cnf		? (TO) TT=3769.33	? (TO) TT=3957.66	? (TO) TT=3957.26	? (TO) TT=6711.55	? (TO) TT=1055.6	? (TO) TT=1000.03	? (TO) TT=999.92
industrial/anbulagan/ hard-unsat/ total-5-15-u.cnf		? (TO) TT=3970.09	? (TO) TT=3967.8	? (TO) TT=3968.51	? (TO) TT=10000.6	? (TO) TT=2998.05	Signal TT=174.743	Signal TT=242.7
industrial/anbulagan/ hard-unsat/ total-5-17-u.cnf		? (TO) TT=3962.97	? (TO) TT=3964.08	? (TO) TT=3053.76	? (TO) TT=9599.44	? (TO) TT=1978.09	? (MO) TT=523.953	Signal TT=772.31
industrial/anbulagan/ medium-sat/ partial-5-13-s.cnf	SAT TT=30.38	SAT TT=30.38	SAT TT=78.17	SAT TT=421.41	SAT TT=2137.9	? (TO) TT=1993.64	Signal TT=95.746	Signal TT=123.44
industrial/anbulagan/ medium-sat/ partial-5-15-s.cnf	SAT TT=639.93	SAT TT=639.93	SAT TT=720.63	SAT TT=798.73	? (MO) TT=4503.09	? (TO) TT=1339.71	Signal TT=199.648	Signal TT=269.86
industrial/anbulagan/ medium-unsat/ total-10-13-u.cnf	UNSAT TT=1648.18	UNSAT TT=2431.59	UNSAT TT=1648.18	UNSAT TT=2395.67	? (TO) TT=5902.21	? (TO) TT=3002.44	Signal TT=176.371	Signal TT=219.68
industrial/anbulagan/ medium-unsat/ total-5-11-u.cnf	UNSAT TT=28.74	UNSAT TT=29.74	UNSAT TT=28.74	UNSAT TT=32.4	UNSAT TT=187.144	UNSAT TT=68.94	Signal TT=64.204	Signal TT=77.08
industrial/anbulagan/ medium-unsat/ total-5-13-u.cnf	UNSAT TT=83.56	UNSAT TT=103.17	UNSAT TT=83.56	UNSAT TT=87.89	UNSAT TT=374.771	UNSAT TT=130.91	Signal TT=88.066	Signal TT=104.55
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
industrial/babic/ hsatv17/ hsat_vc11803.cnf	UNSAT TT=6.22	UNSAT TT=6.23	UNSAT TT=6.25	UNSAT TT=6.22	UNSAT TT=53.047	UNSAT TT=42.48	UNSAT TT=24.106	UNSAT TT=37.33
industrial/babic/ hsatv17/ hsat_vc11813.cnf	UNSAT TT=8.65	UNSAT TT=8.65	UNSAT TT=8.69	UNSAT TT=8.68	UNSAT TT=75.721	UNSAT TT=23.16	UNSAT TT=24.598	UNSAT TT=37.7
industrial/babic/ xinetd/ xinetd_vc56703.cnf	UNSAT TT=0.26	UNSAT TT=0.26	UNSAT TT=0.26	UNSAT TT=0.26	UNSAT TT=14.837	UNSAT TT=0.92	UNSAT TT=3.196	UNSAT TT=3.58
industrial/ fuhs/hard/ AProVE07-01.cnf		? (TO) TT=3988.97	? (TO) TT=3015.78	? (TO) TT=3989.56	? (TO) TT=1341.22	? (TO) TT=1857.86	? (MO) TT=1635.86	? (MO) TT=1129.9
industrial/ fuhs/hard/ AProVE07-08.cnf	UNSAT TT=1368.24	UNSAT TT=1724.35	UNSAT TT=1429.84	UNSAT TT=1368.24	? (TO) TT=1193.08	? (TO) TT=1797.23	? (MO) TT=1434.26	? (MO) TT=366.5
industrial/ fuhs/hard/ AProVE07-25.cnf		? (TO) TT=3987.98	? (TO) TT=3989.43	? (TO) TT=3987.95	? (TO) TT=2210.06	? (TO) TT=3005.63	? (MO) TT=1971.83	? (MO) TT=1079.98
industrial/ fuhs/hard/ AProVE07-26.cnf		? (TO) TT=3986.63	? (TO) TT=3985.72	? (TO) TT=3985.53	? (TO) TT=3448.06	? (TO) TT=3002.2	? (MO) TT=1040.24	? (MO) TT=698.81
industrial/ fuhs/hard/ AProVE07-27.cnf	UNSAT TT=2037.19	UNSAT TT=2303.68	UNSAT TT=2037.19	UNSAT TT=2092.46	? (TO) TT=2110.81	? (TO) TT=1516.52	? (MO) TT=1118.36	? (MO) TT=846.53
industrial/ fuhs/medium/ AProVE07-09.cnf	UNSAT TT=623.33	UNSAT TT=672.31	UNSAT TT=623.33	UNSAT TT=628.46	? (TO) TT=5643.41	? (TO) TT=1022.69	? (MO) TT=6428.18	? (TO) TT=1966.16
industrial/ fuhs/medium/ AProVE07-16.cnf	UNSAT TT=451.51	UNSAT TT=578.31	UNSAT TT=464.39	UNSAT TT=451.51	UNSAT TT=3342.7	UNSAT TT=2849.67	? (MO) TT=455.2	? (MO) TT=385.01
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
industrial/grieu/ vmpc_24.cnf	SAT TT=6.56	SAT TT=20.84	SAT TT=6.56	SAT TT=28.88	SAT TT=1026.6	SAT TT=126.23	SAT TT=1944.39	? (MO) TT=1778.95
industrial/grieu/ vmpc_25.cnf	SAT TT=19.83	SAT TT=19.83	SAT TT=65.74	SAT TT=52.35	SAT TT=772.168	SAT TT=677.3	? (MO) TT=3083.57	? (MO) TT=1734.09
industrial/grieu/ vmpc_26.cnf	SAT TT=48.85	SAT TT=249.31	SAT TT=48.85	SAT TT=211.42	SAT TT=2869.45	SAT TT=352.21	? (MO) TT=3140.9	? (MO) TT=1680.4
industrial/grieu/ vmpc_28.cnf	SAT TT=59.91	SAT TT=245.98	SAT TT=468.24	SAT TT=59.91	SAT TT=4298.54	? (TO) TT=1960.23	? (MO) TT=2176.4	? (MO) TT=1045.83
industrial/grieu/ vmpc_29.cnf	SAT TT=113.29	SAT TT=113.29	SAT TT=830.04	? (TO) TT=3989.14	? (TO) TT=10001.1	? (TO) TT=2999.33	? (MO) TT=2406.44	? (MO) TT=1039.97
industrial/grieu/ vmpc_30.cnf	SAT TT=56.41	SAT TT=56.41	SAT TT=367.09	SAT TT=2231.34	? (TO) TT=10001	? (TO) TT=2997.77	? (MO) TT=2540.59	? (MO) TT=1192.69
industrial/grieu/ vmpc_33.cnf	SAT TT=784.34	SAT TT=784.34	? (TO) TT=3988.64	SAT TT=1393.15	? (TO) TT=10001.3	? (TO) TT=2997.52	? (MO) TT=1603.09	? (MO) TT=817.72
industrial/grieu/ vmpc_34.cnf	SAT TT=1886.11	SAT TT=3410.14	SAT TT=1886.11	? (TO) TT=3987.09	? (TO) TT=10001.7	? (TO) TT=1694.85	? (MO) TT=1412.11	? (MO) TT=764.18
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT TT=1074.69	UNSAT TT=1083.04	UNSAT TT=1091	UNSAT TT=1074.69	? (TO) TT=1034.96	? (TO) TT=1573.8	? (MO) TT=892.728	? (MO) TT=474.59
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf		? (TO) TT=3991.18	? (TO) TT=3990.27	? (TO) TT=3991.31	? (TO) TT=1071.27	? (TO) TT=1104.71	? (MO) TT=651.825	? (MO) TT=553.56
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf		? (TO) TT=3990.63	? (TO) TT=3990.32	? (TO) TT=3990.11	? (TO) TT=1051.55	? (TO) TT=1577.42	? (MO) TT=671.63	? (MO) TT=482.14
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf		? (TO) TT=3067.87	? (TO) TT=3989.81	? (TO) TT=3990.62	? (TO) TT=1127.23	? (TO) TT=1072.26	? (MO) TT=962.32	? (MO) TT=426.32
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT TT=24.64	UNSAT TT=24.64	UNSAT TT=26.9	UNSAT TT=29.67	UNSAT TT=432.875	UNSAT TT=101.89	? (MO) TT=1191.43	? (MO) TT=571.78
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT TT=110.92	UNSAT TT=110.92	UNSAT TT=137.94	UNSAT TT=135.64	? (TO) TT=948.419	UNSAT TT=333.57	? (MO) TT=726.293	? (MO) TT=408.08
industrial/narain/ clauses-8.cnf		? (TO) TT=2974.96	? (TO) TT=3944.4	? (TO) TT=3942.19	? (MO) TT=56.424	? (TO) TT=976.03	? (TO) TT=1000.08	? (TO) TT=1000.1
industrial/palacios/ hard/ safe-30-h29-unsat.cnf		? (TO) TT=3950.92	? (TO) TT=3950.73	? (TO) TT=3952.66	? (TO) TT=3321.32	? (TO) TT=1969.75	Signal TT=48.131	Signal TT=59.89
industrial/palacios/ hard/ safe-50-h49-unsat.cnf		? (TO) TT=3307.45	? (TO) TT=3304.41	? (TO) TT=3307.95	? (MO) TT=62.18	? (TO) TT=1124.9	? (TO) TT=1000.03	? (TO) TT=998.89
industrial/palacios/ hard/ sortnet-7-ipc5-h15-unsat.cnf		? (TO) TT=3979.84	? (TO) TT=3979.49	? (TO) TT=3044.83	? (TO) TT=5666.04	? (TO) TT=2997.81	Signal TT=44.999	Signal TT=55.11
industrial/palacios/ hard/ sortnet-8-ipc5-h18-unsat.cnf		? (TO) TT=3943.44	? (TO) TT=3944.2	? (TO) TT=3943.72	? (TO) TT=9376.07	? (TO) TT=1963.63	? (TO) TT=1000.05	? (TO) TT=999.78
industrial/palacios/ hard/ sortnet-8-ipc5-h19-sat.cnf		? (TO) TT=3940.94	? (TO) TT=3037.17	? (TO) TT=3940.64	? (TO) TT=9585.75	? (TO) TT=2001.21	? (TO) TT=1000	? (TO) TT=999.41
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
industrial/palacios/ medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT TT=33.51	UNSAT TT=33.51	UNSAT TT=41.98	UNSAT TT=38.5	UNSAT TT=1039.44	UNSAT TT=361.77	Signal TT=129.848	Signal TT=172.54
industrial/palacios/ medium/ cube-11-h13-unsat.cnf	UNSAT TT=467.01	UNSAT TT=1265.5	UNSAT TT=467.01	UNSAT TT=961.16	UNSAT TT=6514.17	? (TO) TT=2998.77	? (TO) TT=1000.03	? (TO) TT=757.18
industrial/palacios/ medium/ cube-11-h14-sat.cnf	SAT TT=1725.93	SAT TT=2060.99	SAT TT=1725.93	SAT TT=2141.57	? (TO) TT=10001.3	? (TO) TT=2999.51	? (TO) TT=1000.03	? (TO) TT=1000.06
industrial/palacios/ medium/ emptyroom-4-h21-unsat.cnf	UNSAT TT=383.27	UNSAT TT=398.12	UNSAT TT=408.1	UNSAT TT=383.27	UNSAT TT=3304.67	? (TO) TT=2997.5	Signal TT=1132.07	Signal TT=287.13
industrial/palacios/ uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT TT=12.08	UNSAT TT=14.17	UNSAT TT=12.08	UNSAT TT=14.86	UNSAT TT=411.982	UNSAT TT=146.46	Signal TT=43.303	Signal TT=56.44
industrial/palacios/ uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT TT=18.68	UNSAT TT=22.26	UNSAT TT=18.68	UNSAT TT=24.26	UNSAT TT=347.23	UNSAT TT=175.45	Signal TT=46.187	Signal TT=58.04
industrial/palacios/ uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT TT=18.57	UNSAT TT=18.57	UNSAT TT=20.18	UNSAT TT=19.93	UNSAT TT=246.039	UNSAT TT=234.45	Signal TT=104.231	Signal TT=136.71
industrial/palacios/ uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT TT=39.04	UNSAT TT=39.33	UNSAT TT=45.87	UNSAT TT=39.04	UNSAT TT=1295.37	UNSAT TT=545.07	Signal TT=129.512	Signal TT=176.43
industrial/palacios/ uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT TT=99.33	UNSAT TT=111.55	UNSAT TT=99.33	UNSAT TT=115.06	UNSAT TT=2442.65	UNSAT TT=1418.65	Signal TT=250.436	Signal TT=351.04
industrial/palacios/ uts/ uts-l06-ipc5-h35-unknown.cnf	SAT TT=29.21	SAT TT=37.89	SAT TT=33.06	SAT TT=29.21	SAT TT=440.051	SAT TT=165.84	? (MO) TT=515.36	Signal TT=739.23
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf		? (MO) TT=14.32	? (MO) TT=14.32	? (MO) TT=14.3	? (MO) TT=15.221	? (MO) TT=28.94	? (MO) TT=25.69	? (MO) TT=34.9
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf		? (MO) TT=14.31	? (MO) TT=14.32	? (MO) TT=14.3	? (MO) TT=26.234	? (MO) TT=28.89	? (MO) TT=25.59	? (MO) TT=34.4
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT TT=395.12	UNSAT TT=395.12	UNSAT TT=510.42	UNSAT TT=658.28	UNSAT TT=2296.91	? (TO) TT=1684.25	? (MO) TT=1389.67	? (MO) TT=680.52
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT TT=1791.24	UNSAT TT=1978.4	UNSAT TT=1972.72	UNSAT TT=1791.24	? (MO) TT=2458.4	? (TO) TT=3001.86	? (MO) TT=1243.27	? (MO) TT=699.79
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	UNSAT TT=3541.26	? (MO) TT=3646.06	UNSAT TT=3541.26	? (TO) TT=3964.8	? (MO) TT=1140.59	? (MO) TT=1902.73	? (MO) TT=1476.93	? (MO) TT=1083.17
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf		? (MO) TT=3301.46	? (MO) TT=3512.34	? (MO) TT=3295.93	? (MO) TT=859.134	? (MO) TT=1849.25	? (TO) TT=1000.13	? (TO) TT=999.52
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf		? (MO) TT=3593.13	? (MO) TT=2468.35	? (MO) TT=2777.5	? (MO) TT=67.748	? (MO) TT=1299.97	? (MO) TT=625.059	? (TO) TT=1000.15
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf		? (MO) TT=2636.13	? (MO) TT=2288.75	? (MO) TT=2346.77	? (MO) TT=53.695	? (MO) TT=1252.9	? (MO) TT=650.761	? (TO) TT=1000.16
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf		? (MO) TT=1388.54	? (MO) TT=1293.98	? (MO) TT=1994.52	? (MO) TT=70.552	? (MO) TT=1025.66	? (MO) TT=15.609	? (MO) TT=20.13
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf		? (MO) TT=890.33	? (MO) TT=941.48	? (MO) TT=855.77	? (MO) TT=26.174	? (MO) TT=1067.46	? (MO) TT=17.189	? (MO) TT=22.08
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf		? (MO) TT=14.11	? (MO) TT=14.22	? (MO) TT=14.12	? (MO) TT=25.442	? (MO) TT=1018.69	? (MO) TT=20.593	? (MO) TT=26.27
manol-pipe-c10nid_i.cnf	UNSAT TT=604.24	UNSAT TT=636.42	UNSAT TT=604.24	UNSAT TT=920.78	? (TO) TT=2434.3	? (TO) TT=1947.88	? (TO) TT=1000.05	? (TO) TT=999.3
manol-pipe-c10nidw.cnf	UNSAT TT=1275.07	UNSAT TT=1275.07	UNSAT TT=1355.2	UNSAT TT=1429.98	? (TO) TT=2822.6	? (TO) TT=639.83	? (TO) TT=1000.05	? (TO) TT=1000.12
manol-pipe-c10nidw_s.cnf	UNSAT TT=66.36	UNSAT TT=68.85	UNSAT TT=94	UNSAT TT=66.36	UNSAT TT=1222.84	UNSAT TT=641.11	? (TO) TT=1000.03	? (TO) TT=999.88
manol-pipe-c6bidw_i.cnf	UNSAT TT=61.95	UNSAT TT=61.95	UNSAT TT=71.74	UNSAT TT=72.9	UNSAT TT=1376.41	UNSAT TT=532.33	Signal TT=37.406	Signal TT=44.08
manol-pipe-c6nidw_i.cnf	UNSAT TT=66.47	UNSAT TT=71.8	UNSAT TT=66.47	UNSAT TT=78.18	UNSAT TT=1343.08	UNSAT TT=724.38	Signal TT=36.058	Signal TT=44.27
manol-pipe-c7bidw_i.cnf	UNSAT TT=134.09	UNSAT TT=134.09	UNSAT TT=139.39	UNSAT TT=161.14	? (TO) TT=2419.38	? (TO) TT=3010.63	Signal TT=60.964	Signal TT=71.33
manol-pipe-c7nidw.cnf	UNSAT TT=146.21	UNSAT TT=175.71	UNSAT TT=146.21	UNSAT TT=190.25	? (TO) TT=2324.96	? (TO) TT=3016.97	Signal TT=152.758	Signal TT=198.73
manol-pipe-c9.cnf	UNSAT TT=4.28	UNSAT TT=4.28	UNSAT TT=4.81	UNSAT TT=5.19	UNSAT TT=92.27	UNSAT TT=22.96	? (MO) TT=7498.1	? (MO) TT=2089.22
manol-pipe-f10ni.cnf	UNSAT TT=513.47	UNSAT TT=575.51	UNSAT TT=730.51	UNSAT TT=513.47	? (TO) TT=3450.93	? (TO) TT=1701.73	? (TO) TT=1000.03	? (TO) TT=999.04
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
manol-pipe-f9b.cnf	UNSAT TT=263.63	UNSAT TT=289.95	UNSAT TT=263.63	UNSAT TT=292.15	? (TO) TT=3700.06	? (TO) TT=1963.47	Signal TT=258.92	Signal TT=372.18
manol-pipe-f9n.cnf	UNSAT TT=255.56	UNSAT TT=255.56	UNSAT TT=266.94	UNSAT TT=271.85	? (TO) TT=3728.25	? (TO) TT=1957.36	Signal TT=279.889	Signal TT=396.73
manol-pipe-g10bidw.cnf	UNSAT TT=147.5	UNSAT TT=147.5	UNSAT TT=155.2	UNSAT TT=207.96	UNSAT TT=2359.58	UNSAT TT=1698.64	? (TO) TT=1000.04	? (TO) TT=999.44
manol-pipe-g10id.cnf	UNSAT TT=38.28	UNSAT TT=38.28	UNSAT TT=40.35	UNSAT TT=41.46	UNSAT TT=492.615	UNSAT TT=260.99	Signal TT=109.031	Signal TT=147.73
manol-pipe-g10nid.cnf	UNSAT TT=106.54	UNSAT TT=117.96	UNSAT TT=144.45	UNSAT TT=106.54	UNSAT TT=1641.52	UNSAT TT=1351.51	? (MO) TT=754.463	? (TO) TT=1000.11
manol-pipe-g6bi.cnf	UNSAT TT=1.33	UNSAT TT=1.34	UNSAT TT=1.51	UNSAT TT=1.33	UNSAT TT=61.788	UNSAT TT=3.76	? (MO) TT=2615.85	? (MO) TT=1528.31
manol-pipe-g7nidw.cnf	UNSAT TT=8.4	UNSAT TT=9.99	UNSAT TT=8.79	UNSAT TT=8.4	UNSAT TT=173.491	UNSAT TT=41.64	Signal TT=24.77	Signal TT=28.73
mizh-md5-47-3.cnf	SAT TT=468.76	SAT TT=644.11	SAT TT=2607.2	SAT TT=1272.69	SAT TT=805.83	SAT TT=468.76	? (TO) TT=10001.7	? (TO) TT=2703.65
mizh-md5-47-4.cnf	SAT TT=522.09	SAT TT=2103.1	SAT TT=1506.17	SAT TT=1814.48	SAT TT=1548.7	SAT TT=522.09	? (TO) TT=10001	? (TO) TT=3854.58
mizh-md5-48-5.cnf	SAT TT=1504.44	SAT TT=1747.73	? (TO) TT=3983.29	SAT TT=2530.31	SAT TT=1504.44	? (TO) TT=3007.72	? (TO) TT=10000.6	? (TO) TT=3856.56
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
mizh-sha0-35-3.cnf	SAT TT=161.24	SAT TT=161.24	SAT TT=529.82	SAT TT=908.07	SAT TT=629.391	SAT TT=193.71	? (MO) TT=958.176	? (MO) TT=759.16
mizh-sha0-36-2.cnf	SAT TT=978.73	SAT TT=2674.31	SAT TT=1563.27	? (TO) TT=3984.37	? (TO) TT=2105.48	SAT TT=978.73	? (MO) TT=1312.29	? (MO) TT=671.39
mizh-sha0-36-3.cnf	SAT TT=304.76	? (TO) TT=3985.62	SAT TT=304.76	? (TO) TT=3985.36	? (TO) TT=2403.02	SAT TT=1798.57	? (MO) TT=1349.24	? (MO) TT=941.88
mizh-sha0-36-4.cnf	SAT TT=72.41	SAT TT=72.41	SAT TT=3399.83	SAT TT=1215.85	SAT TT=665.278	SAT TT=1835.21	? (MO) TT=1465.51	? (MO) TT=921.99
schup-l2s-abp4-1-k31.cnf	UNSAT TT=26.99	UNSAT TT=30.75	UNSAT TT=45.55	UNSAT TT=26.99	UNSAT TT=532.793	UNSAT TT=218.63	? (MO) TT=2212.05	? (MO) TT=614.4
schup-l2s-bc56s-1-k391.cnf	UNSAT TT=1223.24	UNSAT TT=1223.24	UNSAT TT=1645.94	UNSAT TT=1876.42	? (MO) TT=79.109	? (TO) TT=3001.24	? (TO) TT=1000.03	? (TO) TT=998.86
schup-l2s-guid-1-k56.cnf	UNSAT TT=258.3	UNSAT TT=258.3	UNSAT TT=285.65	UNSAT TT=278.84	UNSAT TT=1866.18	UNSAT TT=909.94	Signal TT=60.868	Signal TT=65.48
schup-l2s-motst-2-k315.cnf	SAT TT=52.66	SAT TT=52.66	SAT TT=78.25	SAT TT=100.79	? (MO) TT=83.205	SAT TT=1816.4	? (TO) TT=999.995	? (TO) TT=999.8
simon-s02b-dp11u10.cnf	UNSAT TT=134.7	UNSAT TT=173.6	UNSAT TT=293.02	UNSAT TT=137.76	UNSAT TT=804.054	UNSAT TT=134.7	? (MO) TT=1221.3	? (MO) TT=652.35
simon-s02b-k2f-gr-rcs-w8.cnf		? (TO) TT=3984.36	? (TO) TT=3983.71	? (TO) TT=3984.29	? (TO) TT=3221.82	? (TO) TT=723.75	? (MO) TT=2873.21	? (MO) TT=1402.71
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
simon-s03-fifo8-300.cnf	UNSAT TT=25.25	UNSAT TT=29.96	UNSAT TT=26.07	UNSAT TT=25.25	UNSAT TT=516.116	UNSAT TT=245.51	Signal TT=239.115	Signal TT=325.13
simon-s03-w08-15.cnf	SAT TT=61.16	SAT TT=116.57	SAT TT=61.16	SAT TT=145.19	SAT TT=1106.53	SAT TT=471.34	Signal TT=129.864	Signal TT=134.37
vange-col-abb313GPIA-9-c.cnf		? (TO) TT=3978.25	? (TO) TT=3976.83	? (TO) TT=3005.39	? (TO) TT=1013.75	? (TO) TT=1243.04	? (MO) TT=3732.41	? (TO) TT=1974.04
velev-engi-uns-1.0-4nd.cnf	UNSAT TT=28.66	UNSAT TT=31.77	UNSAT TT=28.66	UNSAT TT=30.41	UNSAT TT=177.491	UNSAT TT=70.99	? (MO) TT=1755.62	? (MO) TT=552.56
velev-live-uns-2.0-ebuf.cnf	UNSAT TT=37.17	UNSAT TT=42.32	UNSAT TT=37.17	UNSAT TT=40.74	UNSAT TT=188.916	UNSAT TT=92.57	? (MO) TT=3380.8	? (MO) TT=1746.9
velev-pipe-o-uns-1.0-7.cnf	UNSAT TT=843.78	UNSAT TT=1209.08	UNSAT TT=843.78	UNSAT TT=1063.06	? (MO) TT=1466.76	? (MO) TT=2720.71	? (MO) TT=4402.14	? (MO) TT=1598.46
velev-pipe-o-uns-1.1-6.cnf	UNSAT TT=277.54	UNSAT TT=407.94	UNSAT TT=277.54	UNSAT TT=336.36	UNSAT TT=1464.5	? (TO) TT=1936.08	? (MO) TT=6313.02	? (MO) TT=2141.61
velev-pipe-sat-1.0-b10.cnf	SAT TT=55.3	? (exit code) TT=99.78	? (MO) TT=208.03	? (exit code) TT=143.9	? (MO) TT=38.882	SAT TT=55.3	? TT=18.449	? (MO) TT=23.33
velev-pipe-sat-1.0-b7.cnf		? (MO) TT=190.94	? (exit code) TT=57.69	? (exit code) TT=175.14	? (MO) TT=24.854	? (MO) TT=955.62	? TT=18.489	? TT=24.12
velev-pipe-uns-1.0-8.cnf	UNSAT TT=1419	UNSAT TT=2313.28	UNSAT TT=1419	UNSAT TT=2160.54	? (MO) TT=630.287	? (MO) TT=1099.64	? (TO) TT=1000.08	? (TO) TT=999.72
Bench name	Best results	ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
velev-vliw-uns-4.0-9C1.cnf	UNSAT TT=1803.22	UNSAT TT=2105.13	UNSAT TT=1803.22	UNSAT TT=2155.42	? (MO) TT=1142.46	? (MO) TT=2825.08	? (TO) TT=1000.16	? (TO) TT=993.41
velev-vliw-uns-4.0-9-i1.cnf		? (TO) TT=3889.42	? (MO) TT=3679.21	? (MO) TT=2773.42	? (MO) TT=59.612	? (TO) TT=1915.49	? (TO) TT=1000.08	? (TO) TT=1000.11

Statistics		ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)	ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)	satake 2009-03-22 (16 threads) (complete)	satake 2009-03-22 (4 threads) (complete)	ttsth-5-0 2009-03-19 (16 threads) (complete)	ttsth-5-0 2009-03-19 (4 threads) (complete)
Number of times the solver is able to give the best known answer		185	187	181	106	118	7	7
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)		56	68	56	3	11	0	1