SAT 2011 Competition: main competition (phase 1): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.012997	0.0128629	3293351
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.041993	0.0427639	3291097
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.094985	0.094881	3291143
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.148977	0.147695	3292983
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.308952	0.314176	3281989
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	0.354945	0.355599	3287325
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.696893	0.69867	3290959
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	1.02784	1.03044	3287831
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.20981	1.20993	3280793
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	1.27881	1.2806	3287877
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	1.48077	1.48099	3288199
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	2.10868	2.1114	3287693
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	2.5986	2.60164	3290591
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	2.99354	2.99409	3287601
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	3.59945	4.55426	3280839
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	3.82842	3.8354	3287969
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	4.30135	4.30727	3287647
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	5.52116	5.52361	3288153
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	6.16606	6.17814	3287371
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	7.61084	7.61754	3287785
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	8.33973	8.34247	3286405
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	10.4614	14.0695	3293765
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	10.6014	10.6073	3283277
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	10.7734	10.7891	3290913
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	11.6172	11.9075	3293857
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	12.1512	29.1542	3293811
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	12.965	12.9661	3293075
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	13.7519	13.7565	3280747
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	14.4798	19.316	3291879
manol-pipe-c6bidw_i.cnf	UNSAT	15.8396	15.8448	3281713
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	16.7505	27.0995	3284703
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	22.7585	23.1246	3285945
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	23.5794	23.5949	3287049
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	27.9198	27.9205	3286497
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	34.7297	34.733	3290453
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	40.9378	40.9425	3280103
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	46.9379	46.9414	3287739
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	50.5163	50.5237	3283185
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	51.1782	51.1831	3293489
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	51.2762	51.2812	3291925
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	67.1918	67.195	3286589
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	69.6064	69.775	3293213
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	73.6288	73.6315	3283323
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	78.952	78.9568	3290545
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	100.418	102.306	3284841
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	106.467	106.469	3287923
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	127.937	127.94	3283001
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	135.295	135.315	3280471
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	145.463	145.469	3282955
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	147.581	147.584	3285991
manol-pipe-f7nidw.cnf	UNSAT	158.479	158.48	3281805
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	181.946	181.951	3288245
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	192.933	192.962	3283093
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	239.116	239.116	3286773
manol-pipe-c10nidw.cnf	UNSAT	273.764	273.759	3281621
velev-pipe-o-uns-1.1-6.cnf	UNSAT	345.859	345.862	3284197
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	401.531	401.528	3285807
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	427.402	427.387	3291235
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	443.479	443.487	3286221
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	506.152	506.151	3283507
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	555.022	555.015	3288429
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	571.514	571.508	3286911
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	589.403	589.402	3288061
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	599.316	599.303	3288659
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	601.388	601.378	3288475
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	617.248	617.236	3288337
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	624.58	624.568	3288613
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	659.411	659.441	3293029
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	799.686	799.675	3288705
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	962.376	962.841	3292753
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	1071.03	1071.01	3286313
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	1090.09	1090.08	3285761
velev-pipe-o-uns-1.0-7.cnf	UNSAT	1095.14	1095.16	3284243
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	1235.7	1235.66	3291649

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.008997	0.0125971	3292477
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.013997	0.0182619	3292523
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.016996	0.0184219	3292707
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.022995	0.0266429	3293259
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.023995	0.0220421	3292569
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.024995	0.02956	3290269
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.028995	0.02834	3292615
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.182971	0.180804	3293305
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.534917	0.533831	3292891
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.705892	0.70615	3284335
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	1.09483	1.09696	3286543
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	1.21981	1.22935	3284519
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.2898	1.29039	3283875
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.64775	1.65084	3284427
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	1.91271	1.91227	3283369
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	2.70659	2.72087	3284381
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	2.96655	2.97643	3287233
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	3.14052	3.14275	3286957
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	4.24535	4.25366	3287187
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	4.92225	5.26708	3284749
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	4.93125	4.93344	3287095
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	6.11407	22.846	3284565
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	7.08492	25.4267	3284473
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	7.15891	7.27325	3283783
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	10.2084	54.5111	3284657
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	11.6782	11.6822	3290683
application/manthey/ traffic/traffic_r_sat.cnf	SAT	12.822	12.8344	3288567
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	13.8999	13.9036	3281529
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	14.6648	14.6673	3290223
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	17.7803	17.7846	3282817
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	19.1301	19.9565	3292109
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	20.1839	20.19	3290821
ibm-2002-21r-k95.cnf	SAT	20.2809	33.1457	3284289
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	20.3769	20.3913	3287003
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	21.9037	21.9236	3286267
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	23.7614	23.7628	3290637
ibm-2004-01-k90.cnf	SAT	24.7402	24.7442	3281897
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	24.8552	24.8576	3281391
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	27.2139	27.2179	3281437
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	38.6581	38.6591	3291189
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	39.188	39.1906	3292293
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	40.0719	40.0896	3283139
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	41.7317	41.7362	3283691
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	44.3653	45.1184	3283047
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	52.373	61.2314	3285209
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	53.6408	53.6488	3282679
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	54.5867	54.6739	3289349
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	66.2529	66.2606	3292155
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	66.4569	66.5033	3285071
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	71.6121	71.6222	3290499
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	85.0221	85.02	3293397
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	95.4935	95.4961	3285899
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	104.815	104.844	3284979
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	111.102	111.106	3289533
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	125.45	125.452	3286175
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	127.054	127.078	3285439
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	128.658	128.679	3286129
velev-pipe-sat-1.0-b9.cnf	SAT	138.477	138.493	3284151
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	139.793	139.794	3286359
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	140.652	140.654	3283737
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	145.623	145.642	3288383
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	151.442	151.476	3286037
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	154.542	154.545	3291741
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	209.016	209.03	3292339
ibm-2004-23-k100.cnf	SAT	237.258	237.264	3281759
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	241.142	242.682	3293443
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	SAT	250.483	250.48	3282725
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	268.149	268.372	3283553
mizh-sha0-36-4.cnf	SAT	297.151	297.154	3281667
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	347.982	347.973	3290775
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	348.684	348.685	3288521
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	355.077	355.128	3281299
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	SAT	375.866	376.319	3285255
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	376.434	376.431	3282909
velev-npe-1.0-9dlx-b71.cnf	SAT	431.997	431.994	3284105
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	539.817	539.804	3289441
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	674.983	674.97	3283967
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	688.671	688.662	3283231
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	770.187	770.173	3286451
ibm-2002-30r-k85.cnf	SAT	946.76	946.959	3281851
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	1058.6	1058.55	3281253
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	1088.37	1088.34	3281483
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	1151.2	1151.2	3292661

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1285.36	1300.01	3284933
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1293.76	1300.02	3284887
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1295.09	1300.01	3292017
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1296	1300.01	3285025
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1296.61	1300.02	3285577
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1298.68	1300.01	3292385
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1299.2	1300.01	3293581
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1299.47	1300.01	3293627
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1299.49	1300.01	3293121
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1299.58	1300.01	3293673
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1299.73	1300.01	3289947
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1299.93	1300.02	3291833
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1299.93	1300.01	3284059
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1299.96	1300.01	3285715
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1299.97	1300.01	3280885
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1299.97	1300.01	3287463
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1299.97	1300.01	3280333
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1299.97	1300.01	3280195
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1299.97	1300.01	3290085
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1299.97	1300.01	3292431
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1299.97	1300.01	3281943
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1299.97	1300.01	3282541
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1299.98	1300.01	3289717
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1299.98	1300.01	3282357
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1299.98	1300.01	3285347
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1299.98	1300.01	3285301
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1299.98	1300.01	3282265
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1299.98	1300.01	3281069
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1299.99	1300.01	3280379
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1299.99	1300.01	3280701
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1299.99	1300.01	3292201
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1299.99	1300.01	3289901
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1299.99	1300.01	3286727
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1299.99	1300.01	3286681
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1299.99	1300.01	3284611
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300	1300.02	3284795
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300	1300.01	3285623
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300	1300.01	3291971
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300	1300.01	3291787
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300	1300.01	3291281
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300	1300.01	3287417
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1300	1300.01	3293719
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300	1300.01	3285163
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.01	1300.01	3288291
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.01	1300.01	3286635
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.01	1300.01	3293535
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.01	1300.01	3291695
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	1300.01	1300.01	3284013
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.01	1300.01	3285393
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.01	1300.01	3283415
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.01	1300.01	3287555
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.01	1300.01	3288935
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.01	1300.01	3280563
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.01	1300.02	3292063
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.01	1300.02	3285485
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.01	1300.01	3282449
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.01	1300.01	3288107
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.01	1300.01	3285669
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.01	1300.01	3282311
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.02	1300.01	3291603
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.02	1300.01	3289993
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.02	1300.01	3291419
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.02	1300.01	3291373
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.02	1300.01	3291327
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.02	1300.01	3290729
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.02	1300.01	3289165
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.02	1300.01	3286083
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.02	1300.01	3285531
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.02	1300.01	3285117
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.02	1300.01	3287279
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.02	1300.01	3288015
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.02	1300.01	3283645
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.02	1300.01	3283599
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.02	1300.01	3283461
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.02	1300.01	3280149
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.02	1300.01	3280241
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.02	1300.02	3281115
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.02	1300.01	3281161
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.02	1300.01	3282035
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.02	1300.01	3282495
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.03	1300.01	3282771
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.03	1300.01	3289855
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.03	1300.01	3281207
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.03	1300.01	3285853
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.03	1300.01	3291465
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1300.03	1300.01	3280977
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.03	1300.01	3281575
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	1300.03	1300.01	3286865
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.03	1300.01	3291557
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.04	1300.01	3288751
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.04	1300.01	3289073
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.04	1300.01	3282173
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.04	1300.01	3288843
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.04	1300.01	3288889
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.04	1300.01	3288981
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290039
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.04	1300.01	3283829
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.04	1300.01	3287509
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.04	1300.01	3289487
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.04	1300.02	3293167
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.04	1300.01	3289579
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.04	1300.01	3289395
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.04	1300.01	3289303
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.04	1300.02	3287141
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.04	1300.01	3289211
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.04	1300.01	3291511
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.04	1300.01	3288797
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.04	1300.01	3289027
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.04	1300.01	3283921
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.04	1300.01	3291005
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.04	1300.01	3282633
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.04	1300.01	3282403
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.04	1300.01	3291051
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	? (TO)	1300.04	1300.01	3286819
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.04	1300.01	3282127
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	? (TO)	1300.05	1300.01	3289257
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	? (TO)	1300.05	1300.01	3292247
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.05	1300.01	3289625
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.05	1300.01	3289671
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.05	1300.01	3289763
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.05	1300.01	3289809
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.05	1300.01	3292799
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.05	1300.01	3292845
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	1300.05	1300.01	3292937
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.05	1300.01	3282863
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290131
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.05	1300.02	3280287
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290177
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.05	1300.01	3280425
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.05	1300.01	3280517
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.05	1300.01	3280609
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.05	1300.01	3280655
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.05	1300.01	3280931
industrial/manolios/ manol-pipe-f7idw.cnf	? (TO)	1300.05	1300.01	3281023
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.05	1300.01	3282587
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.05	1300.02	3281345
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.05	1300.01	3282081
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.05	1300.01	3282219
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.05	1300.01	3289119
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.06	1300.01	3290361
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.06	1300.01	3290315
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.06	1300.01	3290407
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	1300.07	1300.01	3290867

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.005998	0.0077159	3266174
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.046992	0.047857	3261246
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.212967	0.212782	3265998
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	0.795878	0.800428	3265074
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.85187	0.862486	3261510
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	1.18282	1.18449	3265382
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	1.41878	1.42285	3263974
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	1.69174	1.69323	3265162
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	4.43433	4.43566	3260718
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	5.34819	5.3526	3261114
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	18.3822	18.3873	3266218
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	31.9391	31.9426	3264018
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	165.913	165.913	3266614
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	216.99	216.986	3266570
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	229.946	229.949	3262126
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	241.352	241.354	3262258
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	275.074	275.07	3261378
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	362.498	362.495	3260674
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	367.913	367.909	3262654
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	517.83	517.821	3260806
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	554.255	554.239	3260982
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	928.713	928.689	3263930
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	976.857	976.848	3266086
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	1024.45	1024.48	3262214
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	1143.34	1143.31	3261862

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.009998	0.012869	3259926
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.009998	0.0151651	3261642
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.010997	0.013037	3261598
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.014996	0.0178381	3260366
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.014996	0.016221	3261026
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.014996	0.017967	3260234
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.014997	0.0160201	3266130
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.014997	0.014729	3260278
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.014997	0.0159091	3261158
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.017996	0.018172	3260410
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.021995	0.0222529	3260498
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.044993	0.0444019	3261422
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.046991	0.0472649	3265866
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.047992	0.048426	3257682
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.061989	0.069867	3266042
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.066989	0.067215	3260454
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.085985	0.0884029	3259882
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.086986	0.0884631	3260190
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.095984	0.114584	3260058
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.100983	0.100929	3260146
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.102983	0.103214	3260102
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.12998	0.131667	3259970
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	0.18797	0.189317	3261730
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.25096	0.251704	3260322
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.294954	0.292734	3260014
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	0.303953	0.305582	3249232
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.375942	0.380724	3257506
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.591909	0.592232	3261774
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	1.27181	1.32354	3265602
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	2.05669	2.05856	3264326
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	2.56761	2.57143	3266834
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	2.5896	2.59434	3260894
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	4.30135	4.30668	3264370
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	4.79327	4.79255	3260630
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	12.6171	12.6191	3257418
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	26.053	26.0601	3273537
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	34.1868	34.1898	3260762
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	35.7546	35.7682	3274054
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	39.362	39.3679	3261070
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	49.2125	49.2103	3260542
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	55.5226	55.5265	3261466
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	66.6849	66.6877	3266790
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	78.2891	78.2942	3257946
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	106.501	106.509	3264590
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	121.749	121.837	3261906
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	136.917	138.122	3266702
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	140.603	140.604	3274195
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	188.632	188.635	3260586
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	198.07	198.068	3261290
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	199.797	199.796	3264282
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	218.252	218.259	3262082
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	232.204	232.201	3260850
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	241.501	241.508	3266746
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	298.525	298.512	3260938
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	313.429	313.438	3266966
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	367.655	367.648	3258122
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	369.748	369.745	3259794
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	851.619	851.609	3261818
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	865.372	865.347	3264986
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	949.879	949.877	3259750
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	989.894	989.875	3273396

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	1298.86	1300.01	3266306
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1299.18	1300.01	3250992
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	1299.4	1300.01	3250948
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1299.66	1300.01	3250508
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1299.84	1300.01	3251124
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	1299.93	1300.01	3251080
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1299.93	1300.01	3258386
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1299.94	1300.01	3265206
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1299.95	1300.01	3250376
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1299.96	1300.01	3259574
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1299.96	1300.01	3261202
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	1299.97	1300.01	3273913
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1299.97	1300.01	3250068
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1299.97	1300.01	3249320
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	1299.98	1300.01	3258606
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	? (TO)	1299.98	1300.01	3262346
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	1299.98	1300.01	3261554
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1299.98	1300.01	3251564
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1299.99	1300.01	3250860
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	1299.99	1300.01	3265690
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1299.99	1300.01	3249672
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	1299.99	1300.01	3273584
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1299.99	1300.01	3250244
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1299.99	1300.01	3259134
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1299.99	1300.01	3250684
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1300	1300.01	3249144
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1300	1300.01	3257374
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1300	1300.01	3249496
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1300	1300.01	3262918
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1300	1300.01	3258694
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1300	1300.01	3249452
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	1300	1300.01	3264898
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1300	1300.01	3258474
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1300.01	1300.01	3249848
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1300.01	1300.01	3249540
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	1300.01	1300.01	3266438
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1300.01	1300.01	3250200
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1300.01	1300.01	3249584
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1300.01	1300.01	3257330
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300.01	1300.01	3249716
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1300.01	1300.01	3249628
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1300.01	1300.01	3257638
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1300.01	1300.01	3259398
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1300.01	1300.01	3263446
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1300.01	1300.01	3265470
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1300.01	1300.01	3249188
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.01	1300.01	3249276
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	1300.01	1300.01	3264150
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300.01	1300.01	3249364
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1300.01	1300.01	3249408
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300.02	1300.01	3249804
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1300.02	1300.01	3259662
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.02	1300.01	3249892
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1300.02	1300.01	3250464
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.02	1300.01	3250640
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300.02	1300.01	3249760
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	1300.02	1300.01	3251520
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1300.02	1300.01	3250596
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1300.02	1300.01	3265118
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1300.02	1300.01	3257462
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	1300.02	1300.01	3259266
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1300.02	1300.01	3264854
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.02	1300.01	3251036
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1300.02	1300.01	3265250
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	1300.02	1300.01	3266878
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	1300.02	1300.01	3251300
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	1300.02	1300.01	3265338
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1300.02	1300.01	3257726
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	? (TO)	1300.03	1300.01	3261334
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300.03	1300.01	3273631
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	1300.03	1300.01	3259222
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	1300.03	1300.01	3262698
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1300.03	1300.01	3273866
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1300.03	1300.01	3250024
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.03	1300.01	3250112
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	1300.03	1300.01	3251476
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300.03	1300.01	3250288
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	1300.03	1300.01	3262566
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300.03	1300.01	3257550
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	1300.03	1300.01	3266350
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1300.03	1300.01	3258210
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.03	1300.01	3258738
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	1300.03	1300.01	3258870
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	1300.03	1300.01	3262742
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1300.03	1300.01	3259310
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	1300.03	1300.01	3259354
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1300.03	1300.01	3250772
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.03	1300.01	3259618
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1300.03	1300.01	3263490
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	1300.03	1300.01	3266526
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	1300.03	1300.01	3266262
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	1300.03	1300.01	3265646
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.03	1300.01	3263314
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	1300.03	1300.01	3263270
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	1300.03	1300.01	3265910
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	1300.03	1300.01	3265426
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1300.03	1300.01	3265294
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1300.03	1300.01	3259706
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1300.03	1300.01	3274242
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1300.03	1300.01	3262038
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1300.03	1300.01	3249980
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1300.04	1300.01	3258562
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	1300.04	1300.01	3251652
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	1300.04	1300.01	3251608
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.04	1300.01	3265558
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1300.04	1300.01	3265514
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.04	1300.01	3251432
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	1300.04	1300.01	3251388
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	? (TO)	1300.04	1300.01	3266922
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1300.04	1300.01	3251344
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.04	1300.01	3250904
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1300.04	1300.01	3263534
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1300.04	1300.01	3263402
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1300.04	1300.01	3263358
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	? (TO)	1300.04	1300.01	3265954
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	1300.04	1300.01	3265822
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1300.04	1300.01	3265778
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	1300.04	1300.01	3265734
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1300.04	1300.01	3263182
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1300.04	1300.01	3263138
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1300.04	1300.01	3262786
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.04	1300.01	3262610
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.04	1300.01	3250728
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	1300.04	1300.01	3262522
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	1300.04	1300.01	3262478
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	1300.04	1300.01	3262434
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	? (TO)	1300.04	1300.01	3262302
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	1300.04	1300.01	3262170
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	1300.04	1300.01	3250332
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	1300.04	1300.01	3261686
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1300.04	1300.01	3249936
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1300.04	1300.01	3273960
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	1300.04	1300.01	3273819
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1300.04	1300.01	3261994
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	1300.04	1300.01	3250420
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1300.04	1300.01	3273490
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	1300.04	1300.01	3273443
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1300.04	1300.01	3259838
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	1300.04	1300.01	3259530
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1300.04	1300.01	3259178
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1300.04	1300.01	3259002
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	1300.04	1300.01	3258958
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.04	1300.01	3258914
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1300.04	1300.01	3258826
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1300.04	1300.01	3258782
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300.04	1300.01	3258518
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	? (TO)	1300.04	1300.01	3258430
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1300.04	1300.01	3258342
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	1300.04	1300.01	3258298
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	1300.04	1300.01	3258254
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1300.04	1300.01	3258166
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.04	1300.01	3258078
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	1300.04	1300.01	3257814
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300.04	1300.01	3257770
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1300.04	1300.01	3257594
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.04	1300.01	3258650
crafted/spence/ hard/s113-100.cnf	? (TO)	1300.04	1300.01	3257242
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1300.04	1300.01	3257286
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	1300.05	1300.01	3266394
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1300.05	1300.01	3251212
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1300.05	1300.01	3263050
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	1300.05	1300.01	3274148
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300.05	1300.01	3263094
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1300.05	1300.01	3263226
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	1300.05	1300.01	3264062
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	1300.05	1300.01	3264106
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1300.05	1300.01	3264238
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.05	1300.01	3264414
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.05	1300.01	3264458
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	1300.05	1300.01	3274101
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1300.05	1300.01	3274007
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1300.05	1300.01	3251696
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	1300.05	1300.01	3264502
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1300.05	1300.01	3250816
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	1300.05	1300.01	3257858
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	1300.05	1300.01	3273772
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1300.05	1300.01	3273725
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1300.05	1300.01	3273678
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1300.05	1300.01	3262830
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	1300.05	1300.01	3261950
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1300.05	1300.01	3263622
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.05	1300.01	3251256
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1300.05	1300.02	3259486
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	1300.05	1300.02	3259442
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	1300.05	1300.01	3251168
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1300.05	1300.01	3264546
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	1300.05	1300.01	3259090
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.05	1300.01	3259046
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	1300.05	1300.01	3266482
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	1300.05	1300.01	3264942
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1300.05	1300.01	3258034
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1300.05	1300.01	3264634
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300.05	1300.01	3257990
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	1300.05	1300.01	3257902
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.05	1300.01	3250156
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	1300.05	1300.01	3262390
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1300.05	1300.01	3250552
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	1300.05	1300.01	3263886
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1300.06	1300.01	3262962
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	1300.06	1300.01	3264810
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	? (TO)	1300.06	1300.01	3266658
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	1300.06	1300.01	3263006
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1300.06	1300.01	3264194
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.06	1300.01	3263666
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	1300.06	1300.01	3263710
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1300.06	1300.01	3263754
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1300.06	1300.01	3263798
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1300.06	1300.01	3263842
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.06	1300.01	3264678
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	1300.06	1300.01	3264722
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1300.06	1300.01	3264766
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1300.06	1300.01	3265030
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1300.06	1300.01	3263578
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1300.07	1300.01	3262874

SAT 2011 Competition: main competition (phase 1): benchmarks results per solver

Result page for solver rcl 2011-04-01 (complete)

Category "applications instances" (APPLICATION)

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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