3SAT_results

Statistics on time

Input	Mean	Std	Median	Min	Max	Total time (m)
1	130.126	122.667	93.810	2.430	1217.487	2186.108
2	99.468	96.626	66.157	2.437	656.004	1671.059
3	145.912	142.328	103.790	2.420	898.424	2451.321
4	113.743	112.617	79.986	2.424	783.206	1910.886
5	51.204	48.029	36.744	2.404	379.079	860.222
6	167.962	179.911	110.863	2.433	1795.124	2821.764
7	258.533	264.909	173.555	2.451	1746.692	4343.361
8	248.133	241.850	169.665	2.432	1604.991	4168.635
9	134.418	125.833	96.949	2.438	1044.754	2258.229
10	186.507	187.015	128.800	2.435	1702.263	3133.320
11	109.547	110.045	72.887	2.419	974.503	1840.388
12	80.567	77.790	56.740	2.443	571.309	1353.533
13	65.539	65.743	45.028	2.429	513.342	1101.053
14	139.431	137.606	92.627	2.423	1351.568	2342.448
15	293.890	276.681	210.639	2.434	2150.954	4937.349
16	125.225	125.875	83.815	2.438	952.259	2103.785
17	75.454	71.629	54.399	2.455	453.190	1267.621
18	280.709	268.743	188.145	2.438	2112.089	4715.904
19	140.447	127.458	104.785	2.451	790.303	2359.510
20	131.924	125.735	96.853	2.445	1063.194	2216.318
21	111.105	109.580	78.728	2.451	1013.358	1866.571
22	150.510	148.769	104.739	2.447	1199.606	2528.565
23	122.681	116.358	87.359	2.449	701.212	2061.036
24	152.021	149.593	105.733	2.414	1010.915	2553.958
25	180.274	179.717	122.897	2.453	1325.123	3028.606
26	127.459	123.668	89.132	2.460	944.977	2141.307
27	249.087	249.059	173.195	2.419	2276.895	4184.665
28	121.155	123.479	83.226	2.401	1329.960	2035.398
29	56.996	56.346	39.062	2.406	363.229	957.529
30	246.040	234.955	176.306	2.423	2199.150	4133.480
31	99.444	95.010	72.093	2.451	611.264	1670.657
32	81.449	77.916	56.410	2.399	484.620	1368.340
33	86.580	83.095	59.242	2.443	538.009	1454.543
34	111.671	115.070	76.808	2.438	963.712	1876.072
35	140.015	136.024	93.177	2.421	937.228	2352.257
36	181.554	182.164	123.463	2.445	1320.580	3050.114
37	289.772	284.133	208.725	2.935	2029.837	4868.167
38	44.810	42.002	32.162	2.433	282.304	752.805
39	154.912	149.559	108.460	2.426	840.566	2602.522
40	113.130	110.378	78.519	2.404	767.446	1900.586
41	165.287	165.552	114.822	2.466	977.594	2776.825
42	136.232	132.860	95.237	2.441	904.238	2288.689
43	115.288	107.696	83.713	2.420	831.973	1936.837
44	134.507	137.694	89.950	2.413	1153.362	2259.722
45	108.771	106.652	72.743	2.421	777.010	1827.355
46	172.658	166.993	117.425	2.457	1102.291	2900.648
47	85.232	89.173	57.296	2.420	770.365	1431.899
48	56.103	53.421	40.317	2.425	421.865	942.524
49	265.242	264.238	189.684	2.419	2468.179	4456.066
50	198.852	201.448	137.948	2.440	1747.354	3340.714
51	224.893	213.267	167.009	2.446	1623.984	3778.211
52	89.359	86.585	64.782	2.409	630.715	1501.232
53	235.517	241.568	155.250	2.444	1897.270	3956.684
54	91.220	86.469	63.960	2.440	528.444	1532.488
55	186.623	186.096	132.737	2.462	1740.906	3135.270
56	145.754	138.140	105.518	2.424	933.468	2448.665
57	146.861	142.272	105.500	2.444	843.333	2467.262
58	178.159	174.007	123.614	2.424	1305.251	2993.077
59	133.605	128.489	94.702	2.436	778.544	2244.565
60	134.516	126.403	97.738	2.422	906.324	2259.865
61	183.233	181.055	125.804	2.447	1342.358	3078.310
62	237.570	231.132	168.445	3.299	1421.731	3991.172
63	111.463	106.101	81.955	2.420	819.251	1872.572
64	90.606	88.975	63.548	2.418	604.506	1522.182
65	204.112	214.910	135.041	2.458	1596.968	3429.085
66	231.579	229.711	165.325	2.417	1780.283	3890.528
67	155.633	160.775	107.142	2.446	1251.670	2614.629
68	134.171	131.171	89.882	2.440	950.615	2254.074
69	146.292	149.064	98.899	2.444	1501.191	2457.701
70	188.382	187.284	132.320	2.905	1462.156	3164.818
71	270.464	270.425	180.682	2.458	2355.526	4543.795
72	70.605	65.477	51.099	2.446	500.698	1186.172
73	93.708	87.642	67.255	2.426	727.047	1574.299
74	132.189	126.545	92.475	2.440	957.465	2220.782
75	165.404	179.693	105.920	2.440	1475.358	2778.783
76	135.527	135.077	92.347	2.465	954.555	2276.856
77	244.609	249.042	164.103	2.421	1454.081	4109.436
78	128.845	129.160	86.468	2.430	1161.742	2164.590
79	190.573	192.189	130.384	2.453	1410.796	3201.630
80	121.198	119.809	80.998	2.429	790.140	2036.122
81	81.193	80.011	56.210	2.407	637.650	1364.044
82	133.973	133.596	94.155	2.491	937.958	2250.751
83	118.798	113.242	84.832	2.420	1132.964	1995.805
84	146.165	139.477	103.391	2.862	1007.441	2455.567
85	152.637	152.256	108.010	2.454	971.811	2564.296
86	160.936	153.836	109.904	2.430	1217.907	2703.720
87	161.682	159.867	114.625	2.452	1268.553	2716.252
88	161.134	155.332	119.938	2.438	1339.538	2707.046
89	98.090	97.051	69.739	2.433	768.384	1647.915
90	96.769	94.284	67.910	2.421	757.435	1625.714
91	182.130	181.640	128.287	2.422	1150.188	3059.779
92	282.496	283.753	189.405	2.424	1772.076	4745.940
93	95.448	88.905	68.236	2.433	520.386	1603.531
94	110.934	103.974	82.391	2.437	752.941	1863.690
95	196.849	198.693	134.410	2.470	1586.799	3307.061
96	140.043	141.920	98.711	2.424	1470.434	2352.719
97	100.935	97.912	71.313	2.421	768.874	1695.715
98	144.176	133.136	105.924	2.436	845.380	2422.153
99	255.570	247.551	180.473	3.355	1725.251	4293.574
100	239.652	228.356	172.204	2.450	1652.473	4026.157

Statistics on iterations

Input	Mean	Std	Median	Min	Max
1	2908994	2786150	2084100	400	27409300
2	2095008	2081644	1381650	2400	14102700
3	3222153	3187135	2270450	4500	19861000
4	2467901	2493742	1716200	1400	17190600
5	1128349	1106172	800200	2300	8716900
6	3589244	3889167	2359500	1300	37850600
7	5485240	5671068	3683650	4800	36713300
8	5508966	5418294	3747600	6200	36589900
9	2846987	2706182	2042200	4900	22474700
10	4216237	4270978	2907000	4700	39406200
11	2399977	2458632	1579100	300	21459800
12	1706036	1693570	1195950	4900	12212500
13	1407051	1459677	954300	3000	11187700
14	3058082	3060729	2012950	6100	29669000
15	6425355	6098935	4577900	700	47529500
16	2808174	2869022	1859750	4900	21754200
17	1523619	1488047	1085150	1700	9236300
18	5947846	5741078	3983100	1400	45465800
19	2972425	2738531	2188000	3200	16844700
20	2766666	2676380	2038750	3300	22025200
21	2304603	2318984	1608900	1000	21573300
22	3361802	3366994	2306200	5300	26681100
23	2750170	2656216	1937850	7300	16168300
24	3388388	3381390	2343750	700	22826300
25	3703553	3738623	2512750	3600	27873100
26	2739686	2707949	1888500	3000	20868200
27	5567470	5614512	3870450	1000	50958600
28	2774008	2880648	1904050	600	30966600
29	1253508	1286599	848400	2000	8155200
30	5623489	5413328	4024550	4300	51065500
31	2043459	1996194	1458150	2400	12985300
32	1856266	1824349	1261900	1900	11125700
33	1794721	1763969	1214200	400	11389700
34	2352878	2470600	1613050	600	21138600
35	3113336	3068097	2065000	3200	20950500
36	4027735	4087392	2759000	2100	29946500
37	6145535	6074221	4374750	18000	43339400
38	951276	936333	670400	1400	6268900
39	3387734	3315171	2350050	2600	18530800
40	2568520	2549711	1764600	3700	17338500
41	3468198	3513443	2404500	5900	21030400
42	2879788	2850503	2019050	3600	19278400
43	2547568	2423993	1831100	1000	18682400
44	3062866	3185301	2043350	5300	26574000
45	2400010	2396707	1602200	3700	17426500
46	3778450	3701566	2551650	5300	24780500
47	1865977	2002034	1237800	2000	17075400
48	1202242	1188782	853700	1100	9139800
49	5955662	5984147	4239850	200	55865800
50	4202266	4287630	2908200	1500	36327700
51	4957129	4749043	3657100	3100	36722800
52	1997874	1979832	1437150	900	14199500
53	5253098	5449118	3452300	9600	42810400
54	1901077	1840137	1327500	1100	11188600
55	3955193	3992359	2814250	8100	36957900
56	3242889	3115332	2322000	500	20613700
57	3077542	3027333	2189900	800	18051000
58	3945513	3893151	2718650	3800	28883700
59	2828185	2765037	1991000	7300	17106200
60	2998594	2861867	2176250	600	20532700
61	3900205	3902068	2676550	3700	29053200
62	5309003	5208195	3743000	22600	32156200
63	2468754	2393943	1803000	1300	18413700
64	2006304	2022213	1389750	2800	13836200
65	4298829	4567151	2840850	3400	33144300
66	5209787	5214052	3723300	2400	39555200
67	3274802	3427521	2223250	1600	26608300
68	3004335	2983382	1977700	1300	21543000
69	3083764	3179045	2083600	6800	31355200
70	4003019	4026646	2804450	14000	31938800
71	5603961	5650933	3727400	700	49487600
72	1458707	1396965	1043800	1900	10698300
73	2074392	1987476	1487650	500	16676000
74	2810965	2734029	1943500	2800	20595700
75	3606250	3962411	2301100	3600	32222600
76	2810877	2846434	1910250	4000	20077600
77	5583449	5725116	3743750	5600	33389100
78	2822819	2877572	1882150	2900	25997600
79	4035203	4113697	2755850	800	30203600
80	2624915	2642242	1754300	1900	17427100
81	1810888	1832275	1243300	1700	14581100
82	2714903	2754341	1898500	5600	19437800
83	2640039	2561786	1879550	4200	25636100
84	3258888	3152309	2296000	12000	22984200
85	3146278	3179836	2204450	1000	20360000
86	3526409	3409921	2414550	5100	27134000
87	3387801	3393422	2387550	3300	26783000
88	3598538	3523733	2679350	1800	30654900
89	2086771	2105964	1457500	100	16266600
90	2154689	2147518	1506050	3100	16851600
91	4034964	4074423	2833850	6900	26117900
92	6295540	6378838	4215300	400	40273700
93	2031520	1935734	1433300	800	11416500
94	2361808	2259709	1746150	5200	16307000
95	4139951	4223404	2812550	8400	34162400
96	3094644	3181759	2167350	1200	33397600
97	2229587	2212858	1568650	500	17500500
98	3049506	2858105	2221700	1300	18148700
99	5492063	5363381	3867900	21200	37171300
100	5089734	4895185	3629250	2100	35689000