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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.797878	0.798241	1718828

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	10.0815	10.0852	1721718
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	12.873	12.8751	1722118
industrial/grieu/ vmpc_24.cnf	SAT	36.2145	36.2245	1718516
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	49.1425	49.1754	1722468
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	53.6098	53.639	1722018
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	56.1305	56.1601	1721318
industrial/grieu/ vmpc_28.cnf	SAT	284.316	284.438	1718620
industrial/grieu/ vmpc_25.cnf	SAT	469.163	469.302	1718360
industrial/grieu/ vmpc_26.cnf	SAT	575.133	575.289	1718724
industrial/grieu/ vmpc_33.cnf	SAT	1134.34	1134.85	1718464
vange-col-abb313GPIA-9-c.cnf	SAT	1170.04	1170.38	1720336

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	0	0.00509205	1563418
industrial/narain/ clauses-8.cnf	?	0.000999	0.005302	1718776
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	?	0.000999	0.00569793	1719192
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	?	0.000999	0.00517188	1718932
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	?	0.000999	0.00591908	1719400
velev-pipe-sat-1.0-b7.cnf	?	0.000999	0.00532798	1723168
velev-pipe-sat-1.0-b10.cnf	?	0.000999	0.00552908	1723324
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	?	0.000999	0.00505612	1719348
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	?	0.001998	0.00495806	1719244

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.01	1200.41	1721768
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.01	1200.41	1717008
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.01	1200.41	1722968
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.01	1200.31	1553798
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.01	1200.31	1722868
goldb-heqc-i10mul.cnf	? (TO)	1200.01	1200.41	1723428
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.02	1200.41	1723068
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.02	1200.51	1563210
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.02	1200.41	1560558
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.02	1200.41	1560870
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.02	1200.41	1556762
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.02	1200.31	1724208
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.02	1200.31	1558426
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.02	1200.61	1722268
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.03	1200.42	1580550
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.03	1200.51	1563106
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.03	1200.33	1563470
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.03	1200.51	1554422
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.03	1200.41	1721418
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.03	1200.32	1717528
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.03	1200.62	1556242
manol-pipe-g10bidw.cnf	? (TO)	1200.03	1200.62	1723272
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.03	1200.33	1581902
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.03	1200.41	1723584
manol-pipe-c7nidw.cnf	? (TO)	1200.03	1200.42	1723480
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.04	1207.13	1578938
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.04	1200.43	1577898
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.04	1200.51	1558842
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.04	1200.41	1554578
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.04	1200.41	1558218
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.04	1200.41	1717112
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.04	1200.41	1718308
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.04	1200.41	1723688
simon-s02b-dp11u10.cnf	? (TO)	1200.04	1200.41	1723844
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.04	1200.41	1718672
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.04	1200.52	1581746
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.05	1200.41	1722618
manol-pipe-c10nidw.cnf	? (TO)	1200.05	1200.43	1720076
mizh-sha0-36-4.cnf	? (TO)	1200.05	1200.41	1720232
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.05	1200.51	1720128
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.05	1200.51	1556450
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.05	1200.41	1718204
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.05	1200.51	1559258
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.05	1200.51	1559778
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.05	1200.51	1559934
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.05	1200.41	1560298
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.05	1200.32	1716176
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.05	1200.72	1579406
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.05	1200.53	1581486
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.05	1199.91	1556034
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.05	1200.51	1556086
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (TO)	1200.05	1200.62	1717424
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.05	1200.51	1556346
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.05	1200.51	1556710
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.05	1200.41	1718880
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.06	1200.41	1562742
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.06	1200.41	1559726
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.06	1200.41	1559674
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.06	1200.41	1717216
manol-pipe-g6bi.cnf	? (TO)	1200.06	1200.41	1723740
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.06	1200.51	1722568
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.06	1200.41	1563002
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.06	1200.41	1559518
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.06	1200.41	1558478
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (TO)	1200.06	1200.52	1717684
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.06	1200.51	1562690
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.06	1200.51	1722518
manol-pipe-c10nidw_s.cnf	? (TO)	1200.06	1201.14	1723220
goldb-heqc-x1mul.cnf	? (TO)	1200.06	1200.51	1719452
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1722168
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.06	1200.41	1557022
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.06	1200.41	1722418
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.06	1200.51	1557958
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.06	1200.51	1557074
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.06	1200.44	1716748
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.06	1200.42	1719088
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.06	1200.42	1578210
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.06	1200.41	1560922
simon-s03-w08-15.cnf	? (TO)	1200.06	1200.42	1719764
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.06	1200.51	1560454
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.06	1200.51	1560350
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.07	1200.62	1716488
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.07	1200.43	1716540
mizh-md5-47-3.cnf	? (TO)	1200.07	1200.41	1719504
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.07	1200.51	1719608
schup-l2s-guid-1-k56.cnf	? (TO)	1200.07	1200.51	1724104
manol-pipe-f9n.cnf	? (TO)	1200.07	1200.42	1723948
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.07	1200.62	1715864
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.07	1200.42	1715916
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.07	1200.62	1716124
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.07	1200.42	1716436
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.07	1200.41	1717060
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.07	1200.63	1717788
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.07	1200.41	1717632
goldb-heqc-dalumul.cnf	? (TO)	1200.07	1200.41	1720440
manol-pipe-g10nid.cnf	? (TO)	1200.07	1200.42	1720180
mizh-md5-47-4.cnf	? (TO)	1200.07	1200.41	1720544
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.07	1200.41	1721168
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.07	1200.51	1721368
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.07	1200.41	1557802
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.07	1200.42	1554890
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.07	1207.02	1554006
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.07	1200.63	1580238
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.07	1200.74	1563626
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.07	1200.54	1563262
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.07	1200.51	1559622
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.07	1207.01	1559206
manol-pipe-c6nidw_i.cnf	? (TO)	1200.07	1200.41	1724468
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.07	1200.41	1562898
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.07	1200.52	1577690
mizh-sha0-36-3.cnf	? (TO)	1200.08	1200.41	1719816
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.08	1200.52	1563366
hoons-vbmc-lucky7.cnf	? (TO)	1200.08	1200.41	1719868
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.08	1200.42	1716280
aloul-chnl11-13.cnf	? (TO)	1200.08	1200.41	1720388
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.08	1200.41	1556502
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.08	1200.51	1723118
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.08	1200.41	1559362
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.08	1200.62	1579822
cmu-bmc-barrel6.cnf	? (TO)	1200.08	1200.41	1719556
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.08	1200.42	1715708
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.08	1200.62	1555878
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.08	1200.41	1563574
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.08	1200.43	1580082
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.08	1200.42	1715656
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.08	1200.41	1562950
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.08	1200.42	1582006
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1722818
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.08	1200.62	1582734
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.08	1200.41	1558790
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.08	1200.63	1715812
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.08	1200.41	1718412
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.08	1200.51	1563158
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.08	1200.51	1554682
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.08	1200.51	1721868
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.08	1200.41	1553330
mizh-sha0-36-2.cnf	? (TO)	1200.08	1200.61	1724000
manol-pipe-c9.cnf	? (TO)	1200.08	1200.41	1724364
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.08	1200.41	1716904
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.08	1200.41	1721668
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.08	1200.51	1723018
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.08	1200.41	1721218
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.08	1200.41	1557490
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.09	1200.41	1556866
goldb-heqc-term1mul.cnf	? (TO)	1200.09	1200.41	1723636
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.09	1200.41	1560038
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.09	1200.63	1715604
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.09	1200.52	1723896
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.09	1200.51	1559310
simon-s03-fifo8-300.cnf	? (TO)	1200.09	1200.52	1724156
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.09	1200.41	1558998
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.09	1200.54	1718984
manol-pipe-c10nid_i.cnf	? (TO)	1200.09	1200.42	1720752
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.09	1200.51	1555254
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.09	1200.42	1715968
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.09	1200.41	1558062
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.09	1200.41	1558010
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.09	1200.43	1577638
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.09	1200.51	1557698
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.09	1200.41	1557594
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.09	1200.41	1718152
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.09	1200.53	1717944
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.09	1200.51	1722768
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.09	1200.41	1556554
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.09	1200.41	1720908
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.09	1200.41	1562794
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.09	1200.51	1555618
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.09	1200.82	1717892
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.09	1200.52	1581954
manol-pipe-c6bidw_i.cnf	? (TO)	1200.09	1200.41	1720284
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.09	1200.41	1554838
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.09	1200.71	1554734
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.09	1200.42	1580862
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.09	1200.41	1716956
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.09	1200.42	1553850
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.09	1200.41	1553486
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.09	1200.62	1553382
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.09	1200.43	1580342
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.09	1200.41	1553278
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.09	1200.41	1553226
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.09	1200.42	1716696
goldb-heqc-alu4mul.cnf	? (TO)	1200.09	1200.41	1721012
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.09	1200.42	1716332
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.09	1200.41	1554162
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.09	1200.42	1716644
manol-pipe-g7nidw.cnf	? (TO)	1200.09	1200.41	1724312
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.09	1200.43	1716384
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.09	1200.51	1721968
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.09	1200.41	1560714
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.1	1200.51	1556138
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.1	1200.42	1579458
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (TO)	1200.1	1200.51	1554110
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.1	1200.41	1721818
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1200.1	1200.52	1717580
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.1	1200.53	1716072
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.1	1200.41	1718100
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.1	1200.71	1718256
cmu-bmc-longmult15.cnf	? (TO)	1200.1	1200.51	1720648
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.1	1200.51	1718048
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.1	1200.42	1581590
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.1	1200.91	1722368
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.1	1200.51	1718568
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.1	1200.41	1554214
manol-pipe-f9b.cnf	? (TO)	1200.1	1200.52	1719972
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.1	1200.41	1553174
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.1	1200.51	1562638
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.1	1200.51	1555462
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.1	1200.51	1562846
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.1	1200.43	1579978
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.11	1200.43	1581330
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.11	1200.51	1555046
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.11	1200.41	1556814
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.11	1200.51	1556606
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.11	1200.51	1717476
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.11	1200.42	1717320
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.11	1200.63	1717164
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.11	1200.53	1581070
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.11	1200.41	1716852
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.11	1200.73	1578782
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.11	1200.41	1563678
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.11	1200.73	1716228
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.11	1200.41	1560610
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.11	1200.41	1560090
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.11	1200.43	1577846
manol-pipe-c7bidw_i.cnf	? (TO)	1200.11	1200.61	1724260
goldb-heqc-frg1mul.cnf	? (TO)	1200.11	1200.41	1719660
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.11	1200.42	1579874
mizh-sha0-35-3.cnf	? (TO)	1200.11	1200.41	1720700
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.11	1200.41	1563054
mizh-md5-48-5.cnf	? (TO)	1200.11	1200.51	1721116
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.11	1200.43	1717996
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.11	1200.51	1721268
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.11	1200.41	1721518
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.12	1200.44	1563314
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.12	1200.64	1577534
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.12	1200.73	1582162
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.12	1200.63	1582422
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.12	1200.44	1579354
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.12	1200.51	1717840
manol-pipe-g10id.cnf	? (TO)	1200.12	1200.52	1723532
schup-l2s-motst-2-k315.cnf	? (TO)	1200.12	1200.74	1720024
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.12	1200.41	1723376
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.12	1200.63	1715760
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.12	1200.53	1716020
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.12	1200.53	1555150
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.12	1200.42	1716592
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.12	1200.44	1580030
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.12	1200.55	1719920
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.12	1200.63	1577482
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.12	1200.53	1554526
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.12	1200.44	1719140
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.13	1200.63	1717372
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.13	1200.53	1577586
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.13	1200.53	1724416
manol-pipe-f10ni.cnf	? (TO)	1200.13	1200.73	1724052
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.13	1200.45	1719036
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.13	1200.63	1580134
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.13	1200.13	1719296
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.13	1200.73	1580758
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.13	1200.66	1577742
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.14	1200.54	1717736
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.14	1200.64	1577794
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.15	1200.55	1717268
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.15	1200.46	1563730

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-03.cnf	Signal 11	0.042993	0.0425429	1560662
industrial/fuhs/medium/ AProVE07-09.cnf	Signal 11	0.043993	0.045347	1716800
APPLICATIONS/aprove09/ AProVE09-25.cnf	Signal 11	0.044992	0.0456089	1560142
APPLICATIONS/aprove09/ AProVE09-01.cnf	Signal 11	0.044993	0.045829	1560402
APPLICATIONS/aprove09/ AProVE09-10.cnf	Signal 11	0.045992	0.0453879	1560818
velev-vliw-uns-4.0-9C1.cnf	Signal 11	0.935857	0.936416	1723792
velev-vliw-uns-4.0-9-i1.cnf	Signal 11	1.42978	1.42994	1719712

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.015996	0.0151091	1734218
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.018996	0.0188441	1734368
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.019996	0.0207689	1734118
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.030995	0.029788	1734168
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.033994	0.0343041	1734418
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.034993	0.0349809	1734468
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.039993	0.0399211	1734318
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.039993	0.043161	1734568
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.048992	0.0475739	1734268
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.052991	0.0534151	1736168
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.05899	0.0576729	1734618
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.072988	0.0736769	1734518
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.119981	0.119887	1736218
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.719889	0.720628	1736418
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	1.06184	1.06255	1733018
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	1.82472	1.82605	1732368
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	2.6436	2.6445	1738275
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	4.11837	4.12072	1738116
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	4.27035	4.27095	1738169
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	5.16421	5.16563	1736018
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	6.93994	6.94365	1737068
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	8.78067	8.78462	1732468
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	8.92064	8.92549	1732318
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	10.4834	10.4891	1734768
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	11.6012	11.6044	1735268
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	11.6092	11.613	1738328
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	24.4643	24.4814	1730191
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	24.7532	24.7678	1735118
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	27.8048	27.812	1735068
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	SAT	28.3077	28.316	1735868
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	28.6256	28.6345	1735218
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	34.0858	34.0947	1732618
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	41.0768	41.1069	1561962
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	48.5776	48.594	1732418
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	53.0349	53.0538	1735318
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	SAT	63.8683	63.9119	1738381
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	66.2439	66.2652	1732668
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	81.9685	81.9942	1725633
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	SAT	83.6513	83.6803	1735768
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	91.1521	91.1765	1725686
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	91.6701	91.7037	1735168
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	95.9934	96.0344	1562066
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	106.675	106.717	1738063
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	SAT	112.14	112.18	1735918
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	SAT	136.322	136.371	1561338
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	168.856	168.928	1561702
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	SAT	185.415	185.469	1737480
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	211.648	211.704	1561806
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	242.941	244.152	1561910
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	245.713	245.79	1734918
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	265.207	265.293	1733268
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	268.732	268.846	1738222
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	283.992	284.07	1562014
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	339.22	339.336	1561390
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	SAT	402.083	402.183	1736118
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	SAT	427.597	427.722	1737427
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	489.073	489.228	1562378
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	SAT	491.279	491.434	1735518
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	499.679	499.815	1725739
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	501.865	502.006	1732568
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	529.463	529.596	1561494
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	SAT	573.988	574.136	1732218
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	SAT	597.112	597.296	1735368
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	656.291	656.547	1561754
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	689.296	689.452	1735418
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	1036.97	1037.34	1734968

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1729608
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1731675
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1726057
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.01	1200.41	1732168
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1728866
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1730456
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	? (TO)	1200.02	1200.31	1736868
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.02	1200.31	1733618
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1730138
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1728442
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1727965
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1729025
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.02	1200.41	1561650
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1728071
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.02	1200.71	1727859
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1726534
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1726640
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1725315
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1726322
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.03	1200.41	1731868
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1729926
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1729449
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1730509
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.03	1200.41	1561546
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.03	1199.91	1730350
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.03	1200.51	1737218
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1725845
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1731145
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1731569
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.04	1200.42	1562326
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.04	1200.41	1736968
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1727170
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.04	1200.81	1734818
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.04	1200.41	1733468
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.04	1200.41	1733418
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1729184
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1729661
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1730085
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1730562
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730827
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.05	1200.51	1562170
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725368
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1725474
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729873
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.05	1200.41	1562482
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729131
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.05	1200.71	1725262
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1726746
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.05	1200.42	1733318
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.05	1200.51	1560974
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731516
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.05	1200.51	1733968
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.05	1200.42	1727276
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.05	1200.51	1737118
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726905
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.05	1200.51	1562222
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726163
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1731463
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728707
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.05	1200.51	1735968
CRAFTED/ramseycube/ Q3inK10.cnf	? (TO)	1200.06	1200.41	1732868
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1736368
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1726852
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727064
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.06	1200.41	1736668
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1736268
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1729820
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.06	1200.41	1736068
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.06	1200.41	1735818
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.06	1200.41	1735468
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.06	1200.51	1737798
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1727753
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.06	1200.41	1734868
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727806
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.06	1200.41	1737851
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.06	1200.41	1734018
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730244
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.06	1200.52	1728283
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728601
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.06	1200.41	1562534
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (TO)	1200.06	1200.41	1561442
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731198
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.06	1200.41	1733368
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731622
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1729237
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1729396
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.06	1200.41	1737533
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731039
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730774
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.06	1200.41	1731818
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725792
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1725951
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.06	1200.51	1737268
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.06	1200.41	1562274
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1726110
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.07	1200.51	1562430
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.07	1200.51	1737745
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.07	1201.01	1726428
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.07	1200.41	1561286
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1731357
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1727382
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.07	1200.41	1732018
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1731251
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.07	1200.41	1733868
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.07	1200.41	1733568
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1728018
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1728124
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1725421
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.07	1200.41	1738010
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.07	1200.51	1561182
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730403
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.07	1200.51	1732968
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.07	1200.52	1727435
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729502
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.08	1200.52	1727223
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.08	1200.41	1561130
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725527
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1725898
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.08	1200.81	1726375
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1726269
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.08	1200.43	1726958
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1727011
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727912
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728548
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728654
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728813
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1729714
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1730032
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730297
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730721
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.08	1200.44	1730668
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730933
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.08	1200.61	1731968
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.08	1200.41	1732068
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.08	1200.41	1732118
CRAFTED/ramseycube/ Q3inK11.cnf	? (TO)	1200.08	1200.42	1733118
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1733518
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.08	1200.41	1734668
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1733818
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.08	1200.51	1733918
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1734068
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.08	1200.51	1734718
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.08	1200.41	1735568
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.08	1200.41	1736318
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.08	1200.51	1736618
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.08	1200.41	1736818
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.08	1200.51	1737321
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.08	1200.51	1737692
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730986
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.09	1200.41	1737639
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.09	1200.44	1727594
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.09	1200.61	1735018
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1729343
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.09	1200.41	1732268
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1730880
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730615
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726004
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.09	1200.41	1562118
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.09	1200.41	1731918
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.09	1200.52	1733768
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.09	1200.51	1737374
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.09	1200.41	1736468
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.09	1200.41	1737957
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728495
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725580
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728230
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728177
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726799
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1731410
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	? (TO)	1200.09	1200.41	1736518
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731092
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.09	1200.41	1733668
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.09	1200.41	1736918
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1727117
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728919
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728760
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1729979
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729767
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.1	1200.43	1733718
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728336
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.1	1200.65	1728389
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.1	1200.51	1737586
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.1	1200.51	1561026
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1727647
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1726216
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.1	1200.51	1735668
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.1	1200.41	1733218
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.1	1200.41	1732818
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.1	1200.41	1735718
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.1	1200.41	1732518
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.1	1200.41	1733068
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.1	1200.41	1561078
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	? (TO)	1200.1	1200.41	1736768
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729078
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.1	1200.41	1562586
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726587
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.1	1200.41	1736718
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.1	1200.42	1561234
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1729555
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	1200.11	1200.44	1732918
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1728972
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1729290
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.11	1200.41	1737904
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.11	1200.41	1735618
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1727700
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.11	1200.45	1727488
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.11	1200.43	1727329
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	? (TO)	1200.11	1200.41	1736568
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1726693
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1731304
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.11	1200.41	1737018
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1726481
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.12	1200.65	1727541
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.12	1200.72	1733168
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.12	1200.58	1732768

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.007998	0.00895789	1524051
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.008997	0.00844902	1524039
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.011997	0.0118649	1524018
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.013997	0.0148539	1523886
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.014997	0.015822	1523838
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.015997	0.0166629	1523760
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.019996	0.020272	1523799
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.022995	0.023304	1523871
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.028994	0.029714	1523916
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.030994	0.0313731	1523913
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.032994	0.033277	1523958
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.032994	0.033414	1523880
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.033993	0.0328241	1523982
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.038993	0.039214	1524024
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.038993	0.039319	1523820
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.039993	0.04106	1524030
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.039993	0.040411	1523847
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.041993	0.0425249	1523931
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.043993	0.0448929	1523985
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.051991	0.0526621	1524045
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.05999	0.060657	1523784
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.068989	0.0694791	1523811
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.069989	0.0701489	1523808
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.070989	0.0718419	1523823
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.071989	0.0728179	1523136
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.074988	0.0747219	1523100
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.079987	0.0808689	1523835
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.093985	0.094382	1524000
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.099984	0.0997619	1524027
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.102983	0.103163	1523130
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.105983	0.106435	1523898
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.106983	0.107014	1523970
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.106983	0.107871	1523772
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.110982	0.11165	1523967
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.116981	0.117158	1523802
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.118981	0.119428	1523832
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.118981	0.119074	1523070
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	0.120981	0.124886	1524021
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.12298	0.127069	1523928
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.12698	0.127617	1524042
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.131979	0.132558	1523115
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.133979	0.134133	1523844
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.135978	0.137236	1523796
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.136979	0.137708	1523082
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.138978	0.139469	1523091
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.148976	0.148222	1523061
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.148976	0.149398	1523085
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.149976	0.15056	1523103
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.159975	0.160865	1523058
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.160974	0.161215	1523952
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.161974	0.162462	1524012
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.164974	0.165075	1523145
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.167973	0.168459	1524063
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.170974	0.171431	1523109
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.176972	0.176938	1524015
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.179971	0.179601	1523910
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.179972	0.180602	1524033
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.18597	0.186192	1523973
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.18697	0.18759	1523787
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.186971	0.187786	1523079
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.19197	0.191183	1523121
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.192969	0.193822	1523904
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.197969	0.198451	1523094
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.206967	0.20674	1523874
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.208967	0.208335	1523778
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.209967	0.210163	1523892
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.228965	0.229352	1523049
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.244961	0.247766	1524066
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.248961	0.24882	1523133
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.25296	0.25241	1523979
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.254961	0.25564	1523889
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.262959	0.263366	1524006
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.263959	0.264601	1523895
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.266958	0.267767	1523883
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.274957	0.27568	1523949
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.290954	0.291585	1523163
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.301953	0.300617	1523814
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.302953	0.304105	1523118
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.305952	0.305917	1524057
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.31795	0.318899	1523790
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.323949	0.324357	1523805
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.327949	0.328179	1523850
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.336947	0.337608	1523064
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.342947	0.343065	1523088
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.364944	0.365852	1523877
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.373943	0.374232	1523865
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.431934	0.432985	1523106
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.462928	0.462719	1523127
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.465929	0.466596	1523742
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.484926	0.486002	1523748
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.490924	0.491669	1523901
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.490924	0.491312	1523994
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.498923	0.499803	1523781
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	0.498923	0.498346	1523976
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.51992	0.520609	1523940
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.523919	0.524659	1523097
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.524919	0.525057	1523859
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.525919	0.525013	1524003
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.550915	0.551339	1523166
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.601908	0.603184	1523148
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.625904	0.626936	1523754
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.666897	0.667599	1523862
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.668897	0.669683	1523067
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.685895	0.686687	1524009
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.698893	0.699477	1523922
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.748885	0.748916	1523751
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.839872	0.84082	1523154
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.84487	0.844826	1524054
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.879865	0.8794	1524048
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	0.92086	0.922274	1524036
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	0.936856	0.937417	1523055
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.936857	0.937915	1523112
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.937856	0.9389	1523934
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.938856	0.939111	1523817
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.965853	0.966344	1523937
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	1.01984	1.02168	1523997
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	1.14082	1.1404	1523955
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	1.16982	1.17049	1523151
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	1.21381	1.21378	1523961
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	1.35479	1.35381	1523826
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	1.43778	1.43695	1523946
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	1.45278	1.45394	1523769
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	1.68274	1.68326	1523307
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	1.76273	1.76366	1523964
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	1.76673	1.76786	1523364
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	1.79173	1.79331	1523793
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	1.85872	1.85835	1523310
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	1.87871	1.8783	1523943
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	1.9497	1.94898	1522680
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	2.09568	2.09486	1523301
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	2.13767	2.13864	1523328
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	2.15167	2.1531	1523373
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	2.16267	2.16377	1523142
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	2.18167	2.18279	1523925
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	2.26565	2.26888	1523388
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	2.29565	2.29636	1523370
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	2.30265	2.30343	1523340
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	2.37364	2.37511	1523076
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	2.54061	2.5415	1523298
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	2.54861	2.5491	1523841
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	2.65559	2.65627	1523988
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	2.67259	2.68851	1523739
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	2.72258	2.72291	1523346
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	2.79757	2.79933	1523385
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	2.85356	2.85453	1523313
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	2.99554	2.99693	1523766
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	3.06053	3.06826	1523289
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	3.09753	3.09927	1523292
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	3.16752	3.16841	1523073
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	3.17252	3.17339	1523763
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	3.2955	3.29604	1522686
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	3.3045	3.31187	1523319
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	3.32849	3.32872	1523316
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	3.40548	3.4066	1523052
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	3.43048	3.4324	1523853
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	3.43748	3.44256	1523868
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	3.44648	3.44699	1523757
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	3.50147	3.50119	1522671
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	3.50247	3.50429	1523361
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	3.50347	3.50391	1524060
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	3.54146	3.54521	1523856
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	3.54646	3.55061	1523394
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	3.57446	3.57583	1523304
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	3.64645	3.6484	1523334
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	4.02839	4.02875	1523160
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	4.04938	4.04939	1523367
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	4.14137	4.14301	1523907
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	4.15137	4.15127	1523349
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	4.21336	4.21795	1523403
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	4.21636	4.21614	1523406
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	4.29035	4.29539	1523343
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	4.39633	4.4013	1523331
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	4.45132	4.45224	1523226
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	4.54031	4.54229	1522677
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	4.5923	4.59421	1522821
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	4.86726	4.87179	1523775
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	4.89925	4.8994	1523139
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	5.09323	5.09741	1522674
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	5.31919	5.32076	1523157
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	5.62114	5.62412	1523919
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	5.65214	5.65702	1523337
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	5.67114	5.67055	1522827
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	5.71213	5.7155	1522665
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	5.8971	5.90015	1523352
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	7.15191	7.15465	1523991
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	8.5447	8.54919	1523358
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	8.78266	8.7858	1523325
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	9.26959	9.27398	1523382
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	9.36458	9.36591	1523400
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	9.80251	9.80891	1523397
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	10.1495	10.1571	1522668
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	11.7282	11.7336	1523295
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	11.8522	11.8572	1523322
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	12.0622	12.0654	1522659
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	12.5841	12.5888	1522494
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	13.6359	13.6379	1523745
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	15.3207	15.3242	1523376
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	15.4107	15.4149	1522836
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	15.7456	15.7515	1522830
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	16.3665	16.371	1523355
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	16.4045	16.4124	1523379
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	16.9284	16.9329	1522497
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	17.3654	17.3713	1522818
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	18.1172	18.1244	1522491
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	18.6292	18.6388	1522719
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	19.562	19.5682	1523124
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	21.6617	21.6697	1523244
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT	23.4914	23.5008	1522623
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	23.6754	23.6833	1522770
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	29.9284	29.9413	1522389
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	31.5232	31.5347	1522776
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	31.7212	31.733	1522815
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	31.8502	31.8648	1523262
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	40.4209	40.4367	1522752
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	44.3393	44.3553	1523217
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	45.906	45.9226	1523268
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	46.9649	46.9804	1522734
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	56.6414	56.6752	1523829
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	58.4101	58.4391	1522662
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT	62.9884	63.0113	1522428
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	64.1652	64.192	1522503
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	SAT	67.1698	67.191	1522839
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	SAT	72.437	72.4552	1522434
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	72.8989	72.8902	1522506
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	75.2806	75.6496	1522500
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	77.5052	77.5268	1522713
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	83.6903	83.7211	1522629
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	86.8398	86.8708	1522479
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	86.8398	86.8716	1522683
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	89.5274	89.5496	1522743
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	97.9671	97.997	1522635
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	103.913	103.949	1523391
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	105.912	105.942	1522638
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	116.555	116.593	1522410
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	131.084	131.133	1522833
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	133.686	133.73	1522722
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	SAT	136.921	136.961	1522878
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	SAT	142.371	142.407	1522866
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	SAT	146.029	146.088	1522845
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	148.78	148.839	1522899
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	SAT	149.144	149.19	1522392
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	149.256	149.308	1522887
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	SAT	151.672	151.652	1522599
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	SAT	158.471	158.528	1522581
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	183.514	183.574	1522467
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	SAT	185.98	186.033	1522365
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	189.1	189.166	1522488
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	203.988	204.045	1522755
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	215.396	215.452	1522482
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	241.567	241.661	1522692
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	246.594	246.681	1522644
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	256.148	256.241	1522737
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	269.727	269.803	1522698
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	316.238	316.358	1522716
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	319.833	319.919	1522749
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	331.42	333.093	1522650
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	335.344	335.466	1522632
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	343.84	343.953	1522728
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	344.749	344.836	1522803
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	389.861	389.962	1522359
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	410.145	410.27	1522458
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	416.188	416.301	1522407
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	458.668	458.836	1522641
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	SAT	478.327	478.467	1522470
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	491.879	492.059	1522485
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	495.417	495.589	1522725
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	SAT	503.998	504.125	1522422
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	SAT	509.34	509.477	1522614
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	SAT	535.55	535.729	1522611
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	610.146	610.358	1522806
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	620.53	620.733	1522707
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	637.425	637.657	1522764
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	643.221	643.445	1522812
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	659.918	660.151	1522398
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	685.78	685.955	1522395
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	SAT	715.212	715.403	1522362
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	SAT	752.465	752.661	1522461
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	SAT	786.977	787.181	1522464
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	793.873	794.308	1522911
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	SAT	811.961	812.164	1522551
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	845.444	845.735	1522653
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	SAT	867.904	868.222	1522476
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	871.869	872.176	1522758
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	895.507	896.043	1522647
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	SAT	1023.22	1023.47	1522368
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	SAT	1056.22	1056.61	1522377
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	SAT	1103.04	1103.34	1522590
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	1105.45	1105.77	1522824
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	SAT	1111.51	1111.8	1522419
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	1119.3	1119.57	1522731

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

Result page for solver Hybrid2 2009-03-22 (incomplete)

Category "applications instances" (APPLICATION)

Solver proved unsatisfiability (UNSATISFIABLE) (1 run) [Show/Hide]

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

Solver didn't decide (UNKNOWN) (9 runs) [Show/Hide]

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

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

Category "crafted instances" (CRAFTED)

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

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

Category "random instances" (RANDOM)

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

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