SAT 2009 Competition: preprocessors track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	1.79173	1.79246	1797521
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	3.08853	3.09568	1797561
cmu-bmc-barrel6.cnf	UNSAT	3.20651	3.21004	1797535
manol-pipe-g6bi.cnf	UNSAT	3.34749	3.35159	1797736
een-tip-uns-nusmv-t5.B.cnf	UNSAT	5.54715	5.5542	1797729
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	9.52455	9.54332	1797597
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	10.2944	10.3005	1797574
manol-pipe-c9.cnf	UNSAT	11.8352	11.8472	1797748
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	24.9982	25.009	1797577
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	26.7279	26.7399	1797579
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	27.0049	27.0186	1797596
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	29.8675	29.8805	1797510
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	34.0758	34.1173	1797504
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	35.3596	35.3895	1797505
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	37.1693	37.1894	1797664
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	38.5271	38.5656	1797460
cmu-bmc-longmult15.cnf	UNSAT	44.8162	44.8551	1797554
velev-engi-uns-1.0-4nd.cnf	UNSAT	45.1661	45.1842	1797546
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	47.1618	47.1922	1797569
manol-pipe-g7nidw.cnf	UNSAT	48.7706	48.8041	1797747
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	56.5004	56.5327	1797566
velev-live-uns-2.0-ebuf.cnf	UNSAT	56.6554	56.7119	1797735
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	61.5136	61.5533	1797723
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	62.9634	62.981	1797563
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	73.1389	73.1763	1797667
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	74.3707	74.3989	1797583
hoons-vbmc-lucky7.cnf	UNSAT	83.2603	83.2897	1797541
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	83.5313	83.5838	1797560
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	86.4619	86.6356	1797595
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	88.5065	88.5559	1797508
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	98.95	99.0018	1797461
manol-pipe-g10id.cnf	UNSAT	110.226	110.286	1797732
simon-s02b-dp11u10.cnf	UNSAT	110.933	110.985	1797738
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	123.339	123.404	1797674
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	133.311	133.398	1797671
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	134.684	134.77	1797495
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	157.254	157.329	1797498
schup-l2s-abp4-1-k31.cnf	UNSAT	158.562	158.614	1797536
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	161.718	161.796	1797599
simon-s03-fifo8-300.cnf	UNSAT	195.196	195.298	1797744
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	317.849	318.032	1797688
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	346.396	346.574	1797499
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	423.736	423.921	1797653
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	466.888	467.038	1797681
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	484.8	484.965	1797497
manol-pipe-c10nidw_s.cnf	UNSAT	516.61	516.827	1797726
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	521.048	521.314	1797648
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	566.893	567.229	1797639
goldb-heqc-alu4mul.cnf	UNSAT	570.313	570.346	1797558
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	582.987	583.226	1797645
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	596.39	596.614	1797511
manol-pipe-c6nidw_i.cnf	UNSAT	602.522	602.821	1797750
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	627.272	627.569	1797503
manol-pipe-c6bidw_i.cnf	UNSAT	645.465	645.757	1797549
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	666.828	667.103	1797640
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	676.705	676.992	1797646
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	788.862	789.262	1797496
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	868.79	869.209	1797711
schup-l2s-guid-1-k56.cnf	UNSAT	949.053	949.43	1797743
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	983.572	984.019	1797665
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	989.718	990.167	1797571
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	993.469	994.089	1797658
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	1012.98	1013.46	1797715
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	1056.53	1057.02	1797659
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	1199.17	1199.68	1797690

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.454929	0.458328	1797626
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	0.548916	0.551786	1797633
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.732887	0.73479	1797629
een-tip-sat-texas-tp-5e.cnf	SAT	1.22181	1.22746	1797557
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	1.65175	1.66044	1797623
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	1.66675	1.66998	1797631
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	1.74773	1.75049	1797635
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	2.03269	2.03786	1797636
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	2.03569	2.03957	1797709
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	2.41463	2.42189	1797627
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	2.6126	2.62601	1797625
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	3.78342	3.79655	1797632
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	5.02124	5.05595	1797698
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	5.69413	5.70798	1797628
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	6.63599	6.64556	1797634
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	7.08992	7.09775	1797641
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	16.5635	16.5721	1797622
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	19.1291	19.1407	1797644
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	23.8104	23.8344	1797630
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	24.1963	24.2088	1797647
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	38.6721	38.7021	1797638
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	51.9671	51.9871	1797620
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	61.2567	61.2978	1797637
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	73.1719	73.2131	1797608
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	75.9215	75.9551	1797642
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	80.1478	80.188	1797613
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	87.1298	87.1621	1797624
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	89.3934	89.4576	1797643
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	93.9787	94.084	1797494
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	121.429	121.493	1797619
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	159.238	159.287	1797609
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	161.087	161.157	1797672
industrial/grieu/ vmpc_24.cnf	SAT	179.436	179.543	1797515
industrial/grieu/ vmpc_26.cnf	SAT	188.424	188.518	1797519
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	236.236	236.433	1797662
mizh-md5-47-3.cnf	SAT	277.595	277.72	1797534
industrial/grieu/ vmpc_25.cnf	SAT	319.139	319.236	1797512
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	404.86	405.031	1797714
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	563.39	563.659	1797603
simon-s03-w08-15.cnf	SAT	588.297	588.636	1797539
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	754.128	754.471	1797661
mizh-sha0-36-2.cnf	SAT	927.697	928.114	1797741
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	1034.33	1034.87	1797601
mizh-md5-48-5.cnf	SAT	1146.53	1147.04	1797559
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	1185.72	1186.42	1797708
schup-l2s-motst-2-k315.cnf	SAT	1190.72	1191.2	1797544

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200	1200.64	1797459
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200	1200.76	1797737
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200	1200.64	1797660
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200	1200.61	1797702
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200	1200.46	1797655
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200	1200.53	1797568
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200	1200.32	1797562
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.01	1200.66	1797749
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.01	1200.42	1797586
manol-pipe-c7nidw.cnf	? (TO)	1200.01	1200.43	1797731
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.01	1203.12	1797590
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.01	1200.75	1797573
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.01	1200.65	1797689
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.01	1200.62	1797589
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.01	1200.33	1797526
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.01	1200.76	1797650
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.01	1200.45	1797468
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.01	1200.62	1797705
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.01	1200.63	1797480
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.01	1200.44	1797469
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.01	1200.13	1797522
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.01	1200.52	1797654
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.01	1200.51	1797724
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.01	1200.44	1797683
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.01	1200.65	1797678
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.02	1200.34	1797677
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.02	1200.55	1797686
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.02	1200.52	1797487
goldb-heqc-i10mul.cnf	? (TO)	1200.02	1200.61	1797730
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.02	1200.65	1797693
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.02	1200.69	1797538
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.02	1200.52	1797581
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.02	1200.62	1797572
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.02	1200.51	1797697
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.02	1200.52	1797712
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.02	1202.77	1797663
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.03	1200.61	1797506
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.03	1200.46	1797670
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.03	1200.42	1797514
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.03	1200.51	1797585
mizh-sha0-36-3.cnf	? (TO)	1200.03	1200.42	1797540
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.03	1200.62	1797701
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.03	1200.45	1797467
mizh-sha0-35-3.cnf	? (TO)	1200.03	1200.62	1797555
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.03	1200.66	1797474
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.03	1200.74	1797687
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.03	1200.43	1797492
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.03	1199.91	1797486
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.03	1200.54	1797476
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.03	1200.67	1797542
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.03	1200.64	1797584
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.03	1200.41	1797484
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.03	1200.44	1797466
manol-pipe-c7bidw_i.cnf	? (TO)	1200.03	1200.63	1797746
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.04	1200.45	1797463
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.04	1200.52	1797605
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.04	1200.66	1797649
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.04	1200.62	1797721
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.04	1200.52	1797576
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.04	1200.42	1797587
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.04	1200.63	1797656
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.04	1200.65	1797692
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.04	1200.64	1797475
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.04	1200.41	1797507
manol-pipe-f9b.cnf	? (TO)	1200.04	1200.63	1797543
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.04	1200.52	1797614
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.04	1200.75	1797685
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.04	1200.54	1797479
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.04	1200.62	1797518
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.04	1200.64	1797691
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.04	1200.45	1797471
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.04	1200.52	1797565
manol-pipe-f9n.cnf	? (TO)	1200.04	1200.53	1797740
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.05	1200.42	1797695
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.05	1200.66	1797501
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.05	1200.41	1797485
manol-pipe-c10nidw.cnf	? (TO)	1200.05	1200.66	1797545
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.05	1200.64	1797567
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.05	1200.61	1797717
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.05	1200.65	1797462
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.05	1200.43	1797490
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.05	1200.55	1797489
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.05	1200.72	1797591
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.05	1200.41	1797582
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.05	1200.64	1797465
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.05	1200.85	1797669
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.05	1200.41	1797575
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.05	1200.72	1797610
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.05	1200.83	1797651
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.05	1200.74	1797694
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.05	1200.76	1797676
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.05	1200.43	1797473
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.06	1200.42	1797598
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.06	1200.61	1797716
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.06	1200.44	1797739
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.06	1200.61	1797704
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.06	1200.61	1797696
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.06	1200.41	1797513
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.06	1200.42	1797483
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.06	1200.55	1797680
goldb-heqc-x1mul.cnf	? (TO)	1200.06	1200.61	1797533
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.06	1200.51	1797600
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.06	1200.42	1797621
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.06	1200.71	1797719
mizh-sha0-36-4.cnf	? (TO)	1200.06	1200.72	1797548
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.06	1200.65	1797472
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.06	1200.62	1797594
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.06	1200.76	1797500
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.06	1200.63	1797578
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.06	1200.71	1797703
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.06	1200.61	1797707
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.06	1201.02	1797550
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.06	1200.61	1797517
manol-pipe-c10nid_i.cnf	? (TO)	1200.07	1200.64	1797556
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.07	1200.52	1797482
goldb-heqc-frg1mul.cnf	? (TO)	1200.07	1200.61	1797537
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.07	1200.44	1797530
goldb-heqc-dalumul.cnf	? (TO)	1200.07	1200.51	1797552
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.07	1200.63	1797564
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.07	1200.45	1797477
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.07	1200.61	1797602
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.07	1200.61	1797618
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.07	1200.6	1797657
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.07	1200.62	1797718
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.07	1200.62	1797745
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.07	1200.61	1797710
goldb-heqc-term1mul.cnf	? (TO)	1200.07	1200.41	1797734
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.08	1200.65	1797684
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.08	1200.56	1797481
manol-pipe-f10ni.cnf	? (TO)	1200.08	1201.86	1797742
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.08	1200.64	1797675
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.08	1200.51	1797570
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.08	1200.62	1797592
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.08	1200.41	1797699
mizh-md5-47-4.cnf	? (TO)	1200.08	1200.52	1797553
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.08	1200.75	1797666
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.08	1200.45	1797493
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.08	1200.62	1797616
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.08	1200.44	1797470
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.08	1200.61	1797722
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.08	1200.56	1797682
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.09	1200.62	1797733
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.09	1200.41	1797488
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.09	1200.95	1797679
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.09	1200.54	1797673
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.09	1200.52	1797617
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.09	1200.61	1797713
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.09	1200.72	1797700
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.09	1200.63	1797588
manol-pipe-g10bidw.cnf	? (TO)	1200.09	1200.74	1797727
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.09	1200.55	1797580
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.09	1200.62	1797611
manol-pipe-g10nid.cnf	? (TO)	1200.09	1200.54	1797547
aloul-chnl11-13.cnf	? (TO)	1200.09	1200.61	1797551
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.09	1200.42	1797516
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1797720
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.09	1200.72	1797502
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.09	1200.48	1797491
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.09	1200.75	1797668
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.1	1200.75	1797464
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.1	1200.61	1797706
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.1	1200.61	1797604
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.11	1200.54	1797478
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.11	1200.52	1797593
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.11	1200.72	1797615
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.12	1200.71	1797509
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.12	1200.62	1797606
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.13	1200.62	1797612
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.14	1200.71	1797607
industrial/narain/ clauses-8.cnf	? (TO)	1200.23	1200.88	1797520

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	13.335	13.3529	1797652
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	165.271	165.38	1797531
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	166.45	166.69	1797532
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	179.942	180.202	1797523
velev-pipe-sat-1.0-b10.cnf	? (MO)	208.626	212.495	1797728
velev-pipe-sat-1.0-b7.cnf	? (MO)	210.16	212.697	1797725
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	351.08	351.534	1797528
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	486.14	486.414	1797529
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (MO)	704.2	704.698	1797524
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	785.68	785.938	1797525
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (MO)	957.56	958.473	1797527

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.000999	0.0054391	1807479
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.001998	0.0053791	1807437
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.044992	0.0452661	1807409
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	0.214967	0.21508	1807059
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	0.569913	0.571749	1807500
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	2.28665	2.29375	1807423
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	2.91156	2.91311	1806807
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	9.23859	9.24069	1805722
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	17.8893	17.901	1806821
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	47.5918	47.6169	1806947
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	59.221	59.2602	1805757
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	77.0653	77.0878	1805848
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	79.6669	79.71	1805841
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	81.5786	81.6373	1805806
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	143.652	143.713	1806933
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	155.855	155.945	1805785
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	161.029	161.117	1805715
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	195.837	195.892	1805792
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	207.6	207.697	1807444
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	268.094	268.21	1806317
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	281.614	281.765	1806793
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	349.29	349.372	1806506
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	413.659	413.831	1806345
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	433.262	433.46	1806324
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	553.227	553.461	1806912
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	563.088	563.346	1806555
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	606.112	606.357	1806541
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	665.269	665.609	1805981
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	UNSAT	688.667	688.931	1806037
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	749.47	749.697	1805799
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	843.959	844.385	1806303
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	998.674	999.133	1806331
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	UNSAT	1174.41	1174.73	1806520

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.027995	0.0281	1806940
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.032994	0.033081	1807507
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.033994	0.0346639	1807416
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.097985	0.099741	1807108
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.117981	0.119021	1807129
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.135978	0.136949	1807094
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	0.153975	0.154032	1807430
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	0.159975	0.165063	1807465
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.19297	0.195404	1807101
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.218966	0.221242	1806898
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.219965	0.220839	1807143
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.223965	0.223296	1807136
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.236963	0.237795	1807122
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.25296	0.252351	1807157
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.25596	0.256954	1807381
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.282956	0.285562	1807115
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.31795	0.318256	1807164
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.403937	0.403417	1807150
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.503922	0.505447	1807388
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	1.08083	1.08453	1806919
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	1.45578	1.46362	1807451
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	1.58076	1.58222	1806856
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	3.80442	3.80861	1807486
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	4.08038	4.0822	1806954
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	4.70528	4.72137	1807080
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	13.141	13.1554	1806926
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	13.8949	13.9117	1806702
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	15.8656	15.9132	1806625
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	16.4625	16.4753	1806975
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	16.5895	16.6059	1806646
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	19.0371	19.0468	1807472
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	25.5871	25.6104	1807402
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	27.4008	27.4351	1807640
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	31.6752	31.6951	1807521
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	34.3888	34.4079	1806632
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	42.7725	42.7923	1806667
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	44.8862	44.917	1806660
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	45.838	45.8604	1805778
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	63.0434	63.0809	1807514
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	64.1852	64.2203	1806674
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	74.4147	74.443	1805827
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	76.9313	76.9724	1806709
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	100.796	100.849	1805771
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	105.363	105.425	1807591
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	117.98	118.018	1806695
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	121.524	121.585	1806653
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	128.883	128.915	1806870
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	147.531	147.598	1805729
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	156.552	156.614	1806716
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	163.128	163.206	1806688
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	173.631	173.714	1805813
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	188.983	189.07	1807185
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	205.307	205.364	1805834
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	218.971	219.098	1807234
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	238.18	238.311	1806681
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	245.446	245.56	1805764
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	256.18	256.327	1805820
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	267.284	267.39	1806639
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	271.174	271.295	1807493
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	284.789	284.928	1806457
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	SAT	309.469	309.606	1806618
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	352.663	352.82	1806751
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	SAT	415.485	415.633	1806100
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	416.305	416.519	1806569
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	455.593	455.786	1807248
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	554.249	554.496	1807262
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	573.293	573.589	1807661
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	606.488	606.758	1806744
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	756.508	756.867	1807598
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	767.034	767.352	1806863
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	800.178	800.448	1806849
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	1009.04	1009.48	1806723
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	SAT	1130.13	1130.74	1807458
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	SAT	1147.45	1148.04	1806093

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200	1200.61	1806758
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200	1200.7	1806128
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200	1200.66	1806429
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200	1200.62	1807619
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.01	1200.61	1805918
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.01	1200.52	1806387
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.02	1200.62	1806373
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.02	1200.12	1806443
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	? (TO)	1200.02	1200.61	1807633
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.02	1200.52	1807395
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.02	1200.71	1806079
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.02	1200.67	1805988
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.02	1200.61	1806044
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.02	1200.61	1807360
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.03	1200.72	1806170
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.03	1200.62	1806149
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.03	1200.72	1807318
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.03	1201.42	1807353
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.03	1200.61	1807549
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.03	1200.61	1807087
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.03	1200.62	1807199
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.03	1200.62	1806772
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.03	1200.62	1806982
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.03	1200.31	1806877
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1806548
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.03	1200.61	1806730
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.03	1200.61	1806597
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.03	1200.62	1806135
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1806107
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.03	1200.71	1806016
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.03	1200.63	1806114
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1806198
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (TO)	1200.04	1200.41	1807206
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.04	1200.41	1807542
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.04	1200.51	1807528
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.04	1200.61	1806989
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.04	1200.62	1806562
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1806030
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	? (TO)	1200.04	1200.72	1807227
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.04	1200.62	1807367
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1805883
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.04	1200.61	1807010
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1806226
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.04	1200.51	1807584
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1806051
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.05	1200.62	1806604
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806254
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806142
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.05	1200.72	1806366
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806261
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.05	1200.12	1806310
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1806338
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1806499
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.05	1200.41	1807031
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.05	1200.62	1806961
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.05	1200.42	1807283
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.05	1200.42	1806996
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.05	1200.42	1807178
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	? (TO)	1200.05	1200.61	1807213
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	? (TO)	1200.05	1200.41	1807647
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806527
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806401
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806352
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.06	1200.61	1807346
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.06	1200.61	1807024
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.06	1200.61	1807339
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.06	1200.71	1806205
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.06	1200.62	1807675
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1805876
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1806394
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.06	1200.64	1806002
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1806156
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.06	1200.61	1807171
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1806212
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.06	1200.61	1807052
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1805953
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1806219
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.07	1200.52	1807605
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.07	1200.41	1806884
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.07	1200.69	1806023
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1806184
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.07	1200.51	1806814
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806513
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1200.07	1200.71	1807668
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806233
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1805890
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.07	1200.65	1805995
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1805862
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.07	1200.86	1806905
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.07	1200.72	1807304
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.07	1200.62	1807332
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.07	1200.62	1807220
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1806408
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.07	1200.61	1807325
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.07	1200.64	1805974
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1806275
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1806191
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1806492
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.08	1200.62	1806765
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.08	1200.41	1806576
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1806177
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.08	1200.62	1807311
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1806058
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1805897
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.08	1200.72	1805946
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.08	1200.61	1806779
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.08	1200.61	1807535
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.08	1200.62	1807192
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.08	1200.62	1807241
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.08	1200.64	1805939
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1805743
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200.08	1200.61	1807654
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.08	1200.62	1807290
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1806247
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.09	1200.62	1807045
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.09	1200.61	1807073
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1805911
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.09	1200.71	1806534
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.09	1200.71	1805855
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.09	1200.72	1807612
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.09	1200.71	1805736
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.09	1200.61	1806835
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.09	1200.82	1807017
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.09	1200.62	1806583
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.09	1200.63	1807038
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.09	1200.71	1806422
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.09	1200.71	1806590
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.09	1200.62	1807269
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.09	1200.72	1807003
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.09	1200.72	1807297
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.09	1200.72	1807276
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1806086
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1805750
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.09	1200.62	1807626
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.09	1200.71	1807556
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.09	1200.71	1806380
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.09	1200.61	1807570
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.09	1200.62	1807374
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1806282
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.09	1200.71	1807577
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.09	1200.62	1806737
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.09	1200.51	1806828
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.1	1200.61	1806968
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806359
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1806464
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1805960
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.1	1200.71	1805925
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1806450
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.1	1200.71	1806072
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.1	1200.61	1807563
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.1	1200.71	1806800
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806485
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.1	1200.71	1807255
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1806296
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1806478
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.11	1200.61	1806611
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.11	1200.81	1806163
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1806268
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.11	1200.61	1807066
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1806289
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1805967
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1805904
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1806415
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1806471
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.11	1200.71	1806842
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1805932
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200.11	1200.71	1806891
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.11	1200.61	1806786
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.12	1200.61	1806065
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.12	1200.61	1806436
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.12	1200.61	1806121
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.12	1200.71	1805869
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.13	1200.71	1806240
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.2	1200.72	1806009

SAT 2009 Competition: preprocessors track: benchmarks results per solver

Result page for solver IUT_BMB_SIM 1.0 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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