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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
aloul-chnl11-13.cnf	UNSAT	0.6489	0.335862	1720406
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	3.82342	3.8251	1718846
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	45.4431	45.4525	1718014
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	46.057	46.0777	1717962

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	22.8275	12.1025	1560316
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	732.72	374.266	1560680
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	1025.66	524.161	1560420
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	1060.24	532.441	1560472

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
manol-pipe-g7nidw.cnf	?	1199.93	617.596	1724330
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	?	1199.94	608.977	1562916
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	?	1199.94	606.407	1553296
manol-pipe-g6bi.cnf	?	1199.94	604.174	1723758
industrial/fuhs/medium/ AProVE07-09.cnf	?	1199.96	610.976	1716818
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	?	1199.96	608.448	1562968
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	?	1199.96	602.091	1722436
mizh-md5-47-4.cnf	?	1199.96	636.186	1720562
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	?	1199.97	601.933	1721886
vange-col-abb313GPIA-9-c.cnf	?	1199.97	616.823	1720354
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	?	1200	604.559	1722386
goldb-heqc-i10mul.cnf	?	1200	603.105	1723446
APPLICATIONS/aprove09/ AProVE09-21.cnf	?	1200.01	604.865	1560108
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	?	1200.01	610.557	1563072
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	?	1200.02	601.977	1721236
mizh-md5-47-3.cnf	?	1200.02	636.291	1719522
mizh-md5-48-5.cnf	?	1200.02	635.684	1721134
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	?	1200.03	605.104	1557508
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	?	1200.04	602.084	1722886
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	?	1200.04	640.294	1716714
manol-pipe-c9.cnf	?	1200.05	602.992	1724382
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	?	1200.07	632.885	1579424
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	?	1200.1	601.9	1722536

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.05	1200.63	1554544
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.06	1200.74	1717182
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.06	604.854	1724226
manol-pipe-f10ni.cnf	? (TO)	1200.06	1200.44	1724070
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.06	608.844	1562708
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.07	1200.45	1579372
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.07	611.023	1723394
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.07	1200.75	1580048
schup-l2s-guid-1-k56.cnf	? (TO)	1200.07	643.039	1724122
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.07	1200.45	1716766
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.07	1200.47	1717286
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.08	607.67	1563176
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.08	610.76	1562812
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.08	611.73	1563124
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.09	602.404	1721186
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.09	620.592	1717858
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.09	1200.38	1724434
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.09	1200.43	1563488
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.09	602.183	1717026
manol-pipe-c10nid_i.cnf	? (TO)	1200.1	1200.43	1720770
manol-pipe-c10nidw.cnf	? (TO)	1200.1	1200.64	1720094
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.1	1207.17	1563748
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.1	603.515	1721986
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.11	608.577	1723706
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.11	1200.54	1555168
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.11	1200.64	1717390
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.11	716.731	1723914
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.12	615.362	1723602
manol-pipe-g10bidw.cnf	? (TO)	1200.12	1200.53	1723290
manol-pipe-c10nidw_s.cnf	? (TO)	1200.12	1200.44	1723238
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.12	602.094	1716922
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.12	1200.55	1717754
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.12	1200.64	1717806
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.12	1200.66	1719938
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.12	1200.53	1553868
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.13	1200.47	1577812
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.13	1200.44	1716402
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	? (TO)	1200.13	608.711	1721336
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.13	602.741	1722986
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.13	602.483	1723136
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.13	657.746	1555272
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.13	1200.64	1580776
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.13	610.182	1563228
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.14	1200.68	1577604
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.14	602.854	1721786
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.14	1200.64	1577864
schup-l2s-motst-2-k315.cnf	? (TO)	1200.14	1200.45	1720042
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.14	1200.66	1577552
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	? (TO)	1200.14	603.633	1722136
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.15	603.849	1721686
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.15	602.361	1723036
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.15	1200.79	1577760
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.16	634.845	1717494
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.16	623.161	1560576
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.16	607.346	1562864
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.17	1200.47	1723810
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.17	609.36	1562760
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.18	603.265	1722636
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.18	604.139	1721386
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.18	603.034	1722836
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.18	1200.56	1719054
manol-pipe-c6bidw_i.cnf	? (TO)	1200.19	626.328	1720302
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.19	605.467	1721836
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.19	625.175	1557040
industrial/narain/ clauses-8.cnf	? (TO)	1200.2	1200.74	1718794
industrial/grieu/ vmpc_24.cnf	? (TO)	1200.2	602.129	1718534
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.2	606.675	1560888
manol-pipe-c6nidw_i.cnf	? (TO)	1200.2	625.384	1724486
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.2	1200.55	1719158
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.21	604.868	1559640
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.21	601.84	1723086
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.21	602.042	1722286
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.21	605.269	1721536
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.21	1200.57	1719730
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.23	608.012	1563020
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.23	605.332	1557716
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.24	636.713	1717650
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.25	605.866	1721436
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.26	1200.85	1719002
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.26	607.628	1722486
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.27	602.707	1722186
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.28	602.761	1718638
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.28	603.539	1718482
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.28	605.133	1559224
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.29	608.859	1560940
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.29	602.913	1721736
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.3	602.852	1718586
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.32	602.412	1721286
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.32	605.771	1722786
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.32	602.41	1718742
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.33	602.622	1722586
industrial/grieu/ vmpc_25.cnf	? (TO)	1200.37	602.308	1718378
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.42	602.968	1553348

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	24.7342	24.7493	1719262
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	26.9409	26.9526	1719210
velev-pipe-sat-1.0-b10.cnf	? (MO)	30.2494	30.256	1723342
velev-pipe-sat-1.0-b7.cnf	? (MO)	30.4374	30.4566	1723186
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	34.5487	34.585	1718950
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	38.8371	38.8581	1719418
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	39.1061	39.156	1719366
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	51.3272	52.5901	1563436
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (MO)	171.61	86.5051	1554856
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (MO)	179.613	90.5044	1554128
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (MO)	219.904	110.896	1554700
goldb-heqc-x1mul.cnf	? (MO)	272.902	137.867	1719470
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (MO)	281.392	143.773	1554752
APPLICATIONS/ bitverif/minand/minand128.cnf	? (MO)	313.828	166.784	1554232
cmu-bmc-longmult15.cnf	? (MO)	345.05	173.666	1720666
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (MO)	360.888	181.277	1718066
APPLICATIONS/bitverif/ minor/minor032.cnf	? (MO)	366.544	184.594	1553244
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (MO)	382.286	205.992	1556156
industrial/fuhs/medium/ AProVE07-16.cnf	? (MO)	406.211	213.285	1716870
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (MO)	422.486	233.087	1556780
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (MO)	430.997	217.475	1555636
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (MO)	431.015	216.888	1554596
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (MO)	437.248	219.98	1556052
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (MO)	451.097	228.483	1556104
goldb-heqc-term1mul.cnf	? (MO)	459.044	230.773	1723654
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (MO)	459.979	240.671	1559952
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (MO)	460.621	251.678	1556884
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (MO)	471.079	256.779	1557092
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (MO)	480.245	243.275	1554440
goldb-heqc-alu4mul.cnf	? (MO)	497.201	249.971	1721030
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (MO)	534.248	292.268	1578228
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (MO)	536.183	293.372	1579476
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (MO)	542.316	275.275	1558236
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (MO)	544.522	274.078	1555064
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (MO)	552.045	541.394	1557612
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (MO)	559.421	304.173	1556468
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (MO)	561.719	303.8	1556832
een-tip-sat-texas-tp-5e.cnf	? (MO)	570.524	287.472	1720926
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (MO)	579.992	299.179	1553504
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (MO)	580.86	294.973	1558080
velev-engi-uns-1.0-4nd.cnf	? (MO)	581.538	293.168	1720146
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (MO)	583.604	582.185	1560628
goldb-heqc-frg1mul.cnf	? (MO)	584.527	293.367	1719678
cmu-bmc-barrel6.cnf	? (MO)	584.904	293.374	1719574
goldb-heqc-dalumul.cnf	? (MO)	599.52	301.866	1720458
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (MO)	599.92	326.177	1579892
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (MO)	623.967	598.487	1556572
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (MO)	630.547	316.177	1718274
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (MO)	630.574	316.805	1718326
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (MO)	631.436	326.268	1556364
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (MO)	637.093	323.772	1560160
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (MO)	644.63	357.588	1581764
mizh-sha0-35-3.cnf	? (MO)	651.011	341.365	1720718
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (MO)	654.64	343.073	1559692
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (MO)	659.184	333.87	1558028
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (MO)	704.711	355.086	1553816
APPLICATIONS/bitverif/ minor/minor064.cnf	? (MO)	705.142	355.196	1553192
industrial/fuhs/hard/ AProVE07-08.cnf	? (MO)	715.839	359.576	1716974
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (MO)	722.114	363.47	1560056
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (MO)	729.326	366.095	1718118
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (MO)	730.342	367.181	1560732
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (MO)	735.213	371.777	1559536
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (MO)	760.975	384.867	1558496
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (MO)	770.301	485.773	1719106
industrial/fuhs/hard/ AProVE07-26.cnf	? (MO)	783.131	395.887	1717078
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (MO)	801.766	405.688	1557820
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (MO)	816.046	412.585	1559016
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (MO)	826.38	417.67	1559380
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (MO)	841.163	425.172	1559328
mizh-sha0-36-3.cnf	? (MO)	848.383	441.37	1719834
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (MO)	858.569	434.074	1558860
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (MO)	866.338	434.679	1718222
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (MO)	877.505	440.485	1718170
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (MO)	885.039	447.07	1557976
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (MO)	886.678	447.772	1559276
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (MO)	895.818	450.079	1554180
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (MO)	899.883	473.574	1718898
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (MO)	901.83	461.074	1563592
mizh-sha0-36-4.cnf	? (MO)	924.143	478.869	1720250
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (MO)	940.435	492.39	1560836
schup-l2s-abp4-1-k31.cnf	? (MO)	975.874	491.27	1719626
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (MO)	982.561	497.775	1559796
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (MO)	992.206	501.069	1558808
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (MO)	998.756	524.271	1556728
simon-s02b-dp11u10.cnf	? (MO)	1020.49	512.797	1723862
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (MO)	1021.77	515.167	1558444
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (MO)	1051.56	859.886	1719314
mizh-sha0-36-2.cnf	? (MO)	1069.24	551.864	1724018
hoons-vbmc-lucky7.cnf	? (MO)	1070.58	537.276	1719886
industrial/grieu/ vmpc_34.cnf	? (MO)	1072.94	539.976	1718690
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (MO)	1098.2	554.071	1559744
industrial/fuhs/hard/ AProVE07-27.cnf	? (MO)	1101.66	555.593	1717130
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (MO)	1115.23	561.572	1555480
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (MO)	1135.71	576.174	1722036
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (MO)	1136.91	592.171	1556624
industrial/grieu/ vmpc_30.cnf	? (MO)	1139.46	572.577	1718430
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (MO)	1187.01	603.776	1560368
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (MO)	1194.69	622.073	1556520
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (MO)	1198.92	607.472	1562656

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/palacios/hard/ safe-30-h29-unsat.cnf	Signal 11	72.111	72.1609	1717338
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	Signal 11	77.3622	77.5878	1563696
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	Signal 11	84.7991	102.008	1554024
manol-pipe-c7bidw_i.cnf	Signal 11	87.3057	87.3487	1724278
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	Signal 11	89.8563	91.5562	1716350
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	Signal 11	92.7849	93	1715674
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	Signal 11	92.8299	80.4607	1717234
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	Signal 11	92.9489	93.2869	1563384
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	Signal 11	111.826	111.871	1553400
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	Signal 11	112.289	112.514	1716662
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	Signal 11	120.246	120.514	1582752
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	Signal 11	126.037	126.123	1581972
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	Signal 11	128.53	128.845	1579996
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	Signal 11	128.996	129.054	1715726
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	Signal 11	129.562	129.744	1716454
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	Signal 11	138.294	138.591	1580568
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	Signal 11	139.341	139.633	1716194
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	Signal 11	147.259	147.599	1715934
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	Signal 11	151.23	151.455	1717702
manol-pipe-g10id.cnf	Signal 11	157.921	158.014	1723550
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	Signal 11	167.029	167.113	1582024
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	Signal 11	170.619	170.781	1577916
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	Signal 11	176.447	176.501	1579840
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	Signal 11	179.452	180.054	1580880
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	Signal 11	180.246	180.633	1580100
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	Signal 11	181.405	181.737	1563280
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	Signal 11	184.43	311.729	1581608
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	Signal 11	186.1	186.563	1717910
simon-s03-w08-15.cnf	Signal 11	188.218	188.395	1719782
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	Signal 11	198.77	199.095	1717598
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	Signal 11	200.059	200.238	1716506
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	Signal 11	200.526	200.76	1563332
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	Signal 11	201.661	204.861	1563644
manol-pipe-c7nidw.cnf	Signal 11	213.264	213.619	1723498
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	Signal 11	248.705	249.453	1715622
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	Signal 11	259.574	260.037	1716142
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	Signal 11	285.741	285.918	1716610
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	Signal 11	287.051	287.4	1715986
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	Signal 11	293.464	293.824	1577708
manol-pipe-f9b.cnf	Signal 11	341.918	345.445	1719990
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	Signal 11	348.251	348.436	1581920
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	Signal 11	352.926	353.682	1578800
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	Signal 11	354.717	355.276	1581348
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	Signal 11	357.207	357.543	1717546
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	Signal 11	357.235	358.033	1580152
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	Signal 11	365.594	365.834	1580256
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	Signal 11	386.596	386.889	1716298
APPLICATIONS/bitverif/ smulo/smulo128.cnf	Signal 11	390.74	415.122	1554908
manol-pipe-f9n.cnf	Signal 11	391.948	392.268	1723966
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	Signal 11	395.856	396.166	1715882
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	Signal 11	413.695	415.258	1577656
simon-s03-fifo8-300.cnf	Signal 11	418.423	418.668	1724174
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	Signal 11	477.578	478.008	1716246
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	Signal 11	526.783	528.674	1556260
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	Signal 11	613.615	616.375	1716090
APPLICATIONS/bitverif/ maxor/maxor128.cnf	Signal 11	618.179	618.552	1555896
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	Signal 11	626.384	626.676	1715778
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	Signal 11	652.579	652.834	1715830
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	Signal 11	674.966	675.333	1716558
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	Signal 11	689.983	690.749	1581504
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	Signal 11	695.263	695.662	1581088
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	Signal 11	702.814	703.253	1717442
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	Signal 11	716.136	716.783	1577500
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	Signal 11	766.472	767.103	1582440
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	Signal 11	775.552	775.96	1582180
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	Signal 11	827.044	827.557	1578956
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	Signal 11	934.157	935.235	1580360
manol-pipe-g10nid.cnf	Signal 11	1006.58	1006.97	1720198
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	Signal 11	1078.43	1078.92	1716038

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.001999	0.00513196	1736886
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.005998	0.00573001	1736586
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	0.384941	0.220802	1725280
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	0.600907	0.579737	1725439
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	0.739887	0.718295	1725492
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	1.3388	0.756228	1732036
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	2.39464	2.01773	1736386
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	2.67859	1.51656	1732136
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	2.76458	2.10359	1725545
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	3.11253	1.91831	1726234
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	UNSAT	3.77443	1.9022	1730474
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	3.9604	2.35804	1726287
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	UNSAT	11.4433	5.75608	1730421
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	14.1528	13.1287	1731269
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	24.7692	12.6626	1731936
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	UNSAT	34.4418	22.1179	1731110
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	UNSAT	67.3708	34.1389	1731886
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	91.458	23.006	1725333
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	UNSAT	217.683	109.128	1730527
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	UNSAT	347.565	174.645	1737710
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	UNSAT	733.21	368.394	1737339
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	UNSAT	1188.34	595.687	1728513

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.12598	0.125566	1734236
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.143978	0.14369	1734186
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.149976	0.150085	1734386
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.155976	0.155445	1734486
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.165974	0.164221	1734436
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.166973	0.167183	1734136
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.187971	0.185349	1734336
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.19297	0.193124	1736186
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.195969	0.196563	1733036
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.197969	0.19455	1734586
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.221965	0.222174	1734286
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.234963	0.234666	1734636
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.291955	0.292274	1734536
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.39094	0.390472	1736236
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	1.36279	1.32545	1736436
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	1.41978	1.26804	1737086
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	2.34464	2.3419	1732686
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	19.733	19.7358	1732886
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	33.9348	17.1611	1736536
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	68.3286	34.3705	1738187
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	88.1216	44.3049	1736786
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	181.192	91.0257	1738081
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	181.961	181.997	1733136
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	687.264	344.558	1738134

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/ramseycube/ Q3inK13.cnf	?	20.7158	20.7211	1732786
CRAFTED/ramseycube/ Q3inK12.cnf	?	1199.86	1200.37	1732936
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	?	1199.89	601.746	1728248
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	?	1199.89	602.134	1737286
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	?	1199.9	602.013	1732186
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	?	1199.92	602.34	1736086
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	?	1199.95	603.176	1732486
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	?	1199.95	602.415	1737551
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	?	1199.96	601.406	1729096
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	?	1199.96	742.467	1562344
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	?	1199.97	605.708	1737604
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	?	1199.98	604.617	1734736
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	?	1199.98	602.576	1732086
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	?	1199.99	601.847	1731836
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	?	1199.99	601.513	1738346
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	?	1199.99	604.847	1734836
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	?	1200	601.751	1736686
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	?	1200	604.525	1735986
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	?	1200	602.881	1735836
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	?	1200	602.643	1736336
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	?	1200.01	602.08	1735386
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	?	1200.01	601.85	1736836
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	?	1200.01	604.387	1729520
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	?	1200.02	601.552	1728089
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	?	1200.02	603.648	1736986
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	?	1200.02	601.447	1730580
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	?	1200.02	602.9	1737657
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	?	1200.03	611.09	1738028
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	?	1200.03	601.488	1731057
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	?	1200.03	601.559	1728142
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	?	1200.04	602.301	1561460
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	?	1200.05	605.37	1562292
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	?	1200.07	602.28	1738399

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.03	604.614	1728566
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200.04	601.715	1738240
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.06	602.814	1727771
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.06	604.606	1729679
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	? (TO)	1200.06	604.646	1562084
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.06	601.542	1730739
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.07	601.91	1735936
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	? (TO)	1200.08	603.953	1734786
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.09	602.066	1735036
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.09	601.616	1729043
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.1	602.053	1735886
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.1	601.55	1728831
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.11	601.49	1731640
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.11	601.766	1736036
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.11	601.673	1728036
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.11	601.592	1728619
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.11	605.242	1732986
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.12	606.401	1732536
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	? (TO)	1200.12	602.674	1732386
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.12	607.266	1737975
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.12	604.028	1735686
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.12	601.759	1727983
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	? (TO)	1200.12	601.887	1735136
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.12	602.389	1731986
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.12	605.697	1732586
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.13	601.863	1733086
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.13	601.871	1731322
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	? (TO)	1200.13	601.799	1735236
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.13	616.799	1727400
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.14	601.695	1733886
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1200.14	601.811	1735336
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.14	601.772	1735286
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.14	601.587	1726181
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.15	602.113	1735536
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	? (TO)	1200.15	601.863	1735086
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200.15	605.25	1732636
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.15	601.525	1728884
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.15	601.62	1737036
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.16	601.917	1730103
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	1200.16	602.948	1725704
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.16	601.775	1734686
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.16	602.214	1731693
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.16	608.106	1733436
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.17	605.505	1732286
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.17	601.617	1725598
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.17	601.989	1736486
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.17	601.521	1729467
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.18	601.529	1729573
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.18	601.608	1728195
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.18	602.841	1725757
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.18	603.818	1733586
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.18	604.223	1736286
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.19	601.974	1725863
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.19	602.472	1733236
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.19	601.772	1729732
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.19	605.035	1728460
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.19	605.663	1732236
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.2	603.576	1735486
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.2	1207.15	1561148
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.2	601.961	1725810
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.2	601.626	1729414
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.2	602.037	1729785
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.2	601.977	1729891
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.2	626.452	1732836
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (TO)	1200.2	601.95	1734936
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.2	604.715	1735586
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.2	601.894	1735436
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.2	602.661	1736636
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.21	603.122	1725969
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.21	602.605	1736136
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.21	602	1729838
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.21	601.942	1727877
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.22	602.505	1737136
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	? (TO)	1200.22	604.181	1732336
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.22	605.817	1725916
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.22	601.733	1561044
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.23	601.687	1728672
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.23	602.308	1725651
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.23	601.734	1729626
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	? (TO)	1200.23	602.075	1561720
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.24	601.922	1735186
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.24	605.588	1737445
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.25	601.957	1729944
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.25	602.059	1735786
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.25	602.955	1727930
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.25	601.991	1733286
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.25	601.699	1731481
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.26	605.389	1737498
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.26	604.919	1734886
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.26	604.532	1737236
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.26	606.021	1737392
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.27	601.632	1728778
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (TO)	1200.27	605.589	1732436
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.27	602.163	1561356
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.27	620.154	1733736
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.28	602.05	1729997
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.28	602.229	1727665
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.28	603.416	1733786
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.28	603.611	1736736
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	? (TO)	1200.29	601.908	1734986
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.29	602.941	1729361
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.29	601.81	1733686
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	? (TO)	1200.29	607.682	1561928
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.29	602.499	1736936
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	1200.3	602.43	1561824
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.31	602.007	1733936
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.32	607.246	1737869
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.33	601.854	1727824
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.33	603.142	1733486
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.33	649.657	1730686
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.33	601.972	1726764
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.33	602.084	1730050
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.34	602.46	1735736
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.34	603.162	1735636
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.34	602.049	1734036
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.35	602.834	1733386
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.37	601.823	1727718
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.39	601.727	1726870
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.39	604.01	1733336
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.41	602.018	1562240
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.42	602.123	1730845
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.47	606.965	1737763

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (MO)	194.4	97.8793	1562448
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (MO)	205.719	109.306	1561512
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (MO)	298.817	156.569	1562604
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (MO)	319.402	172.693	1728725
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	? (MO)	341.349	189.979	1561980
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (MO)	346.509	174.081	1731587
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (MO)	359.976	185.384	1727029
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (MO)	360.043	181.18	1728937
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	? (MO)	383.548	192.58	1562032
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (MO)	397.291	199.577	1562500
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (MO)	450.266	226.378	1560992
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (MO)	454.331	449.873	1562552
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (MO)	458.826	235.166	1737816
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (MO)	460.506	231.189	1561564
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (MO)	463.093	232.492	1561304
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (MO)	468.765	294.794	1727559
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (MO)	474.131	237.798	1726340
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (MO)	499.073	251.765	1726817
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (MO)	500.464	268.881	1727294
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (MO)	506.504	333.873	1727506
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (MO)	509.069	263.182	1726022
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (MO)	513.328	258.473	1730156
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (MO)	516.812	279.773	1561096
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (MO)	540.652	271.873	1727135
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (MO)	572.756	287.47	1562188
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (MO)	586.783	294.477	1726711
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	? (MO)	593.378	297.776	1738293
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (MO)	600.829	309.591	1726075
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (MO)	616.215	309.381	1727188
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (MO)	618.996	320.172	1737922
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (MO)	619.76	310.972	1561668
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (MO)	638.018	320.182	1562136
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (MO)	646.548	324.173	1731004
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (MO)	648.831	327.37	1733636
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (MO)	680.234	356.627	1726446
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	? (MO)	690.418	349.488	1561408
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (MO)	695.042	348.687	1731216
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (MO)	710.442	359.068	1730262
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (MO)	717.092	360.175	1729308
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (MO)	725.416	363.981	1562396
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (MO)	729.969	381.005	1727241
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (MO)	782.149	399.88	1726128
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (MO)	786.035	404.785	1728301
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (MO)	808.93	406.469	1730315
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (MO)	812.79	548.175	1561252
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (MO)	834.756	418.884	1726605
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (MO)	855.395	429.181	1731534
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (MO)	861.758	432.87	1727082
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (MO)	874.182	444.175	1730633
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (MO)	888.522	445.882	1726499
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (MO)	917.894	469.68	1561200
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (MO)	928.669	466.179	1729255
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (MO)	936.735	470.075	1726923
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (MO)	945.015	474.67	1733536
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (MO)	949.638	476.672	1729149
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (MO)	956.759	481.086	1733986
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (MO)	966.661	485.468	1725386
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (MO)	998.155	501.274	1728990
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (MO)	1009.97	507.867	1730792
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (MO)	1018.53	510.579	1730898
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (MO)	1028.68	516.188	1726658
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (MO)	1050.02	526.375	1730951
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (MO)	1050.97	527.194	1731428
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (MO)	1061.55	532.6	1731163
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (MO)	1067.19	591.89	1727612
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (MO)	1067.41	537.462	1734086
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (MO)	1080.57	542.095	1726552
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (MO)	1115.87	559.9	1726393
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (MO)	1116.56	560.865	1733836
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	? (MO)	1131.95	567.886	1561772
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (MO)	1143.95	573.978	1729202
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (MO)	1158.7	581.174	1728354
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (MO)	1169.41	612.415	1727347
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (MO)	1190.67	597.177	1731375
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (MO)	1192.9	611.674	1733186
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (MO)	1198.63	617.874	1727453

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	Signal 11	45.5571	45.3817	1730368
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	Signal 11	49.1915	48.5161	1730209
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	Signal 11	213.539	214.146	1728407
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	Signal 11	729.231	732.596	1726976

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	?	1199.93	606.457	1531230
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	?	1199.93	601.454	1532010
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	?	1199.93	601.788	1531624
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	?	1199.93	601.467	1531456
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	?	1199.94	601.829	1531428
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	?	1199.94	601.692	1531964
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	?	1199.95	607.385	1531258
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	?	1199.95	607.665	1531264
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	?	1199.95	601.531	1531918
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	?	1199.95	606.456	1531238
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	?	1199.95	601.5	1531990
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	?	1199.95	601.477	1531800
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	?	1199.96	606.57	1531232
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	?	1199.96	601.504	1531664
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	?	1199.96	601.882	1531350
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	?	1199.96	601.865	1531386
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	?	1199.96	601.543	1531514
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	?	1199.96	601.488	1531722
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	?	1199.96	601.547	1531798
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	?	1199.99	606.528	1531244
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	?	1199.99	1200.41	1531266
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	?	1199.99	601.595	1531852
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	?	1199.99	601.548	1531760
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	?	1199.99	607.275	1531254
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	?	1200	601.496	1532016
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	?	1200	605.249	1531278
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	?	1200	601.529	1531492
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	?	1200	601.784	1531566
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	?	1200	601.785	1531940
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	?	1200	601.808	1531974
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	?	1200.01	601.809	1531414
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	?	1200.01	601.543	1531916
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	?	1200.02	601.53	1532046
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	?	1200.02	601.501	1531796
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	?	1200.02	601.561	1531870
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	?	1200.03	601.568	1531694
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	?	1200.03	601.774	1531394
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	?	1200.03	601.777	1531408
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	?	1200.03	601.581	1531730
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	?	1200.04	1200.45	1531732
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	?	1200.04	601.596	1532014
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	?	1200.05	601.555	1531450
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	?	1200.05	602.974	1531180
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	?	1200.05	601.572	1531984
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	?	1200.06	601.788	1531316
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	?	1200.06	601.573	1531506
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	?	1200.07	601.574	1531868
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	?	1200.07	601.879	1531076
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	?	1200.07	601.981	1531068
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	?	1200.09	601.584	1531466
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	?	1200.09	601.602	1531634

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (TO)	1200.01	601.606	1531518
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	? (TO)	1200.01	601.614	1531572
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	? (TO)	1200.02	602.403	1531214
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	? (TO)	1200.03	601.93	1531476
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	? (TO)	1200.03	601.802	1531714
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	? (TO)	1200.04	601.616	1531454
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	? (TO)	1200.05	601.821	1532000
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	? (TO)	1200.06	601.555	1531570
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (TO)	1200.06	605.029	1531284
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	? (TO)	1200.07	602.049	1531310
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	? (TO)	1200.07	604.304	1531144
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	? (TO)	1200.07	601.647	1531638
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	? (TO)	1200.07	601.616	1532002
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (TO)	1200.07	601.615	1531510
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	? (TO)	1200.07	601.518	1531790
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (TO)	1200.08	601.655	1531742
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	? (TO)	1200.08	602.157	1531442
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	? (TO)	1200.08	601.61	1531950
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	? (TO)	1200.09	601.587	1531876
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (TO)	1200.09	601.566	1531522
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	? (TO)	1200.09	601.79	1531696
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	? (TO)	1200.09	601.816	1531866
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	? (TO)	1200.09	601.951	1531440
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (TO)	1200.09	607.018	1531268
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (TO)	1200.1	602.212	1531044
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	? (TO)	1200.1	603.568	1531166
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	? (TO)	1200.1	601.52	1532012
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	? (TO)	1200.1	601.672	1531864
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	? (TO)	1200.1	601.584	1531970
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (TO)	1200.1	604.397	1531010
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	? (TO)	1200.1	601.809	1531532
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	? (TO)	1200.1	601.585	1531792
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	? (TO)	1200.11	601.869	1531546
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	? (TO)	1200.11	601.643	1531646
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	? (TO)	1200.11	601.618	1531604
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	? (TO)	1200.11	601.894	1531968
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	? (TO)	1200.12	601.603	1531706
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	? (TO)	1200.12	601.603	1531946
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	? (TO)	1200.12	606.803	1531242
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	? (TO)	1200.12	602.306	1530954
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	? (TO)	1200.12	601.903	1531932
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	? (TO)	1200.12	601.591	1531912
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	? (TO)	1200.12	601.605	1531712
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	? (TO)	1200.12	602.116	1531308
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (TO)	1200.13	601.634	1531480
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	? (TO)	1200.13	601.602	1531752
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	? (TO)	1200.13	601.914	1531290
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	? (TO)	1200.13	605.973	1531208
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	? (TO)	1200.13	601.611	1531980
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	? (TO)	1200.13	601.625	1531536
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	? (TO)	1200.13	601.619	1531578
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	? (TO)	1200.13	601.918	1531890
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	? (TO)	1200.13	601.713	1531962
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	? (TO)	1200.14	601.628	1531810
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	? (TO)	1200.14	601.61	1531812
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	? (TO)	1200.14	601.808	1531834
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	? (TO)	1200.14	601.618	1531976
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	? (TO)	1200.14	601.642	1531856
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	? (TO)	1200.14	601.597	1531874
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	? (TO)	1200.14	601.696	1531850
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	? (TO)	1200.14	601.929	1531594
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	? (TO)	1200.14	601.922	1531388
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (TO)	1200.14	601.827	1531734
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	? (TO)	1200.14	601.821	1531404
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	? (TO)	1200.14	601.855	1531560
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	? (TO)	1200.14	607.202	1531260
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	? (TO)	1200.14	602.016	1531448
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	? (TO)	1200.14	602.386	1531222
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	? (TO)	1200.14	601.625	1531766
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	? (TO)	1200.14	601.617	1531986
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	? (TO)	1200.14	601.569	1531920
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (TO)	1200.14	605.518	1531190
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	? (TO)	1200.14	601.617	1531654
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	? (TO)	1200.14	601.608	1531776
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	? (TO)	1200.14	601.621	1531460
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	? (TO)	1200.14	601.604	1531464
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	? (TO)	1200.14	603.608	1531160
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	? (TO)	1200.14	601.947	1531060
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	? (TO)	1200.14	601.601	1531644
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	? (TO)	1200.15	601.73	1531502
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	? (TO)	1200.15	601.919	1531614
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	? (TO)	1200.15	601.634	1531998
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	? (TO)	1200.15	601.605	1531988
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	? (TO)	1200.15	601.927	1531306
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	? (TO)	1200.15	601.97	1531376
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	? (TO)	1200.15	601.903	1531640
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	? (TO)	1200.15	601.604	1531922
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	? (TO)	1200.15	601.617	1531878
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	? (TO)	1200.15	602.116	1531108
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	? (TO)	1200.15	601.594	1531784
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	? (TO)	1200.15	601.628	1531780
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	? (TO)	1200.15	601.924	1531294
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	? (TO)	1200.15	602.118	1531336
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	? (TO)	1200.15	601.932	1531346
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (TO)	1200.15	602.015	1531356
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	? (TO)	1200.15	601.928	1531416
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	? (TO)	1200.15	602.026	1531438
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	? (TO)	1200.15	601.628	1531526
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	? (TO)	1200.15	601.617	1531540
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	? (TO)	1200.15	601.618	1531548
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	? (TO)	1200.16	601.62	1531542
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	? (TO)	1200.16	601.614	1531530
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	? (TO)	1200.16	606.325	1531234
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	? (TO)	1200.16	605.253	1531276
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (TO)	1200.16	606.128	1531192
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	? (TO)	1200.16	602.03	1531358
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	? (TO)	1200.16	601.85	1531884
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	? (TO)	1200.16	601.814	1531326
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	? (TO)	1200.16	607.506	1531252
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	? (TO)	1200.16	601.632	1531832
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	? (TO)	1200.16	601.809	1531314
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	? (TO)	1200.16	601.721	1531902
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	? (TO)	1200.16	601.936	1531298
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	? (TO)	1200.16	602.02	1531302
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	? (TO)	1200.16	601.63	1531496
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (TO)	1200.16	1200.72	1531364
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	? (TO)	1200.16	601.434	1531838
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	? (TO)	1200.17	601.596	1531888
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	? (TO)	1200.17	601.619	1531534
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	? (TO)	1200.17	601.582	1532022
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	? (TO)	1200.17	601.681	1531590
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	? (TO)	1200.17	601.61	1531972
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	? (TO)	1200.17	601.898	1531758
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	? (TO)	1200.17	601.61	1531660
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	? (TO)	1200.17	601.926	1531562
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	? (TO)	1200.17	602.221	1531436
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	? (TO)	1200.17	601.833	1531400
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	? (TO)	1200.17	601.596	1531720
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	? (TO)	1200.17	601.927	1531370
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	? (TO)	1200.17	601.731	1531958
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	? (TO)	1200.17	601.821	1531930
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	? (TO)	1200.17	601.83	1531568
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	? (TO)	1200.18	601.872	1531096
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	? (TO)	1200.18	601.624	1531564
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	? (TO)	1200.18	601.619	1531818
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	? (TO)	1200.18	601.609	1531588
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	? (TO)	1200.18	601.592	1531708
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	? (TO)	1200.18	601.592	1531716
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	? (TO)	1200.18	603.651	1531162
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	? (TO)	1200.18	602.123	1531422
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (TO)	1200.18	601.997	1531360
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	? (TO)	1200.18	601.924	1531292
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	? (TO)	1200.18	1200.73	1531274
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	? (TO)	1200.18	601.596	1531658
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	? (TO)	1200.18	601.643	1531978
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	? (TO)	1200.18	606.034	1531202
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	? (TO)	1200.18	601.61	1531778
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	? (TO)	1200.18	601.604	1531656
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	? (TO)	1200.18	601.637	1531608
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	? (TO)	1200.18	601.72	1531908
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	? (TO)	1200.19	601.901	1531982
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	? (TO)	1200.19	601.611	1531458
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	? (TO)	1200.19	601.608	1531702
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	? (TO)	1200.19	601.716	1531934
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	? (TO)	1200.19	601.836	1531100
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	? (TO)	1200.19	601.565	1531828
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	? (TO)	1200.19	601.607	1531942
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	? (TO)	1200.19	601.592	1531924
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	? (TO)	1200.19	601.612	1531794
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	? (TO)	1200.19	604.188	1531772
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	? (TO)	1200.19	601.62	1531610
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	? (TO)	1200.19	601.907	1531756
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	? (TO)	1200.19	601.622	1531550
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (TO)	1200.19	601.624	1531486
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	? (TO)	1200.19	606.714	1531240
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	? (TO)	1200.19	604.964	1531280
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	? (TO)	1200.19	601.622	1532034
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	? (TO)	1200.19	601.723	1531956
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	? (TO)	1200.19	601.906	1531410
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	? (TO)	1200.19	601.632	1531600
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	? (TO)	1200.2	607.418	1531262
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	? (TO)	1200.2	601.957	1531296
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	? (TO)	1200.2	601.882	1531090
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	? (TO)	1200.2	601.633	1531484
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	? (TO)	1200.2	601.624	1531804
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	? (TO)	1200.2	601.978	1530944
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	? (TO)	1200.2	601.608	1531914
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	? (TO)	1200.2	601.984	1530932
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	? (TO)	1200.2	601.623	1531558
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	? (TO)	1200.2	604.781	1531136
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	? (TO)	1200.2	1200.62	1532018
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (TO)	1200.2	601.721	1531682
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	? (TO)	1200.2	601.853	1531104
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	? (TO)	1200.2	601.923	1531426
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	? (TO)	1200.2	601.932	1531378
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	? (TO)	1200.2	601.627	1531598
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	? (TO)	1200.2	601.625	1531468
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	? (TO)	1200.2	601.625	1531470
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	? (TO)	1200.2	601.966	1531054
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	? (TO)	1200.2	602	1531880
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (TO)	1200.2	602.03	1531354
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	? (TO)	1200.2	601.732	1531736
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	? (TO)	1200.2	601.72	1531898
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	? (TO)	1200.2	601.597	1531698
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	? (TO)	1200.2	601.59	1531544
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	? (TO)	1200.2	601.574	1532036
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	? (TO)	1200.2	601.918	1531322
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	? (TO)	1200.21	602.03	1531432
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	? (TO)	1200.21	601.902	1531782
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	? (TO)	1200.21	601.728	1531844
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (TO)	1200.21	601.704	1531528
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	? (TO)	1200.21	601.822	1531498
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (TO)	1200.21	601.979	1531064
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	? (TO)	1200.21	601.921	1531418
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	? (TO)	1200.21	601.702	1531750
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (TO)	1200.21	601.709	1531744
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	? (TO)	1200.21	601.619	1531910
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	? (TO)	1200.21	601.606	1531872
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	? (TO)	1200.21	601.701	1531996
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (TO)	1200.21	602.318	1531026
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	? (TO)	1200.21	601.612	1531586
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (TO)	1200.21	602.048	1531032
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (TO)	1200.21	602.183	1531040
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	? (TO)	1200.21	601.586	1532028
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	? (TO)	1200.21	603.892	1531154
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	? (TO)	1200.21	601.611	1531816
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	? (TO)	1200.21	604.389	1531134
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	? (TO)	1200.21	601.601	1531814
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	? (TO)	1200.22	601.71	1531938
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	? (TO)	1200.22	601.668	1531574
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (TO)	1200.22	605.923	1531196
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	? (TO)	1200.22	601.872	1531098
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	? (TO)	1200.22	601.979	1531056
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (TO)	1200.22	601.705	1531740
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	? (TO)	1200.22	601.622	1531820
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	? (TO)	1200.22	601.732	1531848
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	? (TO)	1200.22	601.718	1531862
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	? (TO)	1200.22	606.835	1531248
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	? (TO)	1200.22	601.978	1531058
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	? (TO)	1200.22	601.907	1531318
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	? (TO)	1200.22	601.621	1531582
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	? (TO)	1200.22	602.169	1531094
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	? (TO)	1200.22	601.665	1531762
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	? (TO)	1200.22	604.891	1531288
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	? (TO)	1200.22	601.733	1531602
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	? (TO)	1200.22	601.916	1531412
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	? (TO)	1200.22	601.622	1531584
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	? (TO)	1200.22	601.884	1531070
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	? (TO)	1200.22	605.594	1531200
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	? (TO)	1200.22	602.183	1531072
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	? (TO)	1200.22	601.636	1532040
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	? (TO)	1200.23	601.696	1531836
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	? (TO)	1200.23	601.633	1531556
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	? (TO)	1200.23	601.599	1531666
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	? (TO)	1200.23	601.62	1531806
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	? (TO)	1200.23	602.117	1531324
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	? (TO)	1200.23	601.911	1531116
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	? (TO)	1200.23	602.372	1531228
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	? (TO)	1200.23	606.034	1531204
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	? (TO)	1200.23	601.923	1531332
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	? (TO)	1200.23	601.628	1531606
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (TO)	1200.23	601.704	1531684
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (TO)	1200.23	602.401	1531022
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (TO)	1200.23	601.97	1531084
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	? (TO)	1200.23	601.909	1531992
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	? (TO)	1200.23	606.828	1531236
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	? (TO)	1200.23	601.711	1531770
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (TO)	1200.23	601.641	1531472
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	? (TO)	1200.23	601.709	1531954
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	? (TO)	1200.23	601.914	1531948
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	? (TO)	1200.23	601.629	1531500
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	? (TO)	1200.23	602.11	1531392
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	? (TO)	1200.23	601.617	1532042
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	? (TO)	1200.23	601.631	1531490
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	? (TO)	1200.23	601.617	1532026
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	? (TO)	1200.23	602.03	1531434
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	? (TO)	1200.24	602.123	1531320
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	? (TO)	1200.24	601.708	1531904
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	? (TO)	1200.24	602.143	1530994
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	? (TO)	1200.24	602.108	1531886
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	? (TO)	1200.24	602.394	1531016
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	? (TO)	1200.24	601.887	1531662
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	? (TO)	1200.24	601.875	1531112
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	? (TO)	1200.24	601.809	1531826
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	? (TO)	1200.24	604.35	1531138
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	? (TO)	1200.24	604.461	1531148
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	? (TO)	1200.24	601.59	1532038
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	? (TO)	1200.24	601.694	1531754
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	? (TO)	1200.24	602.003	1531330
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	? (TO)	1200.24	601.741	1531300
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	? (TO)	1200.24	1200.67	1531282
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	? (TO)	1200.24	602.011	1531966
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	? (TO)	1200.24	602.211	1531342
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	? (TO)	1200.24	602.213	1531340
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	? (TO)	1200.24	601.924	1531344
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	? (TO)	1200.24	601.915	1531726
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	? (TO)	1200.24	602.222	1531372
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	? (TO)	1200.24	602.02	1531430
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	? (TO)	1200.24	601.638	1532032
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	? (TO)	1200.24	601.963	1531086
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (TO)	1200.24	601.72	1531680
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	? (TO)	1200.24	601.904	1531516
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (TO)	1200.24	601.737	1531672
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	? (TO)	1200.24	601.727	1531626
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	? (TO)	1200.24	604.325	1531006
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	? (TO)	1200.25	601.607	1531704
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	? (TO)	1200.25	601.621	1531462
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	? (TO)	1200.25	607.512	1531256
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	? (TO)	1200.25	601.619	1531576
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	? (TO)	1200.25	601.595	1532048
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	? (TO)	1200.25	601.709	1532020
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (TO)	1200.25	601.718	1531678
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (TO)	1200.25	602.169	1531024
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	? (TO)	1200.25	601.699	1531618
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	? (TO)	1200.25	604.437	1531132
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	? (TO)	1200.25	601.71	1531952
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	? (TO)	1200.25	601.912	1531944
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	? (TO)	1200.25	601.714	1531928
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	? (TO)	1200.25	601.974	1531074
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	? (TO)	1200.25	601.704	1531858
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	? (TO)	1200.25	601.619	1531882
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	? (TO)	1200.25	601.712	1531900
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	? (TO)	1200.25	601.715	1531628
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	? (TO)	1200.25	601.901	1531692
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	? (TO)	1200.25	602.027	1531368
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	? (TO)	1200.25	601.917	1531348
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	? (TO)	1200.25	602.109	1531120
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	? (TO)	1200.25	602.117	1531420
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	? (TO)	1200.25	601.729	1531596
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	? (TO)	1200.26	601.925	1531488
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (TO)	1200.26	601.709	1531688
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	? (TO)	1200.26	601.931	1531424
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	? (TO)	1200.26	601.813	1532024
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	? (TO)	1200.26	602.243	1530930
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	? (TO)	1200.26	601.721	1531504
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	? (TO)	1200.26	601.794	1532030
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	? (TO)	1200.26	602.008	1531402
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	? (TO)	1200.26	601.711	1531642
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	? (TO)	1200.26	601.418	1531650
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	? (TO)	1200.26	605.829	1531198
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (TO)	1200.26	602.082	1531034
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	? (TO)	1200.26	602.221	1531304
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	? (TO)	1200.26	601.936	1530990
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	? (TO)	1200.26	601.717	1531808
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	? (TO)	1200.26	604.473	1531140
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	? (TO)	1200.26	602.006	1531824
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	? (TO)	1200.26	601.726	1531860
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (TO)	1200.26	601.92	1531478
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	? (TO)	1200.26	601.706	1531936
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	? (TO)	1200.26	604.436	1531130
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	? (TO)	1200.26	601.622	1531452
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	? (TO)	1200.26	602.024	1531446
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	? (TO)	1200.27	602.09	1531046
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	? (TO)	1200.27	602.224	1530986
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	? (TO)	1200.27	603.887	1531168
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	? (TO)	1200.27	601.723	1531960
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (TO)	1200.27	602.097	1531038
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	? (TO)	1200.27	603.98	1531014
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	? (TO)	1200.27	601.894	1531128
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	? (TO)	1200.27	606.035	1531206
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	? (TO)	1200.27	602.43	1531210
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	? (TO)	1200.27	601.93	1531334
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	? (TO)	1200.27	602.045	1531380
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	? (TO)	1200.27	601.893	1531406
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	? (TO)	1200.27	601.918	1531494
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	? (TO)	1200.27	601.732	1531592
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	? (TO)	1200.27	601.698	1531668
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (TO)	1200.27	601.721	1531670
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	? (TO)	1200.27	601.691	1531700
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	? (TO)	1200.27	601.999	1531710
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	? (TO)	1200.27	601.901	1531802
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	? (TO)	1200.27	601.717	1531894
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	? (TO)	1200.27	601.751	1531892
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	? (TO)	1200.27	601.711	1532006
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	? (TO)	1200.28	602.036	1531384
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	? (TO)	1200.28	604.37	1531146
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	? (TO)	1200.28	601.712	1531554
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	? (TO)	1200.28	603.108	1531184
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	? (TO)	1200.28	604.426	1531142
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	? (TO)	1200.28	601.922	1531580
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	? (TO)	1200.28	602.362	1530928
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	? (TO)	1200.28	601.924	1531788
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	? (TO)	1200.28	605.128	1531270
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (TO)	1200.28	602.082	1531048
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	? (TO)	1200.28	601.727	1531512
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	? (TO)	1200.28	603.909	1531152
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (TO)	1200.28	601.71	1531676
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	? (TO)	1200.28	601.712	1531632
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	? (TO)	1200.28	602.183	1531062
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (TO)	1200.28	602.136	1530970
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	? (TO)	1200.28	601.908	1531398
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	? (TO)	1200.28	601.912	1531396
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	? (TO)	1200.29	1200.71	1531176
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	? (TO)	1200.29	602.229	1530976
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	? (TO)	1200.29	601.875	1531114
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (TO)	1200.29	602.271	1531020
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	? (TO)	1200.29	602.152	1531002
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	? (TO)	1200.29	601.727	1531854
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	? (TO)	1200.29	601.711	1531648
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (TO)	1200.29	602.079	1531050
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	? (TO)	1200.29	602.029	1531444
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	? (TO)	1200.29	602.039	1531382
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (TO)	1200.29	602.324	1531362
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	? (TO)	1200.29	602.036	1531366
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (TO)	1200.29	602.371	1531042
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (TO)	1200.29	601.708	1531738
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	? (TO)	1200.29	601.903	1531312
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	? (TO)	1200.29	602.116	1531066
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	? (TO)	1200.29	601.612	1532044
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	? (TO)	1200.29	601.714	1531786
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (TO)	1200.29	602.005	1531686
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	? (TO)	1200.29	601.62	1531822
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	? (TO)	1200.3	601.715	1531718
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	? (TO)	1200.3	601.92	1531508
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	? (TO)	1200.3	602.017	1531374
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	? (TO)	1200.3	601.708	1531764
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	? (TO)	1200.3	606.002	1531194
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (TO)	1200.3	601.735	1531630
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	? (TO)	1200.3	601.918	1531690
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	? (TO)	1200.3	601.712	1532008
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	? (TO)	1200.3	601.914	1531390
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	? (TO)	1200.3	601.728	1531774
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	? (TO)	1200.3	601.718	1531926
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	? (TO)	1200.3	601.716	1531616
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	? (TO)	1200.3	606.53	1531246
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	? (TO)	1200.3	603.764	1531156
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	? (TO)	1200.3	604.979	1531272
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	? (TO)	1200.3	602.035	1531004
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	? (TO)	1200.3	601.712	1531652
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	? (TO)	1200.3	601.893	1531110
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	? (TO)	1200.3	601.726	1531482
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	? (TO)	1200.3	601.715	1531538
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (TO)	1200.3	602.009	1531674
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (TO)	1200.3	602.085	1531036
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (TO)	1200.3	601.734	1531524
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	? (TO)	1200.31	601.714	1532004
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (TO)	1200.31	601.739	1531520
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	? (TO)	1200.31	601.923	1531724
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	? (TO)	1200.31	601.706	1531728
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	? (TO)	1200.31	602.31	1531352
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	? (TO)	1200.31	602.215	1531338
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	? (TO)	1200.31	604.85	1531286
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (TO)	1200.31	601.725	1531748
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	? (TO)	1200.31	607	1531250
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	? (TO)	1200.31	602.522	1531218
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	? (TO)	1200.31	602.479	1531212
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	? (TO)	1200.31	601.824	1531768
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	? (TO)	1200.31	601.906	1531122
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	? (TO)	1200.31	601.727	1531840
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	? (TO)	1200.31	602.023	1531846
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	? (TO)	1200.31	602.066	1531052
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	? (TO)	1200.31	602.164	1531028
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (TO)	1200.31	602.091	1531030
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	? (TO)	1200.31	602.465	1530910
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	? (TO)	1200.31	601.839	1531896
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	? (TO)	1200.31	602.012	1531906
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	? (TO)	1200.31	602.305	1530966
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	? (TO)	1200.31	601.825	1531842
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	? (TO)	1200.32	602.178	1531106
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	? (TO)	1200.32	601.731	1531552
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	? (TO)	1200.32	601.719	1531622
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	? (TO)	1200.32	601.927	1531328
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (TO)	1200.32	602.028	1531746
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	? (TO)	1200.32	602.132	1530988
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	? (TO)	1200.32	601.986	1530992
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	? (TO)	1200.32	601.728	1531612
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	? (TO)	1200.32	602.626	1531220
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	? (TO)	1200.33	602.217	1530978
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (TO)	1200.33	604.321	1531474
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	? (TO)	1200.33	601.725	1531830
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	? (TO)	1200.33	601.728	1531994
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	? (TO)	1200.33	601.987	1531126
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	? (TO)	1200.34	601.733	1531620
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	? (TO)	1200.34	603.082	1531178
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	? (TO)	1200.34	603.319	1531182
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (TO)	1200.34	601.734	1531636
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	? (TO)	1200.34	602.275	1530942
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	? (TO)	1200.34	603.963	1531150
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	? (TO)	1200.34	603.201	1531188
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	? (TO)	1200.35	602.723	1531224
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (TO)	1200.35	602.793	1530964
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	? (TO)	1200.35	603.21	1531170
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	? (TO)	1200.35	603.209	1531186
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	? (TO)	1200.35	602.328	1530972
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	? (TO)	1200.36	602.249	1530934
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	? (TO)	1200.36	602.279	1530938
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	? (TO)	1200.36	603.861	1531158
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	? (TO)	1200.36	603.089	1531172
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	? (TO)	1200.36	602.072	1531082
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	? (TO)	1200.36	602.677	1530914
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	? (TO)	1200.37	1155.19	1530960
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (TO)	1200.37	602.289	1531018
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	? (TO)	1200.37	601.976	1531078
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	? (TO)	1200.37	602.228	1530982
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	? (TO)	1200.37	602.004	1530998
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	? (TO)	1200.37	601.977	1531080
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	? (TO)	1200.37	603.886	1531164
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	? (TO)	1200.37	601.981	1531102
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	? (TO)	1200.37	601.987	1531124
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	? (TO)	1200.38	601.978	1531092
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (TO)	1200.38	602.274	1531088
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	? (TO)	1200.38	602.557	1530940
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	? (TO)	1200.38	603.252	1531174
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	? (TO)	1200.39	602.886	1530956
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	? (TO)	1200.39	604.583	1531008
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	? (TO)	1200.39	602.252	1530946
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	? (TO)	1200.4	601.925	1531118
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	? (TO)	1200.4	602.611	1531216
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (TO)	1200.4	602.786	1530974
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	? (TO)	1200.41	602.043	1531000
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (TO)	1200.41	602.476	1530924
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	? (TO)	1200.41	602.605	1531226
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	? (TO)	1200.41	604.693	1531012
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (TO)	1200.42	602.64	1530958
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	? (TO)	1200.43	602.373	1530936
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	? (TO)	1200.43	602.461	1530918
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	? (TO)	1200.43	602.661	1530920
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	? (TO)	1200.44	602.527	1530912
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	? (TO)	1200.44	602.434	1530948
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	? (TO)	1200.45	602.057	1530996
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	? (TO)	1200.46	602.457	1530916
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	? (TO)	1200.47	602.36	1530984

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	? (MO)	1058.51	531.595	1530952
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	? (MO)	1112.76	558.798	1530922
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	? (MO)	1117	560.996	1530968
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	? (MO)	1158.91	581.778	1530962
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	? (MO)	1170.99	587.892	1530980
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	? (MO)	1176	590.579	1530926
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	? (MO)	1191.16	598.1	1530950

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

Result page for solver ttsth-5-0 2009-03-19 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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

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

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

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

Category "random instances" (RANDOM)

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

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

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