PHERBY results for the MIX problems : Solved 21/80 HNE Category : Solved 5/20 ------------ LCL009-1 timeout 295.42 s CPU, 300.00 s WC LCL010-1 timeout 295.34 s CPU, 300.00 s WC LCL011-1 timeout 293.57 s CPU, 300.00 s WC LCL018-1 timeout 293.23 s CPU, 300.00 s WC LCL033-1 timeout 292.73 s CPU, 300.00 s WC LCL051-1 timeout 287.51 s CPU, 300.00 s WC LCL075-1 timeout 287.85 s CPU, 300.00 s WC LCL093-1 timeout 292.49 s CPU, 300.00 s WC LCL115-1 timeout 241.94 s CPU, 300.00 s WC LCL129-1 timeout 291.50 s CPU, 300.00 s WC LCL131-1 timeout 292.77 s CPU, 300.00 s WC LCL207-1 Success 0.49 s CPU, 10.00 s WC LCL211-1 Success 0.53 s CPU, 12.00 s WC PLA012-1 timeout 288.91 s CPU, 300.00 s WC PLA013-1 timeout 285.01 s CPU, 300.00 s WC PLA014-1 timeout 295.49 s CPU, 300.00 s WC PLA018-1 timeout 296.50 s CPU, 301.00 s WC SYN190-1 Success 214.51 s CPU, 249.00 s WC SYN192-1 Success 7.63 s CPU, 27.00 s WC SYN310-1 Success 12.21 s CPU, 41.00 s WC HEQ Category : Solved 7/20 ------------ BOO006-1 Success 0.51 s CPU, 6.00 s WC BOO009-1 Success 3.44 s CPU, 12.00 s WC BOO017-1 timeout 296.57 s CPU, 300.00 s WC CAT002-1 Success 0.98 s CPU, 11.00 s WC CAT004-4 Success 1.13 s CPU, 10.00 s WC CAT018-4 timeout 287.27 s CPU, 300.00 s WC CID002-1 timeout 294.30 s CPU, 300.00 s WC COL003-4 timeout 292.66 s CPU, 300.00 s WC COL003-5 timeout 291.68 s CPU, 300.00 s WC COL003-7 timeout 284.20 s CPU, 300.00 s WC COL003-9 timeout 293.13 s CPU, 300.00 s WC COL044-2 timeout 291.71 s CPU, 300.00 s WC GRP002-1 timeout 293.98 s CPU, 300.00 s WC HEN003-3 Success 7.33 s CPU, 20.00 s WC HEN010-3 timeout 271.64 s CPU, 300.00 s WC LDA003-1 Success 0.48 s CPU, 8.00 s WC RNG005-1 Success 7.38 s CPU, 22.00 s WC RNG008-1 timeout 294.96 s CPU, 300.00 s WC RNG039-1 timeout 295.31 s CPU, 300.00 s WC ROB011-1 timeout 162.95 s CPU, 513.00 s WC NNE Category : Solved 4/10 ------------ CIV006-2 Success 94.16 s CPU, 125.00 s WC PUZ005-1 Success 0.55 s CPU, 11.00 s WC PUZ028-6 Success 21.05 s CPU, 43.00 s WC PUZ032-1 Success 0.53 s CPU, 12.00 s WC SYN036-1 timeout 295.27 s CPU, 300.00 s WC SYN067-3 timeout 294.64 s CPU, 300.00 s WC SYN476-1 timeout 284.89 s CPU, 300.00 s WC SYN480-1 timeout 293.01 s CPU, 300.00 s WC SYN486-1 timeout 293.21 s CPU, 300.00 s WC SYN510-1 timeout 290.84 s CPU, 300.00 s WC NEQ Category : Solved 4/20 ------------ CAT005-3 Success 55.69 s CPU, 67.00 s WC CAT009-3 timeout 292.79 s CPU, 300.00 s WC CAT018-3 timeout 289.85 s CPU, 300.00 s WC GEO006-2 timeout 292.98 s CPU, 300.00 s WC GEO012-1 timeout 294.47 s CPU, 300.00 s WC GEO030-2 timeout 293.64 s CPU, 300.00 s WC GEO048-2 timeout 294.38 s CPU, 300.00 s WC NUM094-1 timeout 285.52 s CPU, 300.00 s WC PUZ006-1 Success 0.89 s CPU, 9.00 s WC SET012-3 timeout 295.38 s CPU, 301.00 s WC SET074-6 timeout 294.92 s CPU, 300.00 s WC SET138-6 timeout 296.58 s CPU, 300.00 s WC SET183-6 timeout 292.97 s CPU, 300.00 s WC SET189-6 timeout 296.10 s CPU, 300.00 s WC SET191-6 timeout 296.43 s CPU, 300.00 s WC SET235-6 Success 0.82 s CPU, 39.00 s WC SET261-6 timeout 295.75 s CPU, 300.00 s WC SET515-6 timeout 296.48 s CPU, 300.00 s WC SYN014-1 timeout 280.53 s CPU, 300.00 s WC SYN072-1 Success 0.47 s CPU, 10.00 s WC PEQ Category : Solved 1/10 ------------ CAT004-2 timeout 288.96 s CPU, 300.00 s WC GRP050-1 timeout 289.14 s CPU, 300.00 s WC GRP053-1 timeout 291.15 s CPU, 300.00 s WC GRP062-1 timeout 291.17 s CPU, 300.00 s WC GRP080-1 timeout 293.02 s CPU, 300.00 s WC GRP082-1 timeout 293.35 s CPU, 300.00 s WC GRP104-1 timeout 295.59 s CPU, 300.00 s WC GRP106-1 timeout 293.75 s CPU, 300.00 s WC RNG034-1 timeout 285.16 s CPU, 300.00 s WC SYN071-1 Success 0.47 s CPU, 7.00 s WC