296.17	1.0	407.53	0.73	150.87	1.96	87.93	3.37	82.95	3.57	52.38	5.65	37.48	7.9	3d2a6e5c2f8f58dee79fd50444009625-cfi-rigid-z2-0088-03-or_2_shuffle_all.cnf
10000	1.0	10000	1.0	3595.05	2.78	2301.44	4.35	1541.94	6.49	1043.92	9.58	729.65	13.71	04157f716c1e9606c6a530657bf8f957-Kakuro-easy-125-ext.xml.hg_4.cnf
503.92	1.0	284.41	1.77	247.67	2.03	157.83	3.19	97.17	5.19	54.97	9.17	38.13	13.22	a09b0e7764666af044fa7e63dd7e7aef-PancakeVsSelectionSort_8_3.cnf
10000	1.0	0.04	243902.44	0.05	196078.43	0.06	166666.67	0.08	125000.0	0.03	333333.33	0.05	208333.33	cb3c725fd30d50c6785b907054194260-worker_40_40_30_0.9.cnf
3224.44	1.0	2163.6	1.49	1611.32	2.0	980.19	3.29	685.12	4.71	433.93	7.43	366.8	8.79	c3b4a96d92da617218449abad4334d6d-div-mitern164.cnf
609.82	1.0	393.13	1.55	277.7	2.2	186.84	3.26	128.84	4.73	89.59	6.81	71.39	8.54	4f888358cd62fe7bc602ea6882cdfc6d-bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19.cnf
3367.82	1.0	2276.31	1.48	2682.36	1.26	1456.9	2.31	1109.02	3.04	584.89	5.76	413.76	8.14	8f3d4a4fedf4689ae0e6df362478d551-PancakeVsSelectionSort_7_6.cnf
10000	1.0	10000	1.0	10000	1.0	3178.0	3.15	1936.27	5.16	1182.86	8.45	771.89	12.96	65514d6ff224df20ba8c1aeec1698ab6-PancakeVsInsertSort_8_7.cnf
1203.01	1.0	760.86	1.58	519.11	2.32	343.65	3.5	201.39	5.97	123.47	9.74	78.14	15.4	a2609893b71f219f4635d33ef1ff6eca-j3045_4_gmto_bm1.cnf
10000	1.0	10000	1.0	10000	1.0	4483.16	2.23	2019.06	4.95	1165.38	8.58	603.37	16.57	e011c703e4a2ff46069ec2af2997b580-sin_depth_miter_6.cnf
105.2	1.0	74.86	1.41	65.75	1.6	51.74	2.03	35.95	2.93	25.42	4.14	24.75	4.25	fe800e62b55609cb152965c223e72280-div-mitern171.cnf
76.37	1.0	59.58	1.28	57.22	1.33	61.83	1.24	59.85	1.28	58.46	1.31	50.0	1.53	d1dbf88a58406c931fd696267ed8159e-s2n:s2n_stuffer_private_key_from_pem.cnf
565.74	1.0	101.3	5.59	220.89	2.56	49.94	11.33	173.89	3.25	190.33	2.97	159.78	3.54	90ec6ff35305fed1d9a87a3ecd87238b-linked_list_swap_contents_safety_unwind48.cnf
58.09	1.0	27.2	2.14	17.92	3.24	11.54	5.03	8.2	7.08	4.7	12.37	3.74	15.52	920bbe559da4ea37fd636605316a791c-SCPC-500-19.cnf
351.17	1.0	260.44	1.35	207.83	1.69	188.62	1.86	143.9	2.44	80.88	4.34	36.68	9.57	af63ce577d1fea121ba80b4b1d148f0c-sudoku-N30-22.cnf
451.72	1.0	416.16	1.09	219.97	2.05	139.44	3.24	92.57	4.88	43.25	10.44	28.12	16.07	c9886f58320a360adbc8db9470563bea-ctl_4291_567_12_unsat.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	4641.61	2.15	f8a966a2ba189ad5fa45f870f3c5e200-sudoku-N30-7.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	7ff8c9781b3ada449ce489cdf444a760-Break_unsat_10_15.xml.cnf
10000	1.0	0.06	156250.0	0.06	156250.0	0.05	204081.63	0.06	156250.0	0.04	227272.73	0.04	227272.73	ff3be72b9f5f44036875aa48f5434456-worker_20_60_20_0.9.cnf
3177.89	1.0	1933.18	1.64	1347.71	2.36	895.02	3.55	520.3	6.11	350.16	9.08	245.9	12.92	047c92e7c0a36a23d8107f4313517719-rubikcube701-sc2017.cnf
22.67	1.0	19.61	1.16	18.3	1.24	12.93	1.75	10.71	2.12	7.67	2.95	7.74	2.93	bb80971144a5423532aea9424dade891-div-mitern174.cnf
10000	1.0	0.06	169491.53	0.07	140845.07	0.07	136986.3	0.08	131578.95	0.04	232558.14	0.06	172413.79	cbd7e28e510e658abbbe312bdffc6407-worker_50_50_50_0.85.cnf
556.46	1.0	486.35	1.14	395.05	1.41	275.05	2.02	197.71	2.81	107.13	5.19	74.24	7.5	2c7cb0ff324a42a0699c23317c97a29a-6s320rb1_Iter8.cnf
55.31	1.0	10000	0.01	96.45	0.57	114.75	0.48	133.52	0.41	133.6	0.41	123.48	0.45	5d357f1e4b5abc96c90d305f629edd5c-ps_200_323_70.cnf
192.4	1.0	145.64	1.32	129.65	1.48	112.13	1.72	81.02	2.37	61.08	3.15	45.56	4.22	0855033e761d91ae367e867c5a569f9e-atco_enc1_opt2_10_15.cnf
49.09	1.0	43.48	1.13	33.39	1.47	31.8	1.54	39.9	1.23	110.06	0.45	80.07	0.61	7703f7d1901ff09a0f177c52a1a7c107-linked_list_swap_contents_safety_unwind43.cnf
980.0	1.0	372.41	2.63	333.66	2.94	318.81	3.07	254.84	3.85	244.37	4.01	229.0	4.28	6b630aa05142274d965c8fc019db511e-bmc_QICE_rxrsp_vld_30.cnf
183.43	1.0	162.06	1.13	96.26	1.91	234.76	0.78	59.6	3.08	428.69	0.43	450.68	0.41	3fb045f58aaf394165735c39c49fad92-linked_list_swap_contents_safety_unwind56.cnf
10000	1.0	10000	1.0	10000	1.0	4398.69	2.27	2431.62	4.11	1342.75	7.45	990.75	10.09	51dd2c14736f2d9164f749d6a633ccb5-j3045_10_mdd_bm1.cnf
346.01	1.0	196.66	1.76	133.12	2.6	88.65	3.9	48.45	7.14	27.98	12.37	20.45	16.92	bcb2104a3558d87ac3b2107c10d54648-mp1-blockpuzzle_5x12_s6_free3.cnf
536.34	1.0	304.23	1.76	320.22	1.67	477.15	1.12	455.56	1.18	447.37	1.2	220.17	2.44	dd0196aee30d0a83b6fe8bc7eba01806-aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_iv.cnf
3562.36	1.0	10000	0.36	3035.81	1.17	1071.51	3.32	806.54	4.42	431.88	8.25	275.18	12.95	efc1b836380d0f84e7512f7b2ccdbb60-PancakeVsInsertSort_8_5.cnf
10000	1.0	1334.52	7.49	1388.73	7.2	1140.19	8.77	1258.06	7.95	1003.61	9.96	708.31	14.12	354c2088ae7648e1dc51d12947c8043a-bobsmdct_init_k88.cnf
1550.19	1.0	1355.44	1.14	1408.12	1.1	1242.76	1.25	1145.9	1.35	794.39	1.95	615.16	2.52	b29cb3449d70126d186e1f6a4fccc419-pj2015_k9.cnf
10000	1.0	0.1	96153.85	0.11	89285.71	0.15	64516.13	0.12	86956.52	0.13	77519.38	0.08	126582.28	45ec40c74fdbf2fe41122ac1e31e6c8e-worker_30_120_30_0.8.cnf
62.41	1.0	32.11	1.94	19.22	3.25	12.45	5.01	7.52	8.3	5.22	11.96	3.75	16.66	c0df94532b1ca8a705d3af05378f377d-SCPC-500-20.cnf
192.67	1.0	142.39	1.35	74.55	2.58	44.42	4.34	29.59	6.51	20.26	9.51	14.85	12.98	002a0330958a14deb23dcc84b5489e8a-traffic_f_unknown.cnf
160.21	1.0	152.23	1.05	93.15	1.72	50.65	3.16	30.05	5.33	15.52	10.33	14.39	11.13	cdcdc78497a72d622493b1bac4f0f28b-reconf20_26_3-FullIns_4_1.cnf
103.59	1.0	63.81	1.62	55.14	1.88	42.22	2.45	29.35	3.53	17.19	6.03	13.26	7.81	e02e21075d3bb8b0e64ea9b8122c75ff-PancakeVsInsertSort_6_7.cnf
2173.9	1.0	1091.07	1.99	768.15	2.83	560.47	3.88	379.82	5.72	330.46	6.58	319.53	6.8	a0e98fd44b74e6f255ca1e5a20bc01fd-cfi-rigid-d3-0180-02-orig.cnf
10000	1.0	10000	1.0	10000	1.0	2411.11	4.15	1368.82	7.31	826.03	12.11	613.71	16.29	60a0ab2650e08f32c4fff6ff09369568-eqsparcl12bpwtrc12.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	c23aed727ae2d9cbb888d771991995aa-tseitin_grid_n16_m16.cnf
10000	1.0	10000	1.0	2388.33	4.19	1650.13	6.06	483.32	20.69	307.06	32.57	227.76	43.91	c33dc89922f1ddea4e7eeddafe4143b3-reconf20_20_grid10_1_6141.cnf
650.13	1.0	612.12	1.06	414.96	1.57	283.34	2.29	175.67	3.7	134.4	4.84	105.6	6.16	aa4638ca3654f1a300c809125a3133ee-6s22_Iter57.cnf
583.09	1.0	630.4	0.92	540.52	1.08	456.47	1.28	416.62	1.4	576.57	1.01	366.22	1.59	b8f9b018d16835c564dcd8395118c79f-aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_alg_id.cnf
1962.16	1.0	2084.03	0.94	2669.15	0.74	1652.4	1.19	1378.17	1.42	665.52	2.95	490.75	4.0	114f1b2ffd86e8a176bcbab664415520-bobsmdct_k88.cnf
275.65	1.0	196.63	1.4	193.86	1.42	131.65	2.09	145.86	1.89	72.12	3.82	32.35	8.52	5cc5e3d24402696ed4ec03edfa42d663-sudoku-N30-24.cnf
3841.96	1.0	4379.57	0.88	3743.51	1.03	4468.06	0.86	3100.59	1.24	3289.06	1.17	2636.14	1.46	6e3015f2ce1f17e4f2b81dae06d73eec-gus-md5-11.cnf
400.32	1.0	394.05	1.02	358.37	1.12	341.19	1.17	309.36	1.29	324.6	1.23	291.94	1.37	0a3cb69074519646b0f2933ba7ad2d30-aws-encryption-sdk-c:aws_cryptosdk_hdr_write.cnf
1936.25	1.0	1902.26	1.02	875.55	2.21	558.31	3.47	421.69	4.59	198.9	9.73	123.71	15.65	f64806fd4fe79f1efaefa7ce68d93ee1-sin_depth_miter_4.cnf
10000	1.0	2430.43	4.11	2193.86	4.56	2163.24	4.62	2048.5	4.88	2245.1	4.45	1909.84	5.24	3cbd82017c4a304c014dd87a69f6028c-bmc_QICE_req_sfl_30.cnf
10000	1.0	10000	1.0	3329.41	3.0	2450.03	4.08	1364.33	7.33	734.97	13.61	521.68	19.17	a2bdae1f9d9695e8cf80cfbbd5f7d61f-PancakeVsSelectionSort_8_4.cnf
2828.77	1.0	1353.63	2.09	774.39	3.65	422.47	6.7	235.4	12.02	111.47	25.38	81.14	34.86	109aa0f5e177c1efb72f133a6f8c723b-hantzsche_wendt_unit_92.cnf
10000	1.0	0.0	2500000.0	0.0	2500000.0	0.0	2500000.0	0.0	2500000.0	0.04	222222.22	0.01	1428571.43	eede03732955f620b5291f9dcf9f95df-tseitin_n200_d3.cnf
1049.37	1.0	680.45	1.54	726.86	1.44	679.58	1.54	480.72	2.18	597.45	1.76	479.44	2.19	16a0949c23ac67c57c5773403daaca60-coreMQTT:MQTT_Connect.cnf
317.62	1.0	214.1	1.48	173.41	1.83	97.34	3.26	76.67	4.14	50.72	6.26	35.8	8.87	d6c845a5f92ebc059b3f0ab2f6d395ed-cfi-rigid-z2-0088-02-or_2_shuffle_all.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	9f7ec7ef3a908c2e93b5553670a207b1-rphp_p14_r14.cnf
42.16	1.0	24.7	1.71	18.2	2.32	9.8	4.3	6.83	6.18	4.87	8.66	4.53	9.32	a1158a2d8c8a1c6da02c2c4fcb32337f-6s158_Iter2.cnf
878.82	1.0	867.14	1.01	595.47	1.48	536.68	1.64	389.11	2.26	308.0	2.85	262.09	3.35	b3cf73d0383f781adf09a2192fa03a15-string_compare_safety_cbmc_unwinding_670.cnf
10000	1.0	0.0	2500000.0	0.01	1428571.43	0.02	476190.48	0.02	454545.45	0.0	3333333.33	0.01	1428571.43	d21199e73859ca35386912c5c475d6c7-tseitin_n192_d3.cnf
241.0	1.0	146.12	1.65	82.77	2.91	34.76	6.93	23.25	10.36	12.79	18.84	8.64	27.89	885c0d25480fe4db3cd5d3b4bc044e76-SCPC-500-17.cnf
1603.14	1.0	1630.28	0.98	1414.65	1.13	1590.16	1.01	1367.45	1.17	1152.03	1.39	891.04	1.8	4348c6b9af237291558b154a9de82969-aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_aad.cnf
10000	1.0	10000	1.0	10000	1.0	3958.27	2.53	2090.54	4.78	1002.01	9.98	716.07	13.97	4a85e090bda23cef9bf2aed55d489ab6-sin_depth_miter_5.cnf
980.97	1.0	873.63	1.12	836.26	1.17	238.63	4.11	149.64	6.56	120.36	8.15	73.57	13.33	d8bb23406e76bf5a4b7a6edba8784a74-Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemoveTrailingWhiteSpaces.cnf
416.07	1.0	301.38	1.38	260.99	1.59	230.64	1.8	178.24	2.33	123.15	3.38	91.0	4.57	594b07c07aee036a7aca35d44e2316da-div-mitern168.cnf
47.88	1.0	35.57	1.35	26.87	1.78	18.57	2.58	11.26	4.25	7.86	6.09	6.57	7.28	9f901378a6feabcc94019a018a70d42b-sin-mitern29.cnf
1955.81	1.0	33.47	58.44	31.59	61.91	38.12	51.31	28.4	68.86	22.84	85.63	22.53	86.8	e436f6303d3f499969eafe05b0914a4b-bmc_QICE_snp_vld_50.cnf
144.4	1.0	156.14	0.92	318.17	0.45	382.88	0.38	438.25	0.33	397.12	0.36	292.82	0.49	0823bc5f954c6366702877556f0d3680-linked_list_swap_contents_safety_unwind66.cnf
1247.41	1.0	961.61	1.3	799.32	1.56	588.12	2.12	374.28	3.33	232.96	5.35	159.05	7.84	7e5396d6b00b82c2fc0ea1d7c6505afd-manthey_single-ordered-initialized-w50-b7.cnf
306.09	1.0	225.91	1.35	117.88	2.6	89.54	3.42	46.48	6.58	28.55	10.72	18.83	16.26	07b7859003d84402cbb1ebdc37655d55-6s186_Iter20.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	f1b3d254596523910f3af07fc1942e64-Break_unsat_12_19.xml.cnf
10000	1.0	10000	1.0	10000	1.0	2805.9	3.56	1877.19	5.33	996.91	10.03	666.24	15.01	39b3fde35939134f3b011ebb31842610-PancakeVsInsertSort_9_4.cnf
462.41	1.0	712.94	0.65	351.59	1.32	250.25	1.85	162.14	2.85	65.53	7.06	52.58	8.79	ca6db14aaa04027d2b8af47ec910bd68-cfi-rigid-s2-0064-04-or_2.cnf
773.68	1.0	471.68	1.64	263.28	2.94	122.35	6.32	73.32	10.55	39.48	19.59	30.07	25.73	20840b5020649385e3f8f4965de7a123-hantzsche_wendt_unit_83.cnf
1867.22	1.0	111.14	16.8	256.37	7.28	272.84	6.84	90.19	20.7	421.4	4.43	269.21	6.94	351746fa3de2464c903c85e726cfed55-linked_list_swap_contents_safety_unwind67.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	3205.84	3.12	1819.39	5.5	1481.81	6.75	0a20cb72e5b005b8ed09d8a93184604a-j3037_9_gmto_bm1.cnf
40.79	1.0	16.33	2.5	12.65	3.22	8.85	4.61	6.55	6.22	4.72	8.63	4.32	9.44	65138afdf7eb054be5131f2b0de84369-satch2ways12u.cnf
114.64	1.0	78.22	1.47	52.57	2.18	39.37	2.91	25.2	4.55	15.3	7.49	12.01	9.55	488b147304549670f31653c932684e2c-sin-mitern28.cnf
282.16	1.0	252.83	1.12	204.04	1.38	197.79	1.43	168.49	1.67	133.32	2.12	78.78	3.58	c3de1f05d136b8ec420732ca829f3217-corePKCS11:C_CreateObject.cnf
1098.82	1.0	1152.27	0.95	589.76	1.86	190.78	5.76	140.85	7.8	107.13	10.26	59.37	18.51	7993005e2949524b293b216ed9c65126-cfi-rigid-s2-0064-03-or_2_shuffle_all.cnf
12.74	1.0	6.48	1.97	6.07	2.1	6.75	1.89	4.97	2.56	3.84	3.32	4.31	2.96	0dc468413b65339fad7e4f981bf2fb1e-reconf20_61_myciel4_2.cnf
60.19	1.0	67.71	0.89	53.14	1.13	38.52	1.56	23.07	2.61	21.69	2.77	19.71	3.05	00aefd1fc30c425075166ca051e57218-barman-pfile10-038.sas.ex.15.cnf
79.97	1.0	51.95	1.54	38.4	2.08	25.41	3.15	17.26	4.63	11.87	6.74	9.4	8.5	a65dfd8b3468d202ff3ba8731018622e-j3037_10_gmto_bm1.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	47a1a6f5687ed19c5c0f77c2c81f3f81-tseitin_grid_n14_m14.cnf
147.34	1.0	256.76	0.57	144.2	1.02	67.89	2.17	42.38	3.48	31.71	4.65	24.72	5.96	d78819115db81dee343d7777fbc5844f-cfi-rigid-s2-0064-02-or_2.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	2885.78	3.47	1629.72	6.14	d518d21a9d851741940749cb59f558af-rphp_p6_r28.cnf
627.19	1.0	741.22	0.85	412.3	1.52	458.78	1.37	459.41	1.37	316.1	1.98	151.86	4.13	0a514edbeace21927e52d75f2d4a8efd-ota-for-aws-iot-embedded-sdk:parseJSONbyModel.cnf
271.13	1.0	329.47	0.82	211.41	1.28	179.35	1.51	118.94	2.28	74.98	3.62	41.4	6.55	78cdffdf5bbb89beb753f9ffab7fa45f-sudoku-N30-6.cnf
134.49	1.0	119.5	1.13	103.84	1.3	70.71	1.9	55.32	2.43	32.38	4.15	26.65	5.05	4513c58c16e72a34f9f8518db7baeb9e-ktf_TF-3.tf_3_0.02_24.cnf
288.03	1.0	124.01	2.32	77.52	3.72	27.1	10.63	15.89	18.13	10.27	28.04	8.81	32.7	81b674a2aa6fbda9b06cf8ea334ddc44-beempgsol2b1.cnf
762.17	1.0	679.1	1.12	784.73	0.97	697.04	1.09	522.91	1.46	316.39	2.41	209.78	3.63	2f9cb22859718ab6c201726a91cfefe1-aws-encryption-sdk-c:aws_cryptosdk_priv_try_gen_key.cnf
10000	1.0	10000	1.0	10000	1.0	3689.57	2.71	2349.14	4.26	1344.62	7.44	780.31	12.82	7e9318578a6bdd7dfa9fc261be8a0839-PancakeVsSelectionSort_7_7.cnf
250.38	1.0	316.91	0.79	305.66	0.82	185.82	1.35	171.57	1.46	118.3	2.12	92.74	2.7	d8602e623f87dd33f4a1a69ee42d15be-reconf20_50_grid10_3_6844.cnf
116.81	1.0	53.02	2.2	30.95	3.77	20.74	5.63	11.82	9.88	6.58	17.74	5.73	20.37	3ff263696219ca9e301b0a1b345eb9aa-SCPC-500-4.cnf
792.16	1.0	705.8	1.12	490.49	1.62	352.04	2.25	243.96	3.25	164.27	4.82	109.95	7.2	6a3e3d3a65a46608b44d81f9e4621087-6s105_Iter35.cnf
917.53	1.0	529.37	1.73	354.05	2.59	216.06	4.25	145.52	6.31	82.77	11.09	60.12	15.26	f8ad493b11bf0692c1f3919642cebdb1-PancakeVsInsertSort_9_3.cnf
3632.09	1.0	2703.96	1.34	2029.94	1.79	1451.21	2.5	1047.28	3.47	814.06	4.46	531.18	6.84	85aa1f0820da17412b8ee803b4a85207-sudoku-N30-4.cnf
641.16	1.0	481.75	1.33	417.25	1.54	334.15	1.92	249.61	2.57	170.56	3.76	144.31	4.44	d702aa8568706efda8308ef8d24f907b-div-mitern167.cnf
10000	1.0	4084.54	2.45	2764.79	3.62	1852.89	5.4	1102.39	9.07	628.0	15.92	447.87	22.33	81e73c41a76d7b432cf86c43ffe23986-PancakeVsInsertSort_8_6.cnf
10000	1.0	0.11	87719.3	0.12	86206.9	0.12	82644.63	0.1	98039.22	0.06	169491.53	0.07	140845.07	8bfbffbfea9e5a5993bc024f39adff84-worker_40_80_40_0.85.cnf
99.52	1.0	214.79	0.46	190.12	0.52	48.06	2.07	184.81	0.54	141.0	0.71	117.01	0.85	88bfa72210baef40a2903d95044dc19d-linked_list_swap_contents_safety_unwind40.cnf
3342.21	1.0	10000	0.33	1855.24	1.8	1245.83	2.68	897.21	3.73	655.03	5.1	456.73	7.32	e47567e16e4aeb4d8f3806dfbfdfd646-sudoku-N30-8.cnf
596.52	1.0	693.51	0.86	640.88	0.93	669.13	0.89	631.85	0.94	886.77	0.67	830.49	0.72	a7cb2567e1f5b7ec2f4ba09931e29b96-s2n:s2n_stuffer_write_base64.cnf
2849.43	1.0	2024.69	1.41	1333.65	2.14	864.47	3.3	488.57	5.83	370.75	7.69	271.03	10.51	c221c5dc006de79e561124dab52aae82-mdp-28-12-unsat.cnf
58.56	1.0	39.29	1.49	36.41	1.61	20.12	2.91	16.12	3.63	10.8	5.42	9.34	6.27	c1b30b4e03c3024ad9d084e29e79aa46-BubbleVsPancakeSort_6_6.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	56e7489da32260e1bdd085a418592ec2-cliquecoloring_n18_k6_c5.cnf
917.55	1.0	627.92	1.46	389.08	2.36	204.38	4.49	118.8	7.72	68.61	13.37	46.46	19.75	5f24ae73bb2a0ec3bef68d8a9680f04f-af-synthesis_stb_50_80_7_unsat.cnf
1068.13	1.0	760.07	1.41	502.39	2.13	339.6	3.15	217.87	4.9	135.27	7.9	101.74	10.5	bb0613595001749a0ada02f2da85bc89-PancakeVsInsertSort_7_7.cnf
1377.51	1.0	1304.33	1.06	1150.06	1.2	1177.82	1.17	800.65	1.72	636.32	2.16	480.81	2.87	3666617901c8500d78700dac959729d4-pj2002_k9.cnf
115.38	1.0	54.53	2.12	36.76	3.14	22.07	5.23	10.15	11.37	7.1	16.26	5.34	21.61	73ef1e87dbb7965ecb558e62dedb3a0c-SCPC-500-8.cnf
477.13	1.0	498.92	0.96	275.68	1.73	172.97	2.76	96.35	4.95	58.03	8.22	42.65	11.19	0447371bb8a97e8fe5d3cee6de1db766-UTI-20-10p0-sc2009.cnf
1354.38	1.0	789.81	1.71	598.11	2.26	346.11	3.91	167.92	8.07	94.41	14.35	63.25	21.41	bd5bc8b7711b75f3cd3ad935bf000659-af-synthesis_stb_50_20_8_unsat.cnf
341.31	1.0	352.13	0.97	322.02	1.06	250.18	1.36	239.13	1.43	177.01	1.93	143.3	2.38	b344f80cef9889d952c76736d0ad92d9-9dlx_vliw_at_b_iq6.cnf
3951.77	1.0	1967.06	2.01	1425.71	2.77	965.44	4.09	669.71	5.9	346.35	11.41	260.84	15.15	26f8332e50a4ba5c371852e3737a3002-mdp-28-11-unsat.cnf
1180.26	1.0	802.72	1.47	590.86	2.0	334.24	3.53	201.53	5.86	111.49	10.59	76.56	15.42	b962abe508e5a677dbce14056111b48b-j3037_1_rggt_bm1.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	3970.31	2.52	2520.89	3.97	59047491e4828ed2bb79572330df6f77-mdp-32-16-unsat.cnf
89.82	1.0	148.07	0.61	109.84	0.82	71.35	1.26	87.68	1.02	124.68	0.72	166.22	0.54	eb659cd21250abdc8c9cec49073c32c6-linked_list_swap_contents_safety_unwind59.cnf
957.81	1.0	847.82	1.13	939.31	1.02	673.48	1.42	543.94	1.76	411.64	2.33	341.58	2.8	9e35558ea8ffba630cd8c8f90e14af14-string_compare_safety_cbmc_unwinding_730.cnf
235.03	1.0	181.71	1.29	159.03	1.48	141.7	1.66	127.55	1.84	84.25	2.79	73.86	3.18	0398e6b20de133ba8b49c74b67dad7b7-6s133-sc2014.cnf
815.04	1.0	800.57	1.02	866.29	0.94	827.82	0.98	474.48	1.72	511.58	1.59	359.53	2.27	59e596f5f845a2487370950b37ec3db2-aws-encryption-sdk-c:aws_cryptosdk_enc_ctx_size.cnf
511.56	1.0	656.86	0.78	533.03	0.96	501.79	1.02	407.2	1.26	318.89	1.6	195.13	2.62	8c8b72ac19c0f93813b614a18abaf512-aws-encryption-sdk-c:aws_cryptosdk_keyring_trace_eq.cnf
185.3	1.0	128.48	1.44	112.98	1.64	139.83	1.33	94.68	1.96	64.49	2.87	68.43	2.71	cb8f9ffb66d9b5ef663e6759be0b5e4e-q_query_3_L200_coli.sat.cnf
107.87	1.0	97.49	1.11	240.77	0.45	92.2	1.17	118.36	0.91	103.25	1.04	97.66	1.1	d0ee45ac97c6b5cc63a528f46a5797aa-linked_list_swap_contents_safety_unwind44.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	2842.38	3.52	1720.63	5.81	1180.52	8.47	d90c519010bfda89d1626c0321a55a64-j3045_10_gmto_bm1.cnf
2558.87	1.0	10000	0.26	4886.45	0.52	2381.53	1.07	1826.36	1.4	1826.86	1.4	992.23	2.58	e5f5dbace0183455d167a88100312c34-Nb52T6.cnf
257.0	1.0	198.86	1.29	177.99	1.44	134.65	1.91	113.56	2.26	65.11	3.95	54.05	4.76	7101289c67f4c4ba117ad06ebb7d18a0-6s184.cnf
89.23	1.0	46.12	1.93	25.73	3.47	16.22	5.5	8.84	10.1	5.68	15.7	4.73	18.88	b96071f89fa1b1670b8375010b1dd42b-SCPC-500-9.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	3777.54	2.65	2528.6	3.95	1478.66	6.76	064fe286277f695f42b556ef991036ff-sin_depth_miter_2.cnf
220.79	1.0	219.84	1.0	222.37	0.99	152.71	1.45	151.07	1.46	82.63	2.67	43.85	5.04	b913c17d26ac9f3ad15fa83dc98960c7-sudoku-N30-27.cnf
474.46	1.0	456.27	1.04	395.83	1.2	335.38	1.41	371.58	1.28	358.85	1.32	303.99	1.56	c2894b8d82492f03bb73bbc65896c016-aws-c-common:aws_priority_queue_s_remove_node.cnf
26.67	1.0	21.11	1.26	25.28	1.06	25.68	1.04	39.53	0.67	38.35	0.7	20.05	1.33	fa88b447f6b41b04686085480678affe-UNSAT_H_instances_childsnack_p12.hddl_1.cnf
10000	1.0	0.15	68493.15	0.16	64102.56	0.23	44247.79	0.19	53191.49	0.1	103092.78	0.11	90090.09	b8d10f8c82a85c03c000fbd005e5a838-worker_50_150_40_0.85.cnf
2921.34	1.0	2632.36	1.11	1517.99	1.92	1235.23	2.37	809.21	3.61	697.95	4.19	431.06	6.78	7fe153ced2c966dcdeb42b6714b4d6b7-sudoku-N30-11.cnf
123.25	1.0	67.83	1.82	42.73	2.88	25.05	4.92	14.41	8.55	7.7	16.01	5.74	21.46	a33d32bb816c0da62c7d946c18286a0d-SCPC-500-2.cnf
1801.83	1.0	1350.42	1.33	1103.03	1.63	674.77	2.67	504.13	3.57	308.72	5.84	266.09	6.77	26342c62148962a09872831b7cef8aae-div-mitern165.cnf
1341.2	1.0	1622.48	0.83	1280.54	1.05	1028.41	1.3	912.07	1.47	671.72	2.0	517.84	2.59	d3c22bb79a638adc35682226f35e3bc4-pj2003_k9.cnf
1585.07	1.0	966.5	1.64	609.75	2.6	346.38	4.58	208.74	7.59	111.04	14.28	70.02	22.64	03c44a93577c98119dc498053888937a-ctl_4291_567_1_unsat_pre.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	3097.09	3.23	1543.13	6.48	915.96	10.92	1b78438db7da55c2b4c4b8ec6b6cd6c6-soelberg_unit_158.cnf
136.3	1.0	130.04	1.05	122.11	1.12	98.21	1.39	85.41	1.6	53.07	2.57	41.27	3.3	e7c0d40392681b1a55d5d3c826a26766-reconf20_116_le450_25c_1.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	9cdf94203777c9f036f412bef1cc7c85-tseitin_n196_d3.cnf
114.98	1.0	54.93	2.09	32.75	3.51	21.74	5.29	12.22	9.41	6.19	18.58	5.24	21.96	cac1c09f968ef8654c499156d1292385-SCPC-500-18.cnf
3355.18	1.0	3200.06	1.05	1985.64	1.69	1057.86	3.17	887.65	3.78	669.01	5.02	387.61	8.66	d7039acbd2f060fe1e32a273b07c2c77-sudoku-N30-29.cnf
120.09	1.0	55.9	2.15	36.54	3.29	21.28	5.64	10.24	11.73	6.9	17.4	5.07	23.68	0e89b0f96c99f1a6aaaf66c3ae805919-SCPC-500-15.cnf
326.51	1.0	168.71	1.94	114.7	2.85	57.78	5.65	30.86	10.58	17.21	18.97	10.81	30.2	7f4d55b70c61ffc611a58e01d52c19bb-SCPC-500-11.cnf
232.8	1.0	120.68	1.93	67.55	3.45	43.14	5.4	23.27	10.0	12.19	19.1	8.48	27.44	7a236bb9e1566b80fa7b593a7e973efa-SCPC-500-16.cnf
10000	1.0	0.21	48076.92	0.16	63291.14	0.19	52356.02	0.16	64102.56	0.11	94339.62	0.11	89285.71	e4128445a07bb86afca1f3590d9adfa9-worker_80_80_80_0.8.cnf
10000	1.0	4145.69	2.41	1587.81	6.3	2468.47	4.05	585.24	17.09	297.23	33.64	244.41	40.91	6901858f1edbe3b1d327902dab720326-reconf20_20_grid10_4_4957.cnf
1498.01	1.0	1063.03	1.41	1200.31	1.25	1023.43	1.46	953.46	1.57	768.91	1.95	837.22	1.79	0294158664d9ada36bd23fbb652cb823-smtlib-qfbv-aigs-countbits128-tseitin.cnf
140.39	1.0	64.52	2.18	40.14	3.5	24.73	5.68	12.72	11.03	7.69	18.26	5.76	24.38	48eacbc152c7710dfd6fe17a8a17199e-SCPC-500-7.cnf
2311.32	1.0	10000	0.23	1835.91	1.26	723.08	3.2	379.18	6.1	216.37	10.68	223.39	10.35	fbf3b9f8a03a1efedae3da04622fe96e-sqrt-mitern168.cnf
321.93	1.0	169.04	1.9	102.96	3.13	64.41	5.0	33.75	9.54	19.21	16.76	14.31	22.49	6f956a3f95ccaf35a3de1fe72b9cf79e-soelberg_unit_109.cnf
3128.46	1.0	2174.27	1.44	1725.77	1.81	1221.87	2.56	943.47	3.32	541.52	5.78	356.6	8.77	3d4beaebb3d87819ce9ff59e72047ef7-sudoku-N30-20.cnf
900.38	1.0	514.33	1.75	311.58	2.89	380.18	2.37	251.21	3.58	454.22	1.98	301.74	2.98	c98459d6a1763d809729e276b9c4cbbd-linked_list_swap_contents_safety_unwind74.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	08991fb6c7c45205df7f2bc2f51fb1d9-bobsmdct_k500.cnf
365.2	1.0	187.66	1.95	134.27	2.72	99.59	3.67	56.86	6.42	40.27	9.07	37.74	9.68	161a73825fb50badeedbf8d12e1e043a-cfi-rigid-z2-0088-03-or_2.cnf
28.21	1.0	217.72	0.13	48.39	0.58	67.41	0.42	28.68	0.98	64.68	0.44	45.11	0.63	004b0f451f7d96f6a572e9e76360f51a-spg_420_280.cnf
1924.64	1.0	1096.5	1.76	840.77	2.29	511.44	3.76	374.69	5.14	210.94	9.12	157.06	12.25	41423c03ef173a5b81d6e6776f316fa5-PancakeVsInsertSort_7_8.cnf
10000	1.0	0.08	119047.62	0.08	128205.13	0.07	138888.89	0.09	109890.11	0.05	217391.3	0.07	149253.73	5c6495ff589cbbcb550e1655dadbd143-worker_40_80_35_0.85.cnf
125.11	1.0	67.41	1.86	54.33	2.3	41.87	2.99	34.22	3.66	22.72	5.51	19.57	6.39	567964f034c8ffa65952897ce4927c6c-ablmulub16x4o.cnf
636.74	1.0	587.88	1.08	395.08	1.61	412.94	1.54	287.2	2.22	434.23	1.47	249.66	2.55	4408f3ebfc37275a23ef57cfcc8aba6d-aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_content_type.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	4245.25	2.36	2542.01	3.93	ae5f6e83a289d226a353efd95b663717-6s22_Iter99.cnf
226.36	1.0	227.44	1.0	196.17	1.15	186.3	1.22	156.62	1.45	178.37	1.27	178.56	1.27	2c0379771c5313567ea9e230438f203f-reconf20_320_hc-square-2_1.cnf
62.04	1.0	50.04	1.24	49.05	1.26	41.45	1.5	39.13	1.59	28.41	2.18	24.5	2.53	5e04f38ff11cee5d75fb98e12f6a14fc-sqrt-mitern172.cnf
90.38	1.0	97.73	0.92	78.33	1.15	79.46	1.14	82.03	1.1	65.16	1.39	60.94	1.48	a5e0082efb1da4dabaa165c2bda5f85e-linked_list_swap_contents_safety_unwind41.cnf
10000	1.0	10000	1.0	4816.56	2.08	3204.39	3.12	2320.5	4.31	1815.58	5.51	1188.63	8.41	3d449de3d6e722c9ce4a38ec748ee3cf-sudoku-N30-10.cnf
2169.43	1.0	400.53	5.42	160.24	13.54	108.88	19.92	64.83	33.46	46.79	46.37	33.42	64.92	02c6fe8483e4f4474b7ac9731772535d-ncc_none_7047_6_3_3_0_0_420.cnf
638.22	1.0	201.91	3.16	159.45	4.0	130.54	4.89	88.83	7.19	404.1	1.58	140.63	4.54	ddcb0cd9b7bca43c3a5189326ae88aab-linked_list_swap_contents_safety_unwind71.cnf
1531.7	1.0	0.03	49409.68	0.04	38292.5	0.05	31259.18	0.04	39274.36	0.03	56729.63	0.04	40307.89	a4451734e7f5f2ce7b481688a693c4e9-worker_20_20_16_0.9.cnf
10000	1.0	4045.99	2.47	1240.3	8.06	761.32	13.14	500.15	19.99	271.14	36.88	94.59	105.72	c846dfb21b50596aef8fbe5591d75eb0-UNSAT_MS_opt_snake_p20.pddl_29.cnf
876.79	1.0	58.02	15.11	58.53	14.98	148.49	5.9	228.86	3.83	124.65	7.03	83.69	10.48	cd1585619fea2f2634525a3663873764-linked_list_swap_contents_safety_unwind55.cnf
1449.28	1.0	1318.29	1.1	1196.39	1.21	769.11	1.88	453.09	3.2	233.27	6.21	157.95	9.18	6dd57612dab7692b8c38225bb852ce36-hwmcc15deep-6s516r-k18-sc2017.cnf
348.59	1.0	246.74	1.41	97.07	3.59	99.78	3.49	58.13	6.0	48.19	7.23	36.21	9.63	3d2b0088dccf11d1f82c89b7122c26e1-cfi-rigid-z2-0088-01-or_2_shuffle_all.cnf
553.18	1.0	420.48	1.32	218.07	2.54	133.73	4.14	81.1	6.82	51.58	10.73	36.14	15.31	e55a49d8065d65650f24c0f3ecef30b6-af-synthesis_stb_50_120_4_unsat.cnf
37.27	1.0	31.96	1.17	33.1	1.13	30.4	1.23	30.28	1.23	33.3	1.12	30.16	1.24	436d00b6d41912e800e9855d08c75139-manol-pipe-f7nidw.cnf
1273.5	1.0	717.6	1.77	782.05	1.63	642.11	1.98	410.2	3.1	538.33	2.37	380.2	3.35	35ad744923721e37a2f58443179c31a8-coreMQTT:MQTT_SerializeConnect.cnf
107.31	1.0	44.01	2.44	23.95	4.48	15.28	7.02	9.32	11.52	5.69	18.86	4.74	22.64	3159a02d096424aab6295c76360633a9-SCPC-500-10.cnf
663.64	1.0	527.54	1.26	337.77	1.96	225.16	2.95	137.87	4.81	75.91	8.74	52.21	12.71	372021735d9e46002b862aa2a038a818-j3045_4_rggt_bm1.cnf
204.47	1.0	150.62	1.36	111.64	1.83	73.03	2.8	58.26	3.51	30.47	6.71	22.27	9.18	43687a48fb119ca61b47c2fc69a71e7d-manthey_single-ordered-initialized-w42-b8.cnf
223.06	1.0	141.46	1.58	95.17	2.34	46.15	4.83	33.37	6.68	15.65	14.25	11.53	19.34	a7aac5c83f236fd8b3de3275e3f5499d-edit_distance041_183.cnf
1437.44	1.0	1835.92	0.78	1716.08	0.84	764.61	1.88	1900.93	0.76	296.1	4.85	309.27	4.65	13b13b34fe88f093aca06d6d035ee797-Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemovePrefix.cnf
570.0	1.0	550.77	1.03	675.86	0.84	568.49	1.0	597.64	0.95	561.0	1.02	402.43	1.42	23e61c50ee2ac5cad1d337572abdebcf-aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_edks.cnf
21.26	1.0	27.31	0.78	69.2	0.31	40.01	0.53	29.25	0.73	64.48	0.33	43.37	0.49	02627689047d06fbb642eef14768d751-ps_200_300_70.cnf
476.09	1.0	81.48	5.84	75.92	6.27	76.5	6.22	68.17	6.98	78.6	6.06	76.0	6.26	a58badecf3c901594f06d021f54c3a11-aws-c-common:aws_priority_queue_s_sift_either.cnf
3184.22	1.0	1872.35	1.7	1119.35	2.84	667.64	4.77	349.04	9.12	179.7	17.72	113.54	28.04	cda0871abcaa41bb403207731bd24fe5-af-synthesis_stb_50_100_4_unsat.cnf
16.85	1.0	0.0	5616.67	0.01	3370.0	0.04	455.41	0.03	674.0	0.0	5616.67	0.01	2808.33	01d142c43f3ce9a8c5ef7a1ecdbb6cba-urquhart3_25bis.shuffled.cnf
71.15	1.0	53.14	1.34	57.95	1.23	53.18	1.34	43.61	1.63	34.72	2.05	28.93	2.46	a130a3f95891daed1bfd71c77bd2d8a1-SAT_dat.k80.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	4532.92	2.21	1725.7	5.79	1438.47	6.95	354936f86e55ab8d00e6e1f5f7c140a9-xor_op_n44_d3.cnf
10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	10000	1.0	d7f273dc6e97efe55c8b7f9cc547eb2d-sin_depth_miter_1.cnf