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.241962	0.242216	1831536
manol-pipe-g6bi.cnf	UNSAT	1.66774	1.66871	1831966
cmu-bmc-barrel6.cnf	UNSAT	2.77658	2.77588	1831564
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	3.2775	3.27859	1831502
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	3.60645	3.60791	1831822
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	3.89241	3.89223	1831616
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	4.39633	4.40174	1831504
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	5.61815	5.62037	1831642
simon-s02b-k2f-gr-rcs-w8.cnf	UNSAT	6.39703	6.40259	1831984
een-tip-uns-nusmv-t5.B.cnf	UNSAT	8.27474	8.27784	1831952
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	15.0918	7.60456	1831688
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	15.9566	15.9607	1831940
manol-pipe-c9.cnf	UNSAT	15.9786	15.9833	1831990
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	16.4815	16.4867	1831686
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	18.7701	18.7746	1831514
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	18.9681	18.9722	1831652
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	22.9225	22.9312	1831620
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	30.1334	30.1402	1831626
velev-engi-uns-1.0-4nd.cnf	UNSAT	31.9351	31.9475	1831586
cmu-bmc-longmult15.cnf	UNSAT	33.9708	33.9799	1831602
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	35.1397	35.1497	1831414
hoons-vbmc-lucky7.cnf	UNSAT	37.8502	37.8719	1831576
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	44.9782	44.9928	1831648
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	45.6791	45.6966	1831632
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	48.1697	48.1919	1831828
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	48.8206	48.8377	1831684
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	50.4873	50.5094	1831416
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	62.0666	62.0943	1831836
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	78.2471	78.267	1831510
schup-l2s-abp4-1-k31.cnf	UNSAT	80.5867	80.61	1831566
manol-pipe-c10nidw_s.cnf	UNSAT	83.0654	83.116	1831946
manol-pipe-g10id.cnf	UNSAT	84.9941	85.0453	1831958
manol-pipe-g7nidw.cnf	UNSAT	92.069	46.1039	1831988
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	94.8056	94.8512	1831842
velev-live-uns-2.0-ebuf.cnf	UNSAT	119.658	119.696	1831964
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	133.578	133.624	1831692
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	143.807	143.845	1831916
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	149.169	149.202	1831660
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	156.742	156.785	1831614
simon-s03-fifo8-300.cnf	UNSAT	166.446	166.5	1831982
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	196.459	196.532	1831492
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	211.684	211.672	1831490
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	222.636	222.699	1831484
simon-s02b-dp11u10.cnf	UNSAT	226.531	226.595	1831970
goldb-heqc-alu4mul.cnf	UNSAT	248.319	248.404	1831610
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	251.352	251.431	1831924
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	294.887	294.989	1831790
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	294.975	295.057	1831786
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	295.271	295.359	1831774
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	340.114	340.199	1831804
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	341.202	341.285	1831784
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	361.935	362.041	1831814
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	401.692	401.791	1831800
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	438.286	438.405	1831772
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	472.011	472.175	1831516
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	488.542	488.82	1831488
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	518.175	518.419	1831870
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	547.902	547.856	1831874
manol-pipe-c6bidw_i.cnf	UNSAT	554.65	554.867	1831592
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	618.752	618.95	1831636
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	630.384	630.559	1831856
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	650.43	650.713	1831810
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	659.198	659.474	1831812
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	682.264	682.638	1831824
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	733.511	733.835	1831500
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	739.992	740.235	1831460
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	745.826	746.007	1831440
goldb-heqc-term1mul.cnf	UNSAT	776.347	776.668	1831962
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	UNSAT	834.519	834.81	1831664
manol-pipe-c6nidw_i.cnf	UNSAT	1073.32	1073.72	1831994
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	1104.95	1105.2	1831680
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	UNSAT	1211.67	1212.31	1831820
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	1376.79	1377.28	1831486
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	1408.68	1409.29	1831860
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	1417.18	1417.54	1831458
schup-l2s-guid-1-k56.cnf	UNSAT	1438.93	1439.66	1831980
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	1555.76	1556.23	1831444
goldb-heqc-dalumul.cnf	UNSAT	1780.72	1781.23	1831598
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	1958.37	1958.94	1831618
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	UNSAT	2454.49	2455.16	1831678
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	UNSAT	2542.51	2543.18	1831844
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	2552.5	2553.35	1831412
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	2623.59	2624.32	1831868
goldb-heqc-i10mul.cnf	UNSAT	2906.3	2907.06	1831954
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	UNSAT	3080.53	3081.23	1831886
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	3234.28	3235.37	1831512
manol-pipe-g10bidw.cnf	UNSAT	3338.99	3340.19	1831948
manol-pipe-g10nid.cnf	UNSAT	3591.82	3592.78	1831588
manol-pipe-f9b.cnf	UNSAT	3808.03	3809.01	1831580
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	3937.83	3939.67	1831796
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	4067.89	4069.07	1831658
manol-pipe-f9n.cnf	UNSAT	4087.83	4089.55	1831974
industrial/fuhs/hard/ AProVE07-08.cnf	UNSAT	4120.65	4122.55	1831464
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	4154.04	4155.52	1831496
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	UNSAT	4272.7	4273.87	1831832
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	4381.55	4383.4	1831498
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	UNSAT	4884.21	4885.61	1831850
aloul-chnl11-13.cnf	UNSAT	5454.21	5455.87	1831596
manol-pipe-c7nidw.cnf	UNSAT	5528.84	5531.04	1831956
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	5837.12	5838.62	1831470
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	UNSAT	5838.22	5840.06	1831690
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	UNSAT	6349.01	6350.88	1831876
schup-l2s-bc56s-1-k391.cnf	UNSAT	6454.85	6458.04	1831578
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	UNSAT	7383.27	7385.76	1831906
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	7401.2	7404.82	1831866
velev-pipe-o-uns-1.0-7.cnf	UNSAT	8497.98	8500.69	1831972
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	UNSAT	8920.92	8925.5	1831830
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	UNSAT	9375.64	9379.19	1831834

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.05799	0.0583179	1831746
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.075987	0.07615	1831752
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.195969	0.196815	1831764
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	0.315951	0.314939	1831744
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	0.489925	0.49049	1831748
een-tip-sat-texas-tp-5e.cnf	SAT	0.551915	0.553265	1831608
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	0.551915	0.5522	1831758
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	0.58391	0.586517	1831910
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	0.628904	0.629637	1831890
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	0.680896	0.681294	1831750
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	0.882864	0.883291	1831762
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	1.35379	1.35499	1831912
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	1.9467	1.94744	1831738
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	2.47562	2.47741	1831788
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	2.66259	2.6636	1831742
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	2.68759	2.68868	1831756
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	3.03454	3.03729	1831776
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	3.40848	3.40833	1831780
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	4.91025	4.91205	1831740
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	5.37918	5.3809	1831766
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	6.31104	6.31187	1831424
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	8.45771	8.46045	1831782
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	9.36758	9.36964	1831768
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	10.5774	10.5799	1831754
velev-pipe-sat-1.0-b10.cnf	SAT	10.9753	10.9774	1831950
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	13.9099	13.9208	1831838
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	14.3718	14.3757	1831760
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	15.6166	15.6209	1831720
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	19.0771	19.0824	1831734
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	27.0669	27.0732	1831710
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	31.8022	31.8172	1831778
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	33.4719	33.5197	1831558
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	43.9533	43.9635	1831770
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	46.9199	46.9367	1831482
industrial/grieu/ vmpc_24.cnf	SAT	57.7392	57.7547	1831524
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	59.403	59.798	1831798
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	94.3736	94.4023	1831818
mizh-md5-48-5.cnf	SAT	98.556	98.5951	1831612
industrial/grieu/ vmpc_25.cnf	SAT	105.27	105.297	1831518
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	107.254	107.284	1831736
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	122.979	123.28	1831712
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	146.823	146.875	1831922
industrial/grieu/ vmpc_26.cnf	SAT	198.422	198.48	1831532
simon-s03-w08-15.cnf	SAT	255.745	255.889	1831572
mizh-sha0-35-3.cnf	SAT	273.734	273.814	1831604
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	309.578	309.694	1831816
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	377.134	377.277	1831700
schup-l2s-motst-2-k315.cnf	SAT	777.964	778.362	1831582
industrial/grieu/ vmpc_28.cnf	SAT	838.006	838.327	1831528
industrial/grieu/ vmpc_30.cnf	SAT	1000.99	1001.31	1831520
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	1127.02	1127.39	1831696
industrial/grieu/ vmpc_29.cnf	SAT	1146.2	1146.51	1831526
mizh-md5-47-4.cnf	SAT	1168.98	1169.29	1831600
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	1182.42	1182.86	1831882
mizh-sha0-36-2.cnf	SAT	1335.43	1335.8	1831976
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	1545.71	1546.35	1831826
velev-pipe-sat-1.0-b7.cnf	SAT	1816.83	1817.33	1831944
mizh-md5-47-3.cnf	SAT	1949.94	1950.58	1831562
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	1984.38	1985.29	1831872
mizh-sha0-36-4.cnf	SAT	2144.2	2144.77	1831590
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	2357.59	2358.4	1831806
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	2908.09	2909.72	1831858
mizh-sha0-36-3.cnf	SAT	2909.89	2910.56	1831574
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	3395.35	3396.1	1831732
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	3502.85	3503.87	1831730
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	3875.2	3876.36	1831848
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	4148.3	4149.51	1831900
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	SAT	4326.83	4328.28	1831702
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	4550.7	4552.73	1831426
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	4759.71	4760.97	1831556
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	SAT	5046.16	5047.54	1831854
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	SAT	5218.67	5220.1	1831864
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	SAT	5695.64	5698.19	1831862
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	SAT	5972.65	5975.69	1831852
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	SAT	6730.16	6731.8	1831846
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	7966.29	7969.63	1831494
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	SAT	8674.96	8677.26	1831708
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	SAT	8697.58	8701.92	1831840

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	10000	10003.1	1831728
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	10000	10003.8	1831634
goldb-heqc-x1mul.cnf	? (TO)	10000	10002.5	1831560
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	10000	10002.5	1831908
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	10000	10004.4	1831880
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	10000	10003.4	1831722
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	10000	10003.4	1831704
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	10000	10003.3	1831646
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	10000	10002.3	1831644
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	10000.1	10002.7	1831936
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	10000.1	10003.1	1831420
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	10000.1	10002.7	1831422
vange-col-abb313GPIA-9-c.cnf	? (TO)	10000.1	10003.2	1831594
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	10000.1	10003.7	1831726
manol-pipe-c10nid_i.cnf	? (TO)	10000.1	10004.4	1831606
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	10000.1	10002.7	1831624
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	10000.1	10003.8	1831638
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	10000.1	10003	1831654
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	10000.1	10004.6	1831650
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	10000.1	10005.1	1831656
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	10000.1	10004.3	1831662
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	10000.1	10003	1831666
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	10000.1	10004.2	1831668
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	10000.1	10002.9	1831674
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	10000.1	10003.5	1831676
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	10000.1	10002.9	1831802
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	10000.1	10002.7	1831682
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	10000.1	10002.9	1831698
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	10000.1	10003.4	1831716
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	10000.1	10002.8	1831694
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	10000.1	10003.8	1831724
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	10000.1	10003.4	1831706
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	10000.1	10002.9	1831714
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	10000.1	10006.4	1831718
goldb-heqc-frg1mul.cnf	? (TO)	10000.1	10002.9	1831568
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	10000.1	10003.4	1831898
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	10000.1	10002.9	1831934
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	10000.1	10003.4	1831942
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	10000.1	10002.8	1831938
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	10000.1	10002.6	1831884
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	10000.1	10002.6	1831888
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	10000.1	10002.7	1831892
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	10000.1	10002.5	1831896
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	10000.1	10003.7	1831904
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10002.7	1831914
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	10000.1	10002.8	1831918
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	10000.1	10002.4	1831920
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	10000.1	10003.2	1831932
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	10000.1	10003.3	1831926
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	10000.1	10002.7	1831928
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	10000.1	10002.4	1831902
velev-pipe-o-uns-1.1-6.cnf	? (TO)	10000.1	10004.5	1831960
manol-pipe-c7bidw_i.cnf	? (TO)	10000.1	10003.7	1831986
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	10000.1	10002.9	1831454
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	10000.1	10002.6	1831462
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	10000.1	10003.9	1831466
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	10000.1	10002.8	1831472
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	10000.1	10002.8	1831474
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000.1	10002.8	1831478
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	10000.1	10004.3	1831480
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	10000.1	10002.8	1831506
industrial/grieu/ vmpc_33.cnf	? (TO)	10000.1	10002.9	1831522
industrial/grieu/ vmpc_34.cnf	? (TO)	10000.1	10002.9	1831530
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	10000.1	10002.9	1831508
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	10000.1	10004.3	1831630
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000.2	10003.9	1831432
velev-vliw-uns-4.0-9C1.cnf	? (TO)	10000.2	10002.7	1831968
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	10000.2	10002.6	1831442
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	10000.2	10003.1	1831554
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	10000.2	10003.1	1831446
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	10000.2	10003.5	1831448
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	10000.2	10002.7	1831450
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	10000.2	10002.6	1831452
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	10000.2	10002.9	1831430
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	10000.2	10002.8	1831456
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	10000.2	10005.5	1831544
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	10000.2	10003.4	1831546
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	10000.2	10003.4	1831538
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	10000.2	10004.8	1831428
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	10000.2	10003.5	1831894
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000.2	10003	1831468
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	10000.2	10003.2	1831552
velev-pipe-uns-1.0-8.cnf	? (TO)	10000.2	10004.6	1831992
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	10000.2	10003.1	1831878
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	10000.2	10003.1	1831476
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	10000.2	10002.8	1831418
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	10000.2	10003	1831792
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	10000.2	10004	1831540
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	10000.2	10004.1	1831670
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	10000.2	10003.7	1831672
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	10000.2	10003.1	1831570
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	10000.2	10006.2	1831808
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	10000.2	10005.6	1831548
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	10000.2	10004	1831640
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	10000.2	10005.2	1831542
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	10000.2	10002.5	1831438
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	10000.2	10003.1	1831436
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	10000.2	10002.9	1831930
manol-pipe-c10nidw.cnf	? (TO)	10000.2	10002.8	1831584
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	10000.2	10005.2	1831434
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	10000.2	10002.8	1831622
manol-pipe-f10ni.cnf	? (TO)	10000.2	10002.8	1831978
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	10000.2	10002.9	1831628
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	10000.2	10005.1	1831550
industrial/narain/ clauses-8.cnf	? (TO)	10000.3	10002.5	1831534
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	10000.3	10003.7	1831794

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.000999	0.00502801	1786163
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.000999	0.0050371	1786127
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.007998	0.00820505	1786103
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	0.134978	0.135789	1785803
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	0.551915	0.552194	1786181
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	2.49262	2.4928	1785587
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	2.54161	2.54183	1786115
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	25.0442	25.0517	1785599
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	33.3009	33.3103	1785707
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	36.3105	36.3276	1784657
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	37.3343	37.347	1784687
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	67.5187	67.5519	1785695
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	136.965	137.006	1784765
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	138.019	138.053	1786133
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	145.273	145.33	1784759
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	165.391	165.436	1784675
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	167.098	167.158	1784717
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	201.171	201.227	1784711
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	202.185	202.241	1784729
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	222.849	222.966	1785677
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	270.944	271.047	1785167
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	288.847	288.971	1784651
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	295.368	295.441	1785359
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	312.151	312.244	1785575
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	333.97	334.09	1784669
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT	433.747	433.862	1785779
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	464.31	464.459	1785191
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	501.549	501.672	1785173
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	548.313	548.49	1785155
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	564.596	564.759	1785347
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	594.593	594.75	1785371
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	UNSAT	639.866	640.048	1784927
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	642.478	642.64	1784879
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	787.509	787.707	1784723
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	833.255	833.465	1785329
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	UNSAT	901.178	901.469	1785341
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	UNSAT	963.206	963.444	1784783
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	1194.17	1194.49	1785179
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	1269.17	1269.62	1785161
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	UNSAT	1308.68	1309.05	1784873
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	UNSAT	1335.34	1335.7	1785377
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	UNSAT	1343.49	1343.82	1785335
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	UNSAT	1416.3	1416.69	1785071
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	UNSAT	1673.73	1674.21	1784957
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	1674.12	1674.69	1785185
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	UNSAT	1822.61	1823.11	1785353
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	UNSAT	1846.64	1847.09	1785095
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	UNSAT	1848.67	1849.7	1785899
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	UNSAT	1914.94	1915.43	1784939
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	1925.32	1925.87	1785197
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	UNSAT	2284.06	2284.9	1784945
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	UNSAT	2359.49	2360.12	1785569
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	UNSAT	2627.2	2627.9	1785107
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	UNSAT	2637.26	2637.95	1785269
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	3736.49	3737.49	1784921
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	4187.45	4188.48	1785809
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	UNSAT	4251.18	4252.69	1784801

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.002999	0.00508701	1785701
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.003998	0.00505291	1785863
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.003998	0.00502898	1785845
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.003999	0.00508296	1786187
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.004998	0.00534709	1785833
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.004999	0.0058899	1786109
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.005998	0.00702304	1785839
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.006998	0.00734497	1785875
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.007997	0.00812907	1785857
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.007998	0.00786898	1786079
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.007998	0.00773003	1785869
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.008997	0.00848711	1785887
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.008997	0.0093901	1785851
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.009997	0.0102451	1785893
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.011997	0.012539	1785881
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	0.012997	0.013874	1786151
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.013997	0.0140451	1786085
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.024995	0.025582	1785665
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	0.06399	0.064601	1786121
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.125979	0.126523	1785683
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	0.150976	0.151576	1786139
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	0.38594	0.386069	1786157
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	0.562913	0.564093	1785713
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	0.919859	0.920145	1786169
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	1.17082	1.17338	1785497
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	2.72558	2.7267	1786097
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	4.33134	4.33359	1785689
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	6.91495	6.91795	1785449
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	8.95764	8.9607	1785731
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	11.5352	11.5565	1785485
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	12.4661	12.4699	1785935
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	13.9119	13.9169	1785623
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	14.4438	14.4492	1784663
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	15.6536	15.6584	1785503
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	22.1806	22.1867	1785491
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	22.5466	22.5566	1785467
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	31.4432	31.4526	1784753
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	34.6077	34.6157	1785539
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	34.7357	34.7468	1785629
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	42.5795	42.5916	1786175
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	43.9663	43.9781	1785383
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	54.2947	54.3068	1786193
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	62.3855	62.4075	1784699
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	72.198	72.2212	1785473
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	73.6088	73.6259	1785437
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	74.2587	74.2815	1785461
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	81.5966	81.6264	1784747
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	87.8056	87.8292	1785479
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	88.0596	88.0906	1786301
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	89.1394	89.1734	1784705
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	SAT	101.724	101.782	1785767
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	102.63	102.657	1786295
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	124.797	124.831	1785965
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	136.702	136.748	1785431
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	139.888	139.921	1784741
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	140.426	140.463	1786265
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	146.003	146.052	1785821
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	146.662	146.712	1785509
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	165.571	165.613	1785953
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	179.836	179.877	1786199
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	205.558	206.107	1785641
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	237.829	237.893	1784693
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	SAT	319.06	319.152	1785011
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	440.178	440.296	1786319
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	447.189	447.315	1785317
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	497.123	497.29	1785443
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	534.758	534.918	1785455
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	551.082	551.288	1785287
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	730.567	730.755	1785911
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	740.849	741.027	1785515
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	741.666	741.95	1785389
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	749.155	749.373	1785977
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	768.035	768.245	1785947
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	805.12	805.338	1784735
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	SAT	859.07	859.297	1786271
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	SAT	1032.87	1033.35	1784975
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	SAT	1222.09	1222.39	1785545
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	1246.2	1246.54	1785971
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	1366.02	1366.4	1785659
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	1807.26	1807.82	1786307
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	SAT	2189.9	2190.43	1786145
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	SAT	2241.14	2241.75	1784981
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	SAT	2369.23	2369.87	1784771
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	2406.19	2406.84	1786325
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	2606.39	2607.03	1785929
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	SAT	2865.97	2866.92	1785425
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	2880.91	2881.68	1785989
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	3031.56	3032.36	1785533
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	3735.76	3736.77	1785959
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	SAT	3782.4	3783.53	1785305
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	4334.24	4336.11	1786289
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	SAT	4542.65	4543.87	1785065

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	5000.01	5001.51	1786217
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	5000.02	5001.91	1786223
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	5000.02	5001.91	1785611
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	5000.02	5001.61	1785137
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	5000.02	5001.91	1786253
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	5000.02	5001.41	1785131
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	5000.02	5001.81	1785647
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	5000.02	5001.81	1784987
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	5000.02	5001.31	1784951
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	5000.02	5002.01	1785617
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	5000.02	5001.31	1785311
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	5000.02	5002.21	1785593
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	5000.02	5001.91	1784831
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	5000.02	5001.72	1786061
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	5000.03	5001.83	1786091
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	5000.03	5001.72	1784795
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	5000.03	5001.41	1785281
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	5000.04	5001.41	1784789
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	5000.04	5001.82	1786031
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	5000.04	5001.32	1785029
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	5000.05	5001.42	1785737
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	5000.05	5001.41	1785257
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	5000.05	5001.41	1785323
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	5000.05	5001.94	1786283
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	5000.05	5001.81	1786211
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	5000.05	5001.93	1784963
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	5000.05	5001.74	1785023
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	5000.05	5001.72	1784999
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	5000.05	5001.51	1785077
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	5000.05	5001.31	1785083
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	5000.06	5001.91	1784777
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	5000.06	5001.71	1785251
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	5000.06	5001.81	1785299
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	5000.06	5001.91	1785149
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	5000.06	5001.41	1785101
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	5000.06	5001.34	1785749
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	5000.06	5001.52	1784825
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	5000.06	5001.51	1785059
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	5000.06	5001.51	1785605
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	5000.06	5001.62	1785743
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	5000.06	5001.33	1786043
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	5000.06	5001.41	1784969
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	5000.07	5001.42	1785941
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	5000.07	5001.95	1785719
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.07	5001.34	1785407
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	5000.07	5001.75	1785521
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	5000.07	5001.82	1785761
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	5000.07	5001.51	1785119
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	5000.07	5001.56	1786055
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	5000.07	5001.52	1786049
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	5000.07	5001.41	1784813
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	5000.07	5002.44	1785923
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	5000.07	5001.75	1785905
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	5000.08	5001.66	1785221
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	5000.08	5001.31	1784861
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	5000.08	5001.91	1784807
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	5000.08	5001.31	1784867
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	5000.08	5001.41	1785017
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	5000.08	5001.51	1785233
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	5000.08	5001.61	1785143
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	5000.08	5001.41	1785419
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	5000.08	5001.51	1785245
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (TO)	5000.08	5001.91	1785635
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	5000.08	5001.91	1785563
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	5000.08	5001.32	1785773
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	5000.08	5001.41	1786235
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	5000.08	5001.41	1786241
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	5000.08	5001.31	1786205
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	5000.09	5002.12	1785725
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	5000.09	5001.42	1786313
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	5000.09	5001.72	1785365
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.09	5001.42	1785827
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	5000.09	5001.43	1784849
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	5000.09	5013.31	1785581
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	5000.09	5001.43	1785983
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	5000.09	5001.44	1784681
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	5000.09	5001.41	1786247
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	5000.09	5001.91	1785089
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	5000.1	5002.11	1784837
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	5000.1	5001.43	1786025
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	5000.1	5001.61	1786229
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	5000.1	5001.26	1785203
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	5000.1	5001.43	1786259
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	5000.1	5001.81	1784819
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	5000.1	5001.61	1785653
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	5000.1	5001.41	1785293
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	5000.1	5001.41	1785047
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	5000.1	5001.52	1785815
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	5000.1	5001.51	1784855
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	5000.1	5002.32	1785791
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	5000.1	5001.34	1786037
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	5000.1	5001.91	1785053
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	5000.11	5001.91	1784933
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	5000.11	5001.91	1785209
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	5000.11	5001.21	1785035
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	5000.11	5001.56	1785275
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	5000.11	5001.21	1785239
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	5000.11	5002.01	1784897
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	5000.11	5001.53	1786067
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	5000.11	5001.82	1785755
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	5000.11	5001.33	1785113
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	5000.11	5002.26	1785785
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	5000.11	5002.11	1785125
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	5000.12	5001.45	1786019
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	5000.12	5001.72	1785797
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.12	5001.43	1786001
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.12	5001.85	1785395
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	5000.12	5001.42	1786331
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	5000.13	4999.66	1785557
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	5000.13	5001.48	1785215
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	5000.13	5001.73	1786073
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.13	5001.94	1785995
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	5000.13	5001.64	1786013
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	5000.13	5001.73	1785401
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	5000.14	5001.55	1786007
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	5000.14	5001.25	1784843
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	5000.14	5001.65	1785917
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	5000.15	5001.72	1784915
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	5000.15	5001.86	1786277
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	5000.15	5001.61	1785227
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	5000.15	5001.92	1784993
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	5000.16	5002.11	1784909
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	5000.16	5002.11	1785005
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	5000.16	5001.5	1784891
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	5000.16	5001.68	1785551
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	5000.17	5002.41	1785263
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	5000.17	5001.52	1784885
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	5000.17	5001.52	1784903
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	5000.17	5002.29	1785671
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	5000.18	5002.71	1785041
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	5000.23	5001.67	1785527
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	5000.25	5001.87	1785413

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

Result page for solver SApperloT base (complete)

Category "applications instances" (APPLICATION)

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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