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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.009997	0.0105381	3322738
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.020996	0.0216609	3322550
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.022996	0.0228299	3322552
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.300953	0.099518	3322722
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.607907	0.60891	3321321
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.628903	0.123624	3321373
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.701892	0.645514	3321686
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.889864	0.890736	3321323
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	1.66375	0.867643	3322544
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	1.68374	0.99397	3321688
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	1.73873	1.16342	3321702
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	2.04969	0.489719	3321664
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	2.12268	1.09567	3321680
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	2.22666	0.314661	3322726
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	3.53446	3.53559	3322760
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	8.06977	3.18976	3321676
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	10.9913	1.78122	3322528
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	11.4733	1.66604	3322630
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	12.6201	5.914	3321642
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	13.7479	3.75184	3321692
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	17.2624	16.0416	3321652
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	23.4424	4.03341	3321700
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	26.568	26.1731	3322758
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	27.8458	5.34279	3321422
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	29.2356	25.5834	3321434
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	31.4152	6.04686	3321684
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	40.7768	10.2091	3321646
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	66.089	8.49625	3322542
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	67.6157	9.22161	3321666
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	76.2304	9.92931	3322526
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	80.8157	12.7849	3321290
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	106.119	31.1006	3321318
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	109.27	17.2514	3321331
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	109.532	16.5154	3321640
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	110.013	14.9604	3321678
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	110.306	14.05	3322522
velev-pipe-o-uns-1.1-6.cnf	UNSAT	116.446	17.5832	3321525
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	127.661	49.0403	3321616
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	136.659	17.3452	3322632
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	161.354	26.353	3321550
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	176.738	24.4346	3322732
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	218.095	194.482	3321628
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	238.299	62.1916	3321606
manol-pipe-c6bidw_i.cnf	UNSAT	243.49	31.5785	3321361
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	267.996	118.821	3321430
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	271.593	152.911	3321436
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	311.324	42.07	3322744
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	311.48	44.6544	3322724
manol-pipe-f7nidw.cnf	UNSAT	312.512	43.3859	3321365
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	338.239	42.5297	3322348
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	369.27	47.359	3321682
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	448.33	64.1883	3322712
velev-pipe-o-uns-1.0-7.cnf	UNSAT	454.833	68.953	3321527
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	512.621	65.5952	3321704
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	523.443	69.5584	3321690
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	608.072	87.333	3321420
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	624.821	78.2164	3321306
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	690.21	493.305	3321556
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	781.999	111.628	3322720
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	824.052	775.649	3321632
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	871.749	116.193	3321712
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	969.755	129.211	3321714
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	1001.21	133.83	3321708
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	1030.37	139.925	3321720
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	1061.18	140.035	3321722
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	UNSAT	1107.62	138.831	3322714
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	1225.97	155.728	3321724
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	1348.77	169.101	3322346
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	1424.91	179.773	3321638
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	1441.36	336.933	3321444
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	1552.86	1521.91	3321604
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	1728.67	217.235	3322540
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	1734.77	222.811	3321426
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	1868.1	233.775	3321310
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	1927.13	1923.74	3322756
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	UNSAT	2067.53	259.141	3322716
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	2255.5	290.86	3321634
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	2609.39	326.523	3322728
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	2863.38	363.09	3321620
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	3050.9	888.776	3321596
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	3162.27	2392.64	3321598
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	3869.42	539.857	3322754
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	3992.66	585.896	3322605
manol-pipe-c10nidw.cnf	UNSAT	4324.2	547.514	3321357
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	4458.08	557.863	3321327
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	5712.55	1115.34	3321442
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	UNSAT	5929.51	748.832	3322534
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	6255.99	1160.25	3321568
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	7459.16	1154.01	3322636
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	7575.47	1603.92	3322748
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	UNSAT	7964.2	997.238	3322358
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	8031.77	1006.21	3321696
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	UNSAT	9152.42	1163.9	3321300
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	9193.94	2046.58	3322746
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	UNSAT	9394.33	1178.45	3321304
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	9545.15	1537.34	3321345
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	UNSAT	10001.5	1252.17	3321458
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	11309.5	1874.67	3321355
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	12152.4	1522.49	3321674
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	15451.1	1936.03	3321698
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	UNSAT	16266.1	2312.17	3322595
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	UNSAT	16870.8	2127.03	3321298
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	UNSAT	17150.5	2457.45	3321440
application/fuhs/ AProVE11/AProVE11-06.cnf	UNSAT	18821.7	2382.64	3321546
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	UNSAT	18837.5	2643.9	3322603
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	UNSAT	18986.5	2695.41	3322730
industrial/fuhs/hard/ AProVE07-01.cnf	UNSAT	19897.7	2489.41	3321308
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	UNSAT	22211.2	2780.87	3322589
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	UNSAT	23488.1	3496.99	3322634
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	UNSAT	25831.5	3687	3322593
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	UNSAT	26703.2	3878.92	3321576
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	UNSAT	33037.2	4133.18	3321325

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.003998	0.00983996	3322688
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.004998	0.00936589	3322690
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.012997	0.0153671	3322734
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.013997	0.012683	3322692
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.014996	0.0107321	3322514
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.019996	0.0131481	3322710
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.047992	0.027245	3322694
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.281956	0.103398	3322736
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	0.693894	0.106966	3322512
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.882865	0.668585	3322718
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.941855	0.633713	3321534
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	1.3158	1.01354	3321650
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	1.69874	1.13432	3321536
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1.76673	1.37844	3321644
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	3.3055	2.29506	3321542
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	3.39048	3.25531	3321460
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	3.52846	3.14744	3321630
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	3.54846	2.05652	3322624
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	4.34934	3.66267	3321538
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	4.74928	3.73624	3321660
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	5.52816	1.04919	3321409
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	5.64814	4.0193	3321658
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	6.85896	6.22252	3321438
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	6.91495	5.4113	3321540
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	7.16791	4.20192	3321648
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	7.36988	5.992	3321552
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	7.63184	1.31202	3322680
ibm-2002-21r-k95.cnf	SAT	9.33158	4.5523	3321529
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	10.0835	6.0664	3321544
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	25.4041	22.6672	3321456
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	29.1876	24.0002	3322642
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	37.8732	34.6426	3321548
application/manthey/ traffic/traffic_r_sat.cnf	SAT	41.5467	19.1626	3321718
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	45.3991	6.98758	3322532
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	94.0287	14.8607	3321353
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	95.5655	12.456	3322740
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	96.5543	72.845	3321618
ibm-2004-01-k90.cnf	SAT	134.039	17.8225	3321369
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	140.797	55.9351	3321614
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	143.118	56.401	3322538
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	176.622	54.4331	3322554
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	186.775	31.2803	3322530
velev-pipe-sat-1.0-b9.cnf	SAT	194.175	123.906	3321523
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	268.785	47.1856	3322524
mizh-sha0-36-4.cnf	SAT	272.87	34.6691	3321359
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	302.772	39.983	3321428
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	313.731	242.426	3321626
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	319.143	46.2727	3322742
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	366.748	104.677	3321452
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	371.011	46.7801	3321403
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	429.994	61.9853	3322678
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	446.592	251.489	3321454
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	530.154	71.7792	3321636
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	602.001	77.9182	3322360
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	821.735	190.974	3321446
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	830.77	735.233	3321602
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	891.629	741.311	3321612
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	906.449	834.771	3321572
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	923.89	214.006	3321316
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	929.89	912.733	3321566
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	1061.42	246.451	3322536
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	1122.33	948.472	3321622
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	1143.04	831.591	3321608
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	1225.01	915.224	3321582
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	1253.48	1233.39	3321562
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	1271.32	159.455	3321413
ibm-2004-23-k100.cnf	SAT	1480.76	189.965	3321363
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	1677.5	370.433	3321432
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	2081.52	261.029	3321329
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	2085.42	264.483	3321343
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	2313.88	289.785	3322520
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	3153.86	394.995	3322508
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	3298.95	544.809	3321296
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	3773.29	476.605	3321351
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	3882.99	556.614	3322682
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	4415.38	558.296	3321341
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	4485.32	4472.28	3321349
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	4912.51	617.127	3322352
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	5917.49	2406.66	3322696
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	SAT	6860.5	4639.07	3321574
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	6986.16	1150.83	3322356
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	SAT	7644.43	958.095	3322686
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	SAT	9467.52	1405.78	3321594
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	9570.66	1197.75	3321411
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	9661.89	1622.19	3321448
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	SAT	9990.6	3395.9	3321560
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	SAT	11015.9	1383.83	3322626
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	11595.5	1655.29	3322676
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	SAT	13072.3	1701.36	3321314
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	SAT	14442.2	3366.18	3321584
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT	15883	2250.61	3321450
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	19179.1	2578.13	3321294
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	SAT	22500	3662.54	3322354
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	SAT	25933.2	3244.98	3321405
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	SAT	32899.8	4473.46	3321292
ibm-2002-30r-k85.cnf	SAT	36326.2	4551.05	3321367
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	39985.1	5008.15	3322326

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	5102.97	5100.49	3321600
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	5103.5	5100.54	3321586
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (TO)	5103.62	5100.99	3321347
velev-npe-1.0-9dlx-b71.cnf	? (TO)	5106.44	5101.54	3321521
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (TO)	5118.7	5102.07	3321424
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	11790	5102.04	3321610
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	28966.4	5102.18	3322638
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	30648.1	5100.17	3322496
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	30687.2	5100.31	3322362
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	30687.7	5100.08	3322504
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	33264.8	5101.73	3322607
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	34928.8	5101.87	3321558
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	35293	5102.27	3322750
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	35527.9	5100.85	3321590
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	35645	5100.42	3322340
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	35659	5100.08	3322500
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	35659.2	5100.51	3322684
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	35663.4	5100.1	3322601
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	35664.8	5100.04	3322518
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	35674.7	5100.41	3322502
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	35694.2	5100.47	3322591
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	35716	5100.37	3322342
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	35739.9	5100.64	3322330
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	35745.4	5100.65	3322328
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	35786	5100.45	3322350
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	? (TO)	35790	5100.62	3321624
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	35793.4	5100.6	3322597
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	35804.7	5100.38	3322368
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	35861.8	5100.25	3322364
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	35882.9	5101.47	3321706
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	38948.6	5103.03	3321564
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	39010.3	5102.19	3321588
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	39104.2	5103.09	3322752
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	39344.9	5100.43	3322338
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	39476.6	5102.24	3321554
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	39727.6	5101.84	3321592
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	39750.9	5102.07	3321570
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	39769.3	5101.94	3322548
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	39790.2	5102.08	3322546
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	39999.7	5101.44	3321578
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	40000.2	5004.53	3321377
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	40000.3	5005.13	3321391
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	40000.3	5009.25	3322506
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	40000.4	5008.46	3322510
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	40000.5	5004.74	3321407
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	40000.5	5006.74	3322516
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	40000.6	5005.15	3321399
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	40000.7	5006.11	3321468
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	40000.8	5006.6	3322336
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	40000.8	5007.04	3321335
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	40000.8	5004.49	3321381
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	40000.8	5008.6	3322344
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	40000.8	5006.15	3322498
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	40001	5006.17	3322372
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	40001.1	5007.44	3321694
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	40001.1	5007	3321668
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	40001.2	5005.67	3321379
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	40001.2	5006.99	3322332
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	40001.2	5008.37	3321339
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	40001.3	5006.88	3321462
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	40001.3	5005.26	3321401
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	40001.3	5007.77	3322334
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	40001.3	5009.36	3322370
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	40001.3	5007.89	3321333
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	40001.3	5011.29	3321312
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	40001.4	5005.08	3321383
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	40001.4	5008.35	3321672
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	40001.4	5007.96	3322366
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	40001.5	5032.93	3321580
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	40001.5	5007.03	3321670
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	40001.5	5007.91	3321656
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	40001.5	5007.83	3321385
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	40001.9	5009.7	3322599
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	40001.9	5014.94	3321387
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	40002	5022.11	3321393
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	40002.1	5043.28	3321302
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	40002.1	5016.85	3321466
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	40002.3	5007.57	3321395

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	Signal 11	3.41448	2.67612	3321464
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	Signal 11	9.80351	8.30601	3321654
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	Signal 11	495.129	489.761	3322640
application/manthey/traffic/ traffic_3_uc_sat.cnf	Signal 11	742.43	118.629	3321716
application/manthey/traffic/ traffic_r_uc_sat.cnf	Signal 11	4386.72	566.734	3321710

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	Wrong Cert.	9.59354	8.22562	3321662
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	Wrong Cert.	27.4738	8.90359	3322587
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	Wrong Cert.	204.922	29.6296	3321371
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	Wrong Cert.	206.61	27.8352	3321337
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	Wrong Cert.	476.19	59.6442	3322628
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	Wrong Cert.	3028.98	410.774	3321375
APPLICATIONS/bitverif/ maxor/maxor128.cnf	Wrong Cert.	5601.71	717.153	3321389
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	Wrong Cert.	20915.6	2618.13	3321397

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.010997	0.0135619	3322698
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.053991	0.0193359	3322443
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	0.392939	0.394511	3322658
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.412936	0.0730059	3322451
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.580911	0.452998	3322672
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	1.18682	0.159841	3322653
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	2.21266	0.288272	3322584
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	2.72558	0.366276	3322439
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	2.78058	0.729977	3322651
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	6.50301	0.843915	3322585
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	6.67298	0.869811	3322428
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	6.85196	0.879198	3322699
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	43.3594	6.25692	3322674
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	51.0762	6.48418	3322436
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	94.8946	15.8545	3322493
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	102.075	12.8464	3322708
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	122.878	15.4783	3322474
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	134.039	17.0924	3322478
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	173.388	24.9811	3322447
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	194.998	27.9511	3322671
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	257.36	36.9839	3322445
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	311.758	39.1033	3322427
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	367.034	46.171	3322479
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	439.245	55.2072	3322477
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	475.773	59.8446	3322707
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	503.656	83.6565	3322659
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	673.802	84.4963	3322431
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	793.712	99.4507	3322468
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	904.984	129.561	3322670
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	1046.62	131.155	3322487
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	1092.45	136.818	3322583
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	UNSAT	1535.11	192.358	3322665
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	UNSAT	1695.74	242.911	3322568
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	UNSAT	1751.79	219.374	3322481
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	UNSAT	1888.71	270.369	3322664
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	2117.73	351.46	3322482
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	UNSAT	2791.42	349.462	3322666
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	UNSAT	3203.72	401.229	3322668
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	UNSAT	3405.34	487.019	3322667
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	UNSAT	4078.34	510.815	3322576
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	4724.56	591.663	3321471
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	UNSAT	4795.45	600.929	3322442
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	UNSAT	6110.18	874.568	3322471
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	UNSAT	6178.3	875.701	3322575
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	UNSAT	6628.44	830.568	3322573
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	UNSAT	6740.51	843.683	3322472
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	UNSAT	6804.14	853.236	3322567
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	UNSAT	6833.87	979.14	3322582
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	UNSAT	6855.65	858.628	3322569
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	UNSAT	8805.54	1102.23	3322491
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	UNSAT	9061.58	1291.03	3322566
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	UNSAT	9930.4	1243.57	3322560
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	UNSAT	10150.5	1447.5	3322558
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	UNSAT	11014.7	1378.31	3321481
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	UNSAT	11294.3	1616.15	3322574
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	UNSAT	11895.4	1489.3	3322616
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	UNSAT	12472.4	1562.75	3322579
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	12960.7	1854.71	3322562
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	UNSAT	14256	2037.91	3321507
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	UNSAT	14606.5	1828.51	3322440
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	UNSAT	15450	2200.84	3322572
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	UNSAT	18234.3	2282.68	3322617
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	UNSAT	19508.7	2790.72	3322559
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	UNSAT	21960.3	2748.73	3321470
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	UNSAT	23825.9	3405.17	3322565
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	UNSAT	27309.4	3421.46	3322577
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	UNSAT	31161.8	3902.37	3322475
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	UNSAT	38789.3	4855.47	3322557
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	UNSAT	38801.5	4861.67	3322581

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.005998	0.0131169	3322453
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.008997	0.0121391	3322396
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.009997	0.0128751	3322454
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.009997	0.014574	3322411
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.010997	0.013972	3322416
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.010997	0.015247	3322410
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.010998	0.0117511	3322457
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.012997	0.0125059	3322437
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.014997	0.0130921	3322448
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.014997	0.0149321	3322697
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.015997	0.0155719	3322418
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.017996	0.018294	3322421
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.025995	0.027614	3322673
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.040993	0.0295851	3322669
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.050991	0.045313	3321473
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.131979	0.112481	3322403
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.137978	0.121111	3322404
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.145977	0.126919	3322406
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.172972	0.154644	3322397
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.488924	0.345012	3322414
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	0.834872	0.137028	3322614
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	1.08383	0.16581	3322615
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	1.09283	0.231901	3322663
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	1.3238	0.490131	3322395
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	1.74373	0.229	3322456
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	2.77058	0.474166	3322387
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	4.91525	0.876142	3322422
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	4.92125	0.725744	3321417
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	6.66299	1.13619	3322425
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	9.16361	1.28748	3321483
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	9.56254	1.22246	3322613
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	12.1991	12.1435	3321469
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	21.0128	2.7278	3322430
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	35.1817	5.84863	3322423
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	36.6024	5.35574	3322772
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	42.7605	5.40154	3322434
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	48.3357	6.1981	3321479
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	50.2264	6.42701	3322473
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	61.6126	8.89846	3322432
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	61.8756	7.78433	3322620
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	72.458	9.26669	3322765
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	83.8193	10.8169	3322483
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	SAT	124.58	17.4326	3322784
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	146.194	18.3285	3322647
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	152.919	19.2046	3322390
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	156.686	19.7274	3321532
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	180.323	22.6424	3322465
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	191.878	24.0805	3322373
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	261.625	37.5844	3322469
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	261.814	38.3376	3321530
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	272.995	34.8139	3322761
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	SAT	293.84	36.8258	3322644
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	303.224	43.4605	3322449
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	348.318	43.8295	3322438
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	367.491	52.6842	3322376
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	438.319	62.7818	3322649
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	478.852	68.9091	3322769
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	481.427	60.4925	3321476
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	507.54	63.8634	3322783
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	657.969	82.433	3322645
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	814.965	102.324	3322480
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	871.855	109.274	3322435
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	950.084	136.112	3322455
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	1270.66	182.34	3322773
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	1289.35	184.651	3322779
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	SAT	1311.35	164.214	3322650
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	1357.74	196.203	3321531
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	1720.91	246.192	3321414
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	2058.86	294.787	3322702
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	2370.71	297.026	3321478
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	2853.92	357.464	3321490
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	SAT	3136.41	392.996	3322377
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	SAT	3220.88	403.192	3322643
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	SAT	3257.82	407.997	3321502
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	3600.42	514.253	3322578
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	SAT	3980.97	498.691	3322476
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	SAT	4053.94	507.788	3322646
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	4752.85	595.529	3322484
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	SAT	4816.21	689.33	3322648
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	SAT	7372.27	922.991	3322608
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	8622.11	1080.68	3322444
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	SAT	8720.5	1092.36	3322764
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	SAT	9817.32	1401.72	3322610
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	10798.4	1351.44	3321418
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	12421.3	1772.26	3322774
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	12465.3	1560.14	3321514
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	SAT	15518.1	1942.42	3322609
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	15860.9	1984.7	3321477
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	SAT	16048.4	2298.23	3322381
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	SAT	16077.1	2016.49	3322768
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	SAT	17652.9	2525.87	3322463
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	SAT	19301.6	2415.9	3321504
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	SAT	21599	2703.35	3321508
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	SAT	23287.4	3330.55	3322470
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	SAT	26828.1	3357.54	3321494
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	SAT	29084.9	3640.46	3321505
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	SAT	31422.9	3931.81	3321513
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	SAT	34059.6	4269.84	3322660

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	26307.9	5100.14	3322564
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	26792.3	5101.91	3322412
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	28451.4	5100.53	3322771
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	30578.2	5100.02	3322662
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	30595.1	5100.02	3322379
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	30634.3	5100.02	3322388
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	30716.1	5100.24	3322652
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	30929.7	5100.21	3322570
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	31115.8	5102.14	3322417
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	31166.6	5100.62	3322777
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	32039.6	5100.36	3322466
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	34314.5	5100.35	3322413
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	34711.1	5100.8	3322426
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	35555.7	5100.03	3322386
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	35560	5100.02	3322380
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	35563.4	5101.49	3322419
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	35624.1	5100.14	3322452
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	35631	5100.05	3322655
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	35648.4	5101.4	3322462
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	35652.9	5101.19	3322762
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	35655.2	5100.25	3322424
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	35663.4	5100.04	3322460
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	35669	5100.15	3322656
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	35680.7	5100.08	3322618
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	35681.8	5100.38	3322561
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	35689.5	5100.19	3322392
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	35692.1	5100.84	3322775
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	35694	5100.17	3322486
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	35695.5	5100.3	3322402
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	35698.9	5100.19	3322563
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	35707.3	5100.74	3322433
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	35710.2	5100.19	3322571
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	35729.1	5100.11	3322621
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	35742.2	5100.82	3322408
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	35743.6	5100.85	3322407
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	35745.8	5100.49	3322611
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	35762.4	5100.29	3322405
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	35768.2	5100.45	3322461
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	35776.9	5101.78	3322778
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	35794.4	5100.4	3322612
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	35803.5	5100.99	3322780
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	35835.9	5100.29	3321500
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	35841.3	5100.83	3321488
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	35842	5100.6	3321499
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	35923	5100.9	3321518
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	35954	5100.86	3322770
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	36386.8	5101.83	3322401
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	37986.7	5100.02	3322378
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	38896.4	5100.03	3322389
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	40000.2	5006.51	3322488
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	40000.2	5011.92	3322580
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	40000.3	5010.44	3322700
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	40000.3	5007.91	3322485
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	40000.4	5008.54	3322446
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	40000.4	5007.94	3322701
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	40000.4	5010.62	3322384
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	40000.5	5007.49	3322786
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	40000.5	5019.52	3322382
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	40000.5	5008.65	3322705
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	40000.5	5006.09	3321515
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	40000.5	5007.95	3322657
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	40000.5	5018.42	3322383
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	40000.6	5008.08	3322490
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	40000.6	5006.31	3321487
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	40000.6	5008.88	3322459
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	40000.6	5006.74	3322703
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	40000.6	5007.5	3322467
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	40000.6	5008.26	3322654
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	40000.7	5006.23	3321485
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	40000.7	5008.55	3322398
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	40000.7	5035.84	3322706
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	40000.7	5004.85	3321482
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	40000.7	5007.55	3322555
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	40000.7	5007.4	3322494
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	40000.7	5019.54	3322391
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	40000.7	5006.36	3322489
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	40000.7	5006.17	3321511
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	40000.8	5011.13	3322450
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	40000.8	5018.32	3322385
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	40000.8	5008.38	3322429
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	40000.8	5006.25	3321416
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	40000.8	5015.33	3322619
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	40000.8	5008.48	3322704
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	40000.8	5005.01	3321486
crafted/spence/ hard/s113-100.cnf	? (TO)	40000.9	5018.32	3321319
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	40000.9	5011.13	3322374
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	40000.9	5006.86	3321512
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	40000.9	5020.02	3322375
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	40001	5006.2	3321492
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	40001	5007.63	3322622
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	40001	5013.23	3322394
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	40001	5006.03	3321516
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	40001.1	5006.49	3322492
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	40001.1	5009.42	3322556
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	40001.1	5008.5	3321503
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	40001.1	5007.17	3321509
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	40001.2	5007.34	3321497
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	40001.2	5013.82	3322787
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	40001.3	5008.39	3322788
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	40001.3	5019.56	3322415
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	40001.3	5006.92	3321501
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	40001.3	5007.43	3321489
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	40001.3	5005.47	3321480
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	40001.4	5007.88	3321474
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	40001.4	5007.35	3321472
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	40001.4	5006.61	3321495
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	40001.5	5007.34	3321491
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	40001.5	5006.68	3321475
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	40001.6	5008.98	3322781
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	40001.6	5006.31	3321484
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	40001.6	5007.03	3321415
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	40001.6	5016.03	3322767
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	40001.6	5011.82	3322785
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	40001.7	5006.16	3321493
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	40001.7	5007.83	3322782
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	40001.7	5008.18	3321498
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	40001.7	5008.7	3321506
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	40001.7	5007.31	3321510
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	40001.7	5009	3321517
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	40001.7	5006.69	3321519
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	40001.7	5011.42	3322766
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	40001.7	5021.76	3322776
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	40001.8	5045.67	3322661
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	40001.9	5012.83	3322763
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	40001.9	5040.82	3322400
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	40002	5009.11	3322458
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	40002	5011.31	3322464
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	40002.4	5008.5	3321496

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	Signal 11	0.042992	0.0244789	3322441
crafted/mosoi/ 289/289-sat-11x9.cnf	Signal 11	0.104983	0.0965859	3322420
crafted/mosoi/ 289/289-sat-6x19.cnf	Signal 11	0.141978	0.1365	3322393
crafted/mosoi/ 289/289-sat-11x10.cnf	Signal 11	0.145977	0.127996	3322409
crafted/mosoi/ 289/289-sat-12x15.cnf	Signal 11	0.672897	0.498228	3322399

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

Result page for solver claspmt 2.0-R4095 [DEPRECATED] (complete)

Category "applications instances" (APPLICATION)

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

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

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

Solver was terminated by a signal (5 runs) [Show/Hide]

Solver gave a wrong solution (8 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

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

Solver was terminated by a signal (5 runs) [Show/Hide]