PB'12 competition: satisfaction and optimization track: benchmarks results per solver

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_2.opb	OPT	-3	0.000999	0.0064621	3726819
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_5.opb	OPT	-4	0.000999	0.00612598	3726821
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_3.opb	OPT	-3	0.000999	0.00649889	3726820
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_1.opb	OPT	-3	0.000999	0.00624103	3726818
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=5-P0=11-P1=2-P2=23-B.opb	OPT	2	0.000999	0.0066531	3726838
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=37-P1=43-B.opb	OPT	3	0.000999	0.00652711	3726851
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_1.opb	OPT	2	0.001998	0.00640795	3726787
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=2-P1=23-P2=29-P3=19-B.opb	OPT	2	0.001998	0.00735512	3726841
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_3.opb	OPT	2	0.001998	0.00631588	3726789
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_2.opb	OPT	2	0.001998	0.00644105	3726788
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_1.opb	OPT	-3	0.001999	0.00774612	3726758
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_3.opb	OPT	-3	0.001999	0.00619495	3726759
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_5.opb	OPT	2	0.001999	0.00667003	3726790
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_3.opb	OPT	-6	0.046992	0.024724	3726836
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_1.opb	OPT	-6	0.047992	0.0237551	3726835
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_4.opb	OPT	2	0.050991	0.0262249	3726806
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_0_errors.opb	OPT	0	0.070988	0.0453549	3726867
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=6-P0=53-P1=41-P2=53-B.opb	OPT	3	0.081986	0.0389249	3726847
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=53-P2=59-B.opb	OPT	3	0.081986	0.036381	3726845
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=13-P1=5-P2=17-P3=2-P4=29-P5=5-P6=19-P7=17-P8=5-B.opb	OPT	2	0.143977	0.0681789	3726839
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=29-P1=11-P2=11-P3=17-P4=29-P5=23-B.opb	OPT	3	0.182971	0.0925641	3726842
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=17-P1=13-P2=11-P3=19-P4=11-P5=23-B.opb	OPT	3	0.182971	0.0905749	3726840
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_10_3.opb	OPT	-13	0.224964	0.111445	3726834
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=17-P1=53-P2=109-B.opb	OPT	3	0.381941	0.190191	3726850
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=7-P0=89-P1=17-P2=37-B.opb	OPT	3	0.461928	0.224721	3726856
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb	OPT	2	0.522919	0.261401	3726844
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=11-P1=13-P2=29-P3=23-P4=5-P5=29-P6=29-P7=31-P8=29-P9=31-B.opb	OPT	3	0.663898	0.328279	3726837
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=53-P1=17-P2=17-P3=13-P4=17-P5=61-B.opb	OPT	3	1.06284	0.528534	3726846
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb	OPT	2	1.2838	0.63904	3726843
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=7-P1=29-P2=53-P3=31-P4=23-P5=47-P6=67-B.opb	OPT	3	1.3428	0.673101	3726848
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=43-P1=107-P2=31-P3=113-P4=127-P5=2-P6=79-B.opb	OPT	2	1.60376	0.803184	3726852
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=97-P1=37-P2=107-P3=53-P4=53-B.opb	OPT	3	3.22251	1.60939	3726858
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=61-P1=127-P2=131-P3=107-P4=47-B.opb	OPT	3	3.45247	1.73044	3726855
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb	OPT	3	4.82327	2.41554	3726854
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=89-P1=37-P2=43-P3=47-P4=41-P5=107-P6=127-B.opb	OPT	3	6.04208	3.02681	3726857
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_4.opb	OPT	6	7.68383	3.85009	3726804
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_5.opb	OPT	6	9.29459	4.66282	3726805
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb	OPT	3	9.80251	4.91691	3726849
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb	OPT	3	10.6834	5.35523	3726853
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb	OPT	3	18.5902	9.3227	3726864
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb	OPT	3	24.9902	12.5344	3726860
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb	OPT	3	34.16	17.1069	3726859
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb	OPT	3	60.56	30.3639	3726862
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_1.opb	OPT	-15	61.3317	30.7758	3726817
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb	OPT	3	73.75	36.9245	3726863
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb	OPT	3	87.35	43.7715	3726861
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb	OPT	3	104.37	52.2683	3726865
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_4.opb	OPT	5	122.53	61.3221	3726785
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_5.opb	OPT	5	144.33	72.2856	3726786
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_3.opb	OPT	5	147.15	73.6304	3726784
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb	OPT	3	379.05	189.617	3726866
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb	OPT	5	635.57	317.958	3726783
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_5.opb	OPT	-25	860.245	430.201	3726816
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_1.opb	OPT	-26	1095.31	547.696	3726813

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_2.opb	SAT (TO)	-23	1800.01	900.335	3726763
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_5.opb	SAT (TO)	-48	1800.01	900.32	3726823
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_3.opb	SAT (TO)	-53	1800.02	900.776	3726751
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_4.opb	SAT (TO)	12	1800.02	900.317	3726795
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_2.opb	SAT (TO)	-2	1800.03	900.473	3726748
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_1.opb	SAT (TO)	-2	1800.03	900.461	3726747
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb	SAT (TO)	-73	1800.04	900.552	3726811
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_5.opb	SAT (TO)	-28	1800.04	900.318	3726826
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_2.opb	SAT (TO)	69	1800.05	900.333	3726797
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_4.opb	SAT (TO)	40	1800.05	900.665	3726781
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_5.opb	SAT (TO)	-23	1800.05	900.331	3726764
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_3.opb	SAT (TO)	18	1800.06	900.555	3726802
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_1.opb	SAT (TO)	-30	1800.07	900.326	3726824
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_5.opb	SAT (TO)	-67	1800.07	900.361	3726831
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_5.opb	SAT (TO)	-128	1800.07	900.452	3726810
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_5.opb	SAT (TO)	12	1800.08	900.426	3726796
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_5.opb	SAT (TO)	24	1800.08	900.324	3726792
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_3.opb	SAT (TO)	36	1800.08	900.448	3726800
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_4.opb	SAT (TO)	11	1800.08	900.318	3726782
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_1.opb	SAT (TO)	-126	1800.09	900.435	3726807
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb	SAT (TO)	-19	1800.1	900.319	3726753
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_3.opb	SAT (TO)	39	1800.1	900.676	3726780
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_3.opb	SAT (TO)	12	1800.1	900.417	3726794
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_2.opb	SAT (TO)	26	1800.11	900.327	3726791
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_4.opb	SAT (TO)	-39	1800.11	900.424	3726761
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_1.opb	SAT (TO)	-12	1800.11	900.316	3726771
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_1.opb	SAT (TO)	-53	1800.11	900.79	3726749
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_3.opb	SAT (TO)	-38	1800.11	900.445	3726833
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb	SAT (TO)	12	1800.12	900.34	3726793
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_4.opb	SAT (TO)	-24	1800.12	900.563	3726770
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_1.opb	SAT (TO)	76	1800.13	900.547	3726777
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_3.opb	SAT (TO)	-115	1800.13	900.423	3726829
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb	SAT (TO)	-128	1800.13	900.423	3726809
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_5.opb	SAT (TO)	-11	1800.14	900.32	3726757
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_4.opb	SAT (TO)	18	1800.14	900.572	3726803
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb	SAT (TO)	-29	1800.14	900.333	3726825
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_5.opb	SAT (TO)	78	1800.15	900.559	3726778
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb	SAT (TO)	-80	1800.15	900.468	3726769
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_2.opb	SAT (TO)	-26	1800.15	900.321	3726814
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_15_errors.opb	SAT (TO)	37	1800.17	900.828	3726869
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_2.opb	SAT (TO)	35	1800.18	900.435	3726799
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_2.opb	SAT (TO)	41	1800.18	900.787	3726779
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_4.opb	SAT (TO)	35	1800.19	900.433	3726801
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb	SAT (TO)	-22	1800.19	900.425	3726762
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_1.opb	SAT (TO)	37	1800.2	900.545	3726798
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb	SAT (TO)	-6	1800.2	900.319	3726773
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb	SAT (TO)	-7	1800.32	900.219	3726776
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_10_errors.opb	SAT (TO)	37	1800.33	900.315	3726868
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb	SAT (TO)	-7	1800.35	900.221	3726774
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_4.opb	SAT (TO)	-69	1800.38	900.357	3726768
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_2.opb	SAT (TO)	-77	1800.44	900.371	3726766
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_4.opb	SAT (TO)	-71	1800.44	900.456	3726812
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_2.opb	SAT (TO)	-128	1800.44	900.427	3726808
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_5_errors.opb	SAT (TO)	30	1800.45	900.62	3726870
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_1.opb	SAT (TO)	-35	1800.47	900.334	3726760
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb	SAT (TO)	-11	1800.47	900.317	3726772
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb	SAT (TO)	-12	1800.47	900.323	3726755
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_3.opb	SAT (TO)	-68	1800.48	900.428	3726830
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_3.opb	SAT (TO)	-12	1800.49	900.318	3726756
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_1.opb	SAT (TO)	-67	1800.5	900.357	3726765
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_3.opb	SAT (TO)	-21	1800.52	900.321	3726754
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_1.opb	SAT (TO)	-48	1800.53	900.33	3726822
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_1.opb	SAT (TO)	-113	1800.54	900.435	3726827
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb	SAT (TO)	-7	1800.55	900.317	3726775
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_2.opb	SAT (TO)	-114	1800.56	900.418	3726828
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb	SAT (TO)	-72	1800.58	900.462	3726767
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_4.opb	SAT (TO)	-51	1800.59	900.791	3726752
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_1.opb	SAT (TO)	-37	1800.59	900.537	3726832
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_2.opb	SAT (TO)	-50	1800.62	900.786	3726750

PB'12 competition: satisfaction and optimization track: benchmarks results per solver

Result page for solver pwbo 2.02 (complete)

Category "optimisation, small integers, non linear constraints" (OPT-SMALLINT-NLC)

Solver found optimum (OPTIMUM FOUND) (54 runs) [Show/Hide]

Solver timed out but found at least a solution (69 runs) [Show/Hide]

Solver answered SATISFIABLE but gave no complete certificate (1 run) [Show/Hide]