SAT 2009 Competition: main competition (phase2): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.452931	0.453591	1831535
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	0.615905	0.617263	1831615
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.68174	1.68211	1831951
manol-pipe-g6bi.cnf	UNSAT	1.91671	1.91818	1831965
cmu-bmc-barrel6.cnf	UNSAT	2.54361	2.54469	1831563
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	2.97355	2.97445	1831659
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	4.29435	4.29632	1831503
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	4.88026	4.88178	1831613
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	6.06108	6.0688	1831501
manol-pipe-c9.cnf	UNSAT	6.51001	6.51042	1831989
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	9.1966	9.20005	1831619
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	9.63653	9.63942	1831687
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	9.75651	9.75953	1831641
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	12.3721	12.3759	1831625
velev-live-uns-2.0-ebuf.cnf	UNSAT	14.4278	14.4327	1831963
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	14.7008	14.7044	1831821
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	15.4107	15.416	1831651
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	16.1495	16.1555	1831513
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	16.4705	16.4763	1831413
velev-engi-uns-1.0-4nd.cnf	UNSAT	19.62	19.6268	1831585
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	23.8674	23.8736	1831635
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	24.8952	24.902	1831631
cmu-bmc-longmult15.cnf	UNSAT	26.209	26.2159	1831601
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	26.286	26.2943	1831685
manol-pipe-g7nidw.cnf	UNSAT	27.7358	27.7447	1831987
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	35.5476	35.5578	1831939
velev-pipe-o-uns-1.1-6.cnf	UNSAT	48.8016	48.8269	1831959
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	49.4805	49.492	1831415
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	49.5635	49.5901	1831483
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	53.4929	53.5267	1831491
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	53.8128	53.8288	1831683
hoons-vbmc-lucky7.cnf	UNSAT	55.3796	55.4031	1831575
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	64.4702	64.4886	1831647
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	68.9045	68.9206	1831799
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	73.3079	73.3343	1831841
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	75.6995	75.7503	1831827
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	83.7253	83.7507	1831489
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	94.8936	94.9245	1831509
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	102.43	102.456	1831499
simon-s03-fifo8-300.cnf	UNSAT	111.475	111.514	1831981
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	117.376	117.415	1831495
simon-s02b-dp11u10.cnf	UNSAT	120.565	120.598	1831969
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	136.444	136.481	1831835
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	148.213	148.272	1831617
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	154.969	155.029	1831537
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	162.969	163.015	1831691
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	188.712	188.764	1831915
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	199.268	199.34	1831459
schup-l2s-abp4-1-k31.cnf	UNSAT	216.386	216.439	1831565
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	245.659	245.626	1831803
manol-pipe-g10id.cnf	UNSAT	314.386	314.551	1831957
velev-vliw-uns-4.0-9C1.cnf	UNSAT	324.398	324.491	1831967
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT	328.962	329.059	1831545
velev-pipe-o-uns-1.0-7.cnf	UNSAT	337.537	337.629	1831971
goldb-heqc-alu4mul.cnf	UNSAT	377.512	377.668	1831609
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	383.201	383.41	1831813
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	400.182	400.317	1831809
manol-pipe-c10nidw_s.cnf	UNSAT	401.839	402.112	1831945
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	406.693	406.871	1831855
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	410.643	410.826	1831439
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	436.106	436.248	1831515
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	438.311	438.441	1831785
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	464.644	464.768	1831923
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	487.887	488.073	1831497
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	513.228	513.353	1831771
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	537.207	537.365	1831487
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	555.307	555.447	1831773
manol-pipe-c6nidw_i.cnf	UNSAT	573.408	573.563	1831993
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	579.499	579.456	1831811
manol-pipe-c6bidw_i.cnf	UNSAT	581.625	581.764	1831591
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	619.829	620.117	1831443
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	642.138	642.32	1831795
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	658.975	659.156	1831783
velev-pipe-uns-1.0-8.cnf	UNSAT	721.798	722.129	1831991
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	737.719	737.906	1831789
manol-pipe-f9n.cnf	UNSAT	774.985	775.216	1831973
aloul-chnl11-13.cnf	UNSAT	786.563	786.837	1831595
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	810.94	811.158	1831823
goldb-heqc-term1mul.cnf	UNSAT	892.208	892.426	1831961
manol-pipe-f9b.cnf	UNSAT	903.087	903.419	1831579
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	904.918	905.189	1831485
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	1026.73	1027.19	1831819
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	1086.33	1086.93	1831457
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	1122.1	1122.44	1831469
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	UNSAT	1138.52	1138.83	1831553
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	1300.43	1300.73	1831463
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	1376.71	1377.13	1831411
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	UNSAT	1419.74	1420.08	1831655
manol-pipe-g10bidw.cnf	UNSAT	1560.46	1561.03	1831947
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	1565.63	1566.06	1831679
manol-pipe-c7bidw_i.cnf	UNSAT	1604.39	1604.89	1831985
goldb-heqc-dalumul.cnf	UNSAT	1720.6	1721.05	1831597
manol-pipe-g10nid.cnf	UNSAT	1762.68	1763.38	1831587
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	2045.93	2046.47	1831511
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	UNSAT	2214.93	2215.51	1831885
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	2228.18	2229.3	1831869
manol-pipe-c7nidw.cnf	UNSAT	2289.73	2290.36	1831955
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	UNSAT	2457.31	2457.86	1831547
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	2560.54	2561.37	1831873
manol-pipe-f10ni.cnf	UNSAT	2904.16	2905.11	1831977
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	3280.04	3281.5	1831569
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	UNSAT	3281.31	3282.63	1831541
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	3607.49	3607.01	1831621
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	UNSAT	3841.14	3842.23	1831663
APPLICATIONS/ bitverif/minxor/minxor128.cnf	UNSAT	4323.38	4325.95	1831623
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	UNSAT	4385.79	4386.94	1831905
goldb-heqc-i10mul.cnf	UNSAT	4804.55	4805.97	1831953
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	UNSAT	5239.08	5241.48	1831793
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	5317.12	5319.68	1831859
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	UNSAT	6291.16	6292.68	1831791
industrial/fuhs/hard/ AProVE07-01.cnf	UNSAT	6816.94	6818.67	1831461
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	6918.97	6920.66	1831657
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	UNSAT	8005.27	8007.45	1831453
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	UNSAT	8909.4	8911.97	1831801
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	UNSAT	9208.11	9210.61	1831677

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.138978	0.145303	1831607
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.181971	0.186832	1831745
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.274957	0.2783	1831751
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.521919	0.526591	1831763
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	0.602908	0.608053	1831755
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	0.833872	0.843709	1831747
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.00785	1.02767	1831743
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.01085	1.04348	1831757
industrial/grieu/ vmpc_25.cnf	SAT	1.47777	1.47874	1831517
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	1.56476	1.61015	1831749
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	1.88071	1.90283	1831765
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	1.9887	1.99292	1831739
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	3.13452	3.15245	1831741
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	3.22851	3.23461	1831759
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.49532	4.5371	1831761
industrial/grieu/ vmpc_24.cnf	SAT	12.1901	12.1934	1831523
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	13.376	13.4346	1831753
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	15.6306	15.6465	1831775
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	16.8744	16.8809	1831911
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	17.1544	17.1771	1831719
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	19.551	19.591	1831737
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	19.652	19.6564	1831899
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	22.7165	22.8297	1831481
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	25.1872	25.257	1831837
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	27.4408	27.4527	1831733
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	27.8038	27.8244	1831787
velev-pipe-sat-1.0-b10.cnf	SAT	29.2346	29.3206	1831949
industrial/grieu/ vmpc_26.cnf	SAT	32.2731	32.2853	1831531
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	38.8421	38.8741	1831711
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	58.3301	58.6819	1831557
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	65.865	65.9029	1831781
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	77.6552	77.6947	1831767
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	82.1265	82.1665	1831769
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	86.8208	86.8699	1831709
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	98.409	98.7364	1831555
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	116.791	116.841	1831779
industrial/grieu/ vmpc_28.cnf	SAT	144.829	144.88	1831527
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	155.542	155.726	1831817
industrial/grieu/ vmpc_30.cnf	SAT	169.355	169.402	1831519
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	179.628	179.788	1831423
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	187.802	187.888	1831731
mizh-md5-47-3.cnf	SAT	236.764	236.866	1831561
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	256.518	256.607	1831777
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	281.086	281.194	1831699
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	283.535	283.72	1831815
mizh-md5-47-4.cnf	SAT	363.32	363.5	1831599
mizh-sha0-35-3.cnf	SAT	378.083	378.219	1831603
vange-col-abb313GPIA-9-c.cnf	SAT	445.091	445.226	1831593
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	685.095	685.106	1831805
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	875.53	875.842	1831735
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	930.819	931.106	1831695
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	SAT	1002.03	1002.32	1831707
simon-s03-w08-15.cnf	SAT	1155.36	1155.76	1831571
mizh-md5-48-5.cnf	SAT	1316.58	1317.06	1831611
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	1411.28	1411.7	1831889
schup-l2s-motst-2-k315.cnf	SAT	1697.78	1698.56	1831581
industrial/grieu/ vmpc_29.cnf	SAT	1712.49	1712.92	1831525
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	3068.12	3069.01	1831729
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	3245.53	3246.58	1831825
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	4421.51	4423.6	1831493

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	10000	10002.7	1831919
goldb-heqc-x1mul.cnf	? (TO)	10000	10004.2	1831559
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	10000	10003	1831725
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	10000.1	10003.2	1831983
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	10000.1	10004.5	1831427
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000.1	10002.9	1831431
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	10000.1	10003.4	1831705
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	10000.1	10002.8	1831713
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	10000.1	10003.3	1831721
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	10000.1	10004.1	1831941
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	10000.1	10003	1831893
mizh-sha0-36-2.cnf	? (TO)	10000.1	10002.6	1831975
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	10000.1	9999.07	1831917
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	10000.1	10003.8	1831935
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	10000.1	10002.5	1831883
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	10000.1	10003.4	1831887
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	10000.1	10003	1831937
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	10000.1	10002.4	1831891
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	10000.1	10002.6	1831895
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	10000.1	10003.4	1831897
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	10000.1	10004	1831907
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10003.4	1831913
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	10000.1	10002.7	1831931
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	10000.1	10002.7	1831929
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	10000.1	10002.7	1831921
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	10000.1	10002.8	1831933
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10003	1831925
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	10000.1	10003	1831927
schup-l2s-guid-1-k56.cnf	? (TO)	10000.1	10003.1	1831979
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	10000.1	10003	1831901
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	10000.1	10002.7	1831505
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	10000.1	10003.5	1831445
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	10000.1	10002.6	1831447
manol-pipe-c10nidw.cnf	? (TO)	10000.1	10005.2	1831583
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	10000.1	10002.9	1831465
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000.1	10003.2	1831467
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	10000.1	10004.8	1831471
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	10000.1	10002.8	1831473
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000.1	10002.8	1831477
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	10000.1	10003.6	1831507
industrial/grieu/ vmpc_34.cnf	? (TO)	10000.1	10002.9	1831529
industrial/grieu/ vmpc_33.cnf	? (TO)	10000.1	9999.03	1831521
mizh-sha0-36-3.cnf	? (TO)	10000.1	10003.5	1831573
goldb-heqc-frg1mul.cnf	? (TO)	10000.1	10002.7	1831567
mizh-sha0-36-4.cnf	? (TO)	10000.1	10002.6	1831589
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	10000.1	10002.7	1831723
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	10000.1	10003.4	1831637
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	10000.1	10003.9	1831727
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	10000.1	10002.7	1831633
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	10000.1	10002.6	1831643
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	10000.1	10002.6	1831645
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	10000.1	10005.2	1831807
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	10000.1	10004.8	1831665
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	10000.1	10002.8	1831667
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	10000.1	10004.2	1831671
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	10000.1	10002.9	1831673
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	10000.1	10003	1831675
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	10000.1	10002.8	1831681
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	10000.1	10003.4	1831715
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	10000.1	10003.1	1831697
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	10000.1	10002.8	1831701
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	10000.1	10002.5	1831689
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	10000.1	10002.9	1831717
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	10000.1	10003.2	1831693
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	10000.1	10003.3	1831703
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	10000.2	10003.5	1831475
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	10000.2	10002.9	1831435
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	10000.2	10003.9	1831479
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	10000.2	10002.9	1831441
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	10000.2	10003.1	1831627
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	10000.2	10002.7	1831661
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	10000.2	10003	1831909
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	10000.2	10003	1831629
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	10000.2	10004.5	1831875
manol-pipe-c10nid_i.cnf	? (TO)	10000.2	10002.9	1831605
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	10000.2	10005.6	1831903
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	10000.2	10004.4	1831669
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	10000.3	10003.2	1831419
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	10000.3	10002.9	1831417
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	10000.3	10004.5	1831437
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	10000.3	10005.6	1831839
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	10000.3	10003.4	1831451
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	10000.3	10003.1	1831843
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	10000.3	10005.7	1831429
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	10000.3	10003.1	1831881
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	10000.3	10003.5	1831433
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	10000.3	10003.3	1831867
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	10000.3	10002.9	1831649
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	10000.3	10004.3	1831653
schup-l2s-bc56s-1-k391.cnf	? (TO)	10000.3	10003.2	1831577

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	22.2636	22.2698	1831797
velev-pipe-sat-1.0-b7.cnf	? (MO)	618.136	618.685	1831943
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	849.248	849.489	1831551
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	1259.82	1260.27	1831549
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	1439.5	1439.89	1831539
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	1979.82	1980.66	1831543
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (MO)	3337.55	3338.49	1831455
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (MO)	3938.7	3940.89	1831857
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (MO)	4379.3	4381.27	1831845
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (MO)	4584.01	4585.97	1831865
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (MO)	4692.28	4694.27	1831833
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (MO)	4918.08	4919.29	1831863
industrial/narain/ clauses-8.cnf	? (MO)	4942.26	4944.47	1831533
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (MO)	4999.1	5001.27	1831829
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (MO)	5077.13	5078.79	1831861
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (MO)	5126.37	5128.27	1831871
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (MO)	5180.62	5181.99	1831877
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (MO)	5256.97	5259.07	1831879
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (MO)	5366.9	5368.2	1831851
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (MO)	5389.05	5391.27	1831639
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (MO)	5428.32	5429.79	1831853
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (MO)	5881.8	5884.17	1831847
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (MO)	6562.42	6564.17	1831849
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (MO)	6922.08	6923.78	1831449
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (MO)	7128.25	7130.77	1831425
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (MO)	7373.12	7377.37	1831421
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (MO)	8575.24	8578.29	1831831

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.001998	0.0049959	1786158
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.001998	0.00509696	1786122
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.013997	0.0140369	1786098
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	0.067989	0.068022	1784676
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	0.097984	0.09771	1785798
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	0.128979	0.129697	1784664
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	0.187971	0.188334	1784670
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	0.657899	0.659103	1786176
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	1.17882	1.17978	1785582
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	1.91171	1.91289	1786110
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT	2.00369	2.00463	1785222
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	7.66783	7.67147	1784652
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	21.4807	21.49	1785594
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	25.1452	25.1576	1785702
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	27.9827	27.9906	1784682
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	44.7562	44.7706	1785690
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	46.019	46.0315	1785174
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	55.8495	55.867	1785162
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	60.7178	60.7337	1785192
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	61.9706	61.9848	1785180
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	64.9721	64.9895	1785186
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	67.8687	67.8872	1785168
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	68.3686	68.3873	1784712
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	78.5631	78.5862	1784916
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	93.1078	93.1538	1784646
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	101.986	102.026	1785156
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	102.476	102.505	1784706
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	125.084	125.116	1786128
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	169.901	169.952	1784760
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	183.235	183.287	1784724
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	UNSAT	199.967	200.017	1785330
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	205.206	205.261	1785570
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	232.343	232.423	1785672
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	243.22	243.285	1784754
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	286.262	286.338	1785366
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	296.86	296.969	1785354
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	324.402	324.509	1785150
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	UNSAT	334.451	334.576	1785372
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	UNSAT	344.237	344.33	1785012
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	350.792	350.887	1784718
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	UNSAT	351.007	351.143	1785894
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	410.958	411.062	1785342
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT	421.596	421.713	1785774
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	UNSAT	471.192	471.371	1784952
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	496.374	496.54	1785324
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	UNSAT	506.672	506.821	1785336
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	UNSAT	569.034	569.24	1784922
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	UNSAT	612.297	612.448	1784934
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	UNSAT	861.916	862.185	1785348
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	UNSAT	979.4	979.663	1785090
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	UNSAT	1073.97	1074.32	1785066
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	UNSAT	1145.94	1146.25	1784778
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	UNSAT	1178.69	1179.04	1784940
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	1373.78	1374.48	1784874
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	UNSAT	1499.75	1500.29	1784928
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	UNSAT	1607.26	1607.8	1785252
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	UNSAT	1625.19	1625.64	1785564
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	UNSAT	1704.33	1704.81	1785264
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	UNSAT	2052.9	2053.43	1784868
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	UNSAT	2533.34	2534.01	1784946
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	UNSAT	2642.62	2643.45	1785102
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	UNSAT	3385.48	3386.6	1785306
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	3574.72	3575.64	1785804
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	UNSAT	4109.89	4111.21	1785738

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.009997	0.0100689	1786104
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.011997	0.0119311	1786182
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.022995	0.02151	1785840
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.024995	0.0252631	1785858
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.025995	0.0264939	1785696
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.028995	0.029833	1785828
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	0.033993	0.035097	1786146
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.044993	0.0454099	1785834
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.046992	0.0474559	1785870
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.049991	0.050658	1786074
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.050991	0.0508459	1785864
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	0.051992	0.0536	1786116
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.053991	0.0545369	1785852
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.05699	0.0572879	1785882
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.068988	0.067788	1785846
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.074988	0.0755051	1785888
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.081986	0.0827709	1785876
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.112982	0.113702	1786080
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	0.219966	0.221466	1786134
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	0.38494	0.385558	1785726
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	1.23381	1.23824	1786164
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	1.27381	1.27341	1785660
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	1.84872	1.90314	1785204
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	2.00169	2.00259	1784688
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	3.00354	3.00548	1785468
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	3.21751	3.2239	1784694
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	3.85741	3.85996	1784700
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	4.67729	4.67937	1785528
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	6.35303	6.35737	1785486
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	6.40203	6.40585	1786152
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	7.33288	7.33713	1785462
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	8.84166	8.84757	1784658
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	10.2204	10.2286	1786188
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	14.9637	14.9703	1785456
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	SAT	16.8434	16.8481	1785762
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	22.2826	22.2955	1786170
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	22.4366	22.4439	1786290
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	23.9914	24.0007	1785960
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	24.4923	24.4997	1785534
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	26.023	26.031	1785816
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	27.7948	27.8031	1785972
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	28.9936	29.0023	1785498
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	30.4094	30.4208	1785504
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	30.5254	30.5382	1785444
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	31.5502	31.5691	1786194
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	32.4701	32.4794	1786092
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	39.621	39.633	1784742
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	41.2447	41.2607	1785930
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	41.2677	41.2791	1785378
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	47.3438	47.3609	1785450
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	49.6005	49.6152	1785624
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	51.6092	51.6238	1785678
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	58.5281	58.5436	1785906
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	SAT	73.0019	73.0342	1786140
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	79.8239	79.8434	1785966
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	83.5823	83.6121	1786296
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	87.6287	87.6551	1785954
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	105.319	105.349	1784748
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	117.566	117.596	1785942
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	121.27	121.315	1785948
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	123.819	123.852	1786314
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	134.345	134.394	1785474
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	148.384	148.417	1785432
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	150.424	150.463	1785924
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	161.71	161.76	1785492
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	168.26	168.316	1785480
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	182.326	182.376	1784736
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	321.26	321.462	1784730
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	326.019	326.115	1785984
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	371.47	371.587	1786302
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	480.583	480.763	1785618
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	517.73	518.364	1785636
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	560.373	560.514	1785282
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	672.354	672.65	1785708
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	691.715	691.904	1785312
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	783.429	783.654	1786260
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	SAT	823.004	823.496	1785060
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	SAT	977.901	978.174	1784766
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	1343.81	1344.18	1785426
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	SAT	1586.11	1586.54	1785294
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	SAT	1632.74	1633.48	1786266
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	SAT	1743.26	1743.88	1785540
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	SAT	1810.61	1811.04	1784970
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	2377.17	2377.8	1786320
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	SAT	2625.93	2626.63	1785414
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	SAT	2844.73	2845.64	1784976
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	2890.6	2891.38	1785654
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	3428.67	3430.09	1786284
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	4416.82	4417.99	1786254
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	4440.72	4442.01	1786308
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	4672.5	4674.4	1785438
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	4974.36	4975.73	1786056

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	5000.01	5001.11	1784982
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (TO)	5000.02	5001.71	1785630
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	5000.02	5001.31	1785648
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	5000.02	5001.51	1785084
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	5000.02	5001.31	1786212
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	5000.02	5001.41	1786224
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	5000.02	5001.41	1785300
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	5000.02	5001.31	1784784
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	5000.02	5001.31	1786200
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	5000.03	5001.91	1785606
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	5000.03	5001.31	1784964
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	5000.03	5001.51	1785288
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	5000.03	5001.41	1784808
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	5000.03	4999.51	1785048
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	5000.03	5001.92	1785750
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	5000.03	5001.41	1785558
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	5000.03	5001.51	1784802
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	5000.04	5001.81	1785054
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	5000.04	5001.92	1785024
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	5000.04	5001.41	1786236
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	5000.04	5001.41	1785072
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	5000.04	5001.72	1784856
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	5000.04	5001.61	1786206
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	5000.04	5001.52	1786326
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	5000.05	5001.93	1786008
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	5000.05	4999.52	1784820
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	5000.05	5001.51	1785360
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	5000.05	5001.33	1786032
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	5000.05	5001.91	1786230
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	5000.05	5001.82	1786044
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	5000.05	5001.41	1785042
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	5000.05	5001.73	1786038
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.05	5001.73	1785990
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	5000.05	5001.33	1785912
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	5000.05	5001.73	1784958
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	5000.05	5001.51	1785126
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	5000.05	5001.31	1785120
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	5000.05	5001.81	1785786
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	5000.05	5002.41	1785576
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	5000.05	5002.41	1785588
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	5000.06	5001.42	1785810
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.06	5001.83	1785996
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	5000.06	5001.71	1784826
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	5000.06	5002.14	1785780
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	5000.06	5001.81	1784796
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	5000.06	5001.91	1786242
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	5000.06	5001.75	1786050
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	5000.06	5001.41	1784772
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	5000.06	5001.75	1786002
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	5000.06	5001.41	1785756
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	5000.07	5001.91	1784862
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	5000.07	5001.62	1785030
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	5000.07	5001.41	1785132
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	5000.07	5001.41	1785114
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	5000.07	5001.81	1785234
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	5000.07	5001.81	1785240
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	5000.07	5001.31	1785384
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	5000.07	5001.41	1785318
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	5000.07	5002.22	1785732
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.07	5001.42	1785822
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	5000.07	5001.71	1786218
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	5000.07	5001.41	1786248
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	5000.07	5001.75	1786278
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	5000.08	5001.41	1785228
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.08	5001.48	1785390
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	5000.08	5001.46	1784838
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	5000.08	5001.41	1785138
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	5000.08	5001.92	1786026
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.08	5001.76	1785402
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	5000.08	5001.51	1784994
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	5000.09	5001.71	1785642
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	5000.09	5001.62	1784832
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	5000.09	5001.52	1785792
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	5000.09	5001.36	1785198
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	5000.09	5001.51	1785078
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	5000.09	5001.66	1785216
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	5000.09	5001.32	1785420
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	5000.09	5001.32	1785936
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	5000.09	5001.31	1784790
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	5000.1	5001.34	1786014
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	5000.1	5001.91	1785144
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	5000.1	5019.81	1785612
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	5000.1	5013.71	1785600
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	5000.1	5001.33	1785714
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	5000.1	5001.33	1785744
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	5000.1	5002.56	1784886
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	5000.1	5001.41	1784814
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	5000.1	5001.42	1784850
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	5000.1	5001.43	1785396
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	5000.11	5001.45	1785516
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	5000.11	5001.43	1785684
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	5000.11	5001.34	1785918
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	5000.11	5001.91	1785096
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	5000.11	5001.95	1785666
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	5000.11	5001.56	1785018
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	5000.11	5001.71	1785276
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	5000.11	5002	1785552
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	5000.11	5001.83	1785510
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	5000.11	5002.23	1786062
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	5000.11	5001.22	1785978
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	5000.11	5001.53	1786086
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	5000.11	5002.25	1785006
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	5000.12	5001.61	1785246
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	5000.12	5001.49	1785546
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	5000.12	5002.63	1785108
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	5000.12	5001.33	1784844
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	5000.12	5001.43	1786020
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	5000.12	5001.62	1785720
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	5000.12	5001.52	1785768
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	5000.13	5001.44	1785900
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	5000.13	5001.76	1785270
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	5000.13	5001.42	1786068
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	5000.15	5001.45	1784892
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	5000.15	5001.58	1784880
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	5000.15	5002.39	1785408
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	5000.16	5001.98	1786272
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	5000.16	5002.83	1784904
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	5000.18	5001.39	1784910
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	5000.19	5001.39	1785210
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	5000.21	5002.04	1785036
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	5000.22	5002.38	1784898
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	5000.25	5001.76	1784988
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	5000.32	5002.86	1785258

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (MO)	1827.91	1828.8	1785000
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (MO)	2412.3	2413.01	1785522

SAT 2009 Competition: main competition (phase2): benchmarks results per solver

Result page for solver clasp 1.2.0-SAT09-32 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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

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