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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	30.2944	30.308	1718825
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	30.6213	30.6405	1553223
manol-pipe-g6bi.cnf	UNSAT	31.4282	31.4517	1723737
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	31.5212	32.134	1717993
een-tip-uns-nusmv-t5.B.cnf	UNSAT	32.0531	32.078	1723373
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	32.1921	32.2117	1717941
hoons-vbmc-lucky7.cnf	UNSAT	32.881	33.0121	1719865
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	33.8768	33.9053	1555615
manol-pipe-c9.cnf	UNSAT	34.2098	34.2261	1724361
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	34.6587	34.7051	1554575
cmu-bmc-barrel6.cnf	UNSAT	35.0877	35.1088	1719553
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	38.2682	38.2863	1553171
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	45.1501	45.344	1553795
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	52.566	52.5813	1553327
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	54.6197	54.6962	1718253
schup-l2s-abp4-1-k31.cnf	UNSAT	56.7174	56.8792	1719605
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	57.7962	57.8454	1555043
velev-engi-uns-1.0-4nd.cnf	UNSAT	59.367	59.483	1720125
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	59.8239	59.8926	1715653
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	92.5249	92.5778	1554107
cmu-bmc-longmult15.cnf	UNSAT	108.638	108.715	1720645
goldb-heqc-alu4mul.cnf	UNSAT	600.498	600.818	1721009
goldb-heqc-term1mul.cnf	UNSAT	1031.47	1032.06	1723633

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	0.670897	0.67321	1722115
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.44278	1.45542	1560659
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	1.84372	1.85969	1560399
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	2.43963	2.44458	1721315
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	4.99524	5.01669	1560815
velev-pipe-sat-1.0-b10.cnf	SAT	23.5574	23.5994	1723321
een-tip-sat-texas-tp-5e.cnf	SAT	30.1224	30.2451	1720905
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	30.2224	30.2394	1560295
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	30.3134	30.3244	1560451
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	31.0553	31.0815	1560139
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	31.1813	31.1954	1560867
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	31.5662	31.5823	1560347
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	32.3701	32.4121	1562843
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	32.5341	32.5509	1562635
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	32.5551	32.8433	1560087
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	32.585	32.6104	1562947
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	32.729	32.7458	1563155
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	34.9767	35.0197	1559931
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	35.4996	37.4189	1560035
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	38.6671	38.7044	1562687
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	40.0507	35.112	1562895
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	40.1019	40.1906	1560919
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	40.2629	40.2919	1560555
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	41.2027	41.2334	1560607
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	41.4487	41.469	1562999
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	45.3081	45.3433	1559619
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	46.7509	46.8122	1558423
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	49.4895	49.5187	1559723
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	50.8053	50.9469	1579455
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	76.6573	77.1402	1719397
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	82.8944	83.4142	1719345
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	105.277	105.336	1560711
industrial/grieu/ vmpc_24.cnf	SAT	172.728	172.827	1718513
industrial/grieu/ vmpc_25.cnf	SAT	518.956	519.207	1718357
industrial/grieu/ vmpc_26.cnf	SAT	784.31	784.839	1718721
schup-l2s-motst-2-k315.cnf	SAT	1016.2	1016.84	1720021

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200	1170.84	1578779
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.12	1171.91	1559775

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	32.67	33.6285	1563415
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	872.82	873.416	1719241
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	1053.24	1064.82	1718929

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (exit code)	1198.84	1199.2	1722465
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (exit code)	1198.84	1199.44	1722015
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (exit code)	1198.84	1199.4	1721415
velev-pipe-o-uns-1.0-7.cnf	? (exit code)	1198.85	1199.46	1723893
vange-col-abb313GPIA-9-c.cnf	? (exit code)	1198.86	1199.42	1720333
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (exit code)	1198.87	1199.5	1717629
manol-pipe-g10id.cnf	? (exit code)	1198.87	1199.43	1723529
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (exit code)	1198.89	1205.68	1553847
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (exit code)	1198.89	1199.46	1719137
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (exit code)	1198.9	1204.09	1563467
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (exit code)	1198.91	1199.51	1721665
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (exit code)	1198.91	1199.54	1716537
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (exit code)	1198.93	1199.42	1554679
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (exit code)	1198.93	1199.34	1577635
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (exit code)	1198.93	1199.43	1556343
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (exit code)	1198.93	1199.5	1717785
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (exit code)	1198.93	1199.36	1581951
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (exit code)	1198.94	1199.51	1559203
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (exit code)	1198.94	1199.93	1716381
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (exit code)	1198.94	1199.27	1722565
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (exit code)	1198.94	1199.46	1721715
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (exit code)	1198.94	1199.48	1577791
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (exit code)	1198.95	1199.3	1717265
mizh-md5-47-3.cnf	? (exit code)	1198.95	1199.45	1719501
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (exit code)	1198.95	1200.19	1716069
industrial/grieu/ vmpc_33.cnf	? (exit code)	1198.96	1199.51	1718461
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (exit code)	1198.97	1199.61	1563103
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (exit code)	1198.98	1199.54	1716277
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (exit code)	1198.98	1205.96	1580079
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (exit code)	1198.99	1199.57	1563259
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (exit code)	1199.01	1199.64	1722265
manol-pipe-g7nidw.cnf	? (exit code)	1199.02	1199.61	1724309
manol-pipe-c10nid_i.cnf	? (exit code)	1199.02	1218.7	1720749
manol-pipe-c10nidw.cnf	? (exit code)	1199.03	1200.9	1720073
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (exit code)	1199.04	1199.52	1577843
simon-s02b-k2f-gr-rcs-w8.cnf	? (exit code)	1199.06	1199.62	1724205
velev-vliw-uns-4.0-9-i1.cnf	? (exit code)	1199.06	1206.94	1719709
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (exit code)	1199.06	1199.55	1554887
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (exit code)	1199.06	1199.94	1719189
industrial/fuhs/hard/ AProVE07-26.cnf	? (exit code)	1199.07	1199.66	1717057
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (exit code)	1199.07	1199.58	1558475
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (exit code)	1199.07	1200.66	1554003
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (exit code)	1199.08	1199.67	1722365
velev-live-uns-2.0-ebuf.cnf	? (exit code)	1199.08	1199.65	1723685
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (exit code)	1199.09	1200.58	1715757
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (exit code)	1199.09	1200.04	1582003
industrial/narain/ clauses-8.cnf	? (exit code)	1199.09	1201.77	1718773
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (exit code)	1199.09	1199.81	1563623
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (exit code)	1199.09	1199.62	1716433
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (exit code)	1199.1	1199.71	1718877
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (exit code)	1199.1	1199.75	1721865
industrial/grieu/ vmpc_28.cnf	? (exit code)	1199.1	1199.64	1718617
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (exit code)	1199.11	1199.62	1582731
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (exit code)	1199.12	1199.84	1557799
aloul-chnl11-13.cnf	? (exit code)	1199.12	1199.81	1720385
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (exit code)	1199.12	1199.14	1721515
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (exit code)	1199.13	1199.66	1554523
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (exit code)	1199.13	1199.8	1715861
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (exit code)	1199.14	1199.72	1717837
manol-pipe-c6nidw_i.cnf	? (exit code)	1199.14	1199.79	1724465
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (exit code)	1199.14	1199.89	1716173
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (exit code)	1199.15	1200.3	1716485
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (exit code)	1199.15	1199.94	1719033
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (exit code)	1199.16	1199.63	1577687
manol-pipe-f9b.cnf	? (exit code)	1199.16	1199.76	1719969
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (exit code)	1199.17	1199.71	1557591
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (exit code)	1199.17	1199.69	1558215
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (exit code)	1199.18	1199.84	1580859
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (exit code)	1199.19	1199.89	1717577
manol-pipe-c6bidw_i.cnf	? (exit code)	1199.19	1199.79	1720281
industrial/grieu/ vmpc_34.cnf	? (exit code)	1199.2	1199.77	1718669
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (exit code)	1199.2	1199.71	1557955
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (exit code)	1199.22	1199.83	1559671
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (exit code)	1199.22	1199.91	1581743
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (exit code)	1199.24	1199.63	1581587
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (exit code)	1199.24	1199.85	1559255
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (exit code)	1199.24	1199.88	1580755
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (exit code)	1199.25	1199.83	1581067
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (exit code)	1199.25	1199.8	1556811
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (exit code)	1199.25	1204.34	1580547
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (exit code)	1199.26	1199.78	1554419
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (exit code)	1199.27	1199.85	1715965
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (exit code)	1199.27	1199.84	1581327
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (exit code)	1199.27	1199.81	1577583
manol-pipe-c7bidw_i.cnf	? (exit code)	1199.27	1199.69	1724257
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (exit code)	1199.28	1204.5	1563311
industrial/grieu/ vmpc_29.cnf	? (exit code)	1199.28	1199.88	1718565
velev-pipe-o-uns-1.1-6.cnf	? (exit code)	1199.29	1199.84	1723581
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (exit code)	1199.29	1199.76	1558995
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (exit code)	1199.29	1199.88	1722865
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (exit code)	1199.29	1199.78	1722965
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (exit code)	1199.29	1199.82	1718149
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (exit code)	1199.3	1199.83	1717161
velev-pipe-sat-1.0-b7.cnf	? (exit code)	1199.3	1201.13	1723165
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (exit code)	1199.3	1199.91	1555147
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (exit code)	1199.31	1199.87	1577479
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (exit code)	1199.31	1202.66	1563727
manol-pipe-f9n.cnf	? (exit code)	1199.32	1199.94	1723945
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (exit code)	1199.33	1200.02	1557071
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (exit code)	1199.33	1199.86	1718305
industrial/fuhs/hard/ AProVE07-08.cnf	? (exit code)	1199.33	1199.85	1716953
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (exit code)	1199.33	1199.89	1721215
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (exit code)	1199.33	1199.75	1559307
goldb-heqc-frg1mul.cnf	? (exit code)	1199.34	1199.9	1719657
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (exit code)	1199.34	1201.49	1556603
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (exit code)	1199.34	1199.94	1555459
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (exit code)	1199.34	1199.79	1715705
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (exit code)	1199.35	1199.92	1556239
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (exit code)	1199.36	1199.97	1721265
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (exit code)	1199.37	1199.76	1558007
schup-l2s-bc56s-1-k391.cnf	? (exit code)	1199.37	1199.82	1719917
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (exit code)	1199.37	1200.04	1556707
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (exit code)	1199.37	1199.95	1558059
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (exit code)	1199.39	1200.15	1556551
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (exit code)	1199.39	1199.88	1562739
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (exit code)	1199.41	1199.9	1721365
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (exit code)	1199.42	1199.95	1716225
simon-s03-fifo8-300.cnf	? (exit code)	1199.42	1199.94	1724153
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (exit code)	1199.42	1200.03	1557019
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (exit code)	1199.42	1199.98	1556447
manol-pipe-c7nidw.cnf	? (exit code)	1199.42	1199.98	1723477
industrial/grieu/ vmpc_30.cnf	? (exit code)	1199.42	1199.94	1718409
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (exit code)	1199.43	1199.9	1716641
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (exit code)	1199.43	1200.04	1559515
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (exit code)	1199.44	1200.01	1556135
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (exit code)	1199.44	1199.99	1554731
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (exit code)	1199.44	1199.84	1715601
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (exit code)	1199.44	1199.99	1556863
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (exit code)	1199.44	1199.82	1718201
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (exit code)	1199.44	1200.04	1582419
simon-s02b-dp11u10.cnf	? (exit code)	1199.45	1200.01	1723841
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (exit code)	1199.45	1200.1	1563675
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (exit code)	1199.45	1200.12	1553379
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (exit code)	1199.46	1200.12	1719085
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (exit code)	1199.46	1200.23	1578935
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (exit code)	1199.47	1200.21	1556499
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (exit code)	1199.47	1199.99	1717213
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (exit code)	1199.48	1199.99	1557695
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (exit code)	1199.49	1199.91	1581483
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (exit code)	1199.49	1200.08	1723115
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (exit code)	1199.49	1200.13	1579351
industrial/fuhs/medium/ AProVE07-16.cnf	? (exit code)	1199.49	1200.06	1716849
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (exit code)	1199.5	1199.84	1717317
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (exit code)	1199.5	1200.06	1715809
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (exit code)	1199.51	1200.04	1721815
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (exit code)	1199.51	1200.07	1554159
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (exit code)	1199.51	1200.03	1580235
mizh-md5-47-4.cnf	? (exit code)	1199.52	1200.03	1720541
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (exit code)	1199.52	1200.04	1718045
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (exit code)	1199.53	1200.2	1717421
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (exit code)	1199.55	1200.09	1556083
simon-s03-w08-15.cnf	? (exit code)	1199.56	1200.05	1719761
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (exit code)	1199.56	1199.9	1559359
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (exit code)	1199.57	1200.22	1722165
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (exit code)	1199.57	1200.26	1580131
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (exit code)	1199.58	1200.11	1716693
manol-pipe-c10nidw_s.cnf	? (exit code)	1199.58	1200.21	1723217
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (exit code)	1199.58	1200.28	1716589
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (exit code)	1199.6	1200.24	1553275
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (exit code)	1199.61	1200.22	1717733
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (exit code)	1199.62	1200.13	1582159
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (exit code)	1199.62	1200.16	1562791
industrial/fuhs/medium/ AProVE07-09.cnf	? (exit code)	1199.62	1200.2	1716797
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (exit code)	1199.63	1200.52	1721165
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (exit code)	1199.63	1199.97	1722815
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (exit code)	1199.63	1200.99	1558787
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (exit code)	1199.63	1200.05	1554835
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (exit code)	1199.63	1200.18	1580339
industrial/fuhs/hard/ AProVE07-27.cnf	? (exit code)	1199.64	1200.33	1717109
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (exit code)	1199.64	1200.2	1579975
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (exit code)	1199.64	1200.37	1578207
industrial/fuhs/hard/ AProVE07-25.cnf	? (exit code)	1199.65	1200.25	1717005
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (exit code)	1199.65	1200.29	1563207
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (exit code)	1199.66	1200.35	1717525
industrial/fuhs/hard/ AProVE07-01.cnf	? (exit code)	1199.66	1200.32	1716901
mizh-sha0-35-3.cnf	? (exit code)	1199.66	1200.03	1720697
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (exit code)	1199.67	1200.24	1717681
mizh-sha0-36-3.cnf	? (exit code)	1199.68	1200.39	1719813
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (exit code)	1199.68	1200.19	1579403
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (exit code)	1199.69	1200.22	1581899
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (exit code)	1199.69	1200.13	1558839
mizh-sha0-36-2.cnf	? (exit code)	1199.69	1200.33	1723997
manol-pipe-f10ni.cnf	? (exit code)	1199.7	1201.07	1724049
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (exit code)	1199.7	1200.05	1580027
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (exit code)	1199.7	1200.22	1716329
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (exit code)	1199.7	1200.03	1716017
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (exit code)	1199.71	1200.23	1577895
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (exit code)	1199.71	1200.15	1722415
goldb-heqc-dalumul.cnf	? (exit code)	1199.71	1200.09	1720437
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (exit code)	1199.71	1200.07	1716745
goldb-heqc-x1mul.cnf	? (exit code)	1199.71	1200.35	1719449
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (exit code)	1199.71	1200.13	1557487
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (exit code)	1199.71	1200.09	1555875
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (exit code)	1199.72	1200.3	1577739
manol-pipe-g10bidw.cnf	? (exit code)	1199.72	1200.52	1723269
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (exit code)	1199.72	1200.26	1723065
APPLICATIONS/ bitverif/minand/minand128.cnf	? (exit code)	1199.72	1215.5	1554211
schup-l2s-guid-1-k56.cnf	? (exit code)	1199.73	1200.08	1724101
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (exit code)	1199.74	1200.1	1555251
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (exit code)	1199.75	1200.29	1723015
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (exit code)	1199.75	1200.29	1718097
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (exit code)	1199.75	1200.35	1721765
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (exit code)	1199.76	1200.37	1556031
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (exit code)	1199.76	1200.37	1722515
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (exit code)	1199.77	1200.29	1556759
mizh-sha0-36-4.cnf	? (exit code)	1199.77	1200.41	1720229
goldb-heqc-i10mul.cnf	? (exit code)	1199.78	1200.38	1723425
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (exit code)	1199.78	1200.36	1716121
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (exit code)	1199.79	1200.22	1563363
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (exit code)	1199.79	1200.24	1717889
manol-pipe-g10nid.cnf	? (exit code)	1199.79	1200.63	1720177
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (exit code)	1199.8	1200.69	1553483
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (exit code)	1199.8	1200.79	1721965
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (exit code)	1199.81	1201.13	1715913
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (exit code)	1199.81	1200.34	1722615
mizh-md5-48-5.cnf	? (exit code)	1199.81	1200.42	1721113
velev-pipe-uns-1.0-8.cnf	? (exit code)	1199.82	1200.58	1724413
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (exit code)	1199.83	1200.43	1579871
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (exit code)	1199.83	1206.58	1563571
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (exit code)	1199.84	1200.56	1722765
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (exit code)	1199.85	1200.53	1579819
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (exit code)	1199.85	1200.48	1717473
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (exit code)	1199.85	1200.47	1717369
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (exit code)	1199.85	1200.23	1563051
velev-vliw-uns-4.0-9C1.cnf	? (exit code)	1199.87	1200.5	1723789
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (exit code)	1199.88	1202.44	1577531
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (exit code)	1199.89	1200.49	1718981
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (exit code)	1199.9	1200.38	1719293

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	29.9974	30.0117	1736865
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	29.9984	30.011	1736565
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	30.0124	30.0248	1736365
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	30.0644	30.0855	1725524
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	30.2074	30.2193	1733865
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	30.2454	30.3956	1725418
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	30.5084	30.5564	1725471
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	30.5424	30.5585	1737015
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT	31.9041	32.003	1730347
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	32.4691	32.4916	1736465
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	32.909	32.924	1732015
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	42.5585	42.5976	1725312
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	58.5671	58.5971	1732115
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	85.829	85.8856	1733065
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	113.266	113.83	1726213
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	125.482	125.554	1726266
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	176.577	176.682	1725259
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	180.237	180.332	1725577
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	276.894	277.059	1731915
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	286.036	286.221	1731248
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT	341.976	342.135	1733665
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	565.025	565.28	1731513
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	728.761	729.125	1731407
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	763.237	763.504	1725895
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	763.835	764.232	1731619
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	UNSAT	1112.83	1113.37	1731089

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.012997	0.013225	1734215
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.013997	0.0145469	1734365
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.015997	0.0161369	1734115
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.018996	0.0197931	1733015
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.021996	0.0211399	1734165
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.021996	0.0224781	1734465
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.024995	0.025351	1734565
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.024995	0.0269099	1734315
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.024995	0.024784	1734415
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.025995	0.0253239	1736165
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.028995	0.0286851	1734265
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.030995	0.0310141	1734615
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.036994	0.037585	1734515
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	0.044992	0.0436501	1738113
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.044992	0.0444701	1736215
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.147976	0.148577	1732665
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	0.620905	0.620729	1738166
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.779881	0.780666	1732865
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	1.3198	1.32211	1732365
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	1.45378	1.45406	1732465
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	2.52361	2.52672	1735065
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	2.85256	2.85706	1737065
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	2.87456	2.88199	1733115
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	3.11952	3.1203	1735265
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	4.36533	4.37215	1735115
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	4.96025	4.97057	1736415
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	5.11222	5.12326	1738272
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	6.95294	6.95511	1738325
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	SAT	7.72283	7.72435	1735865
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	8.73667	8.759	1735315
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	8.99063	8.99442	1735165
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	9.15661	9.16537	1732915
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	9.51055	9.51871	1734765
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	10.8903	10.9448	1732565
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	12.6771	12.7068	1738060
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	12.914	12.9412	1735215
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	12.956	12.9685	1725683
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	SAT	20.4669	20.5237	1735765
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	20.5809	20.6047	1561959
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	30.0824	30.0957	1736515
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	30.0994	30.1119	1736765
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	30.4434	30.4791	1736815
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	30.8283	30.8491	1736665
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	31.7412	31.7716	1730188
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	31.8872	31.9061	1736915
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	31.9731	31.9953	1733265
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	32.3831	32.4058	1737115
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	32.4881	32.5089	1725365
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	32.853	32.9202	1725736
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	36.0795	36.1387	1562115
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	49.7014	49.8837	1562063
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	52.53	52.5795	1737215
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	53.2229	53.2516	1734015
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	63.4622	31.8054	1725630
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	SAT	67.8217	67.8811	1561283
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	78.872	78.9311	1736015
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	SAT	84.7931	84.9616	1735915
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	SAT	85.1661	85.2157	1738378
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	SAT	94.3227	94.376	1737477
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	94.7366	94.779	1735415
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	SAT	96.1114	96.1432	1737424
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	102.291	102.358	1738219
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	104.15	104.227	1561907
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	110.337	110.441	1561387
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	113.03	113.103	1561491
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	189.892	190.018	1734915
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	269.943	270.17	1562011
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	SAT	276.359	276.52	1735365
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	SAT	321.639	321.859	1736065
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	389.553	389.716	1734965
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	SAT	408.195	408.396	1562479
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	471.852	472.152	1561699
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	486.593	486.835	1732315
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	SAT	558.304	558.552	1737583
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	SAT	734.378	734.766	1736115
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	736.281	736.845	1561803
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	744.062	744.525	1561023
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	1139.87	1140.36	1561439

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (exit code)	1198.85	1199.46	1733165
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (exit code)	1198.85	1199.43	1727273
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (exit code)	1198.85	1199.61	1733315
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (exit code)	1198.86	1199.3	1727432
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (exit code)	1198.86	1199.48	1727220
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (exit code)	1198.86	1199.46	1733715
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (exit code)	1198.86	1199.42	1727379
CRAFTED/ramseycube/ Q32inK11.cnf	? (exit code)	1198.87	1199.27	1732815
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (exit code)	1198.87	1199.39	1737689
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (exit code)	1198.88	1199.5	1730559
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (exit code)	1198.88	1199.4	1727326
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (exit code)	1198.9	1199.51	1734665
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (exit code)	1198.9	1199.4	1727591
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (exit code)	1198.91	1199.58	1727538
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (exit code)	1198.92	1199.45	1730771
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	? (exit code)	1198.92	1199.51	1561751
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (exit code)	1198.92	1199.42	1727485
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (exit code)	1198.92	1199.41	1728651
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (exit code)	1198.93	1199.52	1735465
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (exit code)	1198.93	1199.63	1725789
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (exit code)	1198.93	1199.51	1725842
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (exit code)	1198.94	1199.44	1735965
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (exit code)	1198.95	1199.6	1729817
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (exit code)	1198.96	1199.51	1728280
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (exit code)	1198.96	1199.66	1733465
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (exit code)	1198.97	1199.33	1728386
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (exit code)	1198.98	1199.33	1727008
CRAFTED/ramseycube/ Q32inK10.cnf	? (exit code)	1198.98	1199.59	1732965
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (exit code)	1198.98	1199.67	1726955
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (exit code)	1198.99	1199.37	1731815
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (exit code)	1199.01	1199.37	1562323
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (exit code)	1199.03	1199.56	1733565
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (exit code)	1199.03	1200.96	1562583
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (exit code)	1199.04	1199.72	1729870
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (exit code)	1199.05	1199.43	1737901
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (exit code)	1199.05	1199.57	1733515
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (exit code)	1199.06	1199.6	1729128
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (exit code)	1199.07	1199.7	1729287
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (exit code)	1199.07	1199.68	1726054
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (exit code)	1199.07	1199.7	1733965
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (exit code)	1199.08	1199.61	1730453
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (exit code)	1199.08	1199.58	1730718
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (exit code)	1199.08	1199.77	1730983
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (exit code)	1199.08	1199.55	1730135
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (exit code)	1199.08	1199.43	1737318
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (exit code)	1199.09	1199.45	1726107
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (exit code)	1199.09	1199.58	1731195
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (exit code)	1199.09	1199.69	1726001
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (exit code)	1199.1	1199.68	1726319
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (exit code)	1199.1	1199.66	1730930
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (exit code)	1199.11	1199.58	1730400
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (exit code)	1199.11	1199.52	1728227
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (exit code)	1199.12	1199.76	1733915
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (exit code)	1199.12	1199.77	1731036
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (exit code)	1199.12	1201.93	1730877
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (exit code)	1199.13	1199.66	1726160
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (exit code)	1199.13	1199.74	1728174
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (exit code)	1199.14	1199.75	1561179
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (exit code)	1199.14	1199.51	1730506
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (exit code)	1199.14	1199.71	1727962
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (exit code)	1199.14	1199.74	1728121
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (exit code)	1199.15	1199.82	1735015
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (exit code)	1199.16	1199.7	1729234
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (exit code)	1199.16	1199.69	1728492
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (exit code)	1199.16	1199.77	1731142
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (exit code)	1199.17	1199.65	1732165
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (exit code)	1199.17	1199.53	1561075
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (exit code)	1199.17	1199.48	1736265
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (exit code)	1199.18	1199.72	1728863
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (exit code)	1199.18	1199.82	1727644
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (exit code)	1199.18	1199.79	1730612
CRAFTED/ramseycube/ Q3inK13.cnf	? (exit code)	1199.18	1199.71	1732765
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (exit code)	1199.18	1199.78	1729393
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (exit code)	1199.2	1199.77	1728757
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (exit code)	1199.2	1199.59	1729022
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (exit code)	1199.2	1199.55	1727750
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (exit code)	1199.2	1199.78	1729658
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (exit code)	1199.2	1199.57	1728810
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (exit code)	1199.21	1199.74	1726849
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (exit code)	1199.22	1199.7	1729499
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (exit code)	1199.22	1199.77	1738007
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (exit code)	1199.23	1199.85	1737265
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (exit code)	1199.23	1199.63	1733365
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (exit code)	1199.24	1199.71	1728545
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (exit code)	1199.25	1199.7	1730241
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (exit code)	1199.25	1199.76	1732265
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (exit code)	1199.26	1199.78	1737848
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (exit code)	1199.27	1199.6	1737954
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (exit code)	1199.27	1199.82	1729605
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (exit code)	1199.27	1199.96	1729552
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (exit code)	1199.28	1199.85	1732515
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (exit code)	1199.28	1199.92	1732615
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (exit code)	1199.29	1199.98	1561127
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (exit code)	1199.29	1199.86	1729446
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (exit code)	1199.29	1199.9	1732215
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (exit code)	1199.29	1199.85	1726478
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (exit code)	1199.3	1199.9	1737371
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (exit code)	1199.3	1199.91	1729976
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (exit code)	1199.3	1199.88	1730824
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (exit code)	1199.32	1199.93	1728333
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (exit code)	1199.32	1200.2	1734815
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (exit code)	1199.32	1199.92	1732415
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (exit code)	1199.32	1199.99	1561231
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (exit code)	1199.33	1200.01	1729711
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (exit code)	1199.33	1201.2	1731965
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (exit code)	1199.34	1199.79	1737795
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (exit code)	1199.35	1199.87	1726637
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (exit code)	1199.35	1199.85	1726531
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (exit code)	1199.36	1200.03	1730029
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (exit code)	1199.36	1199.74	1728439
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (exit code)	1199.36	1199.92	1737742
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (exit code)	1199.37	1199.69	1729923
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (exit code)	1199.37	1200.06	1730665
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (exit code)	1199.37	1199.74	1561647
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (exit code)	1199.37	1199.91	1727856
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (exit code)	1199.38	1200.02	1726690
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (exit code)	1199.41	1199.93	1735815
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (exit code)	1199.41	1199.94	1733615
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (exit code)	1199.42	1200.03	1729764
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (exit code)	1199.43	1199.97	1561543
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (exit code)	1199.44	1199.94	1734065
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (exit code)	1199.45	1200.01	1737530
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (exit code)	1199.46	1199.97	1736615
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (exit code)	1199.47	1199.92	1728015
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (exit code)	1199.47	1200.09	1562531
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (exit code)	1199.48	1200.08	1735715
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (exit code)	1199.48	1199.81	1731672
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (exit code)	1199.48	1200.08	1729181
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (exit code)	1199.49	1200.06	1731566
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (exit code)	1199.49	1200.02	1728969
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (exit code)	1199.49	1199.97	1735515
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (exit code)	1199.5	1200.09	1726796
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (exit code)	1199.5	1199.88	1728916
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (exit code)	1199.51	1200.04	1727803
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (exit code)	1199.51	1200.02	1735615
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (exit code)	1199.52	1200.27	1726425
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (exit code)	1199.52	1199.91	1726372
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (exit code)	1199.52	1200.18	1562167
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (exit code)	1199.52	1199.87	1732065
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (exit code)	1199.54	1200.15	1562271
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (exit code)	1199.55	1200.18	1727909
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (exit code)	1199.55	1200.22	1735665
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (exit code)	1199.55	1200.28	1729075
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (exit code)	1199.55	1200.02	1562427
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (exit code)	1199.56	1199.88	1736315
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (exit code)	1199.58	1200.18	1727167
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (exit code)	1199.58	1200.1	1734865
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (exit code)	1199.6	1200.22	1737636
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (exit code)	1199.6	1200.07	1728704
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (exit code)	1199.61	1200.2	1731865
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (exit code)	1199.62	1200.29	1727697
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (exit code)	1199.63	1200.56	1731460
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (exit code)	1199.63	1199.98	1734715
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (exit code)	1199.63	1200.14	1726743
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (exit code)	1199.64	1200.25	1728068
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (exit code)	1199.64	1200.17	1725948
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (exit code)	1199.65	1200.21	1726584
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (exit code)	1199.65	1200.25	1730082
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (exit code)	1199.66	1200.04	1726902
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (exit code)	1199.68	1200.25	1736715
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (exit code)	1199.71	1200.16	1561335
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (exit code)	1199.71	1200.27	1733215
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (exit code)	1199.73	1199.74	1736965
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (exit code)	1199.75	1200.32	1731301
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (exit code)	1199.75	1200.38	1733815
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (exit code)	1199.75	1200.42	1728598
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (exit code)	1199.76	1200.47	1730294
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (exit code)	1199.76	1200.19	1562219
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (exit code)	1199.78	1200.28	1731354
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (exit code)	1199.79	1200.35	1560971
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (exit code)	1199.82	1200.62	1562375
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (exit code)	1199.83	1200.38	1735565
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (exit code)	1199.84	1200.49	1729340
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (exit code)	1199.84	1200.21	1727061
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (exit code)	1199.84	1200.42	1733415
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (exit code)	1199.85	1200.29	1733765
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (exit code)	1199.86	1200.44	1727114

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	UNSAT	78.1301	78.1854	1539572
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	UNSAT	80.0438	80.0844	1539584
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	UNSAT	80.5228	80.6219	1539578
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	UNSAT	80.6467	80.6859	1539581
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	UNSAT	80.8847	80.9427	1539566
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	UNSAT	83.5523	83.9875	1539554
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	UNSAT	84.0962	84.1433	1539587
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	UNSAT	85.0191	85.0917	1539575
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	UNSAT	87.0078	87.0457	1539590
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	UNSAT	91.3211	91.3534	1539569
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	UNSAT	95.0296	95.0783	1539563
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	UNSAT	102.95	103.025	1539560
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	UNSAT	104.825	104.902	1539542
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	UNSAT	106.029	106.102	1539533
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	UNSAT	109.27	109.342	1539545
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	UNSAT	114.088	114.178	1539548
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	UNSAT	115.08	115.149	1539392
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	UNSAT	119.208	119.298	1539539
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	UNSAT	119.834	119.895	1539557
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	UNSAT	126.48	126.686	1539536
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	UNSAT	137.255	137.33	1539386
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	UNSAT	139.657	139.767	1539389
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	UNSAT	143.634	143.73	1539395
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	UNSAT	148.664	148.773	1539401
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	UNSAT	155.417	155.501	1539326
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	UNSAT	157.669	157.738	1539551
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	UNSAT	158.876	158.966	1539383
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	UNSAT	164.094	164.178	1539398
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	UNSAT	166.921	167.021	1539410
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	UNSAT	167.068	167.166	1539407
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	UNSAT	190.017	190.112	1539350
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	UNSAT	208.788	208.884	1539338
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	UNSAT	224.476	224.564	1539404
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	UNSAT	235.931	236.061	1539344
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	UNSAT	246.259	246.281	1539323
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	UNSAT	246.599	246.743	1539437
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	UNSAT	276.072	276.235	1539329
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	UNSAT	284.368	284.471	1539428
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	UNSAT	294.942	295.094	1539434
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	UNSAT	305.296	305.477	1539416
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	UNSAT	316.97	317.129	1539521
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	UNSAT	341.801	341.995	1539341
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	UNSAT	366.674	366.862	1539413
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	UNSAT	390.696	390.872	1539347
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	UNSAT	405.825	406.013	1539335
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	UNSAT	417.601	417.832	1539518
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	UNSAT	478.01	478.252	1539332
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	UNSAT	534.516	534.819	1539440
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	UNSAT	536.498	536.8	1539425
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	UNSAT	550.278	550.516	1539530
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	UNSAT	597.392	597.605	1539506
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	UNSAT	600.987	601.267	1539422
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	UNSAT	637.117	637.496	1539431
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	UNSAT	681.69	682.003	1539419
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	UNSAT	799.081	799.501	1539509
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	UNSAT	803.363	803.815	1539512
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	UNSAT	893.399	893.774	1539527
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	UNSAT	910.191	910.52	1539482
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	UNSAT	945.287	945.794	1539485
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	UNSAT	1017.38	1017.81	1539473
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	UNSAT	1060.03	1060.5	1539515
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	UNSAT	1101.37	1101.72	1539500
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	UNSAT	1130.95	1131.57	1539524
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	UNSAT	1147.24	1147.75	1539476
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	UNSAT	1162.66	1163.19	1539497
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	UNSAT	1187.78	1188.37	1539503

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	0.009997	0.00998597	1539875
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.009998	0.010245	1539749
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.010997	0.0106541	1539872
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.010997	0.0113471	1539674
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.010997	0.0114519	1539641
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.010997	0.0111089	1539905
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.011997	0.0114271	1539884
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.011997	0.012731	1539767
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.011997	0.012225	1539911
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.013997	0.014199	1539734
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.013997	0.0151909	1539878
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.013997	0.013899	1538948
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.014997	0.0145831	1539893
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.014997	0.018665	1539764
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.015997	0.0171209	1539839
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.016996	0.0167781	1539920
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.016997	0.0174021	1539770
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.017996	0.0184901	1539740
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.017996	0.0187349	1539806
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.018996	0.0193171	1539863
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.018996	0.0194299	1539821
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.019996	0.0197479	1539677
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.020996	0.02133	1538954
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.020996	0.0209009	1539785
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.020996	0.020621	1539671
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.021996	0.021882	1539665
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.021996	0.0224259	1539869
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.022995	0.0232309	1538990
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.023995	0.024248	1539638
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.023996	0.0239539	1539662
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.024995	0.0253889	1538975
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.024995	0.0254139	1539776
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.024995	0.0245889	1539695
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.024995	0.0257621	1538951
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.025995	0.027287	1539689
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.028995	0.029206	1539704
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.029994	0.030329	1538945
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.030994	0.03111	1539851
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.030994	0.031234	1539836
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.030994	0.0308321	1539887
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.030994	0.0307879	1538915
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.032994	0.032523	1539653
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.033994	0.0342939	1539881
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.034993	0.035332	1539848
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.034994	0.0342309	1539917
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.035993	0.0358029	1539827
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.035993	0.0365181	1539008
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.035994	0.036435	1539755
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.036993	0.0374489	1538936
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.036993	0.037826	1539854
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.036993	0.037393	1539899
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.036994	0.0369241	1539758
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.037993	0.0374439	1539902
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.042993	0.0429701	1539752
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.046992	0.0475659	1538984
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.048992	0.0488911	1539896
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.050991	0.0515401	1539725
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.050992	0.0536551	1539845
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.051991	0.0523471	1539833
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.051991	0.052512	1539908
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.05599	0.057027	1539716
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.05799	0.0578379	1539728
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.05799	0.0584941	1539017
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.05999	0.0598891	1538987
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.06099	0.0615761	1538924
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.062989	0.062561	1539635
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.066989	0.066853	1539719
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.067988	0.06799	1538912
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.074988	0.074773	1538942
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.075988	0.076294	1539866
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	0.075988	0.0760901	1539164
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.077987	0.078042	1538972
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.077987	0.0779229	1539812
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.081986	0.0822929	1538939
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.083986	0.0849511	1538903
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	0.085986	0.0857999	1539215
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.085986	0.085769	1539698
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.086986	0.086578	1539647
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.087986	0.088489	1539818
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.087986	0.091291	1539701
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.089985	0.0900319	1539656
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.090986	0.091072	1539692
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.093985	0.0944719	1539794
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.093985	0.0939821	1538957
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.107983	0.108246	1539659
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.109982	0.109731	1538921
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.110982	0.111493	1538930
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	0.114982	0.11574	1539710
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.117981	0.117924	1538918
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.120981	0.121386	1539002
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.12298	0.123444	1538963
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.133979	0.134203	1539632
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	0.135978	0.13582	1539071
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.138978	0.144467	1539668
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.170973	0.170392	1539614
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.178972	0.179577	1539743
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.180971	0.181013	1539605
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.182971	0.183552	1539623
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.197969	0.198045	1538933
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.218966	0.218672	1539860
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.225965	0.225786	1539593
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	0.231964	0.232445	1539830
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.233963	0.233933	1539608
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.233964	0.235673	1538534
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.239962	0.240265	1539731
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.248961	0.249674	1538969
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.249961	0.250278	1539596
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.25596	0.279265	1539746
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.25896	0.259198	1538966
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.261959	0.262989	1538981
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	0.264959	0.265435	1539161
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.279956	0.280387	1539842
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.289955	0.289206	1539737
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.297954	0.298097	1539626
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.299953	0.300512	1539020
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.312951	0.313495	1539857
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.31995	0.320765	1539611
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.32495	0.32484	1539824
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.335948	0.336866	1539803
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.342947	0.343667	1539650
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	0.360944	0.361555	1538993
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.391939	0.39218	1538960
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	0.399938	0.399333	1539182
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.405937	0.406611	1539800
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	0.427934	0.4274	1539188
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	0.434933	0.434865	1539224
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	0.441932	0.44201	1539014
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.448931	0.454604	1538906
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	0.457929	0.458068	1539227
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.466928	0.468027	1538999
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	0.476926	0.477298	1538996
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	0.487925	0.489276	1539206
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.491953	0.302373	1539644
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.52092	0.52181	1539779
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.548916	0.549904	1539788
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.578911	0.581579	1539791
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.58891	0.589425	1539713
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	0.665898	0.66651	1539155
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	0.668897	0.668252	1539146
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.809876	0.810884	1539815
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	0.945855	0.946224	1539185
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	0.972851	0.973042	1539239
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	1.02484	1.02636	1539143
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	1.11483	1.1156	1539620
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	1.11583	1.11567	1539152
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	1.13483	1.1348	1539707
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	1.13583	1.13635	1539200
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	1.15682	1.15927	1539005
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	1.18282	1.18363	1538513
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	1.22581	1.22658	1539680
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	1.26281	1.26385	1539011
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	1.26681	1.26834	1539254
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	1.34479	1.34556	1539890
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	1.40379	1.41109	1539602
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	1.45878	1.48293	1538525
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	1.62175	1.62246	1539080
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	1.66075	1.66146	1539686
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	1.69774	1.69835	1539194
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	1.74973	1.7502	1538909
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	1.82372	1.82357	1539599
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	1.91071	1.91162	1539797
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	2.29365	2.2948	1539782
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	2.58761	2.59847	1539149
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	2.81457	2.82182	1539167
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	2.84457	2.84546	1539212
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	3.16452	3.17207	1538927
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	3.17552	3.17964	1539245
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	3.2605	3.26317	1538519
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	3.36049	3.36931	1539218
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	3.46747	3.47575	1539251
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	3.51946	3.52806	1539116
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	3.86341	3.86408	1539176
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	4.09138	4.09236	1539191
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	4.12037	4.1208	1539260
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	4.19236	4.19989	1539773
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	4.40933	4.41736	1539617
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	4.53731	4.53821	1538339
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	4.6053	4.61422	1539242
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	5.18421	5.18562	1539722
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	5.2392	5.25552	1539170
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	5.35419	5.35571	1539197
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	6.05808	6.07413	1539914
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	SAT	6.23305	6.24435	1538462
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	6.80196	6.80865	1539098
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	6.85796	6.86121	1538675
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	7.37688	7.38731	1539158
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	8.29674	8.30171	1538684
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	8.73567	8.7394	1538978
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	9.47256	9.4773	1539761
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	9.56055	9.57377	1538540
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	9.99348	9.99755	1539221
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	10.2624	10.2791	1539179
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	10.6444	10.6473	1539248
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	11.2053	11.2251	1539173
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	12.2311	12.2359	1539233
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	14.4978	14.5093	1538669
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	16.5735	16.5901	1538522
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	17.1504	17.1788	1538681
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	19.523	19.5321	1539236
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	21.0288	21.0616	1538528
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	SAT	21.1018	21.2581	1538318
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	24.7932	24.8103	1538516
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	27.9398	27.9542	1538342
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	28.5977	28.6068	1538243
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	28.6776	28.6898	1539257
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	69.8404	69.9049	1538345
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	72.28	72.3412	1538531
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	72.43	72.4829	1538678
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	72.606	72.6724	1538624
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	72.8779	72.9446	1538567
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	75.5675	75.6109	1538585
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	75.8405	75.9007	1538573
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	76.1714	76.2477	1538657
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	76.6084	76.672	1538570
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	77.2832	77.3317	1538630
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	78.906	79.0064	1538618
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	81.5876	81.6839	1538690
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	83.8692	83.9073	1538261
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	84.0622	84.1345	1538336
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	88.6405	88.7506	1538672
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	89.5234	89.5857	1538360
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	90.2423	90.3036	1538597
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	91.5091	91.627	1538606
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	91.5931	91.6631	1538354
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	96.6613	96.7893	1538348
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	99.0469	99.1238	1538609
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	100.374	100.455	1538357
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	102.389	102.579	1538546
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	105.845	105.906	1538687
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	111.29	111.351	1538621
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	120.479	120.567	1538492
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	120.696	120.815	1538489
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	123.423	123.497	1538351
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	128.441	128.556	1538537
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	133.977	134.11	1538579
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	135.224	135.361	1538576
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	139.665	139.752	1538582
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	144.171	144.228	1538552
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	153.838	153.977	1538741
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT	155.653	155.764	1538780
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	SAT	155.818	155.899	1538288
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	SAT	161.113	161.263	1538222
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	163.728	163.834	1539122
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	SAT	170.763	170.84	1538714
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	176.621	176.711	1538603
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	177.896	178.002	1538666
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	SAT	178.503	178.619	1538297
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	SAT	179.808	179.944	1538474
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	179.85	180.025	1538591
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	183.951	184.026	1538486
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	192.45	192.602	1538588
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	SAT	195.259	196.309	1538246
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	202.518	202.648	1538333
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	204.565	204.706	1538471
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	226.04	226.134	1538495
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	230.412	230.537	1539809
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT	240.278	240.466	1538627
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	SAT	241.348	241.712	1538735
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	244.013	244.098	1538483
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	245.548	245.693	1538555
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	251.082	251.225	1538498
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	255.514	255.641	1538543
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	258.485	258.653	1538312
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	260.653	260.811	1538753
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	SAT	270.826	271.049	1538564
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	278.267	278.423	1538321
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	278.3	278.443	1538264
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	282.194	282.392	1538660
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	282.757	282.934	1538600
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	283.644	283.736	1538549
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	SAT	291.448	291.569	1538237
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	293.606	293.752	1538612
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	303.869	304.04	1538765
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	307.391	307.571	1538501
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	324.182	324.323	1538249
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	SAT	351.171	351.376	1538453
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	351.481	351.697	1538252
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	358.795	359.031	1538561
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	392.576	392.732	1538507
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	SAT	393.625	393.862	1538738
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	SAT	438.731	438.953	1538291
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	441.608	441.82	1538504
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT	459.168	459.391	1538477
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	SAT	480.112	480.353	1538510
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	SAT	527.633	527.813	1538258
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	SAT	539.625	539.964	1538468
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	540.126	540.452	1538213
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	SAT	599.354	599.778	1538300
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT	640.401	640.734	1538768
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	SAT	676.77	677.095	1538708
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	SAT	685.148	685.534	1538723
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	SAT	690.566	690.951	1538306
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	SAT	713.458	713.858	1538705
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	SAT	851.507	851.838	1538240
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	SAT	886.168	886.62	1538693
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	SAT	923.247	923.652	1538441
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	SAT	933.349	933.751	1538720
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	SAT	964.737	965.076	1538273
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	SAT	1012.98	1013.31	1538276

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

Result page for solver SATzilla2009_R 2009-03-22 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (228 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (177 runs) [Show/Hide]

Category "random instances" (RANDOM)

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (205 runs) [Show/Hide]