MAX-CSP 2008 Competition: benchmarks results per solver

Benchmark Name	Answer	Number of falsified constraints	CPU time	Wall clock time	TraceID
maxcsp/spot5/ normalized-spot5-8_ext.xml	OPTIMUM	1	0.014997	0.0202509	1126525
csp/coloring/ normalized-geom-40-2-ext.xml	OPTIMUM	22	0.030994	0.0360611	1108541
csp/coloring/ normalized-geom-40-3-ext.xml	OPTIMUM	7	0.048992	0.057259	1108533
csp/coloring/ normalized-geom-40-4-ext.xml	OPTIMUM	3	0.054991	0.0619039	1108549
maxcsp/maxclique/ normalized-johnson-8-2-4_ext.xml	OPTIMUM	24	0.056991	0.062611	1126277
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-10/ normalized-kbtree-9-7-3-5-10-04_ext.xml	OPTIMUM	0	0.063989	0.0783549	1128117
maxcsp/planning/ normalized-mprime03bc_ext.xml	OPTIMUM	3	0.064989	0.0726521	1125773
maxcsp/planning/ normalized-mprime03cc_ext.xml	OPTIMUM	3	0.06499	0.072012	1125973
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-10/ normalized-kbtree-9-7-3-5-10-25_ext.xml	OPTIMUM	0	0.065989	0.0719501	1128125
maxcsp/planning/ normalized-mprime03c_ext.xml	OPTIMUM	3	0.065989	0.071445	1125573
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-10/ normalized-kbtree-9-7-3-5-10-08_ext.xml	OPTIMUM	0	0.065989	0.0728311	1128109
maxcsp/planning/ normalized-depot01cc_ext.xml	OPTIMUM	3	0.069988	0.075509	1125653
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-10/ normalized-kbtree-5-2-4-5-10-26_ext.xml	OPTIMUM	0	0.073987	0.0809031	1128085
maxcsp/planning/ normalized-driverlog01cc_ext.xml	OPTIMUM	3	0.073987	0.098977	1125837
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-10/ normalized-kbtree-5-2-4-5-10-18_ext.xml	OPTIMUM	0	0.073988	0.080792	1128093
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-20/ normalized-kbtree-5-2-4-5-20-08_ext.xml	OPTIMUM	0	0.073988	0.0867241	1128061
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-10/ normalized-kbtree-5-2-4-5-10-23_ext.xml	OPTIMUM	0	0.074988	0.0806029	1128101
maxcsp/pi/pi-20-10-20-t60/ normalized-pi-20-10-20-40-17.xml	OPTIMUM	2	0.075987	0.07743	1124909
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-20/ normalized-kbtree-5-2-4-5-20-38_ext.xml	OPTIMUM	0	0.075987	0.0901469	1128077
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-20/ normalized-kbtree-5-2-4-5-20-50_ext.xml	OPTIMUM	0	0.075988	0.082017	1128069
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-10/ normalized-kbtree-9-5-3-5-10-36_ext.xml	OPTIMUM	0	0.080986	0.0889689	1128613
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-20/ normalized-kbtree-9-7-3-5-20-23_ext.xml	OPTIMUM	1	0.081986	0.089952	1128197
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-10/ normalized-kbtree-9-5-3-5-10-31_ext.xml	OPTIMUM	0	0.083987	0.0894319	1128621
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-30/ normalized-kbtree-5-2-4-5-30-25_ext.xml	OPTIMUM	0	0.083987	0.0908029	1127997
maxcsp/pi/pi-20-10-20-t60/ normalized-pi-20-10-20-40-68.xml	OPTIMUM	2	0.084986	0.121573	1124757
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-10/ normalized-kbtree-9-5-3-5-10-18_ext.xml	OPTIMUM	0	0.084986	0.09184	1128629
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-30/ normalized-kbtree-5-2-4-5-30-47_ext.xml	OPTIMUM	0	0.084987	0.091323	1127989
maxcsp/pi/pi-20-10-20-t60/ normalized-pi-20-10-20-40-38.xml	OPTIMUM	2	0.087985	0.093264	1125109
maxcsp/pi/pi-20-10-20-t60/ normalized-pi-20-10-20-40-30.xml	OPTIMUM	2	0.087986	0.0934931	1124461
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-30/ normalized-kbtree-5-2-4-5-30-35_ext.xml	OPTIMUM	0	0.089985	0.096033	1128005
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-10/ normalized-kbtree-9-2-3-5-10-26_ext.xml	OPTIMUM	0	0.089985	0.09163	1128501
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-20/ normalized-kbtree-9-7-3-5-20-12_ext.xml	OPTIMUM	1	0.089985	0.103061	1128189
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-10/ normalized-kbtree-9-2-3-5-10-38_ext.xml	OPTIMUM	0	0.092985	0.0943869	1128509
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-10/ normalized-kbtree-9-2-3-5-10-35_ext.xml	OPTIMUM	0	0.093985	0.180124	1128493
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-20/ normalized-kbtree-9-5-3-5-20-21_ext.xml	OPTIMUM	1	0.098984	0.109524	1128709
maxcsp/pi/pi-20-10-20-t60/ normalized-pi-20-10-20-40-94.xml	OPTIMUM	1	0.099984	0.106086	1125133
csp/coloring/ normalized-geom-30a-4-ext.xml	OPTIMUM	4	0.100984	0.107046	1108581
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-20/ normalized-kbtree-9-2-3-5-20-01_ext.xml	OPTIMUM	0	0.101983	0.105045	1128469
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-20/ normalized-kbtree-9-2-3-5-20-15_ext.xml	OPTIMUM	0	0.101983	0.101893	1128485
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-20/ normalized-kbtree-9-2-3-5-20-02_ext.xml	OPTIMUM	0	0.102983	0.117578	1128477
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-300-182024_ext.xml	OPTIMUM	35	0.105983	0.114599	1127477
maxcsp/pi/pi-20-10-20-t60/ normalized-pi-20-10-20-40-13.xml	OPTIMUM	2	0.107982	0.112341	1124949
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-300-182022_ext.xml	OPTIMUM	34	0.109982	0.120089	1127461
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-20/ normalized-kbtree-9-7-3-5-20-40_ext.xml	OPTIMUM	2	0.109983	0.114525	1128181
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-20/ normalized-kbtree-9-5-3-5-20-13_ext.xml	OPTIMUM	1	0.111982	0.119024	1128717
maxcsp/pi/pi-20-10-20-t60/ normalized-pi-20-10-20-40-28.xml	OPTIMUM	2	0.12598	0.127821	1124861
maxcsp/pi/pi-20-10-20-t60/ normalized-pi-20-10-20-40-36.xml	OPTIMUM	1	0.12798	0.132843	1124637
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-300-182021_ext.xml	OPTIMUM	35	0.12898	0.142786	1127501
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-30/ normalized-kbtree-9-7-3-5-30-27_ext.xml	OPTIMUM	5	0.142977	0.153085	1128317
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-40/ normalized-kbtree-5-2-4-5-40-16_ext.xml	OPTIMUM	10	0.145976	0.150358	1128045
maxcsp/pi/pi-20-10-20-t70/ normalized-pi-20-10-20-30-18.xml	OPTIMUM	8	0.148977	0.156634	1123429
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-40/ normalized-kbtree-5-2-4-5-40-23_ext.xml	OPTIMUM	7	0.156975	0.165763	1128053
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-20/ normalized-kbtree-9-5-3-5-20-04_ext.xml	OPTIMUM	0	0.158975	0.163727	1128725
maxcsp/pi/pi-20-10-20-t70/ normalized-pi-20-10-20-30-39.xml	OPTIMUM	6	0.177972	0.188882	1123053
csp/composed-25-1-2/ normalized-composed-25-1-2-8_ext.xml	OPTIMUM	2	0.180971	0.188408	1114589
maxcsp/pi/pi-20-10-20-t70/ normalized-pi-20-10-20-30-43.xml	OPTIMUM	7	0.180971	0.187873	1123269
csp/composed-25-1-2/ normalized-composed-25-1-2-6_ext.xml	OPTIMUM	2	0.185971	0.198365	1114621
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-90/ normalized-kbtree-5-2-4-5-90-13_ext.xml	OPTIMUM	121	0.18897	0.191155	1127949
csp/composed-25-1-2/ normalized-composed-25-1-2-7_ext.xml	OPTIMUM	2	0.201969	0.262377	1114597
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-80/ normalized-kbtree-5-2-4-5-80-41_ext.xml	OPTIMUM	86	0.204968	0.214616	1127973
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-90/ normalized-kbtree-5-2-4-5-90-08_ext.xml	OPTIMUM	119	0.205967	0.213035	1127941
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-40/ normalized-kbtree-5-2-4-5-40-32_ext.xml	OPTIMUM	10	0.209967	0.214744	1128037
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-30/ normalized-kbtree-9-7-3-5-30-25_ext.xml	OPTIMUM	7	0.223965	0.235396	1128309
maxcsp/pi/pi-20-10-20-t70/ normalized-pi-20-10-20-30-37.xml	OPTIMUM	5	0.226964	0.2344	1123533
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-80/ normalized-kbtree-5-2-4-5-80-11_ext.xml	OPTIMUM	90	0.232964	0.248437	1127981
csp/composed-25-1-40/ normalized-composed-25-1-40-0_ext.xml	OPTIMUM	1	0.237963	0.245	1114837
maxcsp/randomMaxCSP/sparseTight/ normalized-vcsp-25-10-21-85-35_ext.xml	OPTIMUM	19	0.239963	0.245965	1116293
maxcsp/warehouses/ normalized-cap44_ext.xml	OPTIMUM	0	0.242962	0.280296	1127021
maxcsp/warehouses/ normalized-cap62_ext.xml	OPTIMUM	0	0.242962	0.255397	1126997
maxcsp/pi/pi-20-10-20-t70/ normalized-pi-20-10-20-30-64.xml	OPTIMUM	8	0.25496	0.260446	1123245
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-90/ normalized-kbtree-5-2-4-5-90-34_ext.xml	OPTIMUM	121	0.25496	0.260198	1127957
maxcsp/pi/pi-20-10-20-t70/ normalized-pi-20-10-20-30-61.xml	OPTIMUM	7	0.266958	0.272355	1123029
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-60/ normalized-kbtree-5-2-4-5-60-36_ext.xml	OPTIMUM	41	0.274957	0.286404	1127933
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-50/ normalized-kbtree-5-2-4-5-50-16_ext.xml	OPTIMUM	18	0.292955	0.299891	1128021
maxcsp/pi/pi-20-10-20-t70/ normalized-pi-20-10-20-30-81.xml	OPTIMUM	7	0.293954	0.300641	1122829
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/ normalized-kbtree-9-2-3-5-30-08_ext.xml	OPTIMUM	7	0.297954	0.304945	1128525
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-70/ normalized-kbtree-5-2-4-5-70-37_ext.xml	OPTIMUM	59	0.302953	0.324502	1127909
maxcsp/celar/subs7/ normalized-scenw-7-sub1-20_ext.xml	OPTIMUM	16	0.303953	0.307524	1125293
maxcsp/pi/pi-40-10-08-t60/ normalized-pi-40-10-07948-40-93.xml	OPTIMUM	1	0.330948	0.336487	1121381
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-50/ normalized-kbtree-9-7-3-5-50-42_ext.xml	OPTIMUM	30	0.342947	0.349662	1128133
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-90/ normalized-kbtree-9-7-3-5-90-11_ext.xml	OPTIMUM	123	0.342947	0.348837	1128205
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-500-633422_ext.xml	OPTIMUM	65	0.347946	0.358894	1127469
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-400-907730_ext.xml	OPTIMUM	57	0.348945	0.353778	1127485
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-800-810521_ext.xml	OPTIMUM	107	0.353945	0.356378	1127453
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-90/ normalized-kbtree-9-7-3-5-90-08_ext.xml	OPTIMUM	123	0.358944	0.364284	1128213
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-50/ normalized-kbtree-5-2-4-5-50-14_ext.xml	OPTIMUM	18	0.367943	0.375424	1128013
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/ normalized-kbtree-9-2-3-5-30-34_ext.xml	OPTIMUM	6	0.369943	0.38052	1128517
csp/composed-25-1-80/ normalized-composed-25-1-80-8_ext.xml	OPTIMUM	2	0.370943	0.371139	1114541
maxcsp/pi/pi-20-10-20-t70/ normalized-pi-20-10-20-30-4.xml	OPTIMUM	7	0.384941	0.390978	1122893
csp/composed-25-1-25/ normalized-composed-25-1-25-8_ext.xml	OPTIMUM	2	0.39194	0.416388	1114277
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-80/ normalized-kbtree-5-2-4-5-80-06_ext.xml	OPTIMUM	90	0.394939	0.398729	1127965
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-30/ normalized-kbtree-9-7-3-5-30-10_ext.xml	OPTIMUM	9	0.399938	0.712013	1128301
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-70/ normalized-kbtree-5-2-4-5-70-12_ext.xml	OPTIMUM	57	0.426934	0.434904	1127901
maxcsp/randomMaxCSP/sparseTight/ normalized-vcsp-25-10-21-85-33_ext.xml	OPTIMUM	19	0.428934	0.441718	1116213
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-70/ normalized-kbtree-5-2-4-5-70-33_ext.xml	OPTIMUM	57	0.436932	0.448746	1127893
maxcsp/pi/pi-40-10-08-t60/ normalized-pi-40-10-07948-40-17.xml	OPTIMUM	2	0.450931	0.459109	1121269
maxcsp/celar/subs6/ normalized-scenw-6-sub1-24_ext.xml	OPTIMUM	18	0.457929	0.465109	1125397
csp/composed-25-1-40/ normalized-composed-25-1-40-5_ext.xml	OPTIMUM	2	0.462929	0.471546	1114861
maxcsp/randomMaxCSP/sparseTight/ normalized-vcsp-25-10-21-85-24_ext.xml	OPTIMUM	19	0.501923	0.508819	1116309
csp/composed-25-1-80/ normalized-composed-25-1-80-2_ext.xml	OPTIMUM	2	0.502922	0.509923	1114509
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-50/ normalized-kbtree-5-2-4-5-50-22_ext.xml	OPTIMUM	19	0.503923	0.51139	1128029
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-60/ normalized-kbtree-5-2-4-5-60-34_ext.xml	OPTIMUM	39	0.506922	0.518573	1127917
csp/composed-25-1-80/ normalized-composed-25-1-80-9_ext.xml	OPTIMUM	2	0.510922	0.520408	1114533
maxcsp/warehouses/ normalized-cap103_ext.xml	OPTIMUM	0	0.51692	0.516172	1126869
maxcsp/warehouses/ normalized-cap91_ext.xml	OPTIMUM	0	0.51992	0.524494	1127133
maxcsp/celar/scens/ normalized-scenw-06-30reduc_ext.xml	OPTIMUM	2	0.535918	0.542074	1125229
maxcsp/celar/subs6/ normalized-scenw-6-sub4-20_ext.xml	OPTIMUM	23	0.548916	0.5553	1125421
maxcsp/warehouses/ normalized-cap104_ext.xml	OPTIMUM	0	0.551915	0.558382	1126973
maxcsp/pi/pi-30-10-25-t48/ normalized-pi-30-10-197-52-37.xml	OPTIMUM	1	0.551915	0.563343	1122645
maxcsp/warehouses/ normalized-cap102_ext.xml	OPTIMUM	0	0.555914	0.56215	1126837
maxcsp/warehouses/ normalized-cap93_ext.xml	OPTIMUM	0	0.555915	0.563029	1126741
maxcsp/warehouses/ normalized-cap92_ext.xml	OPTIMUM	0	0.558914	0.570471	1126765
csp/composed-75-1-2/ normalized-composed-75-1-2-7_ext.xml	OPTIMUM	1	0.559914	0.596868	1114301
maxcsp/planning/ normalized-zenotravel02bc_ext.xml	OPTIMUM	3	0.560914	0.571893	1125445
csp/composed-25-1-25/ normalized-composed-25-1-25-6_ext.xml	OPTIMUM	2	0.595909	0.612904	1114253
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-600-359126_ext.xml	OPTIMUM	83	0.596908	0.610361	1127493
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-80/ normalized-kbtree-9-7-3-5-80-04_ext.xml	OPTIMUM	100	0.645901	0.992212	1128285
maxcsp/pi/pi-40-10-08-t60/ normalized-pi-40-10-07948-40-92.xml	OPTIMUM	1	0.6489	0.695427	1121773
csp/composed-25-1-25/ normalized-composed-25-1-25-3_ext.xml	OPTIMUM	2	0.665897	0.677954	1114261
maxcsp/randomMaxCSP/sparseTight/ normalized-vcsp-25-10-21-85-15_ext.xml	OPTIMUM	19	0.665898	0.671335	1116389
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-40/ normalized-kbtree-9-7-3-5-40-34_ext.xml	OPTIMUM	23	0.681895	0.694681	1128229
maxcsp/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-60/ normalized-kbtree-5-2-4-5-60-10_ext.xml	OPTIMUM	43	0.713891	0.757254	1127925
maxcsp/randomMaxCSP/denseLoose/ normalized-vcsp-30-10-25-48-44_ext.xml	OPTIMUM	2	0.740886	0.748163	1117525
maxcsp/randomMaxCSP/denseLoose/ normalized-vcsp-30-10-25-48-33_ext.xml	OPTIMUM	2	0.764882	0.772537	1117541
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-40/ normalized-kbtree-9-2-3-5-40-38_ext.xml	OPTIMUM	27	0.772882	0.873484	1128381
csp/composed-75-1-80/ normalized-composed-75-1-80-8_ext.xml	OPTIMUM	2	0.775881	0.789524	1115141
maxcsp/celar/subs6/ normalized-scenw-6-sub0_ext.xml	OPTIMUM	6	0.791879	0.796614	1125405
maxcsp/cnf/2-40-100-1000/ normalized-cnf-2-40-800-810527_ext.xml	OPTIMUM	113	0.792878	0.805124	1127445
csp/composed-25-1-40/ normalized-composed-25-1-40-4_ext.xml	OPTIMUM	2	0.801877	0.808985	1114845
csp/composed-75-1-80/ normalized-composed-75-1-80-1_ext.xml	OPTIMUM	2	0.844871	0.889286	1115149
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1100-987629_ext.xml	OPTIMUM	159	0.853869	0.857651	1127733
maxcsp/celar/subs7/ normalized-scenw-7-sub4-22_ext.xml	OPTIMUM	19	0.853869	0.866395	1125333
csp/composed-75-1-2/ normalized-composed-75-1-2-2_ext.xml	OPTIMUM	2	0.871866	0.885408	1114317
maxcsp/celar/subs7/ normalized-scenw-7-sub0_ext.xml	OPTIMUM	4	0.877866	0.887282	1125325
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-80/ normalized-kbtree-9-7-3-5-80-50_ext.xml	OPTIMUM	97	0.891863	0.90758	1128277
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-50/ normalized-kbtree-9-2-3-5-50-31_ext.xml	OPTIMUM	45	0.896862	0.908802	1128357
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-60/ normalized-kbtree-9-7-3-5-60-01_ext.xml	OPTIMUM	54	0.899862	0.911573	1128165
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-300-186944_ext.xml	OPTIMUM	22	0.934856	0.958157	1127829
csp/composed-75-1-40/ normalized-composed-75-1-40-2_ext.xml	OPTIMUM	2	0.988849	1.0133	1114581
maxcsp/planning/ normalized-rovers02ac_ext.xml	OPTIMUM	3	0.989849	1.00233	1125485
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-80/ normalized-kbtree-9-7-3-5-80-05_ext.xml	OPTIMUM	104	1.04784	1.06669	1128293
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-40/ normalized-kbtree-9-2-3-5-40-16_ext.xml	OPTIMUM	27	1.07383	1.08521	1128389
maxcsp/randomMaxCSP/denseLoose/ normalized-vcsp-30-10-25-48-39_ext.xml	OPTIMUM	3	1.09083	1.10457	1117509
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-40/ normalized-kbtree-9-7-3-5-40-39_ext.xml	OPTIMUM	23	1.10683	1.22611	1128245
csp/composed-75-1-80/ normalized-composed-75-1-80-9_ext.xml	OPTIMUM	2	1.13982	1.18392	1115125
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-60/ normalized-kbtree-9-7-3-5-60-16_ext.xml	OPTIMUM	62	1.15382	1.16772	1128173
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-30/ normalized-kbtree-9-5-3-5-30-13_ext.xml	OPTIMUM	12	1.15582	1.17666	1128677
maxcsp/celar/subs7/ normalized-scenw-7-sub1_ext.xml	OPTIMUM	18	1.18482	1.20216	1125317
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-90/ normalized-kbtree-9-2-3-5-90-48_ext.xml	OPTIMUM	197	1.20482	1.22033	1128397
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1800-067529_ext.xml	OPTIMUM	246	1.22481	1.24588	1127709
maxcsp/randomMaxCSP/denseTight/ normalized-vcsp-25-10-25-87-38_ext.xml	OPTIMUM	29	1.22681	1.2395	1115381
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-50/ normalized-kbtree-9-2-3-5-50-05_ext.xml	OPTIMUM	48	1.25981	1.26322	1128365
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-40/ normalized-kbtree-9-7-3-5-40-49_ext.xml	OPTIMUM	22	1.26981	1.28641	1128237
maxcsp/randomMaxCSP/sparseTight/ normalized-vcsp-25-10-21-85-27_ext.xml	OPTIMUM	20	1.2918	1.30884	1116341
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-30/ normalized-kbtree-9-2-3-5-30-02_ext.xml	OPTIMUM	9	1.3198	1.32066	1128533
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-70/ normalized-kbtree-9-7-3-5-70-50_ext.xml	OPTIMUM	72	1.3288	1.3498	1128261
maxcsp/pi/pi-30-10-25-t48/ normalized-pi-30-10-197-52-6.xml	OPTIMUM	2	1.3308	1.3431	1122229
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-70/ normalized-kbtree-9-7-3-5-70-43_ext.xml	OPTIMUM	73	1.3418	1.35503	1128253
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-90/ normalized-kbtree-9-2-3-5-90-29_ext.xml	OPTIMUM	196	1.35479	1.36999	1128405
maxcsp/pi/pi-40-10-08-t60/ normalized-pi-40-10-07948-40-73.xml	OPTIMUM	2	1.36179	1.36591	1121749
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-30/ normalized-kbtree-9-5-3-5-30-37_ext.xml	OPTIMUM	9	1.37079	1.40301	1128661
maxcsp/pi/pi-40-10-08-t60/ normalized-pi-40-10-07948-40-98.xml	OPTIMUM	2	1.38679	1.39875	1121853
maxcsp/pi/pi-30-10-25-t48/ normalized-pi-30-10-197-52-93.xml	OPTIMUM	3	1.40379	1.42562	1122677
maxcsp/celar/subs6/ normalized-scenw-6-sub1_ext.xml	OPTIMUM	22	1.43778	1.465	1125413
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-50/ normalized-kbtree-9-2-3-5-50-24_ext.xml	OPTIMUM	48	1.43978	1.45238	1128349
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-300-186945_ext.xml	OPTIMUM	25	1.51777	1.54352	1127837
maxcsp/celar/subs7/ normalized-scenw-7-sub2_ext.xml	OPTIMUM	18	1.62575	1.64589	1125285
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-50/ normalized-kbtree-9-7-3-5-50-13_ext.xml	OPTIMUM	36	1.64875	1.67103	1128149
maxcsp/randomMaxCSP/sparseTight/ normalized-vcsp-25-10-21-85-20_ext.xml	OPTIMUM	20	1.67474	1.68569	1116125
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-70/ normalized-kbtree-9-7-3-5-70-33_ext.xml	OPTIMUM	74	1.67774	1.68903	1128269
maxcsp/randomMaxCSP/denseLoose/ normalized-vcsp-30-10-25-48-42_ext.xml	OPTIMUM	2	1.68474	1.69533	1117197
csp/composed-75-1-40/ normalized-composed-75-1-40-9_ext.xml	OPTIMUM	2	1.70474	1.7306	1114557
maxcsp/pi/pi-40-10-08-t60/ normalized-pi-40-10-07948-40-22.xml	OPTIMUM	3	1.70774	1.72266	1121221
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1100-987630_ext.xml	OPTIMUM	162	1.71274	1.72815	1127757
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-40/ normalized-kbtree-9-2-3-5-40-50_ext.xml	OPTIMUM	30	1.71674	1.72995	1128373
maxcsp/celar/subs6/ normalized-scenw-6-sub2_ext.xml	OPTIMUM	22	1.74173	1.76232	1125389
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-70/ normalized-kbtree-9-2-3-5-70-39_ext.xml	OPTIMUM	108	1.78473	1.79643	1128333
maxcsp/pi/pi-30-10-25-t48/ normalized-pi-30-10-197-52-88.xml	OPTIMUM	2	1.81672	1.83816	1122589
maxcsp/pi/pi-30-10-25-t48/ normalized-pi-30-10-197-52-29.xml	OPTIMUM	2	1.84672	1.86296	1122725
maxcsp/warehouses/ normalized-cap122_ext.xml	OPTIMUM	0	1.85272	1.8676	1126773
maxcsp/warehouses/ normalized-cap113_ext.xml	OPTIMUM	0	1.85472	1.8755	1126949
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-90/ normalized-kbtree-9-2-3-5-90-06_ext.xml	OPTIMUM	193	1.86572	1.88043	1128413
maxcsp/randomMaxCSP/sparseTight/ normalized-vcsp-25-10-21-85-43_ext.xml	OPTIMUM	19	1.87371	1.89307	1116197
maxcsp/celar/scens/ normalized-scenw-06-30_ext.xml	OPTIMUM	21	1.87371	1.89532	1125205
maxcsp/randomMaxCSP/denseTight/ normalized-vcsp-25-10-25-87-16_ext.xml	OPTIMUM	30	1.89071	1.90523	1115589
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-50/ normalized-kbtree-9-7-3-5-50-39_ext.xml	OPTIMUM	37	1.90171	1.92391	1128141
maxcsp/randomMaxCSP/sparseTight/ normalized-vcsp-25-10-21-85-48_ext.xml	OPTIMUM	21	1.92571	1.94637	1116413
maxcsp/pi/pi-40-10-08-t60/ normalized-pi-40-10-07948-40-43.xml	OPTIMUM	3	1.9327	1.95433	1121565
maxcsp/randomMaxCSP/denseTight/ normalized-vcsp-25-10-25-87-22_ext.xml	OPTIMUM	29	1.9327	1.94503	1115333
maxcsp/pi/pi-40-10-08-t60/ normalized-pi-40-10-07948-40-26.xml	OPTIMUM	2	1.9537	1.97438	1121293
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-90/ normalized-kbtree-9-7-3-5-90-27_ext.xml	OPTIMUM	127	1.9827	2.00719	1128221
csp/composed-75-1-25/ normalized-composed-75-1-25-9_ext.xml	OPTIMUM	2	2.00369	2.02803	1114645
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1500-890427_ext.xml	OPTIMUM	210	2.03769	2.05811	1127749
maxcsp/randomMaxCSP/denseLoose/ normalized-vcsp-30-10-25-48-11_ext.xml	OPTIMUM	3	2.06369	2.08993	1117573
maxcsp/planning/ normalized-zenotravel04ac_ext.xml	OPTIMUM	5	2.06669	2.08566	1125789
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-80/ normalized-kbtree-9-2-3-5-80-50_ext.xml	OPTIMUM	153	2.10668	2.13078	1128421
maxcsp/pi/pi-30-10-25-t48/ normalized-pi-30-10-197-52-61.xml	OPTIMUM	2	2.13967	2.14037	1121989
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2500-147426_ext.xml	OPTIMUM	307	2.31065	2.35281	1127293
maxcsp/celar/subs7/ normalized-scenw-7-sub3_ext.xml	OPTIMUM	20	2.32265	2.35232	1125309
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-60/ normalized-kbtree-9-2-3-5-60-21_ext.xml	OPTIMUM	85	2.34464	2.36575	1128445
maxcsp/celar/subs7/ normalized-scenw-7-sub4_ext.xml	OPTIMUM	20	2.35664	2.37376	1125301
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-30/ normalized-kbtree-9-5-3-5-30-06_ext.xml	OPTIMUM	10	2.43763	2.43863	1128669
maxcsp/celar/subs6/ normalized-scenw-6-sub4_ext.xml	OPTIMUM	24	2.51262	2.54502	1125429
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1600-616124_ext.xml	OPTIMUM	220	2.53861	2.58304	1127725
maxcsp/celar/subs6/ normalized-scenw-6-sub3_ext.xml	OPTIMUM	24	2.54261	2.5705	1125437
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2900-050223-ext.xml	OPTIMUM	289	2.57261	2.61755	1127285
maxcsp/randomMaxCSP/denseTight/ normalized-vcsp-25-10-25-87-21_ext.xml	OPTIMUM	29	2.6446	2.71795	1115309
maxcsp/maxclique/ normalized-c-fat200-2_ext.xml	OPTIMUM	176	2.67159	2.70018	1126293
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-90/ normalized-kbtree-9-5-3-5-90-10_ext.xml	OPTIMUM	167	2.71059	2.74144	1128693
maxcsp/randomMaxCSP/denseTight/ normalized-vcsp-25-10-25-87-9_ext.xml	OPTIMUM	29	2.81957	2.83876	1115269
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-80/ normalized-kbtree-9-2-3-5-80-38_ext.xml	OPTIMUM	158	2.86056	2.88877	1128437
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-70/ normalized-kbtree-9-2-3-5-70-04_ext.xml	OPTIMUM	112	2.87856	2.88559	1128341
maxcsp/randomMaxCSP/denseLoose/ normalized-vcsp-30-10-25-48-21_ext.xml	OPTIMUM	3	2.92855	2.94767	1117261
maxcsp/randomMaxCSP/sparseLoose/ normalized-vcsp-40-10-13-60-24_ext.xml	OPTIMUM	3	2.94655	2.97851	1116741
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1600-616123-ext.xml	OPTIMUM	227	3.12052	3.15997	1127717
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-90/ normalized-kbtree-9-5-3-5-90-47_ext.xml	OPTIMUM	164	3.22851	3.2636	1128685
maxcsp/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-60/ normalized-kbtree-9-7-3-5-60-19_ext.xml	OPTIMUM	59	3.23551	3.26125	1128157
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-60/ normalized-kbtree-9-5-3-5-60-23_ext.xml	OPTIMUM	76	3.32949	3.4056	1128549
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-80/ normalized-kbtree-9-2-3-5-80-36_ext.xml	OPTIMUM	157	3.36649	3.40338	1128429
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2600-873121_ext.xml	OPTIMUM	297	3.41248	3.43323	1127253
maxcsp/randomMaxCSP/denseLoose/ normalized-vcsp-30-10-25-48-15_ext.xml	OPTIMUM	2	3.51946	3.6244	1117413
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2400-421722_ext.xml	OPTIMUM	279	3.60945	3.65402	1127261
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-60/ normalized-kbtree-9-2-3-5-60-41_ext.xml	OPTIMUM	87	3.62445	3.66525	1128453
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-70/ normalized-kbtree-9-2-3-5-70-50_ext.xml	OPTIMUM	112	3.62445	3.66395	1128325
maxcsp/celar/scens/ normalized-scenw-06-24_ext.xml	OPTIMUM	22	4.12237	4.12923	1125181
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1900-793226_ext.xml	OPTIMUM	253	4.14337	4.17839	1127701
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2400-421728_ext.xml	OPTIMUM	291	4.28835	4.32518	1127277
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-90/ normalized-kbtree-9-5-3-5-90-45_ext.xml	OPTIMUM	163	4.31134	4.35729	1128701
maxcsp/randomMaxCSP/sparseLoose/ normalized-vcsp-40-10-13-60-14_ext.xml	OPTIMUM	4	4.45632	4.49859	1116821
maxcsp/cnf/2-40-1100-2000/ normalized-cnf-2-40-1500-890423-ext.xml	OPTIMUM	217	4.56031	4.60839	1127741
maxcsp/pi/pi-30-10-25-t48/ normalized-pi-30-10-197-52-36.xml	OPTIMUM	2	4.67029	4.71366	1122077
maxcsp/celar/scens/ normalized-scenw-10_ext.xml	OPTIMUM	94	4.67329	4.72119	1125245
maxcsp/celar/scens/ normalized-scenw-09_ext.xml	OPTIMUM	94	4.69829	4.74953	1125213
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2300-96030_ext.xml	OPTIMUM	276	4.77027	4.81968	1127309
maxcsp/planning/ normalized-mprime04bc_ext.xml	OPTIMUM	3	4.84026	4.87064	1126005
maxcsp/planning/ normalized-mprime04ac_ext.xml	OPTIMUM	3	4.87026	4.92319	1125765
csp/composed-75-1-25/ normalized-composed-75-1-25-6_ext.xml	OPTIMUM	2	4.87926	4.9351	1114637
maxcsp/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-60/ normalized-kbtree-9-2-3-5-60-02_ext.xml	OPTIMUM	86	5.05423	5.10179	1128461
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-70/ normalized-kbtree-9-5-3-5-70-09_ext.xml	OPTIMUM	94	5.21121	5.2173	1128581
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2400-421727_ext.xml	OPTIMUM	284	5.2662	5.40856	1127301
maxcsp/randomMaxCSP/denseTight/ normalized-vcsp-25-10-25-87-49_ext.xml	OPTIMUM	31	5.38318	5.40347	1115405
maxcsp/celar/graphs/ normalized-graphw-07_ext.xml	OPTIMUM	122	5.38818	5.43076	1125365
maxcsp/randomMaxCSP/denseLoose/ normalized-vcsp-30-10-25-48-32_ext.xml	OPTIMUM	4	5.61815	5.69725	1117493
maxcsp/randomMaxCSP/completeTight/ normalized-vcsp-15-10-100-93-23_ext.xml	OPTIMUM	70	5.71813	5.75067	1115725
maxcsp/celar/scens/ normalized-scenw-06-22_ext.xml	OPTIMUM	22	5.75312	5.81932	1125269
maxcsp/spot5/ normalized-spot5-29_ext.xml	OPTIMUM	47	5.77112	5.83949	1126637
csp/BH-4-4/ normalized-BlackHole-4-4-e-5_ext.xml	OPTIMUM	1	5.9211	5.99726	1108261
csp/BH-4-4/ normalized-BlackHole-4-4-e-8_ext.xml	OPTIMUM	1	5.97309	5.97816	1108245
maxcsp/randomMaxCSP/denseTight/ normalized-vcsp-25-10-25-87-36_ext.xml	OPTIMUM	29	5.98909	6.04858	1115421
csp/composed-75-1-25/ normalized-composed-75-1-25-4_ext.xml	OPTIMUM	2	6.25805	6.34237	1114629
csp/BH-4-4/ normalized-BlackHole-4-4-e-9_ext.xml	OPTIMUM	1	6.34204	6.40575	1108237
csp/BH-4-4/ normalized-BlackHole-4-4-e-3_ext.xml	OPTIMUM	1	6.36003	6.39122	1108221
csp/BH-4-4/ normalized-BlackHole-4-4-e-1_ext.xml	OPTIMUM	1	6.36503	6.43018	1108269
csp/BH-4-4/ normalized-BlackHole-4-4-e-6_ext.xml	OPTIMUM	1	6.37303	6.40904	1108253
csp/BH-4-4/ normalized-BlackHole-4-4-e-0_ext.xml	OPTIMUM	1	6.39803	6.45809	1108277
csp/BH-4-4/ normalized-BlackHole-4-4-e-7_ext.xml	OPTIMUM	1	6.42802	6.48962	1108285
csp/BH-4-4/ normalized-BlackHole-4-4-e-4_ext.xml	OPTIMUM	1	6.45802	6.51977	1108229
csp/BH-4-4/ normalized-BlackHole-4-4-e-2_ext.xml	OPTIMUM	1	6.96194	7.96866	1108293
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-80/ normalized-kbtree-9-5-3-5-80-08_ext.xml	OPTIMUM	134	6.98894	7.02356	1128637
maxcsp/randomMaxCSP/sparseLoose/ normalized-vcsp-40-10-13-60-4_ext.xml	OPTIMUM	3	6.99694	7.09746	1116621
maxcsp/randomMaxCSP/denseTight/ normalized-vcsp-25-10-25-87-44_ext.xml	OPTIMUM	32	7.06892	7.14094	1115541
maxcsp/celar/scens/ normalized-scenw-07_10000_30r_ext.xml	OPTIMUM	15	7.13292	7.20302	1125253
maxcsp/randomMaxCSP/completeTight/ normalized-vcsp-15-10-100-93-47_ext.xml	OPTIMUM	71	7.46886	7.94142	1115661
maxcsp/pi/pi-30-10-25-t48/ normalized-pi-30-10-197-52-22.xml	OPTIMUM	3	7.46986	7.54265	1122141
maxcsp/pi/pi-30-10-25-t58/ normalized-pi-30-10-197-42-15.xml	OPTIMUM	10	7.53085	7.60113	1123957
maxcsp/planning/ normalized-driverlog08c_ext.xml	OPTIMUM	7	7.78281	7.86713	1125885
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-70/ normalized-kbtree-9-5-3-5-70-23_ext.xml	OPTIMUM	99	8.06377	8.13977	1128565
maxcsp/randomMaxCSP/completeTight/ normalized-vcsp-15-10-100-93-8_ext.xml	OPTIMUM	71	8.32273	8.39707	1115717
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-80/ normalized-kbtree-9-5-3-5-80-47_ext.xml	OPTIMUM	129	8.74167	8.82233	1128653
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-50/ normalized-kbtree-9-5-3-5-50-28_ext.xml	OPTIMUM	46	9.49855	9.83526	1128741
csp/composed-75-1-40/ normalized-composed-75-1-40-5_ext.xml	OPTIMUM	3	9.8275	9.91604	1114549
maxcsp/cnf/2-40-2100-3000/ normalized-cnf-2-40-2500-147422_ext.xml	OPTIMUM	294	9.8835	9.99146	1127269
maxcsp/celar/scens/ normalized-scenw-06-20_ext.xml	OPTIMUM	24	10.4204	10.5418	1125189
maxcsp/planning/ normalized-driverlog08cc_ext.xml	OPTIMUM	7	10.8194	10.9335	1125613
maxcsp/celar/graphs/ normalized-graphw-12_ext.xml	OPTIMUM	203	10.9473	11.6739	1125357
maxcsp/randomMaxCSP/sparseLoose/ normalized-vcsp-60-10-8-60-4_ext.xml	OPTIMUM	3	11.0153	11.0661	1117069
maxcsp/randomMaxCSP/completeTight/ normalized-vcsp-15-10-100-93-41_ext.xml	OPTIMUM	72	11.3143	11.3838	1115925
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-60/ normalized-kbtree-9-5-3-5-60-05_ext.xml	OPTIMUM	74	12.2451	12.3489	1128541
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-40/ normalized-kbtree-9-5-3-5-40-09_ext.xml	OPTIMUM	32	12.2831	12.4111	1128597
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-600-364043_ext.xml	OPTIMUM	63	12.3551	12.4345	1127869
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-40/ normalized-kbtree-9-5-3-5-40-23_ext.xml	OPTIMUM	29	13.075	13.1967	1128589
maxcsp/celar/scens/ normalized-scenw-06-18_ext.xml	OPTIMUM	24	13.8699	14.0071	1125261
maxcsp/planning/ normalized-driverlog04cc_ext.xml	OPTIMUM	6	14.2588	14.5644	1125461
maxcsp/warehouses/ normalized-capmo4_ext.xml	OPTIMUM	1	14.8657	15.0094	1126757
maxcsp/warehouses/ normalized-capmo5_ext.xml	OPTIMUM	1	14.8797	15.0269	1127005
maxcsp/randomMaxCSP/sparseLoose/ normalized-vcsp-60-10-8-60-1_ext.xml	OPTIMUM	1	15.1117	15.1289	1117141
maxcsp/randomMaxCSP/completeTight/ normalized-vcsp-15-10-100-93-20_ext.xml	OPTIMUM	73	15.5686	15.6624	1115869
maxcsp/pi/pi-30-10-25-t58/ normalized-pi-30-10-197-42-17.xml	OPTIMUM	9	15.6266	15.697	1123685
maxcsp/warehouses/ normalized-capmo3_ext.xml	OPTIMUM	1	15.6416	15.7923	1126749
maxcsp/randomMaxCSP/completeTight/ normalized-vcsp-15-10-100-93-14_ext.xml	OPTIMUM	73	16.2905	16.443	1115701
csp/rand-2-30-15/ normalized-rand-2-30-15-306-230-31_ext.xml	OPTIMUM	1	16.9294	17.0834	1114797
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-60/ normalized-kbtree-9-5-3-5-60-33_ext.xml	OPTIMUM	75	16.9864	17.1203	1128557
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-340-5_ext.xml	OPTIMUM	142	17.0424	17.1861	1119461
maxcsp/pi/pi-30-10-25-t58/ normalized-pi-30-10-197-42-23.xml	OPTIMUM	8	17.1874	17.4042	1124133
maxcsp/randomMaxCSP/completeTight/ normalized-vcsp-15-10-100-93-1_ext.xml	OPTIMUM	73	17.3534	17.5009	1115797
csp/coloring/ normalized-myciel-5g-4-ext.xml	OPTIMUM	4	18.0123	18.1623	1108501
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-340-2_ext.xml	OPTIMUM	142	19.974	19.9823	1118901
csp/rand-2-30-15/ normalized-rand-2-30-15-306-230-29_ext.xml	OPTIMUM	1	20.2809	20.4144	1114829
csp/rand-2-30-15/ normalized-rand-2-30-15-306-230-19_ext.xml	OPTIMUM	1	21.0958	21.2844	1114821
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-70/ normalized-kbtree-9-5-3-5-70-03_ext.xml	OPTIMUM	100	21.2418	21.4205	1128573
maxcsp/pi/pi-30-10-25-t58/ normalized-pi-30-10-197-42-66.xml	OPTIMUM	9	22.1536	22.3509	1123621
maxcsp/maxclique/ normalized-c-fat500-10_ext.xml	OPTIMUM	374	22.5646	23.6269	1126365
maxcsp/pi/pi-30-10-25-t58/ normalized-pi-30-10-197-42-43.xml	OPTIMUM	9	22.8485	23.0354	1124237
maxcsp/celar/scens/ normalized-scenw-06-16_ext.xml	OPTIMUM	25	23.3414	23.5396	1125277
csp/rand-2-30-15/ normalized-rand-2-30-15-306-230-6_ext.xml	OPTIMUM	1	25.988	26.1923	1114813
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-600-364046_ext.xml	OPTIMUM	70	26.6919	26.9283	1127845
maxcsp/pi/pi-30-10-25-t58/ normalized-pi-30-10-197-42-3.xml	OPTIMUM	10	26.7239	26.9592	1123581
maxcsp/randomMaxCSP/completeTight/ normalized-vcsp-15-10-100-93-49_ext.xml	OPTIMUM	73	26.7839	27.0232	1115709
maxcsp/pi/pi-30-10-25-t58/ normalized-pi-30-10-197-42-18.xml	OPTIMUM	10	27.8058	28.0545	1123701
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-360-4_ext.xml	OPTIMUM	151	29.4625	29.5872	1119085
maxcsp/maxclique/ normalized-c-fat500-5_ext.xml	OPTIMUM	436	30.8333	31.1703	1126181
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-50/ normalized-kbtree-9-5-3-5-50-08_ext.xml	OPTIMUM	47	31.0523	31.5569	1128733
maxcsp/randomMaxCSP/completeLoose/ normalized-vcsp-25-10-100-18-36_ext.xml	OPTIMUM	1	33.109	33.4059	1117613
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-40/ normalized-kbtree-9-5-3-5-40-41_ext.xml	OPTIMUM	31	33.2389	33.5108	1128605
csp/rand-2-30-15/ normalized-rand-2-30-15-306-230-49_ext.xml	OPTIMUM	1	34.3018	34.5762	1114805
csp/rand-2-30-15/ normalized-rand-2-30-15-306-230-40_ext.xml	OPTIMUM	1	35.8116	35.8355	1114789
maxcsp/maxclique/ normalized-c-fat500-2_ext.xml	OPTIMUM	474	36.5254	36.7034	1126261
maxcsp/randomMaxCSP/sparseLoose/ normalized-vcsp-70-10-7-60-1_ext.xml	OPTIMUM	3	41.6247	41.8158	1116917
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-370-5_ext.xml	OPTIMUM	160	41.7866	42.0381	1119029
maxcsp/maxclique/ normalized-san-200-0.9-1_ext.xml	OPTIMUM	130	43.5474	43.7299	1126453
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-700-089745_ext.xml	OPTIMUM	80	47.7217	48.1235	1127861
maxcsp/randomMaxCSP/completeLoose/ normalized-vcsp-25-10-100-18-25_ext.xml	OPTIMUM	1	49.7854	49.9937	1117621
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-700-089750_ext.xml	OPTIMUM	81	53.7948	54.131	1127885
csp/coloring/ normalized-queens-5-5-4-ext.xml	OPTIMUM	12	59.298	59.6606	1108557
maxcsp/randomMaxCSP/completeLoose/ normalized-vcsp-25-10-100-18-10_ext.xml	OPTIMUM	1	61.5046	61.77	1117685
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-50/ normalized-kbtree-9-5-3-5-50-06_ext.xml	OPTIMUM	49	63.6063	63.6314	1128749
maxcsp/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-80/ normalized-kbtree-9-5-3-5-80-23_ext.xml	OPTIMUM	136	64.4772	65.0457	1128645
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-420-5_ext.xml	OPTIMUM	161	70.5213	70.5631	1120485
maxcsp/randomMaxCSP/completeLoose/ normalized-vcsp-25-10-100-18-15_ext.xml	OPTIMUM	2	75.7695	76.0839	1117813
maxcsp/randomMaxCSP/completeLoose/ normalized-vcsp-25-10-100-18-44_ext.xml	OPTIMUM	1	81.6186	82.419	1117821
maxcsp/randomMaxCSP/completeLoose/ normalized-vcsp-25-10-100-18-27_ext.xml	OPTIMUM	2	90.2043	90.5745	1117677
csp/coloring/ normalized-myciel-5g-5-ext.xml	OPTIMUM	1	94.7606	95.2455	1108485
maxcsp/randomMaxCSP/completeLoose/ normalized-vcsp-25-10-100-18-1_ext.xml	OPTIMUM	2	98.0791	98.5733	1117645
maxcsp/randomMaxCSP/completeLoose/ normalized-vcsp-25-10-100-18-46_ext.xml	OPTIMUM	2	98.347	99.201	1117605
maxcsp/planning/ normalized-driverlog05cc_ext.xml	OPTIMUM	7	100.158	100.994	1125989
maxcsp/maxclique/ normalized-hamming-10-2_ext.xml	OPTIMUM	512	103.105	104.031	1126269
maxcsp/pi/pi-30-10-25-t58/ normalized-pi-30-10-197-42-73.xml	OPTIMUM	9	111.326	111.998	1123653
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-440-6_ext.xml	OPTIMUM	173	128.286	129.308	1120533
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-390-8_ext.xml	OPTIMUM	173	128.839	129.84	1119557
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-400-2_ext.xml	OPTIMUM	179	144.708	145.95	1119189
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-400-5_ext.xml	OPTIMUM	179	147.241	148.183	1119301
maxcsp/maxcut/maxcut-30/ normalized-maxcut-30-400-10_ext.xml	OPTIMUM	179	161.084	161.763	1119509
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-420-2_ext.xml	OPTIMUM	135	180.05	181.113	1119941
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-800-815450_ext.xml	OPTIMUM	102	229.375	231.128	1127853
csp/composed-75-1-2/ normalized-composed-75-1-2-0_ext.xml	OPTIMUM	2	237.031	238.977	1114293
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-480-8_ext.xml	OPTIMUM	192	247.102	248.112	1120501
csp/tightness0.65/ normalized-rand-2-40-40-135-650-14_ext.xml	OPTIMUM	1	261.178	263.322	1114901
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-480-6_ext.xml	OPTIMUM	193	294.181	296.437	1120837
csp/tightness0.65/ normalized-rand-2-40-40-135-650-13_ext.xml	OPTIMUM	1	321.338	322.532	1114909
csp/tightness0.35/ normalized-rand-2-40-16-250-350-90_ext.xml	OPTIMUM	1	324.069	328.026	1114421
csp/tightness0.8/ normalized-rand-2-40-80-103-800-64_ext.xml	OPTIMUM	1	326.797	328.178	1115253
csp/tightness0.5/ normalized-rand-2-40-25-180-500-18_ext.xml	OPTIMUM	1	335.447	337.043	1114365
maxcsp/randomMaxCSP/sparseLoose/ normalized-vcsp-80-10-6-60-8_ext.xml	OPTIMUM	3	381.96	384.884	1116501
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-520-1_ext.xml	OPTIMUM	210	389.329	392.751	1120581
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-520-10_ext.xml	OPTIMUM	213	436.324	440.038	1120805
csp/tightness0.1/ normalized-rand-2-40-8-753-100-83_ext.xml	OPTIMUM	1	436.755	441.518	1115077
csp/tightness0.5/ normalized-rand-2-40-25-180-500-93_ext.xml	OPTIMUM	1	462.713	476.452	1114381
csp/tightness0.5/ normalized-rand-2-40-25-180-500-16_ext.xml	OPTIMUM	1	473.24	477.306	1114405
csp/tightness0.1/ normalized-rand-2-40-8-753-100-72_ext.xml	OPTIMUM	1	481.214	485.126	1115093
maxcsp/cnf/2-80-100-1000/ normalized-cnf-2-80-800-815444_ext.xml	OPTIMUM	107	493.525	495.549	1127877
csp/tightness0.35/ normalized-rand-2-40-16-250-350-27_ext.xml	OPTIMUM	1	512.988	516.915	1114501
maxcsp/celar/scens/ normalized-scenw-06_ext.xml	OPTIMUM	30	538.702	543.874	1125221
maxcsp/randomMaxCSP/sparseLoose/ normalized-vcsp-80-10-6-60-4_ext.xml	OPTIMUM	4	564.24	566.477	1116605
csp/tightness0.5/ normalized-rand-2-40-25-180-500-37_ext.xml	OPTIMUM	1	574.092	576.684	1114389
csp/tightness0.35/ normalized-rand-2-40-16-250-350-10_ext.xml	OPTIMUM	1	716.132	722.303	1114461
csp/tightness0.5/ normalized-rand-2-40-25-180-500-24_ext.xml	OPTIMUM	1	739.876	744.894	1114397
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-460-1_ext.xml	OPTIMUM	155	743.77	749.55	1120301
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-500-4_ext.xml	OPTIMUM	171	848.58	852.016	1120173
csp/tightness0.35/ normalized-rand-2-40-16-250-350-40_ext.xml	OPTIMUM	1	870.234	877.004	1114477
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-540-3_ext.xml	OPTIMUM	225	899.416	907.159	1120525
csp/rand-2-40-19/ normalized-rand-2-40-19-443-230-29_ext.xml	OPTIMUM	1	925.15	927.77	1114685
csp/tightness0.2/ normalized-rand-2-40-11-414-200-76_ext.xml	OPTIMUM	1	932.102	940.029	1114237
csp/tightness0.65/ normalized-rand-2-40-40-135-650-79_ext.xml	OPTIMUM	1	935.368	943.5	1114877
csp/tightness0.35/ normalized-rand-2-40-16-250-350-11_ext.xml	OPTIMUM	1	993.213	1001.77	1114445
csp/tightness0.5/ normalized-rand-2-40-25-180-500-11_ext.xml	OPTIMUM	1	1025.51	1029.54	1114373
csp/tightness0.35/ normalized-rand-2-40-16-250-350-53_ext.xml	OPTIMUM	1	1102.53	1107.35	1114493
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-580-2_ext.xml	OPTIMUM	217	1115.78	1119.99	1118501
csp/tightness0.8/ normalized-rand-2-40-80-103-800-53_ext.xml	OPTIMUM	1	1124.01	1170.03	1115157
maxcsp/maxcut/maxcut-40/ normalized-maxcut-40-580-1_ext.xml	OPTIMUM	241	1130.91	1132.27	1120469
csp/tightness0.65/ normalized-rand-2-40-40-135-650-37_ext.xml	OPTIMUM	1	1213.88	1224.33	1114893
csp/geom/ normalized-geo50-20-d4-75-94_ext.xml	OPTIMUM	1	1248.53	1253.52	1114181
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-580-6_ext.xml	OPTIMUM	219	1378.21	1384.34	1118301
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-560-10_ext.xml	OPTIMUM	212	1394.67	1407.84	1118629
csp/tightness0.1/ normalized-rand-2-40-8-753-100-6_ext.xml	OPTIMUM	1	1399.84	1481.4	1115109
csp/tightness0.1/ normalized-rand-2-40-8-753-100-82_ext.xml	OPTIMUM	1	1442.3	1451.5	1115069
csp/tightness0.35/ normalized-rand-2-40-16-250-350-7_ext.xml	OPTIMUM	1	1460.22	1463.73	1114429
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-580-10_ext.xml	OPTIMUM	221	1550.34	1569.62	1118029
csp/rand-2-23/ normalized-rand-23-23-253-131-55021_ext.xml	OPTIMUM	1	1576.47	1582.67	1108693
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-520-6_ext.xml	OPTIMUM	180	1613.18	1621.37	1120221
csp/tightness0.35/ normalized-rand-2-40-16-250-350-95_ext.xml	OPTIMUM	1	1720.37	1727.13	1114437
csp/rand-2-23/ normalized-rand-23-23-253-131-46021_ext.xml	OPTIMUM	1	1722.71	1732.52	1108701
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1100-992546_ext.xml	OPTIMUM	160	1808.36	1815.48	1127325
csp/rand-2-23/ normalized-rand-23-23-253-131-51021_ext.xml	OPTIMUM	1	1837.36	1853.14	1108709
csp/rand-2-23/ normalized-rand-23-23-253-131-47021_ext.xml	OPTIMUM	1	1838.29	1841.79	1108717
csp/rand-2-23/ normalized-rand-23-23-253-131-52021_ext.xml	OPTIMUM	1	1946.82	1963.78	1108725
csp/tightness0.65/ normalized-rand-2-40-40-135-650-66_ext.xml	OPTIMUM	1	1956.14	1969.3	1114885
csp/tightness0.8/ normalized-rand-2-40-80-103-800-94_ext.xml	OPTIMUM	1	2130.92	2185.87	1115165
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-500-7_ext.xml	OPTIMUM	175	2139.57	2149.62	1119813
csp/rand-2-40-19/ normalized-rand-2-40-19-443-230-24_ext.xml	OPTIMUM	1	2276.93	2295.5	1114725
csp/tightness0.2/ normalized-rand-2-40-11-414-200-11_ext.xml	OPTIMUM	1	2418.46	2439.08	1114229
csp/tightness0.1/ normalized-rand-2-40-8-753-100-94_ext.xml	OPTIMUM	1	2462.86	2503.28	1115085
csp/tightness0.8/ normalized-rand-2-40-80-103-800-3_ext.xml	OPTIMUM	2	2539.53	2562.31	1115189
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1400-169641_ext.xml	OPTIMUM	201	2575.69	2585.82	1127357
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-580-2_ext.xml	OPTIMUM	207	2604.21	2619.52	1119605
csp/rand-2-40-19/ normalized-rand-2-40-19-443-230-28_ext.xml	OPTIMUM	1	2721.32	2736.5	1114669
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-580-3_ext.xml	OPTIMUM	224	2906.53	2922.78	1118669
csp/rand-2-40-19/ normalized-rand-2-40-19-443-230-32_ext.xml	OPTIMUM	1	2998.16	3010.5	1114709
csp/rand-2-24/ normalized-rand-24-24-276-139-57021_ext.xml	OPTIMUM	1	3058.68	3076.38	1108045
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-560-9_ext.xml	OPTIMUM	200	3199.45	3215.72	1119869
csp/tightness0.1/ normalized-rand-2-40-8-753-100-64_ext.xml	OPTIMUM	1	3502.55	3576.01	1115101
csp/tightness0.5/ normalized-rand-2-40-25-180-500-12_ext.xml	OPTIMUM	1	3566.83	3583.24	1114413

Benchmark Name	Answer	Number of falsified constraints	CPU time	Wall clock time	TraceID
maxcsp/maxclique/ normalized-brock-800-1_ext.xml	? (TO)		3600	3618.31	1126053
maxcsp/maxclique/ normalized-hamming-10-4_ext.xml	? (TO)		3600.01	3625.32	1126493
csp/marc/ normalized-large-84-unsat_ext.xml	? (TO)	1702	3600.02	3619.31	1108445
csp/BH-4-13/ normalized-BlackHole-4-13-m-1_ext.xml	? (TO)		3600.02	3634.21	1108637
csp/QCP-20/ normalized-qcp-20-187-12_ext.xml	? (TO)		3600.03	3622.31	1108365
csp/rand-2-24/ normalized-rand-24-24-276-139-53021_ext.xml	? (TO)	1	3600.03	3631.81	1108053
maxcsp/maxclique/ normalized-johnson-32-2-4_ext.xml	? (TO)		3600.03	3652.52	1126509
csp/ehi-85/ normalized-ehi-85-297-78_ext.xml	? (TO)	677	3600.03	3605.91	1114325
csp/rand-2-26/ normalized-rand-26-26-325-155-52021_ext.xml	? (TO)	3	3600.03	3640.41	1108333
csp/QCP-25/ normalized-qcp-25-264-10_ext.xml	? (TO)		3600.03	3624.31	1108413
csp/rand-2-25/ normalized-rand-25-25-300-147-55021_ext.xml	? (TO)	1	3600.03	3606.91	1108661
maxcsp/maxclique/ normalized-p-hat1000-2_ext.xml	? (TO)		3600.03	3620.62	1126413
csp/BH-4-7/ normalized-BlackHole-4-7-h-3_ext.xml	? (TO)		3600.04	3617.51	1108157
csp/QCP-10/ normalized-qcp-10-67-12_ext.xml	? (TO)		3600.04	3619.21	1108749
csp/BH-4-13/ normalized-BlackHole-4-13-m-2_ext.xml	? (TO)		3600.04	3609.71	1108645
csp/BH-4-13/ normalized-BlackHole-4-13-e-2_ext.xml	? (TO)		3600.05	3621.12	1108629
csp/ehi-85/ normalized-ehi-85-297-96_ext.xml	? (TO)	460	3600.05	3630.01	1114357
csp/coloring/ normalized-dsjc-125-1-4-ext.xml	? (TO)	65	3600.05	3614.61	1108597
csp/BH-4-7/ normalized-BlackHole-4-7-e-7_ext.xml	? (TO)		3600.05	3615.11	1108101
csp/ehi-90/ normalized-ehi-90-315-95_ext.xml	? (TO)	512	3600.05	3624.61	1114189
csp/rand-2-26/ normalized-rand-26-26-325-155-56021_ext.xml	? (TO)	2	3600.05	3644.22	1108325
maxcsp/maxclique/ normalized-mann-a45_ext.xml	? (TO)		3600.05	3621.81	1126341
maxcsp/celar/graphs/ normalized-graphw-11_ext.xml	? (TO)	631	3600.05	3648.02	1125341
csp/rand-2-25/ normalized-rand-25-25-300-147-50021_ext.xml	? (TO)	1	3600.05	3622.51	1108677
maxcsp/maxclique/ normalized-brock-800-4_ext.xml	? (TO)		3600.05	3624.92	1126245
csp/rand-2-24/ normalized-rand-24-24-276-139-54021_ext.xml	? (TO)	2	3600.05	3639.61	1108037
maxcsp/celar/scens/ normalized-scenw-07_ext.xml	? (TO)		3600.05	3615.81	1125237
csp/coloring/ normalized-le-450-5a-4-ext.xml	? (TO)	2270	3600.05	3601.81	1108477
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-680-6_ext.xml	? (TO)	270	3600.05	3626.01	1117997
csp/rand-2-40-19/ normalized-rand-2-40-19-443-230-41_ext.xml	? (TO)	3	3600.05	3621.61	1114717
csp/ehi-85/ normalized-ehi-85-297-27_ext.xml	? (TO)	712	3600.06	3621.61	1114349
csp/BH-4-7/ normalized-BlackHole-4-7-h-1_ext.xml	? (TO)		3600.06	3614.71	1108149
csp/QCP-20/ normalized-qcp-20-187-14_ext.xml	? (TO)		3600.06	3601.31	1108357
csp/QCP-25/ normalized-qcp-25-264-13_ext.xml	? (TO)		3600.06	3601.91	1108397
csp/BH-4-13/ normalized-BlackHole-4-13-m-0_ext.xml	? (TO)		3600.06	3620.61	1108613
csp/BH-4-13/ normalized-BlackHole-4-13-e-0_ext.xml	? (TO)		3600.06	3607.61	1108621
csp/BH-4-13/ normalized-BlackHole-4-13-e-1_ext.xml	? (TO)		3600.06	3626.21	1108653
csp/QCP-10/ normalized-qcp-10-67-11_ext.xml	? (TO)		3600.06	3628.02	1108757
csp/QCP-10/ normalized-qcp-10-67-10_ext.xml	? (TO)		3600.06	3606.93	1108765
csp/ehi-90/ normalized-ehi-90-315-51_ext.xml	? (TO)	556	3600.06	3622.21	1114205
csp/ehi-90/ normalized-ehi-90-315-65_ext.xml	? (TO)	669	3600.06	3631.31	1114221
csp/rand-2-40-19/ normalized-rand-2-40-19-443-230-19_ext.xml	? (TO)	1	3600.06	3601.71	1114757
maxcsp/maxclique/ normalized-sanr-200-0.9_ext.xml	? (TO)		3600.06	3601.61	1126285
csp/tightness0.8/ normalized-rand-2-40-80-103-800-29_ext.xml	? (TO)		3600.07	3612.31	1115197
csp/QCP-15/ normalized-qcp-15-120-11_ext.xml	? (TO)		3600.07	3629.21	1108807
csp/QCP-20/ normalized-qcp-20-187-11_ext.xml	? (TO)		3600.07	3601.01	1108373
csp/marc/ normalized-large-88-unsat_ext.xml	? (TO)	1903	3600.07	3617.92	1108461
csp/BH-4-13/ normalized-BlackHole-4-13-e-3_ext.xml	? (TO)		3600.07	3603.31	1108605
maxcsp/maxclique/ normalized-brock-200-4_ext.xml	? (TO)		3600.07	3633.61	1126485
csp/rand-2-24/ normalized-rand-24-24-276-139-56021_ext.xml	? (TO)	1	3600.07	3605.82	1108013
csp/BH-4-7/ normalized-BlackHole-4-7-h-5_ext.xml	? (TO)		3600.07	3639.41	1108125
csp/tightness0.8/ normalized-rand-2-40-80-103-800-78_ext.xml	? (TO)		3600.07	3615.41	1115237
csp/QCP-25/ normalized-qcp-25-264-11_ext.xml	? (TO)		3600.07	3602.22	1108429
csp/marc/ normalized-large-92-unsat_ext.xml	? (TO)	2088	3600.07	3627.41	1108437
maxcsp/planning/ normalized-driverlog09_ext.xml	? (TO)		3600.07	3629.11	1125925
csp/BH-4-7/ normalized-BlackHole-4-7-h-8_ext.xml	? (TO)		3600.07	3631.51	1108085
csp/ehi-85/ normalized-ehi-85-297-55_ext.xml	? (TO)	633	3600.07	3604.51	1114341
maxcsp/celar/graphs/ normalized-graphw-13_ext.xml	? (TO)		3600.07	3614.62	1125373
csp/rand-2-24/ normalized-rand-24-24-276-139-51021_ext.xml	? (TO)	1	3600.07	3604.81	1108005
csp/QCP-15/ normalized-qcp-15-120-12_ext.xml	? (TO)		3600.08	3622.91	1108791
csp/marc/ normalized-large-80-unsat_ext.xml	? (TO)	1564	3600.08	3631.41	1108453
csp/BH-4-7/ normalized-BlackHole-4-7-e-9_ext.xml	? (TO)		3600.08	3621.32	1108069
csp/QCP-10/ normalized-qcp-10-67-14_ext.xml	? (TO)		3600.08	3623.21	1108733
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-620-2_ext.xml	? (TO)	244	3600.08	3608.21	1118333
maxcsp/celar/graphs/ normalized-graphw-06_ext.xml	? (TO)		3600.08	3632.51	1125349
csp/QCP-25/ normalized-qcp-25-264-12_ext.xml	? (TO)		3600.08	3615.21	1108405
csp/marc/ normalized-large-96-unsat_ext.xml	? (TO)	2259	3600.08	3605.61	1108469
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1200-718241_ext.xml	? (TO)	176	3600.09	3615.51	1127373
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1500-895349_ext.xml	? (TO)	238	3600.09	3614.61	1127317
csp/BH-4-7/ normalized-BlackHole-4-7-e-8_ext.xml	? (TO)		3600.09	3623.01	1108093
maxcsp/maxclique/ normalized-p-hat300-3_ext.xml	? (TO)		3600.09	3602.21	1126429
csp/BH-4-7/ normalized-BlackHole-4-7-e-0_ext.xml	? (TO)		3600.09	3624.51	1108213
csp/tightness0.8/ normalized-rand-2-40-80-103-800-40_ext.xml	? (TO)		3600.09	3625.11	1115213
csp/rand-2-40-19/ normalized-rand-2-40-19-443-230-43_ext.xml	? (TO)	2	3600.09	3614.51	1114741
maxcsp/celar/scens/ normalized-scenw-08_ext.xml	? (TO)		3600.1	3603.92	1125197
csp/QCP-10/ normalized-qcp-10-67-13_ext.xml	? (TO)		3600.1	3630.41	1108741
maxcsp/maxclique/ normalized-johnson-16-2-4_ext.xml	? (TO)		3600.1	3614.91	1126069
csp/rand-2-24/ normalized-rand-24-24-276-139-49021_ext.xml	? (TO)	1	3600.1	3620.21	1108021
csp/QCP-15/ normalized-qcp-15-120-14_ext.xml	? (TO)		3600.1	3621.21	1108799
csp/rand-2-26/ normalized-rand-26-26-325-155-60021_ext.xml	? (TO)	3	3600.1	3601.41	1108309
csp/ehi-90/ normalized-ehi-90-315-54_ext.xml	? (TO)	819	3600.1	3605.91	1114213
csp/rand-2-26/ normalized-rand-26-26-325-155-57021_ext.xml	? (TO)	2	3600.1	3609.11	1108317
csp/rand-2-25/ normalized-rand-25-25-300-147-58021_ext.xml	? (TO)	3	3600.1	3606.11	1108669
csp/langford/ normalized-langford-3-11-ext.xml	? (TO)	2	3600.1	3608.91	1108341
csp/rand-2-40-19/ normalized-rand-2-40-19-443-230-11_ext.xml	? (TO)	5	3600.1	3610.71	1114781
csp/QCP-20/ normalized-qcp-20-187-13_ext.xml	? (TO)		3600.1	3618.31	1108389
csp/tightness0.8/ normalized-rand-2-40-80-103-800-25_ext.xml	? (TO)		3600.1	3609.81	1115221
maxcsp/maxcut/maxcut-60/ normalized-maxcut-60-580-1_ext.xml	? (TO)	215	3600.1	3619.31	1120117
csp/tightness0.1/ normalized-rand-2-40-8-753-100-78_ext.xml	? (TO)	4	3600.11	3656.91	1115053
csp/QCP-20/ normalized-qcp-20-187-10_ext.xml	? (TO)		3600.11	3602.21	1108381
csp/rand-2-25/ normalized-rand-25-25-300-147-57021_ext.xml	? (TO)	2	3600.11	3617.61	1108685
csp/langford/ normalized-slangford-3-11-ext.xml	? (TO)	2	3600.11	3604.61	1108349
csp/BH-4-7/ normalized-BlackHole-4-7-h-9_ext.xml	? (TO)		3600.11	3604.91	1108141
csp/QCP-15/ normalized-qcp-15-120-10_ext.xml	? (TO)		3600.11	3616.72	1108815
csp/rand-2-26/ normalized-rand-26-26-325-155-58021_ext.xml	? (TO)	3	3600.11	3631.31	1108301
maxcsp/maxclique/ normalized-p-hat500-3_ext.xml	? (TO)		3600.11	3627.91	1126477
maxcsp/maxclique/ normalized-san-400-0.7-3_ext.xml	? (TO)		3600.11	3634.21	1126133
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1700-346750_ext.xml	? (TO)	275	3600.11	3601.91	1127333
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1900-798146_ext.xml	? (TO)	324	3600.11	3615.01	1127349
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1700-346746_ext.xml	? (TO)	276	3600.11	3627.91	1127341
maxcsp/cnf/2-80-1100-2000/ normalized-cnf-2-80-1300-443946_ext.xml	? (TO)	221	3600.11	3612.41	1127365
maxcsp/maxclique/ normalized-brock-400-4_ext.xml	? (TO)		3600.11	3607.41	1126325
maxcsp/celar/graphs/ normalized-graphw-05_ext.xml	? (TO)	123	3600.11	3632.22	1125381
csp/QCP-25/ normalized-qcp-25-264-14_ext.xml	? (TO)		3600.11	3607.21	1108421
maxcsp/maxcut/maxcut-50/ normalized-maxcut-50-660-4_ext.xml	? (TO)	264	3600.12	3613.41	1118109
csp/coloring/ normalized-le-450-5a-3-ext.xml	? (TO)	2638	3600.12	3601.71	1108525
csp/ehi-90/ normalized-ehi-90-315-71_ext.xml	? (TO)	655	3600.12	3623.61	1114197
csp/rand-2-40-19/ normalized-rand-2-40-19-443-230-25_ext.xml	? (TO)	5	3600.12	3603.01	1114749
csp/rand-2-40-19/ normalized-rand-2-40-19-443-230-30_ext.xml	? (TO)	5	3600.12	3614.41	1114677
csp/ehi-85/ normalized-ehi-85-297-30_ext.xml	? (TO)	343	3600.12	3610.81	1114333
csp/QCP-15/ normalized-qcp-15-120-13_ext.xml	? (TO)		3600.12	3620.01	1108783
csp/BH-4-7/ normalized-BlackHole-4-7-e-4_ext.xml	? (TO)		3600.13	3617.11	1108109
csp/rand-2-24/ normalized-rand-24-24-276-139-52021_ext.xml	? (TO)	1	3600.13	3627.61	1108029

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
csp/tightness0.9/ normalized-rand-2-40-180-84-900-40_ext.xml	? (exit code)	16.9804	17.135	1114917
csp/tightness0.9/ normalized-rand-2-40-180-84-900-43_ext.xml	? (exit code)	17.0094	17.1571	1114949
csp/tightness0.9/ normalized-rand-2-40-180-84-900-27_ext.xml	? (exit code)	17.0884	17.1852	1115029
csp/tightness0.9/ normalized-rand-2-40-180-84-900-45_ext.xml	? (exit code)	17.3604	17.3888	1115005
csp/tightness0.9/ normalized-rand-2-40-180-84-900-29_ext.xml	? (exit code)	17.5593	17.7271	1115037
csp/tightness0.9/ normalized-rand-2-40-180-84-900-11_ext.xml	? (exit code)	17.6783	17.6938	1114941
csp/tightness0.9/ normalized-rand-2-40-180-84-900-76_ext.xml	? (exit code)	17.9793	21.3464	1114989
csp/tightness0.9/ normalized-rand-2-40-180-84-900-4_ext.xml	? (exit code)	18.2772	18.4514	1114933

Benchmark Name	Answer	Number of falsified constraints	CPU time	Wall clock time	TraceID
maxcsp/warehouses/ normalized-capmp4_ext.xml	Wrong Opt.	201	118.121	119.316	1127109
maxcsp/warehouses/ normalized-capmp2_ext.xml	Wrong Opt.	201	127.845	129.062	1126893

Benchmark Name	Answer	Number of falsified constraints	CPU time	Wall clock time	TraceID
maxcsp/pedigree/ normalized-simple_ext.xml	OPTIMUM	1	0.027995	0.033404	1127245
maxcsp/pedigree/ normalized-connell_ext.xml	OPTIMUM	1	0.029995	0.0521861	1127157
csp/dubois/ normalized-dubois-20_ext.xml	OPTIMUM	1	0.039993	0.044822	1110701
csp/dubois/ normalized-dubois-22_ext.xml	OPTIMUM	1	0.040993	0.0480529	1110717
csp/dubois/ normalized-dubois-21_ext.xml	OPTIMUM	1	0.041993	0.0467439	1110645
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-100-730623_ext.xml	OPTIMUM	0	0.042993	0.0496851	1127797
csp/dubois/ normalized-dubois-23_ext.xml	OPTIMUM	1	0.042993	0.0497279	1110709
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-100-730629_ext.xml	OPTIMUM	0	0.043992	0.0496959	1127789
csp/aim-50/ normalized-aim-50-1-6-unsat-1_ext.xml	OPTIMUM	1	0.043993	0.050301	1111105
csp/aim-50/ normalized-aim-50-1-6-unsat-4_ext.xml	OPTIMUM	1	0.043993	0.0503999	1111137
csp/pret/ normalized-pret-60-25_ext.xml	OPTIMUM	1	0.044992	0.0449439	1109193
csp/dubois/ normalized-dubois-24_ext.xml	OPTIMUM	1	0.044992	0.050549	1110669
csp/pret/ normalized-pret-60-60_ext.xml	OPTIMUM	1	0.047992	0.054585	1109153
csp/dubois/ normalized-dubois-25_ext.xml	OPTIMUM	1	0.047992	0.0528761	1110629
csp/pret/ normalized-pret-60-75_ext.xml	OPTIMUM	1	0.048992	0.069782	1109145
csp/dubois/ normalized-dubois-26_ext.xml	OPTIMUM	1	0.048992	0.0542291	1110677
csp/pret/ normalized-pret-60-40_ext.xml	OPTIMUM	1	0.048992	0.054031	1109161
csp/dubois/ normalized-dubois-27_ext.xml	OPTIMUM	1	0.049992	0.055881	1110621
csp/dubois/ normalized-dubois-28_ext.xml	OPTIMUM	1	0.050991	0.057205	1110693
csp/dubois/ normalized-dubois-29_ext.xml	OPTIMUM	1	0.052991	0.0590139	1110653
csp/dubois/ normalized-dubois-30_ext.xml	OPTIMUM	1	0.05499	0.060782	1110685
csp/aim-50/ normalized-aim-50-2-0-unsat-1_ext.xml	OPTIMUM	1	0.05899	0.065668	1111145
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-100-735548_ext.xml	OPTIMUM	0	0.062989	0.0667071	1127613
csp/aim-50/ normalized-aim-50-1-6-unsat-3_ext.xml	OPTIMUM	1	0.06399	0.0704441	1111161
csp/aim-50/ normalized-aim-50-2-0-unsat-4_ext.xml	OPTIMUM	1	0.065989	0.0721081	1111129
csp/dubois/ normalized-dubois-50_ext.xml	OPTIMUM	1	0.096984	0.102544	1110661
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-200-461248_ext.xml	OPTIMUM	0	0.106982	0.114007	1127597
csp/aim-50/ normalized-aim-50-2-0-unsat-2_ext.xml	OPTIMUM	1	0.110982	0.110926	1111153
csp/aim-50/ normalized-aim-50-2-0-unsat-3_ext.xml	OPTIMUM	1	0.112981	0.123535	1111121
csp/aim-50/ normalized-aim-50-1-6-unsat-2_ext.xml	OPTIMUM	1	0.183972	0.18979	1111113
csp/varDimacs/ normalized-hole-06_ext.xml	OPTIMUM	1	0.214966	0.220363	1112491
csp/dubois/ normalized-dubois-100_ext.xml	OPTIMUM	1	0.263959	0.26846	1110637
csp/aim-100/ normalized-aim-100-1-6-unsat-2_ext.xml	OPTIMUM	1	0.274957	0.284102	1111689
maxcsp/pedigree/ normalized-pedck60-L1_ext.xml	OPTIMUM	2	0.32395	0.520024	1127165
maxcsp/pedigree/ normalized-pedck60-L2_ext.xml	OPTIMUM	2	0.32495	0.340485	1127229
maxcsp/pedigree/ normalized-pedck60-L12_ext.xml	OPTIMUM	6	0.342947	0.348561	1127181
maxcsp/spot5/ normalized-spot5-54_ext.xml	OPTIMUM	22	0.371942	0.409593	1126645
csp/pret/ normalized-pret-150-25_ext.xml	OPTIMUM	1	0.535917	0.541508	1109177
csp/pret/ normalized-pret-150-60_ext.xml	OPTIMUM	1	0.683895	0.697911	1109137
csp/pret/ normalized-pret-150-40_ext.xml	OPTIMUM	1	0.693894	0.698375	1109169
csp/pret/ normalized-pret-150-75_ext.xml	OPTIMUM	1	0.696893	0.697054	1109185
csp/ssa/ normalized-ssa-0432-003_ext.xml	OPTIMUM	1	1.24381	1.2602	1109987
maxcsp/pedigree/ normalized-eye_ext.xml	OPTIMUM	1	1.55276	1.57413	1127173
csp/varDimacs/ normalized-hole-07_ext.xml	OPTIMUM	1	1.57376	1.59472	1112507
csp/aim-100/ normalized-aim-100-2-0-unsat-3_ext.xml	OPTIMUM	1	1.67074	1.69062	1111697
csp/aim-100/ normalized-aim-100-2-0-unsat-1_ext.xml	OPTIMUM	1	1.68874	1.70524	1111729
csp/aim-100/ normalized-aim-100-1-6-unsat-4_ext.xml	OPTIMUM	1	1.70874	1.7271	1111705
maxcsp/pedigree/ normalized-pedck350l2_ext.xml	OPTIMUM	1	1.72274	1.73289	1127197
maxcsp/pedigree/ normalized-pedck350_ext.xml	OPTIMUM	2	1.74873	1.77686	1127213
csp/aim-100/ normalized-aim-100-2-0-unsat-4_ext.xml	OPTIMUM	1	1.85972	1.8911	1111713
csp/aim-100/ normalized-aim-100-1-6-unsat-1_ext.xml	OPTIMUM	1	2.02869	2.03767	1111721
maxcsp/spot5/ normalized-spot5-503_ext.xml	OPTIMUM	69	2.56161	2.66528	1126613
maxcsp/spot5/ normalized-spot5-404_ext.xml	OPTIMUM	65	3.62645	3.6459	1126581
csp/aim-100/ normalized-aim-100-2-0-unsat-2_ext.xml	OPTIMUM	1	4.40133	4.45269	1111737
csp/modifiedRenault/ normalized-renault-mod-14_ext.xml	OPTIMUM	1	5.63714	5.7232	1111383
csp/modifiedRenault/ normalized-renault-mod-12_ext.xml	OPTIMUM	1	5.75213	5.85238	1111463
csp/modifiedRenault/ normalized-renault-mod-35_ext.xml	OPTIMUM	1	6.63299	6.70816	1111455
csp/modifiedRenault/ normalized-renault-mod-37_ext.xml	OPTIMUM	1	6.65599	6.72975	1111439
csp/modifiedRenault/ normalized-renault-mod-10_ext.xml	OPTIMUM	1	6.82396	6.88938	1111503
csp/modifiedRenault/ normalized-renault-mod-17_ext.xml	OPTIMUM	1	7.29089	7.37113	1111471
csp/modifiedRenault/ normalized-renault-mod-22_ext.xml	OPTIMUM	3	7.36588	7.44383	1111447
csp/aim-100/ normalized-aim-100-1-6-unsat-3_ext.xml	OPTIMUM	1	7.66583	7.71366	1111681
maxcsp/pedigree/ normalized-wijsmanguo_ext.xml	OPTIMUM	1	9.70252	9.79826	1127237
csp/modifiedRenault/ normalized-renault-mod-1_ext.xml	OPTIMUM	1	10.1105	10.204	1111327
maxcsp/pedigree/ normalized-pedck1000_ext.xml	OPTIMUM	19	13.4969	13.6367	1127149
csp/jnhUnsat/ normalized-jnh206_ext.xml	OPTIMUM	1	14.9527	15.123	1110149
csp/varDimacs/ normalized-hole-08_ext.xml	OPTIMUM	1	15.6856	15.816	1112499
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-400-912648_ext.xml	OPTIMUM	3	18.2632	18.4266	1127581
csp/modifiedRenault/ normalized-renault-mod-40_ext.xml	OPTIMUM	1	20.025	20.2078	1111511
maxcsp/pedigree/ normalized-sheep4r-4-2_ext.xml	OPTIMUM	1	24.3253	24.395	1127205
csp/modifiedRenault/ normalized-renault-mod-16_ext.xml	OPTIMUM	1	24.5243	24.7516	1111335
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-400-912642_ext.xml	OPTIMUM	3	25.2942	25.357	1127629
csp/jnhUnsat/ normalized-jnh211_ext.xml	OPTIMUM	2	26.357	26.6109	1110061
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-800-810522_ext.xml	OPTIMUM	42	29.1516	29.4244	1127773
csp/jnhUnsat/ normalized-jnh216_ext.xml	OPTIMUM	1	36.0665	36.4124	1110261
csp/aim-200/ normalized-aim-200-2-0-unsat-4_ext.xml	OPTIMUM	1	39.462	39.8238	1111243
csp/aim-200/ normalized-aim-200-1-6-unsat-1_ext.xml	OPTIMUM	1	44.1793	44.5714	1111275
csp/modifiedRenault/ normalized-renault-mod-21_ext.xml	OPTIMUM	3	44.6552	45.0498	1111423
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-900-536230_ext.xml	OPTIMUM	48	46.4469	46.4683	1127821
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-1000-261925_ext.xml	OPTIMUM	60	47.6018	47.8217	1127781
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-1000-261929_ext.xml	OPTIMUM	62	48.4136	48.9045	1127805
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-1000-261927_ext.xml	OPTIMUM	62	49.1335	50.3817	1127765
maxcsp/pedigree/ normalized-sheep4r-4-3_ext.xml	OPTIMUM	1	51.7971	52.2983	1127141
maxcsp/cnf/3-40-100-1000/ normalized-cnf-3-40-900-536226_ext.xml	OPTIMUM	54	53.4359	56.0823	1127813
csp/modifiedRenault/ normalized-renault-mod-3_ext.xml	OPTIMUM	1	61.9706	62.5319	1111343
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-43_ext.xml	OPTIMUM	1	69.5424	70.2084	1112093
csp/modifiedRenault/ normalized-renault-mod-20_ext.xml	OPTIMUM	4	70.1603	70.7099	1111487
csp/modifiedRenault/ normalized-renault-mod-23_ext.xml	OPTIMUM	4	75.6575	75.7155	1111495
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-38_ext.xml	OPTIMUM	1	84.1632	84.6602	1112029
maxcsp/cnf/3-40-1100-2000/ normalized-cnf-3-40-1200-713329_ext.xml	OPTIMUM	79	93.7078	96.4151	1127557
csp/jnhUnsat/ normalized-jnh219_ext.xml	OPTIMUM	1	99.3099	100.27	1110173
csp/jnhUnsat/ normalized-jnh06_ext.xml	OPTIMUM	1	128.151	129.261	1110085
maxcsp/cnf/3-40-1100-2000/ normalized-cnf-3-40-1500-890427_ext.xml	OPTIMUM	109	130.778	131.908	1127549
csp/modifiedRenault/ normalized-renault-mod-42_ext.xml	OPTIMUM	1	131.676	132.362	1111391
csp/jnhUnsat/ normalized-jnh203_ext.xml	OPTIMUM	1	133.747	134.9	1110213
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-45_ext.xml	OPTIMUM	1	134.882	136.264	1112069
maxcsp/cnf/3-40-1100-2000/ normalized-cnf-3-40-1700-341827_ext.xml	OPTIMUM	129	140.874	142.449	1127533
csp/modifiedRenault/ normalized-renault-mod-27_ext.xml	OPTIMUM	6	141.002	142.237	1111319
csp/jnhUnsat/ normalized-jnh214_ext.xml	OPTIMUM	1	141.71	141.769	1110157
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-2_ext.xml	OPTIMUM	1	151.885	153.277	1112101
maxcsp/cnf/3-40-2100-3000/ normalized-cnf-3-40-2500-147429_ext.xml	OPTIMUM	195	155.146	156.734	1127677
csp/varDimacs/ normalized-hole-09_ext.xml	OPTIMUM	1	164.619	165.605	1112515
maxcsp/cnf/3-40-1100-2000/ normalized-cnf-3-40-1700-341821_ext.xml	OPTIMUM	128	188.577	190.029	1127517
maxcsp/cnf/3-40-1100-2000/ normalized-cnf-3-40-1900-793223_ext.xml	OPTIMUM	146	201.079	202.715	1127525
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-35_ext.xml	OPTIMUM	1	202.107	204.043	1112117
maxcsp/cnf/3-40-2100-3000/ normalized-cnf-3-40-2100-244628_ext.xml	OPTIMUM	161	211.045	212.026	1127685
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-6_ext.xml	OPTIMUM	1	228.629	234.452	1112109
maxcsp/cnf/3-40-1100-2000/ normalized-cnf-3-40-1900-793224_ext.xml	OPTIMUM	151	231.85	233.043	1127565
maxcsp/cnf/3-40-1100-2000/ normalized-cnf-3-40-1600-616125_ext.xml	OPTIMUM	122	232.084	233.17	1127509
maxcsp/cnf/3-40-2100-3000/ normalized-cnf-3-40-2400-421722_ext.xml	OPTIMUM	194	236.737	237.838	1127653
csp/aim-200/ normalized-aim-200-1-6-unsat-3_ext.xml	OPTIMUM	1	258.687	259.73	1111291
csp/aim-200/ normalized-aim-200-2-0-unsat-3_ext.xml	OPTIMUM	1	263.636	265.916	1111259
csp/modifiedRenault/ normalized-renault-mod-18_ext.xml	OPTIMUM	1	296.932	299.51	1111359
csp/jnhUnsat/ normalized-jnh310_ext.xml	OPTIMUM	3	322.618	325.688	1110301
csp/aim-200/ normalized-aim-200-2-0-unsat-1_ext.xml	OPTIMUM	1	324.894	326.843	1111235
csp/bddSmall/ normalized-bdd-21-133-18-78-33_ext.xml	OPTIMUM	1	341.502	345.135	1111041
maxcsp/cnf/3-40-2100-3000/ normalized-cnf-3-40-2500-147422_ext.xml	OPTIMUM	210	353.787	355.216	1127693
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-30_ext.xml	OPTIMUM	1	354.653	358.177	1112061
csp/jnhUnsat/ normalized-jnh04_ext.xml	OPTIMUM	1	355.704	355.689	1110309
csp/bddSmall/ normalized-bdd-21-133-18-78-19_ext.xml	OPTIMUM	3	398.53	400.827	1111009
csp/jnhUnsat/ normalized-jnh02_ext.xml	OPTIMUM	1	399.335	401.234	1110245
csp/bddSmall/ normalized-bdd-21-133-18-78-29_ext.xml	OPTIMUM	3	458.367	462.822	1110977
maxcsp/cnf/3-40-1100-2000/ normalized-cnf-3-40-1700-341823_ext.xml	OPTIMUM	139	461.862	465.65	1127541
csp/bddSmall/ normalized-bdd-21-133-18-78-22_ext.xml	OPTIMUM	1	470.267	472.858	1111057
csp/bddSmall/ normalized-bdd-21-133-18-78-15_ext.xml	OPTIMUM	8	480.957	483.309	1111081
csp/bddSmall/ normalized-bdd-21-133-18-78-21_ext.xml	OPTIMUM	6	482.844	484.717	1111073
csp/bddSmall/ normalized-bdd-21-133-18-78-6_ext.xml	OPTIMUM	2	485.986	490.751	1111097
csp/bddSmall/ normalized-bdd-21-133-18-78-24_ext.xml	OPTIMUM	10	523.401	526.916	1111089
csp/bddSmall/ normalized-bdd-21-133-18-78-31_ext.xml	OPTIMUM	14	530.231	535.484	1111017
maxcsp/cnf/3-40-2100-3000/ normalized-cnf-3-40-2500-147426_ext.xml	OPTIMUM	215	534.227	536.547	1127661
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-39_ext.xml	OPTIMUM	1	538.048	541.202	1112045
maxcsp/cnf/3-40-2100-3000/ normalized-cnf-3-40-2900-050222_ext.xml	OPTIMUM	252	543.269	547.667	1127669
csp/bddSmall/ normalized-bdd-21-133-18-78-13_ext.xml	OPTIMUM	10	548.07	551.586	1110985
csp/bddSmall/ normalized-bdd-21-133-18-78-16_ext.xml	OPTIMUM	10	551.199	555.67	1111001
csp/bddSmall/ normalized-bdd-21-133-18-78-12_ext.xml	OPTIMUM	13	554.236	559.827	1111049
csp/bddSmall/ normalized-bdd-21-133-18-78-30_ext.xml	OPTIMUM	11	556.368	558.209	1111025
maxcsp/cnf/3-40-2100-3000/ normalized-cnf-3-40-2800-324527_ext.xml	OPTIMUM	244	572.623	574.982	1127637
csp/bddSmall/ normalized-bdd-21-133-18-78-35_ext.xml	OPTIMUM	8	587.823	593.757	1111065
csp/bddSmall/ normalized-bdd-21-133-18-78-14_ext.xml	OPTIMUM	9	588.18	593.511	1110993
csp/aim-200/ normalized-aim-200-1-6-unsat-4_ext.xml	OPTIMUM	1	613.418	615.823	1111267
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-3_ext.xml	OPTIMUM	1	643.875	649.757	1112053
csp/jnhUnsat/ normalized-jnh14_ext.xml	OPTIMUM	2	669.129	671.861	1110189
maxcsp/cnf/3-40-2100-3000/ normalized-cnf-3-40-3000-775927_ext.xml	OPTIMUM	269	756.145	759.351	1127645
csp/jnhUnsat/ normalized-jnh303_ext.xml	OPTIMUM	3	757.63	766.917	1110229
csp/jnhUnsat/ normalized-jnh19_ext.xml	OPTIMUM	2	883.8	887.241	1110277
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-16_ext.xml	OPTIMUM	1	1200.38	1209.54	1112037
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-4_ext.xml	OPTIMUM	1	1284.61	1285.09	1109129
csp/aim-200/ normalized-aim-200-2-0-unsat-2_ext.xml	OPTIMUM	1	1531.4	1544.49	1111283
csp/varDimacs/ normalized-hole-10_ext.xml	OPTIMUM	1	2117.91	2130.51	1112523
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-22_ext.xml	OPTIMUM	1	2540.66	2541.41	1109121
csp/jnhUnsat/ normalized-jnh302_ext.xml	OPTIMUM	4	2752.53	2761.36	1110197
csp/jnhUnsat/ normalized-jnh309_ext.xml	OPTIMUM	2	2773.5	2810.82	1110253
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-600-364044_ext.xml	OPTIMUM	13	3350.04	3369.84	1127589

Benchmark Name	Answer	Number of falsified constraints	CPU time	Wall clock time	TraceID
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-13.xml	? (TO)	9	3600	3616.91	1113963
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-12.xml	? (TO)	10	3600	3609.81	1113955
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-3.xml	? (TO)	10	3600	3631.71	1113971
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-14_ext.xml	? (TO)	27	3600.01	3608.81	1111673
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-17.xml	? (TO)	10	3600.01	3618.21	1113979
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-14.xml	? (TO)	9	3600.01	3615.11	1113995
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-9.xml	? (TO)	9	3600.01	3605.01	1113923
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-5.xml	? (TO)	9	3600.01	3621.41	1114011
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-11.xml	? (TO)	9	3600.01	3624.62	1113987
csp/ogdVg/ normalized-crossword-m1c-ogd-vg14-15_ext.xml	? (TO)	29	3600.02	3621.22	1111649
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-1000-266847_ext.xml	? (TO)	48	3600.03	3616.11	1127605
maxcsp/cnf/3-80-1100-2000/ normalized-cnf-3-80-1300-443942-ext.xml	? (TO)	82	3600.03	3614.61	1127397
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-15.xml	? (TO)	10	3600.03	3627.12	1113939
maxcsp/spot5/ normalized-spot5-28_ext.xml	? (TO)		3600.03	3613.02	1126557
csp/lexVg/ normalized-crossword-m1c-lex-vg13-16_ext.xml	? (TO)	29	3600.03	3629.41	1111757
csp/wordsVg/ normalized-crossword-m1c-words-vg11-14_ext.xml	? (TO)	25	3600.03	3629.61	1110525
csp/wordsVg/ normalized-crossword-m1c-words-vg13-17_ext.xml	? (TO)	30	3600.03	3603.41	1110541
maxcsp/pedigree/ normalized-sheep4r_ext.xml	? (TO)		3600.04	3605.41	1127221
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-15_ext.xml	? (TO)	3	3600.04	3604.01	1109735
csp/wordsVg/ normalized-crossword-m1c-words-vg15-19_ext.xml	? (TO)	34	3600.04	3605.21	1110453
csp/ukVg/ normalized-crossword-m1c-uk-vg15-18_ext.xml	? (TO)	33	3600.04	3606.71	1110761
csp/ukVg/ normalized-crossword-m1c-uk-vg16-18_ext.xml	? (TO)	34	3600.04	3606.43	1110857
csp/lexVg/ normalized-crossword-m1c-lex-vg13-15_ext.xml	? (TO)	28	3600.04	3614.21	1112013
maxcsp/spot5/ normalized-spot5-1401_ext.xml	? (TO)		3600.04	3615.01	1126517
csp/ukVg/ normalized-crossword-m1c-uk-vg15-19_ext.xml	? (TO)	34	3600.04	3607.41	1110841
csp/lexVg/ normalized-crossword-m1c-lex-vg7-10_ext.xml	? (TO)	17	3600.04	3622.71	1112005
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-1000-266849_ext.xml	? (TO)	54	3600.04	3601.51	1127573
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-1_ext.xml	? (TO)		3600.04	3614.21	1109615
csp/lexVg/ normalized-crossword-m1c-lex-vg10-11_ext.xml	? (TO)	21	3600.05	3615.21	1112021
maxcsp/cnf/3-80-1100-2000/ normalized-cnf-3-80-1500-895345_ext.xml	? (TO)	106	3600.05	3601.51	1127421
maxcsp/spot5/ normalized-spot5-1506_ext.xml	? (TO)		3600.05	3611.91	1126669
csp/ogdVg/ normalized-crossword-m1c-ogd-vg15-19_ext.xml	? (TO)	34	3600.05	3630.51	1111641
csp/ukVg/ normalized-crossword-m1c-uk-vg14-18_ext.xml	? (TO)	32	3600.06	3616.51	1110785
maxcsp/cnf/3-80-1100-2000/ normalized-cnf-3-80-1600-621045_ext.xml	? (TO)	104	3600.06	3630.01	1127389
csp/wordsVg/ normalized-crossword-m1c-words-vg5-9_ext.xml	? (TO)	14	3600.06	3630.31	1110501
csp/ukVg/ normalized-crossword-m1c-uk-vg14-15_ext.xml	? (TO)	29	3600.06	3614.81	1110825
csp/wordsVg/ normalized-crossword-m1c-words-vg10-10_ext.xml	? (TO)	20	3600.07	3601.61	1110437
csp/wordsVg/ normalized-crossword-m1c-words-vg14-14_ext.xml	? (TO)	28	3600.07	3630.91	1110341
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-15_ext.xml	? (TO)	28	3600.07	3614.71	1111625
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-10_ext.xml	? (TO)		3600.07	3614.31	1109679
csp/ssa/ normalized-ssa-2670-130_ext.xml	? (TO)		3600.07	3631.51	1109979
maxcsp/spot5/ normalized-spot5-414_ext.xml	? (TO)		3600.07	3614.81	1126629
csp/ogdVg/ normalized-crossword-m1c-ogd-vg16-16_ext.xml	? (TO)	32	3600.07	3607.31	1111657
csp/ukVg/ normalized-crossword-m1c-uk-vg14-17_ext.xml	? (TO)	31	3600.07	3616.11	1110809
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-25.xml	? (TO)	9	3600.07	3613.21	1114035
csp/ukVg/ normalized-crossword-m1c-uk-vg15-17_ext.xml	? (TO)	32	3600.07	3622.41	1110865
csp/wordsVg/ normalized-crossword-m1c-words-vg9-11_ext.xml	? (TO)	20	3600.07	3625.91	1110445
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-19.xml	? (TO)	9	3600.08	3621.81	1114027
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-17_ext.xml	? (TO)		3600.08	3607.51	1109623
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-2_ext.xml	? (TO)		3600.08	3613.01	1109727
csp/wordsVg/ normalized-crossword-m1c-words-vg8-8_ext.xml	? (TO)	16	3600.08	3607.51	1110405
csp/wordsVg/ normalized-crossword-m1c-words-vg15-16_ext.xml	? (TO)	31	3600.08	3631.41	1110533
csp/ogdVg/ normalized-crossword-m1c-ogd-vg16-18_ext.xml	? (TO)	34	3600.08	3601.91	1111617
csp/lexVg/ normalized-crossword-m1c-lex-vg9-9_ext.xml	? (TO)	18	3600.08	3602.11	1111789
csp/lexVg/ normalized-crossword-m1c-lex-vg11-15_ext.xml	? (TO)	26	3600.08	3616.21	1111813
csp/lexVg/ normalized-crossword-m1c-lex-vg9-10_ext.xml	? (TO)	19	3600.08	3621.91	1111901
csp/lexVg/ normalized-crossword-m1c-lex-vg6-10_ext.xml	? (TO)	16	3600.08	3617.11	1111949
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-6.xml	? (TO)	10	3600.08	3613.21	1113931
maxcsp/cnf/3-80-1100-2000/ normalized-cnf-3-80-1200-718250_ext.xml	? (TO)	70	3600.08	3613.71	1127405
maxcsp/cnf/3-80-100-1000/ normalized-cnf-3-80-700-089745_ext.xml	? (TO)	24	3600.08	3601.61	1127621
maxcsp/cnf/3-80-1100-2000/ normalized-cnf-3-80-1200-718249_ext.xml	? (TO)	63	3600.08	3614.51	1127381
csp/wordsVg/ normalized-crossword-m1c-words-vg8-11_ext.xml	? (TO)	19	3600.09	3601.01	1110389
maxcsp/cnf/3-80-1100-2000/ normalized-cnf-3-80-1200-718245_ext.xml	? (TO)	73	3600.09	3614.71	1127437
csp/lexVg/ normalized-crossword-m1c-lex-vg6-8_ext.xml	? (TO)	14	3600.09	3630.21	1111861
maxcsp/cnf/3-80-1100-2000/ normalized-cnf-3-80-1600-621048_ext.xml	? (TO)	103	3600.09	3627.91	1127429
csp/wordsVg/ normalized-crossword-m1c-words-vg10-14_ext.xml	? (TO)	24	3600.09	3601.61	1110485
csp/aim-200/ normalized-aim-200-1-6-unsat-2_ext.xml	? (TO)	1	3600.09	3616.41	1111251
csp/lexVg/ normalized-crossword-m1c-lex-vg5-9_ext.xml	? (TO)	14	3600.09	3617.81	1111965
maxcsp/spot5/ normalized-spot5-408_ext.xml	? (TO)		3600.09	3626.41	1126565
csp/ukVg/ normalized-crossword-m1c-uk-vg13-17_ext.xml	? (TO)	30	3600.09	3625.41	1110817
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-22.xml	? (TO)	10	3600.09	3633.32	1113947
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-21.xml	? (TO)	10	3600.09	3602.21	1114019
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-11_ext.xml	? (TO)	4	3600.09	3601.81	1109639
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-16_ext.xml	? (TO)	29	3600.09	3626.11	1111609
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-5_ext.xml	? (TO)	3	3600.1	3601.41	1109687
csp/ogdVg/ normalized-crossword-m1c-ogd-vg14-17_ext.xml	? (TO)	31	3600.1	3637.62	1111665
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-7.xml	? (TO)	10	3600.1	3603.21	1114003
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-13_ext.xml	? (TO)		3600.1	3606.51	1109751
maxcsp/pedigree/ normalized-sheep4nr_ext.xml	? (TO)		3600.1	3622.31	1127189
maxcsp/spot5/ normalized-spot5-1403_ext.xml	? (TO)		3600.1	3611.72	1126573
csp/ukVg/ normalized-crossword-m1c-uk-vg16-19_ext.xml	? (TO)	35	3600.11	3630.21	1110769
csp/lexVg/ normalized-crossword-m1c-lex-vg15-18_ext.xml	? (TO)	33	3600.11	3612.21	1111853
maxcsp/cnf/3-80-1100-2000/ normalized-cnf-3-80-1300-443943_ext.xml	? (TO)	80	3600.11	3628.61	1127413
csp/wordsVg/ normalized-crossword-m1c-words-vg15-15_ext.xml	? (TO)	30	3600.12	3627.91	1110373
csp/wordsVg/ normalized-crossword-m1c-words-vg6-10_ext.xml	? (TO)	16	3600.12	3619.31	1110357
csp/lexVg/ normalized-crossword-m1c-lex-vg5-7_ext.xml	? (TO)	12	3600.12	3624.71	1111797
maxcsp/spot5/ normalized-spot5-1405_ext.xml	? (TO)		3600.12	3624.81	1126677
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-3_ext.xml	? (TO)		3600.12	3601.61	1109767
maxcsp/spot5/ normalized-spot5-509_ext.xml	? (TO)		3600.12	3615.11	1126533
maxcsp/spot5/ normalized-spot5-1407_ext.xml	? (TO)		3600.12	3612.32	1126621
csp/ogdVg/ normalized-crossword-m1c-ogd-vg15-16_ext.xml	? (TO)	31	3600.12	3603.01	1111601
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-0_ext.xml	? (TO)	3	3600.13	3607.11	1109719
csp/ukVg/ normalized-crossword-m1c-uk-vg11-15_ext.xml	? (TO)	26	3600.13	3612.01	1110833
maxcsp/spot5/ normalized-spot5-505_ext.xml	? (TO)		3600.13	3637.11	1126541
csp/wordsVg/ normalized-crossword-m1c-words-vg9-10_ext.xml	? (TO)	19	3600.13	3601.71	1110333
csp/ukVg/ normalized-crossword-m1c-uk-vg16-17_ext.xml	? (TO)	33	3600.13	3626.71	1110777
csp/ukVg/ normalized-crossword-m1c-uk-vg14-14_ext.xml	? (TO)	28	3600.13	3620.81	1110849
csp/ukVg/ normalized-crossword-m1c-uk-vg16-16_ext.xml	? (TO)	32	3600.15	3629.61	1110793

MAX-CSP 2008 Competition: benchmarks results per solver

Result page for solver toulbar2/BTD 2008-06-27

Category "binary constraints in extension" (2-ARY-EXT)

Solver found the best solution (411 runs) [Show/Hide]

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

Solver didn't output a solution line and terminated with an unexpected exit code (8 runs) [Show/Hide]

Solver wrongly claimed it found the best solution (2 runs) [Show/Hide]

Category "n-ary constraints in extension" (N-ARY-EXT)

Solver found the best solution (153 runs) [Show/Hide]

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (7 runs) [Show/Hide]

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
csp/bddLarge/ normalized-bdd-21-2713-15-79-2_ext.xml	? (MO)	62.46	62.5121	1109327
csp/bddLarge/ normalized-bdd-21-2713-15-79-18_ext.xml	? (MO)	62.52	62.8127	1109367
csp/bddLarge/ normalized-bdd-21-2713-15-79-33_ext.xml	? (MO)	62.57	62.6168	1109279
csp/bddLarge/ normalized-bdd-21-2713-15-79-16_ext.xml	? (MO)	62.57	62.9126	1109447
csp/bddLarge/ normalized-bdd-21-2713-15-79-29_ext.xml	? (MO)	62.58	62.6171	1109463
csp/bddLarge/ normalized-bdd-21-2713-15-79-7_ext.xml	? (MO)	62.64	62.7173	1109335
csp/bddLarge/ normalized-bdd-21-2713-15-79-17_ext.xml	? (MO)	62.68	62.9131	1109431
csp/bddLarge/ normalized-bdd-21-2713-15-79-9_ext.xml	? (MO)	62.81	63.2162	1109343
csp/bddLarge/ normalized-bdd-21-2713-15-79-12_ext.xml	? (MO)	62.94	63.513	1109375
csp/bddLarge/ normalized-bdd-21-2713-15-79-20_ext.xml	? (MO)	63.18	63.5135	1109303
csp/bddLarge/ normalized-bdd-21-2713-15-79-6_ext.xml	? (MO)	64.96	65.3129	1109407
csp/bddLarge/ normalized-bdd-21-2713-15-79-15_ext.xml	? (MO)	66.75	66.8113	1109295
csp/bddLarge/ normalized-bdd-21-2713-15-79-27_ext.xml	? (MO)	66.85	66.9114	1109399
csp/bddLarge/ normalized-bdd-21-2713-15-79-21_ext.xml	? (MO)	66.85	66.9134	1109415
csp/bddLarge/ normalized-bdd-21-2713-15-79-1_ext.xml	? (MO)	66.87	66.912	1109455
csp/bddLarge/ normalized-bdd-21-2713-15-79-25_ext.xml	? (MO)	66.96	67.0156	1109351
csp/bddLarge/ normalized-bdd-21-2713-15-79-10_ext.xml	? (MO)	67.19	67.8144	1109311
csp/bddLarge/ normalized-bdd-21-2713-15-79-23_ext.xml	? (MO)	67.58	68.2198	1109359
csp/bddLarge/ normalized-bdd-21-2713-15-79-26_ext.xml	? (MO)	67.59	68.2185	1109423
csp/bddLarge/ normalized-bdd-21-2713-15-79-30_ext.xml	? (MO)	68.15	68.8155	1109319