SAT 2009 Competition: minisat hack track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.32	0.317372	1820637
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	0.9	0.899129	1820877
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.81	1.8026	1821885
manol-pipe-g6bi.cnf	UNSAT	2	2.0091	1821927
hoons-vbmc-lucky7.cnf	UNSAT	2.18	2.18715	1820757
cmu-bmc-barrel6.cnf	UNSAT	2.74	2.7572	1820721
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	4.92	4.91831	1820955
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	5.39	5.40435	1821093
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	5.78	5.77791	1820889
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	9.29	9.28248	1820907
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	11.15	11.1622	1821009
manol-pipe-c9.cnf	UNSAT	11.37	11.374	1821999
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	12.29	12.2952	1820541
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	14.04	14.0369	1820871
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	17.58	17.5832	1820571
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	17.77	17.7837	1820535
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	17.93	17.9675	1821087
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	18.08	18.0808	1820985
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	24.01	24.0402	1820271
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	25.04	25.0318	1821849
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	26.16	26.1723	1820481
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	28.54	28.5337	1820925
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	30	29.9955	1820937
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	33.65	33.7215	1820505
simon-s03-fifo8-300.cnf	UNSAT	33.97	34.0491	1821975
cmu-bmc-longmult15.cnf	UNSAT	36.11	36.1101	1820835
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	38.76	38.9842	1821555
velev-engi-uns-1.0-4nd.cnf	UNSAT	38.84	38.8939	1820787
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	39.15	39.1718	1820499
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	40.11	40.1177	1821081
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	45.38	45.4125	1821513
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	50.08	50.1081	1820529
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	56.15	56.1805	1821537
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	64.07	64.0952	1820973
velev-live-uns-2.0-ebuf.cnf	UNSAT	81.27	81.2675	1821921
schup-l2s-abp4-1-k31.cnf	UNSAT	84.51	84.508	1820727
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	89.75	89.76	1820559
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	94.86	94.8619	1820277
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	98.13	98.1157	1820493
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	111.74	111.738	1821105
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	125.17	125.156	1821441
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	178.44	178.431	1821495
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	188.78	188.829	1821597
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	UNSAT	211.7	211.689	1821639
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	226.71	226.696	1820487
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	256.93	256.939	1821651
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	266.43	266.41	1821501
simon-s02b-dp11u10.cnf	UNSAT	279.31	279.286	1821939
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	282.9	282.969	1820517
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	300.07	300.111	1820883
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	350.82	350.831	1821471
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	352.43	352.508	1821459
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	382.85	382.821	1820523
goldb-heqc-alu4mul.cnf	UNSAT	389.04	389.018	1820859
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	447.11	447.14	1821465
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	463.13	463.198	1821429
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	497.89	497.864	1821381
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	UNSAT	504.15	504.13	1821777
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	518.98	518.951	1821351
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	557.45	557.423	1821345
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	582.24	582.214	1821387
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	587.3	587.27	1821399
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	UNSAT	627.13	627.162	1821801
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	715.56	715.52	1820409
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	747.56	747.521	1820577
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	754.37	754.337	1821069
schup-l2s-guid-1-k56.cnf	UNSAT	763.95	763.939	1821969
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	UNSAT	798.48	798.443	1821003
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	812.83	812.793	1821609

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.27	0.266691	1820853
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.32	0.318096	1821267
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.37	0.381495	1821285
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.92	0.918407	1821321
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.51	1.52039	1821273
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.68	1.68305	1821261
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.78	1.77392	1821303
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	2.05	2.0712	1821357
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	2.18	2.18175	1821279
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	2.55	2.55105	1821393
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	2.63	2.6367	1821255
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	2.75	2.76624	1821315
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	2.96	2.96071	1821249
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	4.58	4.5934	1821327
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	4.82	4.82882	1821765
industrial/grieu/ vmpc_26.cnf	SAT	7.01	7.00877	1820625
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	7.35	7.35742	1821333
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	7.56	7.57652	1821243
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	8.12	8.12994	1821297
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	8.29	8.28141	1821369
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	12.01	12.0035	1821375
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	13.33	13.3695	1821363
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	13.62	13.6485	1821291
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	15.4	15.4019	1821309
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	23.93	23.9997	1821543
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	25.96	25.9737	1821231
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	39.08	39.0736	1821189
industrial/grieu/ vmpc_25.cnf	SAT	42.24	42.2304	1820583
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	58.91	58.9433	1820475
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	66.11	66.1268	1821129
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	79.47	79.4724	1821165
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	79.52	79.5181	1821483
industrial/grieu/ vmpc_24.cnf	SAT	94.2	94.2008	1820601
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	95.45	95.4595	1821159
schup-l2s-motst-2-k315.cnf	SAT	108.53	108.704	1820775
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	135.12	135.213	1821339
simon-s03-w08-15.cnf	SAT	171.15	171.137	1820745
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	210.69	210.69	1821675
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	251.53	251.549	1820301
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	289.51	289.492	1821477
mizh-md5-47-4.cnf	SAT	312.22	312.242	1820829
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	354.4	354.403	1820703
industrial/grieu/ vmpc_29.cnf	SAT	358.2	358.179	1820607
APPLICATIONS/aprove09/ AProVE09-20.cnf	SAT	386.97	386.948	1821237
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	465.89	466.035	1820697
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	518.2	518.223	1821117
mizh-md5-47-3.cnf	SAT	547.09	547.066	1820715
mizh-sha0-36-3.cnf	SAT	676.91	676.971	1820751
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	SAT	750.13	750.096	1821507
mizh-md5-48-5.cnf	SAT	805.83	805.801	1820865
mizh-sha0-35-3.cnf	SAT	817.43	817.37	1820841
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	846.96	846.919	1821219
industrial/grieu/ vmpc_28.cnf	SAT	1079.65	1079.56	1820613
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	1107.4	1107.33	1821195

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200	1199.93	1820913
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200	1199.92	1821759
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200	1199.91	1821621
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200	1200.04	1821627
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200	1199.93	1821549
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200	1199.92	1820553
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.01	1199.93	1821051
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.01	1200.05	1820991
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.01	1200.03	1820961
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.01	1200.44	1821753
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.01	1199.93	1820433
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.01	1199.93	1821945
manol-pipe-f10ni.cnf	? (TO)	1200.01	1199.93	1821963
manol-pipe-c6bidw_i.cnf	? (TO)	1200.01	1199.93	1820805
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.01	1199.93	1821177
manol-pipe-f9b.cnf	? (TO)	1200.01	1199.93	1820769
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.01	1199.95	1821933
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.01	1199.93	1820415
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.01	1206.35	1820649
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.01	1200.02	1821633
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.01	1199.92	1820439
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.01	1199.93	1820463
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.01	1199.93	1821693
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.01	1199.93	1821579
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.01	1199.93	1821201
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.02	1199.93	1821981
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.02	1199.94	1821531
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.02	1199.93	1820283
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.02	1199.93	1820565
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.02	1199.92	1821027
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.02	1199.93	1821819
goldb-heqc-dalumul.cnf	? (TO)	1200.02	1199.92	1820823
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.02	1199.93	1820325
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.02	1199.93	1820949
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.02	1199.92	1821213
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.02	1199.93	1821741
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.03	1200.04	1821045
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.03	1199.94	1821057
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.03	1199.94	1821825
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.03	1199.93	1821141
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.03	1199.93	1821111
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.03	1200.23	1821735
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.03	1199.93	1821789
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.03	1199.94	1821705
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.03	1200.03	1820295
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.03	1199.94	1820373
manol-pipe-g10bidw.cnf	? (TO)	1200.03	1200.03	1821873
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.03	1200.03	1822005
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.03	1200.04	1820511
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.03	1199.93	1821435
goldb-heqc-i10mul.cnf	? (TO)	1200.03	1199.93	1821891
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.03	1199.93	1821843
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.03	1199.93	1820619
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.03	1199.95	1821645
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.03	1200.15	1820739
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.03	1199.95	1820397
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.03	1199.94	1821489
mizh-sha0-36-2.cnf	? (TO)	1200.04	1199.95	1821957
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.04	1200.03	1820445
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.04	1200.33	1820457
industrial/narain/ clauses-8.cnf	? (TO)	1200.04	1200.13	1820631
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.04	1199.92	1821207
mizh-sha0-36-4.cnf	? (TO)	1200.04	1199.93	1820799
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.04	1199.93	1821135
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.04	1199.94	1820349
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.05	1200.15	1820307
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.05	1200.05	1820313
manol-pipe-g10id.cnf	? (TO)	1200.05	1199.96	1821903
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.05	1201.04	1820685
manol-pipe-c10nidw.cnf	? (TO)	1200.05	1200.03	1820781
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.05	1200.04	1820289
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.05	1200.15	1820895
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.05	1200.04	1821561
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.05	1199.95	1821033
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.05	1200.05	1820355
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.05	1199.93	1820589
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.05	1200.02	1820427
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.06	1200.07	1821453
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.06	1199.94	1821813
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.06	1200.05	1820655
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.06	1200.05	1820319
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.06	1200.03	1820547
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.06	1200.13	1821171
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.06	1200.05	1820643
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.06	1200.03	1821855
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.06	1200.05	1821615
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.06	1200.05	1821795
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.06	1200.03	1820379
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.06	1200.04	1821591
velev-pipe-sat-1.0-b7.cnf	? (TO)	1200.06	1200.03	1821861
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.07	1200.04	1820265
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.07	1200.03	1820979
goldb-heqc-x1mul.cnf	? (TO)	1200.07	1200.03	1820709
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.07	1200.04	1821573
velev-pipe-sat-1.0-b10.cnf	? (TO)	1200.07	1200.05	1821879
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.07	1200.02	1820931
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.07	1200.04	1820997
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.07	1200.13	1821771
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.07	1200.03	1821663
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.08	1200.02	1821687
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.08	1200.03	1820343
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.08	1200.13	1820385
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.08	1200.04	1820391
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.08	1200.02	1820421
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.08	1200.03	1820451
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.08	1200.03	1820595
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.08	1200.13	1820763
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.08	1200.05	1820811
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.08	1200.03	1820901
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.08	1200.15	1821015
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.08	1200.03	1821039
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.08	1200.03	1821123
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.08	1200.03	1821153
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.08	1200.05	1821603
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.08	1200.03	1821585
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.08	1200.03	1821567
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.08	1200.05	1821657
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.08	1200.04	1821681
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.08	1200.04	1821711
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.08	1200.04	1821717
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.08	1200.04	1821729
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.08	1200.03	1821837
manol-pipe-c10nidw_s.cnf	? (TO)	1200.08	1200.04	1821867
goldb-heqc-term1mul.cnf	? (TO)	1200.08	1200.02	1821915
manol-pipe-c7nidw.cnf	? (TO)	1200.08	1200.05	1821897
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.09	1200.05	1820337
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.09	1200.14	1820673
manol-pipe-f9n.cnf	? (TO)	1200.09	1200.04	1821951
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.09	1200.15	1820331
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.09	1200.04	1821909
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.09	1200.05	1820667
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.09	1200.04	1821447
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.09	1200.04	1821831
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.09	1200.04	1821405
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.09	1200.03	1821723
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.09	1200.04	1821075
manol-pipe-g7nidw.cnf	? (TO)	1200.09	1200.04	1821993
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.09	1200.03	1821147
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.09	1200.05	1821411
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.09	1200.03	1821807
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.09	1200.03	1821225
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.09	1200.03	1821063
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.09	1200.02	1821747
aloul-chnl11-13.cnf	? (TO)	1200.09	1200.02	1820817
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.09	1200.04	1821417
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.09	1200.03	1820967
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.09	1200.13	1820661
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.09	1200.04	1820691
goldb-heqc-frg1mul.cnf	? (TO)	1200.09	1200.02	1820733
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.09	1200.04	1820403
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.1	1200.04	1821783
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	? (TO)	1200.1	1200.05	1821699
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.1	1200.04	1821099
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.1	1200.03	1821021
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.1	1200.23	1820361
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.1	1200.03	1820943
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.1	1200.02	1821183
manol-pipe-c10nid_i.cnf	? (TO)	1200.1	1200.05	1820847
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.1	1203.96	1820679
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.11	1200.04	1821519
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.11	1200.05	1821669
manol-pipe-c6nidw_i.cnf	? (TO)	1200.11	1200.04	1822011
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.11	1200.05	1821525
manol-pipe-c7bidw_i.cnf	? (TO)	1200.11	1200.05	1821987
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.11	1200.14	1820469
manol-pipe-g10nid.cnf	? (TO)	1200.11	1200.05	1820793
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.11	1200.04	1820919
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.11	1200.04	1820367

SAT 2009 Competition: minisat hack track: benchmarks results per solver

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

Category "applications instances" (APPLICATION)

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

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

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

Solver exceeded the memory limit (no solution given) (1 run) [Show/Hide]