CSP 2008 Competition: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
csp/lexVg/ normalized-crossword-m1c-lex-vg15-17_ext.xml	UNSAT	0.020996	0.0274659	1079673
csp/lexVg/ normalized-crossword-m1c-lex-vg16-18_ext.xml	UNSAT	0.020996	0.022904	1079420
csp/lexVg/ normalized-crossword-m1c-lex-vg15-16_ext.xml	UNSAT	0.022996	0.0289069	1079259
csp/lexVg/ normalized-crossword-m1c-lex-vg16-20_ext.xml	UNSAT	0.023995	0.0310279	1079282
csp/lexVg/ normalized-crossword-m1c-lex-vg15-18_ext.xml	UNSAT	0.023996	0.0307159	1079213
csp/lexVg/ normalized-crossword-m1c-lex-vg13-17_ext.xml	UNSAT	0.024995	0.0258331	1079121
csp/lexVg/ normalized-crossword-m1c-lex-vg14-18_ext.xml	UNSAT	0.024995	0.033459	1079489
csp/lexVg/ normalized-crossword-m1c-lex-vg14-15_ext.xml	UNSAT	0.024995	0.0310851	1079351
csp/wordsVg/ normalized-crossword-m1c-words-vg15-19_ext.xml	UNSAT	0.024996	0.029409	1066705
csp/lexVg/ normalized-crossword-m1c-lex-vg13-16_ext.xml	UNSAT	0.025995	0.027586	1078891
csp/wordsVg/ normalized-crossword-m1c-words-vg14-18_ext.xml	UNSAT	0.029995	0.0383799	1066337
csp/wordsVg/ normalized-crossword-m1c-words-vg15-15_ext.xml	UNSAT	0.030995	0.036004	1066360
csp/wordsVg/ normalized-crossword-m1c-words-vg15-16_ext.xml	UNSAT	0.031994	0.0376049	1066981
csp/lexVg/ normalized-crossword-m1c-lex-vg13-15_ext.xml	UNSAT	0.031994	0.038199	1079742
csp/lexVg/ normalized-crossword-m1c-lex-vg13-13_ext.xml	UNSAT	0.033993	0.0399089	1079627
csp/wordsVg/ normalized-crossword-m1c-words-vg14-16_ext.xml	UNSAT	0.034993	0.03802	1067050
csp/wordsVg/ normalized-crossword-m1c-words-vg14-17_ext.xml	UNSAT	0.036993	0.043799	1066199
csp/aim-50/ normalized-aim-50-1-6-unsat-1_ext.xml	UNSAT	0.039993	0.048088	1052854
csp/aim-100/ normalized-aim-100-2-0-unsat-1_ext.xml	UNSAT	0.039993	0.04624	1054987
csp/aim-50/ normalized-aim-50-1-6-unsat-2_ext.xml	UNSAT	0.042992	0.0506701	1052877
csp/lexVg/ normalized-crossword-m1c-lex-vg12-14_ext.xml	UNSAT	0.043992	0.0487531	1079443
csp/wordsVg/ normalized-crossword-m1c-words-vg13-17_ext.xml	UNSAT	0.044992	0.0515109	1067027
csp/wordsVg/ normalized-crossword-m1c-words-vg13-16_ext.xml	UNSAT	0.048992	0.17049	1066590
csp/aim-50/ normalized-aim-50-2-0-unsat-4_ext.xml	UNSAT	0.049991	0.056385	1052923
csp/aim-50/ normalized-aim-50-2-0-unsat-1_ext.xml	UNSAT	0.050991	0.0636151	1052992
csp/wordsVg/ normalized-crossword-m1c-words-vg14-14_ext.xml	UNSAT	0.051991	0.0587699	1066268
csp/lexVg/ normalized-crossword-m1c-lex-vg12-13_ext.xml	UNSAT	0.053991	0.060213	1079167
csp/aim-100/ normalized-aim-100-2-0-unsat-3_ext.xml	UNSAT	0.054991	0.060763	1054665
csp/aim-50/ normalized-aim-50-1-6-unsat-4_ext.xml	UNSAT	0.05699	0.0635289	1052946
csp/aim-100/ normalized-aim-100-2-0-unsat-2_ext.xml	UNSAT	0.05899	0.0639991	1055056
csp/lexVg/ normalized-crossword-m1c-lex-vg11-15_ext.xml	UNSAT	0.05999	0.070599	1079098
csp/aim-50/ normalized-aim-50-2-0-unsat-2_ext.xml	UNSAT	0.06099	0.0666391	1053061
csp/aim-100/ normalized-aim-100-2-0-unsat-4_ext.xml	UNSAT	0.06099	0.0677441	1054734
csp/wordsVg/ normalized-crossword-m1c-words-vg12-16_ext.xml	UNSAT	0.061989	0.0681581	1066912
csp/aim-50/ normalized-aim-50-2-0-unsat-3_ext.xml	UNSAT	0.063989	0.0703331	1052900
csp/aim-50/ normalized-aim-50-1-6-unsat-3_ext.xml	UNSAT	0.064989	0.0692729	1053176
csp/wordsVg/ normalized-crossword-m1c-words-vg12-15_ext.xml	UNSAT	0.067989	0.073809	1066383
csp/aim-100/ normalized-aim-100-1-6-unsat-2_ext.xml	UNSAT	0.068988	0.072108	1054642
csp/varDimacs/ normalized-hole-06_ext.xml	UNSAT	0.068989	0.258442	1082826
csp/aim-100/ normalized-aim-100-1-6-unsat-1_ext.xml	UNSAT	0.069988	0.0779031	1054757
csp/aim-100/ normalized-aim-100-1-6-unsat-4_ext.xml	UNSAT	0.070988	0.078019	1054711
csp/aim-200/ normalized-aim-200-1-6-unsat-4_ext.xml	UNSAT	0.086986	0.08823	1053892
csp/aim-200/ normalized-aim-200-2-0-unsat-3_ext.xml	UNSAT	0.094985	0.103143	1053846
csp/aim-200/ normalized-aim-200-2-0-unsat-4_ext.xml	UNSAT	0.099984	0.100545	1053570
csp/ogdVg/ normalized-crossword-m1c-ogd-vg16-20_ext.xml	UNSAT	0.112982	0.121948	1075769
csp/lexVg/ normalized-crossword-m1c-lex-vg12-12_ext.xml	UNSAT	0.12098	0.127642	1079190
csp/aim-100/ normalized-aim-100-1-6-unsat-3_ext.xml	UNSAT	0.12698	0.13318	1054596
csp/aim-200/ normalized-aim-200-2-0-unsat-2_ext.xml	UNSAT	0.12998	0.138071	1054053
csp/ogdVg/ normalized-crossword-m1c-ogd-vg16-18_ext.xml	UNSAT	0.142977	0.154753	1076091
csp/aim-200/ normalized-aim-200-1-6-unsat-2_ext.xml	UNSAT	0.142977	0.14316	1053685
csp/aim-200/ normalized-aim-200-2-0-unsat-1_ext.xml	UNSAT	0.145977	0.152831	1053547
csp/aim-200/ normalized-aim-200-1-6-unsat-1_ext.xml	UNSAT	0.149976	0.157343	1053938
csp/wordsVg/ normalized-crossword-m1c-words-vg13-13_ext.xml	UNSAT	0.151975	0.158443	1066291
csp/lexVg/ normalized-crossword-m1c-lex-vg11-13_ext.xml	UNSAT	0.174973	0.180758	1079650
csp/ssa/ normalized-ssa-0432-003_ext.xml	UNSAT	0.200968	0.2091	1050534
csp/wordsVg/ normalized-crossword-m1c-words-vg11-15_ext.xml	UNSAT	0.240963	0.247641	1067096
csp/aim-200/ normalized-aim-200-1-6-unsat-3_ext.xml	UNSAT	0.275957	0.282735	1054076
csp/wordsVg/ normalized-crossword-m1c-words-vg12-13_ext.xml	UNSAT	0.300953	0.307482	1066544
csp/lexVg/ normalized-crossword-m1c-lex-vg11-12_ext.xml	UNSAT	0.377941	0.388879	1079305
csp/wordsVg/ normalized-crossword-m1c-words-vg11-14_ext.xml	UNSAT	0.405937	0.411623	1066958
csp/jnhUnsat/ normalized-jnh214_ext.xml	UNSAT	0.488925	0.500289	1065739
csp/jnhUnsat/ normalized-jnh10_ext.xml	UNSAT	0.499923	0.507073	1065647
csp/jnhUnsat/ normalized-jnh215_ext.xml	UNSAT	0.501922	0.514951	1066107
csp/jnhUnsat/ normalized-jnh211_ext.xml	UNSAT	0.502923	0.509764	1065463
csp/jnhUnsat/ normalized-jnh09_ext.xml	UNSAT	0.512922	0.520742	1065624
csp/jnhUnsat/ normalized-jnh06_ext.xml	UNSAT	0.51892	0.525038	1065532
csp/jnhUnsat/ normalized-jnh11_ext.xml	UNSAT	0.51992	0.526798	1066061
csp/jnhUnsat/ normalized-jnh206_ext.xml	UNSAT	0.51992	0.531149	1065716
csp/jnhUnsat/ normalized-jnh08_ext.xml	UNSAT	0.525919	0.535592	1065555
csp/jnhUnsat/ normalized-jnh05_ext.xml	UNSAT	0.526919	0.534981	1065601
csp/jnhUnsat/ normalized-jnh304_ext.xml	UNSAT	0.530918	0.545603	1065670
csp/jnhUnsat/ normalized-jnh02_ext.xml	UNSAT	0.531918	0.543366	1065992
csp/jnhUnsat/ normalized-jnh202_ext.xml	UNSAT	0.538917	0.544867	1065693
csp/jnhUnsat/ normalized-jnh310_ext.xml	UNSAT	0.539916	0.551354	1066153
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-14_ext.xml	UNSAT	0.542917	0.55652	1048268
csp/jnhUnsat/ normalized-jnh309_ext.xml	UNSAT	0.549915	0.551198	1066015
csp/jnhUnsat/ normalized-jnh302_ext.xml	UNSAT	0.552915	0.553959	1065854
csp/jnhUnsat/ normalized-jnh04_ext.xml	UNSAT	0.554915	0.560455	1066176
csp/jnhUnsat/ normalized-jnh203_ext.xml	UNSAT	0.561914	0.56793	1065900
csp/jnhUnsat/ normalized-jnh216_ext.xml	UNSAT	0.574912	0.580751	1066038
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-18_ext.xml	UNSAT	0.577911	0.588164	1048406
csp/jnhUnsat/ normalized-jnh19_ext.xml	UNSAT	0.604907	0.609531	1066084
csp/jnhUnsat/ normalized-jnh208_ext.xml	UNSAT	0.609907	0.621423	1065923
csp/ogdVg/ normalized-crossword-m1c-ogd-vg16-16_ext.xml	UNSAT	0.618905	0.622229	1076712
csp/jnhUnsat/ normalized-jnh307_ext.xml	UNSAT	0.622904	0.635189	1065969
csp/jnhUnsat/ normalized-jnh219_ext.xml	UNSAT	0.637902	0.720377	1065785
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-15_ext.xml	UNSAT	0.637902	0.639393	1048475
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-3_ext.xml	UNSAT	0.639901	0.647463	1048567
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-17_ext.xml	UNSAT	0.640902	0.648505	1048153
csp/jnhUnsat/ normalized-jnh20_ext.xml	UNSAT	0.6509	0.669389	1065877
csp/jnhUnsat/ normalized-jnh15_ext.xml	UNSAT	0.659899	0.670585	1065808
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-4_ext.xml	UNSAT	0.673896	0.682171	1048291
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-19_ext.xml	UNSAT	0.673897	0.674405	1048498
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-16_ext.xml	UNSAT	0.675896	0.688177	1048245
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-6_ext.xml	UNSAT	0.675896	0.684502	1048222
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-10_ext.xml	UNSAT	0.679895	0.686536	1048314
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-0_ext.xml	UNSAT	0.686895	0.700092	1048429
csp/jnhUnsat/ normalized-jnh305_ext.xml	UNSAT	0.707891	0.718749	1065509
csp/jnhUnsat/ normalized-jnh13_ext.xml	UNSAT	0.719889	0.731184	1066130
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-8_ext.xml	UNSAT	0.724889	0.730571	1048360
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-7_ext.xml	UNSAT	0.729888	0.74004	1048544
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-1_ext.xml	UNSAT	0.730888	0.735313	1048130
csp/jnhUnsat/ normalized-jnh14_ext.xml	UNSAT	0.733887	0.744978	1065831
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-13_ext.xml	UNSAT	0.741886	0.749538	1048521
csp/jnhUnsat/ normalized-jnh18_ext.xml	UNSAT	0.776881	0.788113	1065486
csp/jnhUnsat/ normalized-jnh303_ext.xml	UNSAT	0.780881	0.793847	1065946
csp/ogdVg/ normalized-crossword-m1c-ogd-vg15-19_ext.xml	UNSAT	0.809876	0.811443	1076620
csp/varDimacs/ normalized-hole-07_ext.xml	UNSAT	0.813876	0.817532	1082964
csp/jnhUnsat/ normalized-jnh16_ext.xml	UNSAT	0.867867	0.878686	1065578
csp/lexVg/ normalized-crossword-m1c-lex-vg10-12_ext.xml	UNSAT	0.956854	0.968441	1078960
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-12_ext.xml	UNSAT	0.992848	1.0085	1048383
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-5_ext.xml	UNSAT	1.00185	1.00323	1048337
csp/modifiedRenault/ normalized-renault-mod-47_ext.xml	UNSAT	1.00685	1.00959	1074253
csp/modifiedRenault/ normalized-renault-mod-35_ext.xml	UNSAT	1.04784	1.06075	1073977
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-9_ext.xml	UNSAT	1.06484	1.07909	1048176
csp/modifiedRenault/ normalized-renault-mod-3_ext.xml	UNSAT	1.07084	1.08056	1073517
csp/modifiedRenault/ normalized-renault-mod-5_ext.xml	UNSAT	1.07684	1.08933	1073770
csp/modifiedRenault/ normalized-renault-mod-42_ext.xml	UNSAT	1.08383	1.10012	1073701
csp/wordsVg/ normalized-crossword-m1c-words-vg10-14_ext.xml	UNSAT	1.09083	1.10632	1066797
csp/modifiedRenault/ normalized-renault-mod-19_ext.xml	UNSAT	1.09383	1.10049	1073839
csp/modifiedRenault/ normalized-renault-mod-29_ext.xml	UNSAT	1.09383	1.10198	1074092
csp/modifiedRenault/ normalized-renault-mod-22_ext.xml	UNSAT	1.10283	1.10596	1073908
csp/modifiedRenault/ normalized-renault-mod-14_ext.xml	UNSAT	1.10683	1.12428	1073678
csp/jnhUnsat/ normalized-jnh306_ext.xml	UNSAT	1.10983	1.11594	1065762
csp/modifiedRenault/ normalized-renault-mod-12_ext.xml	UNSAT	1.11183	1.12947	1074000
csp/modifiedRenault/ normalized-renault-mod-37_ext.xml	UNSAT	1.12083	1.13698	1073885
csp/modifiedRenault/ normalized-renault-mod-20_ext.xml	UNSAT	1.12483	1.1405	1074138
csp/modifiedRenault/ normalized-renault-mod-23_ext.xml	UNSAT	1.12983	1.13636	1074161
csp/modifiedRenault/ normalized-renault-mod-27_ext.xml	UNSAT	1.13983	1.1618	1073402
csp/modifiedRenault/ normalized-renault-mod-40_ext.xml	UNSAT	1.14183	1.16543	1074230
csp/modifiedRenault/ normalized-renault-mod-16_ext.xml	UNSAT	1.14183	1.15614	1073494
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-2_ext.xml	UNSAT	1.15782	1.18364	1048452
csp/modifiedRenault/ normalized-renault-mod-33_ext.xml	UNSAT	1.17082	1.17846	1073632
csp/modifiedRenault/ normalized-renault-mod-30_ext.xml	UNSAT	1.19082	1.20854	1073379
csp/wordsVg/ normalized-crossword-m1c-words-vg11-13_ext.xml	UNSAT	1.19382	1.20976	1066751
csp/modifiedRenault/ normalized-renault-mod-24_ext.xml	UNSAT	1.19582	1.20603	1073724
csp/modifiedRenault/ normalized-renault-mod-28_ext.xml	UNSAT	1.21181	1.22725	1073747
csp/modifiedRenault/ normalized-renault-mod-21_ext.xml	UNSAT	1.21581	1.2291	1073793
csp/modifiedRenault/ normalized-renault-mod-1_ext.xml	UNSAT	1.23881	1.24889	1073471
csp/modifiedRenault/ normalized-renault-mod-17_ext.xml	UNSAT	1.2908	1.30772	1074023
csp/modifiedRenault/ normalized-renault-mod-10_ext.xml	UNSAT	1.3128	1.31473	1074207
csp/modifiedRenault/ normalized-renault-mod-39_ext.xml	UNSAT	1.3268	1.33877	1073540
csp/modifiedRenault/ normalized-renault-mod-18_ext.xml	UNSAT	1.3288	1.34674	1073563
csp/modifiedRenault/ normalized-renault-mod-26_ext.xml	UNSAT	1.41378	1.43265	1073609
csp/ukVg/ normalized-crossword-m1c-uk-vg16-19_ext.xml	UNSAT	1.55776	1.56422	1068197
csp/rand-10-20-10/ normalized-rand-10-20-10-5-10000-11_ext.xml	UNSAT	1.69674	1.71863	1048199
csp/lexVg/ normalized-crossword-m1c-lex-vg8-12_ext.xml	UNSAT	1.9677	1.99244	1079144
csp/ssa/ normalized-ssa-2670-130_ext.xml	UNSAT	2.6086	2.63577	1050442
csp/lexVg/ normalized-crossword-m1c-lex-vg9-12_ext.xml	UNSAT	2.89156	2.9147	1079581
csp/ukVg/ normalized-crossword-m1c-uk-vg16-18_ext.xml	UNSAT	3.05453	3.08774	1069140
csp/ukVg/ normalized-crossword-m1c-uk-vg15-19_ext.xml	UNSAT	3.67444	3.69147	1069048
csp/lexVg/ normalized-crossword-m1c-lex-vg10-11_ext.xml	UNSAT	4.34234	4.36053	1079765
csp/ogdVg/ normalized-crossword-m1c-ogd-vg15-16_ext.xml	UNSAT	4.69928	4.74831	1075815
csp/wordsVg/ normalized-crossword-m1c-words-vg9-13_ext.xml	UNSAT	5.52016	5.57492	1066728
csp/wordsVg/ normalized-crossword-m1c-words-vg8-12_ext.xml	UNSAT	6.24705	6.30271	1066521
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-43_ext.xml	UNSAT	6.33804	6.34417	1080294
csp/ukVg/ normalized-crossword-m1c-uk-vg15-18_ext.xml	UNSAT	6.36003	6.39833	1068174
csp/dubois/ normalized-dubois-20_ext.xml	UNSAT	6.55	6.5776	1051104
csp/wordsVg/ normalized-crossword-m1c-words-vg10-12_ext.xml	UNSAT	6.585	6.64629	1066820
csp/ukVg/ normalized-crossword-m1c-uk-vg16-17_ext.xml	UNSAT	7.95979	8.03908	1068220
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-38_ext.xml	UNSAT	8.87665	8.95903	1079857
csp/ukVg/ normalized-crossword-m1c-uk-vg16-16_ext.xml	UNSAT	11.2893	11.3475	1068312
csp/varDimacs/ normalized-hole-08_ext.xml	UNSAT	11.6102	11.7096	1082849
csp/ogdVg/ normalized-crossword-m1c-ogd-vg14-17_ext.xml	UNSAT	11.6532	11.7613	1076735
csp/bddSmall/ normalized-bdd-21-133-18-78-19_ext.xml	UNSAT	11.9762	12.0996	1052095
csp/bddSmall/ normalized-bdd-21-133-18-78-12_ext.xml	UNSAT	12.0892	12.2087	1052302
csp/bddSmall/ normalized-bdd-21-133-18-78-29_ext.xml	UNSAT	12.1302	12.2439	1052003
csp/bddSmall/ normalized-bdd-21-133-18-78-22_ext.xml	UNSAT	12.4041	12.5321	1052325
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-6_ext.xml	UNSAT	12.5151	12.6206	1080340
csp/bddSmall/ normalized-bdd-21-133-18-78-28_ext.xml	UNSAT	12.7781	12.8944	1052233
csp/bddSmall/ normalized-bdd-21-133-18-78-14_ext.xml	UNSAT	12.937	12.9425	1052049
csp/bddSmall/ normalized-bdd-21-133-18-78-15_ext.xml	UNSAT	13.111	13.1844	1052509
csp/ukVg/ normalized-crossword-m1c-uk-vg14-18_ext.xml	UNSAT	13.268	13.3939	1068289
csp/wordsVg/ normalized-crossword-m1c-words-vg9-12_ext.xml	UNSAT	13.454	13.5746	1066222
csp/bddSmall/ normalized-bdd-21-133-18-78-35_ext.xml	UNSAT	13.5529	13.6724	1052440
csp/bddSmall/ normalized-bdd-21-133-18-78-24_ext.xml	UNSAT	14.3108	14.4353	1052624
csp/bddSmall/ normalized-bdd-21-133-18-78-21_ext.xml	UNSAT	14.3838	14.5208	1052486
csp/bddSmall/ normalized-bdd-21-133-18-78-16_ext.xml	UNSAT	15.5906	15.7223	1052072
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-18_ext.xml	UNSAT	17.0544	17.212	1080248
csp/ukVg/ normalized-crossword-m1c-uk-vg15-17_ext.xml	UNSAT	17.3434	17.4927	1069163
csp/bddLarge/ normalized-bdd-21-2713-15-79-18_ext.xml	UNSAT	17.4263	17.5826	1047552
csp/bddLarge/ normalized-bdd-21-2713-15-79-11_ext.xml	UNSAT	17.4513	17.4737	1047184
csp/bddLarge/ normalized-bdd-21-2713-15-79-17_ext.xml	UNSAT	17.9013	18.073	1047782
csp/bddSmall/ normalized-bdd-21-133-18-78-31_ext.xml	UNSAT	18.0573	18.2097	1052141
csp/bddSmall/ normalized-bdd-21-133-18-78-6_ext.xml	UNSAT	18.2742	18.4424	1052693
csp/lexVg/ normalized-crossword-m1c-lex-vg9-10_ext.xml	UNSAT	18.4422	18.5858	1079397
csp/bddLarge/ normalized-bdd-21-2713-15-79-15_ext.xml	UNSAT	18.4892	18.565	1047207
csp/bddSmall/ normalized-bdd-21-133-18-78-30_ext.xml	UNSAT	18.7581	18.9435	1052187
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-16_ext.xml	UNSAT	18.7741	18.9577	1075930
csp/bddLarge/ normalized-bdd-21-2713-15-79-21_ext.xml	UNSAT	18.9961	19.0024	1047736
csp/bddSmall/ normalized-bdd-21-133-18-78-13_ext.xml	UNSAT	19.475	19.6248	1052026
csp/bddLarge/ normalized-bdd-21-2713-15-79-29_ext.xml	UNSAT	19.765	19.866	1047897
csp/bddLarge/ normalized-bdd-21-2713-15-79-9_ext.xml	UNSAT	19.999	20.1757	1047414
csp/bddLarge/ normalized-bdd-21-2713-15-79-7_ext.xml	UNSAT	20.045	20.0573	1047391
csp/bddLarge/ normalized-bdd-21-2713-15-79-10_ext.xml	UNSAT	20.1609	20.3257	1047322
csp/bddLarge/ normalized-bdd-21-2713-15-79-14_ext.xml	UNSAT	20.1819	20.3754	1047828
csp/bddLarge/ normalized-bdd-21-2713-15-79-28_ext.xml	UNSAT	20.5169	20.6141	1047621
csp/bddLarge/ normalized-bdd-21-2713-15-79-20_ext.xml	UNSAT	20.7178	20.9034	1047276
csp/bddLarge/ normalized-bdd-21-2713-15-79-16_ext.xml	UNSAT	20.8338	21.0308	1047851
csp/bddLarge/ normalized-bdd-21-2713-15-79-3_ext.xml	UNSAT	20.8838	20.9764	1047644
csp/bddLarge/ normalized-bdd-21-2713-15-79-25_ext.xml	UNSAT	21.1078	21.2003	1047437
csp/bddSmall/ normalized-bdd-21-133-18-78-33_ext.xml	UNSAT	21.2458	21.4437	1052279
csp/bddLarge/ normalized-bdd-21-2713-15-79-1_ext.xml	UNSAT	21.2638	21.3589	1047874
csp/bddLarge/ normalized-bdd-21-2713-15-79-30_ext.xml	UNSAT	21.3308	21.5409	1047345
csp/bddLarge/ normalized-bdd-21-2713-15-79-2_ext.xml	UNSAT	21.5537	21.9971	1047368
csp/bddLarge/ normalized-bdd-21-2713-15-79-27_ext.xml	UNSAT	21.9207	21.9331	1047690
csp/dubois/ normalized-dubois-21_ext.xml	UNSAT	22.5116	22.6192	1050943
csp/bddLarge/ normalized-bdd-21-2713-15-79-33_ext.xml	UNSAT	22.6236	22.8203	1047138
csp/bddLarge/ normalized-bdd-21-2713-15-79-23_ext.xml	UNSAT	22.8085	23.0246	1047483
csp/bddLarge/ normalized-bdd-21-2713-15-79-6_ext.xml	UNSAT	22.8875	22.8987	1047713
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-45_ext.xml	UNSAT	23.0495	23.2524	1080156
csp/bddLarge/ normalized-bdd-21-2713-15-79-12_ext.xml	UNSAT	23.5804	23.6811	1047598
csp/bddLarge/ normalized-bdd-21-2713-15-79-26_ext.xml	UNSAT	23.7594	23.9508	1047759
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-44_ext.xml	UNSAT	24.3183	24.538	1080225
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-11.xml	UNSAT	26.248	26.3802	1094619
csp/lexVg/ normalized-crossword-m1c-lex-vg9-9_ext.xml	UNSAT	26.255	26.3603	1079006
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-2_ext.xml	UNSAT	27.0569	27.2699	1080317
csp/dubois/ normalized-dubois-22_ext.xml	UNSAT	28.0387	28.0592	1051150
csp/lexVg/ normalized-crossword-m1c-lex-vg6-10_ext.xml	UNSAT	28.9936	29.0031	1079558
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-35_ext.xml	UNSAT	29.7175	29.9789	1080363
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-25.xml	UNSAT	30.9623	31.1394	1094757
csp/wordsVg/ normalized-crossword-m1c-words-vg9-11_ext.xml	UNSAT	31.1083	31.2022	1066636
csp/pret/ normalized-pret-60-60_ext.xml	UNSAT	31.9251	32.1984	1046977
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-15.xml	UNSAT	32.0261	32.1808	1094481
csp/pret/ normalized-pret-60-75_ext.xml	UNSAT	32.2121	32.3554	1046954
csp/pret/ normalized-pret-60-25_ext.xml	UNSAT	32.2181	32.472	1047092
csp/pret/ normalized-pret-60-40_ext.xml	UNSAT	32.3181	32.446	1047000
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-22.xml	UNSAT	33.142	33.4419	1094504
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-9.xml	UNSAT	33.6229	33.7764	1094435
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-3.xml	UNSAT	34.7697	35.1111	1094573
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-7.xml	UNSAT	36.2185	36.4263	1094665
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-19.xml	UNSAT	36.5654	36.7401	1094734
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-17.xml	UNSAT	36.9044	37.2598	1094596
csp/ukVg/ normalized-crossword-m1c-uk-vg14-17_ext.xml	UNSAT	39.9299	40.3172	1068611
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-14.xml	UNSAT	40.1379	40.5215	1094642
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-12.xml	UNSAT	40.9908	41.3959	1094527
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-30_ext.xml	UNSAT	41.2537	41.4254	1080110
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-5.xml	UNSAT	41.7706	42.1734	1094688
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-13.xml	UNSAT	42.2886	42.7466	1094550
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-21.xml	UNSAT	43.1034	43.5603	1094711
csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-6.xml	UNSAT	43.3424	43.7389	1094458
csp/wordsVg/ normalized-crossword-m1c-words-vg10-10_ext.xml	UNSAT	47.5728	47.8946	1066613
csp/ukVg/ normalized-crossword-m1c-uk-vg13-17_ext.xml	UNSAT	53.0439	53.3099	1068818
csp/wordsVg/ normalized-crossword-m1c-words-vg8-11_ext.xml	UNSAT	54.6137	55.0349	1066429
csp/dubois/ normalized-dubois-23_ext.xml	UNSAT	62.0446	62.5848	1051127
csp/lexVg/ normalized-crossword-m1c-lex-vg7-10_ext.xml	UNSAT	66.5229	67.0381	1079719
csp/lexVg/ normalized-crossword-m1c-lex-vg8-9_ext.xml	UNSAT	68.5856	69.1198	1079512
csp/wordsVg/ normalized-crossword-m1c-words-vg7-11_ext.xml	UNSAT	70.2423	70.8531	1066475
csp/lexVg/ normalized-crossword-m1c-lex-vg5-9_ext.xml	UNSAT	73.3708	73.943	1079604
csp/lexVg/ normalized-crossword-m1c-lex-vg6-9_ext.xml	UNSAT	93.8417	93.8799	1079052
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-39_ext.xml	UNSAT	97.2152	98.0119	1079995
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-3_ext.xml	UNSAT	97.9531	98.7139	1080064
csp/lexVg/ normalized-crossword-m1c-lex-vg5-8_ext.xml	UNSAT	111.967	112.015	1079466
csp/lexVg/ normalized-crossword-m1c-lex-vg8-8_ext.xml	UNSAT	117.481	117.945	1078937
csp/wordsVg/ normalized-crossword-m1c-words-vg9-10_ext.xml	UNSAT	124.13	125.076	1066245
csp/lexVg/ normalized-crossword-m1c-lex-vg7-9_ext.xml	UNSAT	135.989	137.031	1079696
csp/dubois/ normalized-dubois-24_ext.xml	UNSAT	137.664	138.861	1051012
csp/varDimacs/ normalized-hole-09_ext.xml	UNSAT	149.96	150.592	1082987
csp/rand-3-20-20/ normalized-rand-3-20-20-60-632-16_ext.xml	UNSAT	153.184	153.88	1079972
csp/ukVg/ normalized-crossword-m1c-uk-vg14-15_ext.xml	UNSAT	174.172	175.657	1068933
csp/ogdVg/ normalized-crossword-m1c-ogd-vg14-15_ext.xml	UNSAT	196.57	196.626	1076666
csp/lexVg/ normalized-crossword-m1c-lex-vg6-8_ext.xml	UNSAT	200.206	201.008	1079236
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-15_ext.xml	UNSAT	206.048	207.014	1076137
csp/wordsVg/ normalized-crossword-m1c-words-vg6-10_ext.xml	UNSAT	219.464	220.362	1066314
csp/lexVg/ normalized-crossword-m1c-lex-vg5-7_ext.xml	UNSAT	248.753	249.732	1079029
csp/lexVg/ normalized-crossword-m1c-lex-vg7-8_ext.xml	UNSAT	254.472	256.663	1078914
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-4_ext.xml	UNSAT	254.99	256.268	1057139
csp/ukVg/ normalized-crossword-m1c-uk-vg12-16_ext.xml	UNSAT	257.618	259.646	1068588
csp/dubois/ normalized-dubois-25_ext.xml	UNSAT	275.316	277.427	1050897
csp/wordsVg/ normalized-crossword-m1c-words-vg8-9_ext.xml	UNSAT	279.881	282.265	1066774
csp/dubois/ normalized-dubois-26_ext.xml	UNSAT	295.968	297.129	1051035
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-22_ext.xml	UNSAT	297.299	299.65	1057070
csp/wordsVg/ normalized-crossword-m1c-words-vg7-10_ext.xml	UNSAT	313.011	315.399	1067073
csp/ukVg/ normalized-crossword-m1c-uk-vg14-14_ext.xml	UNSAT	336.901	339.521	1069117
csp/ukVg/ normalized-crossword-m1c-uk-vg11-15_ext.xml	UNSAT	361.343	363.901	1069025
csp/wordsVg/ normalized-crossword-m1c-words-vg5-9_ext.xml	UNSAT	403.078	408.018	1066843
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-42_ext.xml	UNSAT	424.838	425.028	1056725
csp/dubois/ normalized-dubois-27_ext.xml	UNSAT	535.22	539.351	1050874
csp/wordsVg/ normalized-crossword-m1c-words-vg8-8_ext.xml	UNSAT	595.667	600.222	1066498
csp/wordsVg/ normalized-crossword-m1c-words-vg7-9_ext.xml	UNSAT	604.447	607.428	1066866
csp/wordsVg/ normalized-crossword-m1c-words-vg5-8_ext.xml	UNSAT	701.392	706.797	1066567
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-14_ext.xml	UNSAT	793.802	795.262	1076758
csp/ogdVg/ normalized-crossword-m1c-ogd-vg12-15_ext.xml	UNSAT	796.511	800.579	1076367
csp/dubois/ normalized-dubois-28_ext.xml	UNSAT	822.714	834.565	1051081
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-8_ext.xml	UNSAT	1349.61	1361.21	1057024
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-9_ext.xml	UNSAT	1358.89	1359.08	1057162
csp/dubois/ normalized-dubois-30_ext.xml	UNSAT	1423.07	1428.78	1051058
csp/ogdVg/ normalized-crossword-m1c-ogd-vg13-13_ext.xml	UNSAT	1458.23	1468.39	1076229
csp/wordsVg/ normalized-crossword-m1c-words-vg7-8_ext.xml	UNSAT	1525.7	1532.03	1107540
csp/ukVg/ normalized-crossword-m1c-uk-vg12-14_ext.xml	UNSAT	1587.08	1599.89	1069002

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-37_ext.xml	? (TO)	1800.01	1809.71	1059186
csp/ogdVg/ normalized-crossword-m1c-ogd-vg8-8_ext.xml	? (TO)	1800.01	1808.21	1076321
csp/ukVg/ normalized-crossword-m1c-uk-vg10-10_ext.xml	? (TO)	1800.01	1807.31	1068910
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-23_ext.xml	? (TO)	1800.02	1800.71	1059094
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-10_ext.xml	? (TO)	1800.02	1811.71	1057185
csp/ukVg/ normalized-crossword-m1c-uk-vg7-9_ext.xml	? (TO)	1800.02	1807.41	1068841
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-50_ext.xml	? (TO)	1800.02	1803.41	1072079
csp/ogdVg/ normalized-crossword-m1c-ogd-vg9-9_ext.xml	? (TO)	1800.02	1802.01	1075999
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-36_ext.xml	? (TO)	1800.02	1803.01	1059140
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-25_ext.xml	? (TO)	1800.02	1802.81	1059117
csp/ukVg/ normalized-crossword-m1c-uk-vg9-11_ext.xml	? (TO)	1800.02	1800.81	1068565
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-28_ext.xml	? (TO)	1800.02	1810.61	1095552
csp/ogdVg/ normalized-crossword-m1c-ogd-vg11-15_ext.xml	? (TO)	1800.02	1814.41	1076505
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-41_ext.xml	? (TO)	1800.02	1810.31	1058887
csp/ogdVg/ normalized-crossword-m1c-ogd-vg9-13_ext.xml	? (TO)	1800.02	1801.71	1076574
csp/ogdVg/ normalized-crossword-m1c-ogd-vg12-12_ext.xml	? (TO)	1800.02	1809.91	1076459
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-39_ext.xml	? (TO)	1800.02	1808.21	1072056
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-19_ext.xml	? (TO)	1800.02	1805.11	1057116
csp/ukVg/ normalized-crossword-m1c-uk-vg7-10_ext.xml	? (TO)	1800.02	1812.81	1068381
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-22_ext.xml	? (TO)	1800.02	1803.61	1095345
csp/ogdVg/ normalized-crossword-m1c-ogd-vg8-12_ext.xml	? (TO)	1800.03	1813.21	1075884
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-3_ext.xml	? (TO)	1800.03	1800.91	1058864
csp/ukVg/ normalized-crossword-m1c-uk-vg8-11_ext.xml	? (TO)	1800.03	1813.31	1068657
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-44_ext.xml	? (TO)	1800.03	1812.81	1095621
csp/ogdVg/ normalized-crossword-m1c-ogd-vg7-9_ext.xml	? (TO)	1800.03	1810.61	1075953
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-50_ext.xml	? (TO)	1800.03	1814.11	1095690
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-32_ext.xml	? (TO)	1800.03	1800.51	1056955
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-43_ext.xml	? (TO)	1800.03	1807.51	1056771
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-14_ext.xml	? (TO)	1800.03	1801.21	1057001
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-1_ext.xml	? (TO)	1800.03	1814.51	1058703
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-42_ext.xml	? (TO)	1800.03	1816.01	1095299
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-5_ext.xml	? (TO)	1800.03	1804.71	1058542
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-25_ext.xml	? (TO)	1800.03	1800.91	1095713
csp/ogdVg/ normalized-crossword-m1c-ogd-vg9-12_ext.xml	? (TO)	1800.03	1809.21	1076298
csp/ogdVg/ normalized-crossword-m1c-ogd-vg10-13_ext.xml	? (TO)	1800.04	1807.61	1076597
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-6_ext.xml	? (TO)	1800.04	1813.01	1058818
csp/ukVg/ normalized-crossword-m1c-uk-vg8-12_ext.xml	? (TO)	1800.04	1809.81	1068542
csp/ogdVg/ normalized-crossword-m1c-ogd-vg12-13_ext.xml	? (TO)	1800.04	1823.11	1076275
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-32_ext.xml	? (TO)	1800.04	1809.91	1058772
csp/ogdVg/ normalized-crossword-m1c-ogd-vg10-12_ext.xml	? (TO)	1800.04	1816.31	1076643
csp/ogdVg/ normalized-crossword-m1c-ogd-vg6-10_ext.xml	? (TO)	1800.04	1809.31	1076436
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-47_ext.xml	? (TO)	1800.04	1815.21	1072217
csp/ukVg/ normalized-crossword-m1c-uk-vg9-9_ext.xml	? (TO)	1800.04	1807.31	1068726
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-9_ext.xml	? (TO)	1800.04	1816.41	1058519
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-16_ext.xml	? (TO)	1800.04	1816.01	1058565
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-39_ext.xml	? (TO)	1800.04	1804.91	1058795
csp/ukVg/ normalized-crossword-m1c-uk-vg11-11_ext.xml	? (TO)	1800.05	1810.11	1068404
csp/ogdVg/ normalized-crossword-m1c-ogd-vg10-14_ext.xml	? (TO)	1800.05	1807.21	1107588
csp/ogdVg/ normalized-crossword-m1c-ogd-vg11-13_ext.xml	? (TO)	1800.05	1814.91	1076022
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-37_ext.xml	? (TO)	1800.05	1804.71	1056932
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-38_ext.xml	? (TO)	1800.05	1810.91	1095253
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-30_ext.xml	? (TO)	1800.05	1816.21	1058588
csp/pret/ normalized-pret-150-25_ext.xml	? (TO)	1800.05	1807.41	1047046
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-44_ext.xml	? (TO)	1800.05	1809.81	1058657
csp/dubois/ normalized-dubois-100_ext.xml	? (TO)	1800.05	1812.71	1050920
csp/ogdVg/ normalized-crossword-m1c-ogd-vg10-11_ext.xml	? (TO)	1800.05	1813.31	1075792
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-3_ext.xml	? (TO)	1800.05	1802.31	1078553
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-35_ext.xml	? (TO)	1800.06	1802.51	1058933
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-31_ext.xml	? (TO)	1800.06	1808.21	1095460
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-39_ext.xml	? (TO)	1800.06	1811.21	1056840
csp/ukVg/ normalized-crossword-m1c-uk-vg10-13_ext.xml	? (TO)	1800.06	1814.21	1068358
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-40_ext.xml	? (TO)	1800.06	1813.91	1072332
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-23_ext.xml	? (TO)	1800.06	1812.21	1072516
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-20_ext.xml	? (TO)	1800.06	1806.91	1095506
csp/ukVg/ normalized-crossword-m1c-uk-vg7-8_ext.xml	? (TO)	1800.06	1823.31	1068956
csp/ogdVg/ normalized-crossword-m1c-ogd-vg7-11_ext.xml	? (TO)	1800.06	1800.51	1076689
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-30_ext.xml	? (TO)	1800.06	1812.81	1095276
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-50_ext.xml	? (TO)	1800.06	1807.91	1056863
csp/ogdVg/ normalized-crossword-m1c-ogd-vg11-12_ext.xml	? (TO)	1800.06	1801.81	1076068
csp/ukVg/ normalized-crossword-m1c-uk-vg11-12_ext.xml	? (TO)	1800.06	1809.61	1068795
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-10_ext.xml	? (TO)	1800.06	1811.91	1059002
csp/dubois/ normalized-dubois-29_ext.xml	? (TO)	1800.06	1807.21	1050966
csp/ukVg/ normalized-crossword-m1c-uk-vg9-12_ext.xml	? (TO)	1800.07	1804.51	1068703
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-27_ext.xml	? (TO)	1800.07	1814.71	1059025
csp/pret/ normalized-pret-150-40_ext.xml	? (TO)	1800.07	1802.01	1047023
csp/pret/ normalized-pret-150-75_ext.xml	? (TO)	1800.07	1807.11	1047069
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-1_ext.xml	? (TO)	1800.07	1808.21	1057093
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-47_ext.xml	? (TO)	1800.07	1807.51	1056679
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-17_ext.xml	? (TO)	1800.07	1804.61	1058910
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-18_ext.xml	? (TO)	1800.07	1801.31	1058841
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-31_ext.xml	? (TO)	1800.07	1812.11	1059048
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-40_ext.xml	? (TO)	1800.07	1803.61	1059163
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-29_ext.xml	? (TO)	1800.07	1813.11	1058956
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-38_ext.xml	? (TO)	1800.07	1807.61	1058979
csp/ogdVg/ normalized-crossword-m1c-ogd-vg8-11_ext.xml	? (TO)	1800.07	1800.71	1076482
csp/ogdVg/ normalized-crossword-m1c-ogd-vg12-14_ext.xml	? (TO)	1800.07	1802.61	1076413
csp/ukVg/ normalized-crossword-m1c-uk-vg8-10_ext.xml	? (TO)	1800.08	1803.81	1068427
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-45_ext.xml	? (TO)	1800.08	1807.21	1056748
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-34_ext.xml	? (TO)	1800.08	1810.01	1095759
csp/ukVg/ normalized-crossword-m1c-uk-vg6-8_ext.xml	? (TO)	1800.08	1815.81	1068864
csp/ukVg/ normalized-crossword-m1c-uk-vg6-10_ext.xml	? (TO)	1800.08	1812.81	1068243
csp/ogdVg/ normalized-crossword-m1c-ogd-vg7-10_ext.xml	? (TO)	1800.08	1816.61	1076183
csp/rand-3-24-24-fcd/ normalized-rand-3-24-24-76-632-fcd-1_ext.xml	? (TO)	1800.08	1812.91	1072148
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-37_ext.xml	? (TO)	1800.08	1808.81	1095667
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-40_ext.xml	? (TO)	1800.08	1810.71	1095230
csp/ogdVg/ normalized-crossword-m1c-ogd-vg8-10_ext.xml	? (TO)	1800.08	1801.81	1076551
csp/wordsVg/ normalized-crossword-m1c-words-vg6-7_ext.xml	? (TO)	1800.08	1804.31	1066452
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-21_ext.xml	? (TO)	1800.08	1803.01	1095575
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-38_ext.xml	? (TO)	1800.09	1800.81	1056886
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-16_ext.xml	? (TO)	1800.09	1800.81	1095644
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-8_ext.xml	? (TO)	1800.09	1807.31	1058726
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-20_ext.xml	? (TO)	1800.09	1803.61	1059071
csp/ogdVg/ normalized-crossword-m1c-ogd-vg10-10_ext.xml	? (TO)	1800.09	1808.81	1076160
csp/ukVg/ normalized-crossword-m1c-uk-vg11-14_ext.xml	? (TO)	1800.09	1806.71	1068473
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-42_ext.xml	? (TO)	1800.09	1803.01	1058749
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-36_ext.xml	? (TO)	1800.09	1807.01	1057047
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-23_ext.xml	? (TO)	1800.1	1809.21	1095483
csp/ogdVg/ normalized-crossword-m1c-ogd-vg11-14_ext.xml	? (TO)	1800.1	1817.61	1076114
csp/ukVg/ normalized-crossword-m1c-uk-vg10-11_ext.xml	? (TO)	1800.1	1807.41	1068335
csp/varDimacs/ normalized-hole-10_ext.xml	? (TO)	1800.1	1809.21	1083010
csp/ogdVg/ normalized-crossword-m1c-ogd-vg9-10_ext.xml	? (TO)	1800.1	1805.01	1076252
csp/ukVg/ normalized-crossword-m1c-uk-vg9-13_ext.xml	? (TO)	1800.1	1808.81	1068496
csp/ukVg/ normalized-crossword-m1c-uk-vg11-13_ext.xml	? (TO)	1800.1	1810.31	1068519
csp/rand-3-24-24/ normalized-rand-3-24-24-76-632-17_ext.xml	? (TO)	1800.1	1805.31	1056794
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-48_ext.xml	? (TO)	1800.1	1808.91	1095322
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-46_ext.xml	? (TO)	1800.1	1815.71	1095529
csp/dubois/ normalized-dubois-50_ext.xml	? (TO)	1800.1	1813.91	1050989
csp/pret/ normalized-pret-150-60_ext.xml	? (TO)	1800.1	1808.31	1046931
csp/ukVg/ normalized-crossword-m1c-uk-vg9-10_ext.xml	? (TO)	1800.1	1802.51	1068634
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-7_ext.xml	? (TO)	1800.1	1807.31	1095598
csp/ogdVg/ normalized-crossword-m1c-ogd-vg7-8_ext.xml	? (TO)	1800.11	1806.51	1107612
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-24_ext.xml	? (TO)	1800.11	1812.41	1095782
csp/ogdVg/ normalized-crossword-m1c-ogd-vg11-11_ext.xml	? (TO)	1800.11	1817.11	1075861
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-1_ext.xml	? (TO)	1800.11	1805.71	1078530
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-35_ext.xml	? (TO)	1800.11	1801.71	1095805
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-32_ext.xml	? (TO)	1800.11	1802.31	1095391
csp/rand-3-28-28-fcd/ normalized-rand-3-28-28-93-632-fcd-27_ext.xml	? (TO)	1800.11	1806.91	1095207
csp/rand-3-28-28/ normalized-rand-3-28-28-93-632-24_ext.xml	? (TO)	1800.11	1813.11	1058611

CSP 2008 Competition: benchmarks results per solver

Result page for solver mddc-solv 2008-06-09

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

Solver proved unsatisfiability (UNSATISFIABLE) (290 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (286 runs) [Show/Hide]

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